How Do Space Time Digital Metasurfaces Serve to Perform Analog Signal Processing?. In the quest to realize analog signal processing using sub wavelength metasurfaces, in this paper, we demonstrate the first experimental demonstration of programmable time modulated metasurface processors based on the key properties of spatial Fourier transformation. Exploiting space time coding strategy enables local, independent, and real time engineering of not only amplitude but also phase profile of the contributing reflective digital meta atoms at both central and harmonic frequencies. Several illustrative examples are demonstrated to show that the proposed multifunctional calculus metasurface is capable of implementing a large class of useful mathematical operators, including 1st and 2nd order spatial differentiation, 1st order spatial integration, and integro differential equation solving accompanied by frequency conversions. Unlike the recent proposals, the designed time modulated signal processor effectively operates for input signals containing wide spatial frequency bandwidths with an acceptable gain level. Proof of principle simulations are also reported along with the successful realization of image processing functions like edge detection. This time varying wave based computing system can set the direction for future developments of programmable metasurfaces with highly promising applications in ultrafast equation solving, real time and continuous signal processing, and imaging.


Infinite order perturbative treatment for quantum evolution with exchange. Many important applications in biochemistry, materials science, and catalysis sit squarely at the interface between quantum and statistical mechanics coherent evolution is interrupted by discrete events, such as binding of a substrate or isomerization. Theoretical models for such dynamics usually truncate the incorporation of these events to the linear response limit, thus requiring small step sizes. Here, we completely re assess the foundations of chemical exchange models and redesign a master equation treatment accurate to all orders in perturbation theory. The net result is an astonishingly simple correction to the traditional picture which vastly improves convergence with no increased computational cost. We demonstrate that this approach accurately and efficiently extracts physical parameters from highly complex experimental data, such as coherent hyperpolarization dynamics in magnetic resonance, and is applicable to a wide range of other systems.


Non optimality of conical parts for Newton's problem of minimal resistance in the class of convex bodies and the limiting case of infinite height. We consider Newton's problem of minimal resistance, in particular we address the problem arising in the limit if the height goes to infinity. We establish existence of solutions and lack radial symmetry of solutions. Moreover, we show that certain conical parts contained in the boundary of a convex body inhibit the optimality in the classical Newton's problem with finite height. This result is applied to certain bodies considered in the literature, which are conjectured to be optimal for the classical Newton's problem, and we show that they are not.


Exact solutions for geodesic distance on treelike models with some constraints. Geodesic distance, commonly called shortest path length, has proved useful in a great variety of disciplines. It has been playing a significant role in search engine at present and so attracted considerable attention at the last few decades, particularly, almost all data structures and corresponding algorithms suitable to searching information generated based on treelike models. Hence, we, in this paper, study in detail geodesic distance on some treelike models which can be generated by three different types of operations, including first order subdivision, ( 1,m ) star fractal operation and m vertex operation. Compared to the most best used approaches for calculating geodesic distance on graphs, for instance, enumeration method and matrix multiplication, we take useful advantage of a novel method consisting in spirit of the concept of vertex cover in the language of graph theory and mapping. For each kind of treelike model addressed here, we certainly obtain an exact solution for its geodesic distance using our method. With the help of computer simulations, we confirm that the analytical results are in perfect agreement with simulations. In addition, we also report some intriguing structure properties on treelike models of two types among them. The one obeys exponential degree distribution seen in many complex networks, by contrast, the other possesses all but leaf vertices with identical degree and shows more homogeneous topological structure than the former. Besides that, the both have, in some sense, self similar feature but instead the latter exhibits fractal property.


A Note on Conditional Expectation for Markov Kernels. A known property of conditional expectation is extended to the framework of Markov kernels. Its meaning in terms of densities is provided. Some examples located in the field of clinical diagnosis are presented to delimit the main result of the paper.


ALdataset a benchmark for pool based active learning. Active learning (AL) is a subfield of machine learning (ML) in which a learning algorithm could achieve good accuracy with less training samples by interactively querying a user oracle to label new data points. Pool based AL is well motivated in many ML tasks, where unlabeled data is abundant, but their labels are hard to obtain. Although many pool based AL methods have been developed, the lack of a comparative benchmarking and integration of techniques makes it difficult to 1) determine the current state of the art technique 2) evaluate the relative benefit of new methods for various properties of the dataset 3) understand what specific problems merit greater attention and 4) measure the progress of the field over time. To conduct easier comparative evaluation among AL methods, we present a benchmark task for pool based active learning, which consists of benchmarking datasets and quantitative metrics that summarize overall performance. We present experiment results for various active learning strategies, both recently proposed and classic highly cited methods, and draw insights from the results.


Zero one laws for eventually always hitting points in in rapidly mixing systems. In this work we study the set of eventually always hitting points in shrinking target systems. These are points whose long orbit segments eventually hit the corresponding shrinking targets for all future times. We focus our attention on systems where translates of targets exhibit near perfect mutual independence, such as Bernoulli schemes and the Gauss map. For such systems, we present tight conditions on the shrinking rate of the targets so that the set of eventually always hitting points is a null set (or co null set respectively).


Generating Training Data for Denoising Real RGB Images via Camera Pipeline Simulation. Image reconstruction techniques such as denoising often need to be applied to the RGB output of cameras and cellphones. Unfortunately, the commonly used additive white noise (AWGN) models do not accurately reproduce the noise and the degradation encountered on these inputs. This is particularly important for learning based techniques, because the mismatch between training and real world data will hurt their generalization. This paper aims to accurately simulate the degradation and noise transformation performed by camera pipelines. This allows us to generate realistic degradation in RGB images that can be used to train machine learning models. We use our simulation to study the importance of noise modeling for learning based denoising. Our study shows that a realistic noise model is required for learning to denoise real JPEG images. A neural network trained on realistic noise outperforms the one trained with AWGN by 3 dB. An ablation study of our pipeline shows that simulating denoising and demosaicking is important to this improvement and that realistic demosaicking algorithms, which have been rarely considered, is needed. We believe this simulation will also be useful for other image reconstruction tasks, and we will distribute our code publicly.


Spherical coordinates transformation pre processing in Deep Convolution Neural Networks for brain tumor segmentation in MRI. Magnetic Resonance Imaging (MRI) is used in everyday clinical practice to assess brain tumors. Several automatic or semi automatic segmentation algorithms have been introduced to segment brain tumors and achieve an expert like accuracy. Deep Convolutional Neural Networks (DCNN) have recently shown very promising results, however, DCNN models are still far from achieving clinically meaningful results mainly because of the lack of generalization of the models. DCNN models need large annotated datasets to achieve good performance. Models are often optimized on the domain dataset on which they have been trained, and then fail the task when the same model is applied to different datasets from different institutions. One of the reasons is due to the lack of data standardization to adjust for different models and MR machines. In this work, a 3D Spherical coordinates transform during the pre processing phase has been hypothesized to improve DCNN models' accuracy and to allow more generalizable results even when the model is trained on small and heterogeneous datasets and translated into different domains. Indeed, the spherical coordinate system avoids several standardization issues since it works independently of resolution and imaging settings. Both Cartesian and spherical volumes were evaluated in two DCNN models with the same network structure using the BraTS 2019 dataset. The model trained on spherical transform pre processed inputs resulted in superior performance over the Cartesian input trained model on predicting gliomas' segmentation on tumor core and enhancing tumor classes (increase of 0.011 and 0.014 respectively on the validation dataset), achieving a further improvement in accuracy by merging the two models together. Furthermore, the spherical transform is not resolution dependent and achieve same results on different input resolution.


Alternate Distributed Beamforming for Buffer Aided Multi Antenna Relay Systems. In this paper, link selection is investigated in half duplex (HD) dual hop cooperative systems with multiple antennas at the relays. Alternate distributed beamforming (ADB) scheme is revisited for buffer aided multi antenna relay systems, in which the relays are divided into two groups, with one group receiving the same information broadcast from the source and the other group transmitting the common messages to the destination via distributed beamforming in each time slot. It is worth noting that the relays used for reception and transmission are determined without the need of instantaneous channel state information (CSI). Theoretical analysis of the achievable throughput of the proposed scheme in Rayleigh fading is provided and the approximate closed form expressions are derived. Simulation results are given to verify the theoretical analysis. Through numerical results, it is shown that compared with existing link selection policies, the fixed scheduling ADB scheme achieves a significant improvement in achievable throughput. It is also shown that for the ADB scheme, the throughput performance of increasing the number of antennas equipped at each relay is better than that of increasing the number of relays equipped with a single antenna when the total number of antennas at the relays is fixed.


Range of Random Walks on Free Products. In this article we consider transient random walks on free products of graphs. We prove that the asymptotic range of these random walks exists and is strictly positive. In particular, we show that the range varies real analytically in terms of probability measures of constant support. Moreover, we prove a central limit theorem associated with the range of the random walk.


Near Optimal Entrywise Sampling of Numerically Sparse Matrices. Many real world data sets are sparse or almost sparse. One method to measure this for a matrix A in mathbb R n times n is the emph numerical sparsity , denoted mathsf ns (A) , defined as the minimum k geq 1 such that a 1 a 2 leq sqrt k for every row and every column a of A . This measure of a is smooth and is clearly only smaller than the number of non zeros in the row column a . The seminal work of Achlioptas and McSherry 2007 has put forward the question of approximating an input matrix A by entrywise sampling. More precisely, the goal is to quickly compute a sparse matrix tilde A satisfying A tilde A 2 leq epsilon A 2 (i.e., additive spectral approximation) given an error parameter epsilon 0 . The known schemes sample and rescale a small fraction of entries from A . We propose a scheme that sparsifies an almost sparse matrix A it produces a matrix tilde A with O( epsilon 2 mathsf ns (A) cdot n ln n) non zero entries with high probability. We also prove that this upper bound on mathsf nnz ( tilde A ) is emph tight up to logarithmic factors. Moreover, our upper bound improves when the spectrum of A decays quickly (roughly replacing n with the stable rank of A ). Our scheme can be implemented in time O( mathsf nnz (A)) when A 2 is given. Previously, a similar upper bound was obtained by Achlioptas et. al 2013 but only for a restricted class of inputs that does not even include symmetric or covariance matrices. Finally, we demonstrate two applications of these sampling techniques, to faster approximate matrix multiplication, and to ridge regression by using sparse preconditioners.


The critical number of I 1,t free triangle free binary matroids. A simple binary matroid, viewed as a restriction of a finite binary projective geometry PG(n 1,2) , is I 1,t free if for any rank t flat of PG(n 1,2) , its intersection with the matroid is not a one element set. In this paper, we show that the simple I 1,t free and triangle free binary matroids have bounded critical number for any t geq 1 .


On an old theorem of Erd "os about ambiguous locus. Erd "os proved in 1946 that if a set E subset mathbb R n is closed and non empty, then the set, called ambiguous locus or medial axis, of points in mathbb R n with the property that the nearest point in E is not unique, can be covered by countably many surfaces, each of finite (n 1) dimensional measure. We improve the result by obtaining a new regularity result for these surfaces in terms of convexity and C 2 regularity.


Improving Neural Language Models by Segmenting, Attending, and Predicting the Future. Common language models typically predict the next word given the context. In this work, we propose a method that improves language modeling by learning to align the given context and the following phrase. The model does not require any linguistic annotation of phrase segmentation. Instead, we define syntactic heights and phrase segmentation rules, enabling the model to automatically induce phrases, recognize their task specific heads, and generate phrase embeddings in an unsupervised learning manner. Our method can easily be applied to language models with different network architectures since an independent module is used for phrase induction and context phrase alignment, and no change is required in the underlying language modeling network. Experiments have shown that our model outperformed several strong baseline models on different data sets. We achieved a new state of the art performance of 17.4 perplexity on the Wikitext 103 dataset. Additionally, visualizing the outputs of the phrase induction module showed that our model is able to learn approximate phrase level structural knowledge without any annotation.


Bidirectional Recurrent Models for Offensive Tweet Classification. In this paper we propose four deep recurrent architectures to tackle the task of offensive tweet detection as well as further classification into targeting and subject of said targeting. Our architectures are based on LSTMs and GRUs, we present a simple bidirectional LSTM as a baseline system and then further increase the complexity of the models by adding convolutional layers and implementing a split process merge architecture with LSTM and GRU as processors. Multiple pre processing techniques were also investigated. The validation F1 score results from each model are presented for the three subtasks as well as the final F1 score performance on the private competition test set. It was found that model complexity did not necessarily yield better results. Our best performing model was also the simplest, a bidirectional LSTM closely followed by a two branch bidirectional LSTM and GRU architecture.


Generating Philosophical Statements using Interpolated Markov Models and Dynamic Templates. Automatically imitating input text is a common task in natural language generation, often used to create humorous results. Classic algorithms for learning to imitate text, e.g. simple Markov chains, usually have a trade off between originality and syntactic correctness. We present two ways of automatically parodying philosophical statements from examples overcoming this issue, and show how these can work in interactive systems as well. The first algorithm uses interpolated Markov models with extensions to improve the quality of the generated texts. For the second algorithm, we propose dynamically extracting templates and filling these with new content. To illustrate these algorithms, we implemented TorfsBot, a Twitterbot imitating the witty, semi philosophical tweets of professor Rik Torfs, the previous KU Leuven rector. We found that users preferred generative models that focused on local coherent sentences, rather than those mimicking the global structure of a philosophical statement. The proposed algorithms are thus valuable new tools for automatic parody as well as template learning systems.


Symmetry and Art. We use some fundamental ideas from complex analysis to create symmetric images and animations. Using a domain coloring algorithm, we generate mappings to the entire complex plane or the hyperbolic upper half plane. The resulting designs can have rotational, translational, or mirror symmetry according to our chosen mapping functions. An appealing feature of these designs is how they reveal important properties of Euclidean and non Euclidean geometries. We can also generate animations of our designs. Our goal is to create designs and animations having significant artistic content.


NNSC Cobordism of Bartnik Data in High Dimensions. In this short note, we formulate three problems relating to nonnegative scalar curvature (NNSC) fill ins. Loosely speaking, the first two problems focus on When are (n 1) dimensional Bartnik data big( Sigma i n 1 , gamma i, H i big) , i 1,2 , NNSC cobordant? (i.e., there is an n dimensional compact Riemannian manifold big( Omega n, g big) with scalar curvature R(g) geq 0 and the boundary partial Omega Sigma 1 cup Sigma 2 such that gamma i is the metric on Sigma i n 1 induced by g , and H i is the mean curvature of Sigma i in big( Omega n, g big) ). If big( mathbb S n 1 , gamma rm std ,0 big) is positive scalar curvature (PSC) cobordant to big( Sigma 1 n 1 , gamma 1, H 1 big) , where big( mathbb S n 1 , gamma rm std big) denotes the standard round unit sphere then big( Sigma 1 n 1 , gamma 1, H 1 big) admits an NNSC fill in. Just as Gromov's conjecture is connected with positive mass theorem, our problems are connected with Penrose inequality, at least in the case of n 3 . Our third problem is on Lambda big( Sigma n 1 , gamma big) defined below.


A machine learning approach for detecting CNAME cloaking based tracking on the Web. Various in browser privacy protection techniques have been designed to protect end users from third party tracking. In an arms race against these counter measures, the tracking providers developed a new technique called CNAME cloaking based tracking to avoid issues with browsers that block third party cookies and requests. To detect this tracking technique, browser extensions require on demand DNS lookup APIs. This feature is however only supported by the Firefox browser. In this paper, we propose a supervised machine learning based method to detect CNAME cloaking based tracking without the on demand DNS lookup. Our goal is to detect both sites and requests linked to CNAME cloaking related tracking. We crawl a list of target sites and store all HTTP HTTPS requests with their attributes. Then we label all instances automatically by looking up CNAME record of subdomain, and applying wildcard matching based on well known tracking filter lists. After extracting features, we build a supervised classification model to distinguish site and request related to CNAME cloaking based tracking. Our evaluation shows that the proposed approach outperforms well known tracking filter lists F1 scores of 0.790 for sites and 0.885 for requests. By analyzing the feature permutation importance, we demonstrate that the number of scripts and the proportion of XMLHttpRequests are discriminative for detecting sites, and the length of URL request is helpful in detecting requests. Finally, we analyze concept drift by using the 2018 dataset to train a model and obtain a reasonable performance on the 2020 dataset for detecting both sites and requests using CNAME cloaking based tracking.


Lamina specific neuronal properties promote robust, stable signal propagation in feedforward networks. Feedforward networks (FFN) are ubiquitous structures in neural systems and have been studied to understand mechanisms of reliable signal and information transmission. In many FFNs, neurons in one layer have intrinsic properties that are distinct from those in their pre postsynaptic layers, but how this affects network level information processing remains unexplored. Here we show that layer to layer heterogeneity arising from lamina specific cellular properties facilitates signal and information transmission in FFNs. Specifically, we found that signal transformations, made by each layer of neurons on an input driven spike signal, demodulate signal distortions introduced by preceding layers. This mechanism boosts information transfer carried by a propagating spike signal and thereby supports reliable spike signal and information transmission in a deep FFN. Our study suggests that distinct cell types in neural circuits, performing different computational functions, facilitate information processing on the whole.


Equivalent Circuit Model Recognition of Electrochemical Impedance Spectroscopy via Machine Learning. Electrochemical impedance spectroscopy (EIS) is an effective method for studying the electrochemical systems. The interpretation of EIS is the biggest challenge in this technology, which requires reasonable modeling. However, the modeling of EIS is of great subjectivity, meaning that there may be several models to fit the same set of data. In order to overcome the uncertainty and triviality of human analysis, this research uses machine learning to carry out EIS pattern recognition. Raw EIS data and their equivalent circuit models were collected from the literature, and the support vector machine (SVM) was used to analyze these data. As the result, we addresses the classification of EIS and recognizing their equivalent circuit models with accuracies of up to 78 . This study demonstrates the great potential of machine learning in electrochemical researches.


A Note on Decoding Order in User Grouping and Power Optimization for Multi Cell NOMA with Load Coupling. In this technical note, we present a new theoretical result for resource optimization with non orthogonal multiple access (NOMA). For multi cell scenarios, a so called load coupling model has been proposed to characterize the presence of mutual interference for NOMA, and resource optimization relies on the use of fixed point iterations 1 , 2 across cells. One difficulty here is that the order of decoding for successive interference cancellation (SIC) in NOMA is generally not known a priori. This is because the decoding order in one cell depends on interference, which, in turn, is governed by resource allocation in other cells, and vice versa. To achieve convergence, previous works have used workarounds that pose restrictions to NOMA, such that the SIC decoding order remains in optimization. As a comment to 1 , 2 , we derive and prove the following result The convergence is guaranteed, even if the order changes over the iterations. The result not only waives the need of previous workarounds, but also implies that a wide class of resource optimization problems for multi cell NOMA is tractable, as long as that for single cell is.


Almost all permutation matrices have bounded saturation functions. Saturation problems for forbidden graphs have been a popular area of research for many decades, and recently Brualdi and Cao initiated the study of a saturation problem for 0 1 matrices. We say that 0 1 matrix A is saturating for the forbidden 0 1 matrix P if A avoids P but changing any zero to a one in A creates a copy of P . Define sat(n, P) to be the minimum possible number of ones in an n times n 0 1 matrix that is saturating for P . Fulek and Keszegh proved that for every 0 1 matrix P , either sat(n, P) O(1) or sat(n, P) Theta(n) . They found two 0 1 matrices P for which sat(n, P) O(1) , as well as infinite families of 0 1 matrices P for which sat(n, P) Theta(n) . Their results imply that sat(n, P) Theta(n) for almost all k times k 0 1 matrices P . Fulek and Keszegh conjectured that there are many more 0 1 matrices P such that sat(n, P) O(1) besides the ones they found, and they asked for a characterization of all permutation matrices P such that sat(n, P) O(1) . We affirm their conjecture by proving that almost all k times k permutation matrices P have sat(n, P) O(1) . We also make progress on the characterization problem, since our proof of the main result exhibits a family of permutation matrices with bounded saturation functions.


Twisted associativity of the cyclically reduced product of words, part 1. The cyclically reduced product of two words u, v , denoted u v , is the cyclically reduced form of the concatenation of u by v . This product is not associative. Recently S. V. Ivanov has proved that the Andrews Curtis conjecture can be restated in terms of the cyclically reduced product and cyclic permutations instead of the reduced product and conjugations. In a previous paper we have started a thorough study of and of the structure of the set of cyclically reduced words hat mathcal F (X) equipped with . In particular we have found that a certain number of properties of the free group equipped with the reduced product can be generalized to ( hat mathcal F (X), ) . In this paper we continue this study by proving that a generalized version of the associative property holds for in a special case. In a following paper we will prove that a more general version of the associative property holds for any case.


How strong can the Parrondo effect be? II. Parrondo's coin tossing games comprise two games, A and B . The result of game A is determined by the toss of a fair coin. The result of game B is determined by the toss of a p 0 coin if capital is a multiple of r , and by the toss of a p 1 coin otherwise. In either game, the player wins one unit with heads and loses one unit with tails. Game B is fair if (1 p 0)(1 p 1) r 1 p 0 ,p 1 r 1 . In a previous paper we showed that, if the parameters of game B , namely r , p 0 , and p 1 , are allowed to be arbitrary, subject to the fairness constraint, and if the two (fair) games A and B are played in an arbitrary periodic sequence, then the rate of profit can not only be positive (the so called Parrondo effect), but also be arbitrarily close to 1 (i.e., 100 ). Here we prove the same conclusion for a random sequence of the two games instead of a periodic one, that is, at each turn game A is played with probability gamma and game B is played otherwise, where gamma in(0,1) is arbitrary.


Archimedean Zeta Integrals for Unitary Groups. We compute the archimedean zeta integrals for holomorphic discrete series of general vector weights arising in the doubling method for unitary groups, an integral representation of automorphic L functions discovered by Garrett and Piatetski Shapiro Rallis in the 1980s. For over three decades, these archimedean zeta integrals eluded precise computation, except in special cases that admitted particular simplifications. Consequences of our work include the precise comparison between p adic L functions for unitary groups (constructed by the first named author, Harris, Li, and Skinner) and the mathbb C valued L functions whose values they interpolate, which is crucial for central applications but had remained open.


Focus Is All You Need Loss Functions For Event based Vision. Event cameras are novel vision sensors that output pixel level brightness changes ("events") instead of traditional video frames. These asynchronous sensors offer several advantages over traditional cameras, such as, high temporal resolution, very high dynamic range, and no motion blur. To unlock the potential of such sensors, motion compensation methods have been recently proposed. We present a collection and taxonomy of twenty two objective functions to analyze event alignment in motion compensation approaches (Fig. 1). We call them Focus Loss Functions since they have strong connections with functions used in traditional shape from focus applications. The proposed loss functions allow bringing mature computer vision tools to the realm of event cameras. We compare the accuracy and runtime performance of all loss functions on a publicly available dataset, and conclude that the variance, the gradient and the Laplacian magnitudes are among the best loss functions. The applicability of the loss functions is shown on multiple tasks rotational motion, depth and optical flow estimation. The proposed focus loss functions allow to unlock the outstanding properties of event cameras.


Event Related Bias Removal for Real time Disaster Events. Social media has become an important tool to share information about crisis events such as natural disasters and mass attacks. Detecting actionable posts that contain useful information requires rapid analysis of huge volume of data in real time. This poses a complex problem due to the large amount of posts that do not contain any actionable information. Furthermore, the classification of information in real time systems requires training on out of domain data, as we do not have any data from a new emerging crisis. Prior work focuses on models pre trained on similar event types. However, those models capture unnecessary event specific biases, like the location of the event, which affect the generalizability and performance of the classifiers on new unseen data from an emerging new event. In our work, we train an adversarial neural model to remove latent event specific biases and improve the performance on tweet importance classification.


IRF Interactive Recommendation through Dialogue. Recent research focuses beyond recommendation accuracy, towards human factors that influence the acceptance of recommendations, such as user satisfaction, trust, transparency and sense of control.We present a generic interactive recommender framework that can add interaction functionalities to non interactive recommender systems.We take advantage of dialogue systems to interact with the user and we design a middleware layer to provide the interaction functions, such as providing explanations for the recommendations, managing users preferences learnt from dialogue, preference elicitation and refining recommendations based on learnt preferences.


On the topology of a resolution of isolated singularities, II. Let Y be a complex projective variety of dimension n with isolated singularities, pi X to Y a resolution of singularities, G pi 1 left( rm Sing (Y) right) the exceptional locus. From the Decomposition Theorem one knows that the map H k 1 (G) to H k(Y,Y backslash rm Sing (Y)) vanishes for k n . It is also known that, conversely, assuming this vanishing one can prove the Decomposition Theorem for pi in few pages. The purpose of the present paper is to exhibit a direct proof of the vanishing. As a consequence, it follows a complete and short proof of the Decomposition Theorem for pi , involving only ordinary cohomology.


Neutron diagnostics for the physics of a high field, compact, Q geq1 tokamak. Advancements in high temperature superconducting technology have opened a path toward high field, compact fusion devices. This new parameter space introduces both opportunities and challenges for diagnosis of the plasma. This paper presents a physics review of a neutron diagnostic suite for a SPARC like tokamak Greenwald et al 2018 doi 10.7910 DVN OYYBNU . A notional neutronics model was constructed using plasma parameters from a conceptual device, called the MQ1 (Mission Q geq 1 ) tokamak. The suite includes time resolved micro fission chamber (MFC) neutron flux monitors, energy resolved radial and tangential magnetic proton recoil (MPR) neutron spectrometers, and a neutron camera system (radial and off vertical) for spatially resolved measurements of neutron emissivity. Geometries of the tokamak, neutron source, and diagnostics were modeled in the Monte Carlo N Particle transport code MCNP6 to simulate expected signal and background levels of particle fluxes and energy spectra. From these, measurements of fusion power, neutron flux and fluence are feasible by the MFCs, and the number of independent measurements required for 95 confidence of a fusion gain Q geq 1 is assessed. The MPR spectrometer is found to consistently overpredict the ion temperature and also have a 1000 times improved detection of alpha knock on neutrons compared to previous experiments. The deuterium tritium fuel density ratio, however, is measurable in this setup only for trace levels of tritium, with an upper limit of n T n D approx 6 , motivating further diagnostic exploration. Finally, modeling suggests that in order to adequately measure the self heating profile, the neutron camera system will require energy and pulse shape discrimination to suppress otherwise overwhelming fluxes of low energy neutrons and gamma radiation. Co first authorship


A lower bound for splines on tetrahedral vertex stars. A tetrahedral complex all of whose tetrahedra meet at a common vertex is called a textit vertex star . Vertex stars are a natural generalization of planar triangulations, and understanding splines on vertex stars is a crucial step to analyzing trivariate splines. It is particularly difficult to compute the dimension of splines on vertex stars in which the vertex is completely surrounded by tetrahedra we call these textit closed vertex stars. A formula due to Alfeld, Neamtu, and Schumaker gives the dimension of C r splines on closed vertex stars of degree at least 3r 2 . We show that this formula is a lower bound on the dimension of C r splines of degree at least (3r 2) 2 . Our proof uses apolarity and the so called textit Waldschmidt constant of the set of points dual to the interior faces of the vertex star. We also use an argument of Whiteley to show that the only splines of degree at most (3r 1) 2 on a generic closed vertex star are global polynomials.


Best First Width Search for Multi Agent Privacy preserving Planning. In multi agent planning, preserving the agents' privacy has become an increasingly popular research topic. For preserving the agents' privacy, agents jointly compute a plan that achieves mutual goals by keeping certain information private to the individual agents. Unfortunately, this can severely restrict the accuracy of the heuristic functions used while searching for solutions. It has been recently shown that, for centralized planning, the performance of goal oriented search can be improved by combining goal oriented search and width based search. The combination of these techniques has been called best first width search. In this paper, we investigate the usage of best first width search in the context of (decentralised) multi agent privacy preserving planning, addressing the challenges related to the agents' privacy and performance. In particular, we show that best first width search is a very effective approach over several benchmark domains, even when the search is driven by heuristics that roughly estimate the distance from goal states, computed without using the private information of other agents. An experimental study analyses the effectiveness of our techniques and compares them with the state of the art.


The 2 rank of the class group of some real cyclic quartic number fields. In this paper, we investigate the 2 rank of the class group of some real cyclic quartic number fields. Precisely, we consider the case where the quadratic subfield is Q( sqrt l ) with l congruent to 5 modulo 8 is a prime.


Space Aware Reconfiguration. We consider the problem of reconfiguring a set of physical objects into a desired target configuration, a typical (sub)task in robotics and automation, arising in product assembly, packaging, stocking store shelves, and more. In this paper we address a variant, which we call space aware reconfiguration, where the goal is to minimize the physical space needed for the reconfiguration, while obeying constraints on the allowable collision free motions of the objects. Since for given start and target configurations, reconfiguration may be impossible, we translate the entire target configuration rigidly into a location that admits a valid sequence of moves, where each object moves in turn just once, along a straight line, from its starting to its target location, so that the overall physical space required by the start, all intermediate, and target configurations for all the objects is minimized. We investigate two variants of space aware reconfiguration for the often examined setting of n unit discs in the plane, depending on whether the discs are distinguishable (labeled) or indistinguishable (unlabeled). For the labeled case, we propose a representation of size O(n 4) of the space of all feasible initial rigid translations, and use it to find, in O(n 6) time, a shortest valid translation, or one that minimizes the enclosing disc or axis aligned rectangle of both the start and target configurations. For the significantly harder unlabeled case, we show that for almost every direction, there exists a translation in this direction that makes the problem feasible. We use this to devise heuristic solutions, where we optimize the translation under stricter notions of feasibility. We present an implementation of such a heuristic, which solves unlabeled instances with hundreds of discs in seconds.


Extrema of multi dimensional Gaussian processes over random intervals. This paper studies the joint tail asymptotics of extrema of the multi dimensional Gaussian process over random intervals defined as P(u) mathbb P left cap i 1 n left( sup t in 0, mathcal T i ( X i (t) c i t ) a i u right) right , u to infty, where X i(t), t ge0 , i 1,2, cdots,n, are independent centered Gaussian processes with stationary increments, boldsymbol mathcal T ( mathcal T 1, cdots, mathcal T n) is a regularly varying random vector with positive components, which is independent of the Gaussian processes, and c i in mathbb R , a i 0 , i 1,2, cdots,n . Our result shows that the structure of the asymptotics of P(u) is determined by the signs of the drifts c i 's. We also discuss a relevant multi dimensional regenerative model and derive the corresponding ruin probability.


Realistic prediction and analysis of cavitation bubble dynamics via optical ray tracing of the corresponding numerical simulations. Experimental analysis of cavitation bubble dynamics typically uses optical imaging. However, images are often severely affected by distortions and shadows due to refraction and total reflection at the liquid gas interface. Here it is shown that optical ray tracing can be a powerful tool for the analysis process by assisting in the comparison of experiments to numerical two phase flow simulations. To this end, realistic ray tracing images are generated from numerical simulations that correspond to the experimental setup. We apply the method on the jetting dynamics of single bubbles collapsing at a solid wall. Here, ray tracing can help in the interpretation of raw experimental data, but also in prediction of the complex bubble interface deformations and internal structures during the collapse. The precise shape of the highly dynamical bubbles can be inferred and thereby a correction method for velocity values of the liquid jets can be provided.


Dodecahedral Structures with Mosseri Sadoc Tiles. 3D facets of the Delone cells representing the deep and shallow holes of the root lattice D6 which tile the six dimensional Euclidean space in an alternating order are projected into three dimensional space. They are classified into six Mosseri Sadoc tetrahedral tiles of edge lengths 1 and golden ratio (tau) with faces normal to the 5 fold and 3 fold axes. The icosahedron, dodecahedron and icosidodecahedron whose vertices are obtained from the fundamental weights of the icosahedral group are dissected in terms of six tetrahedra. A set of four tiles are composed out of six fundamental tiles, faces of which, are normal to the 5 fold axes of the icosahedral group. It is shown that the 3D Euclidean space can be tiled face to face with maximal face coverage by the composite tiles with an inflation factor tau generated by an inflation matrix. We note that dodecahedra with edge lengths of 1 and tau naturally occur already in the second and third order of the inflations. The 3D patches displaying 5 fold, 3 fold and 2 fold symmetries are obtained in the inflated dodecahedral structures with edge lengths tau to the power n with n equals 3 or greater than 3. The planar tiling of the faces of the composite tiles follow the edge to edge matching of the Robinson triangles.


A novel application of solid state detectors for high precision, low systematics measurement of beta decay energy spectra of interest for neutrino and nuclear physics. This project is focused on the development of a novel strategy for the precise measurement of beta decay energy spectra. The exact determination of beta spectra has wide implications in the particle and nuclear physics fields from sterile neutrino searches cite Adhikari 2016 to validation of nuclear models of interest for double beta decay searches cite Suhonen 2017 , to reactor neutrino experiments. The experimental strategy is focused on the mitigation of the systematic uncertainty in the determination of the spectral shape related to the energy response of the detector. The plan is to use Silicon Drift Detectors (SDDs), exploiting their excellent energy resolution and response uniformity, the thin dead layer and the fast signal that allows high rate operations. A complete modeling of SDDs response to the interaction of beta particles via numerical simulations, validated with dedicated measurements, aims at identifying and canceling the detector related systematics. Similar attention will be devoted to the integration of beta radioactive sources that preserve the energy information carried by the emitted electrons, and to a veto system with a full solid angle coverage to intercept any escaping particle potentially carrying a fraction of the original electron energy.


FairRec Two Sided Fairness for Personalized Recommendations in Two Sided Platforms. We investigate the problem of fair recommendation in the context of two sided online platforms, comprising customers on one side and producers on the other. Traditionally, recommendation services in these platforms have focused on maximizing customer satisfaction by tailoring the results according to the personalized preferences of individual customers. However, our investigation reveals that such customer centric design may lead to unfair distribution of exposure among the producers, which may adversely impact their well being. On the other hand, a producer centric design might become unfair to the customers. Thus, we consider fairness issues that span both customers and producers. Our approach involves a novel mapping of the fair recommendation problem to a constrained version of the problem of fairly allocating indivisible goods. Our proposed FairRec algorithm guarantees at least Maximin Share (MMS) of exposure for most of the producers and Envy Free up to One item (EF1) fairness for every customer. Extensive evaluations over multiple real world datasets show the effectiveness of FairRec in ensuring two sided fairness while incurring a marginal loss in the overall recommendation quality.


Generalized modulation theory for strongly nonlinear gravity waves in a compressible atmosphere. This study investigates nonlinear gravity waves in the compressible atmosphere from the Earth's surface to the deep atmosphere. These waves are effectively described by Grimshaw's dissipative modulation equations which provide the basis for finding stationary solutions such as mountain lee waves and testing their stability in an analytic fashion. Assuming energetically consistent boundary and far field conditions, that is no energy flux through the surface, free slip boundary, and finite total energy, general wave solutions are derived and illustrated in terms of realistic background fields. These assumptions also imply that the wave Reynolds number must become less than unity above a certain height. The modulational stability of admissible, both non hydrostatic and hydrostatic, waves is examined. It turns out that, when accounting for the self induced mean flow, the wave Froude number has a resonance condition. If it becomes 1 sqrt 2 , then the wave destabilizes due to perturbations from the essential spectrum of the linearized modulation equations. However, if the horizontal wavelength is large enough, waves overturn before they can reach the modulational stability condition.


Second order fully semi Lagrangian discretizations of advection diffusion reaction systems. We propose a second order, fully semi Lagrangian method for the numerical solution of systems of advection diffusion reaction equations, which employs a semi Lagrangian approach to approximate in time both the advective and the diffusive terms. Standard interpolation procedures are used for the space discretization on structured and unstructured meshes. The proposed method allows for large time steps, while avoiding the solution of large linear systems, which would be required by an implicit time discretization technique. Numerical experiments demonstrate the effectiveness of the proposed approach and its superior efficiency with respect to more conventional explicit and implicit time discretizations


Optimal Bi level Lottery Design for Multi agent Systems. Entities in multi agent systems may seek conflicting subobjectives, and this leads to competition between them. To address performance degradation due to competition, we consider a bi level lottery where a social planner at the high level selects a reward first and, sequentially, a set of players at the low level jointly determine a Nash equilibrium given the reward. The social planner is faced with efficiency losses where a Nash equilibrium of the lottery game may not coincide with the social optimum. We propose an optimal bi level lottery design problem as finding the least reward and perturbations such that the induced Nash equilibrium produces the socially optimal payoff. We formally characterize the price of anarchy and the behavior of public goods and Nash equilibrium with respect to the reward and perturbations. We relax the optimal bi level lottery design problem via a convex approximation and identify mild sufficient conditions under which the approximation is exact.


Gradient Einstein Type Structures immersed into a Riemannian Warped Product. In this paper, we study gradient Einstein type structure immersed into a Riemannian warped product manifold. We obtain some triviality results for the potential function and smooth map u . We investigate conditions for a gradient Einstein type structure to be minimal, totally umbilical, or totally geodesic immersed into a warped product I times f M n . Furthermore, we characterize rotational hypersurface into mathbb R times f mathbb R n has a gradient Einstein type structure.


Global stability of fluid flows despite transient growth of energy. Verifying nonlinear stability of a laminar fluid flow against all perturbations is a central challenge in fluid dynamics. Past results rely on monotonic decrease of a perturbation energy or a similar quadratic generalized energy. None show stability for the many flows that seem to be stable despite these energies growing transiently. Here a broadly applicable method to verify global stability of such flows is presented. It uses polynomial optimization computations to construct non quadratic Lyapunov functions that decrease monotonically. The method is used to verify global stability of 2D plane Couette flow at Reynolds numbers above the energy stability threshold found by Orr in 1907. This is the first global stability result for any flow that surpasses the energy method.


A tale of two shuffle algebras. As a quantum affinization, the quantum toroidal algebra is defined in terms of its "left" and "right" halves, which both admit shuffle algebra presentations. In the present paper, we take an orthogonal viewpoint, and give shuffle algebra presentations for the "top" and "bottom" halves instead, starting from the evaluation representation of the quantum affine group and its usual R matrix. An upshot of this construction is a new topological coproduct on the quantum toroidal algebra which extends the Drinfeld Jimbo coproduct on the horizontal quantum affine subalgebra.


Adoption of the open access business model in scientific journal publishing A cross disciplinary study. Scientific journal publishers have over the past twenty five years rapidly converted to predominantly electronic dissemination, but the reader pays business model continues to dominate the market. Open Access (OA) publishing, where the articles are freely readable on the net, has slowly increased its market share to near 20 , but has failed to fulfill the visions of rapid proliferation predicted by many early proponents. The growth of OA has also been very uneven across fields of science. We report market shares of open access in eighteen Scopus indexed disciplines ranging from 27 (agriculture) to 7 (business). The differences become far more pronounced for journals published in the four countries, which dominate commercial scholarly publishing (US, UK, Germany and the Netherlands). We present contrasting developments within six academic disciplines. Availability of funding to pay publication charges, pressure from research funding agencies, and the diversity of discipline specific research communication cultures arise as potential explanations for the observed differences.


On 3 dimensional homotopy quantum field theory III comparison of two approaches. Let G be a discrete group and C be an additive spherical G fusion category. We prove that the state sum 3 dimensional HQFT derived from C is isomorphic to the surgery 3 dimensional HQFT derived from the G center of C.


Water entry of spheres into a rotating liquid. The transient cavity dynamics during water entry of a heavy, non rotating sphere impacting a rotating pool of liquid is studied experimentally, numerically, and theoretically. We show that the pool rotation advances the transition of the cavity type from deep seal to surface seal marked by a reduction in the transitional Froude number. The role of the dimensionless rotational number mathcal S equiv omega R 0 U 0 on the transient cavity dynamics is unveiled, where R 0 is the sphere radius, omega the angular speed of the liquid, and U 0 the impact velocity. The rotating background liquid has two discernible effects on the cavity evolution. Firstly, an increase in the underwater pressure field due to centripetal effects, and secondly a reduction in the pressure of airflow in the cavity neck near the water surface. The non dimensional pinch off time of the deep seal shows a robust 1 2 power law dependence on the Froude number, but with a reducing prefactor for increasing omega . Our findings reveal that the effects of a rotating background liquid on the water entry can be traced back to the subtle differences in the initial stage splash and the near surface cavity dynamics.


A nonlinear couple stress based sandwich beam theory. A geometrically nonlinear sandwich beam model founded on the modified couple stress Timoshenko beam theory with K 'arm 'an kinematics is derived and employed in the analysis of periodic sandwich structures. The constitutive model is based on the mechanical behavior of sandwich beams, with the bending response split into membrane induced and local bending modes. A micromechanical approach based on the structural analysis of a unit cell is derived and utilized to obtain the stiffness properties of selected prismatic cores. The model is shown to be equivalent to the classical thick face sandwich theory for the same basic assumptions. A two node finite element interpolated with linear and cubic shape functions is proposed and its stiffness and geometric stiffness matrices are derived. Three examples illustrate the model capabilities in predicting deflections, stresses and critical buckling loads of elastic sandwich beams including elastic size effects. Good agreement is obtained throughout in comparisons with more involved finite element models.


Finite Element Simulation of an Accelerator Magnet an Exercise. This note describes an extended exercise on the finite element (FE) simulation of an accelerator magnet. The students construct and simulate a magnet model using the FEMM freeware. They get the opportunity to exercise on the theory of FEs, including Maxwell equations, magnetoquasistatic formulation, weighted residual approach, choice of appropriate FE shape functions and algebraic system of equations, thereby guided by fill in sheets. They are invited to implement the most crucial parts of a simple FE solver. Finally, the own software is used to simulate the magnet once more and to develop some problem dedicated post processing routines. The exercise educates students in accelerator physics and electrical engineering on the construction and simulation of accurate and manageable FE models, the algorithms behind a standard FE solver and some ideas to extend a FE solver for own purposes. All necessary files to carry out the exercise are freely available.


Arbitrage free modeling under Knightian Uncertainty. We study the Fundamental Theorem of Asset Pricing for a general financial market under Knightian Uncertainty. We adopt a functional analytic approach which require neither specific assumptions on the class of priors mathcal P nor on the structure of the state space. Several aspects of modeling under Knightian Uncertainty are considered and analyzed. We show the need for a suitable adaptation of the notion of No Free Lunch with Vanishing Risk and discuss its relation to the choice of an appropriate filtration. In an abstract setup, we show that absence of arbitrage is equivalent to the existence of emph approximate martingale measures sharing the same polar set of mathcal P . We then specialize the results to a discrete time framework in order to obtain true martingale measures.


Linear Time Subgraph Counting, Graph Degeneracy, and the Chasm at Size Six. We consider the problem of counting all k vertex subgraphs in an input graph, for any constant k . This problem (denoted sub cnt k ) has been studied extensively in both theory and practice. In a classic result, Chiba and Nishizeki (SICOMP 85) gave linear time algorithms for clique and 4 cycle counting for bounded degeneracy graphs. This is a rich class of sparse graphs that contains, for example, all minor free families and preferential attachment graphs. The techniques from this result have inspired a number of recent practical algorithms for sub cnt k . Towards a better understanding of the limits of these techniques, we ask for what values of k can sub cnt k be solved in linear time? We discover a chasm at k 6 . Specifically, we prove that for k 6 , sub cnt k can be solved in linear time. Assuming a standard conjecture in fine grained complexity, we prove that for all k geq 6 , sub cnt k cannot be solved even in near linear time.


Cross lingual Emotion Intensity Prediction. Emotion intensity prediction determines the degree or intensity of an emotion that the author expresses in a text, extending previous categorical approaches to emotion detection. While most previous work on this topic has concentrated on English texts, other languages would also benefit from fine grained emotion classification, preferably without having to recreate the amount of annotated data available in English in each new language. Consequently, we explore cross lingual transfer approaches for fine grained emotion detection in Spanish and Catalan tweets. To this end we annotate a test set of Spanish and Catalan tweets using Best Worst scaling. We compare six cross lingual approaches, e.g., machine translation and cross lingual embeddings, which have varying requirements for parallel data from millions of parallel sentences to completely unsupervised. The results show that on this data, methods with low parallel data requirements perform surprisingly better than methods that use more parallel data, which we explain through an in depth error analysis. We make the dataset and the code available at url https github.com jerbarnes fine grained cross lingual emotion


Learning to Generate Unambiguous Spatial Referring Expressions for Real World Environments. Referring to objects in a natural and unambiguous manner is crucial for effective human robot interaction. Previous research on learning based referring expressions has focused primarily on comprehension tasks, while generating referring expressions is still mostly limited to rule based methods. In this work, we propose a two stage approach that relies on deep learning for estimating spatial relations to describe an object naturally and unambiguously with a referring expression. We compare our method to the state of the art algorithm in ambiguous environments (e.g., environments that include very similar objects with similar relationships). We show that our method generates referring expressions that people find to be more accurate ( sim 30 better) and would prefer to use ( sim 32 more often).


A class of multivariate polynomial convolutions (and applications). We prove two "master" convolution theorems for multivariate determinantal polynomials. The methods used include basic properties of what we call a "minor orthogonal" ensemble as well as properties of the mixed discriminant of matrices. We also give applications, including a rederivation of a result of Barvinok on computing the permanent of a low rank matrix and a polynomial convolution corresponding to the unitarily invariant addition of generalized singular values.


Computing Expected Runtimes for Constant Probability Programs. We introduce the class of constant probability (CP) programs and show that classical results from probability theory directly yield a simple decision procedure for (positive) almost sure termination of programs in this class. Moreover, asymptotically tight bounds on their expected runtime can always be computed easily. Based on this, we present an algorithm to infer the exact expected runtime of any CP program.


FileBounty Fair Data Exchange. Digital contents are typically sold online through centralized and custodian marketplaces, which requires the trading partners to trust a central entity. We present FileBounty, a fair protocol which, assuming the cryptographic hash of the file of interest is known to the buyer, is trust free and lets a buyer purchase data for a previously agreed monetary amount, while guaranteeing the integrity of the contents. To prevent misbehavior, FileBounty guarantees that any deviation from the expected participants' behavior results in a negative financial payoff i.e. we show that honest behavior corresponds to a subgame perfect Nash equilibrium. Our novel deposit refunding scheme is resistant to extortion attacks under rational adversaries. If buyer and seller behave honestly, FileBounty's execution requires only three on chain transactions, while the actual data is exchanged off chain in an efficient and privacy preserving manner. We moreover show how FileBounty enables a flexible peer to peer setting where multiple parties fairly sell a file to a buyer.


Learning Efficient Multi agent Communication An Information Bottleneck Approach. We consider the problem of the limited bandwidth communication for multi agent reinforcement learning, where agents cooperate with the assistance of a communication protocol and a scheduler. The protocol and scheduler jointly determine which agent is communicating what message and to whom. Under the limited bandwidth constraint, a communication protocol is required to generate informative messages. Meanwhile, an unnecessary communication connection should not be established because it occupies limited resources in vain. In this paper, we develop an Informative Multi Agent Communication (IMAC) method to learn efficient communication protocols as well as scheduling. First, from the perspective of communication theory, we prove that the limited bandwidth constraint requires low entropy messages throughout the transmission. Then inspired by the information bottleneck principle, we learn a valuable and compact communication protocol and a weight based scheduler. To demonstrate the efficiency of our method, we conduct extensive experiments in various cooperative and competitive multi agent tasks with different numbers of agents and different bandwidths. We show that IMAC converges faster and leads to efficient communication among agents under the limited bandwidth as compared to many baseline methods.


Equal sums of two cubes of binary quadratic forms. We give a complete description of all solutions to the equation f 1 3 f 2 3 f 3 3 f 4 3 for quadratic forms f j in mathbb C x,y and show how Ramanujan's example can be extended to three equal sums of pairs of cubes. We also give a complete census in counting the number of ways a sextic p in mathbb C x,y can be written as a sum of two cubes. The extreme example is p(x,y) xy(x 4 y 4) , which has six such representations.


The Memory Controller Wall Benchmarking the Intel FPGA SDK for OpenCL Memory Interface. Supported by their high power efficiency and recent advancements in High Level Synthesis (HLS), FPGAs are quickly finding their way into HPC and cloud systems. Large amounts of work have been done so far on loop and area optimizations for different applications on FPGAs using HLS. However, a comprehensive analysis of the behavior and efficiency of the memory controller of FPGAs is missing in literature, which becomes even more crucial when the limited memory bandwidth of modern FPGAs compared to their GPU counterparts is taken into account. In this work, we will analyze the memory interface generated by Intel FPGA SDK for OpenCL with different configurations for input output arrays, vector size, interleaving, kernel programming model, on chip channels, operating frequency, padding, and multiple types of overlapped blocking. Our results point to multiple shortcomings in the memory controller of Intel FPGAs, especially with respect to memory access alignment, that can hinder the programmer's ability in maximizing memory performance in their design. For some of these cases, we will provide work arounds to improve memory bandwidth efficiency however, a general solution will require major changes in the memory controller itself.


Named Entity Recognition for Nepali Language. Named Entity Recognition have been studied for different languages like English, German, Spanish and many others but no study have focused on Nepali language. In this paper we propose a neural based Nepali NER using latest state of the art architecture based on grapheme level which doesn't require any hand crafted features and no data pre processing. Our novel neural based model gained relative improvement of 33 to 50 compared to feature based SVM model and up to 10 improvement over state of the art neural based model developed for languages beside Nepali.


Infochain A Decentralized, Trustless and Transparent Oracle on Blockchain. Blockchain based systems allow various kinds of financial transactions to be executed in a decentralized manner. However, these systems often rely on a trusted third party (oracle) to get correct information about the real world events, which trigger the financial transactions. In this paper, we identify two biggest challenges in building decentralized, trustless and transparent oracles. The first challenge is acquiring correct information about the real world events without relying on a trusted information provider. We show how a peer consistency incentive mechanism can be used to acquire truthful information from an untrusted and self interested crowd, even when the crowd has outside incentives to provide wrong information. The second is a system design and implementation challenge. For the first time, we show how to implement a trustless and transparent oracle in Ethereum. We discuss various non trivial issues that arise in implementing peer consistency mechanisms in Ethereum, suggest several optimizations to reduce gas cost and provide empirical analysis.


Totally Asynchronous Large Scale Quadratic Programming Regularization, Convergence Rates, and Parameter Selection. Quadratic programs arise in robotics, communications, smart grids, and many other applications. As these problems grow in size, finding solutions becomes more computationally demanding, and new algorithms are needed to efficiently solve them at massive scales. Targeting large scale problems, we develop a multi agent quadratic programming framework in which each agent updates only a small number of the total decision variables in a problem. Agents communicate their updated values to each other, though we do not impose any restrictions on the timing with which they do so, nor on the delays in these transmissions. Furthermore, we allow weak parametric coupling among agents, in the sense that they are free to independently choose their step sizes, subject to mild restrictions. We further provide the means for agents to independently regularize the problems they solve, thereby improving convergence properties while preserving agents' independence in selecting parameters and ensuring a global bound on regularization error is satisfied. Larger regularizations accelerate convergence but increase error in the solution obtained, and we quantify the trade off between convergence rates and quality of solutions. Simulation results are presented to illustrate these developments.


Duflo Serganova homology for exceptional modular Lie superalgebras with Cartan matrix. For the exceptional finite dimensional modular Lie superalgebras mathfrak g (A) with indecomposable Cartan matrix A , and their simple subquotients, we computed non isomorphic Lie superalgebras constituting the homologies of the odd elements with zero square. These homologies are key ingredients in the Duflo Serganova approach to the representation theory. There were two definitions of defect of Lie superalgebras in the literature with different ranges of application. We suggest a third definition and an easy to use way to find its value. In positive characteristic, we found out one more reason to consider the space of roots over reals, unlike the space of weights, which should be considered over the ground field. We proved that the rank of the homological element (decisive in calculating the defect of a given Lie superalgebra) should be considered in the adjoint module, not the irreducible module of least dimension (although the latter is sometimes possible to consider, e.g., for p 0 ). We also computed the above homology for the only case of simple Lie superalgebras with symmetric root system not considered so far over the field of complex numbers, and its modular versions mathfrak psl (a a pk) for a and k small, and p 2, 3, 5 .


Large cardinals and continuity of coordinate functionals of filter bases in Banach spaces. Assuming the existence of certain large cardinal numbers, we prove that for every projective filter mathscr F over the set of natural numbers, mathscr F bases in Banach spaces have continuous coordinate functionals. In particular, this applies to the filter of statistical convergence, thereby we solve a problem by V. Kadets (at least under the presence of certain large cardinals). In this setting, we recover also a result of Kochanek who proved continuity of coordinate functionals for countably generated filters (Studia Math., 2012).


Penerapan Metode SVM Based Machine Learning Untuk Menganalisa Pengguna Data Trafik Internet (Studi Kasus Jaringan Internet Wlan Mahasiswa Bina Darma). Internet usage is an important requirement that supports the performance and activities on campus. To control internet usage, it is necessary to know the distribution of internet usage. By utilizing a number of machine learning algorithms and WEKA software, the research is carried out by observation and taking data from wifi hotspots on campus. The classification method using SVM Based utilizes the classification method owned by Support Vector Machine (SVM). This study aims to classify data on internet usage so that from this classification can be known destination network, protocol, and bandwidth that are widely accessed at certain times. Internet traffic data is retrieved through Wireshark software. Whereas data processing and data processing of internet traffic is processed by WEKA. The results showed 1) UBD internet usage in the week I 133,196 users, week II 304,042 users,2) Use of Destination Network 24,150 and Use of Protocol 37,321,3) Destination networks that are often addressed are 172.21.206.143 (the week I) and 172.21.172.234 (week II), protocols that are often used by TCP, and4) SVM method is a good data mining method for classifying network packet patterns so as to produce network traffic classification according to destination network and protocol.


Introducing a differentiable measure of pointwise shared information. Partial information decomposition (PID) of the multivariate mutual information describes the distinct ways in which a set of source variables contains information about a target variable. The groundbreaking work of Williams and Beer has shown that this decomposition cannot be determined from classic information theory without making additional assumptions, and several candidate measures have been proposed, often drawing on principles from related fields such as decision theory. None of these measures is differentiable with respect to the underlying probability mass function. We here present a novel measure that satisfies this property, emerges solely from information theoretic principles, and has the form of a local mutual information. We show how the measure can be understood from the perspective of exclusions of probability mass, a principle that is foundational to the original definition of the mutual information by Fano. Since our measure is well defined for individual realizations of the random variables it lends itself for example to local learning in artificial neural networks. We also show that it has a meaningful M " o bius inversion on a redundancy lattice and obeys a target chain rule. We give an operational interpretation of the measure based on the decisions that an agent should take if given only the shared information.


A Joint Two Phase Time Sensitive Regularized Collaborative Ranking Model for Point of Interest Recommendation. The popularity of location based social networks (LBSNs) has led to a tremendous amount of user check in data. Recommending points of interest (POIs) plays a key role in satisfying users' needs in LBSNs. While recent work has explored the idea of adopting collaborative ranking (CR) for recommendation, there have been few attempts to incorporate temporal information for POI recommendation using CR. In this article, we propose a two phase CR algorithm that incorporates the geographical influence of POIs and is regularized based on the variance of POIs popularity and users' activities over time. The time sensitive regularizer penalizes user and POIs that have been more time sensitive in the past, helping the model to account for their long term behavioral patterns while learning from user POI interactions. Moreover, in the first phase, it attempts to rank visited POIs higher than the unvisited ones, and at the same time, apply the geographical influence. In the second phase, our algorithm tries to rank users' favorite POIs higher on the recommendation list. Both phases employ a collaborative learning strategy that enables the model to capture complex latent associations from two different perspectives. Experiments on real world datasets show that our proposed time sensitive collaborative ranking model beats state of the art POI recommendation methods.


Efficient Heuristic Generation for Robot Path Planning with Recurrent Generative Model. Robot path planning is difficult to solve due to the contradiction between optimality of results and complexity of algorithms, even in 2D environments. To find an optimal path, the algorithm needs to search all the state space, which costs a lot of computation resource. To address this issue, we present a novel recurrent generative model (RGM) which generates efficient heuristic to reduce the search efforts of path planning algorithm. This RGM model adopts the framework of general generative adversarial networks (GAN), which consists of a novel generator that can generate heuristic by refining the outputs recurrently and two discriminators that check the connectivity and safety properties of heuristic. We test the proposed RGM module in various 2D environments to demonstrate its effectiveness and efficiency. The results show that the RGM successfully generates appropriate heuristic in both seen and new unseen maps with a high accuracy, demonstrating the good generalization ability of this model. We also compare the rapidly exploring random tree star (RRT ) with generated heuristic and the conventional RRT in four different maps, showing that the generated heuristic can guide the algorithm to find both initial and optimal solution in a faster and more efficient way.


Hardy's operator minus identity and power weights. Let H be the Hardy operator and I the identity operator acting on functions on the real half line. We find optimal bounds for the operator H I in the setting of power weights and the cases of positive decreasing functions, positive functions, and general functions. As a byproduct, we obtain some results about the optimal relations between the norms of H and its dual.


Anisotropy and multifractal analysis of turbulent velocity and temperature in the roughness sublayer of a forested canopy. Anisotropy and multifractality in velocity and temperature time series sampled at multiple heights in the roughness sublayer (RSL) over a boreal mixed coniferous forest are reported. In particular, a turbulent stress invariant analysis along with a scalewise version of it are conducted to elucidate the nature of relaxation of large scale anisotropy to quasi isotropic states at small scales. As the return to isotropy is linked to nonlinear interactions and correlations between different fluctuating velocity components across scales, we study the velocity and temperature time series by using multifractal detrended fluctuation analysis and multiscale multifractal analysis to assess the effects of thermal stratification and surface roughness on turbulence in the RSL. The findings are compared so as to quantify the anisotropy and multifractality ubiquitous to RSL turbulent flow. As we go up in the RSL, (a) the length scale at which return to isotropy commences increases because of the weakening of the surface effects and (b) the largest scales become increasingly anisotropic. The anisotropy in multifractal exponents for the velocity fluctuations is diminished when we use the extended self similarity procedure to extract the multifractal exponent ratios.


Fuzzy Rule Interpolation Methods and Fri Toolbox. FRI methods are less popular in the practical application domain. One possible reason is the missing common framework. There are many FRI methods developed independently, having different interpolation concepts and features. One trial for setting up a common FRI framework was the MATLAB FRI Toolbox, developed by Johany 'ak et. al. in 2006. The goals of this paper are divided as follows firstly, to present a brief introduction of the FRI methods. Secondly, to introduce a brief description of the refreshed and extended version of the original FRI Toolbox. And thirdly, to use different unified numerical benchmark examples to evaluate and analyze the Fuzzy Rule Interpolation Techniques (FRI) (KH, KH Stabilized, MACI, IMUL, CRF, VKK, GM, FRIPOC, LESFRI, and SCALEMOVE), that will be classified and compared based on different features by following the abnormality and linearity conditions 15 .


The holonomy of a singular leaf. We introduce the holonomy of a singular leaf L of a singular foliation as a sequence of group morphisms from pi n(L) to the pi n 1 of the universal Lie infty algebroid of the transverse foliation of L . We include these morphisms in a long exact sequence, thus relating them to the holonomy groupoid of Androulidakis and Skandalis and to a similar construction by Brahic and Zhu for Lie algebroids.


How dark is the dark side of diversification?. Against the widely held belief that diversification at banking institutions contributes to the stability of the financial system, Wagner (2010) found that diversification actually makes systemic crisis more likely. While it is true, as Wagner asserts, that the probability of joint default of the diversified portfolios is larger we contend that, as common practice, the effect of diversification is examined with respect to a risk measure like VaR. We find that when banks use VaR, diversification does reduce individual and systemic risk. This, in turn, generates a different set of incentives for banks and regulators.


Fairkit, Fairkit, on the Wall, Who's the Fairest of Them All? Supporting Data Scientists in Training Fair Models. Modern software relies heavily on data and machine learning, and affects decisions that shape our world. Unfortunately, recent studies have shown that because of biases in data, software systems frequently inject bias into their decisions, from producing better closed caption transcriptions of men's voices than of women's voices to overcharging people of color for financial loans. To address bias in machine learning, data scientists need tools that help them understand the trade offs between model quality and fairness in their specific data domains. Toward that end, we present fairkit learn, a toolkit for helping data scientists reason about and understand fairness. Fairkit learn works with state of the art machine learning tools and uses the same interfaces to ease adoption. It can evaluate thousands of models produced by multiple machine learning algorithms, hyperparameters, and data permutations, and compute and visualize a small Pareto optimal set of models that describe the optimal trade offs between fairness and quality. We evaluate fairkit learn via a user study with 54 students, showing that students using fairkit learn produce models that provide a better balance between fairness and quality than students using scikit learn and IBM AI Fairness 360 toolkits. With fairkit learn, users can select models that are up to 67 more fair and 10 more accurate than the models they are likely to train with scikit learn.


Recursive Multi model Complementary Deep Fusion forRobust Salient Object Detection via Parallel Sub Networks. Fully convolutional networks have shown outstanding performance in the salient object detection (SOD) field. The state of the art (SOTA) methods have a tendency to become deeper and more complex, which easily homogenize their learned deep features, resulting in a clear performance bottleneck. In sharp contrast to the conventional deeper'' schemes, this paper proposes a wider'' network architecture which consists of parallel sub networks with totally different network architectures. In this way, those deep features obtained via these two sub networks will exhibit large diversity, which will have large potential to be able to complement with each other. However, a large diversity may easily lead to the feature conflictions, thus we use the dense short connections to enable a recursively interaction between the parallel sub networks, pursuing an optimal complementary status between multi model deep features. Finally, all these complementary multi model deep features will be selectively fused to make high performance salient object detections. Extensive experiments on several famous benchmarks clearly demonstrate the superior performance, good generalization, and powerful learning ability of the proposed wider framework.


Ground to excited derivative couplings for the density functional based tight binding method Semi local and long range corrected formulations. A derivation of non adiabatic coupling vectors for the density functional based tight binding method (DFTB) between ground and excited states is presented. The analytical result is valid both for semi local and long range corrected DFTB and includes all required Pulay terms. Electron translation factors lead to a conceptual simplification of the Slater Koster scheme for precomputed integrals. Compared to scalar couplings obtained from numerical derivatives, the present approach is computationally more efficient and can be applied to systems with hundreds of atoms. The accuracy of DFTB derivative couplings is assessed by comparison to full density functional theory (DFT) calculations using semi local and hybrid exchange correlation functionals with promising results. As exemplified by a case study of furan, DFTB provides non adiabatic coupling vectors that are close to DFT counterparts in size and direction also in the vicinity of conical intersections.


A general kernelization technique for domination and independence problems in sparse classes. We unify and extend previous kernelization techniques in sparse classes 6,17 by defining water lilies and show how they can be used in bounded expansion classes to construct linear bikernels for (r, c) Dominating Set, (r, c) Scattered Set, Total r Domination, r Roman Domination, and a problem we call (r, lambda , mu ) Domination (implying a bikernel for r Perfect Code). At the cost of slightly changing the output graph class our bikernels can be turned into kernels. We further demonstrate how these constructions can be combined to create 'multikernels', meaning graphs that represent kernels for multiple problems at once. Concretely, we show that r Dominating Set, Total r Domination, and r Roman Domination admit a multikernel as well as r Dominating Set and 2r Independent Set for multiple values of r at once.


Model free Neural Counterfactual Regret Minimization with Bootstrap Learning. Counterfactual Regret Minimization (CFR) has achieved many fascinating results in solving large scale Imperfect Information Games (IIGs). Neural network approximation CFR (neural CFR) is one of the promising techniques that can reduce computation and memory consumption by generalizing decision information between similar states. Current neural CFR algorithms have to approximate cumulative regrets. However, efficient and accurate approximation in a large scale IIG is still a tough challenge. In this paper, a new CFR variant, Recursive CFR (ReCFR), is proposed. In ReCFR, Recursive Substitute Values (RSVs) are learned and used to replace cumulative regrets. It is proven that ReCFR can converge to a Nash equilibrium at a rate of O( 1 sqrt T ) . Based on ReCFR, a new model free neural CFR with bootstrap learning, Neural ReCFR B, is proposed. Due to the recursive and non cumulative nature of RSVs, Neural ReCFR B has lower variance training targets than other neural CFRs. Experimental results show that Neural ReCFR B is competitive with the state of the art neural CFR algorithms at a much lower training cost.


Starting with data advancing spatial data science by building and sharing high quality datasets. Spatial data science has emerged in recent years as an interdisciplinary field. This position paper discusses the importance of building and sharing high quality datasets for spatial data science.


Ultra high Hydrogen Storage Capacity of Holey Graphyne. Holey graphyne (HGY), a novel 2D single crystalline carbon allotrope, was synthesized most recently by Castro Stephens coupling reaction. The natural existing uniform periodic holes in the 2D carbon carbon network demonstrate its tremendous potential application in the area of energy storage. Herein, we conducted density functional theory calculation to predict the hydrogen storage capacity of HGY sheet. It's found the Li decorated single layer HGY can serve as a promising candidate for hydrogen storage. Our numerical calculations demonstrate that Li atoms can bind strongly to the HGY sheet without the formation of Li clusters, and each Li atom can anchor four H2 molecules with the average adsorption energy about 0.22 eV H2. The largest hydrogen storage capacity of the doped HGY sheet can arrive as high as 12.8 wt , this value largely surpasses the target of the U. S. Department of Energy (9 wt ), showing the Li HGY complex is an ideal hydrogen storage material at ambient conditions. In addition, we investigate the polarization mechanism of the storage media and and find that the polarization stemed from both the electric field induced by the ionic Li decorated on the HGY and the weak polarized hydrogen molecules dominated the H2 adsorption process.


The Source Target Domain Mismatch Problem in Machine Translation. While we live in an increasingly interconnected world, different places still exhibit strikingly different cultures and many events we experience in our every day life pertain only to the specific place we live in. As a result, people often talk about different things in different parts of the world. In this work we study the effect of local context in machine translation and postulate that particularly in low resource settings this causes the domains of the source and target language to greatly mismatch, as the two languages are often spoken in further apart regions of the world with more distinctive cultural traits and unrelated local events. We first formalize the concept of source target domain mismatch, propose a metric to quantify it, and provide empirical evidence corroborating our intuition that organic text produced by people speaking very different languages exhibits the most dramatic differences. We conclude with an empirical study of how source target domain mismatch affects training of machine translation systems for low resource language pairs. In particular, we find that it severely affects back translation, but the degradation can be alleviated by combining back translation with self training and by increasing the relative amount of target side monolingual data.


Bayesian Surface Warping Approach For Rectifying Geological Boundaries Using Displacement Likelihood And Evidence From Geochemical Assays. This paper presents a Bayesian framework for manipulating mesh surfaces with the aim of improving the positional integrity of the geological boundaries that they seek to represent. The assumption is that these surfaces, created initially using sparse data, capture the global trend and provide a reasonable approximation of the stratigraphic, mineralisation and other types of boundaries for mining exploration, but they are locally inaccurate at scales typically required for grade estimation. The proposed methodology makes local spatial corrections automatically to maximise the agreement between the modelled surfaces and observed samples. Where possible, vertices on a mesh surface are moved to provide a clear delineation, for instance, between ore and waste material across the boundary based on spatial and compositional analysis using assay measurements collected from densely spaced, geo registered blast holes. The maximum a posteriori (MAP) solution ultimately considers the chemistry observation likelihood in a given domain. Furthermore, it is guided by an apriori spatial structure which embeds geological domain knowledge and determines the likelihood of a displacement estimate. The results demonstrate that increasing surface fidelity can significantly improve grade estimation performance based on large scale model validation.


Patterns of population displacement during mega fires in California detected using Facebook Disaster Maps. Facebook Disaster Maps (FBDM) is the first platform providing analysis ready population change products derived from crowdsourced data targeting disaster relief practices. We evaluate the representativeness of FBDM data using the Mann Kendall test and emerging hot and cold spots in an anomaly analysis to reveal the trend, magnitude, and agglommeration of population displacement during the Mendocino Complex and Woolsey fires in California, USA. Our results show that the distribution of FBDM pre crisis users fits well with the total population from different sources. Due to usage habits, the elder population is underrepresented in FBDM data. During the two mega fires in California, FBDM data effectively captured the temporal change of population arising from the placing and lifting of evacuation orders. Coupled with monotonic trends, the fall and rise of cold and hot spots of population revealed the areas with the greatest population drop and potential places to house the displaced residents. A comparison between the Mendocino Complex and Woolsey fires indicates that a densely populated region can be evacuated faster than a scarcely populated one, possibly due to the better access to transportation. In sparsely populated fire prone areas, resources should be prioritized to move people to shelters as the displaced residents do not have many alternative options, while their counterparts in densely populated areas can utilize their social connections to seek temporary stay at nearby locations during an evacuation. Integrated with an assessment on underrepresented communities, FBDM data and the derivatives can provide much needed information of near real time population displacement for crisis response and disaster relief. As applications and data generation mature, FBDM will harness crowdsourced data and aid first responder decision making.


Cross Modal Weighting Network for RGB D Salient Object Detection. Depth maps contain geometric clues for assisting Salient Object Detection (SOD). In this paper, we propose a novel Cross Modal Weighting (CMW) strategy to encourage comprehensive interactions between RGB and depth channels for RGB D SOD. Specifically, three RGB depth interaction modules, named CMW L, CMW M and CMW H, are developed to deal with respectively low , middle and high level cross modal information fusion. These modules use Depth to RGB Weighing (DW) and RGB to RGB Weighting (RW) to allow rich cross modal and cross scale interactions among feature layers generated by different network blocks. To effectively train the proposed Cross Modal Weighting Network (CMWNet), we design a composite loss function that summarizes the errors between intermediate predictions and ground truth over different scales. With all these novel components working together, CMWNet effectively fuses information from RGB and depth channels, and meanwhile explores object localization and details across scales. Thorough evaluations demonstrate CMWNet consistently outperforms 15 state of the art RGB D SOD methods on seven popular benchmarks.


ACSC Automatic Calibration for Non repetitive Scanning Solid State LiDAR and Camera Systems. Recently, the rapid development of Solid State LiDAR (SSL) enables low cost and efficient obtainment of 3D point clouds from the environment, which has inspired a large quantity of studies and applications. However, the non uniformity of its scanning pattern, and the inconsistency of the ranging error distribution bring challenges to its calibration task. In this paper, we proposed a fully automatic calibration method for the non repetitive scanning SSL and camera systems. First, a temporal spatial based geometric feature refinement method is presented, to extract effective features from SSL point clouds then, the 3D corners of the calibration target (a printed checkerboard) are estimated with the reflectance distribution of points. Based on the above, a target based extrinsic calibration method is finally proposed. We evaluate the proposed method on different types of LiDAR and camera sensor combinations in real conditions, and achieve accuracy and robustness calibration results. The code is available at https github.com HViktorTsoi ACSC.git .


Learning Occupancy Function from Point Clouds for Surface Reconstruction. Implicit function based surface reconstruction has been studied for a long time to recover 3D shapes from point clouds sampled from surfaces. Recently, Signed Distance Functions (SDFs) and Occupany Functions are adopted in learning based shape reconstruction methods as implicit 3D shape representation. This paper proposes a novel method for learning occupancy functions from sparse point clouds and achieves better performance on challenging surface reconstruction tasks. Unlike the previous methods, which predict point occupancy with fully connected multi layer networks, we adapt the point cloud deep learning architecture, Point Convolution Neural Network (PCNN), to build our learning model. Specifically, we create a sampling operator and insert it into PCNN to continuously sample the feature space at the points where occupancy states need to be predicted. This method natively obtains point cloud data's geometric nature, and it's invariant to point permutation. Our occupancy function learning can be easily fit into procedures of point cloud up sampling and surface reconstruction. Our experiments show state of the art performance for reconstructing With ShapeNet dataset and demonstrate this method's well generalization by testing it with McGill 3D dataset cite siddiqi2008retrieving . Moreover, we find the learned occupancy function is relatively more rotation invariant than previous shape learning methods.


Referring Expression Generation Using Entity Profiles. Referring Expression Generation (REG) is the task of generating contextually appropriate references to entities. A limitation of existing REG systems is that they rely on entity specific supervised training, which means that they cannot handle entities not seen during training. In this study, we address this in two ways. First, we propose task setups in which we specifically test a REG system's ability to generalize to entities not seen during training. Second, we propose a profile based deep neural network model, ProfileREG, which encodes both the local context and an external profile of the entity to generate reference realizations. Our model generates tokens by learning to choose between generating pronouns, generating from a fixed vocabulary, or copying a word from the profile. We evaluate our model on three different splits of the WebNLG dataset, and show that it outperforms competitive baselines in all settings according to automatic and human evaluations.


Coherent control of light for non line of sight imaging. Non line of sight (NLOS) imaging relies on collecting light that is rendered incoherent from the multiple scattering events and is then post processed to provide an estimate of the hidden scene. Here we employ coherent phase control of the outgoing laser beam phase front so as to refocus the beam behind the obscuring obstacle and then use the speckle memory effect to scan the focused spot across the scene. The back reflected light intensity provides a direct measurement of the scene with a signal to noise ratio that is greatly improved when measured using a temporally gated detector. A spatial resolution of less than 1 mm is demonstrated, opening the way to high resolution NLOS imaging.


Properly colored C 4 's in edge colored graphs. When many colors appear in edge colored graphs, it is only natural to expect rainbow subgraphs to appear. This anti Ramsey problem has been studied thoroughly and yet there remain many gaps in the literature. Expanding upon classical and recent results forcing rainbow triangles to appear, we consider similar conditions which force the existence of a properly colored copy of C 4 .


Limitations of the Hyperplane Separation Technique for Bounding the Extension Complexity of Polytopes. We illustrate the limitations of the hyperplane separation bound, a non combinatorial lower bound on the extension complexity of a polytope. Most notably, this bounding technique is used by Rothvo ss (J ACM 64.6 41, 2017) to establish an exponential lower bound for the perfect matching polytope. We point out that the technique is sensitive to the particular choice of slack matrix. For the canonical slack matrices of the spanning tree polytope and the completion time polytope, we show that the lower bounds produced by the hyperplane separation method are trivial. These bounds may, however, be strengthened by normalizing rows and columns of the slack matrices.


Optimal critical exponent L p inequalities of Hardy type on the sphere via Xiao's method. First, we correct the proof presented in Abimbola Abolarinwa, Kamilu Rauf, Songting Yin, Sharp L p Hardy type and uncertainty principle inequalities on the sphere, Journal of Mathematical Inequalities, 13, 4 (2019), 1011 1022 and obtain a correct sharp version of an L p Hardy inequality on the sphere mathbb S n for all 2 leq p n . Secondly, we prove sharp critical exponent L n inequalities on the sphere mathbb S n in mathbb R n 1 , n geq 2 . The singularity in this problem is the geodesic distance from an arbitrary point on the sphere.