Decimated Framelet System on Graphs and Fast G Framelet Transforms. Graph representation learning has many real world applications, from super resolution imaging, 3D computer vision to drug repurposing, protein classification, social networks analysis. An adequate representation of graph data is vital to the learning performance of a statistical or machine learning model for graph structured data. In this paper, we propose a novel multiscale representation system for graph data, called decimated framelets, which form a localized tight frame on the graph. The decimated framelet system allows storage of the graph data representation on a coarse grained chain and processes the graph data at multi scales where at each scale, the data is stored at a subgraph. Based on this, we then establish decimated G framelet transforms for the decomposition and reconstruction of the graph data at multi resolutions via a constructive data driven filter bank. The graph framelets are built on a chain based orthonormal basis that supports fast graph Fourier transforms. From this, we give a fast algorithm for the decimated G framelet transforms, or FGT, that has linear computational complexity O(N) for a graph of size N. The theory of decimated framelets and FGT is verified with numerical examples for random graphs. The effectiveness is demonstrated by real world applications, including multiresolution analysis for traffic network, and graph neural networks for graph classification tasks.


Introduction to the Tezos Blockchain. Tezos is an innovative blockchain that improves on several aspects compared to more established blockchains. It offers an original proof of stake consensus algorithm and can be used as a decentralized smart contract platform. It has the capacity to amend its own economic protocol through a voting mechanism and focuses on formal methods to improve safety.


Community membership consistency applied to corporate board interlock networks. Community detection is a well established method for studying the meso scale structure of social networks. Applying a community detection algorithm results in a division of a network into communities that is often used to inspect and reason about community membership of specific nodes. This micro level interpretation step of community structure is a crucial step in typical social science research. However, the methodological caveat in this step is that virtually all modern community detection methods are non deterministic and based on randomization and approximated results. This needs to be explicitly taken into consideration when reasoning about community membership of individual nodes. To do so, we propose a metric of community membership consistency, that provides node level insights in how reliable the placement of that node into a community really is. In addition, it enables us to distinguish the community core members of a community. The usefulness of the proposed metrics is demonstrated on corporate board interlock networks, in which weighted links represent shared senior level directors between firms. Results suggest that the community structure of global business groups is centered around persistent communities consisting of core countries tied by geographical and cultural proximity. In addition, we identify fringe countries that appear to associate with a number of different global business communities.


K and L theory of graph products of groups. We compute the group homology, the algebraic K and L groups, and the topological K groups of right angled Artin groups, right angled Coxeter groups, and more generally, graph products.


The probabilistic superiority of stochastic symplectic methods via large deviations principles. It is well known that symplectic methods have been rigorously shown to be superior to non symplectic ones especially in long time computation, when applied to deterministic Hamiltonian systems. In this paper, we attempt to study the probabilistic superiority of stochastic symplectic methods by means of the theory of large deviations. We propose the concept of asymptotical preservation of numerical methods for large deviations principles associated with the exact solutions of the general stochastic Hamiltonian systems. Concerning that the linear stochastic oscillator is one of the typical stochastic Hamiltonian systems, we take it as the test equation in this paper to obtain precise results about the rate functions of large deviations principles for both exact and numerical solutions. Based on the G "artner Ellis theorem, we first study the large deviations principles of the mean position and the mean velocity for both the exact solution and its numerical approximations. Then, we prove that stochastic symplectic methods asymptotically preserve these two large deviations principles, but non symplectic ones do not. This indicates that stochastic symplectic methods are able to approximate well the exponential decay speed of the "hitting probability" of the mean position and mean velocity of the stochastic oscillator. To the best of our knowledge, this is the first result about using large deviations principle to show the superiority of stochastic symplectic methods compared with non symplectic ones in the existing literature.


Biological credit assignment through dynamic inversion of feedforward networks. Learning depends on changes in synaptic connections deep inside the brain. In multilayer networks, these changes are triggered by error signals fed back from the output, generally through a stepwise inversion of the feedforward processing steps. The gold standard for this process backpropagation works well in artificial neural networks, but is biologically implausible. Several recent proposals have emerged to address this problem, but many of these biologically plausible schemes are based on learning an independent set of feedback connections. This complicates the assignment of errors to each synapse by making it dependent upon a second learning problem, and by fitting inversions rather than guaranteeing them. Here, we show that feedforward network transformations can be effectively inverted through dynamics. We derive this dynamic inversion from the perspective of feedback control, where the forward transformation is reused and dynamically interacts with fixed or random feedback to propagate error signals during the backward pass. Importantly, this scheme does not rely upon a second learning problem for feedback because accurate inversion is guaranteed through the network dynamics. We map these dynamics onto generic feedforward networks, and show that the resulting algorithm performs well on several supervised and unsupervised datasets. Finally, we discuss potential links between dynamic inversion and second order optimization. Overall, our work introduces an alternative perspective on credit assignment in the brain, and proposes a special role for temporal dynamics and feedback control during learning.


Caveat Venditor, Used USB Drive Owner. USB drives are a great way of transferring and backing up files. The problem is that they are easily lost, and users do not understand how to secure or properly erase them. When used to store private and sensitive information, this constitutes a risk that users may be unaware of. Consider that people sell used USB drives online presumably either their own or drives others have lost. This raises some interesting questions, such as whether sellers know how to ensure that private data is erased before they relinquish the drive to an unknown buyer, and whether sellers use these drives in an attempt to compromise an unwary buyer's device. Governments do indeed issue advice about the risks of used mobile media, but we do not yet know whether this advice is reaching, and being heeded by, the general public. To assess the situation, a sample of used USB drives were purchased from eBay sellers to determine, first hand, what was on the drives. This acts as an indicator of actual security related behaviours to answer the questions posed above. Using forensic analysis, it was found that a great deal of private and sensitive information remained on many of the drives, but there was no trace of malicious software. More effective ways of enlightening the public are needed, so that private data is not unwittingly leaked via sold used media.


Recyclable Waste Identification Using CNN Image Recognition and Gaussian Clustering. Waste recycling is an important way of saving energy and materials in the production process. In general cases recyclable objects are mixed with unrecyclable objects, which raises a need for identification and classification. This paper proposes a convolutional neural network (CNN) model to complete both tasks. The model uses transfer learning from a pretrained Resnet 50 CNN to complete feature extraction. A subsequent fully connected layer for classification was trained on the augmented TrashNet dataset 1 . In the application, sliding window is used for image segmentation in the pre classification stage. In the post classification stage, the labelled sample points are integrated with Gaussian Clustering to locate the object. The resulting model has achieved an overall detection rate of 48.4 in simulation and final classification accuracy of 92.4 .


On intermediate levels of nested occupancy scheme in random environment generated by stick breaking II. A nested occupancy scheme in random environment is a generalization of the classical Karlin infinite balls in boxes occupancy scheme in random environment (with random probabilities). Unlike the Karlin scheme in which the collection of boxes is unique, there is a nested hierarchy of boxes, and the hitting probabilities of boxes are defined in terms of iterated fragmentation of a unit mass. In the present paper we assume that the random fragmentation law is given by stick breaking in which case the infinite occupancy scheme defined by the first level boxes is known as the Bernoulli sieve. Assuming that n balls have been thrown, denote by K n(j) the number of occupied boxes in the j th level and call the level j intermediate if j j n to infty and j n o( log n) as n to infty . We prove a multidimensional central limit theorem for the vector (K n( lfloor j n u 1 rfloor), ldots, K n( lfloor j n u ell rfloor) , properly normalized and centered, as n to infty , where j n to infty and j n o(( log n) 1 2 ) . The present paper continues the line of investigation initiated in Buraczewski, Dovgay and Iksanov Electron. J. Probab. 25 paper no. 123, 2020 in which the occupancy of intermediate levels j n to infty , j n o(( log n) 1 3 ) was analyzed.


A Component Based Formal Language Workbench. The CBS framework supports component based specification of programming languages. It aims to significantly reduce the effort of formal language specification, and thereby encourage language developers to exploit formal semantics more widely. CBS provides an extensive library of reusable language specification components, facilitating co evolution of languages and their specifications. After introducing CBS and its formal definition, this short paper reports work in progress on generating an IDE for CBS from the definition. It also considers the possibility of supporting component based language specification in other formal language workbenches.


Searching Scientific Literature for Answers on COVID 19 Questions. Finding answers related to a pandemic of a novel disease raises new challenges for information seeking and retrieval, as the new information becomes available gradually. TREC COVID search track aims to assist in creating search tools to aid scientists, clinicians, policy makers and others with similar information needs in finding reliable answers from the scientific literature. We experiment with different ranking algorithms as part of our participation in this challenge. We propose a novel method for neural retrieval, and demonstrate its effectiveness on the TREC COVID search.


An end to end CNN framework for polarimetric vision tasks based on polarization parameter constructing network. Pixel wise operations between polarimetric images are important for processing polarization information. For the lack of such operations, the polarization information cannot be fully utilized in convolutional neural network(CNN). In this paper, a novel end to end CNN framework for polarization vision tasks is proposed, which enables the networks to take full advantage of polarimetric images. The framework consists of two sub networks a polarization parameter constructing network (PPCN) and a task network. PPCN implements pixel wise operations between images in the CNN form with 1x1 convolution kernels. It takes raw polarimetric images as input, and outputs polarization parametric images to task network so as to complete a vison task. By training together, the PPCN can learn to provide the most suitable polarization parametric images for the task network and the dataset. Taking faster R CNN as task network, the experimental results show that compared with existing methods, the proposed framework achieves much higher mean average precision (mAP) in object detection task


A technical remark on the Donaldson Futaki invariant for Fano reductive group compactifications. We present an elementary way of computing the Donaldson Futaki invariant associated to a test configuration of an anti canonically polarized Fano reductive group compactification.


Programmable anisotropic digital metasurface for independent manipulation of dual polarized THz waves based on voltage controlled phase transition of VO2 microwires. Programmable metasurfaces incorporated with tunable materials controlled by external stimuli can provide an unprecedented degree of freedom in dynamical wave manipulation in real time. Beyond the scope of isotropic reconfigurable metasurfaces that only support unique tunable responses for excitation with a certain single polarization, here, for the first time a new generation of ultrafast reprogrammable multi functional anisotropic metasurface is reported to enable interchangeable missions independently for two orthogonal linearly polarized THz wavefront excitations. The reconfigurability of the proposed anisotropic meta device was guaranteed by elaborately designed meta particle composed of two perpendicular VO2 microwires whose operational statuses can be arbitrarily and dynamically tuned among two digital states of 0 and 1 independent for dual polarization channels by mere changing the biasing voltage via two independent computer programmed multichannel DC network. Capitalizing on such meta particle design, single multiple focused THz beam into a pre determined focal spot and single multiple focused vortex beams with interchangeable OAM modes satisfactorily generated by encoding a metasurface with different parabola and spiral parabola like coding sequences respectively. Besides controlling the near field behaviors, the versatility and flexibility of the proposed anisotropic metasurface also can furnish an inspiring platform to manipulate the far field scattering patterns in each desired polarization channel. Anisotropic meta device bringing new degrees of freedom in achieving versatile tunable control of differently polarized electromagnetic waves which will significantly enhance storage density and data capacities and has the potential for complicated wave manipulation such as ultrafast THz communication and dynamic holography.


Continuity of weighted operators, Muckenhoupt A p weights, and Steklov problem for orthogonal polynomials. We consider weighted operators acting on L p( mathbb R d) and show that they depend continuously on the weight w in A p( mathbb R d) in the operator topology. Then, we use this result to estimate L p w( mathbb T ) norm of polynomials orthogonal on the unit circle when the weight w belongs to Muckenhoupt class A 2( mathbb T ) and p 2 . The asymptotics of the polynomial entropy is obtained as an application.


Learning to Stop Dynamic Simulation Monte Carlo Tree Search. Monte Carlo tree search (MCTS) has achieved state of the art results in many domains such as Go and Atari games when combining with deep neural networks (DNNs). When more simulations are executed, MCTS can achieve higher performance but also requires enormous amounts of CPU and GPU resources. However, not all states require a long searching time to identify the best action that the agent can find. For example, in 19x19 Go and NoGo, we found that for more than half of the states, the best action predicted by DNN remains unchanged even after searching 2 minutes. This implies that a significant amount of resources can be saved if we are able to stop the searching earlier when we are confident with the current searching result. In this paper, we propose to achieve this goal by predicting the uncertainty of the current searching status and use the result to decide whether we should stop searching. With our algorithm, called Dynamic Simulation MCTS (DS MCTS), we can speed up a NoGo agent trained by AlphaZero 2.5 times faster while maintaining a similar winning rate. Also, under the same average simulation count, our method can achieve a 61 winning rate against the original program.


Meta Uncertainty for Particle Image Velocimetry. Uncertainty quantification for Particle Image Velocimetry (PIV) is critical for comparing flow fields with Computational Fluid Dynamics (CFD) results, and model design and validation. However, PIV features a complex measurement chain with coupled, non linear error sources, and quantifying the uncertainty is challenging. Multiple assessments show that none of the current methods can reliably measure the actual uncertainty across a wide range of experiments. Because the current methods differ in assumptions regarding the measurement process and calculation procedures, it is not clear which method is best to use for an experiment. To address this issue, we propose a method to estimate an uncertainty method's sensitivity and reliability, termed the Meta Uncertainty. The novel approach is automated, local, and instantaneous, and based on perturbation of the recorded particle images. We developed an image perturbation scheme based on adding random unmatched particles to the interrogation window pair considering the signal to noise (SNR) of the correlation plane. Each uncertainty scheme's response to several trials of random particle addition is used to estimate a reliability metric, defined as the rate of change of the inter quartile range (IQR) of the uncertainties with increasing levels of particle addition. We also propose applying the meta uncertainty as a weighting metric to combine uncertainty estimates from individual schemes, based on ideas from the consensus forecasting literature. We use PIV measurements across a range of canonical flows to assess the performance of the uncertainty schemes.The results show that the combined uncertainty method outperforms the individual methods, and establish the meta uncertainty as a useful reliability assessment tool for PIV uncertainty quantification.


The evolution of high fidelity social learning. A defining feature of human culture is that knowledge and technology continually improve over time. Such cumulative cultural evolution (CCE) probably depends far more heavily on how reliably information is preserved than on how efficiently it is refined. Therefore, one possible reason that CCE appears diminished or absent in other species is that it requires accurate but specialized forms of social learning at which humans are uniquely adept. Here, we develop a Bayesian model to contrast the evolution of high fidelity social learning, which supports CCE, against low fidelity social learning, which does not. We find that high fidelity transmission evolves when (1) social and (2) individual learning are inexpensive, (3) traits are complex, (4) individual learning is abundant, (5) adaptive problems are difficult and (6) behaviour is flexible. Low fidelity transmission differs in many respects. It not only evolves when (2) individual learning is costly and (4) infrequent but also proves more robust when (3) traits are simple and (5) adaptive problems are easy. If conditions favouring the evolution of high fidelity transmission are stricter (3 and 5) or harder to meet (2 and 4), this could explain why social learning is common, but CCE is rare.


Self similarity and spectral dynamics. For a tuple A (A 0, A 1, ldots , A n) of elements in a unital Banach algebra mathcal B , its textit projective (joint) spectrum p(A) is the collection of z in mathbb P n such that A(z) z 0A 0 z 1 A 1 ldots z n A n is not invertible. If the tuple A is associated with the generators of a finitely generated group, then p(A) is simply called the projective spectrum of the group. This paper investigates a connection between self similar group representations and an induced polynomial map on the projective space that preserves the projective spectrum of the group. The focus is on two groups the infinite dihedral group D infty and the Grigorchuk group mathcal G of intermediate growth. The main theorem shows that for D infty the Julia set of the induced rational map F is equal to the union of the projective spectrum with the extended indeterminacy set. Moreover, the limit function of the iteration sequence F circ n on the Fatou set is determined explicitly. The result has an application to the group mathcal G and gives rise to a conjecture about its associated Julia set.


Story oriented Image Selection and Placement. Multimodal contents have become commonplace on the Internet today, manifested as news articles, social media posts, and personal or business blog posts. Among the various kinds of media (images, videos, graphics, icons, audio) used in such multimodal stories, images are the most popular. The selection of images from a collection either author's personal photo album, or web repositories and their meticulous placement within a text, builds a succinct multimodal commentary for digital consumption. In this paper we present a system that automates the process of selecting relevant images for a story and placing them at contextual paragraphs within the story for a multimodal narration. We leverage automatic object recognition, user provided tags, and commonsense knowledge, and use an unsupervised combinatorial optimization to solve the selection and placement problems seamlessly as a single unit.


Robust Visual Tracking Revisited From Correlation Filter to Template Matching. In this paper, we propose a novel matching based tracker by investigating the relationship between template matching and the recent popular correlation filter based trackers (CFTs). Compared to the correlation operation in CFTs, a sophisticated similarity metric termed "mutual buddies similarity" (MBS) is proposed to exploit the relationship of multiple reciprocal nearest neighbors for target matching. By doing so, our tracker obtains powerful discriminative ability on distinguishing target and background as demonstrated by both empirical and theoretical analyses. Besides, instead of utilizing single template with the improper updating scheme in CFTs, we design a novel online template updating strategy named "memory filtering" (MF), which aims to select a certain amount of representative and reliable tracking results in history to construct the current stable and expressive template set. This scheme is beneficial for the proposed tracker to comprehensively "understand" the target appearance variations, "recall" some stable results. Both qualitative and quantitative evaluations on two benchmarks suggest that the proposed tracking method performs favorably against some recently developed CFTs and other competitive trackers.


Do you comply with AI? Personalized explanations of learning algorithms and their impact on employees' compliance behavior. Machine Learning algorithms are technological key enablers for artificial intelligence (AI). Due to the inherent complexity, these learning algorithms represent black boxes and are difficult to comprehend, therefore influencing compliance behavior. Hence, compliance with the recommendations of such artifacts, which can impact employees' task performance significantly, is still subject to research and personalization of AI explanations seems to be a promising concept in this regard. In our work, we hypothesize that, based on varying backgrounds like training, domain knowledge and demographic characteristics, individuals have different understandings and hence mental models about the learning algorithm. Personalization of AI explanations, related to the individuals' mental models, may thus be an instrument to affect compliance and therefore employee task performance. Our preliminary results already indicate the importance of personalized explanations in industry settings and emphasize the importance of this research endeavor.


Prime localized Weinstein subdomains. For any high dimensional Weinstein domain and finite collection of primes, we construct a Weinstein subdomain whose wrapped Fukaya category is a localization of the original wrapped Fukaya category away from the given primes. When the original domain is a cotangent bundle, these subdomains form a decreasing lattice whose order cannot be reversed. Furthermore, we classify the possible wrapped Fukaya categories of Weinstein subdomains of a cotangent bundle of a simply connected, spin manifold, showing that they all coincide with one of these prime localizations. In the process, we describe which twisted complexes in the wrapped Fukaya category of a cotangent bundle of a sphere are isomorphic to genuine Lagrangians.


Cluster algebra structures on module categories over quantum affine algebras. We study monoidal categorifications of certain monoidal subcategories mathcal C J of finite dimensional modules over quantum affine algebras, whose cluster algebra structures coincide and arise from the category of finite dimensional modules over quiver Hecke algebra of type A infty . In particular, when the quantum affine algebra is of type A or B, the subcategory coincides with the monoidal category mathcal C mathfrak g 0 introduced by Hernandez Leclerc. As a consequence, the modules corresponding to cluster monomials are real simple modules over quantum affine algebras.


Analyzing Dynamical Brain Functional Connectivity As Trajectories on Space of Covariance Matrices. Human brain functional connectivity (FC) is often measured as the similarity of functional MRI responses across brain regions when a brain is either resting or performing a task. This paper aims to statistically analyze the dynamic nature of FC by representing the collective time series data, over a set of brain regions, as a trajectory on the space of covariance matrices, or symmetric positive definite matrices (SPDMs). We use a recently developed metric on the space of SPDMs for quantifying differences across FC observations, and for clustering and classification of FC trajectories. To facilitate large scale and high dimensional data analysis, we propose a novel, metric based dimensionality reduction technique to reduce data from large SPDMs to small SPDMs. We illustrate this comprehensive framework using data from the Human Connectome Project (HCP) database for multiple subjects and tasks, with task classification rates that match or outperform state of the art techniques.


Equivalent version of Huppert's conjecture on the codegrees. Let G be a finite group, Irr(G) the set of all irreducible complex characters of G and X in Irr(G). Let also cod(X) G kerX X(1) and cod(G) cod(X) X in Irr(G) . In this note, we show that the simple group PSL(2, q), for a prime power q 3, is uniquely determined by the set of its codegree.


Storywrangler A massive exploratorium for sociolinguistic, cultural, socioeconomic, and political timelines using Twitter. In real time, social media data strongly imprints world events, popular culture, and day to day conversations by millions of ordinary people at a scale that is scarcely conventionalized and recorded. Vitally, and absent from many standard corpora such as books and news archives, sharing and commenting mechanisms are native to social media platforms, enabling us to quantify social amplification (i.e., popularity) of trending storylines and contemporary cultural phenomena. Here, we describe Storywrangler, a natural language processing instrument designed to carry out an ongoing, day scale curation of over 100 billion tweets containing roughly 1 trillion 1 grams from 2008 to 2021. For each day, we break tweets into unigrams, bigrams, and trigrams spanning over 100 languages. We track n gram usage frequencies, and generate Zipf distributions, for words, hashtags, handles, numerals, symbols, and emojis. We make the data set available through an interactive time series viewer, and as downloadable time series and daily distributions. Although Storywrangler leverages Twitter data, our method of extracting and tracking dynamic changes of n grams can be extended to any similar social media platform. We showcase a few examples of the many possible avenues of study we aim to enable including how social amplification can be visualized through 'contagiograms'. We also present some example case studies that bridge n gram time series with disparate data sources to explore sociotechnical dynamics of famous individuals, box office success, and social unrest.


Distributive Mendelsohn triple systems and the Eisenstein integers. We define a Mendelsohn triple system (MTS) with self distributive quasigroup multiplication and order coprime with 3 to be distributive, non ramified (DNR). We classify, up to isomorphism, all DNR MTS and enumerate isomorphism classes (extending the work of Donovan, Griggs, McCourt, Opr v s al, and Stanovsk ' y ). The classification is accomplished via the representation theory of the Eisenstein integers, mathbb Z zeta mathbb Z X (X 2 X 1) . Containing the class of DNR MTS is that of MTS with an entropic (linear over an abelian group) quasigroup operation. Partial results on the classification of entropic MTS with order divisible by 3 are given, and a complete classification is conjectured. We also prove that for any entropic MTS, the qualities of being non ramified, pure, and self orthogonal are equivalent. We introduce the varieties mathbf RE and mathbf LE of (resp. right and left) Eisenstein quasigroups, whose respective linear representation theories correspond to the alternative presentation mathbb Z X (X 2 X 1) of the Eisenstein integers.


Security Analysis of Near Field Communication (NFC) Payments. Near Field Communication (NFC) is a modern technology for short range communication with a variety of applications ranging from physical access control to contactless payments. These applications are often heralded as being more secure, as they require close physical proximity and do not involve Wi Fi or mobile networks. However, these systems are still vulnerable to security attacks at the time of transaction, as they require little to no additional authentication from the user's end. In this paper, we propose a method to attack mobile based NFC payment methods and make payments at locations far away from where the attack occurs. We evaluate our methods on our personal Apple and Google Pay accounts and demonstrate two successful attacks on these NFC payment systems.


Coalitional Games with Stochastic Characteristic Functions and Private Types. The research on coalitional games has focused on how to share the reward among a coalition such that players are incentivised to collaborate together. It assumes that the (deterministic or stochastic) characteristic function is known in advance. This paper studies a new setting (a task allocation problem) where the characteristic function is not known and it is controlled by some private information from the players. Hence, the challenge here is twofold (i) incentivize players to reveal their private information truthfully, (ii) incentivize them to collaborate together. We show that existing reward distribution mechanisms or auctions cannot solve the challenge. Hence, we propose the very first mechanism for the problem from the perspective of both mechanism design and coalitional games.


Gradient free activation maximization for identifying effective stimuli. A fundamental question for understanding brain function is what types of stimuli drive neurons to fire. In visual neuroscience, this question has also been posted as characterizing the receptive field of a neuron. The search for effective stimuli has traditionally been based on a combination of insights from previous studies, intuition, and luck. Recently, the same question has emerged in the study of units in convolutional neural networks (ConvNets), and together with this question a family of solutions were developed that are generally referred to as "feature visualization by activation maximization." We sought to bring in tools and techniques developed for studying ConvNets to the study of biological neural networks. However, one key difference that impedes direct translation of tools is that gradients can be obtained from ConvNets using backpropagation, but such gradients are not available from the brain. To circumvent this problem, we developed a method for gradient free activation maximization by combining a generative neural network with a genetic algorithm. We termed this method XDream (EXtending DeepDream with real time evolution for activation maximization), and we have shown that this method can reliably create strong stimuli for neurons in the macaque visual cortex (Ponce et al., 2019). In this paper, we describe extensive experiments characterizing the XDream method by using ConvNet units as in silico models of neurons. We show that XDream is applicable across network layers, architectures, and training sets examine design choices in the algorithm and provide practical guides for choosing hyperparameters in the algorithm. XDream is an efficient algorithm for uncovering neuronal tuning preferences in black box networks using a vast and diverse stimulus space.


Query Expansion for Cross Language Question Re Ranking. Community question answering (CQA) platforms have become very popular forums for asking and answering questions daily. While these forums are rich repositories of community knowledge, they present challenges for finding relevant answers and similar questions, due to the open ended nature of informal discussions. Further, if the platform allows questions and answers in multiple languages, we are faced with the additional challenge of matching cross lingual information. In this work, we focus on the cross language question re ranking shared task, which aims to find existing questions that may be written in different languages. Our contribution is an exploration of query expansion techniques for this problem. We investigate expansions based on Word Embeddings, DBpedia concepts linking, and Hypernym, and show that they outperform existing state of the art methods.


ITSO A novel Inverse Transform Sampling based Optimization algorithm for stochastic search. Optimization algorithms appear in the core calculations of numerous Artificial Intelligence (AI) and Machine Learning methods, as well as Engineering and Business applications. Following recent works on the theoretical deficiencies of AI, a rigor context for the optimization problem of a textit black box objective function is developed. The algorithm stems directly from the theory of probability, instead of a presumed inspiration, thus the convergence properties of the proposed methodology are inherently stable. In particular, the proposed optimizer utilizes an algorithmic implementation of the n dimensional inverse transform sampling as a search strategy. No control parameters are required to be tuned, and the trade off among exploration and exploitation is by definition satisfied. A theoretical proof is provided, concluding that only falling into the proposed framework, either directly or incidentally, any optimization algorithm converges in the fastest possible time. The numerical experiments, verify the theoretical results on the efficacy of the algorithm apropos reaching the optimum, as fast as possible.


SAMSum Corpus A Human annotated Dialogue Dataset for Abstractive Summarization. This paper introduces the SAMSum Corpus, a new dataset with abstractive dialogue summaries. We investigate the challenges it poses for automated summarization by testing several models and comparing their results with those obtained on a corpus of news articles. We show that model generated summaries of dialogues achieve higher ROUGE scores than the model generated summaries of news in contrast with human evaluators' judgement. This suggests that a challenging task of abstractive dialogue summarization requires dedicated models and non standard quality measures. To our knowledge, our study is the first attempt to introduce a high quality chat dialogues corpus, manually annotated with abstractive summarizations, which can be used by the research community for further studies.


Complex Symmetry and Normality of Toeplitz Composition Operators on the Hardy space. In this paper, we investigate the conditions under which the Toeplitz Composition operator on the Hardy space mathcal H 2 becomes complex symmetric with respect to a certain conjugation. We also study various normality conditions for the Toeplitz Composition operator on mathcal H 2 .


Low rank matrix recovery with composite optimization good conditioning and rapid convergence. The task of recovering a low rank matrix from its noisy linear measurements plays a central role in computational science. Smooth formulations of the problem often exhibit an undesirable phenomenon the condition number, classically defined, scales poorly with the dimension of the ambient space. In contrast, we here show that in a variety of concrete circumstances, nonsmooth penalty formulations do not suffer from the same type of ill conditioning. Consequently, standard algorithms for nonsmooth optimization, such as subgradient and prox linear methods, converge at a rapid dimension independent rate when initialized within constant relative error of the solution. Moreover, nonsmooth formulations are naturally robust against outliers. Our framework subsumes such important computational tasks as phase retrieval, blind deconvolution, quadratic sensing, matrix completion, and robust PCA. Numerical experiments on these problems illustrate the benefits of the proposed approach.


Double ionization of a three electron atom Spin correlation effects. We study the effects of spin degrees of freedom and wave function symmetries on double ionization in three electron systems. Each electron is assigned one spatial degree of freedom. The resulting three dimensional Schr "odinger equation is integrated numerically using grid based Fourier transforms. We reveal three electron effects on the double ionization yield by comparing signals for different ionization channels. We explain our findings by the existence of fundamental differences between three electronic and truly two electronic spin resolved ionization schemes. We find, for instance, that double ionization from a three electron system is dominated by electrons that have the opposite spin.


An inverse problem for a semi linear elliptic equation in Riemannian geometries. We study the inverse problem of unique recovery of a complex valued scalar function V mathcal M times mathbb C to mathbb C , defined over a smooth compact Riemannian manifold ( mathcal M,g) with smooth boundary, given the Dirichlet to Neumann map, in a suitable sense, for the elliptic semi linear equation Delta g u V(x,u) 0 . We show that under some geometrical assumptions uniqueness can be proved for a large class of non linearities. The proof is constructive and is based on a multiple fold linearization of the semi linear equation near complex geometric optic solutions for the linearized operator and the resulting non linear interactions. These non linear interactions result in the study of a weighted transform along geodesics, that we call the Jacobi weighted ray transform.


Injection dimensions of projective varieties. We explore injective morphisms from complex projective varieties X to projective spaces mathbb P s of small dimension. Based on connectedness theorems, we prove that the ambient dimension s needs to be at least 2 dim X for all injections given by a linear subsystem of a strict power of a line bundle. Using this, we give an example where the smallest ambient dimension cannot be attained from any embedding X hookrightarrow mathbb P n by linear projections. Our focus then lies on X mathbb P n 1 times ldots times mathbb P n r , in which case there is a close connection to secant loci of Segre Veronese varieties and the rank 2 geometry of partially symmetric tensors, as well as on X mathbb P (q 0, ldots,q n) , which is linked to separating invariants for representations of finite cyclic groups. We showcase three techniques for constructing injections X to mathbb P 2 dim X in specific cases.


A comparison of the real and non archimedean Monge Amp ere operator. Let X be a proper algebraic variety over a non archimedean, non trivially valued field. We show that the non archimedean Monge Amp ere measure of a metric arising from a convex function on an open face of some skeleton of X text an is equal to the real Monge Amp ere measure of that function up to multiplication by a constant. As a consequence we obtain a regularity result for solutions of the non archimedean Monge Amp ere problem on curves.


Geodesic rays, the "Lion Man" game, and the fixed point property. This paper focuses on the relation among the existence of different types of curves (such as directional ones, quasi geodesic or geodesic rays), the (approximate) fixed point property for nonexpansive mappings, and a discrete lion and man game. Our main result holds in the setting of CAT(0) spaces that are additionally Gromov hyperbolic.


Requirements driven Test Generation for Autonomous Vehicles with Machine Learning Components. Autonomous vehicles are complex systems that are challenging to test and debug. A requirements driven approach to the development process can decrease the resources required to design and test these systems, while simultaneously increasing the reliability. We present a testing framework that uses signal temporal logic (STL), which is a precise and unambiguous requirements language. Our framework evaluates test cases against the STL formulae and additionally uses the requirements to automatically identify test cases that fail to satisfy the requirements. One of the key features of our tool is the support for machine learning (ML) components in the system design, such as deep neural networks. The framework allows evaluation of the control algorithms, including the ML components, and it also includes models of CCD camera, lidar, and radar sensors, as well as the vehicle environment. We use multiple methods to generate test cases, including covering arrays, which is an efficient method to search discrete variable spaces. The resulting test cases can be used to debug the controller design by identifying controller behaviors that do not satisfy requirements. The test cases can also enhance the testing phase of development by identifying critical corner cases that correspond to the limits of the system's allowed behaviors. We present STL requirements for an autonomous vehicle system, which capture both component level and system level behaviors. Additionally, we present three driving scenarios and demonstrate how our requirements driven testing framework can be used to identify critical system behaviors, which can be used to support the development process.


Tuning plasmonic field enhancement and transients by far field coupling between nanostructures. We study how the collective effects of nanoparticles arranged in rectangular arrays influence their temporal plasmon response and field enhancement property. By systematically changing the lattice constant for arrays containing identical metal nanorods, we experimentally demonstrate how grating induced effects affect the position and, more importantly, the broadening of extinction spectra. We correlate these effects with the achievable field enhancement and the temporal duration of plasmon transients and formulate criteria for the generation of enhanced few cycle localized plasmon oscillations.


Enhanced left right asymmetry in reflection and transmission due to a periodic multilayer of a topological insulator and an anisotropic dielectric material. Very weak left right asymmetry in reflection and transmission is offered by a layer of a topological insulator on top of a layer of an anisotropic dielectric material, but it can be enhanced very significantly by using a periodic multilayer of both types of materials. This is an attractive prospect for realizing one way terahertz devices, because both types of materials can be grown using standard physical vapor deposition techniques.


On localizing subcategories of derived categories of categories of quasi coherent sheaves on Noetherian algebraic spaces. Let S be a scheme contained in mathbf Sch fppf . Let mathfrak X be a Noetherian separated algebraic space over S . In this paper, we interpret localizing subcategories of the derived category of mathfrak X by using subsets of mathfrak X .


A Curious Link Between Prime Numbers, the Maundy Cake Problem and Parallel Sorting. We present new theoretical algorithms that sums the n ary comparators output in order to get the permutation indices in order to sort a sequence. By analysing the parallel ranking algorithm, we found that the special comparators number of elements it processes divide the number of elements to be sorted. Using the divide and conquer method, we can express the sorting problem into summing output of comparators taking a prime number of elements, given that this prime number divides the initial disordered sequence length. The number of sums is directly related to the Maundy cake problem. Furthermore, we provide a new sequence that counts the number of comparators used in the algorithms.


Graph Drawing with Morphing Partial Edges. A partial edge drawing (PED) of a graph is a variation of a node link diagram. PED draws a link, which is a partial visual representation of an edge, and reduces visual clutter of the node link diagram. However, more time is required to read a PED to infer undrawn parts. The authors propose a morphing edge drawing (MED), which is a PED that changes with time. In MED, links morph between partial and complete drawings thus, a reduced load for estimation of undrawn parts in a PED is expected. Herein, a formalization of MED is shown based on a formalization of PED. Then, requirements for the scheduling of morphing are specified. The requirements inhibit morphing from crossing and shorten the overall time for morphing the edges. Moreover, an algorithm for a scheduling method implemented by the authors is illustrated and the effectiveness of PED from a reading time viewpoint is shown through an experimental evaluation.


Successive Cancellation List Decoding of Semi random Unit Memory Convolutional Codes. We present in this paper a special class of unit memory convolutional codes (UMCCs), called semi random UMCCs (SRUMCCs), where the information block is first encoded by a short block code and then transmitted in a block Markov (random) superposition manner. We propose a successive cancellation list decoding algorithm, by which a list of candidate codewords are generated serially until one passes an empirical divergence test instead of the conventional cyclic redundancy check (CRC). The threshold for testing the correctness of candidate codewords can be learned off line based on the statistical behavior of the introduced empirical divergence function (EDF). The performance complexity tradeoff and the performance delay tradeoff can be achieved by adjusting the statistical threshold and the decoding window size. To analyze the performance, a closed form upper bound and a simulated lower bound are derived. Simulation results verify our analysis and show that 1) The proposed list decoding algorithm with empirical divergence test outperforms the sequential decoding in high signal to noise ratio (SNR) region 2) Taking the tail biting convolutional codes (TBCC) as the basic codes, the proposed list decoding of SRUMCCs have comparable performance with the polar codes under the constraint of equivalent decoding delay.


Deep Surrogate Models for Multi dimensional Regression of Reactor Power. There is renewed interest in developing small modular reactors and micro reactors. Innovation is necessary in both construction and operation methods of these reactors to be financially attractive. For operation, an area of interest is the development of fully autonomous reactor control. Significant efforts are necessary to demonstrate an autonomous control framework for a nuclear system, while adhering to established safety criteria. Our group has proposed and received support for demonstration of an autonomous framework on a subcritical system the MIT Graphite Exponential Pile. In order to have a fast response (on the order of miliseconds), we must extract specific capabilities of general purpose system codes to a surrogate model. Thus, we have adopted current state of the art neural network libraries to build surrogate models. This work focuses on establishing the capability of neural networks to provide an accurate and precise multi dimensional regression of a nuclear reactor's power distribution. We assess using a neural network surrogate against a previously validated model an MCNP5 model of the MIT reactor. The results indicate that neural networks are an appropriate choice for surrogate models to implement in an autonomous reactor control framework. The MAPE across all test datasets was 1.16 with a corresponding standard deviation of 0.77 . The error is low, considering that the node wise fission power can vary from 7 kW to 30 kW across the core.


Text Readability Assessment for Second Language Learners. This paper addresses the task of readability assessment for the texts aimed at second language (L2) learners. One of the major challenges in this task is the lack of significantly sized level annotated data. For the present work, we collected a dataset of CEFR graded texts tailored for learners of English as an L2 and investigated text readability assessment for both native and L2 learners. We applied a generalization method to adapt models trained on larger native corpora to estimate text readability for learners, and explored domain adaptation and self learning techniques to make use of the native data to improve system performance on the limited L2 data. In our experiments, the best performing model for readability on learner texts achieves an accuracy of 0.797 and PCC of 0.938 .


Fluctuations of beta Jacobi Product Processes. We study Markov chains formed by squared singular values of products of truncated orthogonal, unitary, symplectic matrices (corresponding to the Dyson index beta 1,2,4 respectively) where time corresponds to the number of terms in the product. More generally, we consider the beta Jacobi product process obtained by extrapolating to arbitrary beta 0 . When the time scaling is preserved, we show that the global fluctuations are jointly Gaussian with explicit covariances. For time growing linearly with matrix size, we show convergence of moments after suitable rescaling. When beta 2 , our results imply that the right edge converges to a process which interpolates between the Airy point process and a deterministic configuration. This process connects a time parametrized family of point processes appearing in the works of Akemann Burda Kieburg and Liu Wang Wang across time. In the arbitrary beta 0 case, our results show tightness of the particles near the right edge. The limiting moment formulas correspond to expressions for the Laplace transform of a conjectural beta generalization of the interpolating process.


An Efficient Anonymous Authentication Scheme Using Registration List in VANETs. Nowadays, Vehicular Ad hoc Networks (VANETs) are popularly known as they can reduce traffic and road accidents. These networks need several security requirements, such as anonymity, data authentication, confidentiality, traceability and cancellation of offending users, unlinkability, integrity, undeniability and access control. Authentication is one of the most important security requirements in these networks. So many authentication schemes have been proposed up to now. One of the well known techniques to provide users authentication in these networks is the authentication based on the smartcard (ASC). In this paper, we propose an ASC scheme that not only provides necessary security requirements such as anonymity, traceability and unlinkability in the VANETs but also is more efficient than the other schemes in the literatures.


Synthesis and Pruning as a Dynamic Compression Strategy for Efficient Deep Neural Networks. The brain is a highly reconfigurable machine capable of task specific adaptations. The brain continually rewires itself for a more optimal configuration to solve problems. We propose a novel strategic synthesis algorithm for feedforward networks that draws directly from the brain's behaviours when learning. The proposed approach analyses the network and ranks weights based on their magnitude. Unlike existing approaches that advocate random selection, we select highly performing nodes as starting points for new edges and exploit the Gaussian distribution over the weights to select corresponding endpoints. The strategy aims only to produce useful connections and result in a smaller residual network structure. The approach is complemented with pruning to further the compression. We demonstrate the techniques to deep feedforward networks. The residual sub networks that are formed from the synthesis approaches in this work form common sub networks with similarities up to 90 . Using pruning as a complement to the strategic synthesis approach, we observe improvements in compression.


Model Order Reduction of Combustion Processes with Complex Front Dynamics. In this work we present a data driven method, used to improve mode based model order reduction of transport fields with sharp fronts. We assume that the original flow field q( mathbf x ,t) f( phi( mathbf x ,t)) can be reconstructed by a front shape function f and a level set function phi . The level set function is used to generate a local coordinate, which parametrizes the distance to the front. In this way, we are able to embed the local 1D description of the front for complex 2D front dynamics with merging or splitting fronts, while seeking a low rank description of phi . Here, the freedom of choosing phi far away from the front can be used to find a low rank description of phi which accelerates the convergence of Vert q f( phi n) Vert , when truncating phi after the n th mode. We demonstrate the ability of this new ansatz for a 2D propagating flame with a moving front.


Statistical relationships between corresponding authorship, international co authorship and citation impact of national research systems. This paper presents a statistical analysis of the relationship between three science indicators applied in earlier bibliometric studies, namely research leadership based on corresponding authorship, international collaboration using international co authorship data, and field normalized citation impact. Indicators at the level of countries are extracted from the SIR database created by SCImago Research Group from publication records indexed for Elsevier's Scopus. The relationship between authorship and citation based indicators is found to be complex, as it reflects a country's phase of scientific development and the coverage policy of the database. Moreover, one should distinguish a genuine leadership effect from a purely statistical effect due to fractional counting. Further analyses at the level of institutions and qualitative validation studies are recommended.


Schur Weyl duality and the Product of randomly rotated symmetries by a unitary Brownian motion. In this paper, we introduce and study a unitary matrix valued process which is closely related to the Hermitian matrix Jacobi process. It is precisely defined as the product of a deterministic self adjoint symmetry and a randomly rotated one by a unitary Brownian motion. Using stochastic calculus and the action of the symmetric group on tensor powers, we derive an autonomous ordinary differential equation for the moments of its fixed time marginals. Next, we derive an expression of these moments which involves a unitary bridge between our unitary process and another independent unitary Brownian motion. This bridge motivates and allows to write a second direct proof of the obtained moment expression.


Suppressing Mislabeled Data via Grouping and Self Attention. Deep networks achieve excellent results on large scale clean data but degrade significantly when learning from noisy labels. To suppressing the impact of mislabeled data, this paper proposes a conceptually simple yet efficient training block, termed as Attentive Feature Mixup (AFM), which allows paying more attention to clean samples and less to mislabeled ones via sample interactions in small groups. Specifically, this plug and play AFM first leverages a textit group to attend module to construct groups and assign attention weights for group wise samples, and then uses a textit mixup module with the attention weights to interpolate massive noisy suppressed samples. The AFM has several appealing benefits for noise robust deep learning. (i) It does not rely on any assumptions and extra clean subset. (ii) With massive interpolations, the ratio of useless samples is reduced dramatically compared to the original noisy ratio. (iii) pxj It jointly optimizes the interpolation weights with classifiers, suppressing the influence of mislabeled data via low attention weights. (iv) It partially inherits the vicinal risk minimization of mixup to alleviate over fitting while improves it by sampling fewer feature target vectors around mislabeled data from the mixup vicinal distribution. Extensive experiments demonstrate that AFM yields state of the art results on two challenging real world noisy datasets Food101N and Clothing1M. The code will be available at https github.com kaiwang960112 AFM.


Quantum flips I local model. We study analytic continuations of quantum cohomology under simple flips f X dashrightarrow X' along the extremal ray quantum variable q ell . The inverse correspondence Psi Gamma f by the graph closure gives an embedding of Chow motives hat X ' hookrightarrow hat X which preserves the Poincar 'e pairing. We construct a deformation widehat Psi of Psi Gamma f which induces a non linear embedding QH(X') hookrightarrow QH(X) in the category of F manifolds into the regular integrable loci of QH(X) near q ell infty . This provides examples of functoriality of quantum cohomology beyond K equivalent transformations. In this paper, we focus on the case when X and X' are (projective) local models.


A structural attack to the DME (3,2,q) cryptosystem. We present a structural attack on the DME cryptosystem with paramenters (3,2,q). The attack recovers 10 of the 12 coefficients of the first linear map. We also show that, if those 12 coefficients were known, the rest of the private key can be efficiently obtained by solving systems of quadratic equations with just two variables.


Estimating the average of functions with convexity properties by means of a new center. In this article we show the following result if C is an n dimensional convex and compact subset, f C rightarrow 0, infty) is concave, and phi 0, infty) rightarrow 0, infty) is a convex function with phi(0) 0 , we then characterize the class of sets and concave functions that attain the supremum sup C,f int C phi(f(x))dx, where the supremum ranges over all sets C with n dimensional volume C c and the additional condition that f(x C,f ) k for some point x C,f in C that we introduce in the article, for two non negative constants c,k 0 . As a consequence, we extend some results of Milman and Pajor in MP and some in Thm. 1.2, GoMe . Besides, we also obtain some new estimates on the volume of particular sections of a convex set K passing through a new point of K .


Style Transfer for Light Field Photography. As light field images continue to increase in use and application, it becomes necessary to adapt existing image processing methods to this unique form of photography. In this paper we explore methods for applying neural style transfer to light field images. Feed forward style transfer networks provide fast, high quality results for monocular images, but no such networks exist for full light field images. Because of the size of these images, current light field data sets are small and are insufficient for training purely feed forward style transfer networks from scratch. Thus, it is necessary to adapt existing monocular style transfer networks in a way that allows for the stylization of each view of the light field while maintaining visual consistencies between views. Instead, the proposed method backpropagates the loss through the network, and the process is iterated to optimize (essentially overfit) the resulting stylization for a single light field image alone. The network architecture allows for the incorporation of pre trained fast monocular stylization networks while avoiding the need for a large light field training set.


Evidence based teaching how do we all get there?. There are compelling reasons to shift our pedagogy toward evidence based active learning methods that substantially improve student success, and now plenty of resources to aid in that shift. These include the recent CBMS Statement on Active Learning, MAA Instructional Practices Guide (IPG), and MIT Electronic Seminar on Mathematics Education. But implementation is neither quick nor easy. There are still plenty of individual, institutional, cultural, and professional obstacles, along with wonderful opportunities. At the 2019 Joint Mathematics Meetings we co organized a guided discussion an un panel'' sponsored by the American Mathematical Society's Committee on Education in order to stimulate the process of our community moving toward active learning in our teaching pedagogy. Seventy participants with fifteen discussion leaders expanded an initial list of issues, and considered questions around both challenges and opportunities. Here we summarize from these discussions, suggesting areas for collaborative efforts ranging from local colleagues and educational institutions to national and global professional societies.


A new approach to the Rayleigh Taylor instability. In this article we consider the inhomogeneous incompressible Euler equations describing two fluids with different constant densities under the influence of gravity as a differential inclusion. By considering the relaxation of the constitutive laws we formulate a general criterion for the existence of infinitely many weak solutions which reflect the turbulent mixing of the two fluids. Our criterion can be verified in the case that initially the fluids are at rest and separated by a flat interface with the heavier one being above the lighter one the classical configuration giving rise to the Rayleigh Taylor instability. We construct specific examples when the Atwood number is in the ultra high range, for which the zone in which the mixing occurs grows quadratically in time.


Light simulation in plastic scintillator strip with embedded wavelength shifting fiber. The simulation study of the light yield and attenuation in the plastic scintillator was performed. The wavelength shifting fiber readout was embedded in the grooves machined along the entire strip surface. The scintillator strips was irradiated with a radiation source 90 Sr or cosmic muons along and across the strip.


Pow Wow A Dataset and Study on Collaborative Communication in Pommerman. In multi agent learning, agents must coordinate with each other in order to succeed. For humans, this coordination is typically accomplished through the use of language. In this work we perform a controlled study of human language use in a competitive team based game, and search for useful lessons for structuring communication protocol between autonomous agents. We construct Pow Wow, a new dataset for studying situated goal directed human communication. Using the Pommerman game environment, we enlisted teams of humans to play against teams of AI agents, recording their observations, actions, and communications. We analyze the types of communications which result in effective game strategies, annotate them accordingly, and present corpus level statistical analysis of how trends in communications affect game outcomes. Based on this analysis, we design a communication policy for learning agents, and show that agents which utilize communication achieve higher win rates against baseline systems than those which do not.


Few Shot Adaptation of Generative Adversarial Networks. Generative Adversarial Networks (GANs) have shown remarkable performance in image synthesis tasks, but typically require a large number of training samples to achieve high quality synthesis. This paper proposes a simple and effective method, Few Shot GAN (FSGAN), for adapting GANs in few shot settings (less than 100 images). FSGAN repurposes component analysis techniques and learns to adapt the singular values of the pre trained weights while freezing the corresponding singular vectors. This provides a highly expressive parameter space for adaptation while constraining changes to the pretrained weights. We validate our method in a challenging few shot setting of 5 100 images in the target domain. We show that our method has significant visual quality gains compared with existing GAN adaptation methods. We report qualitative and quantitative results showing the effectiveness of our method. We additionally highlight a problem for few shot synthesis in the standard quantitative metric used by data efficient image synthesis works. Code and additional results are available at http e 271.github.io few shot gan.


A Note on Lower Digits Extraction Polynomial for Bootstrapping. Bootstrapping is a crucial but computationally expensive step for realizing Fully Homomorphic Encryption (FHE). Recently, Chen and Han (Eurocrypt 2018) introduced a family of low degree polynomials to extract the lowest digit with respect to a certain congruence, which helps improve the bootstrapping for both FV and BGV schemes. In this note, we present the following relevant findings about the work of Chen and Han (referred to as CH18) 1. We provide a simpler construction of the low degree polynomials that serve the same purpose and match the asymptotic bound achieved in CH18 2. We show the optimality and limit of our approach by solving a minimal polynomial degree problem 3. We consider the problem of extracting other low order digits using polynomials, and provide negative results.


Exponential Stability of Partial Primal Dual Gradient Dynamics with Nonsmooth Objective Functions. In this paper, we investigate the continuous time partial primal dual gradient dynamics (P PDGD) for solving convex optimization problems with the form min limits x in X,y in Omega f( x ) h(y), textit s.t. A x By C , where f( x ) is strongly convex and smooth, but h(y) is strongly convex and non smooth. Affine equality and set constraints are included. We prove the exponential stability of P PDGD, and bounds on decaying rates are provided. Moreover, it is also shown that the decaying rates can be regulated by setting the stepsize.


On Levi flat hypersurfaces with transversely affine foliation. We prove the non existence of real analytic Levi flat hypersurface whose complement is 1 convex and Levi foliation is transversely affine in compact Kahler surfaces.


On the Tractability of Public Persuasion with No Externalities. Persuasion studies how a principal can influence agents' decisions via strategic information revelation often described as a signaling scheme in order to yield the most desirable equilibrium outcome. Recently, there has been a large body of algorithmic study of designing optimal public signaling schemes, a.k.a., public persuasion, which however is rifle with computational intractability results. In this paper, we design efficient and tight algorithms for public persuasion, and focus on a fundamental multi agent persuasion model with no inter agent externalities and binary actions introduced by Arieli and Babichenko. En route, we develop new algorithmic techniques which may be of independent interests. First, we prove that optimal public persuasion is fixed parameter tractable. Our main result here relies on an interesting connection to a basic question in combinatorial geometry how many cells can n hyperplanes divide R d into? We use this connection to show a new characterization of public persuasion, which then enables efficient algorithm design. Second, we relax agent incentives and show that optimal public persuasion admits a bi criteria PTAS for monotone submodular objectives and this approximation is tight. To prove this result, we establish an intriguing "noise stability" property of submodular functions which strictly generalizes the key result of Cheraghchi et al., originally motivated by applications of learning submodular functions and differential privacy. Finally, motivated by automated persuasion implemented as software, we consider relaxing the equilibrium concept of the model to coarse correlated equilibrium. Here we use a sophisticated primal dual analysis to establish the polynomial time equivalence between optimal public persuasion and the combinatorial problem of directly maximizing the sender's objective minus any linear function.


Memory systems of the brain. Humans have long been fascinated by how memories are formed, how they can be damaged or lost, or still seem vibrant after many years. Thus the search for the locus and organization of memory has had a long history, in which the notion that is is composed of distinct systems developed during the second half of the 20th century. A fundamental dichotomy between conscious and unconscious memory processes was first drawn based on evidences from the study of amnesiac subjects and the systematic experimental work with animals. The use of behavioral and neural measures together with imaging techniques have progressively led researchers to agree in the existence of a variety of neural architectures that support multiple memory systems. This article presents a historical lens with which to contextualize these idea on memory systems, and provides a current account for the multiple memory systems model.


Epsilon factors of symplectic type characters in the wild case. By work of John Tate we can associate an epsilon factor with every multiplicative character of a local field. In this paper we determine the explicit signs of the epsilon factors for symplectic type characters of K times , where K F is a wildly ramified quadratic extension of a non Archimedean local field F of characteristic zero.


Weak Unbounded Norm Topology and Dounford Pettis Operators. In this paper, we study un dual (in symbol, ud E ) of Banach lattice E and compare it with topological dual E . If E has order continuous norm, then E ud E . We introduce and study weakly unbounded norm topology ( wun topology) on Banach lattices and compare it with weak topology and uaw topology. In the final, we introduce and study wun Dunford Pettis opertors from a Banach lattice E into Banach space X and we investigate some of its properties and its relationships with others known operators.


Online Primal Dual Mirror Descent under Stochastic Constraints. We consider online convex optimization with stochastic constraints where the objective functions are arbitrarily time varying and the constraint functions are independent and identically distributed (i.i.d.) over time. Both the objective and constraint functions are revealed after the decision is made at each time slot. The best known expected regret for solving such a problem is mathcal O ( sqrt T ) , with a coefficient that is polynomial in the dimension of the decision variable and relies on the Slater condition (i.e. the existence of interior point assumption), which is restrictive and in particular precludes treating equality constraints. In this paper, we show that such Slater condition is in fact not needed. We propose a new primal dual mirror descent algorithm and show that one can attain mathcal O ( sqrt T ) regret and constraint violation under a much weaker Lagrange multiplier assumption, allowing general equality constraints and significantly relaxing the previous Slater conditions. Along the way, for the case where decisions are contained in a probability simplex, we reduce the coefficient to have only a logarithmic dependence on the decision variable dimension. Such a dependence has long been known in the literature on mirror descent but seems new in this new constrained online learning scenario.


SemEval 2016 Task 3 Community Question Answering. This paper describes the SemEval 2016 Task 3 on Community Question Answering, which we offered in English and Arabic. For English, we had three subtasks Question Comment Similarity (subtask A), Question Question Similarity (B), and Question External Comment Similarity (C). For Arabic, we had another subtask Rerank the correct answers for a new question (D). Eighteen teams participated in the task, submitting a total of 95 runs (38 primary and 57 contrastive) for the four subtasks. A variety of approaches and features were used by the participating systems to address the different subtasks, which are summarized in this paper. The best systems achieved an official score (MAP) of 79.19, 76.70, 55.41, and 45.83 in subtasks A, B, C, and D, respectively. These scores are significantly better than those for the baselines that we provided. For subtask A, the best system improved over the 2015 winner by 3 points absolute in terms of Accuracy.


Higher order terms of the spectral heat content for killed subordinate and subordinate killed Brownian motions related to symmetric alpha stable processes in R. We investigate the 3rd term of spectral heat content for killed subordinate and subordinate killed Brownian motions on a bounded open interval D (a, b) in a real line when the underlying subordinators are stable subordinators with index alpha is in (1, 2) or alpha 1. We prove that in the 3rd term of spectral heat content, one can observe the length b a of the interval D.


How initial distribution affects symmetry breaking induced by panic in ants experiment and flee pheromone model. Collective escaping is a ubiquitous phenomenon in animal groups. Symmetry breaking caused by panic escape exhibits a shared feature across species that one exit is used more than the other when agents escaping from a closed space with two symmetrically located exists. Intuitively, one exit will be used more by more individuals close to it, namely there is an asymmetric distribution initially. We used ant groups to investigate how initial distribution of colonies would influence symmetry breaking in collective escaping. Surprisingly, there was no positive correlation between symmetry breaking and the asymmetrically initial distribution, which was quite counter intuitive. In the experiments, a flee stage was observed and accordingly a flee pheromone model was introduced to depict this special behavior in the early stage of escaping. Simulation results fitted well with the experiment. Furthermore, the flee stage duration was calibrated quantitatively and the model reproduced the observation demonstrated by our previous work. This paper explicitly distinguished two stages in ant panic escaping for the first time, thus enhancing the understanding in escaping behavior of ant colonies.


Overcoming the absorption limit in high harmonic generation from crystals. Since the new millennium coherent extreme ultra violet and soft x ray radiation has revolutionized the understanding of dynamical physical, chemical and biological systems at the electron's natural timescale. Unfortunately, coherent laser based upconversion of infrared photons to vacuum ultraviolet and soft x ray high order harmonics in gaseous, liquid and solid targets is notoriously inefficient. In dense nonlinear media, the limiting factor is strong re absorption of the generated high energy photons. Here we overcome this limitation by allowing high order harmonics generated from a periodic array of thin one dimensional crystalline silicon ridge waveguides to propagate in the vacuum gaps between the ridges, thereby avoiding the high absorption loss of the bulk nonlinear material and resulting in a 100 fold increase in propagation length. As the grating period is varied, each high harmonic shows a different and marked modulation, indicating the onset of coherent addition which is otherwise suppressed in absorption limited emission. By beating the absorption limit, our results pave the way for bright coherent short wavelength sources and their implementation in nano photonic devices.


Uniqueness and two shared set problems of L Function and certain class of meromorphic function. Starting with a question of Yuan Li Yi Value distribution of L functions and uniqueness questions of F. Gross, Lithuanian Math. J., 58(2)(2018), 249 262 we have studied the uniqueness of a meromorphic function f and an L function L sharing two finite sets. At the time of execution of our work, we have pointed out a serious lacuna in the proof of a recent result of a of Sahoo Halder Some results on L functions related to sharing two finite sets, Comput. Methods Funct. Theo., 19(2019), 601 612 which makes most of the part of the Sahoo Halder's paper under question. In context of our choice of sets, we have rectified Sahoo Halder's result in a convenient manner.


Improving Web Content Blocking With Event Loop Turn Granularity JavaScript Signatures. Content blocking is an important part of a performant, user serving, privacy respecting web. Most content blockers build trust labels over URLs. While useful, this approach has well understood shortcomings. Attackers may avoid detection by changing URLs or domains, bundling unwanted code with benign code, or inlining code in pages. The common flaw in existing approaches is that they evaluate code based on its delivery mechanism, not its behavior. In this work we address this problem with a system for generating signatures of the privacy and security relevant behavior of executed JavaScript. Our system considers script behavior during each turn on the JavaScript event loop. Focusing on event loop turns allows us to build signatures that are robust against code obfuscation, code bundling, URL modification, and other common evasions, as well as handle unique aspects of web applications. This work makes the following contributions to improving content blocking First, implement a novel system to build per event loop turn signatures of JavaScript code by instrumenting the Blink and V8 runtimes. Second, we apply these signatures to measure filter list evasion, by using EasyList and EasyPrivacy as ground truth and finding other code that behaves identically. We build 2m signatures of privacy and security behaviors from 11,212 unique scripts blocked by filter lists, and find 3,589 more unique scripts including the same harmful code, affecting 12.48 of websites measured. Third, we taxonomize common filter list evasion techniques. Finally, we present defenses filter list additions where possible, and a proposed, signature based system in other cases. We share the implementation of our signature generation system, the dataset from applying our system to the Alexa 100K, and 586 AdBlock Plus compatible filter list rules to block instances of currently blocked code being moved to new URLs.


Information Theoretic Segmentation by Inpainting Error Maximization. We study image segmentation from an information theoretic perspective, proposing a novel adversarial method that performs unsupervised segmentation by partitioning images into maximally independent sets. More specifically, we group image pixels into foreground and background, with the goal of minimizing predictability of one set from the other. An easily computed loss drives a greedy search process to maximize inpainting error over these partitions. Our method does not involve training deep networks, is computationally cheap, class agnostic, and even applicable in isolation to a single unlabeled image. Experiments demonstrate that it achieves a new state of the art in unsupervised segmentation quality, while being substantially faster and more general than competing approaches.


Predicting Early Indicators of Cognitive Decline from Verbal Utterances. Dementia is a group of irreversible, chronic, and progressive neurodegenerative disorders resulting in impaired memory, communication, and thought processes. In recent years, clinical research advances in brain aging have focused on the earliest clinically detectable stage of incipient dementia, commonly known as mild cognitive impairment (MCI). Currently, these disorders are diagnosed using a manual analysis of neuropsychological examinations. We measure the feasibility of using the linguistic characteristics of verbal utterances elicited during neuropsychological exams of elderly subjects to distinguish between elderly control groups, people with MCI, people diagnosed with possible Alzheimer's disease (AD), and probable AD. We investigated the performance of both theory driven psycholinguistic features and data driven contextual language embeddings in identifying different clinically diagnosed groups. Our experiments show that a combination of contextual and psycholinguistic features extracted by a Support Vector Machine improved distinguishing the verbal utterances of elderly controls, people with MCI, possible AD, and probable AD. This is the first work to identify four clinical diagnosis groups of dementia in a highly imbalanced dataset. Our work shows that machine learning algorithms built on contextual and psycholinguistic features can learn the linguistic biomarkers from verbal utterances and assist clinical diagnosis of different stages and types of dementia, even with limited data.


Obstructions to semiorthogonal decompositions for singular threefolds I K theory. We investigate necessary conditions for Gorenstein projective varieties to admit semiorthogonal decompositions introduced by Kawamata, with main emphasis on threefolds with isolated compound A n singularities. We introduce obstructions coming from Algebraic mathrm K theory and translate them into the concept of maximal nonfactoriality. Using these obstructions we show that many classes of nodal threefolds do not admit Kawamata type semiorthogonal decompositions. These include nodal hypersurfaces and double solids, with the exception of a nodal quadric, and del Pezzo threefolds of degrees 1 le d le 4 with maximal class group rank. We also investigate when does a blow up of a smooth threefold in a singular curve admit a Kawamata type semiorthogonal decomposition and we give a complete answer to this question when the curve is nodal and has only rational components.


What the HoloLens Maps Is Your Workspace Fast Mapping and Set up of Robot Cells via Head Mounted Displays and Augmented Reality. Classical methods of modelling and mapping robot work cells are time consuming, expensive and involve expert knowledge. We present a novel approach to mapping and cell setup using modern Head Mounted Displays (HMDs) that possess self localisation and mapping capabilities. We leveraged these capabilities to create a point cloud of the environment and build an OctoMap a voxel occupancy grid representation of the robot's workspace for path planning. Through the use of Augmented Reality (AR) interactions, the user can edit the created Octomap and add security zones. We perform comprehensive tests of the HoloLens' depth sensing capabilities and the quality of the resultant point cloud. A high end laser scanner is used to provide the ground truth for the evaluation of the point cloud quality. The amount of false positive and false negative voxels in the OctoMap are also tested.


Modeling the Field Value Variations and Field Interactions Simultaneously for Fraud Detection. With the explosive growth of e commerce, online transaction fraud has become one of the biggest challenges for e commerce platforms. The historical behaviors of users provide rich information for digging into the users' fraud risk. While considerable efforts have been made in this direction, a long standing challenge is how to effectively exploit internal user information and provide explainable prediction results. In fact, the value variations of same field from different events and the interactions of different fields inside one event have proven to be strong indicators for fraudulent behaviors. In this paper, we propose the Dual Importance aware Factorization Machines (DIFM), which exploits the internal field information among users' behavior sequence from dual perspectives, i.e., field value variations and field interactions simultaneously for fraud detection. The proposed model is deployed in the risk management system of one of the world's largest e commerce platforms, which utilize it to provide real time transaction fraud detection. Experimental results on real industrial data from different regions in the platform clearly demonstrate that our model achieves significant improvements compared with various state of the art baseline models. Moreover, the DIFM could also give an insight into the explanation of the prediction results from dual perspectives.


Expansive Actions of Automorphisms of Locally Compact Groups G on rm Sub G . For a locally compact metrizable group G , we consider the action of rm Aut (G) on rm Sub G , the space of all closed subgroups of G endowed with the Chabauty topology. We study the structure of groups G admitting automorphisms T which act expansively on rm Sub G . We show that such a group G is necessarily totally disconnected, T is expansive and that the contraction groups of T and T 1 are closed and their product is open in G moreover, if G is compact, then G is finite. We also obtain the structure of the contraction group of such T . For the class of groups G which are finite direct products of mathbb Q p for distinct primes p , we show that T in rm Aut (G) acts expansively on rm Sub G if and only if T is expansive. However, any higher dimensional p adic vector space mathbb Q p n , ( n geq 2 ), does not admit any automorphism which acts expansively on rm Sub G .


Hecke type identities associated with definite quadratic forms. Since the study by Jacobi and Hecke, Hecke type series have received a lot of attention. Unlike such series associated with indefinite quadratic forms, identities on Hecke type series associated with definite quadratic forms are quite rare in the literature. Motivated by the works of Liu, we first establish many parameterized identities with two parameters by employing different q transformation formulas and then deduce various Hecke type identities associated with definite quadratic forms by specializing the choice of these two parameters. As applications, we utilize some of these Hecke type identities to establish families of inequalities for several partition functions. Our proofs heavily rely on some formulas from the work of Zhi Guo Liu.


Constructing a Maturity Model for a Distributed Software Organization. We present early experiences with defining and validating a software maturity model (SMM) for a distributed, research driven organization of independent and self organizing teams of diverse cultures, experience and maturity. The paper briefly outlines the model, but focuses on the early stages of building and validating it. Based on that, we identify major factors contributing to the successful deployment of a SMM.


Cohomology of torsion and completion of N complexes. We introduce the notions of Koszul N complex, check mathrm C ech N complex and telescope N complex, explicit derived torsion and derived completion functors in the derived category mathbf D N(R) of N complexes using the check mathrm C ech N complex and the telescope N complex. Moreover, we give an equivalence between the category of cohomologically mathfrak a torsion N complexes and the category of cohomologically mathfrak a adic complete N complexes, and prove that over a commutative noetherian ring, via Koszul cohomology, via RHom cohomology (resp. otimes cohomology) and via local cohomology (resp. derived completion), all yield the same invariant.


Saturation of the Infrared Absorption by Carbon Dioxide in the Atmosphere. Based on new radiative transfer numerical evaluations, we reconsider an argument presented by Schack in 1972 that says that saturation of the absorption of infrared radiation by carbon dioxide in the atmosphere sets in as soon as the relative concentration of carbon dioxide exceeds a lower limit of approximately 300 ppm. We provide a concise brief and explicit representation of the greenhouse effect of the earth's atmosphere. We find an equilibrium climate sensitivity (temperature increase Delta T due to doubling of atmospheric CO 2 concentration) of Delta T simeq 0.5 0C . We elaborate on the consistency of these results on Delta T with results observationally obtained by satellite based measurements of short time radiation flux versus surface temperature changes.


Total Variation Diminishing (TVD) method for Elastohydrodynamic Lubrication (EHL) problem on Parallel Computers. In this article, we offer a novel numerical approach for the solution of elastohydrodynamic lubrication line and point contact problems using a class of total variation diminishing (TVD) schemes on parallel computers. A direct parallel approach is presented by introducing a novel solver named as projected alternate quadrant interlocking factorization (PAQIF) by solving discrete variational inequality. For one dimensional EHL case, we use weighted change in Newton Raphson approximation to compute the Jacobian matrix in the form of a banded matrix by dividing two subregions on the whole computation domain. Such subregion matrices are assembled by measuring the ratio of diffusive coefficient and discrete grid length on the domain of the interest. The banded matrix is then processed to parallel computers for solving discrete linearized complementarity system using PAQIF algorithm. The idea is easily extended in two dimensional EHL case by taking appropriate splitting in x and y alternating directions respectively. Numerical experiments are performed and analyzed to validate the performance of computed solution on serial and parallel computers.


Cyclic homology for bornological coarse spaces. We define Hochschild and cyclic homologies for bornological coarse spaces for a fixed field k and group G , these are lax symmetric monoidal functors mathcal X HH k G and mathcal X HC k G from the category of equivariant bornological coarse spaces G mathbf BornCoarse to the cocomplete stable infty category of chain complexes mathbf Ch infty . We relate these equivariant coarse homology theories to coarse algebraic K theory mathcal X K G k and to coarse ordinary homology mathcal X H G by constructing a trace like natural transformation mathcal X K k G to mathcal X H G that factors through coarse Hochschild (or cyclic) homology. We further compare the forget control map for coarse Hochschild homology with the associated generalized assembly map.


Robust, Perception Based Control with Quadrotors. Traditionally, controllers and state estimators in robotic systems are designed independently. Controllers are often designed assuming perfect state estimation. However, state estimation methods such as Visual Inertial Odometry (VIO) drift over time and can cause the system to misbehave. While state estimation error can be corrected with the aid of GPS or motion capture, these complementary sensors are not always available or reliable. Recent work has shown that this issue can be dealt with by synthesizing robust controllers using a data driven characterization of the perception error, and can bound the system's response to state estimation error using a robustness constraint. We investigate the application of this robust perception based approach to a quadrotor model using VIO for state estimation and demonstrate the benefits and drawbacks of using this technique in simulation and hardware. Additionally, to make tuning easier, we introduce a new cost function to use in the control synthesis which allows one to take an existing controller and "robustify" it. To the best of our knowledge, this is the first robust perception based controller implemented in real hardware, as well as one utilizing a data driven perception model. We believe this as an important step towards safe, robust robots that explicitly account for the inherent dependence between perception and control.


An Introduction to Pursuit evasion Differential Games. Pursuit and evasion conflicts represent challenging problems with important applications in aerospace and robotics. In pursuit evasion problems, synthesis of intelligent actions must consider the adversary's potential strategies. Differential game theory provides an adequate framework to analyze possible outcomes of the conflict without assuming particular behaviors by the opponent. This article presents an organized introduction of pursuit evasion differential games with an overview of recent advances in the area. First, a summary of the seminal work is outlined, highlighting important contributions. Next, more recent results are described by employing a classification based on the number of players one pursuer one evader, N pursuers one evader, one pursuer M evaders, and N pursuer M evader games. In each scenario, a brief summary of the literature is presented. Finally, two representative pursuit evasion differential games are studied in detail the two cutters and fugitive ship differential game and the active target defense differential game. These problems provide two important applications and, more importantly, they give great insight into the realization of cooperation between friendly agents in order to form a team and defeat the adversary.


Caption Generation of Robot Behaviors based on Unsupervised Learning of Action Segments. Bridging robot action sequences and their natural language captions is an important task to increase explainability of human assisting robots in their recently evolving field. In this paper, we propose a system for generating natural language captions that describe behaviors of human assisting robots. The system describes robot actions by using robot observations histories from actuator systems and cameras, toward end to end bridging between robot actions and natural language captions. Two reasons make it challenging to apply existing sequence to sequence models to this mapping 1) it is hard to prepare a large scale dataset for any kind of robots and their environment, and 2) there is a gap between the number of samples obtained from robot action observations and generated word sequences of captions. We introduced unsupervised segmentation based on K means clustering to unify typical robot observation patterns into a class. This method makes it possible for the network to learn the relationship from a small amount of data. Moreover, we utilized a chunking method based on byte pair encoding (BPE) to fill in the gap between the number of samples of robot action observations and words in a caption. We also applied an attention mechanism to the segmentation task. Experimental results show that the proposed model based on unsupervised learning can generate better descriptions than other methods. We also show that the attention mechanism did not work well in our low resource setting.


An efficient spectral method for numerical time dependent perturbation theory. We develop the Fourier Laplace Inversion of the Perturbation Theory (FLIPT), a novel numerically exact "black box" method to compute perturbative expansions of the density matrix with rigorous convergence conditions. Specifically, the FLIPT method is extremely well suited to simulate multiphoton pulsed laser experiments with complex pulse shapes. The n dimensional frequency integrals of the n th order perturbative expansion are evaluated numerically using tensor products. The N points discretized integrals are computed in O(N 2) operations, a significant improvement over the O(N n) scaling of standard quadrature methods.


Strategies for particle resampling in PIC simulations. In particle in cell simulations, excessive or even unfeasible computational demands can be caused by the growth of the number of particles in the course of prolific ionization or cascaded pair production due to the effects of quantum electrodynamics. Here we discuss how one can organize a dynamic rearrangement of the ensemble to reduce the number of macroparticles, while maintaining acceptable sampling of an arbitrary particle distribution. The approaches of merging and thinning as well as their variants are discussed and the aspects of use are considered.


An application of a theorem of Sheila Brenner for Hochschild extension algebras of a truncated quiver algebra. Let A be a truncated quiver algebra over an algebraically closed field such that any oriented cycle in the ordinary quiver of A is zero in A . We give the number of the indecomposable direct summands of the middle term of an almost split sequence for a class of Hochschild extension algebras of A by the standard duality module D(A) .


CliniQG4QA Generating Diverse Questions for Domain Adaptation of Clinical Question Answering. Clinical question answering (QA) aims to automatically answer questions from medical professionals based on clinical texts. Studies show that neural QA models trained on one corpus may not generalize well to new clinical texts from a different institute or a different patient group, where large scale QA pairs are not readily available for model retraining. To address this challenge, we propose a simple yet effective framework, CliniQG4QA, which leverages question generation (QG) to synthesize QA pairs on new clinical contexts and boosts QA models without requiring manual annotations. In order to generate diverse types of questions that are essential for training QA models, we further introduce a seq2seq based question phrase prediction (QPP) module that can be used together with most existing QG models to diversify the generation. Our comprehensive experiment results show that the QA corpus generated by our framework can improve QA models on the new contexts (up to 8 absolute gain in terms of Exact Match), and that the QPP module plays a crucial role in achieving the gain.