A Decade of Social Bot Detection. On the morning of November 9th 2016, the world woke up to the shocking outcome of the US Presidential elections Donald Trump was the 45th President of the United States of America. An unexpected event that still has tremendous consequences all over the world. Today, we know that a minority of social bots, automated social media accounts mimicking humans, played a central role in spreading divisive messages and disinformation, possibly contributing to Trump's victory. In the aftermath of the 2016 US elections, the world started to realize the gravity of widespread deception in social media. Following Trump's exploit, we witnessed to the emergence of a strident dissonance between the multitude of efforts for detecting and removing bots, and the increasing effects that these malicious actors seem to have on our societies. This paradox opens a burning question What strategies should we enforce in order to stop this social bot pandemic? In these times, during the run up to the 2020 US elections, the question appears as more crucial than ever. What stroke social, political and economic analysts after 2016, deception and automation, has been however a matter of study for computer scientists since at least 2010. In this work, we briefly survey the first decade of research in social bot detection. Via a longitudinal analysis, we discuss the main trends of research in the fight against bots, the major results that were achieved, and the factors that make this never ending battle so challenging. Capitalizing on lessons learned from our extensive analysis, we suggest possible innovations that could give us the upper hand against deception and manipulation. Studying a decade of endeavours at social bot detection can also inform strategies for detecting and mitigating the effects of other, more recent, forms of online deception, such as strategic information operations and political trolls.


Ribbon homology cobordisms. We study 4 dimensional homology cobordisms without 3 handles, showing that they interact nicely with Thurston geometries, character varieties, and instanton and Heegaard Floer homologies. Using these, we derive obstructions to such cobordisms, with topological applications.


A characteristics for a surface sum of two handlebodies along an annulus or a once punctured torus to be a handlebody. The main results of the paper is that we give a characteristics for an annulus sum and a once punctured torus sum of two handlebodies to be a handlebody as follows 1. The annulus sum H H 1 cup A H 2 of two handlebodies H 1 and H 2 is a handlebody if and only if the core curve of A is a longitude for either H 1 or H 2 . 2. Let H H 1 cup T H 2 be a surface sum of two handlebodies H 1 and H 2 along a once punctured torus T . Suppose that T is incompressible in both H 1 and H 2 . Then H is a handlebody if and only if the there exists a collection delta, sigma of simple closed curves on T such that either delta, sigma is primitive in H 1 or H 2 , or delta is primitive in H 1 and sigma is primitive in H 2 .


Applying the Fokker Planck equation to grating based x ray phase and dark field imaging. X ray imaging has conventionally relied upon attenuation to provide contrast. In recent years, two complementary modalities have been added phase contrast and dark field x ray imaging, capturing weakly attenuating and sub pixel sample structures respectively. These three modalities can be accessed using a crystal analyser, a grating interferometer or by looking at a directly resolved grid, grating or speckle pattern. Grating and grid based methods extract a differential phase signal by measuring how far a feature in the illumination has been shifted transversely due to the presence of a sample. The dark field signal is extracted by measuring how the visibility of the structured illumination is decreased, typically due to the presence of sub pixel structures in a sample. The strength of the dark field signal may depend on the grating period, the pixel size and the set up distances, and additional dark field signal contributions may be seen as a result of strong phase effects or other factors. In this paper we show that the finite difference form of the Fokker Planck Equation can be applied to describe the drift (phase signal) and diffusion (dark field signal) of the periodic or structured illumination used in phase contrast x ray imaging with gratings, in order to better understand any cross talk between attenuation, phase and dark field x ray signals. In future work, this mathematical description could be used as a basis for new approaches to the inverse problem of recovering both phase and dark field information.


AiRound and CV BrCT Novel Multi View Datasets for Scene Classification. It is undeniable that aerial satellite images can provide useful information for a large variety of tasks. But, since these images are always looking from above, some applications can benefit from complementary information provided by other perspective views of the scene, such as ground level images. Despite a large number of public repositories for both georeferenced photographs and aerial images, there is a lack of benchmark datasets that allow the development of approaches that exploit the benefits and complementarity of aerial ground imagery. In this paper, we present two new publicly available datasets named thedataset and CV BrCT. The first one contains triplets of images from the same geographic coordinate with different perspectives of view extracted from various places around the world. Each triplet is composed of an aerial RGB image, a ground level perspective image, and a Sentinel 2 sample. The second dataset contains pairs of aerial and street level images extracted from southeast Brazil. We design an extensive set of experiments concerning multi view scene classification, using early and late fusion. Such experiments were conducted to show that image classification can be enhanced using multi view data.


Symmetric set of transport coefficients for collisional magnetized plasma. In Braginskii extended magneto hydrodynamics (ExMHD), applicable to collisional astrophysical and high energy density plasmas, the electric field and heat flow are described by the alpha , beta and kappa transport coefficients. We show that magnetic transport relies primarily on beta parallel beta perp and alpha perp alpha parallel , rather than alpha perp and beta perp themselves. However, commonly used coefficient fit functions Epperlein and Haines, Phys. Fluids 29, 1029 (1986) cannot accurately calculate these quantities. This means that many ExMHD simulations have significantly over estimated the cross gradient Nernst advection, resulting in artificial magnetic dissipation and discontinuities. We repeat the kinetic analysis to provide fits that rectify this problem. Use of these in the Gorgon ExMHD code resolves the known discrepancies with kinetic simulations in the literature. Recognizing the fundamental importance of alpha perp alpha parallel and beta parallel beta perp , we re cast the set of coefficients to find that each of them now shares the same underlying properties. This makes explicit the symmetry of the magnetic and thermal transport equations, as well as the symmetry of the coefficients themselves.


On complex supersolvable line arrangements. We show that the number of lines in an m homogeneous supersolvable line arrangement is upper bounded by 3m 3 and we classify the m homogeneous supersolvable line arrangements with two modular points up to lattice isotopy. A lower bound for the number of double points n 2 in an m homogeneous supersolvable line arrangement of d lines is also considered. When 3 leq m leq 5 , or when m geq frac d 2 , or when there are at least two modular points, we show that n 2 geq frac d 2 , as conjectured by B. Anzis and S. O. Toh u aneanu. This conjecture is shown to hold also for supersolvable line arrangements obtained as cones over generic line arrangements, or cones over arbitrary line arrangements having a generic vertex.


Construction of Subexponential Size Optical Priority Queues with Switches and Fiber Delay Lines. All optical switching has been considered as a natural choice to keep pace with growing fiber link capacity. One key research issue of all optical switching is the design of optical buffers for packet contention resolution. One of the most general buffering schemes is optical priority queue, where every packet is associated with a unique priority upon its arrival and departs the queue in order of priority, and the packet with the lowest priority is always dropped when a new packet arrives but the buffer is full. In this paper, we focus on the feedback construction of an optical priority queue with a single boldsymbol (M 2) times (M 2) optical crossbar Switch and boldsymbol M fiber Delay Lines (SDL) connecting boldsymbol M inputs and boldsymbol M outputs of the switch. We propose a novel construction of an optical priority queue with buffer boldsymbol 2 Theta( sqrt M ) , which improves substantially over all previous constructions that only have buffers of boldsymbol O(M c) size for constant integer boldsymbol c . The key ideas behind our construction include (i) the use of first in first out multiplexers, which admit efficient SDL constructions, for feeding back packets to the switch instead of fiber delay lines, and (ii) the use of a routing policy that is similar to self routing, where each packet entering the switch is routed to some multiplexer mainly determined by the current ranking of its priority.


Permutation patterns in genome rearrangement problems the reversal model. In the context of the genome rearrangement problem, we analyze two well known models, namely the reversal and the prefix reversal models, by exploiting the connection with the notion of permutation pattern. More specifically, for any k , we provide a characterization of the set of permutations having distance leq k from the identity (which is known to be a permutation class) in terms of what we call generating peg permutations and we describe some properties of its basis, which allow to compute such a basis for small values of k .


Characterization of the reduced peripheral system of links. The reduced peripheral system was introduced by Milnor in the fifties for the study of links up to link homotopy, i.e. up to isotopies and crossing changes within each link component. However, for four or more components, this invariant does not yield a complete link homotopy invariant. This paper provides two characterizations of links having the same reduced peripheral system a diagrammatical one, in terms of link diagrams, seen as welded diagrams up to self virtualization, and a topological one, in terms of ribbon solid tori in 4 space up to ribbon link homotopy.


Invariants of symbols of the linear differential operators. In this paper we classify the symbols of the linear differential operators of order k , which act from the module C infty( xi) to the module C infty( xi t) , where xi colon E( xi) to M is vector bundle over the smooth manifold M , bundle xi t is either xi with fiber E mathrm Hom (E, mathbb C ) or xi flat with fiber E flat mathrm Hom (E, Lambda n T ) and C infty( xi) , C infty( xi t) are the modules of their smooth sections. To find invariants of the symbols we associate with every non degenerated symbol the tuple of linear operators acting on space E and reduce our problem to the classification of such tuples with respect to some orthogonal transformations. Using the results of C. Procesi, we find generators for the field of rational invariants of the symbols and in terms of these invariants provide a criterion of equivalence of non degenerated symbols.


Blind Face Restoration via Deep Multi scale Component Dictionaries. Recent reference based face restoration methods have received considerable attention due to their great capability in recovering high frequency details on real low quality images. However, most of these methods require a high quality reference image of the same identity, making them only applicable in limited scenes. To address this issue, this paper suggests a deep face dictionary network (termed as DFDNet) to guide the restoration process of degraded observations. To begin with, we use K means to generate deep dictionaries for perceptually significant face components ( ie, left right eyes, nose and mouth) from high quality images. Next, with the degraded input, we match and select the most similar component features from their corresponding dictionaries and transfer the high quality details to the input via the proposed dictionary feature transfer (DFT) block. In particular, component AdaIN is leveraged to eliminate the style diversity between the input and dictionary features ( eg, illumination), and a confidence score is proposed to adaptively fuse the dictionary feature to the input. Finally, multi scale dictionaries are adopted in a progressive manner to enable the coarse to fine restoration. Experiments show that our proposed method can achieve plausible performance in both quantitative and qualitative evaluation, and more importantly, can generate realistic and promising results on real degraded images without requiring an identity belonging reference. The source code and models are available at url https github.com csxmli2016 DFDNet .


Good reduction and cyclic covers. We prove finiteness results for sets of varieties over number fields with good reduction outside a given finite set of places using cyclic covers. We obtain a version of the Shafarevich conjecture for weighted projective surfaces, double covers of abelian varieties, and reduce the Shafarevich conjecture for hypersurfaces to the case of hypersurfaces of low degree. These are special cases of a general set up for integral points on moduli stacks of cyclic covers, and our arithmetic results are achieved via a version of the Chevalley Weil theorem for stacks.


Sparse graphs are near bipartite. A multigraph G is near bipartite if V(G) can be partitioned as I,F such that I is an independent set and F induces a forest. We prove that a multigraph G is near bipartite when 3 W 2 E(G W ) ge 1 for every W subseteq V(G) , and G contains no K 4 and no Moser spindle. We prove that a simple graph G is near bipartite when 8 W 5 E(G W ) ge 4 for every W subseteq V(G) , and G contains no subgraph from some finite family mathcal H . We also construct infinite families to show that both results are best possible in a very sharp sense.


Quadratic relations between Bessel moments. Motivated by the computation of certain Feynman amplitudes, Broadhurst and Roberts recently conjectured and checked numerically to high precision a set of remarkable quadratic relations between the Bessel moments int 0 infty I 0(t) i K 0(t) k i t 2j 1 , mathrm d t qquad (i, j 1, ldots, lfloor (k 1) 2 rfloor), where k geq 1 is a fixed integer and I 0 and K 0 denote the modified Bessel functions. In this paper, we interpret these integrals and variants thereof as coefficients of the period pairing between middle de Rham cohomology and twisted homology of symmetric powers of the Kloosterman connection. Building on the general framework developed in arXiv 2005.11525, this enables us to prove quadratic relations of the form suggested by Broadhurst and Roberts, which conjecturally comprise all algebraic relations between these numbers. We also make Deligne's conjecture explicit, thus explaining many evaluations of critical values of L functions of symmetric power moments of Kloosterman sums in terms of determinants of Bessel moments.


Hamiltonian chromatic number of trees. Let G be a simple finite connected graph of order n . The detour distance between two distinct vertices u and v denoted by D(u,v) is the length of a longest uv path in G . A hamiltonian coloring h of a graph G of order n is a mapping h V(G) rightarrow 0,1,2,... such that D(u,v) h(u) h(v) geq n 1 , for every two distinct vertices u and v of G . The span of h , denoted by span(h) , is max h(u) h(v) u, v in V(G) . The hamiltonian chromatic number of G is defined as hc(G) min span(h) with minimum taken over all hamiltonian coloring h of G . In this paper, we give an improved lower bound for the hamiltonian chromatic number of trees and give a necessary and sufficient condition to achieve the improved lower bound. Using this result, we determine the hamiltonian chromatic number of two families of trees.


Digital Quadruplets for Cyber Physical Social Systems based Parallel Driving From Concept to Applications. Digital quadruplets aiming to improve road safety, traffic efficiency, and driving cooperation for future connected automated vehicles are proposed with the enlightenment of ACP based parallel driving. The ACP method denotes Artificial societies, Computational experiments, and Parallel execution modules for cyber physical social systems. Four agents are designed in the framework of digital quadruplets descriptive vehicles, predictive vehicles, prescriptive vehicles, and real vehicles. The three virtual vehicles (descriptive, predictive, and prescriptive) dynamically interact with the real one in order to enhance the safety and performance of the real vehicle. The details of the three virtual vehicles in the digital quadruplets are described. Then, the interactions between the virtual and real vehicles are presented. The experimental results of the digital quadruplets demonstrate the effectiveness of the proposed framework.


Evolutionary Dataset Optimisation learning algorithm quality through evolution. In this paper we propose a novel method for learning how algorithms perform. Classically, algorithms are compared on a finite number of existing (or newly simulated) benchmark datasets based on some fixed metrics. The algorithm(s) with the smallest value of this metric are chosen to be the best performing'. We offer a new approach to flip this paradigm. We instead aim to gain a richer picture of the performance of an algorithm by generating artificial data through genetic evolution, the purpose of which is to create populations of datasets for which a particular algorithm performs well on a given metric. These datasets can be studied so as to learn what attributes lead to a particular progression of a given algorithm. Following a detailed description of the algorithm as well as a brief description of an open source implementation, a case study in clustering is presented. This case study demonstrates the performance and nuances of the method which we call Evolutionary Dataset Optimisation. In this study, a number of known properties about preferable datasets for the clustering algorithms known as (k) means and DBSCAN are realised in the generated datasets.


WLS ENO Remap Superconvergent and Non Oscillatory Weighted Least Squares Data Transfer on Surfaces. Data remap between non matching meshes is a critical step in multiphysics coupling using a partitioned approach. The data fields being transferred often have jumps in function values or derivatives. It is important but very challenging to avoid spurious oscillations (a.k.a. the Gibbs Phenomenon) near discontinuities and at the same time to achieve high order accuracy away from discontinuities. In this work, we introduce a new approach, called WLS ENOR, or Weighted Least Squares based Essentially Non Oscillatory Remap, to address this challenge. Based on the WLS ENO reconstruction technique proposed by Liu and Jiao (J. Comput. Phys. vol 314, pp 749 773, 2016), WLS ENOR differs from WLS ENO and other WENO schemes in that it resolves not only the O(1) oscillations due to C 0 discontinuities, but also the accumulated effect of O(h) oscillations due to C 1 discontinuities. To this end, WLS ENOR introduces a robust detector of discontinuities and a new weighting scheme for WLS ENO near discontinuities. We also optimize the weights at smooth regions to achieve superconvergence. As a result, WLS ENOR is more than fifth order accurate and highly conservative in smooth regions, while being non oscillatory and minimally diffusive near discontinuities. We also compare WLS ENOR with some commonly used methods based on L 2 projection, moving least squares, and radial basis functions.


Iterative polynomial root finding procedure with enhanced accuracy. We devise a simple but remarkably accurate iterative routine for calculating the roots of a polynomial of any degree. We demonstrate that our results have significant improvement in accuracy over those obtained by methods used in popular software packages.


Real time forecasts of the 2019 nCoV epidemic in China from February 5th to February 24th, 2020. The initial cluster of severe pneumonia cases that triggered the 2019 nCoV epidemic was identified in Wuhan, China in December 2019. While early cases of the disease were linked to a wet market, human to human transmission has driven the rapid spread of the virus throughout China. The ongoing outbreak presents a challenge for modelers, as limited data are available on the early growth trajectory, and the epidemiological characteristics of the novel coronavirus are yet to be fully elucidated. We provide timely short term forecasts of the cumulative number of confirmed reported cases in Hubei province, the epicenter of the epidemic, and for the overall trajectory in China, excluding the province of Hubei. We collect daily reported cumulative case data for the 2019 nCoV outbreak for each Chinese province from the National Health Commission of China. Here, we provide 5, 10, and 15 day forecasts for five consecutive days, February 5th through February 9th, with quantified uncertainty based on a generalized logistic growth model, the Richards growth model, and a sub epidemic wave model. Our most recent forecasts reported here based on data up until February 9, 2020, largely agree across the three models presented and suggest an average range of 7,409 7,496 additional cases in Hubei and 1,128 1,929 additional cases in other provinces within the next five days. Models also predict an average total cumulative case count between 37,415 38,028 in Hubei and 11,588 13,499 in other provinces by February 24, 2020. Mean estimates and uncertainty bounds for both Hubei and other provinces have remained relatively stable in the last three reporting dates (February 7th 9th). Our forecasts suggest that the containment strategies implemented in China are successfully reducing transmission and that the epidemic growth has slowed in recent days.


Current Advancements on Autonomous Mission Planning and Management Systems an AUV and UAV perspective. Advances in hardware technology have enabled more integration of sophisticated software, triggering progress in the development and employment of Unmanned Vehicles (UVs), and mitigating restraints for onboard intelligence. As a result, UVs can now take part in more complex mission where continuous transformation in environmental condition calls for a higher level of situational responsiveness. This paper serves as an introduction to UVs mission planning and management systems aiming to highlight some of the recent developments in the field of autonomous underwater and aerial vehicles in addition to stressing some possible future directions and discussing the learned lessons. A comprehensive survey over autonomy assessment of UVs, and different aspects of autonomy such as situation awareness, cognition, and decision making has been provided in this study. The paper separately explains the humanoid and autonomous system's performance and highlights the role and impact of a human in UVs operations.


DICT MLM Improved Multilingual Pre Training using Bilingual Dictionaries. Pre trained multilingual language models such as mBERT have shown immense gains for several natural language processing (NLP) tasks, especially in the zero shot cross lingual setting. Most, if not all, of these pre trained models rely on the masked language modeling (MLM) objective as the key language learning objective. The principle behind these approaches is that predicting the masked words with the help of the surrounding text helps learn potent contextualized representations. Despite the strong representation learning capability enabled by MLM, we demonstrate an inherent limitation of MLM for multilingual representation learning. In particular, by requiring the model to predict the language specific token, the MLM objective disincentivizes learning a language agnostic representation which is a key goal of multilingual pre training. Therefore to encourage better cross lingual representation learning we propose the DICT MLM method. DICT MLM works by incentivizing the model to be able to predict not just the original masked word, but potentially any of its cross lingual synonyms as well. Our empirical analysis on multiple downstream tasks spanning 30 languages, demonstrates the efficacy of the proposed approach and its ability to learn better multilingual representations.


Pareto Optimization for Subset Selection with Dynamic Partition Matroid Constraints. In this study, we consider the subset selection problems with submodular or monotone discrete objective functions under partition matroid constraints where the thresholds are dynamic. We focus on POMC, a simple Pareto optimization approach that has been shown to be effective on such problems. Our analysis departs from singular constraint problems and extends to problems of multiple constraints. We show that previous results of POMC's performance also hold for multiple constraints. Our experimental investigations on random undirected maxcut problems demonstrate POMC's competitiveness against the classical GREEDY algorithm with restart strategy.


Paired domination and 2 distance Paired domination of the flower graph f n times m . Let G (V, E) be a graph without an isolated vertex. A set D subseteq V(G) is a k distance paired domination set of G if D is a k distance dominating set of G and the induced subgraph langle D rangle has a perfect matching. The minimum cardinality of a k distance paired dominating set for graph G is the k distance paired domination number, denoted by gamma p k (G) . In this paper, the k distance paired domination of the flower graph f n times m is discussed. For m,n geq 3 , the exact values for paired domination number and 2 distance paired domination number of flower graph f n times m are determined


Physical Virtual Collaboration Modeling for Intra and Inter Station Metro Ridership Prediction. Due to the widespread applications in real world scenarios, metro ridership prediction is a crucial but challenging task in intelligent transportation systems. However, conventional methods either ignore the topological information of metro systems or directly learn on physical topology, and cannot fully explore the patterns of ridership evolution. To address this problem, we model a metro system as graphs with various topologies and propose a unified Physical Virtual Collaboration Graph Network (PVCGN), which can effectively learn the complex ridership patterns from the tailor designed graphs. Specifically, a physical graph is directly built based on the realistic topology of the studied metro system, while a similarity graph and a correlation graph are built with virtual topologies under the guidance of the inter station passenger flow similarity and correlation. These complementary graphs are incorporated into a Graph Convolution Gated Recurrent Unit (GC GRU) for spatial temporal representation learning. Further, a Fully Connected Gated Recurrent Unit (FC GRU) is also applied to capture the global evolution tendency. Finally, we develop a Seq2Seq model with GC GRU and FC GRU to forecast the future metro ridership sequentially. Extensive experiments on two large scale benchmarks (e.g., Shanghai Metro and Hangzhou Metro) well demonstrate the superiority of our PVCGN for station level metro ridership prediction. Moreover, we apply the proposed PVCGN to address the online origin destination (OD) ridership prediction and the experiment results show the universality of our method. Our code and benchmarks are available at https github.com HCPLab SYSU PVCGN.


Minimum Weight Pairwise Distance Preservers. In this paper, we study the Minimum Weight Pairwise Distance Preservers (MWPDP) problem. Consider a positively weighted undirected directed connected graph G (V, E, c) and a subset P of pairs of vertices, also called demand pairs. A subgraph G' is a distance preserver with respect to P if and only if every pair (u, w) in P satisfies dist G' (u, w) dist G (u, w) . In MWPDP problem, we aim to find the minimum weight subgraph G that is a distance preserver with respect to P . Taking a shortest path between each pair in P gives us a trivial solution with the weight of at most U sum (u,v) in P dist G (u, w) . Subsequently, we ask how much improvement we can make upon U . In other words, we opt to find a distance preserver G that maximizes U c(G ) . Denote this problem as Cost Sharing Pairwise Distance Preservers (CSPDP), which has several applications in the planning and operations of transportation systems. The only known work that can provide a nontrivial solution for CSPDP is that of Chlamt 'a v c et al. (SODA, 2017). This algorithm works for unweighted graphs and guarantees a non zero objective only if the optimal solution is extremely sparse with respect to the trivial solution. We address this issue by proposing an O( E 1 2 epsilon ) approximation algorithm for CSPDP in weighted graphs that runs in O(( P E ) 2.38 (1 epsilon)) time. Moreover, we prove CSPDP is at least as hard as text LABEL COVER max . This implies that CSPDP cannot be approximated within O( E 1 6 epsilon ) factor in polynomial time, unless there is an improvement in the notoriously difficult text LABEL COVER max .


Google street view and deep learning a new ground truthing approach for crop mapping. Ground referencing is essential for supervised crop mapping. However, conventional ground truthing involves extensive field surveys and post processing, which is costly in terms of time and labor. In this study, we applied a convolutional neural network (CNN) model to explore the efficacy of automatic ground truthing via Google street view (GSV) images in two distinct farming regions central Illinois and southern California. We demonstrated the feasibility and reliability of the new ground referencing technique further by performing pixel based crop mapping with vegetation indices as the model input. The results were evaluated using the United States Department of Agriculture (USDA) crop data layer (CDL) products. From 8,514 GSV images, the CNN model screened out 2,645 target crop images. These images were well classified into crop types, including alfalfa, almond, corn, cotton, grape, soybean, and pistachio. The overall GSV image classification accuracy reached 93 in California and 97 in Illinois. We then shifted the image geographic coordinates using fixed empirical coefficients to produce 8,173 crop reference points including 1,764 in Illinois and 6,409 in California. Evaluation of these new reference points with CDL products showed satisfactory coherence, with 94 to 97 agreement. CNN based mapping also captured the general pattern of crop type distributions. The overall differences between CDL products and our mapping results were 4 in California and 5 in Illinois. Thus, using these deep learning and GSV image techniques, we have provided an efficient and cost effective alternative method for ground referencing and crop mapping.


A general non adiabatic quantum instanton approximation. We present a general quantum instanton approach to calculating reaction rates for systems with two electronic states and arbitrary values of the electronic coupling. This new approach, which we call the non adiabatic quantum instanton (NAQI) approximation, reduces to Wolynes theory in the golden rule limit and to a recently proposed projected quantum instanton (PQI) method in the adiabatic limit. As in both of these earlier theories, the NAQI approach is based on making a saddle point approximation to the time integral of a reactive flux autocorrelation function, although with a generalised definition of the projection operator onto the product states. We illustrate the accuracy of the approach by comparison with exact rates for one dimensional scattering problems and discuss its applicability to more complex reactions.


Measuring Tune, Chromaticity and Coupling. This chapter takes a look at the ways tune, chromaticity and coupling can be measured in synchrotrons. After briefly introducing the importance of these parameters for machine operation, a broad overview of the various instrumentation and analysis techniques used in their determination will be given.


SemEval 2020 Task 11 Detection of Propaganda Techniques in News Articles. We present the results and the main findings of SemEval 2020 Task 11 on Detection of Propaganda Techniques in News Articles. The task featured two subtasks. Subtask SI is about Span Identification given a plain text document, spot the specific text fragments containing propaganda. Subtask TC is about Technique Classification given a specific text fragment, in the context of a full document, determine the propaganda technique it uses, choosing from an inventory of 14 possible propaganda techniques. The task attracted a large number of participants 250 teams signed up to participate and 44 made a submission on the test set. In this paper, we present the task, analyze the results, and discuss the system submissions and the methods they used. For both subtasks, the best systems used pre trained Transformers and ensembles.


The role of artificial intelligence in achieving the Sustainable Development Goals. The emergence of artificial intelligence (AI) and its progressively wider impact on many sectors across the society requires an assessment of its effect on sustainable development. Here we analyze published evidence of positive or negative impacts of AI on the achievement of each of the 17 goals and 169 targets of the 2030 Agenda for Sustainable Development. We find that AI can support the achievement of 128 targets across all SDGs, but it may also inhibit 58 targets. Notably, AI enables new technologies that improve efficiency and productivity, but it may also lead to increased inequalities among and within countries, thus hindering the achievement of the 2030 Agenda. The fast development of AI needs to be supported by appropriate policy and regulation. Otherwise, it would lead to gaps in transparency, accountability, safety and ethical standards of AI based technology, which could be detrimental towards the development and sustainable use of AI. Finally, there is a lack of research assessing the medium and long term impacts of AI. It is therefore essential to reinforce the global debate regarding the use of AI and to develop the necessary regulatory insight and oversight for AI based technologies.


On the determination of plane and axial symmetries in linear Elasticity and Piezo electricity. We formulate necessary and sufficient conditions for a unit vector n to generate a plane or axial symmetry of a constitutive tensor. For the elasticity tensor, these conditions consist of two polynomial equations of degree lower than four in the components of n. Compared to Cowin Mehrabadi conditions, this is an improvement, since these equations involve only the normal vector n to the plane symmetry (and no vector perpendicular to n). Similar reduced algebraic conditions are obtained for linear piezo electricity and for totally symmetric tensors up to order 6.


Agile Robot Navigation through Hallucinated Learning and Sober Deployment. Learning from Hallucination (LfH) is a recent machine learning paradigm for autonomous navigation, which uses training data collected in completely safe environments and adds numerous imaginary obstacles to make the environment densely constrained, to learn navigation planners that produce feasible navigation even in highly constrained (more dangerous) spaces. However, LfH requires hallucinating the robot perception during deployment to match with the hallucinated training data, which creates a need for sometimes infeasible prior knowledge and tends to generate very conservative planning. In this work, we propose a new LfH paradigm that does not require runtime hallucination a feature we call "sober deployment" and can therefore adapt to more realistic navigation scenarios. This novel Hallucinated Learning and Sober Deployment (HLSD) paradigm is tested in a benchmark testbed of 300 simulated navigation environments with a wide range of difficulty levels, and in the real world. In most cases, HLSD outperforms both the original LfH method and a classical navigation planner.


Effect of fast electrons on the gain of a direct drive laser fusion target. The results of numerical and theoretical studies of the gain of direct drive inertial confinement fusion (ICF) target, which includes a kinetic description of energy transfer by laser accelerated fast electrons, are presented. The range of initial temperature of fast electrons and fraction of laser energy contained in these particles were chosen based on the results of recent experiments at the National Ignition Facility (NIF).The effect of 'wandering' of fast electrons is taken into account. It is due to a remoteness of the region of fast electron generation from the ablation surface of imploded target. As a result a significant fraction of particles do not fall into the compressed part of target. The wandering' effect leads to decreasing the negative effect of fast electron generation on the target's gain.


Digit frequencies of beta expansions. Let beta 1 be a non integer. First we show that Lebesgue almost every number has a beta expansion of a given frequency if and only if Lebesgue almost every number has infinitely many beta expansions of the same given frequency. Then we deduce that Lebesgue almost every number has infinitely many balanced beta expansions, where an infinite sequence on the finite alphabet 0,1, cdots,m is called balanced if the frequency of the digit k is equal to the frequency of the digit m k for all k in 0,1, cdots,m . Finally we consider variable frequency and prove that for every pseudo golden ratio beta in(1,2) , there exists a constant c c( beta) 0 such that for any p in frac 1 2 c, frac 1 2 c , Lebesgue almost every x has infinitely many beta expansions with frequency of zeros equal to p .


Block Prefix Mechanism for Flow Mobility in PMIPv6 Based Networks. The next generation Internet is deemed to be heterogeneous in nature and mobile devices connected to the Internet are expected to be equipped with different wireless network interfaces. As seamless mobility is important in such networks, handover between different network types, called vertical handover, is an important issue in such networks. While proposing standards like Mobile IPv6 (MIPv6) and Proxy Mobile IPv6 (PMIPv6) for mobility management protocols, one important challenge being addressed by IETF work groups and the research community is flow mobility in multi homed heterogeneous wireless networks. In this paper we propose and analyze a block prefix mechanism for flow mobility in PMIPv6 and conducted extensive analytical and simulation studies to compare the proposed mechanism with existing prefix based mechanisms for flow mobility in PMIPv6 reported in terms of important performance metrics such as handover latency, average hop delay, packet density, signaling cost and packet loss. Both analytical and simulation results demonstrate that the proposed mechanism outperforms the existing flow mobility management procedures using either shared or unique prefixes.


Constacyclic codes of length 4p s over the Galois ring GR(p a,m) . For prime p , GR(p a,m) represents the Galois ring of order p am and characterise p , where a is any positive integer. In this article, we study the Type (1) lambda constacyclic codes of length 4p s over the ring GR(p a,m) , where lambda xi 0 p xi 1 p 2z , xi 0, xi 1 in T(p,m) are nonzero elements and z in GR(p a,m) . In first case, when lambda is a square, we show that any ideal of mathcal R p(a,m, lambda) frac GR(p a,m) x langle x 4p s lambda rangle is the direct sum of the ideals of frac GR(p a,m) x langle x 2p s delta rangle and frac GR(p a,m) x langle x 2p s delta rangle . In second, when lambda is not a square, we show that mathcal R p(a,m, lambda) is a chain ring whose ideals are langle (x 4 alpha) i rangle subseteq mathcal R p(a,m, lambda) , for 0 leq i leq ap s where alpha p s xi 0 . Also, we prove the dual of the above code is langle (x 4 alpha 1 ) ap s i rangle subseteq mathcal R p(a,m, lambda 1 ) and present the necessary and sufficient condition for these codes to be self orthogonal and self dual, respectively. Moreover, the Rosenbloom Tsfasman (RT) distance, Hamming distance and weight distribution of Type (1) lambda constacyclic codes of length 4p s are obtained when lambda is not a square.


Existence and improved regularity for a nonlinear system with collapsing ellipticity. We study a nonlinear system made up of an elliptic equation of blended singular degenerate type and Poisson's equation with a lowly integrable source. We prove the existence of a weak solution in any space dimension and, chiefly, derive an improved mathcal C 1, text log Lip regularity estimate using tangential analysis methods. The system illustrates a sophisticated version of the proverbial thermistor problem and our results are new even in simpler modelling scenarios.


On the Fairness of 'Fake' Data in Legal AI. The economics of smaller budgets and larger case numbers necessitates the use of AI in legal proceedings. We examine the concept of disparate impact and how biases in the training data lead to the search for fairer AI. This paper seeks to begin the discourse on what such an implementation would actually look like with a criticism of pre processing methods in a legal context . We outline how pre processing is used to correct biased data and then examine the legal implications of effectively changing cases in order to achieve a fairer outcome including the black box problem and the slow encroachment on legal precedent. Finally we present recommendations on how to avoid the pitfalls of pre processed data with methods that either modify the classifier or correct the output in the final step.


Precise Lifetime Measurement of the Cesium 5 2D 5 2 State. We measure the lifetime of the cesium 5 2D 5 2 state using a time resolved single photon counting method. We excite atoms in a hot vapor cell via an electric quadrupole transition at a wavelength of 685 , mathrm nm and record the fluorescence of a cascade decay at a wavelength of 852 , mathrm nm . We extract a lifetime of 1353(5) , mathrm ns for the 5 2D 5 2 state, in agreement with a recent theoretical prediction. In particular, the observed lifetime is consistent with the literature values of the polarizabilities of the cesium 6P states. Our measurement contributes to resolving a long standing disagreement between a number of experimental and theoretical results.


Estimates near the boundary for critical SQG. We obtain estimates near the boundary for the critical dissipative SQG equation in bounded domains, with the square root of the Dirichlet Laplacian dissipation. We prove that global regularity up to the boundary holds if and only if a certain quantitative vanishing of the scalar at the boundary is maintained.


Exploring optimal institutional incentives for public cooperation. Prosocial incentive can promote cooperation, but providing incentive is costly. Institutions in human society may prefer to use an incentive strategy which is able to promote cooperation at a reasonable cost. However, thus far few works have explored the optimal institutional incentives which minimize related cost for the benefit of public cooperation. In this work, in combination with optimal control theory we thus formulate two optimal control problems to explore the optimal incentive strategies for institutional reward and punishment respectively. By using the approach of Hamilton Jacobi Bellman equation for well mixed populations, we theoretically obtain the optimal positive and negative incentive strategies with the minimal cumulative cost respectively. Additionally, we provide numerical examples to verify that the obtained optimal incentives allow the dynamical system to reach the desired destination at the lowest cumulative cost in comparison with other given incentive strategies. Furthermore, we find that the optimal punishing strategy is a cheaper way for obtaining an expected cooperation level when it is compared with the optimal rewarding strategy.


Knowledge Adaption for Demand Prediction based on Multi task Memory Neural Network. Accurate demand forecasting of different public transport modes(e.g., buses and light rails) is essential for public service operation.However, the development level of various modes often varies sig nificantly, which makes it hard to predict the demand of the modeswith insufficient knowledge and sparse station distribution (i.e.,station sparse mode). Intuitively, different public transit modes mayexhibit shared demand patterns temporally and spatially in a city.As such, we propose to enhance the demand prediction of station sparse modes with the data from station intensive mode and designaMemory Augmented Multi taskRecurrent Network (MATURE)to derive the transferable demand patterns from each mode andboost the prediction of station sparse modes through adaptingthe relevant patterns from the station intensive mode. Specifically,MATUREcomprises three components 1) a memory augmentedrecurrent network for strengthening the ability to capture the long short term information and storing temporal knowledge of eachtransit mode 2) a knowledge adaption module to adapt the rele vant knowledge from a station intensive source to station sparsesources 3) a multi task learning framework to incorporate all theinformation and forecast the demand of multiple modes jointly.The experimental results on a real world dataset covering four pub lic transport modes demonstrate that our model can promote thedemand forecasting performance for the station sparse modes.


Computing Branching Distances Using Quantitative Games. We lay out a general method for computing branching distances between labeled transition systems. We translate the quantitative games used for defining these distances to other, path building games which are amenable to methods from the theory of quantitative games. We then show for all common types of branching distances how the resulting path building games can be solved. In the end, we achieve a method which can be used to compute all branching distances in the linear time branching time spectrum.


Convergence Analysis of Machine Learning Algorithms for the Numerical Solution of Mean Field Control and Games I The Ergodic Case. We propose two algorithms for the solution of the optimal control of ergodic McKean Vlasov dynamics. Both algorithms are based on approximations of the theoretical solutions by neural networks, the latter being characterized by their architecture and a set of parameters. This allows the use of modern machine learning tools, and efficient implementations of stochastic gradient descent.The first algorithm is based on the idiosyncrasies of the ergodic optimal control problem. We provide a mathematical proof of the convergence of the approximation scheme, and we analyze rigorously the approximation by controlling the different sources of error. The second method is an adaptation of the deep Galerkin method to the system of partial differential equations issued from the optimality condition. We demonstrate the efficiency of these algorithms on several numerical examples, some of them being chosen to show that our algorithms succeed where existing ones failed. We also argue that both methods can easily be applied to problems in dimensions larger than what can be found in the existing literature. Finally, we illustrate the fact that, although the first algorithm is specifically designed for mean field control problems, the second one is more general and can also be applied to the partial differential equation systems arising in the theory of mean field games.


Vertex Sparsification for Edge Connectivity. Graph compression or sparsification is a basic information theoretic and computational question. A major open problem in this research area is whether (1 epsilon) approximate cut preserving vertex sparsifiers with size close to the number of terminals exist. As a step towards this goal, we study a thresholded version of the problem for a given parameter c , find a smaller graph, which we call connectivity c mimicking network, which preserves connectivity among k terminals exactly up to the value of c . We show that connectivity c mimicking networks with O(kc 4) edges exist and can be found in time m(c log n) O(c) . We also give a separate algorithm that constructs such graphs with k cdot O(c) 2c edges in time mc O(c) log O(1) n . These results lead to the first data structures for answering fully dynamic offline c edge connectivity queries for c ge 4 in polylogarithmic time per query, as well as more efficient algorithms for survivable network design on bounded treewidth graphs.


Whole Body Control of a Mobile Manipulator using End to End Reinforcement Learning. Mobile manipulation is usually achieved by sequentially executing base and manipulator movements. This simplification, however, leads to a loss in efficiency and in some cases a reduction of workspace size. Even though different methods have been proposed to solve Whole Body Control (WBC) online, they are either limited by a kinematic model or do not allow for reactive, online obstacle avoidance. In order to overcome these drawbacks, in this work, we propose an end to end Reinforcement Learning (RL) approach to WBC. We compared our learned controller against a state of the art sampling based method in simulation and achieved faster overall mission times. In addition, we validated the learned policy on our mobile manipulator RoyalPanda in challenging narrow corridor environments.


Energy Based In Domain Control and Observer Design for Infinite Dimensional Port Hamiltonian Systems. In this paper, we consider infinite dimensional port Hamiltonian systems with in domain actuation by means of an approach based on Stokes Dirac structures as well as in a framework that exploits an underlying jet bundle structure. In both frameworks, a dynamic controller based on the energy Casimir method is derived in order to stabilise certain equilibrias. Moreover, we propose distributed parameter observers deduced by exploiting damping injection for the observer error. Finally, we compare the approaches by means of an in domain actuated vibrating string and show the equivalence of the control schemes derived in both frameworks.


Verifying Tight Logic Programs with anthem and Vampire. This paper continues the line of research aimed at investigating the relationship between logic programs and first order theories. We extend the definition of program completion to programs with input and output in a subset of the input language of the ASP grounder gringo, study the relationship between stable models and completion in this context, and describe preliminary experiments with the use of two software tools, anthem and vampire, for verifying the correctness of programs with input and output. Proofs of theorems are based on a lemma that relates the semantics of programs studied in this paper to stable models of first order formulas. Under consideration for acceptance in TPLP.


Nervous Excitability dynamics in a multisensory syndrome and its similitude with a normal state. Scaling Laws. In the context of increased number of works published on multisensory and cross modal effects, we review a cortical multisensory syndrome (called central syndrome) associated with a unilateral parieto occipital lesion in a rather unspecific (or multisensory) zone of the cortex. The patients with this syndrome suffered from bilateral and symmetric multisensory disorders dependent on the extent of nervous mass lost and the intensity of the stimulus. They also presented cross modal effects. A key point is the similitude of this syndrome with a normal state, since this syndrome would be the result of a scale reduction in brain excitability. The first qualities lost when the nervous excitation diminishes are the most complex ones, following allometric laws proper of a dynamic system. The inverted perception (visual, tactile, auditive) in this syndrome is compared to other cases of visual inversion reported in the literature. We focus on the capability of improving perception by intensifying the stimulus or by means of another type of stimulus (cross modal), muscular effort being one of the most efficient and least known means. This capability is greater when nervous excitability deficit (lesion) is greater and when the primary stimulus is weaker. Thus, in a normal subject, this capability is much weaker although perceptible for functions with high excitability demand. We also review the proposed scheme of functional cortical gradients whereby the specificity of the cortex is distributed with a continuous variation leading to a brain dynamics model accounting for multisensory or cross modal interactions. Perception data (including cross modal effects) in this syndrome are fitted using Stevens' power law which we relate to the allometric scaling power laws dependent on the active neural mass, which seem to be the laws governing many biological neural networks.


3D Object Detection and Tracking Based on Streaming Data. Recent approaches for 3D object detection have made tremendous progresses due to the development of deep learning. However, previous researches are mostly based on individual frames, leading to limited exploitation of information between frames. In this paper, we attempt to leverage the temporal information in streaming data and explore 3D streaming based object detection as well as tracking. Toward this goal, we set up a dual way network for 3D object detection based on keyframes, and then propagate predictions to non key frames through a motion based interpolation algorithm guided by temporal information. Our framework is not only shown to have significant improvements on object detection compared with frame by frame paradigm, but also proven to produce competitive results on KITTI Object Tracking Benchmark, with 76.68 in MOTA and 81.65 in MOTP respectively.


Archiving and referencing source code with Software Heritage. Software, and software source code in particular, is widely used in modern research. It must be properly archived, referenced, described and cited in order to build a stable and long lasting corpus of scientic knowledge. In this article we show how the Software Heritage universal source code archive provides a means to fully address the first two concerns, by archiving seamlessly all publicly available software source code, and by providing intrinsic persistent identifiers that allow to reference it at various granularities in a way that is at the same time convenient and effective. We call upon the research community to adopt widely this approach.


On slow escaping and non escaping points of quasimeromorphic mappings. We show that for any quasimeromorphic mapping with an essential singularity at infinity, there exist points whose iterates tend to infinity arbitrarily slowly. This extends a result by Nicks for quasiregular mappings, and Rippon and Stallard for transcendental meromorphic functions on the complex plane. We further establish a new result for the growth rate of quasiregular mappings near an essential singularity, and briefly extend some results regarding the bounded orbit set and the bungee set to the quasimeromorphic setting.


Should All Cross Lingual Embeddings Speak English?. Most of recent work in cross lingual word embeddings is severely Anglocentric. The vast majority of lexicon induction evaluation dictionaries are between English and another language, and the English embedding space is selected by default as the hub when learning in a multilingual setting. With this work, however, we challenge these practices. First, we show that the choice of hub language can significantly impact downstream lexicon induction performance. Second, we both expand the current evaluation dictionary collection to include all language pairs using triangulation, and also create new dictionaries for under represented languages. Evaluating established methods over all these language pairs sheds light into their suitability and presents new challenges for the field. Finally, in our analysis we identify general guidelines for strong cross lingual embeddings baselines, based on more than just Anglocentric experiments.


An alternative analysis on the scientific output of Spanish Sociology What can altmetrics tell us?. In recent years, new indicators known as altmetrics have been introduced to measure the impact of scientific activity. These indicators are obtained through the mentions realised from different social media, existing several aggregators of these data that collect several of them in the same database, being Altmetric.com the most popular. However, in spite of the popularization of these metrics, several limitations in their use have been manifested. For this reason, rhe objective of this work is twofold (1) to show the possibilities of altimetric techniques applied to the Spanish social sciences in general and sociology in particular (2) to critically analyse the results to observe the limitations of these indicators (3) to check whether they can really add useful information that can be used to describe a scientific field and (4) to see the reasons why altmetrics cannot be applied in these fields.


Fingering instability of a stretched liquid bridge. When a liquid viscous bridge between two parallel substrates is stretched by accelerating one substrate, its interface recedes in the radial direction. In some cases the interface becomes unstable. Such instability leads to the emergence of a network of fingers. In this study the mechanisms of the fingering are studied experimentally and analysed theoretically. The experimental setup allows a constant acceleration of the movable substrate with up to 180 m s 2 . The phenomena are observed using two high speed video systems. The number of fingers is measured for different liquid viscosities and liquid bridge sizes. A linear stability analysis of the bridge interface takes into account the inertial, viscous and capillary effects in the liquid flow. The theoretically predicted maximum number of fingers, corresponding to a mode with the maximum amplitude, and a threshold for the onset of finger formation are proposed. Both models agree well with the experimental data up to the onset of emerging cavitation bubbles.


Mixed Initiative Level Design with RL Brush. This paper introduces RL Brush, a level editing tool for tile based games designed for mixed initiative co creation. The tool uses reinforcement learning based models to augment manual human level design through the addition of AI generated suggestions. Here, we apply RL Brush to designing levels for the classic puzzle game Sokoban. We put the tool online and tested it in 39 different sessions. The results show that users using the AI suggestions stay around longer and their created levels on average are more playable and more complex than without.


DNA Differentiable Network Accelerator Co Search. Powerful yet complex deep neural networks (DNNs) have fueled a booming demand for efficient DNN solutions to bring DNN powered intelligence into numerous applications. Jointly optimizing the networks and their accelerators are promising in providing optimal performance. However, the great potential of such solutions have yet to be unleashed due to the challenge of simultaneously exploring the vast and entangled, yet different design spaces of the networks and their accelerators. To this end, we propose DNA, a Differentiable Network Accelerator co search framework for automatically searching for matched networks and accelerators to maximize both the task accuracy and acceleration efficiency. Specifically, DNA integrates two enablers (1) a generic design space for DNN accelerators that is applicable to both FPGA and ASIC based DNN accelerators and compatible with DNN frameworks such as PyTorch to enable algorithmic exploration for more efficient DNNs and their accelerators and (2) a joint DNN network and accelerator co search algorithm that enables simultaneously searching for optimal DNN structures and their accelerators' micro architectures and mapping methods to maximize both the task accuracy and acceleration efficiency. Experiments and ablation studies based on FPGA measurements and ASIC synthesis show that the matched networks and accelerators generated by DNA consistently outperform state of the art (SOTA) DNNs and DNN accelerators (e.g., 3.04x better FPS with a 5.46 higher accuracy on ImageNet), while requiring notably reduced search time (up to 1234.3x) over SOTA co exploration methods, when evaluated over ten SOTA baselines on three datasets. All codes will be released upon acceptance.


Mean Force Kinetic Theory a Convergent Kinetic Theory for Weakly and Strongly Coupled Plasmas. A new closure of the BBGKY hierarchy is developed, which results in a convergent kinetic equation that provides a rigorous extension of plasma kinetic theory into the regime of strong Coulomb coupling. The approach is based on a single expansion parameter which enforces that the exact equilibrium limit is maintained at all orders. Because the expansion parameter does not explicitly depend on the range or the strength of the interaction potential, the resulting kinetic theory does not suffer from the typical divergences at short and long length scales encountered when applying the standard kinetic equations to Coulomb interactions. The approach demonstrates that particles effectively interact via the potential of mean force and that the range of this force determines the size of the collision volume. When applied to a plasma, the collision operator is shown to be related to the effective potential theory Baalrud and Daligault, Phys. Rev. Lett 110, 235001 (2013) . The relationship between this and previous kinetic theories is discussed.


Human in the Loop Robot Planning with Non Contextual Bandit Feedback. In this paper, we consider a robot navigation problem in environments populated by humans. The goal is to determine collision free and dynamically feasible trajectories that also maximize human satisfaction. This is because they may drive the robot close to humans that need help with their work or because they may keep the robot away from humans when it can interfere with human sight or work. In practice, human satisfaction is subjective and hard to describe mathematically. As a result, the planning problem we consider in this paper may lack important contextual information. To address this challenge, we propose a semi supervised Bayesian Optimization (BO) method to design globally optimal robot trajectories using non contextual bandit human feedback in the form of complaints or satisfaction ratings that express how satisfactory a trajectory is, without revealing the reason. Since trajectory planning is typically a high dimensional optimization problem in the space of waypoints that define a trajectory, BO may require prohibitively many queries for human feedback to return a good solution. To this end, we use an autoencoder to reduce the high dimensional problem space into a low dimensional latent space, which we update using human feedback. Moreover, we improve the exploration efficiency of BO by biasing the search for new trajectories towards dynamically feasible and collision free trajectories obtained using off the shelf motion planners. We demonstrate the efficiency of our proposed trajectory planning method in a scenario with humans that have diversified and unknown demands.


Global existence and blow up for weakly coupled systems of semilinear thermoelastic plate equations. We derive L p L r estimates away of the conjugate line for linear thermoelastic plate equations. Up to now, the authors think the results for the semilinear problem are not good enough.


Anti diffusive, non oscillatory central difference scheme (adNOC) suitable for highly nonlinear advection dominated problems. Explicit non oscillatory central difference schemes become excessively diffusive when applied to highly nonlinear advection problems where small time steps are necessary to maintain stability. Here, we present a correction to reduce such numerical dissipation for this class of problems. The correction is obtained by selecting the appropriate finite difference approximations for calculating the slopes utilized to reconstruct the solution from the cell averages. The anti diffusive central scheme does not require any knowledge of the eigenstructure and is fully central. The proposed correction is applied to the widely used Nessyahu Tadmor scheme to demonstrate the utility of the correction. The stability of the corrected scheme is discussed and the condition for the scheme to become TVD (total variation diminishing) is presented. The corrected scheme is finally tested with a number of test cases and the results are compared with analytical solutions and published results showing the ability of the corrected scheme to effectively resolve sharp discontinuities.


Towards fully integrated photonic displacement sensors. The field of optical metrology with its high precision position, rotation and wavefront sensors represents the basis for lithography and high resolution microscopy. However, the on chip integration a task highly relevant for future nanotechnological devices necessitates the reduction of the spatial footprint of sensing schemes by the deployment of novel concepts. A promising route towards this goal is predicated on the controllable directional emission of the fundamentally smallest emitters of light, i.e. dipoles, as an indicator. Here we realize an integrated displacement sensor based on the directional emission of Huygens dipoles excited in an individual dipolar antenna. The position of the antenna relative to the excitation field determines its directional coupling into a six way crossing of photonic crystal waveguides. In our experimental study supported by theoretical calculations, we demonstrate the first prototype of an integrated displacement sensor with a standard deviation of the position accuracy below lambda 300 at room temperature and ambient conditions.


Convex Symmetrization for Anisotropic Elliptic Equations with a lower order term. We use "generalized" version of total variation, coarea formulas, isoperimetric inequalities to obtain sharp estimates for solutions (and for their gradients) to anisotropic elliptic equations with a lower order term, comparing them with the solutions to the convex symmetrized ones.


Neo A Learned Query Optimizer. Query optimization is one of the most challenging problems in database systems. Despite the progress made over the past decades, query optimizers remain extremely complex components that require a great deal of hand tuning for specific workloads and datasets. Motivated by this shortcoming and inspired by recent advances in applying machine learning to data management challenges, we introduce Neo (Neural Optimizer), a novel learning based query optimizer that relies on deep neural networks to generate query executions plans. Neo bootstraps its query optimization model from existing optimizers and continues to learn from incoming queries, building upon its successes and learning from its failures. Furthermore, Neo naturally adapts to underlying data patterns and is robust to estimation errors. Experimental results demonstrate that Neo, even when bootstrapped from a simple optimizer like PostgreSQL, can learn a model that offers similar performance to state of the art commercial optimizers, and in some cases even surpass them.


Open Domain Dialogue Generation with Latent Images. We consider grounding open domain dialogues with images. Existing work assumes that both an image and a textual context are available, but image grounded dialogues by nature are more difficult to obtain than textual dialogues. Thus, we propose learning a response generation model with both image grounded dialogues and textual dialogues by assuming that the visual scene information at the time of a conversation can be represented by an image, and trying to recover the latent images of the textual dialogues through text to image generation techniques. The likelihood of the two types of dialogues is then formulated by a response generator and an image reconstructor that are learned within a conditional variational auto encoding framework. Empirical studies are conducted in both image grounded conversation and text based conversation. In the first scenario, image grounded dialogues, especially under a low resource setting, can be effectively augmented by textual dialogues with latent images while in the second scenario, latent images can enrich the content of responses and at the same time keep them relevant to contexts.


Box dimensions of ( times m, times n) invariant sets. We study the box dimensions of sets invariant under the toral endomorphism (x, y) mapsto (m x text mod 1, , n y text mod 1) for integers n m geq 2 . The basic examples of such sets are Bedford McMullen carpets and, more generally, invariant sets are modelled by subshifts on the associated symbolic space. When this subshift is topologically mixing and sofic the situation is well understood by results of Kenyon and Peres. Moreover, other work of Kenyon and Peres shows that the Hausdorff dimension is generally given by a variational principle. Therefore, our work is focused on the box dimensions in the case where the underlying shift is not topologically mixing and sofic. We establish straightforward upper and lower bounds for the box dimensions in terms of entropy which hold for all subshifts and show that the upper bound is the correct value for coded subshifts whose entropy can be realised by words which can be freely concatenated, which includes many well known families such as beta shifts, (generalised) S gap shifts, and transitive sofic shifts. We also provide examples of transitive coded subshifts where the general upper bound fails and the box dimension is actually given by the general lower bound. In the non transitive sofic setting, we provide a formula for the box dimensions which is often intermediate between the general lower and upper bounds.


Foodbot A Goal Oriented Just in Time Healthy Eating Interventions Chatbot. Recent research has identified a few design flaws in popular mobile health (mHealth) applications for promoting healthy eating lifestyle, such as mobile food journals. These include tediousness of manual food logging, inadequate food database coverage, and a lack of healthy dietary goal setting. To address these issues, we present Foodbot, a chatbot based mHealth application for goal oriented just in time (JIT) healthy eating interventions. Powered by a large scale food knowledge graph, Foodbot utilizes automatic speech recognition and mobile messaging interface to record food intake. Moreover, Foodbot allows users to set goals and guides their behavior toward the goals via JIT notification prompts, interactive dialogues, and personalized recommendation. Altogether, the Foodbot framework demonstrates the use of open source data, tools, and platforms to build a practical mHealth solution for supporting healthy eating lifestyle in the general population.


A Levine Tristram invariant for knotted tori. Echeverria recently introduced an invariant for a smoothly embedded torus in a homology S 1 times S 3 , using gauge theory for singular connections. We define a new topological invariant of such an embedded torus, analogous to the classical Levine Tristram invariant of a knot. In the 3 dimensional situation, a count of singular connections on a knot complement reproduces the Levine Tristram invariant. We compute the invariant for a number of examples embedded tori, and show that our topological invariant is the same as what one might expect from Echeverria's invariant. Langte Ma has subsequently shown this in general.


Fractality of metal pad instability threshold in rectangular cells. We analyse linear stability of interfacial waves in an idealised model of an aluminium reduction cell consisting of two stably stratified liquid layers which carry a vertical electric current in a collinear external magnetic field. If the product of electric current and magnetic field exceeds a certain critical threshold depending on the cell design, the electromagnetic coupling of gravity wave modes can give rise to a self amplifying rotating interfacial wave which is known as the metal pad instability. Using the eigenvalue perturbation method, we show that, in the inviscid limit, rectangular cells of horizontal aspect ratios alpha sqrt m n , where m and n are any two odd numbers, can be destabilised by an infinitesimally weak electromagnetic interaction while cells of other aspect ratios have finite instability thresholds. This fractal distribution of critical aspect ratios, which form an absolutely discontinuous dense set of points interspersed with aspect ratios with non zero stability thresholds, is confirmed by accurate numerical solution of the linear stability problem. Although the fractality vanishes when viscous friction is taken into account, the instability threshold is smoothed out gradually and its principal structure, which is dominated by the major critical aspect ratios corresponding to moderate values of m and n , is well preserved up to relatively large dimensionless viscous friction coefficients gamma sim 0.1 . With a small viscous friction, the most stable are cells with alpha 2 approx2.13 which have the highest stability threshold corresponding to the electromagnetic interaction parameter beta approx 4.7 .


Reduction Theorem for Secrecy over Linear Network Code for Active Attacks. We discuss the effect of sequential error injection on information leakage under a network code. We formulate a network code for the single transmission setting and the multiple transmission setting. Under this formulation, we show that the eavesdropper cannot improve the power of eavesdropping by sequential error injection when the operations in the network are linear operations. We demonstrate the usefulness of this reduction theorem by applying a concrete example of network.


Adapting Meta Knowledge Graph Information for Multi Hop Reasoning over Few Shot Relations. Multi hop knowledge graph (KG) reasoning is an effective and explainable method for predicting the target entity via reasoning paths in query answering (QA) task. Most previous methods assume that every relation in KGs has enough training triples, regardless of those few shot relations which cannot provide sufficient triples for training robust reasoning models. In fact, the performance of existing multi hop reasoning methods drops significantly on few shot relations. In this paper, we propose a meta based multi hop reasoning method (Meta KGR), which adopts meta learning to learn effective meta parameters from high frequency relations that could quickly adapt to few shot relations. We evaluate Meta KGR on two public datasets sampled from Freebase and NELL, and the experimental results show that Meta KGR outperforms the current state of the art methods in few shot scenarios. Our code and datasets can be obtained from https github.com THU KEG MetaKGR.


Tractable Combinations of Theories via Sampling. For a first order theory T , the Constraint Satisfaction Problem of T is the computational problem of deciding whether a given conjunction of atomic formulas is satisfiable in some model of T . In this article we develop sufficient conditions for polynomial time tractability of the constraint satisfaction problem for the union of two theories with disjoint relational signatures. To this end, we introduce the concept of sampling for theories and show that samplings can be applied to examples which are not covered by the seminal result of Nelson and Oppen.


Local geometry of Jordan classes in semisimple algebraic groups. We prove that the closure of every Jordan class J in a semisimple simply connected complex group G at a point x with Jordan decomposition x rv is smoothly equivalent to the union of closures of those Jordan classes in the centraliser of r that are contained in J and contain x in their closure. For x unipotent we also show that the closure of J around x is smoothly equivalent to the closure of a Jordan class in Lie(G) around exp 1 x. For G simple we apply these results in order to determine a (non exhaustive) list of smooth sheets in G, the complete list of regular Jordan classes whose closure is normal and Cohen Macaulay, and to prove that all sheets and Lusztig's strata in SL(n,C) are smooth.


Learning from My Partner's Actions Roles in Decentralized Robot Teams. When teams of robots collaborate to complete a task, communication is often necessary. Like humans, robot teammates should implicitly communicate through their actions but interpreting our partner's actions is typically difficult, since a given action may have many different underlying reasons. Here we propose an alternate approach instead of not being able to infer whether an action is due to exploration, exploitation, or communication, we define separate roles for each agent. Because each role defines a distinct reason for acting (e.g., only exploit, only communicate), teammates now correctly interpret the meaning behind their partner's actions. Our results suggest that leveraging and alternating roles leads to performance comparable to teams that explicitly exchange messages. You can find more images and videos of our experimental setups at http ai.stanford.edu blog learning from partners .


On Pseudo Spectral Factorization over the Complex Numbers and Quaternions. This paper is a continuation of the research of our previous work and considers quaternionic generalized Carath 'eodory functions and the related family of generalized positive functions. It is addressed to a wide audience which includes researchers in complex and hypercomplex analysis, in the theory of linear systems, but also electric engineers. For this reason it includes some results on generalized Carath 'eodory functions and their factorization in the classic complex case which might be of independent interest. An important new result is a pseudo spectral factorization and we also discuss some interpolation problems in the class of quaternionic generalized positive functions.


The Tutte Polynomial of Complex Reflection Groups. This article computes the Tutte polynomial of the hyperplane arrangements associated to the complex reflection groups. The calculations are based on both formulas of De Concini and Procesi for Tutte polynomial and the normaliser of parabolic subgroups in complex reflection groups determined by Krishnasamy and Taylor.


Exponential mixing under controllability conditions for SDEs driven by a degenerate Poisson noise. We prove existence and uniqueness of the invariant measure and exponential mixing in the total variation norm for a class of stochastic differential equations driven by degenerate compound Poisson processes. In addition to mild assumptions on the distribution of the jumps for the driving process, the hypotheses for our main result are that the corresponding control system is dissipative, approximately controllable and solidly controllable. The solid controllability assumption is weaker than the well known parabolic H "ormander condition and is only required from a single point to which the system is approximately controllable. Our analysis applies to Galerkin projections of stochastically forced parabolic partial differential equations with asymptotically polynomial nonlinearities and to networks of quasi harmonic oscillators connected to different Poissonian baths.


MicroNets Neural Network Architectures for Deploying TinyML Applications on Commodity Microcontrollers. Executing machine learning workloads locally on resource constrained microcontrollers (MCUs) promises to drastically expand the application space of IoT. However, so called TinyML presents severe technical challenges, as deep neural network inference demands a large compute and memory budget. To address this challenge, neural architecture search (NAS) promises to help design accurate ML models that meet the tight MCU memory, latency and energy constraints. A key component of NAS algorithms is their latency energy model, i.e., the mapping from a given neural network architecture to its inference latency energy on an MCU. In this paper, we observe an intriguing property of NAS search spaces for MCU model design on average, model latency varies linearly with model operation (op) count under a uniform prior over models in the search space. Exploiting this insight, we employ differentiable NAS (DNAS) to search for models with low memory usage and low op count, where op count is treated as a viable proxy to latency. Experimental results validate our methodology, yielding our MicroNet models, which we deploy on MCUs using Tensorflow Lite Micro, a standard open source NN inference runtime widely used in the TinyML community. MicroNets demonstrate state of the art results for all three TinyMLperf industry standard benchmark tasks visual wake words, audio keyword spotting, and anomaly detection. Models and training scripts can be found at github.com ARM software ML zoo.


Complex K theory of mirror pairs. We formulate some conjectures about the K theory of symplectic manifolds and their Fukaya categories, and prove some of them in very special cases.


Addressing the eye fixation problem in gaze tracking for human computer interface using the Vestibulo ocular Reflex. A custom head mounted system to track smooth eye movements for control of a mouse cursor is implemented and evaluated. The system comprises a head mounted infrared camera, an infrared light source, and a computer. Software based image processing techniques, implemented in Microsoft Visual Studio, OpenCV, and Pupil, detect the pupil position and direction of pupil movement in near real time. The identified direction is used to determine the desired positioning of the cursor, and the cursor moves towards the target. Two users participated in three tests to quantify the differences between incremental tracking of smooth eye movement resulting from the Vestibulo ocular Reflex versus step change tracking of saccadic eye movement. Tracking smooth eye movements was four times more accurate than tracking saccadic eye movements, with an average position resolution of 0.80 cm away from the target. In contrast, tracking saccadic eye movements was measured with an average position resolution of 3.21 cm. Using the incremental tracking of smooth eye movements, the user was able to place the cursor within a target as small as a 9 x 9 pixel square 90 of the time. However, when using the step change tracking of saccadic eye movements, the user was unable to position the cursor within the 9 x 9 pixel target. The average time for the incremental tracking of smooth eye movements to track a target was 6.45 s, whereas for the step change tracking of saccadic eye movements, it was 2.61 s.


Numerical Energy Dissipation for Time Fractional Phase Field Equations. The numerical integration of phase field equations is a delicate task which needs to recover at the discrete level intrinsic properties of the solution such as energy dissipation and maximum principle. Although the theory of energy dissipation for classical phase field models is well established, the corresponding theory for time fractional phase field models is still incomplete. In this article, we study certain nonlocal in time energies using the first order stabilized semi implicit L1 scheme. In particular, we will establish a discrete fractional energy law and a discrete weighted energy law. The extension for a (2 alpha ) order L1 scalar auxiliary variable scheme will be investigated. Moreover, we demonstrate that the energy bound is preserved for the L1 schemes with nonuniform time steps. Several numerical experiments are carried to verify our theoretical analysis.


Using Player's Body Orientation to Model Pass Feasibility in Soccer. Given a monocular video of a soccer match, this paper presents a computational model to estimate the most feasible pass at any given time. The method leverages offensive player's orientation (plus their location) and opponents' spatial configuration to compute the feasibility of pass events within players of the same team. Orientation data is gathered from body pose estimations that are properly projected onto the 2D game field moreover, a geometrical solution is provided, through the definition of a feasibility measure, to determine which players are better oriented towards each other. Once analyzed more than 6000 pass events, results show that, by including orientation as a feasibility measure, a robust computational model can be built, reaching more than 0.7 Top 3 accuracy. Finally, the combination of the orientation feasibility measure with the recently introduced Expected Possession Value metric is studied promising results are obtained, thus showing that existing models can be refined by using orientation as a key feature. These models could help both coaches and analysts to have a better understanding of the game and to improve the players' decision making process.


On the Pilot Contamination Attack in Multi Cell Multiuser Massive MIMO Networks. In this paper, we analyze pilot contamination (PC) attacks on a multi cell massive multiple input multiple output (MIMO) network with correlated pilots. We obtain correlated pilots using a user capacity achieving pilot sequence design. This design relies on an algorithm which designs correlated pilot sequences based on signal to interference plus noise ratio (SINR) requirements for all the legitimate users. The pilot design is capable of achieving the SINR requirements for all users even in the presence of PC. However, this design has some intrinsic limitations and vulnerabilities, such as a known pilot sequence and the non zero cross correlation among different pilot sequences. We reveal that such vulnerabilities may be exploited by an active attacker to increase PC in the network. Motivated by this, we analyze the correlated pilot design for vulnerabilities that can be exploited by an active attacker. Based on this analysis, we develop an effective active attack strategy in the massive MIMO network with correlated pilot sequences. Our examinations reveal that the user capacity region of the network is significantly reduced in the presence of the active attack. Importantly, the SINR requirements for the worst affected users may not be satisfied even with an infinite number of antennas at the base station.


As Good as New. How to Successfully Recycle English GPT 2 to Make Models for Other Languages. Large generative language models have been very successful for English, but other languages lag behind, in part due to data and computational limitations. We propose a method that may overcome these problems by adapting existing pre trained models to new languages. Specifically, we describe the adaptation of English GPT 2 to Italian and Dutch by retraining lexical embeddings without tuning the Transformer layers. As a result, we obtain lexical embeddings for Italian and Dutch that are aligned with the original English lexical embeddings. Additionally, we scale up complexity by transforming relearned lexical embeddings of GPT 2 small to the GPT 2 medium embedding space. This method minimises the amount of training and prevents losing information during adaptation that was learned by GPT 2. English GPT 2 models with relearned lexical embeddings can generate realistic sentences in Italian and Dutch. Though on average these sentences are still identifiable as artificial by humans, they are assessed on par with sentences generated by a GPT 2 model fully trained from scratch.


Temporal Coding in Spiking Neural Networks with Alpha Synaptic Function Learning with Backpropagation. The timing of individual neuronal spikes is essential for biological brains to make fast responses to sensory stimuli. However, conventional artificial neural networks lack the intrinsic temporal coding ability present in biological networks. We propose a spiking neural network model that encodes information in the relative timing of individual neuron spikes. In classification tasks, the output of the network is indicated by the first neuron to spike in the output layer. This temporal coding scheme allows the supervised training of the network with backpropagation, using locally exact derivatives of the postsynaptic spike times with respect to presynaptic spike times. The network operates using a biologically plausible alpha synaptic transfer function. Additionally, we use trainable synchronisation pulses that provide bias, add flexibility during training and exploit the decay part of the alpha function. We show that such networks can be trained successfully on noisy Boolean logic tasks and on the MNIST dataset encoded in time. The results show that the spiking neural network outperforms comparable spiking models on MNIST and achieves similar quality to fully connected conventional networks with the same architecture. We also find that the spiking network spontaneously discovers two operating regimes, mirroring the accuracy speed trade off observed in human decision making a slow regime, where a decision is taken after all hidden neurons have spiked and the accuracy is very high, and a fast regime, where a decision is taken very fast but the accuracy is lower. These results demonstrate the computational power of spiking networks with biological characteristics that encode information in the timing of individual neurons. By studying temporal coding in spiking networks, we aim to create building blocks towards energy efficient and more complex biologically inspired neural architectures.


On the Galois symmetries for the character table of an integral fusion category. In this paper we show that integral fusion categories with rational structure constants admit a natural group of symmetries given by the Galois group of their character tables. We also generalize a well known result of Burnside from representation theory of finite groups. More precisely, we show that any row corresponding to a non invertible object in the character table of a weakly integral fusion category contains a zero entry.


On Policy Robot Imitation Learning from a Converging Supervisor. Existing on policy imitation learning algorithms, such as DAgger, assume access to a fixed supervisor. However, there are many settings where the supervisor may evolve during policy learning, such as a human performing a novel task or an improving algorithmic controller. We formalize imitation learning from a "converging supervisor" and provide sublinear static and dynamic regret guarantees against the best policy in hindsight with labels from the converged supervisor, even when labels during learning are only from intermediate supervisors. We then show that this framework is closely connected to a class of reinforcement learning (RL) algorithms known as dual policy iteration (DPI), which alternate between training a reactive learner with imitation learning and a model based supervisor with data from the learner. Experiments suggest that when this framework is applied with the state of the art deep model based RL algorithm PETS as an improving supervisor, it outperforms deep RL baselines on continuous control tasks and provides up to an 80 fold speedup in policy evaluation.


Hydrodynamics for the partial exclusion process in random environment. In this paper, we introduce a random environment for the exclusion process in mathbb Z d obtained by assigning a maximal occupancy to each site. This maximal occupancy is allowed to randomly vary among sites, and partial exclusion occurs. Under the assumption of ergodicity under translation and uniform ellipticity of the environment, we derive a quenched hydrodynamic limit in path space by strengthening the mild solution approach initiated in 39 and 21 . To this purpose, we prove, employing the technology developed for the random conductance model, a homogenization result in the form of an arbitrary starting point quenched invariance principle for a single particle in the same environment, which is a result of independent interest. The self duality property of the partial exclusion process allows us to transfer this homogenization result to the particle system and, then, apply the tightness criterion in 40 .


Differentially Private Deep Learning with Smooth Sensitivity. Ensuring the privacy of sensitive data used to train modern machine learning models is of paramount importance in many areas of practice. One approach to study these concerns is through the lens of differential privacy. In this framework, privacy guarantees are generally obtained by perturbing models in such a way that specifics of data used to train the model are made ambiguous. A particular instance of this approach is through a "teacher student" framework, wherein the teacher, who owns the sensitive data, provides the student with useful, but noisy, information, hopefully allowing the student model to perform well on a given task without access to particular features of the sensitive data. Because stronger privacy guarantees generally involve more significant perturbation on the part of the teacher, deploying existing frameworks fundamentally involves a trade off between student's performance and privacy guarantee. One of the most important techniques used in previous works involves an ensemble of teacher models, which return information to a student based on a noisy voting procedure. In this work, we propose a novel voting mechanism with smooth sensitivity, which we call Immutable Noisy ArgMax, that, under certain conditions, can bear very large random noising from the teacher without affecting the useful information transferred to the student. Compared with previous work, our approach improves over the state of the art methods on all measures, and scale to larger tasks with both better performance and stronger privacy ( epsilon approx 0 ). This new proposed framework can be applied with any machine learning models, and provides an appealing solution for tasks that requires training on a large amount of data.


Disentangled Information Bottleneck. The information bottleneck (IB) method is a technique for extracting information that is relevant for predicting the target random variable from the source random variable, which is typically implemented by optimizing the IB Lagrangian that balances the compression and prediction terms. However, the IB Lagrangian is hard to optimize, and multiple trials for tuning values of Lagrangian multiplier are required. Moreover, we show that the prediction performance strictly decreases as the compression gets stronger during optimizing the IB Lagrangian. In this paper, we implement the IB method from the perspective of supervised disentangling. Specifically, we introduce Disentangled Information Bottleneck (DisenIB) that is consistent on compressing source maximally without target prediction performance loss (maximum compression). Theoretical and experimental results demonstrate that our method is consistent on maximum compression, and performs well in terms of generalization, robustness to adversarial attack, out of distribution detection, and supervised disentangling.


Mixed multiplicities of graded families of ideals. We show the existence (and define) the mixed multiplicities of arbitrary graded families of ideals under mild assumptions. In particular, our methods and results are valid for the case of arbitrary mathfrak m primary graded families. Furthermore, we provide a far reaching "Volume Multiplicity formula" for the mixed multiplicities of graded families of ideals.


Proper proximality in non positive curvature. Proper proximality of a countable group is a notion that was introduced by Boutonnet, Ioana and Peterson as a tool to study rigidity properties of certain von Neumann algebras associated to groups or ergodic group actions. In the present paper, we establish the proper proximality of many groups acting on nonpositively curved spaces. First, these include many countable groups G acting properly nonelementarily by isometries on a proper mathrm CAT (0) space X . More precisely, proper proximality holds in the presence of rank one isometries or when X is a locally thick affine building with a minimal G action. As a consequence of Rank Rigidity, we derive the proper proximality of all countable nonelementary mathrm CAT (0) cubical groups, and of all countable groups acting properly cocompactly nonelementarily by isometries on either a Hadamard manifold with no Euclidean factor, or on a 2 dimensional piecewise Euclidean mathrm CAT (0) simplicial complex. Second, we establish the proper proximality of many hierarchically hyperbolic groups. These include the mapping class groups of connected orientable finite type boundaryless surfaces (apart from a few low complexity cases), thus answering a question raised by Boutonnet, Ioana and Peterson. We also prove the proper proximality of all subgroups acting nonelementarily on the curve graph. In view of work of Boutonnet, Ioana and Peterson, our results have applications to structural and rigidity results for von Neumann algebras associated to all the above groups and their ergodic actions.


Online Test Vector Insertion A Concurrent Built In Self Testing (CBIST) Approach for Asynchronous Logic. Complementing concurrent checking with online testing is crucial for preventing fault accumulation in fault tolerant systems with long mission times. While implementing a non intrusive online test is cumbersome in a synchronous environment, this task becomes even more challenging in asynchronous designs. The latter receive increasing attention, mainly due to their elastic timing behaviour however the issues related with their testing remain a key obstacle for their wide adoption. In this paper we present a novel approach for testing of asynchronous circuits that leverages the redundancy present in the conventional 4 phase protocol for implementing a fully transparent and fully concurrent test procedure. The key idea is to use the protocol's unproductive NULL phase for processing test vectors, thus effectively interleaving the incoming 4 phase data stream with a test data stream in a 2 phase fashion. We present implementation templates for the fundamental building blocks required and give a proof of concept by an example application that also serves as a platform for evaluating the overheads of our solution which turn out to be moderate.