NUIG Shubhanker Dravidian CodeMix FIRE2020 Sentiment Analysis of Code Mixed Dravidian text using XLNet. Social media has penetrated into multilingual societies, however most of them use English to be a preferred language for communication. So it looks natural for them to mix their cultural language with English during conversations resulting in abundance of multilingual data, call this code mixed data, available in todays' world.Downstream NLP tasks using such data is challenging due to the semantic nature of it being spread across multiple languages.One such Natural Language Processing task is sentiment analysis, for this we use an auto regressive XLNet model to perform sentiment analysis on code mixed Tamil English and Malayalam English datasets.


Bergman projections induced by doubling weights on the unit ball of Cn. The boundedness of P omega L infty( mathbb B ) to mathcal B ( mathbb B ) and P omega(P omega ) L p( mathbb B , upsilon dV) to L p( mathbb B , upsilon dV) on the unit ball of mathbb C n with p 1 and omega, upsilon in mathcal D are investigated in this paper.


Toward Asymptotically Optimal Inspection Planning via Efficient Near Optimal Graph Search. Inspection planning, the task of planning motions that allow a robot to inspect a set of points of interest, has applications in domains such as industrial, field, and medical robotics. Inspection planning can be computationally challenging, as the search space over motion plans that inspect the points of interest grows exponentially with the number of inspected points. We propose a novel method, Incremental Random Inspection roadmap Search (IRIS), that computes inspection plans whose length and set of inspected points asymptotically converge to those of an optimal inspection plan. IRIS incrementally densifies a motion planning roadmap using sampling based algorithms, and performs efficient near optimal graph search over the resulting roadmap as it is generated. We demonstrate IRIS's efficacy on a simulated planar 5DOF manipulator inspection task and on a medical endoscopic inspection task for a continuum parallel surgical robot in anatomy segmented from patient CT data. We show that IRIS computes higher quality inspection paths orders of magnitudes faster than a prior state of the art method.


Neural Machine Translation with Monte Carlo Tree Search. Recent algorithms in machine translation have included a value network to assist the policy network when deciding which word to output at each step of the translation. The addition of a value network helps the algorithm perform better on evaluation metrics like the BLEU score. After training the policy and value networks in a supervised setting, the policy and value networks can be jointly improved through common actor critic methods. The main idea of our project is to instead leverage Monte Carlo Tree Search (MCTS) to search for good output words with guidance from a combined policy and value network architecture in a similar fashion as AlphaZero. This network serves both as a local and a global look ahead reference that uses the result of the search to improve itself. Experiments using the IWLST14 German to English translation dataset show that our method outperforms the actor critic methods used in recent machine translation papers.


The zeroth P 1 stable homotopy sheaf of a motivic space. We establish a kind of "degree zero Freudenthal Gm suspension theorem" in motivic homotopy theory. From this we deduce results about the conservativity of the P 1 stabilization functor. In order to establish these results, we show how to compute certain pullbacks in the cohomology of a strictly homotopy invariant sheaf in terms of the Rost Schmid complex. This establishes the main conjecture of BY18 , which easily implies the aforementioned results.


On The Entropy of Continuous Flows With Uniformly Expansive Points and The Globalness of Shadowable Points With Gaps. In this work we study the problem of positiveness of topological entropy for flows using pointwise dynamics. We show that the existence of a non periodic nonwandering point of an expansive and non singular flow with shadowing is a sufficient condition to to obtain positive topological entropy. Moreover, we can deal with flows with singularities, showing that the existence of a non wandering, non critical, strongly shadowable, and uniform expansive point implies the existence of a symbolic subshift. Finally, we discuss pointwise versions of some shadowing type properties.


A note on generic Clifford algebras of binary cubic forms. We study the representation theoretic results of the binary cubic generic Clifford algebra mathcal C , which is an Artin Schelter regular algebra of global dimension five. In particular, we show that mathcal C is a PI algebra of PI degree three and compute its point variety and discriminant ideals. As a consequence, we give a necessary and sufficient condition on a binary cubic form f for the associated Clifford algebra mathcal C f to be an Azumaya algebra.


Relativistic aberration and null Doppler shift within the framework of superluminal and subluminal nondiffracting waves. The relativistic aberration of a wavevector and the corresponding Doppler shift are examined in connection with superluminal and subluminal spatiotemporally localized pulsed optical waves. The requirement of a null Doppler shift is shown to give rise to a speed associated with the relativistic velocity composition law of a double (two step) Lorentz transformation. The effects of such a transformation are examined both in terms of four coordinates and in the spectral domain. It is established that a subluminal pulse reverses its direction. In addition to a change in direction, the propagation term of a superluminal pulse becomes negative. The aberration due to a double Lorentz transformation is examined in detail for propagation invariant superluminal waves (X wave, Bessel X wave), as well as intensity invariant superluminal and subluminal waves. Detailed symmetry considerations are provided for the superluminal focus X wave and the subluminal MacKinnon wavepacket.


An optimization problem for continuous submodular functions. Real continuous submodular functions, as a generalization of the corresponding discrete notion to the continuous domain, gained considerable attention recently. The analog notion for entropy functions requires additional properties a real function defined on the non negative orthant of mathbb R n is entropy like (EL) if it is submodular, takes zero at zero, non decreasing, and has the Diminishing Returns property. Motivated by problems concerning the Shannon complexity of multipartite secret sharing, a special case of the following general optimization problem is considered find the minimal cost of those EL functions which satisfy certain constraints. In our special case the cost of an EL function is the maximal value of the n partial derivatives at zero. Another possibility could be the supremum of the function range. The constraints are specified by a smooth bounded surface S cutting off a downward closed subset. An EL function is feasible if at the internal points of S the left and right partial derivatives of the function differ by at least one. A general lower bound for the minimal cost is given in terms of the normals of the surface S . The bound is tight when S is linear. In the two dimensional case the same bound is tight for convex or concave S . It is shown that the optimal EL function is not necessarily unique. The paper concludes with several open problems.


On semiconvex sets in the plane. The present work considers the properties of classes of generally convex sets in the plane known as 1 semiconvex and weakly 1 semiconvex. More specifically, the examples of open and closed weakly 1 semiconvex but non 1 semiconvex sets with smooth boundary in the plane are constructed. It is proved that such sets consist of minimum four connected components. In addition, the example of closed, weakly 1 semiconvex, and non 1 semiconvex set in the plane consisting of three connected components is constructed. It is proved that such a number of components is minimal for any closed, weakly 1 semiconvex, and non 1 semiconvex set in the plane.


A Metric for Linear Symmetry Based Disentanglement. The definition of Linear Symmetry Based Disentanglement (LSBD) proposed by (Higgins et al., 2018) outlines the properties that should characterize a disentangled representation that captures the symmetries of data. However, it is not clear how to measure the degree to which a data representation fulfills these properties. We propose a metric for the evaluation of the level of LSBD that a data representation achieves. We provide a practical method to evaluate this metric and use it to evaluate the disentanglement of the data representations obtained for three datasets with underlying SO(2) symmetries.


Random hyperbolic graphs in d 1 dimensions. We generalize random hyperbolic graphs to arbitrary dimensionality. We find the rescaling of network parameters that allows to reduce random hyperbolic graphs of arbitrary dimensionality to a single mathematical framework. Our results indicate that RHGs exhibit similar topological properties, regardless of the dimensionality of their latent hyperbolic spaces.


Metallic structures on the tangent bundle of a P Sasakian manifold. In this article, we introduce some metallic structures on the tangent bundle of a P Sasakian manifold by complete lift, horizontal lift and vertical lift of a P Sasakian structure ( phi, eta, xi) on tangent bundle. Then we investigate the integrability and parallelity of these metallic structures.


The NonHuman Primate Neuroimaging Neuroanatomy Project. Multi modal neuroimaging projects are advancing our understanding of human brain architecture, function, connectivity using high quality non invasive data from many subjects. However, ground truth validation of connectivity using invasive tracers is not feasible in humans. Our NonHuman Primate Neuroimaging Neuroanatomy Project (NHP NNP) is an international effort (6 laboratories in 5 countries) to (i) acquire and analyze high quality multi modal brain imaging data of macaque and marmoset monkeys using protocols and methods adapted from the HCP (ii) acquire quantitative invasive tract tracing data for cortical and subcortical projections to cortical areas and (iii) map the distributions of different brain cell types with immunocytochemical stains to better define brain areal boundaries. We are acquiring high resolution structural, functional, and diffusion MRI data together with behavioral measures from over 100 individual macaques and marmosets in order to generate non invasive measures of brain architecture such as myelin and cortical thickness maps, as well as functional and diffusion tractography based connectomes. We are using classical and next generation anatomical tracers to generate quantitative connectivity maps based on brain wide counting of labeled cortical and subcortical neurons, providing ground truth measures of connectivity. Advanced statistical modeling techniques address the consistency of both kinds of data across individuals, allowing comparison of tracer based and non invasive MRI based connectivity measures. We aim to develop improved cortical and subcortical areal atlases by combining histological and imaging methods. Finally, we are collecting genetic and sociality associated behavioral data in all animals in an effort to understand how genetic variation shapes the connectome and behavior.


A v 1 banded vanishing line for the mod 2 Moore spectrum. The mod 2 Moore spectrum C(2) is the cofiber of the self map 2 mathbb S to mathbb S . Building on work of Burklund, Hahn, and Senger, we prove that above a line of slope frac 1 5 , the Adams spectral sequence for C(2) collapses at its E 5 page and characterize the surviving classes. This completes the proof of a result of Mahowald, announced in 1970, but never proven.


Positive multi peak solutions for a logarithmic Schrodinger equation. In this manuscript, we consider the logarithmic Schr " o dinger equation begin eqnarray varepsilon 2 Delta u V(x)u u log u 2 , , , ,u 0, text in , , , mathbb R N , end eqnarray where N geq3 , varepsilon 0 is a small parameter. Under some assumptions on V(x) , we show the existence of positive multi peak solutions by Lyapunov Schmidt reduction. It seems to be the first time to study singularly perturbed logarithmic Schr " o dinger problem by reduction. And here using a new norm is the crucial technique to overcome the difficulty caused by the logarithmic nonlinearity. At the same time, we consider the local uniqueness of the multi peak solutions by using a type of local Pohozaev identities.


A general coefficient theorem for univalent functions. Using the Bers isomorphism theorem for Teichmuller spaces of punctured Riemann surfaces and some of their other complex geometric features, we prove a general theorem on maximization of homogeneous polynomial (in fact, more general holomorphic) coefficient functionals J(f) J(a m 1 , a m 2 , dots, a m n ) on some classes of univalent functions in the unit disk naturally connected with the canonical class S . The given functional J is lifted to the Teichmuller space mathbf T 1 of the punctured disk mathbb D 0 z 1 which is biholomorphically equivalent to the Bers fiber space over the universal Teichmuller space. This generates a positive subharmonic function on the disk t 4 with sup t 4 u(t) max mathbf T 1 J attaining this maximal value only on the boundary circle, which correspond to rotations of the Koebe function. This theorem implies new sharp distortion estimates for univalent functions giving explicitly the extremal functions, and creates a new bridge between Teichm " u ller space theory and geometric complex analysis. In particular, it provides an alternate and direct proof of the Bieberbach conjecture.


Investigating student understanding of heat engine a case study of Stirling engine. We report on the study of student difficulties regarding heat engine in the context of Stirling cycle within upper division undergraduate thermal physics course. An in class test about a Stirling engine with a regenerator was taken by three classes, and the students were asked to perform one of the most basic activities calculate the efficiency of the heat engine. Our data suggest that quite a few students have not developed a robust conceptual understanding of basic engineering knowledge of the heat engine, including the function of the regenerator and the influence of piston movements on the heat and work involved in the engine. Most notably, although the science error ratios of the three classes were similar ( sim 10 ), the engineering error ratios of the three classes were high (above 50 ), and the class that was given a simple tutorial of engineering knowledge of heat engine exhibited significantly smaller engineering error ratio by about 20 than the other two classes. In addition, both the written answers and post test interviews show that most of the students can only associate Carnot's theorem with Carnot cycle, but not with other reversible cycles working between two heat reservoirs, probably because no enough cycles except Carnot cycle were covered in the traditional Thermodynamics textbook. Our results suggest that both scientific and engineering knowledge are important and should be included in instructional approaches, especially in the Thermodynamics course taught in the countries and regions with a tradition of not paying much attention to experimental education or engineering training.


On PM mapping class monoids. In this paper, we introduce PM mapping class monoids. Braid groups and mapping class groups have many features in common. Similarly to the notion of braid PM monoid, PM mapping class monoid is defined. This construction is an analogy of inverse mapping class monoid defined by R. Karoui and V. V. Vershinin. As the main result, we give the analog of the Dehn Nilsen Baer theorem.


Semantic Web Environments for Multi Agent Systems Enabling agents to use Web of Things via semantic web. The Web is ubiquitous, increasingly populated with interconnected data, services, people, and objects. Semantic web technologies (SWT) promote uniformity of data formats, as well as modularization and reuse of specifications (e.g., ontologies), by allowing them to include and refer to information provided by other ontologies. In such a context, multi agent system (MAS) technologies are the right abstraction for developing decentralized and open Web applications in which agents discover, reason and act on Web resources and cooperate with each other and with people. The aim of the project is to propose an approach to transform "Agent and artifact (A A) meta model" into a Web readable format with ontologies in line with semantic web formats and to reuse already existing ontologies in order to provide uniform access for agents to things.


Multi Spectral Facial Biometrics in Access Control. This study demonstrates how facial biometrics, acquired using multi spectral sensors, such as RGB, depth, and infrared, assist the data accumulation in the process of authorizing users of automated and semi automated access systems. This data serves the purposes of person authentication, as well as facial temperature estimation. We utilize depth data taken using an inexpensive RGB D sensor to find the head pose of a subject. This allows the selection of video frames containing a frontal view head pose for face recognition and face temperature reading. Usage of the frontal view frames improves the efficiency of face recognition while the corresponding synchronized IR video frames allow for more efficient temperature estimation for facial regions of interest. In addition, this study reports emerging applications of biometrics in biomedical and health care solutions. Including surveys of recent pilot projects, involving new sensors of biometric data and new applications of human physiological and behavioral biometrics. It also shows the new and promising horizons of using biometrics in natural and contactless control interfaces for surgical control, rehabilitation and accessibility.


A characterization of weakly Schreier extensions of monoids. A split extension of monoids with kernel k colon N to G , cokernel e colon G to H and splitting s colon H to G is Schreier if there exists a unique set theoretic map q colon G to N such that for all g in G , g kq(g) cdot se(g) . Schreier extensions have a complete characterization and have been shown to correspond to monoid actions of H on N . If the uniqueness requirement of q is relaxed, the resulting split extension is called weakly Schreier. A natural example of these is the Artin glueings of frames. In this paper we provide a complete characterization of the weakly Schreier extensions of H by N , proving them to be equivalent to certain quotients of N times H paired with a function that behaves like an action with respect to the quotient. Furthermore, we demonstrate the failure of the split short lemma in this setting and provide a full characterization of the morphisms that occur between weakly Schreier extensions. Finally, we use the characterization to construct some classes of examples of weakly Schreier extensions.


Cubic spline approximation of the reliability polynomials of two dual hammock networks. The property of preserving the convexity and concavity of the Bernstein polynomial and of the B ' e zier curves is used to generate a method of approximating the reliability polynomial of a hammock network. The mutual behaviour of the reliability polynomials of two dual hammock networks is used to generate a system of constraints since the initial information is not enough for using a classical approximation scheme. A cubic spline function is constructed to generate approximations of the coefficients of the two reliability polynomials. As consequence, an approximation algorithm is described and tested through simulations on hammocks with known reliability, comparing the results with the results of approximations attempts from literature.


TRIX Low Skew Pulse Propagation for Fault Tolerant Hardware. The vast majority of hardware architectures use a carefully timed reference signal to clock their computational logic. However, standard distribution solutions are not fault tolerant. In this work, we present a simple grid structure as a more reliable clock propagation method and study it by means of simulation experiments. Fault tolerance is achieved by forwarding clock pulses on arrival of the second of three incoming signals from the previous layer. A key question is how well neighboring grid nodes are synchronized, even without faults. Analyzing the clock skew under typical case conditions is highly challenging. Because the forwarding mechanism involves taking the median, standard probabilistic tools fail, even when modeling link delays just by unbiased coin flips. Our statistical approach provides substantial evidence that this system performs surprisingly well. Specifically, in an "infinitely wide" grid of height H , the delay at a pre selected node exhibits a standard deviation of O(H 1 4 ) ( approx 2.7 link delay uncertainties for H 2000 ) and skew between adjacent nodes of o( log log H) ( approx 0.77 link delay uncertainties for H 2000 ). We conclude that the proposed system is a very promising clock distribution method. This leads to the open problem of a stochastic explanation of the tight concentration of delays and skews. More generally, we believe that understanding our very simple abstraction of the system is of mathematical interest in its own right.


On parameters of orders of quartic fields and essential pairs extended version. Classes of pairs of ternary quadratic forms parametrize quartic rings by a result of Bhargava. We give an algorithm for finding a pair of ternary quadratic forms that parametrize a given order of a quartic field. We examine a new technique, essential pairs, for obtaining parameters of orders of quartic fields from a number field database. Essential pairs for maximal orders of quartic fields are very common and provide a simple means of obtaining an integral basis for the ring of integers.


Another Look at ALGORAND. ALGORAND is a celebrated public ledger technology. In this paper, we identify several design flaws of the ALGORAND protocol. In particular, we show that the claimed (proved) fork free property is not true and several assumptions in ALGORAND are not realistic in practice. The ALGORAND wiki page https golden.com wiki Algorand claims that "the probability of a fork in the protocol is estimated at 1 1,000,000,000 and therefore blocks can be considered final upon validation". However, our first attack in this paper shows that a malicious adversary who controls less than 1 3 of the users (or money units) could fork the ALGORAND chain very easily. Our second attack shows that a malicious adversary could use a bribery attack to fork the ALGORAND chain very easily also. Furthermore, we show that the celebrated Byzantine Agreement component in ALGORAND is not necessary. The Byzantine Agreement is the most expensive part and one of the most innovative parts in the ALGORAND protocol. It is used to avoid forks in ALGORAND. We show that a simple majority vote could be used to achieve the same property that Byzantine Agreement achieves in ALGORAND under the same network assumption.


Bounds on the growth of subharmonic frequently oscillating functions. We present a Phragm 'en Lindel "of type theorem with a flavor of Nevanlinna's theorem for subharmonic functions with frequent oscillations between zero and one. We use a technique inspired by a paper of Jones and Makarov.


Getting the Right Twist Influence of Donor Acceptor Dihedral Angle on Exciton Kinetics and Singlet Triplet Gap in Deep Blue Thermally Activated Delayed Fluorescence Emitter. Here, a novel deep blue emitter SBABz4 for use in organic light emitting diodes (OLED) is investigated. The molecular design of the emitter enables thermally activated delayed fluorescence (TADF), which we examine by temperature dependent time resolved electroluminescence (trEL) and photoluminescence (trPL). We show that the dihedral angle between donor and acceptor strongly affects the oscillator strength of the charge transfer state alongside the singlet triplet gap. The angular dependence of the singlet triplet gap is calculated by time dependent density functional theory (TD DFT). A gap of 15 meV is calculated for the relaxed ground state configuration of SBABz4 with a dihedral angle between the donor and acceptor moieties of 86 deg . Surprisingly, an experimentally obtained energy gap of 72 5 meV can only be explained by torsion angles in the range of 70 deg 75 deg . Molecular dynamics (MD) simulations showed that SBABz4 evaporated at high temperature acquires a distribution of torsion angles, which immediately leads to the experimentally obtained energy gap. Moreover, the emitter orientation anisotropy in a host matrix shows an 80 ratio of horizontally oriented dipoles, which is highly desirable for efficient light outcoupling. Understanding intramolecular donor acceptor geometry in evaporated films is crucial for OLED applications, because it affects oscillator strength and TADF efficiency.


Minimum Cuts in Geometric Intersection Graphs. Let mathcal D be a set of n disks in the plane. The disk graph G mathcal D for mathcal D is the undirected graph with vertex set mathcal D in which two disks are joined by an edge if and only if they intersect. The directed transmission graph G rightarrow mathcal D for mathcal D is the directed graph with vertex set mathcal D in which there is an edge from a disk D 1 in mathcal D to a disk D 2 in mathcal D if and only if D 1 contains the center of D 2 . Given mathcal D and two non intersecting disks s, t in mathcal D , we show that a minimum s t vertex cut in G mathcal D or in G rightarrow mathcal D can be found in O(n 3 2 text polylog n) expected time. To obtain our result, we combine an algorithm for the maximum flow problem in general graphs with dynamic geometric data structures to manipulate the disks. As an application, we consider the barrier resilience problem in a rectangular domain. In this problem, we have a vertical strip S bounded by two vertical lines, L ell and L r , and a collection mathcal D of disks. Let a be a point in S above all disks of mathcal D , and let b a point in S below all disks of mathcal D . The task is to find a curve from a to b that lies in S and that intersects as few disks of mathcal D as possible. Using our improved algorithm for minimum cuts in disk graphs, we can solve the barrier resilience problem in O(n 3 2 text polylog n) expected time.


Persuasion for Good Towards a Personalized Persuasive Dialogue System for Social Good. Developing intelligent persuasive conversational agents to change people's opinions and actions for social good is the frontier in advancing the ethical development of automated dialogue systems. To do so, the first step is to understand the intricate organization of strategic disclosures and appeals employed in human persuasion conversations. We designed an online persuasion task where one participant was asked to persuade the other to donate to a specific charity. We collected a large dataset with 1,017 dialogues and annotated emerging persuasion strategies from a subset. Based on the annotation, we built a baseline classifier with context information and sentence level features to predict the 10 persuasion strategies used in the corpus. Furthermore, to develop an understanding of personalized persuasion processes, we analyzed the relationships between individuals' demographic and psychological backgrounds including personality, morality, value systems, and their willingness for donation. Then, we analyzed which types of persuasion strategies led to a greater amount of donation depending on the individuals' personal backgrounds. This work lays the ground for developing a personalized persuasive dialogue system.


VCDM Leveraging Variational Bi encoding and Deep Contextualized Word Representations for Improved Definition Modeling. In this paper, we tackle the task of definition modeling, where the goal is to learn to generate definitions of words and phrases. Existing approaches for this task are discriminative, combining distributional and lexical semantics in an implicit rather than direct way. To tackle this issue we propose a generative model for the task, introducing a continuous latent variable to explicitly model the underlying relationship between a phrase used within a context and its definition. We rely on variational inference for estimation and leverage contextualized word embeddings for improved performance. Our approach is evaluated on four existing challenging benchmarks with the addition of two new datasets, "Cambridge" and the first non English corpus "Robert", which we release to complement our empirical study. Our Variational Contextual Definition Modeler (VCDM) achieves state of the art performance in terms of automatic and human evaluation metrics, demonstrating the effectiveness of our approach.


Observability and Controllability for the Schr "o dinger Equation on Quotients of Groups of Heisenberg Type. We give necessary and sufficient conditions for the controllability of a Schr ''odinger equation involving the sub Laplacian of a nilmanifold obtained by taking the quotient of a group of Heisenberg type by one of its discrete sub groups.This class of nilpotent Lie groups is a major example of stratified Lie groups of step 2. The sub Laplacian involved in these Schr ''odinger equations is subelliptic, and, contrarily to what happens for the usual elliptic Schr ''odinger equation for example on flat tori or on negatively curved manifolds, there exists a minimal time of controllability. The main tools used in the proofs are (operator valued) semi classical measures constructed by use of representation theory and a notion of semi classical wave packets that we introduce here in the context of groups of Heisenberg type.


MGML Multi Granularity Multi Level Feature Ensemble Network for Remote Sensing Scene Classification. Remote sensing (RS) scene classification is a challenging task to predict scene categories of RS images. RS images have two main characters large intra class variance caused by large resolution variance and confusing information from large geographic covering area. To ease the negative influence from the above two characters. We propose a Multi granularity Multi Level Feature Ensemble Network (MGML FENet) to efficiently tackle RS scene classification task in this paper. Specifically, we propose Multi granularity Multi Level Feature Fusion Branch (MGML FFB) to extract multi granularity features in different levels of network by channel separate feature generator (CS FG). To avoid the interference from confusing information, we propose Multi granularity Multi Level Feature Ensemble Module (MGML FEM) which can provide diverse predictions by full channel feature generator (FC FG). Compared to previous methods, our proposed networks have ability to use structure information and abundant fine grained features. Furthermore, through ensemble learning method, our proposed MGML FENets can obtain more convincing final predictions. Extensive classification experiments on multiple RS datasets (AID, NWPU RESISC45, UC Merced and VGoogle) demonstrate that our proposed networks achieve better performance than previous state of the art (SOTA) networks. The visualization analysis also shows the good interpretability of MGML FENet.


On strictly Deza graphs derived from the Berlekamp van Lint Seidel graph. In this paper, we find strictly Deza graphs that can be obtained from the Berlekamp van Lint Seidel graph by applying dual Seidel switching.


Singletons for Simpletons Revisiting Windowed Backoff using Chernoff Bounds. Backoff algorithms are used in many distributed systems where multiple devices contend for a shared resource. For the classic balls into bins problem, the number of singletons those bins with a single ball is important to the analysis of several backoff algorithms however, existing analyses employ advanced probabilistic tools to obtain concentration bounds. Here, we show that standard Chernoff bounds can be used instead, and the simplicity of this approach is illustrated by re analyzing some well known backoff algorithms.


A class of multiplicative lattices. We study the multiplicative lattices L which satisfy the condition a (a (a b))(a b) for all a,b in L.


Beyond Cookie Monster Amnesia Real World Persistent Online Tracking. Browser fingerprinting is a relatively new method of uniquely identifying browsers that can be used to track web users. In some ways it is more privacy threatening than tracking via cookies, as users have no direct control over it. A number of authors have considered the wide variety of techniques that can be used to fingerprint browsers however, relatively little information is available on how widespread browser fingerprinting is, and what information is collected to create these fingerprints in the real world. To help address this gap, we crawled the 10,000 most popular websites this gave insights into the number of websites that are using the technique, which websites are collecting fingerprinting information, and exactly what information is being retrieved. We found that approximately 69 of websites are, potentially, involved in first party or third party browser fingerprinting. We further found that third party browser fingerprinting, which is potentially more privacy damaging, appears to be predominant in practice. We also describe textit FingerprintAlert , a freely available browser extension we developed that detects and, optionally, blocks fingerprinting attempts by visited websites.


Generating a Heterosexual Bipartite Network Embedded in Social Network. We describe how to generate a heterosexual network with a prescribed joint degree distribution that is embedded in a prescribed large scale social contact network. The structure of a sexual network plays an important role in how sexually transmitted infections (STIs) spread. Generating an ensemble of networks that mimics the real world is crucial to evaluating robust mitigation strategies for controling STIs. Most of the current algorithms to generate sexual networks only use sexual activity data, such as the number of partners per month, to generate the sexual network. Real world sexual networks also depend on biased mixing based on age, location, and social and work activities. We describe an approach to use a broad range of social activity data to generate possible heterosexual networks. We start with a large scale simulation of thousands of people in a city as they go through their daily activities, including work, school, shopping, and activities at home. We extract a social network from these activities where the nodes are the people and the edges indicate a social interaction, such as working in the same location. This social network captures the correlations between people of different ages, living in different locations, their economic status, and other demographic factors. We use the social contact network to define a bipartite heterosexual network that is embedded within an extended social network. The resulting sexual network captures the biased mixing inherent in the social network, and models based on this pairing of networks can be used to investigate novel intervention strategies based on the social contacts of infected people. We illustrate the approach in a model for the spread of Chlamydia in the heterosexual network representing the young sexually active community in New Orleans.


Neural Online Graph Exploration. Can we learn how to explore unknown spaces efficiently? To answer this question, we study the problem of Online Graph Exploration, the online version of the Traveling Salesperson Problem. We reformulate graph exploration as a reinforcement learning problem and apply Direct Future Prediction (Dosovitskiy and Koltun, 2017) to solve it. As the graph is discovered online, the corresponding Markov Decision Process entails a dynamic state space, namely the observable graph and a dynamic action space, namely the nodes forming the graph's frontier. To the best of our knowledge, this is the first attempt to solve online graph exploration in a data driven way. We conduct experiments on six data sets of procedurally generated graphs and three real city road networks. We demonstrate that our agent can learn strategies superior to many well known graph traversal algorithms, confirming that exploration can be learned.


On leaky forcing and resilience. A leak is a vertex that is not allowed to perform a force during the zero forcing process. Leaky forcing was recently introduced as a new variation of zero forcing in order to analyze how leaks in a network disrupt the zero forcing process. The ell leaky forcing number of a graph is the size of the smallest zero forcing set that can force a graph despite ell leaks. A graph G is ell resilient if its zero forcing number is the same as its ell leaky forcing number. In this paper, we analyze ell leaky forcing and show that if an ( ell 1) leaky forcing set B is robust enough, then B is an ell leaky forcing set. This provides the framework for characterizing ell leaky forcing sets. Furthermore, we consider structural implications of ell resilient graphs. We apply these results to bound the ell leaky forcing number of several graph families including trees, supertriangles, and grid graphs. In particular, we resolve a question posed by Dillman and Kenter concerning the upper bound on the 1 leaky forcing number of grid graphs.


A mean value formula for the variational p Laplacian. We prove a new asymptotic mean value formula for the p Laplace operator, Delta p u text div ( nabla u p 2 nabla u), valid in the viscosity sense. In the plane, and for a certain range of p , the mean value formula holds in the pointwise sense. We also study the existence, uniqueness and convergence of the related dynamic programming principle.


Navigation in Unknown Environments Using Safety Velocity Cones. We rely on Nagumo's invariance theorem to develop a new approach for navigation in unknown environments of arbitrary dimension. The idea consists in projecting the nominal velocities (that would drive the robot to the target in the absence of obstacles) onto Bouligand's tangent cones (referred to as the safety velocity cones) when the robot is close to the boundary of the free space. The proposed projection based controller is explicitly constructed to guarantee safety and convergence to a set of Lebesgue measure zero that contains the target. For specific free spaces such as Euclidean sphere worlds, the convergence to the target is guaranteed from almost all initial conditions in the free space. We provide a version of the controller (generating a continuous and piecewise smooth closed loop vector field) relying on the robot's current position and local range measurements (e.g., from LiDAR or stereo vision) without global prior knowledge about the environment.


Extending the Machine Learning Abstraction Boundary A Complex Systems Approach to Incorporate Societal Context. Machine learning (ML) fairness research tends to focus primarily on mathematically based interventions on often opaque algorithms or models and or their immediate inputs and outputs. Such oversimplified mathematical models abstract away the underlying societal context where ML models are conceived, developed, and ultimately deployed. As fairness itself is a socially constructed concept that originates from that societal context along with the model inputs and the models themselves, a lack of an in depth understanding of societal context can easily undermine the pursuit of ML fairness. In this paper, we outline three new tools to improve the comprehension, identification and representation of societal context. First, we propose a complex adaptive systems (CAS) based model and definition of societal context that will help researchers and product developers to expand the abstraction boundary of ML fairness work to include societal context. Second, we introduce collaborative causal theory formation (CCTF) as a key capability for establishing a sociotechnical frame that incorporates diverse mental models and associated causal theories in modeling the problem and solution space for ML based products. Finally, we identify community based system dynamics (CBSD) as a powerful, transparent and rigorous approach for practicing CCTF during all phases of the ML product development process. We conclude with a discussion of how these systems theoretic approaches to understand the societal context within which sociotechnical systems are embedded can improve the development of fair and inclusive ML based products.


K theoretic crystals for set valued tableaux of rectangular shapes. In earlier work with C. Monical, we introduced the notion of a K crystal, with applications to K theoretic Schubert calculus and the study of Lascoux polynomials. We conjectured that such a K crystal structure existed on the set of semistandard set valued tableaux of any fixed rectangular shape. Here, we establish this conjecture by explicitly constructing the K crystal operators. As a consequence, we establish the first combinatorial formula for Lascoux polynomials L w lambda when lambda is a multiple of a fundamental weight as the sum over flagged set valued tableaux. Using this result, we then prove corresponding cases of conjectures of Ross Yong (2015) and Monical (2016) by constructing bijections with the respective combinatorial objects.


Circle packings, kissing reflection groups and critically fixed anti rational maps. In this paper, we establish an explicit correspondence between kissing reflection groups and critically fixed anti rational maps. The correspondence, which is expressed using simple planar graphs, has several dynamical consequences. As an application of this correspondence, we give complete answers to geometric mating problems for critically fixed anti rational maps.


Tent space well posedness for parabolic Cauchy problems with rough coefficients. We study the well posedness of Cauchy problems on the upper half space mathbb R n 1 associated to higher order systems partial t u ( 1) m 1 mbox div m A nabla m u with bounded measurable and uniformly elliptic coefficients. We address initial data lying in L p ( 1 p infty ) and BMO ( p infty ) spaces and work with weak solutions. Our main result is the identification of a new well posedeness class, given for p in(1, infty by distributions satisfying nabla m u in T p,2 m , where T p,2 m is a parabolic version of the tent space of Coifman Meyer Stein. In the range p in 2, infty , this holds without any further constraints on the operator and for p infty it provides a Carleson measure characterization of BMO with non autonomous operators. We also prove higher order L p well posedness, previously only known for the case m 1 . The uniform L p boundedness of propagators of energy solutions plays an important role in the well podesness theory and we discover that such bounds hold for p close to 2 . This is a consequence of local weak solutions being locally H "older continuous with values in spatial L p loc for some p 2 , what is also new for the case m 1 .


Methods of ranking for aggregated fuzzy numbers from interval valued data. This paper primarily presents two methods of ranking aggregated fuzzy numbers from intervals using the Interval Agreement Approach (IAA). The two proposed ranking methods within this study contain the combination and application of previously proposed similarity measures, along with attributes novel to that of aggregated fuzzy numbers from interval valued data. The shortcomings of previous measures, along with the improvements of the proposed methods, are illustrated using both a synthetic and real world application. The real world application regards the Technique for Order of Preference by Similarity to Ideal Solution (TOPSIS) algorithm, modified to include both the previous and newly proposed methods.


Parametrised Algorithms for Directed Modular Width. Many well known NP hard algorithmic problems on directed graphs resist efficient parametrisations with most known width measures for directed graphs, such as directed treewidth, DAG width, Kelly width and many others. While these focus on measuring how close a digraph is to an oriented tree resp. a directed acyclic graph, in this paper, we investigate directed modular width as a parameter, which is closer to the concept of clique width. We investigate applications of modular decompositions of directed graphs to a wide range of algorithmic problems and derive FPT algorithms for several well known digraph specific NP hard problems, namely minimum (weight) directed feedback vertex set, minimum (weight) directed dominating set, digraph colouring, directed Hamiltonian path cycle, partitioning into paths, (capacitated) vertex disjoint directed paths, and the directed subgraph homeomorphism problem. The latter yields a polynomial time algorithm for detecting topological minors in digraphs of bounded directed modular width. Finally we illustrate that also other structural digraph parameters, such as the directed pathwidth and the cycle rank can be computed efficiently using directed modular width as a parameter.


Gaze Sensing LEDs for Head Mounted Displays. We introduce a new gaze tracker for Head Mounted Displays (HMDs). We modify two off the shelf HMDs to be gaze aware using Light Emitting Diodes (LEDs). Our key contribution is to exploit the sensing capability of LEDs to create low power gaze tracker for virtual reality (VR) applications. This yields a simple approach using minimal hardware to achieve good accuracy and low latency using light weight supervised Gaussian Process Regression (GPR) running on a mobile device. With our hardware, we show that Minkowski distance measure based GPR implementation outperforms the commonly used radial basis function based support vector regression (SVR) without the need to precisely determine free parameters. We show that our gaze estimation method does not require complex dimension reduction techniques, feature extraction, or distortion corrections due to off axis optical paths. We demonstrate two complete HMD prototypes with a sample eye tracked application, and report on a series of subjective tests using our prototypes.


Accessing MHz Operation at 2 V with Field Effect Transistors Based on Printed Polymers on Plastic. Organic printed electronics is proving its suitability for the development of wearable, lightweight, distributed applications in combination with cost effective production processes. Nonetheless, some necessary features for several envisioned disruptive mass produced products are still lacking among these radio frequency (RF) communication capability, which requires high operational speed combined with low supply voltage in electronic devices processed on cheap plastic foils. Here, we demonstrate that high frequency, low voltage, polymer field effect transistors can be fabricated on plastic with the sole use of a combination of scalable printing and digital laser based techniques. These devices reach an operational frequency in excess of 1 MHz at the challengingly low bias voltage of 2 V, and exceed 14 MHz operation at 7 V. In addition, when integrated into a rectifying circuit, they can provide a DC voltage at an input frequency of 13.56 MHz, opening the way for the implementation of RF devices and tags with cost effective production processes.


Using Experimental Vignettes to Study Early Stage Automation Adoption. When discussing the future of work and in detail the concerns of workers within and beyond established workplace settings, technology wise we act on rather new ground. Especially preserving a meaningful work environment gains new importance when introducing disruptive technologies. We sometimes do not even have the technology which effects we are willing to discuss. To measure implications for employees and thus create meaningful design variants we need to test systems and their effects before developing them. Confronted with the same problem we used the experimental vignette method to study the effects of AI use in work contexts. During the workshop, we will report our experiences.


On functions with the maximal number of bent components. A function F mathbb F 2 n rightarrow mathbb F 2 n , n 2m , can have at most 2 n 2 m bent component functions. Trivial examples are obtained as F(x) (f 1(x), ldots,f m(x),a 1(x), ldots, a m(x)) , where tilde F (x) (f 1(x), ldots,f m(x)) is a vectorial bent function from mathbb F 2 n to mathbb F 2 m , and a i , 1 le i le m , are affine Boolean functions. A class of nontrivial examples is given in univariate form with the functions F(x) x 2 r rm Tr n m ( Lambda(x)) , where Lambda is a linearized permutation of mathbb F 2 m . In the first part of this article it is shown that plateaued functions with 2 n 2 m bent components can have nonlinearity at most 2 n 1 2 lfloor frac n m 2 rfloor , a bound which is attained by the example x 2 r rm Tr n m (x) , 1 le r m (Pott et al. 2018). This partially solves Question 5 in Pott et al. 2018. We then analyse the functions of the form x 2 r rm Tr n m ( Lambda(x)) . We show that for odd m , only x 2 r rm Tr n m (x) , 1 le r m , has maximal nonlinearity, whereas there are more of them for even m , of which we present one more infinite class explicitly. In detail, we investigate Walsh spectrum, differential spectrum and their relations for the functions x 2 r rm Tr n m ( Lambda(x)) . Our results indicate that this class contains many nontrivial EA equivalence classes of functions with the maximal number of bent components, if m is even, several with maximal possible nonlinearity.


Short effective intervals containing primes in arithmetic progressions and the seven cubes problem. Let q ge 3 be a non exceptional modulus q ge3 , and let a be a positive integer coprime with q . For any epsilon 0 , there exists alpha 0 (computable), such that for all x ge alpha ( log q) 2 , the interval left e x,e x epsilon right contains a prime p in the arithmetic progression a bmod q . This gives the bound for the least prime in this arithmetic progression P(a,q) le e alpha ( log q) 2 . For instance for all q ge 10 30 , P(a,q) le e 4.401( log q) 2 . Finally, we apply this result to establish that every integer larger than e 71 ,000 is a sum of seven cubes.


Intelligent Coordination among Multiple Traffic Intersections Using Multi Agent Reinforcement Learning. We use Asynchronous Advantage Actor Critic (A3C) for implementing an AI agent in the controllers that optimize flow of traffic across a single intersection and then extend it to multiple intersections by considering a multi agent setting. We explore three different methodologies to address the multi agent problem (1) use of asynchronous property of A3C to control multiple intersections using a single agent (2) utilise self competitive play among independent agents across multiple intersections and (3) ingest a global reward function among agents to introduce cooperative behavior between intersections. We observe that (1) (2) leads to a reduction in traffic congestion. Additionally the use of (3) with (1) (2) led to a further reduction in congestion.


Credible Interdiction for Transmission Systems. This paper presents novel formulations and algorithms for N k interdiction problem in transmission networks. In particular, it formulates spatial and topological resource constraints on attackers for N k interdiction problems and illustrates the formulation with two new classes of N k attacks (i) Spatial N k attacks where the attack is constrained by geographic distance of a bus chosen by an attacker and (ii) Topological N k attacks where the attack is constrained to connected components. These two specific types of N k attacks compute interdiction plans designed to better model localized attacks, such as those induced by natural disasters or physical attacks. We then formulate these two resource constrained interdiction problems as bilevel, max min optimization problems and present a novel constraint generation algorithm to solve these formulations. Detailed case studies analyzing the behavior of spatially and topologically resource constrained problems and comparing them to the traditional N k interdiction problem are also presented.


Control of Separable Subsystems with Application to Prostheses. Nonlinear control methodologies have successfully realized stable human like walking on powered prostheses. However, these methods are typically restricted to model independent controllers due to the unknown human dynamics acting on the prosthesis. This paper overcomes this restriction by introducing the notion of a separable subsystem control law, independent of the full system dynamics. By constructing an equivalent subsystem, we calculate the control law with local information. We build a subsystem model of a general open chain manipulator to demonstrate the control method's applicability. Employing these methods for an amputee prosthesis model, we develop a model dependent prosthesis controller that relies solely on measurable states and inputs but is equivalent to a controller developed with knowledge of the human dynamics and states. We demonstrate the results through simulating an amputee prosthesis system and show the model dependent prosthesis controller performs identically to a feedback linearizing controller based on the whole system, confirming the equivalency.


NPAS A Compiler aware Framework of Unified Network Pruning and Architecture Search for Beyond Real Time Mobile Acceleration. With the increasing demand to efficiently deploy DNNs on mobile edge devices, it becomes much more important to reduce unnecessary computation and increase the execution speed. Prior methods towards this goal, including model compression and network architecture search (NAS), are largely performed independently and do not fully consider compiler level optimizations which is a must do for mobile acceleration. In this work, we first propose (i) a general category of fine grained structured pruning applicable to various DNN layers, and (ii) a comprehensive, compiler automatic code generation framework supporting different DNNs and different pruning schemes, which bridge the gap of model compression and NAS. We further propose NPAS, a compiler aware unified network pruning, and architecture search. To deal with large search space, we propose a meta modeling procedure based on reinforcement learning with fast evaluation and Bayesian optimization, ensuring the total number of training epochs comparable with representative NAS frameworks. Our framework achieves 6.7ms, 5.9ms, 3.9ms ImageNet inference times with 78.2 , 75 (MobileNet V3 level), and 71 (MobileNet V2 level) Top 1 accuracy respectively on an off the shelf mobile phone, consistently outperforming prior work.


Universal fluctuations in the bulk of Rayleigh B 'enard turbulence. We present an investigation of the root mean square (rms) temperature sigma T and the rms velocity sigma w in the bulk of Rayleigh B 'enard turbulence, using new experimental data from the current study and experimental and numerical data from previous studies. We find that, once scaled by the convective temperature theta , the value of sigma T at the cell centre is a constant, i.e. sigma T,c theta approx 0.85 , over a wide range of the Rayleigh number ( 10 8 leq Ra leq 10 15 ) and the Prandtl number ( 0.7 leq Pr leq 23.34 ), and is independent of the surface topographies of the top and bottom plates of the convection cell. A constant close to unity suggests that theta is a proper measure of the temperature fluctuation in the core region. On the other hand, sigma w,c w , the vertical rms velocity at the cell centre scaled by the convective velocity w , shows a weak Ra dependence ( sim Ra 0.07 pm0.02 ) over 10 8 leq Ra leq 10 10 at Pr sim4.3 and is independent of plate topography. Similar to a previous finding by He Xia ( it Phys. Rev. Lett., vol. 122, 2019, 014503), we find that the rms temperature profile sigma T(z) theta in the region of the mixing zone with a mean horizontal shear exhibits a power law dependence on the distance z from the plate, but now the universal profile applies to both smooth and rough surface topographies and over a wider range of Ra . The vertical rms velocity profile sigma w(z) w obey a logarithmic dependence on z . The study thus demonstrates that the typical scales for the temperature and the velocity are the convective temperature theta and the the convective velocity w , respectively. Finally, we note that theta may be utilised to study the flow regime transitions in the ultra high Ra number turbulent convection.


Group actions of A 5 on contractible 2 complexes. We prove that every action of A 5 on a finite 2 dimensional contractible complex has a fixed point.


Harnessing Higher Order (Meta )Logic to Represent and Reason with Complex Ethical Theories. The computer mechanization of an ambitious explicit ethical theory, Gewirth's Principle of Generic Consistency, is used to showcase an approach for representing and reasoning with ethical theories exhibiting complex logical features like alethic and deontic modalities, indexicals, higher order quantification, among others. Harnessing the high expressive power of Church's type theory as a meta logic to semantically embed a combination of quantified non classical logics, our work pushes existing boundaries in knowledge representation and reasoning. We demonstrate that intuitive encodings of complex ethical theories and their automation on the computer are no longer antipodes.


Distributed Subtrajectory Join on Massive Datasets. Joining trajectory datasets is a significant operation in mobility data analytics and the cornerstone of various methods that aim to extract knowledge out of them. In the era of Big Data, the production of mobility data has become massive and, consequently, performing such an operation in a centralized way is not feasible. In this paper, we address the problem of Distributed Subtrajectory Join processing by utilizing the MapReduce programming model. Compared to traditional trajectory join queries, this problem is even more challenging since the goal is to retrieve all the "maximal" portions of trajectories that are "similar". We propose three solutions (i) a well designed basic solution, coined DTJb, (ii) a solution that uses a preprocessing step that repartitions the data, labeled DTJr, and (iii) a solution that, additionally, employs an indexing scheme, named DTJi. In our experimental study, we utilize a 56GB dataset of real trajectories from the maritime domain, which, to the best of our knowledge, is the largest real dataset used for experimentation in the literature of trajectory data management. The results show that DTJi performs up to 16x faster compared with DTJb, 10x faster than DTJr and 3x faster than the closest related state of the art algorithm.


Hexapods with a small linear span. The understanding of mobile hexapods, i.e., parallel manipulators with six legs, is one of the driving questions in theoretical kinematics. We aim at contributing to this understanding by employing techniques from algebraic geometry. The set of configurations of a mobile hexapod with one degree of freedom has the structure of a projective curve, which hence has a degree and an embedding dimension. Our main result is a classification of configuration curves of hexapods that satisfy some restrictions on their embedding dimension.


Images of point charges in conducting ellipses and prolate spheroids. This is an investigation into the exact forms of images of point charges in 2D conducting ellipses and 3D prolate spheroids. For an ellipse with exterior point source, we compare two previous expressions for the analytic continuation inside the ellipse down to the focal line, the location of the image charge. For an interior source, we discover a sequence of image charges lying outside. For a point source close the surface of a spheroid, series solutions for the potential diverge in a region that encompasses the singularities of the continuation of the reflected potential inside the spheroid. We uncover an image system for a point charge on the axis of a prolate spheroid that extends from the focal segment somewhat further up the axis. For an off axis charge we find a new approximate image charge. For a point charge at the center of the spheroid, the image singularity is found to lie on an infinitely wide, flat sheet with a hole around the spheroid. For a point charge located anywhere inside the spheroid, we find two new approximate image charge solutions, a point charge in real space which applies when source lies near the surface, or a point charge in complex space which projects as a ring in the real space which applies when the source lies near the rotation axis. When the point charge lies exactly on a focal point, a multipole of order 1 2 is an ideal image approximation.


Beyond optimization supervised learning applications in relativistic laser plasma experiments. We explore the applications of machine learning techniques in relativistic laser plasma experiments beyond optimization purposes. We predict the beam charge of electrons produced in a laser wakefield accelerator given the laser wavefront change caused by a deformable mirror. Machine learning enables feature analysis beyond merely searching for an optimal beam charge, showing that specific aberrations in the laser wavefront are favored in generating higher beam charges. Supervised learning models allow characterizing the measured data quality as well as recognizing irreproducible data and potential outliers. We also include virtual measurement errors in the experimental data to examine the model robustness under these conditions. This work demonstrates how machine learning methods can benefit data analysis and physics interpretation in a highly nonlinear problem of relativistic laser plasma interaction.


Polynomial Valuations on Vector Lattices. We prove that polynomial valuations on vector lattices correspond to orthosymmetric multilinear maps. As a consequence we obtain a concise proof of the equivalence of orthosymmetry and orthogonal additivity.


Refining Similarity Matrices to Cluster Attributed Networks Accurately. As a result of the recent popularity of social networks and the increase in the number of research papers published across all fields, attributed networks consisting of relationships between objects, such as humans and the papers, that have attributes are becoming increasingly large. Therefore, various studies for clustering attributed networks into sub networks are being actively conducted. When clustering attributed networks using spectral clustering, the clustering accuracy is strongly affected by the quality of the similarity matrices, which are input into spectral clustering and represent the similarities between pairs of objects. In this paper, we aim to increase the accuracy by refining the matrices before applying spectral clustering to them. We verify the practicability of our proposed method by comparing the accuracy of spectral clustering with similarity matrices before and after refining them.


Recognizing finite matrix groups over infinite fields. We present a uniform methodology for computing with finitely generated matrix groups over any infinite field. As one application, we completely solve the problem of deciding finiteness in this class of groups. We also present an algorithm that, given such a finite group as input, in practice successfully constructs an isomorphic copy over a finite field, and uses this copy to investigate the group's structure. Implementations of our algorithms are available in MAGMA.


Two path Deep Semi supervised Learning for Timely Fake News Detection. News in social media such as Twitter has been generated in high volume and speed. However, very few of them are labeled (as fake or true news) by professionals in near real time. In order to achieve timely detection of fake news in social media, a novel framework of two path deep semi supervised learning is proposed where one path is for supervised learning and the other is for unsupervised learning. The supervised learning path learns on the limited amount of labeled data while the unsupervised learning path is able to learn on a huge amount of unlabeled data. Furthermore, these two paths implemented with convolutional neural networks (CNN) are jointly optimized to complete semi supervised learning. In addition, we build a shared CNN to extract the low level features on both labeled data and unlabeled data to feed them into these two paths. To verify this framework, we implement a Word CNN based semi supervised learning model and test it on two datasets, namely, LIAR and PHEME. Experimental results demonstrate that the model built on the proposed framework can recognize fake news effectively with very few labeled data.


Sets, groups, and fields definable in vector spaces with a bilinear form. We study definable sets, groups, and fields in the theory T infty of infinite dimensional vector spaces over an algebraically closed field equipped with a nondegenerate symmetric (or alternating) bilinear form. First, we define an ( mathbb N times mathbb Z , leq lex ) valued dimension on definable sets in T infty enjoying many properties of Morley rank in strongly minimal theories. Then, using this dimension notion as the main tool, we prove that all groups definable in T infty are (algebraic by abelian) by algebraic, which, in particular, answers a question of Granger. We conclude that every infinite field definable in T infty is definably isomorphic to the field of scalars of the vector space. We derive some other consequences of good behaviour of the dimension in T infty , e.g. every generic type in any definable set is a definable type every set is an extension base every definable group has a definable connected component. We also consider the theory T RCF infty of vector spaces over a real closed field equipped with a nondegenerate alternating bilinear form or a nondegenerate symmetric positive definite bilinear form. Using the same construction as in the case of T infty , we define a dimension on sets definable in T RCF infty , and using it we prove analogous results about definable groups and fields every group definable in T RCF infty is (semialgebraic by abelian) by semialgebraic (in particular, it is (Lie by abelian) by Lie), and every field definable in T RCF infty is definable in the field of scalars, hence it is either real closed or algebraically closed.


Governance of the Internet of Things (IoT). Today's increasing rate of technological change results from the rapid growth in computer processing speed, when combined with the cost decline of processing capacity, and is of historical import. The daily life of billions of individuals worldwide has been forever changed by technology in just the last few years. Costly data breaches continue at an alarming rate. The challenge facing humans as they attempt to govern the process of artificial intelligence, machine learning, and the impact of billions of sensory devices connected to the Internet is the subject of this Article. We proceed in nine sections. First, we define the Internet of Things (IoT), comment on the explosive growth in sensory devices connected to the Internet, provide examples of IoT devices, and speak to the promise of the IoT. Second, we discuss legal requirements for corporate governance as a foundation for considering the challenge of governing the IoT. Third, we look at potential IoT threats. Fourth, we discuss the Mirai botnet. Fifth, is a look at the IoT threat vector vulnerabilities during times of crisis. Sixth, we discuss the Manufactured Usage Description (MUD) methodology. Seventh, is a discussion of recent regulatory developments. Next, we look at a few recommendations. And finally, we conclude. We believe this Article contributes to our understanding of the widespread exposure to malware associated with IoT and adds to the nascent but emerging literature on governance of enterprise risk, a subject of vital societal importance.


Optimization and Learning With Nonlocal Calculus. Nonlocal models have recently had a major impact in nonlinear continuum mechanics and are used to describe physical systems processes which cannot be accurately described by classical, calculus based "local" approaches. In part, this is due to their multiscale nature that enables aggregation of micro level behavior to obtain a macro level description of singular irregular phenomena such as peridynamics, crack propagation, anomalous diffusion and transport phenomena. At the core of these models are nonlocal differential operators, including nonlocal analogs of the gradient Hessian. This paper initiates the use of such nonlocal operators in the context of optimization and learning. We define and analyze the convergence properties of nonlocal analogs of (stochastic) gradient descent and Newton's method on Euclidean spaces. Our results indicate that as the nonlocal interactions become less noticeable, the optima corresponding to nonlocal optimization converge to the "usual" optima. At the same time, we argue that nonlocal learning is possible in situations where standard calculus fails. As a stylized numerical example of this, we consider the problem of non differentiable parameter estimation on a non smooth translation manifold and show that our nonlocal gradient descent recovers the unknown translation parameter from a non differentiable objective function.


ComHapDet A Spatial Community Detection Algorithm for Haplotype Assembly. Background Haplotypes, the ordered lists of single nucleotide variations that distinguish chromosomal sequences from their homologous pairs, may reveal an individual's susceptibility to hereditary and complex diseases and affect how our bodies respond to therapeutic drugs. Reconstructing haplotypes of an individual from short sequencing reads is an NP hard problem that becomes even more challenging in the case of polyploids. While increasing lengths of sequencing reads and insert sizes color black helps improve accuracy of reconstruction , it also exacerbates computational complexity of the haplotype assembly task. This has motivated the pursuit of algorithmic frameworks capable of accurate yet efficient assembly of haplotypes from high throughput sequencing data. Results We propose a novel graphical representation of sequencing reads and pose the haplotype assembly problem as an instance of community detection on a spatial random graph. To this end, we construct a graph where each read is a node with an unknown community label associating the read with the haplotype it samples. Haplotype reconstruction can then be thought of as a two step procedure first, one recovers the community labels on the nodes (i.e., the reads), and then uses the estimated labels to assemble the haplotypes. Based on this observation, we propose ComHapDet a novel assembly algorithm for diploid and ployploid haplotypes which allows both bialleleic and multi allelic variants. Conclusions Performance of the proposed algorithm is benchmarked on simulated as well as experimental data obtained by sequencing Chromosome 5 of tetraploid biallelic emph Solanum Tuberosum (Potato). The results demonstrate the efficacy of the proposed method and that it compares favorably with the existing techniques.


Two regularized energy preserving finite difference methods for the logarithmic Klein Gordon equation. We present and analyze two regularized finite difference methods which preserve energy of the logarithmic Klein Gordon equation (LogKGE). In order to avoid singularity caused by the logarithmic nonlinearity of the LogKGE, we propose a regularized logarithmic Klein Gordon equation (RLogKGE) with a small regulation parameter 0 varepsilon ll1 to approximate the LogKGE with the convergence order O( varepsilon) . By adopting the energy method, the inverse inequality, and the cut off technique of the nonlinearity to bound the numerical solution, the error bound O(h 2 frac tau 2 varepsilon 2 ) of the two schemes with the mesh size h , the time step tau and the parameter varepsilon . Numerical results are reported to support our conclusions.


GREEN a Graph REsidual rE ranking Network for Grading Diabetic Retinopathy. The automatic grading of diabetic retinopathy (DR) facilitates medical diagnosis for both patients and physicians. Existing researches formulate DR grading as an image classification problem. As the stages categories of DR correlate with each other, the relationship between different classes cannot be explicitly described via a one hot label because it is empirically estimated by different physicians with different outcomes. This class correlation limits existing networks to achieve effective classification. In this paper, we propose a Graph REsidual rE ranking Network (GREEN) to introduce a class dependency prior into the original image classification network. The class dependency prior is represented by a graph convolutional network with an adjacency matrix. This prior augments image classification pipeline by re ranking classification results in a residual aggregation manner. Experiments on the standard benchmarks have shown that GREEN performs favorably against state of the art approaches.


Practical method to reclassify Web of Science articles into unique subject categories and broad disciplines. Classification of bibliographic items into subjects and disciplines in large databases is essential for many quantitative science studies. The Web of Science classification of journals into 250 subject categories, which has served as a basis for many studies, is known to have some fundamental problems and several practical limitations that may affect the results from such studies. Here we present an easily reproducible method to perform reclassification of the Web of Science into existing subject categories and into 14 broad areas. Our reclassification is at a level of articles, so it preserves disciplinary differences that may exist among individual articles published in the same journal. Reclassification also eliminates ambiguous (multiple) categories that are found for 50 of items, and assigns a discipline field category to all articles that come from broad coverage journals such as Nature and Science. The correctness of the assigned subject categories is evaluated manually and is found to be 95 .


The Security Reference Architecture for Blockchains Towards a Standardized Model for Studying Vulnerabilities, Threats, and Defenses. Blockchains are distributed systems, in which security is a critical factor for their success. However, despite their increasing popularity and adoption, there is a lack of standardized models that study blockchain related security threats. To fill this gap, the main focus of our work is to systematize and extend the knowledge about the security and privacy aspects of blockchains and contribute to the standardization of this domain. We propose the security reference architecture (SRA) for blockchains, which adopts a stacked model (similar to the ISO OSI) describing the nature and hierarchy of various security and privacy aspects. The SRA contains four layers (1) the network layer, (2) the consensus layer, (3) the replicated state machine layer, and (4) the application layer. At each of these layers, we identify known security threats, their origin, and countermeasures, while we also analyze several cross layer dependencies. Next, to enable better reasoning about security aspects of blockchains by the practitioners, we propose a blockchain specific version of the threat risk assessment standard ISO IEC 15408 by embedding the stacked model into this standard. Finally, we provide designers of blockchain platforms and applications with a design methodology following the model of SRA and its hierarchy.


Nuclearity of semigroup C algebras. We study the semigroup C algebra of a positive cone P of a weakly quasi lattice ordered group. That is, P is a subsemigroup of a discrete group G with P cap P 1 e and such that any two elements of P with a common upper bound in P also have a least upper bound. We find sufficient conditions for the semigroup C algebra of P to be nuclear. These conditions involve the idea of a generalised length function, called a "controlled map", into an amenable group. Here we give a new definition of a controlled map and discuss examples from different sources. We apply our main result to establish nuclearity for semigroup C algebras of a class of one relator semigroups, motivated by a recent work of Li, Omland and Spielberg. This includes all the Baumslag Solitar semigroups. We also analyse semidirect products of weakly quasi lattice ordered groups and use our theorem in examples to prove nuclearity of the semigroup C algebra. Moreover, we prove that the graph product of weak quasi lattices is again a weak quasi lattice, and show that the corresponding semigroup C algebra is nuclear when the underlying groups are amenable.


Direct Imaging of Resonant Phonon Magnon Coupling. Direct detection of phonons is important for the investigation of information interconversion between the resonantly coupled magnons and phonons. Here we report resonant coupling of magnons and phonons, which can be directly visualized by using micro focused Brillouin light scattering in Ni LiNbO3 hybrid heterostructures. The patterns of surface acoustic wave phonons, originating from the interference between the original wave psi 0(A 0,k) and reflected wave psi 1(A 1, k), can be modulated by magnetic field due to the magnon phonon coupling. By analyzing the information of phonons obtained from Brillouin spectroscopy, the properties of the magnon system (Ni film), e.g., ferromagnetic resonance field and resonance linewidth can be determined. The results provide spatially resolved information about phonon manipulation and detection in a coupled magnon phonon system.


GRASS Graph Spectral Sparsification Leveraging Scalable Spectral Perturbation Analysis. Spectral graph sparsification aims to find ultra sparse subgraphs whose Laplacian matrix can well approximate the original Laplacian eigenvalues and eigenvectors. In recent years, spectral sparsification techniques have been extensively studied for accelerating various numerical and graph related applications. Prior nearly linear time spectral sparsification methods first extract low stretch spanning tree from the original graph to form the backbone of the sparsifier, and then recover small portions of spectrally critical off tree edges to the spanning tree to significantly improve the approximation quality. However, it is not clear how many off tree edges should be recovered for achieving a desired spectral similarity level within the sparsifier. Motivated by recent graph signal processing techniques, this paper proposes a similarity aware spectral graph sparsification framework that leverages efficient spectral off tree edge embedding and filtering schemes to construct spectral sparsifiers with guaranteed spectral similarity (relative condition number) level. An iterative graph densification scheme is also introduced to facilitate efficient and effective filtering of off tree edges for highly ill conditioned problems. The proposed method has been validated using various kinds of graphs obtained from public domain sparse matrix collections relevant to VLSI CAD, finite element analysis, as well as social and data networks frequently studied in many machine learning and data mining applications. For instance, a sparse SDD matrix with 40 million unknowns and 180 million nonzeros can be solved (1E 3 accuracy level) within two minutes using a single CPU core and about 6GB memory.


New solution of a problem of Kolmogorov on width asymptotics in holomorphic function spaces. Given a domain D in mathbb C n and K a compact subset of D , the set mathcal A K D of all restrictions of functions holomorphic on D the modulus of which is bounded by 1 is a compact subset of the Banach space C(K) of continuous functions on K . The sequence (d m( mathcal A K D)) m in mathbb N of Kolmogorov m widths of mathcal A K D provides a measure of the degree of compactness of the set mathcal A K D in C(K) and the study of its asymptotics has a long history, essentially going back to Kolmogorov's work on epsilon entropy of compact sets in the 1950s. In the 1980s Zakharyuta showed that for suitable D and K the asymptotics begin equation lim m to infty frac log d m( mathcal A K D) m 1 n 2 pi left ( frac n! C(K,D) right ) 1 n ,, end equation where C(K,D) is the Bedford Taylor relative capacity of K in D is implied by a conjecture, now known as Zakharyuta's Conjecture, concerning the approximability of the regularised relative extremal function of K and D by certain pluricomplex Green functions. Zakharyuta's Conjecture was proved by Nivoche in 2004 thus settling the asymptotics above at the same time. We shall give a new proof of the asymptotics above for D strictly hyperconvex and K non pluripolar which does not rely on Zakharyuta's Conjecture. Instead we proceed more directly by a two pronged approach establishing sharp upper and lower bounds for the Kolmogorov widths. The lower bounds follow from concentration results of independent interest for the eigenvalues of a certain family of Toeplitz operators, while the upper bounds follow from an application of the Bergman Weil formula together with an exhaustion procedure by special holomorphic polyhedra.


Learning Furniture Compatibility with Graph Neural Networks. We propose a graph neural network (GNN) approach to the problem of predicting the stylistic compatibility of a set of furniture items from images. While most existing results are based on siamese networks which evaluate pairwise compatibility between items, the proposed GNN architecture exploits relational information among groups of items. We present two GNN models, both of which comprise a deep CNN that extracts a feature representation for each image, a gated recurrent unit (GRU) network that models interactions between the furniture items in a set, and an aggregation function that calculates the compatibility score. In the first model, a generalized contrastive loss function that promotes the generation of clustered embeddings for items belonging to the same furniture set is introduced. Also, in the first model, the edge function between nodes in the GRU and the aggregation function are fixed in order to limit model complexity and allow training on smaller datasets in the second model, the edge function and aggregation function are learned directly from the data. We demonstrate state of the art accuracy for compatibility prediction and "fill in the blank" tasks on the Bonn and Singapore furniture datasets. We further introduce a new dataset, called the Target Furniture Collections dataset, which contains over 6000 furniture items that have been hand curated by stylists to make up 1632 compatible sets. We also demonstrate superior prediction accuracy on this dataset.


Privacy protocols. Security protocols enable secure communication over insecure channels. Privacy protocols enable private interactions over secure channels. Security protocols set up secure channels using cryptographic primitives. Privacy protocols set up private channels using secure channels. But just like some security protocols can be broken without breaking the underlying cryptography, some privacy protocols can be broken without breaking the underlying security. Such privacy attacks have been used to leverage e commerce against targeted advertising from the outset but their depth and scope became apparent only with the overwhelming advent of influence campaigns in politics. The blurred boundaries between privacy protocols and privacy attacks present a new challenge for protocol analysis. Covert channels turn out to be concealed not only below overt channels, but also above subversions, and the level below attacks are supplemented by sublimations and the level above attacks.


Finite time stability for the Riemann problem with extremal shocks for a large class of hyperbolic systems. In this paper on hyperbolic systems of conservation laws in one space dimension, we give a complete picture of stability for all solutions to the Riemann problem which contain only extremal shocks. We study stability of the Riemann problem amongst a large class of solutions. We show stability among the family of solutions with shocks from any family. We assume solutions verify at least one entropy condition. We have no small data assumptions. The solutions we consider are bounded and satisfy a strong trace condition weaker than BV text loc . We make only mild assumptions on the system. In particular, our work applies to gas dynamics, including the isentropic Euler system and the full Euler system for a polytropic gas. We use the theory of a contraction (see Kang and Vasseur Arch. Ration. Mech. Anal., 222(1) 343 391, 2016 ), and introduce new ideas in this direction to allow for two shocks from different shock families to be controlled simultaneously. This paper shows L 2 stability for the Riemann problem for all time. Our results compare to Chen, Frid, and Li Comm. Math. Phys., 228(2) 201 217, 2002 and Chen and Li J. Differential Equations, 202(2) 332 353, 2004 , which give uniqueness and long time stability for perturbations of the Riemann problem amongst a large class of solutions without smallness assumptions and which are locally BV . Although, these results lack global L 2 stability.


A Link Generator for Increasing the Utility of OpenAPI to GraphQL Translations. Standardized interfaces are the connecting link of today's distributed systems, facilitating access to data services in the cloud. REST APIs have been prevalent over the last years, despite several issues like over and underfetching of resources. GraphQL enjoys rapid adoption, resolving these problems by using statically typed queries. However, the redevelopment of services to the new paradigm is costly. Therefore, several approaches for the successive migration from REST to GraphQL have been proposed, many leveraging OpenAPI service descriptions. In this article, we present the findings of our empirical evaluation on the APIs.guru directory and identify several schema translation challenges. These include less expressive schema types in GraphQL, as well as missing meta information about related resources in OpenAPI. To this end, we developed the open source Link Generator, that analyzes OpenAPI documents and automatically adds links to increase translation utility. This fundamentally benefits around 34 of APIs in the APIs.guru directory. Our findings and tool support contribute to the ongoing discussion about the migration of REST APIs to GraphQL, and provide developers with valuable insights into common pitfalls, to reduce friction during API transformation.


Grazing incidence X ray fluorescence for a dimensional and elemental characterization of well ordered nanostructures. The increasing importance of well controlled ordered nanostructures on surfaces represents a challenge for existing metrology techniques. To develop such nanostructures and monitor complex processing constraints fabrication, both a dimensional reconstruction of nanostructures and a characterization (ideally a quantitative characterization) of their composition is required. In this work, we present a soft X ray fluorescence based methodology that allows both of these requirements to be addressed at the same time. By applying the grazing incidence X ray fluorescence technique and thus utilizing the X ray standing wave field effect, nanostructures can be investigated with a high sensitivity with respect to their dimensional and compositional characteristics. By varying the incident angles of the exciting radiation, element sensitive fluorescence radiation is emitted from different regions inside the nanoobjects. By applying an adequate modeling scheme, these datasets can be used to determine the nanostructure characteristics. We demonstrate these capabilities by performing an element sensitive reconstruction of a lamellar grating made of Si 3 N 4 , where GIXRF data for the O K alpha and N K alpha fluorescence emission allows a thin oxide layer to be reconstructed on the surface of the grating structure. In addition, we employ the technique also to three dimensional nanostructures and derive both dimensional and compositional parameters in a quantitative manner.


A Method to Apply Piola Kirchhoff Stress in Molecular Statics Simulation. A force based optimization method is proposed to apply the first and second kind of Piola Kirchhoff stresses in molecular statics simulation. This method is important for finite deformation problems in which the atomistic behavior can be more accurately described using Piola Kirchhoff stresses. The performance of the method is tested and validated using Silicon as a model material.


Scheduling Coflows with Dependency Graph. Applications in data parallel computing typically consist of multiple stages. In each stage, a set of intermediate parallel data flows (Coflow) is produced and transferred between servers to enable starting of next stage. While there has been much research on scheduling isolated coflows, the dependency between coflows in multi stage jobs has been largely ignored. In this paper, we consider scheduling coflows of multi stage jobs represented by general DAGs (Directed Acyclic Graphs) in a shared data center network, so as to minimize the total weighted completion time of jobs. This problem is significantly more challenging than the traditional coflow scheduling, as scheduling even a single multi stage job to minimize its completion time is shown to be NP hard. In this paper, we propose a polynomial time algorithm with approximation ratio of O( mu log(m) log( log(m))) , where mu is the maximum number of coflows in a job and m is the number of servers. For the special case that the jobs' underlying dependency graphs are rooted trees, we modify the algorithm and improve its approximation ratio. To verify the performance of our algorithms, we present simulation results using real traffic traces that show up to 53 improvement over the prior approach. We conclude the paper by providing a result concerning an optimality gap for scheduling coflows with general DAGs.


Depth Ranging Performance Evaluation and Improvement for RGB D Cameras on Field Based High Throughput Phenotyping Robots. RGB D cameras have been successfully used for indoor High ThroughpuT Phenotyping (HTTP). However, their capability and feasibility for in field HTTP still need to be evaluated, due to the noise and disturbances generated by unstable illumination, specular reflection, and diffuse reflection, etc. To solve these problems, we evaluated the depth ranging performances of two consumer level RGB D cameras (RealSense D435i and Kinect V2) under in field HTTP scenarios, and proposed a strategy to compensate the depth measurement error. For performance evaluation, we focused on determining their optimal ranging areas for different crop organs. Based on the evaluation results, we proposed a brightness and distance based Support Vector Regression Strategy, to compensate the ranging error. Furthermore, we analyzed the depth filling rate of two RGB D cameras under different lighting intensities. Experimental results showed that 1) For RealSense D435i, its effective ranging area is 0.160, 1.400 m, and in field filling rate is approximately 90 . 2) For Kinect V2, it has a high ranging accuracy in the 0.497, 1.200 m, but its in field filling rate is less than 24.9 . 3) Our error compensation model can effectively reduce the influences of lighting intensity and target distance. The maximum MSE and minimum R2 of this model are 0.029 and 0.867, respectively. To sum up, RealSense D435i has better ranging performances than Kinect V2 on in field HTTP.


Modeling indoor level non pharmaceutical interventions during the COVID 19 pandemic a pedestrian dynamics based microscopic simulation approach. Mathematical modeling of epidemic spreading has been widely adopted to estimate the threats of epidemic diseases (i.e., the COVID 19 pandemic) as well as to evaluate epidemic control interventions. The indoor place is considered to be a significant epidemic spreading risk origin, but existing widely used epidemic spreading models are usually limited for indoor places since the dynamic physical distance changes between people are ignored, and the empirical features of the essential and non essential travel are not differentiated. In this paper, we introduce a pedestrian based epidemic spreading model that is capable of modeling indoor transmission risks of diseases during people's social activities. Taking advantage of the before and after mobility data from the University of Maryland COVID 19 Impact Analysis Platform, it's found that people tend to spend more time in grocery stores once their travel frequencies are restricted to a low level. In other words, an increase in dwell time could balance the decrease in travel frequencies and satisfy people's demand. Based on the pedestrian based model and the empirical evidence, combined non pharmaceutical interventions from different operational levels are evaluated. Numerical simulations show that restrictions on people's travel frequency and open hours of indoor places may not be universally effective in reducing average infection risks for each pedestrian who visit the place. Entry limitations can be a widely effective alternative, whereas the decision maker needs to balance the decrease in risky contacts and the increase in queue length outside the place that may impede people from fulfilling their travel needs.


Multi Granular Text Encoding for Self Explaining Categorization. Self explaining text categorization requires a classifier to make a prediction along with supporting evidence. A popular type of evidence is sub sequences extracted from the input text which are sufficient for the classifier to make the prediction. In this work, we define multi granular ngrams as basic units for explanation, and organize all ngrams into a hierarchical structure, so that shorter ngrams can be reused while computing longer ngrams. We leverage a tree structured LSTM to learn a context independent representation for each unit via parameter sharing. Experiments on medical disease classification show that our model is more accurate, efficient and compact than BiLSTM and CNN baselines. More importantly, our model can extract intuitive multi granular evidence to support its predictions.


Stability of contact lines in fluids 2D Navier Stokes flow. In this paper we study the dynamics of an incompressible viscous fluid evolving in an open top container in two dimensions. The fluid mechanics are dictated by the Navier Stokes equations. The upper boundary of the fluid is free and evolves within the container. The fluid is acted upon by a uniform gravitational field, and capillary forces are accounted for along the free boundary. The triple phase interfaces where the fluid, air above the vessel, and solid vessel wall come in contact are called contact points, and the angles formed at the contact point are called contact angles. The model that we consider integrates boundary conditions that allow for full motion of the contact points and angles. Equilibrium configurations consist of quiescent fluid within a domain whose upper boundary is given as the graph of a function minimizing a gravity capillary energy functional, subject to a fixed mass constraint. The equilibrium contact angles can take on any values between 0 and pi depending on the choice of capillary parameters. The main thrust of the paper is the development of a scheme of a priori estimates that show that solutions emanating from data sufficiently close to the equilibrium exist globally in time and decay to equilibrium at an exponential rate.


The Microlocal Irregularity of Gaussian Noise. The study of random Fourier series, linear combinations of trigonometric functions whose coefficients are independent (in our case Gaussian) random variables with polynomially bounded means and standard deviations, dates back to Norbert Wiener in one of the original constructions of Brownian motion. A geometric generalization relevant e.g. to Euclidean quantum field theory with an infrared cutoff is the study of random Gaussian linear combinations of the eigenfunctions of the Laplace Beltrami operator on an arbitrary compact Riemannian manifold (M,g) , Gaussian noise Phi . I will prove that, when our random coefficients are independent Gaussians whose standard deviations obey polynomial asymptotics and whose means obey a corresponding polynomial upper bound, the resultant random mathscr H s wavefront set operatorname WF s( Phi) (defined as a subset of the cosphere bundle mathbb S M ) is either almost surely empty or almost surely the entirety of mathbb S M , depending on s in mathbb R , and we will compute the threshold s and the behavior of the wavefront set at it. Consequently, the random C infty wavefront set operatorname WF ( Phi) is almost surely the entirety of the cosphere bundle. The method of proof is as follows using Sazonov's theorem and its converse, it suffices to understand which compositions of microlocal cutoffs and inclusions of L 2 based fractional order Sobolev spaces are Hilbert Schmidt (HS), and the answer follows from general facts about the HS norms of the elements of the pseudodifferential calculus of Kohn and Nirenberg.


On the refined Strichartz estimates. We present a slightly simpler proof of the multilinear refined Strichartz estimate, and prove a slightly more general linear refined Strichartz estimate. Our arguments seek to clarify the connection between these estimates, refined decoupling and tube incidences.