The brain as a probabilistic transducer an evolutionarily plausible network architecture for knowledge representation, computation, and behavior. We offer a general theoretical framework for brain and behavior that is evolutionarily and computationally plausible. The brain in our abstract model is a network of nodes and edges. Although it has some similarities to standard neural network models, as we show, there are some significant differences. Both nodes and edges in our network have weights and activation levels. They act as probabilistic transducers that use a set of relatively simple rules to determine how activation levels and weights are affected by input, generate output, and affect each other. We show that these simple rules enable a learning process that allows the network to represent increasingly complex knowledge, and simultaneously to act as a computing device that facilitates planning, decision making, and the execution of behavior. By specifying the innate (genetic) components of the network, we show how evolution could endow the network with initial adaptive rules and goals that are then enriched through learning. We demonstrate how the developing structure of the network (which determines what the brain can do and how well) is critically affected by the co evolved coordination between the mechanisms affecting the distribution of data input and those determining the learning parameters (used in the programs run by nodes and edges). Finally, we consider how the model accounts for various findings in the field of learning and decision making, how it can address some challenging problems in mind and behavior, such as those related to setting goals and self control, and how it can help understand some cognitive disorders.


Commutator Equations in Finite Groups. The problem of finding the number of ordered commuting tuples of elements in a finite group is equivalent to finding the size of the solution set of the system of equations determined by the commutator relations that impose commutativity among any pair of elements from an ordered tuple. We consider this type of systems for the case of ordered triples and express the size of the solution set in terms of the irreducible characters of the group. The obtained formulas are natural extensions of Frobenius' character formula that calculates the number of ways a group element is a commutator of an ordered pair of elements in a finite group. We discuss how our formulas can be used to study the probability distributions afforded by these systems of equations, and we show explicit calculations for dihedral groups.


Signed Bipartite Graph Neural Networks. Signed networks are such social networks having both positive and negative links. A lot of theories and algorithms have been developed to model such networks (e.g., balance theory). However, previous work mainly focuses on the unipartite signed networks where the nodes have the same type. Signed bipartite networks are different from classical signed networks, which contain two different node sets and signed links between two node sets. Signed bipartite networks can be commonly found in many fields including business, politics, and academics, but have been less studied. In this work, we firstly define the signed relationship of the same set of nodes and provide a new perspective for analyzing signed bipartite networks. Then we do some comprehensive analysis of balance theory from two perspectives on several real world datasets. Specifically, in the peer review dataset, we find that the ratio of balanced isomorphism in signed bipartite networks increased after rebuttal phases. Guided by these two perspectives, we propose a novel Signed Bipartite Graph Neural Networks (SBGNNs) to learn node embeddings for signed bipartite networks. SBGNNs follow most GNNs message passing scheme, but we design new message functions, aggregation functions, and update functions for signed bipartite networks. We validate the effectiveness of our model on four real world datasets on Link Sign Prediction task, which is the main machine learning task for signed networks. Experimental results show that our SBGNN model achieves significant improvement compared with strong baseline methods, including feature based methods and network embedding methods.


Dispersion of Surface Waves above Time Varying Reactive Boundaries. In this presentation, we analytically derive the dispersion equation for surface waves traveling along reactive boundaries which are periodically modulated in time. In addition, we show numerical results for the dispersion curves and importantly uncover that time varying boundaries generate band gaps that can be controlled by engineering the modulation spectrum. Furthermore, we also point out an interesting effect of field amplification related to the existence of such band gaps for surface waves. The effect of amplification does not require the synchronization of signal and pumping waves. This unique property is very promising to be applied in surface wave communications from microwave to optical frequencies.


Hydrodynamics of noncircular vortices in beams of light and other two dimensional fluids. The motion of noncircular two dimensional vortices is shown to depend on a form of coupling between vortex ellipticity and the gradient of fluid density. The approach is based on the perspective that an elliptic vortex can be described as the projection of a virtual construct, a circular vortex with a symmetry axis that is tilted with respect to the direction of propagation. The resulting kinetic equation offers insights into how tilt and vortex velocity coevolve in few body nonequilibrium settings such as vortex pair nucleation and annihilation. The model is developed and applied in association with optical vortices, and optical experiments are used to verify its predictive power. It is valid for quantum fluids and classical hydrodynamics settings as well.


Perceptually Validated Precise Local Editing for Facial Action Units with StyleGAN. The ability to edit facial expressions has a wide range of applications in computer graphics. The ideal facial expression editing algorithm needs to satisfy two important criteria. First, it should allow precise and targeted editing of individual facial actions. Second, it should generate high fidelity outputs without artifacts. We build a solution based on StyleGAN, which has been used extensively for semantic manipulation of faces. As we do so, we add to our understanding of how various semantic attributes are encoded in StyleGAN. In particular, we show that a naive strategy to perform editing in the latent space results in undesired coupling between certain action units, even if they are conceptually distinct. For example, although brow lowerer and lip tightener are distinct action units, they appear correlated in the training data. Hence, StyleGAN has difficulty in disentangling them. We allow disentangled editing of such action units by computing detached regions of influence for each action unit, and restrict editing to these regions. We validate the effectiveness of our local editing method through perception experiments conducted with 23 subjects. The results show that our method provides higher control over local editing and produces images with superior fidelity compared to the state of the art methods.


Linear Quadratic Gaussian Synthesis for a Heated Cooled Rod Using Point Actuation and Point Sensing. We consider a rod that is heated cooled and sensed at multiple point locations. To stabilize it to a constant temperature we set up a Linear Quadratic Regulator that we explicitly solve by the method of completing the square to find the optimal linear state feedback for the point actuators. But we don't assume that the whole state is mesureable so we construct an infinite dimensional Kalman filter to estimate the whole state from a finite number of noisy point measurements. These two components yield a Linear Quadratic Gaussian (LQG) Synthesis for the heat equation under point actuation and point sensing.


An alternate approach to simulate the dynamics of perturbed liquid drops. Liquid drops when subjected to external periodic perturbations can execute polygonal oscillations. In this work, a simple model is presented that demonstrates these oscillations and their characteristic properties. The model consists of a spring mass network such that the masses are analogous to liquid molecules and the springs are to intermolecular forces. Neo Hookean springs are considered to represent these intermolecular forces. The restoring force of a neo Hookean spring depends nonlinearly on its length such that the force of a compressed spring is much higher than the force of a spring elongated by the same amount. This is equivalent to the incompressibility of liquids, making these springs suitable to simulate the polygonal oscillations. It is shown that this spring mass network can imitate most of the characteristic features of experimentally reported polygonal oscillations. Additionally, it is shown that the network can execute certain dynamics which so far have not been observed in a perturbed liquid drop. The features of dynamics which are observed in the perturbed network are polygonal oscillations, rotation of network, numerical relations (rational and irrational) between the frequencies of polygonal oscillations and the forcing signal, and the dependency of the shape of the polygons on the parameters of perturbation.


Methods for panoramic visualization and digital analysis of thermophysical flow fields. A review. The paper presents a review of modern methods in the registration, processing, and analysis of dynamic processes in liquids, gases, plasmas, multiphase media, which are realized in researches and technology. The review author observes both the physical fundamentals of flow visualization and the basics of modern technologies for the digital processing of recorded flow images. A brief analysis of the panoramic visualization methods progress history covers a period of one and a half centuries. In the works of the last decade, the focus is on the methods of computer processing, tools, technologies for analyzing and recognizing panoramic thermophysical fields, which make it possible to obtain quantitative information about flows. The review contains an analysis of publications describing the main modern methods of visualization of flows methods based on the phenomenon of refraction electroluminescence digital tracing (particle image velocimetry), visualization of surface flows (PSP and TSP coatings, liquid crystals oil coatings). Particular attention is paid to methods using cross correlation image processing algorithms. Those are digital tracing (PIV), shadow background method (BOS), seedless shadow methods, thermographic PIV, velocity measurement in viscous coatings, micro, tomographic modifications of PIV, etc. The actual problem of digital data analyzing in a panoramic experiment is touched upon the problem of big data. Examples of machine learning use in the analysis of big data sets of shadow surveys are given. Some examples of numerical simulation data visualization (simulation of experimental flowfields) are considered.


FineAction A Fine Grained Video Dataset for Temporal Action Localization. Temporal action localization (TAL) is an important and challenging problem in video understanding. However, most existing TAL benchmarks are built upon the coarse granularity of action classes, which exhibits two major limitations in this task. First, coarse level actions can make the localization models overfit in high level context information, and ignore the atomic action details in the video. Second, the coarse action classes often lead to the ambiguous annotations of temporal boundaries, which are inappropriate for temporal action localization. To tackle these problems, we develop a novel large scale and fine grained video dataset, coined as FineAction, for temporal action localization. In total, FineAction contains 103K temporal instances of 106 action categories, annotated in 17K untrimmed videos. FineAction introduces new opportunities and challenges for temporal action localization, thanks to its distinct characteristics of fine action classes with rich diversity, dense annotations of multiple instances, and co occurring actions of different classes. To benchmark FineAction, we systematically investigate the performance of several popular temporal localization methods on it, and deeply analyze the influence of short duration and fine grained instances in temporal action localization. We believe that FineAction can advance research of temporal action localization and beyond.


Ideally, all infinite type surfaces can be triangulated. We show that any surface of infinite type admits an ideal triangulation. Furthermore, we show that a set of disjoint arcs can be completed into a triangulation if and only if, as a set, they intersect every simple closed curve a finite number of times.


Learning Stable Representations with Full Encoder. While the beta VAE family is aiming to find disentangled representations and acquire human interpretable generative factors, like what an ICA (from the linear domain) does, we propose Full Encoder, a novel unified autoencoder framework as a correspondence to PCA in the non linear domain. The idea is to train an autoencoder with one latent variable first, then involve more latent variables progressively to refine the reconstruction results. The Full Encoder is also a latent variable predictive model that the latent variables acquired are stable and robust, as they always learn the same representation regardless of the network initial states. Full Encoder can be used to determine the degrees of freedom in a simple non linear system and can be useful for data compression or anomaly detection. Full Encoder can also be combined with the beta VAE framework to sort out the importance of the generative factors, providing more insights for non linear system analysis. These qualities will make FE useful for analyzing real life industrial non linear systems. To validate, we created a toy dataset with a custom made non linear system to test it and compare its properties to those of VAE and beta VAE's.


Blaschke Products, Level Sets, and Crouzeix's Conjecture. We study several problems motivated by Crouzeix's conjecture, which we consider in the special setting of model spaces and compressions of the shift with finite Blaschke products as symbols. We pose a version of the conjecture in this setting, called the level set Crouzeix (LSC) conjecture, and establish structural and uniqueness properties for (open) level sets of finite Blaschke products that allow us to prove the LSC conjecture in several cases. In particular, we use the geometry of the numerical range to prove the LSC conjecture for compressions of the shift corresponding to unicritical Blaschke products of degree 4 .


Reconfigurable Intelligent Surface Assisted Aerial Terrestrial Communications via Multi Task Learning. The aerial terrestrial communication system constitutes an efficient paradigm for supporting and complementing terrestrial communications. However, the benefits of such a system cannot be fully exploited, especially when the line of sight (LoS) transmissions are prone to severe deterioration due to complex propagation environments in urban areas. The emerging technology of reconfigurable intelligent surfaces (RISs) has recently become a potential solution to mitigate propagation induced impairments and improve wireless network coverage. Motivated by these considerations, in this paper, we address the coverage and link performance problems of the aerial terrestrial communication system by proposing an RIS assisted transmission strategy. In particular, we design an adaptive RIS assisted transmission protocol, in which the channel estimation, transmission strategy, and data transmission are independently implemented in a frame. On this basis, we formulate an RIS assisted transmission strategy optimization problem as a mixed integer non linear program (MINLP) to maximize the overall system throughput. We then employ multi task learning to speed up the solution to the problem. Benefiting from multi task learning, the computation time is reduced by about four orders of magnitude. Numerical results show that the proposed RIS assisted transmission protocol significantly improves the system throughput and reduces the transmit power.


Higher Derivatives of Operator Functions in Ideals of von Neumann Algebras. Let mathcal M be a von Neumann algebra and a be a self adjoint operator affiliated with mathcal M . We define the notion of an "integral symmetrically normed ideal" of mathcal M and introduce a space OC k ( mathbb R ) subseteq C k( mathbb R ) of functions mathbb R to mathbb C such that the following result holds for any integral symmetrically normed ideal mathcal I of mathcal M and any f in OC k ( mathbb R ) , the operator function mathcal I mathrm sa ni b mapsto f(a b) f(a) in mathcal I is k times continuously Fr ' e chet differentiable, and the formula for its derivatives may be written in terms of multiple operator integrals. Moreover, we prove that if f in dot B 1 1, infty ( mathbb R ) cap dot B 1 k, infty ( mathbb R ) is such that f' is bounded, then f in OC k ( mathbb R ) . Finally, we prove that all of the following ideals are integral symmetrically normed mathcal M itself, separable symmetrically normed ideals, Schatten p ideals, the ideal of compact operators, and when mathcal M is semifinite ideals induced by fully symmetric spaces of measurable operators.


Who shapes crisis communication on Twitter? An analysis of influential German language accounts during the COVID 19 pandemic. Twitter is becoming an increasingly important platform for disseminating information during crisis situations, such as the COVID 19 pandemic. Effective crisis communication on Twitter can shape the public perception of the crisis, influence adherence to preventative measures, and thus affect public health. Influential accounts are particularly important as they reach large audiences quickly. This study identifies influential German language accounts from almost 3 million German tweets collected between January and May 2020 by constructing a retweet network and calculating PageRank centrality values. We capture the volatility of crisis communication by structuring the analysis into seven stages based on key events during the pandemic and profile influential accounts into roles. Our analysis shows that news and journalist accounts were influential throughout all phases, while government accounts were particularly important shortly before and after the lockdown was instantiated. We discuss implications for crisis communication during health crises and for analyzing long term crisis data.


Speed Maps An Application to Guide Robots in Human Environments. We present the concept of speed maps speed limits for mobile robots in human environments. Static speed maps allow for faster navigation on corridors while limiting the speed around corners and in rooms. Dynamic speed maps put limits on speed around humans. We demonstrate the concept for a mobile robot that guides people to annotated landmarks on the map. The robot keeps a metric map for navigation and a semantic map to hold planar surfaces for tasking. The system supports automatic initialization upon the detection of a specially designed QR code. We show that speed maps not only can reduce the impact of a potential collision but can also reduce navigation time.


An interpretation of the 4 point condition of metric trees via Ptolemy's inequality. We identify a family of Ptolemaic inequalities in operatorname CAT ( kappa) spaces parametrized by kappa and identify that the limit as kappa to infty gives the 4 point condition of tree metric spaces.


Analysis of Communication Channels Related to Physical Unclonable Functions. Cryptographic algorithms rely on the secrecy of their corresponding keys. On embedded systems with standard CMOS chips, where secure permanent memory such as flash is not available as a key storage, the secret key can be derived from Physical Unclonable Functions (PUFs) that make use of minuscule manufacturing variations of, for instance, SRAM cells. Since PUFs are affected by environmental changes, the reliable reproduction of the PUF key requires error correction. For silicon PUFs with binary output, errors occur in the form of bitflips within the PUFs response. Modelling the channel as a Binary Symmetric Channel (BSC) with fixed crossover probability p is only a first order approximation of the real behavior of the PUF response. We propose a more realistic channel model, refered to as the Varying Binary Symmetric Channel (VBSC), which takes into account that the reliability of different PUF response bits may not be equal. We investigate its channel capacity for various scenarios which differ in the channel state information (CSI) present at encoder and decoder. We compare the capacity results for the VBSC for the different CSI cases with reference to the distribution of the bitflip probability according a work by Maes et al.


A Process to Facilitate Automated Automotive Cybersecurity Testing. Modern vehicles become increasingly digitalized with advanced information technology based solutions like advanced driving assistance systems and vehicle to x communications. These systems are complex and interconnected. Rising complexity and increasing outside exposure has created a steadily rising demand for more cyber secure systems. Thus, also standardization bodies and regulators issued standards and regulations to prescribe more secure development processes. This security, however, also has to be validated and verified. In order to keep pace with the need for more thorough, quicker and comparable testing, today's generally manual testing processes have to be structured and optimized. Based on existing and emerging standards for cybersecurity engineering, this paper therefore outlines a structured testing process for verifying and validating automotive cybersecurity, for which there is no standardized method so far. Despite presenting a commonly structured framework, the process is flexible in order to allow implementers to utilize their own, accustomed toolsets.


Ohno relation for regularized multiple zeta values. The Ohno relation for multiple zeta values can be formulated as saying that a certain operator, defined for indices, is invariant under taking duals. In this paper, we generalize the Ohno relation to regularized multiple zeta values by showing that, although the suitably generalized operator is not invariant under taking duals, the relation between its values at an index and at its dual index can be written explicitly in terms of the gamma function.


All optical transistor with cavity polaritons. we investigate the transmission of probe laser beam in a coupled cavity system with polaritons by using standard input output relation of optical fields, and proposed a theoretical schema for realizing a polariton based photonic transistor. On account of effects of exciton photon coupling and single photon optomechanical coupling, a probe laser field can be either amplified or attenuated by another pump laser field when it passes through a coupled cavity system with polaritons. The Stokes and anti Stokes scattered effect of output prober laser can also be modulated. Our results open up exciting possibilities for designing photonic transistors.


The spread of COVID 19 increases with individual mobility and depends on political leaning. The implementation of social distancing policies is key to reducing the impact of the current COVID 19 pandemic. However, their effectiveness ultimately depends on human behavior. In the United States, compliance with social distancing policies has widely varied thus far during the pandemic. But what drives such variability? Through six open datasets, including actual human mobility, we estimated the association between mobility and the growth rate of COVID 19 cases across 3,107 U.S. counties, generalizing previous reports. In addition, data from the 2016 U.S. presidential election was used to measure how the association between mobility and COVID 19 growth rate differed based on voting patterns. A significant association between political leaning and the COVID 19 growth rate was measured. Our results demonstrate that political orientation may inform models predicting the impact of policies in reducing the spread of COVID 19.


Measuring Voice UX Quantitatively A Rapid Review. Computer voice is experiencing a renaissance through the growing popularity of voice based interfaces, agents, and environments. Yet, how to measure the user experience (UX) of voice based systems remains an open and urgent question, especially given that their form factors and interaction styles tend to be non visual, intangible, and often considered disembodied or "body less." As a first step, we surveyed the ACM and IEEE literatures to determine which quantitative measures and measurements have been deemed important for voice UX. Our findings show that there is little consensus, even with similar situations and systems, as well as an overreliance on lab work and unvalidated scales. In response, we offer two high level descriptive frameworks for guiding future research, developing standardized instruments, and informing ongoing review work. Our work highlights the current strengths and weaknesses of voice UX research and charts a path towards measuring voice UX in a more comprehensive way.


The automorphism group of a valued field of generalised formal power series. Let k be a field, G a totally ordered abelian group and mathbb K k((G)) the maximal field of generalised power series, endowed with the canonical valuation v . We study the group v mathrm Aut K of valuation preserving automorphisms of a subfield k(G) subseteq K subseteq mathbb K , where k(G) is the fraction field of the group ring k G . Under the assumption that K satisfies two lifting properties we are able to generalise and refine Hofberger's decomposition of v mathrm Aut mathbb K and prove a structure theorem decomposing v mathrm Aut K into a 4 factor semi direct product of notable subgroups. We then identify a large class of Hahn fields satisfying the two aforementioned lifting properties. Next we focus on the group of strongly additive automorphisms of K . We give an explicit description of the group of strongly additive internal automorphisms in terms of the groups of homomorphisms mathrm Hom (G,k times) of G into k times and mathrm Hom (G,1 I K) of G into the group of 1 units of the valuation ring of K . Finally, we specialise our results to some relevant special cases. In particular, we extend the work of Schilling on the field of Laurent series and that of Deschamps on the field of Puiseux series.


Phase Retrieval and System Identification in Dynamical Sampling via Prony's Method. Phase retrieval in dynamical sampling is a novel research direction, where an unknown signal has to be recovered from the phaseless measurements with respect to a dynamical frame, i.e. a sequence of sampling vectors constructed by the repeated action of an operator. The loss of the phase here turns the well posed dynamical sampling into a severe ill posed inverse problem. In the existing literature, the involved operator is usually completely known. In this paper, we combine phase retrieval in dynamical sampling with the identification of the system. For instance, if the dynamical frame is based on a repeated convolution, then we want to recover the unknown convolution kernel in advance. Using Prony's method, we establish several recovery guarantees for signal and system, whose proofs are constructive and yield analytic recovery methods. The required assumptions are satisfied by almost all signals, operators, and sampling vectors. Moreover, these guarantees not only hold for the finite dimensional setting but also carry over to infinite dimensional spaces. Studying the sensitivity of the analytic recovery procedures, we also establish error bounds for the applied approximate Prony method with respect to complex exponential sums.


Storage Codes with Flexible Number of Nodes. This paper presents flexible storage codes, a class of error correcting codes that can recover information from a flexible number of storage nodes. As a result, one can make a better use of the available storage nodes in the presence of unpredictable node failures and reduce the data access latency. Let us assume a storage system encodes k ell information symbols over a finite field mathbb F into n nodes, each of size ell symbols. The code is parameterized by a set of tuples (R j,k j, ell j) 1 le j le a , satisfying k 1 ell 1 k 2 ell 2 ... k a ell a and k 1 k 2 ... k a k, ell a ell , such that the information symbols can be reconstructed from any R j nodes, each node accessing ell j symbols. In other words, the code allows a flexible number of nodes for decoding to accommodate the variance in the data access time of the nodes. Code constructions are presented for different storage scenarios, including LRC (locally recoverable) codes, PMDS (partial MDS) codes, and MSR (minimum storage regenerating) codes. We analyze the latency of accessing information and perform simulations on Amazon clusters to show the efficiency of presented codes.


A condition for the existence of zero coefficients in the powers of the determinant polynomial. We discuss the existence of zero coefficients in the powers of the determinant polynomial of order n . D. G. Glynn proved that the coefficients of the m th power of the determinant polynomial are all nonzero, if m p 1 with a prime p . We show that the converse also holds, if n geq 3 . The proof is quite elementary.


varepsilon weakly precompact sets in Banach spaces. A bounded subset M of a Banach space X is said to be varepsilon weakly precompact, for a given varepsilon geq 0 , if every sequence (x n) n in mathbb N in M admits a subsequence (x n k ) k in mathbb N such that limsup k to infty x (x n k ) liminf k to infty x (x n k ) leq varepsilon for all x in B X . In this paper we discuss several aspects of varepsilon weakly precompact sets. On the one hand, we give quantitative versions of the following known results (a) the absolutely convex hull of a weakly precompact set is weakly precompact (Stegall), and (b) for any probability measure mu , the set of all Bochner mu integrable functions taking values in a weakly precompact subset of X is weakly precompact in L 1( mu,X) (Bourgain, Maurey, Pisier). On the other hand, we introduce a relative of a Banach space property considered by Kampoukos and Mercourakis when studying subspaces of strongly weakly compactly generated spaces. We say that a Banach space X has property mathfrak KM w if there is a family M n,p n,p in mathbb N of subsets of X such that (i) M n,p is frac 1 p weakly precompact for all n,p in mathbb N , and (ii) for each weakly precompact set C subseteq X and for each p in mathbb N there is n in mathbb N such that C subseteq M n,p . All subspaces of strongly weakly precompactly generated spaces have property mathfrak KM w . Among other things, we study the three space problem and the stability under unconditional sums of property mathfrak KM w .


Correcting Classification A Bayesian Framework Using Explanation Feedback to Improve Classification Abilities. Neural networks (NNs) have shown high predictive performance, however, with shortcomings. Firstly, the reasons behind the classifications are not fully understood. Several explanation methods have been developed, but they do not provide mechanisms for users to interact with the explanations. Explanations are social, meaning they are a transfer of knowledge through interactions. Nonetheless, current explanation methods contribute only to one way communication. Secondly, NNs tend to be overconfident, providing unreasonable uncertainty estimates on out of distribution observations. We overcome these difficulties by training a Bayesian convolutional neural network (CNN) that uses explanation feedback. After training, the model presents explanations of training sample classifications to an annotator. Based on the provided information, the annotator can accept or reject the explanations by providing feedback. Our proposed method utilizes this feedback for fine tuning to correct the model such that the explanations and classifications improve. We use existing CNN architectures to demonstrate the method's effectiveness on one toy dataset (decoy MNIST) and two real world datasets (Dogs vs. Cats and ISIC skin cancer). The experiments indicate that few annotated explanations and fine tuning epochs are needed to improve the model and predictive performance, making the model more trustworthy and understandable.


Hatemoji A Test Suite and Adversarially Generated Dataset for Benchmarking and Detecting Emoji based Hate. Detecting online hate is a complex task, and low performing models have harmful consequences when used for sensitive applications such as content moderation. Emoji based hate is a key emerging challenge for automated detection. We present HatemojiCheck, a test suite of 3,930 short form statements that allows us to evaluate performance on hateful language expressed with emoji. Using the test suite, we expose weaknesses in existing hate detection models. To address these weaknesses, we create the HatemojiTrain dataset using a human and model in the loop approach. Models trained on these 5,912 adversarial examples perform substantially better at detecting emoji based hate, while retaining strong performance on text only hate. Both HatemojiCheck and HatemojiTrain are made publicly available.


Constructing certain families of mathbf 3 polytopal graphs. Let n geq 3 and r n be a 3 polytopal graph such that for every 3 leq i leq n , r n has at least one vertex of degree i . We find the minimal vertex count for r n . We then describe an algorithm to construct the graphs r n . A dual statement may be formulated for faces of 3 polytopes. The ideas behind the algorithm generalise readily to solve related problems. Moreover, given a 3 polytope t l comprising a vertex of degree i for all 3 leq i leq l , l fixed, we define an algorithm to output for n l a 3 polytope t n comprising a vertex of degree i , for all 3 leq i leq n , and such that the initial t l is a subgraph of t n . The vertex count of t n is asymptotically optimal, in the sense that it matches the aforementioned minimal vertex count up to order of magnitude, as n gets large. In fact, we only lose a small quantity on the coefficient of the second highest term, and this quantity may be taken as small as we please, with the tradeoff of first constructing an accordingly large auxiliary graph.


On the cubic Weyl sum. We obtain an estimate for the cubic Weyl sum which improves the bound obtained from Weyl differencing for short ranges of summation. In particular, we show that for any varepsilon 0 there exists some delta 0 such that for any coprime integers a,q and real number gamma we have begin align sum 1 le n le N e left( frac an 3 q gamma n right) ll (qN) 1 4 q delta , end align provided q 1 3 varepsilon le N le q 1 2 varepsilon . Our argument builds on some ideas of Enflo.


Molecular Contrastive Learning of Representations via Graph Neural Networks. Molecular Machine Learning (ML) bears promise for efficient molecule property prediction and drug discovery. However, labeled molecule data can be expensive and time consuming to acquire. Due to the limited labeled data, it is a great challenge for supervised learning ML models to generalize to the giant chemical space. In this work, we present MolCLR Molecular Contrastive Learning of Representations via Graph Neural Networks (GNNs), a self supervised learning framework that leverages large unlabeled data ( 10M unique molecules). In MolCLR pre training, we build molecule graphs and develop GNN encoders to learn differentiable representations. Three molecule graph augmentations are proposed atom masking, bond deletion, and subgraph removal. A contrastive estimator maximizes the agreement of augmentations from the same molecule while minimizing the agreement of different molecules. Experiments show that our contrastive learning framework significantly improves the performance of GNNs on various molecular property benchmarks including both classification and regression tasks. Benefiting from pre training on the large unlabeled database, MolCLR even achieves state of the art on several challenging benchmarks after fine tuning. Additionally, further investigations demonstrate that MolCLR learns to embed molecules into representations that can distinguish chemically reasonable molecular similarities.


BP cohomology of projective Stiefel manifolds. In this paper, we compute the BP cohomology of complex projective Stiefel manifolds. The method involves the homotopy fixed point spectral sequence, and works for complex oriented cohomology theories. We also use these calculations and BP operations to prove new results about equivariant maps between Stiefel manifolds.


Proceedings of the CSCW 2021 Workshop Investigating and Mitigating Biases in Crowdsourced Data. This volume contains the position papers presented at CSCW 2021 Workshop Investigating and Mitigating Biases in Crowdsourced Data, held online on 23rd October 2021, at the 24th ACM Conference on Computer Supported Cooperative Work and Social Computing (CSCW 2021). The workshop explored how specific crowdsourcing workflows, worker attributes, and work practices contribute to biases in data. The workshop also included discussions on research directions to mitigate labelling biases, particularly in a crowdsourced context, and the implications of such methods for the workers.


SPFA SFA on Multiple Persistent Faults. For classical fault analysis, a transient fault is required to be injected during runtime, e.g., only at a specific round. Instead, Persistent Fault Analysis (PFA) introduces a powerful class of fault attacks that allows for a fault to be present throughout the whole execution. One limitation of original PFA as introduced by Zhang et al. at CHES'18 is that the faulty values need to be known to the adversary. While this was addressed at a follow up work at CHES'20, the solution is only applicable to a single faulty value. Instead, we use the potency of Statistical Fault Analysis (SFA) in the persistent fault setting, presenting Statistical Persistent Fault Analysis (SPFA) as a more general approach of PFA. As a result, any or even a multitude of unknown faults that cause an exploitable bias in the targeted round can be used to recover the cipher's secret key. Indeed, the undesired faults in the other rounds that occur due the persistent nature of the attack converge to a uniform distribution as required by SFA. We verify the effectiveness of our attack against LED and AES.


The Computation of Approximate Generalized Feedback Nash Equilibria. We present the concept of a Generalized Feedback Nash Equilibrium (GFNE) in dynamic games, extending the Feedback Nash Equilibrium concept to games in which players are subject to state and input constraints. We formalize necessary and sufficient conditions for (local) GFNE solutions at the trajectory level, which enable the development of efficient numerical methods for their computation. Specifically, we propose a Newton style method for finding game trajectories which satisfy necessary conditions for an equilibrium, which can then be checked against sufficiency conditions. We show that the evaluation of the necessary conditions in general requires computing a series of nested, implicitly defined derivatives, which quickly becomes intractable. To this end, we introduce an approximation to the necessary conditions which is amenable to efficient evaluation, and in turn, computation of solutions. We term the solutions to the approximate necessary conditions Generalized Feedback Quasi Nash Equilibria (GFQNE), and we introduce numerical methods for their computation. In particular, we develop a Sequential Linear Quadratic Game approach, in which a LQ local approximation of the game is solved at each iteration. The development of this method relies on the ability to compute a GFNE to inequality and equality constrained LQ games, and therefore specific methods for the solution of these special cases are developed in detail. We demonstrate the effectiveness of the proposed solution approach on a dynamic game arising in an autonomous driving application.


Towards a Standard Feature Set for Network Intrusion Detection System Datasets. Network Intrusion Detection Systems (NIDSs) are important tools for the protection of computer networks against increasingly frequent and sophisticated cyber attacks. Recently, a lot of research effort has been dedicated to the development of Machine Learning (ML) based NIDSs. As in any ML based application, the availability of high quality datasets is critical for the training and evaluation of ML based NIDS. One of the key problems with the currently available datasets is the lack of a standard feature set. The use of a unique and proprietary set of features for each of the publicly available datasets makes it virtually impossible to compare the performance of ML based traffic classifiers on different datasets, and hence to evaluate the ability of these systems to generalise across different network scenarios. To address that limitation, this paper proposes and evaluates standard NIDS feature sets based on the NetFlow network meta data collection protocol and system. We evaluate and compare two NetFlow based feature set variants, a version with 12 features, and another one with 43 features.


Computational Workflows for Designing Input Devices. Input devices, such as buttons and sliders, are the foundation of any interface. The typical user centered design workflow requires the developers and users to go through many iterations of design, implementation, and analysis. The procedure is inefficient, and human decisions highly bias the results. While computational methods are used to assist various design tasks, there has not been any holistic approach to automate the design of input components. My thesis proposed a series of Computational Input Design workflows I envision a sample efficient multi objective optimization algorithm that cleverly selects design instances, which are instantly deployed on physical simulators. A meta reinforcement learning user model then simulates the user behaviors when using the design instance upon the simulators. The new workflows derive Pareto optimal designs with high efficiency and automation. I demonstrate designing a push button via the proposed methods. The resulting designs outperform the known baselines. The Computational Input Design process can be generalized to other devices, such as joystick, touchscreen, mouse, controller, etc.


Semi supervised Network Embedding with Differentiable Deep Quantisation. Learning accurate low dimensional embeddings for a network is a crucial task as it facilitates many downstream network analytics tasks. For large networks, the trained embeddings often require a significant amount of space to store, making storage and processing a challenge. Building on our previous work on semi supervised network embedding, we develop d SNEQ, a differentiable DNN based quantisation method for network embedding. d SNEQ incorporates a rank loss to equip the learned quantisation codes with rich high order information and is able to substantially compress the size of trained embeddings, thus reducing storage footprint and accelerating retrieval speed. We also propose a new evaluation metric, path prediction, to fairly and more directly evaluate model performance on the preservation of high order information. Our evaluation on four real world networks of diverse characteristics shows that d SNEQ outperforms a number of state of the art embedding methods in link prediction, path prediction, node classification, and node recommendation while being far more space and time efficient.


Poitou Tate Duality for totally positive Galois cohomology. In this paper, we establish a Poitou Tate's global duality for totally positive Galois cohomology. We illustrate this result in the case of the twisted module " a la Tate" mathbb Z 2 (i) , i integer.


A city of cities Measuring how 15 minutes urban accessibility shapes human mobility in Barcelona. As cities expand, human mobility has become a central focus of urban planning and policy making to make cities more inclusive and sustainable. Initiatives such as the "15 minutes city" have been put in place to shift the attention from monocentric city configurations to polycentric structures, increasing the availability and diversity of local urban amenities. Ultimately they expect to increase local walkability and increase mobility within residential areas. While we know how urban amenities influence human mobility at the city level, little is known about spatial variations in this relationship. Here, we use mobile phone, census, and volunteered geographical data to measure geographic variations in the relationship between origin destination flows and local urban accessibility in Barcelona. Using a Negative Binomial Geographically Weighted Regression model, we show that, globally, people tend to visit neighborhoods with better access to education and retail. Locally, these and other features change in sign and magnitude through the different neighborhoods of the city in ways that are not explained by administrative boundaries, and that provide deeper insights regarding urban characteristics such as rental prices. In conclusion, our work suggests that the qualities of a 15 minutes city can be measured at scale, delivering actionable insights on the polycentric structure of cities, and how people use and access this structure.


Hessian estimates for the conjugate heat equation coupled with the Ricci flow. In this note we obtain local and global Hessian estimates for the conjugate heat equation coupled with the Ricci flow. As an application, we extend Perelman's monotonicity formula of the W entropy to the noncompact situation.


Evaluation of Complexity Measures for Deep Learning Generalization in Medical Image Analysis. The generalization performance of deep learning models for medical image analysis often decreases on images collected with different devices for data acquisition, device settings, or patient population. A better understanding of the generalization capacity on new images is crucial for clinicians' trustworthiness in deep learning. Although significant research efforts have been recently directed toward establishing generalization bounds and complexity measures, still, there is often a significant discrepancy between the predicted and actual generalization performance. As well, related large empirical studies have been primarily based on validation with general purpose image datasets. This paper presents an empirical study that investigates the correlation between 25 complexity measures and the generalization abilities of supervised deep learning classifiers for breast ultrasound images. The results indicate that PAC Bayes flatness based and path norm based measures produce the most consistent explanation for the combination of models and data. We also investigate the use of multi task classification and segmentation approach for breast images, and report that such learning approach acts as an implicit regularizer and is conducive toward improved generalization.


An analytic probability density function for partially premixed flames with detailed chemistry. Laminar premixed flame profiles of methane air free flames and strained flames at different fuel air ratios and strain rates are analysed using detailed chemistry with Lewis numbers equal to one. It is shown that the detailed chemistry flame profiles of progress variables CO2 CO and H2O H2 in canonically stretched coordinates can be fitted accurately by a slight generalization of recently proposed analytical presumed flame profiles over a wide range of fuel air ratios through adaptation of a single model parameter. Strained flame profiles can be reproduced using an additional linear coordinate transformation, emulating the compression of the preheat zone by strain as predicted by premixed flame theory. The model parameter can alternatively be determined using only the laminar flame speeds and the fully burnt temperatures from the laminar flame calculations. The stretch factor of the coordinate transformation is proportional to cp lambda, which drops by factor up to 4 across the laminar flame. It is shown how the non constant cp lambda modifies the laminar flame textcolor black probability density function (pdf) , a polynomial fit to cp lambda as function of progress variable allows analytical results for the laminar flame pdf, the mean value of progress variable and of the reaction source term. An analytic pdf for partially premixed flames is proposed based on Bayes theorem as a combination of a beta pdf for the mixture fraction and the laminar flame pdf's evaluated at the respective fuel air ratio.


On node ranking in graphs. The ranking of nodes in a network according to their importance'' is a classic problem that has attracted the interest of different scientific communities in the last decades. The current COVID 19 pandemic has recently rejuvenated the interest in this problem, as it is related to the selection of which individuals should be tested in a population of asymptomatic individuals, or which individuals should be vaccinated first. Motivated by the COVID 19 spreading dynamics, in this paper we review the most popular methods for node ranking in undirected unweighted graphs, and compare their performance in a benchmark realistic network, that takes into account the community based structure of society. Also, we generalize a classic benchmark network originally proposed by Newman for ranking nodes in unweighted graphs, to show how ranks change in the weighted case.


Efficient approximation of SDEs driven by countably dimensional Wiener process and Poisson random measure. In this paper we deal with pointwise approximation of solutions of stochastic differential equations (SDEs) driven by infinite dimensional Wiener process with additional jumps generated by Poisson random measure. The further investigations contain upper error bounds for the proposed truncated dimension randomized Euler scheme. We also establish matching (up to constants) upper and lower bounds for varepsilon complexity and show that the defined algorithm is optimal in the Information Based Complexity (IBC) sense. Finally, results of numerical experiments performed by using GPU architecture are also reported.


Token wise Curriculum Learning for Neural Machine Translation. Existing curriculum learning approaches to Neural Machine Translation (NMT) require sampling sufficient amounts of "easy" samples from training data at the early training stage. This is not always achievable for low resource languages where the amount of training data is limited. To address such limitation, we propose a novel token wise curriculum learning approach that creates sufficient amounts of easy samples. Specifically, the model learns to predict a short sub sequence from the beginning part of each target sentence at the early stage of training, and then the sub sequence is gradually expanded as the training progresses. Such a new curriculum design is inspired by the cumulative effect of translation errors, which makes the latter tokens more difficult to predict than the beginning ones. Extensive experiments show that our approach can consistently outperform baselines on 5 language pairs, especially for low resource languages. Combining our approach with sentence level methods further improves the performance on high resource languages.


A model of interacting Navier Stokes singularities. We introduce a model of interacting singularities of Navier Stokes, named pin ,cons. They follow a Hamiltonian dynamics, obtained by the condition that the velocity field around these singularities obeys locally Navier Stokes equations. This model can be seen of a generalization of the vorton model of Novikov, that was derived for the Euler equations. When immersed in a regular field, the pin ,cons are further transported and sheared by the regular field, while applying a stress onto the regular field, that becomes dominant at a scale that is smaller than the Kolmogorov length. We apply this model to compute the motion of a dipole of pin ,cons. When the initial relative orientation of the dipole is inside the interval (0, pi 2), a dipole made of pin ,con of same intensity exhibits a transient collapse stage, following a scaling with dipole radius tending to 0 like (tc t) power 0.63. For long time, the dynamics of the dipole is however repulsive, with both components running away from each other to infinity.


Active Learning of Markov Decision Processes using Baum Welch algorithm (Extended). Cyber physical systems (CPSs) are naturally modelled as reactive systems with nondeterministic and probabilistic dynamics. Model based verification techniques have proved effective in the deployment of safety critical CPSs. Central for a successful application of such techniques is the construction of an accurate formal model for the system. Manual construction can be a resource demanding and error prone process, thus motivating the design of automata learning algorithms to synthesise a system model from observed system behaviours. This paper revisits and adapts the classic Baum Welch algorithm for learning Markov decision processes and Markov chains. For the case of MDPs, which typically demand more observations, we present a model based active learning sampling strategy that choses examples which are most informative w.r.t. the current model hypothesis. We empirically compare our approach with state of the art tools and demonstrate that the proposed active learning procedure can significantly reduce the number of observations required to obtain accurate models.


Compound Krylov subspace methods for parametric linear systems. In this work, we propose a reduced basis method for efficient solution of parametric linear systems. The coefficient matrix is assumed to be a linear matrix valued function that is symmetric and positive definite for admissible values of the parameter mathbf sigma in mathbb R s . We propose a solution strategy where one first computes a basis for the appropriate compound Krylov subspace and then uses this basis to compute a subspace solution for multiple mathbf sigma . Three kinds of compound Krylov subspaces are discussed. Error estimate is given for the subspace solution from each of these spaces. Theoretical results are demonstrated by numerical examples related to solving parameter dependent elliptic PDEs using the finite element method (FEM).


Golden rhythms as a theoretical framework for the observed discrete organization of brain rhythms and cross frequency interactions. While brain rhythms appear fundamental to brain function, why brain rhythms consistently organize into the small set of discrete frequency bands observed remains unknown. Here we propose that rhythms separated by factors of the golden ratio ( phi (1 sqrt 5 ) 2 ) optimally support segregation and integration of information transmission in the brain. Organized by the golden ratio, pairs of rhythms support multiplexing by reducing interference between separate communication channels, and triplets of rhythms support integration of signals to establish a hierarchy of cross frequency interactions. We illustrate this framework in simulation and apply this framework to propose three testable hypotheses.


Active Weighted Aging Ensemble for Drifted Data Stream Classification. One of the significant problems of streaming data classification is the occurrence of concept drift, consisting of the change of probabilistic characteristics of the classification task. This phenomenon destabilizes the performance of the classification model and seriously degrades its quality. An appropriate strategy counteracting this phenomenon is required to adapt the classifier to the changing probabilistic characteristics. One of the significant problems in implementing such a solution is the access to data labels. It is usually costly, so to minimize the expenses related to this process, learning strategies based on semi supervised learning are proposed, e.g., employing active learning methods indicating which of the incoming objects are valuable to be labeled for improving the classifier's performance. This paper proposes a novel chunk based method for non stationary data streams based on classifier ensemble learning and an active learning strategy considering a limited budget that can be successfully applied to any data stream classification algorithm. The proposed method has been evaluated through computer experiments using both real and generated data streams. The results confirm the high quality of the proposed algorithm over state of the art methods.


Rationality of even dimensional intersections of two real quadrics. We study rationality constructions for smooth complete intersections of two quadrics over nonclosed fields. Over the real numbers, we establish a criterion for rationality in dimension four.


Tropical precipitation clusters as islands on a rough water vapor topography. Tropical precipitation clusters exhibit power law frequency distributions in area and volume (integrated precipitation), implying a lack of characteristic scale in tropical convective organization. However, it remains unknown what gives rise to the power laws and how the power law exponents for area and volume are related to one another. Here, we explore the perspective that precipitation clusters are islands above a convective threshold on a rough column water vapor (CWV) topography. This perspective is supported by the agreement between the precipitation clusters and CWV islands in their frequency distributions as well as fractal dimensions. Power laws exist for CWV islands at different thresholds through the CWV topography, suggesting that the existence of power laws is not specifically related to local precipitation dynamics, but is rather a general feature of CWV islands. Furthermore, the frequency distributions and fractal dimensions of the clusters can be reproduced when the CWV field is modeled to be self affine with a roughness exponent of 0.3. Self affine scaling theory relates the statistics of precipitation clusters to the roughness exponent it also relates the power law slopes for area and volume without involving the roughness exponent. Thus, the perspective of precipitation clusters as CWV islands provides a useful framework to consider many statistical properties of the precipitation clusters, particularly given that CWV is well observed over a wide range of length scales in the tropics. However, the statistics of CWV islands at the convective threshold imply a smaller roughness than is inferred from the power spectrum of the bulk CWV field, and further work is needed to understand the scaling of the CWV field.


On a Partition Identity of Lehmer. Euler's identity equates the number of partitions of any non negative integer n into odd parts and the number of partitions of n into distinct parts. Beck conjectured and Andrews proved the following companion to Euler's identity the excess of the number of parts in all partitions of n into odd parts over the number of parts in all partitions of n into distinct parts equals the number of partitions of n with exactly one even part (possibly repeated). Beck's original conjecture was followed by generalizations and so called "Beck type" companions to other identities. In this paper, we establish a collection of Beck type companion identities to the following result mentioned by Lehmer at the 1974 International Congress of Mathematicians the excess of the number of partitions of n with an even number of even parts over the number of partitions of n with an odd number of even parts equals the number of partitions of n into distinct, odd parts. We also establish various generalizations of Lehmer's identity, and prove related Beck type companion identities. We use both analytic and combinatorial methods in our proofs.


"Train one, Classify one, Teach one" Cross surgery transfer learning for surgical step recognition. Prior work demonstrated the ability of machine learning to automatically recognize surgical workflow steps from videos. However, these studies focused on only a single type of procedure. In this work, we analyze, for the first time, surgical step recognition on four different laparoscopic surgeries Cholecystectomy, Right Hemicolectomy, Sleeve Gastrectomy, and Appendectomy. Inspired by the traditional apprenticeship model, in which surgical training is based on the Halstedian method, we paraphrase the "see one, do one, teach one" approach for the surgical intelligence domain as "train one, classify one, teach one". In machine learning, this approach is often referred to as transfer learning. To analyze the impact of transfer learning across different laparoscopic procedures, we explore various time series architectures and examine their performance on each target domain. We introduce a new architecture, the Time Series Adaptation Network (TSAN), an architecture optimized for transfer learning of surgical step recognition, and we show how TSAN can be pre trained using self supervised learning on a Sequence Sorting task. Such pre training enables TSAN to learn workflow steps of a new laparoscopic procedure type from only a small number of labeled samples from the target procedure. Our proposed architecture leads to better performance compared to other possible architectures, reaching over 90 accuracy when transferring from laparoscopic Cholecystectomy to the other three procedure types.


On Hermite's problem, Jacobi Perron type algorithms, and Dirichlet groups. In 1848 Ch. Hermite asked if there exists some way to write cubic irrationalities periodically. A little later in order to approach the problem C.G.J. Jacobi and O. Perron generalized the classical continued fraction algorithm to the three dimensional case, this algorithm is called now the Jacobi Perron algorithm. This algorithm is known to provide periodicity only for some cubic irrationalities. In this paper we introduce two new algorithms in the spirit of Jacobi Perron algorithm the heuristic algebraic periodicity detecting algorithm and the sin 2 algorithm. The heuristic algebraic periodicity detecting algorithm is a very fast and efficient algorithm, its output is periodic for numerous examples of cubic irrationalities, however its periodicity for cubic irrationalities is not proven. The sin 2 algorithm is limited to the totally real cubic case (all the roots of cubic polynomials are real numbers). In the recent paper cite Karpenkov2021 we proved the periodicity of the sin 2 algorithm for all cubic totally real irrationalities. To our best knowledge this is the first Jacobi Perron type algorithm for which the cubic periodicity is proven. The sin 2 algorithm provides the answer to Hermite's problem for the totally real case (let us mention that the case of cubic algebraic numbers with complex conjugate roots remains open). We conclude this paper with one important application of Jacobi Perron type algorithms to computation of independent elements in the maximal groups of commuting matrices of algebraic irrationalities.


A posteriori error estimates for hierarchical mixed dimensional elliptic equations. Mixed dimensional elliptic equations exhibiting a hierarchical structure are commonly used to model problems with high aspect ratio inclusions, such as flow in fractured porous media. We derive general abstract estimates based on the theory of functional a posteriori error estimates, for which guaranteed upper bounds for the primal and dual variables and two sided bounds for the primal dual pair are obtained. We improve on the abstract results obtained with the functional approach by proposing four different ways of estimating the residual errors based on the extent the approximate solution has conservation properties, i.e. (1) no conservation, (2) subdomain conservation, (3) grid level conservation, and (4) exact conservation. This treatment results in sharper and fully computable estimates when mass is conserved either at the grid level or exactly, with a comparable structure to those obtained from grid based a posteriori techniques. We demonstrate the practical effectiveness of our theoretical results through numerical experiments using four different discretization methods for synthetic problems and applications based on benchmarks of flow in fractured porous media.


Scale invariant tangent point energies for knots. We investigate minimizers and critical points for scale invariant tangent point energies rm TP p,q of closed curves. We show that a) minimizing sequences in ambient isotopy classes converge to locally critical embeddings in all but finitely many points and b) show regularity of locally critical embeddings. Technically, the convergence theory a) is based on a gap estimate of a fractional Sobolev spaces in comparison to the tangent point energy. The regularity theory b) is based on constructing a new energy mathcal E p,q and proving that the derivative gamma' of a parametrization of a rm TP p,q critical curve gamma induces a critical map with respect to mathcal E p,q acting on torus to sphere maps.


Probabilistic constructions in continuous combinatorics and a bridge to distributed algorithms. The probabilistic method is a technique for proving combinatorial existence results by means of showing that a randomly chosen object has the desired properties with positive probability. A particularly powerful probabilistic tool is the Lov ' a sz Local Lemma (the LLL for short), which was introduced by Erd H o s and Lov ' a sz in the mid 1970s. Here we develop a version of the LLL that can be used to prove the existence of continuous colorings. We then give several applications in Borel and topological dynamics. Seward and Tucker Drob showed that every free Borel action Gamma curvearrowright X of a countable group Gamma admits an equivariant Borel map pi colon X to Y to a free subshift Y subset 2 Gamma . We give a new simple proof of this result. We show that for a countable group Gamma , mathrm Free (2 Gamma) is weakly contained, in the sense of Elek, in every free continuous action of Gamma on a zero dimensional Polish space. This fact is analogous to the theorem of Ab ' e rt and Weiss for probability measure preserving actions and has a number of consequences in continuous combinatorics. In particular, we deduce that a coloring problem admits a continuous solution on mathrm Free (2 Gamma) if and only if it can be solved on finite subgraphs of the Cayley graph of Gamma by an efficient deterministic distributed algorithm (this fact was also proved independently and using different methods by Seward). This establishes a formal correspondence between questions that have been studied independently in continuous combinatorics and in distributed computing.


A Complete Discriminative Tensor Representation Learning for Two Dimensional Correlation Analysis. As an effective tool for two dimensional data analysis, two dimensional canonical correlation analysis (2DCCA) is not only capable of preserving the intrinsic structural information of original two dimensional (2D) data, but also reduces the computational complexity effectively. However, due to the unsupervised nature, 2DCCA is incapable of extracting sufficient discriminatory representations, resulting in an unsatisfying performance. In this letter, we propose a complete discriminative tensor representation learning (CDTRL) method based on linear correlation analysis for analyzing 2D signals (e.g. images). This letter shows that the introduction of the complete discriminatory tensor representation strategy provides an effective vehicle for revealing, and extracting the discriminant representations across the 2D data sets, leading to improved results. Experimental results show that the proposed CDTRL outperforms state of the art methods on the evaluated data sets.


Level structure, arithmetic representations, and noncommutative Siegel linearization. Let ell be a prime, k a finitely generated field of characteristic different from ell , and X a smooth geometrically connected curve over k . Say a semisimple representation of pi 1 mathrm et (X bar k ) is arithmetic if it extends to a finite index subgroup of pi 1 mathrm et (X) . We show that there exists an effective constant N N(X, ell) such that any semisimple arithmetic representation of pi 1 mathrm et (X bar k ) into mathrm GL n( bar mathbb Z ell ) , which is trivial mod ell N , is in fact trivial. This extends a previous result of the second author from characteristic zero to all characteristics. The proof relies on a new noncommutative version of Siegel's linearization theorem and the ell adic form of Baker's theorem on linear forms in logarithms.


Revisiting Fuzzy Signatures Towards a More Risk Free Cryptographic Authentication System based on Biometrics. Biometric authentication is one of the promising alternatives to standard password based authentication offering better usability and security. In this work, we revisit the biometric authentication based on "fuzzy signatures" introduced by Takahashi et al. (ACNS'15, IJIS'19). These are special types of digital signatures where the secret signing key can be a "fuzzy" data such as user's biometrics. Compared to other cryptographically secure biometric authentications as those relying on fuzzy extractors, the fuzzy signature based scheme provides a more attractive security guarantee. However, despite their potential values, fuzzy signatures have not attracted much attention owing to their theory oriented presentations in all prior works. For instance, the discussion on the practical feasibility of the assumptions (such as the entropy of user biometrics), which the security of fuzzy signatures hinges on, is completely missing. In this work, we revisit fuzzy signatures and show that we can indeed efficiently and securely implement them in practice. At a high level, our contribution is threefold (i) we provide a much simpler, more efficient, and direct construction of fuzzy signature compared to prior works (ii) we establish novel statistical techniques to experimentally evaluate the conditions on biometrics that are required to securely instantiate fuzzy signatures and (iii) we provide experimental results using a real world finger vein dataset to show that finger veins from a single hand are sufficient to construct efficient and secure fuzzy signatures. Our performance analysis shows that in a practical scenario with 112 bits of security, the size of the signature is 1256 bytes, and the running time for signing verification is only a few milliseconds.


Options on Bonds Implied Volatilities from Affine Short Rate Dynamics. We derive an explicit asymptotic approximation for the implied volatilities of Call options written on bonds assuming the short rate is described by an affine short rate model. For specific affine short rate models, we perform numerical experiments in order to gauge the accuracy of our approximation.


Truncation Free Matching System for Display Advertising at Alibaba. Matching module plays a critical role in display advertising systems. Without query from user, it is challenging for system to match user traffic and ads suitably. System packs up a group of users with common properties such as the same gender or similar shopping interests into a crowd. Here term crowd can be viewed as a tag over users. Then advertisers bid for different crowds and deliver their ads to those targeted users. Matching module in most industrial display advertising systems follows a two stage paradigm. When receiving a user request, matching system (i) finds the crowds that the user belongs to (ii) retrieves all ads that have targeted those crowds. However, in applications such as display advertising at Alibaba, with very large volumes of crowds and ads, both stages of matching have to truncate the long tailed parts for online serving, under limited latency. That's to say, not all ads have the chance to participate in online matching. This results in sub optimal result for both advertising performance and platform revenue. In this paper, we study the truncation problem and propose a Truncation Free Matching System (TFMS). The basic idea is to decouple the matching computation from the online pipeline. Instead of executing the two stage matching when user visits, TFMS utilizes a near line truncation free matching to pre calculate and store those top valuable ads for each user. Then the online pipeline just needs to fetch the pre stored ads as matching results. In this way, we can jump out of online system's latency and computation cost limitations, and leverage flexible computation resource to finish the user ad matching. TFMS has been deployed in our productive system since 2019, bringing (i) more than 50 improvement of impressions for advertisers who encountered truncation before, (ii) 9.4 Revenue Per Mile gain, which is significant enough for the business.


Constrained Policy Gradient Method for Safe and Fast Reinforcement Learning a Neural Tangent Kernel Based Approach. This paper presents a constrained policy gradient algorithm. We introduce constraints for safe learning with the following steps. First, learning is slowed down (lazy learning) so that the episodic policy change can be computed with the help of the policy gradient theorem and the neural tangent kernel. Then, this enables us the evaluation of the policy at arbitrary states too. In the same spirit, learning can be guided, ensuring safety via augmenting episode batches with states where the desired action probabilities are prescribed. Finally, exogenous discounted sum of future rewards (returns) can be computed at these specific state action pairs such that the policy network satisfies constraints. Computing the returns is based on solving a system of linear equations (equality constraints) or a constrained quadratic program (inequality constraints, regional constraints). Simulation results suggest that adding constraints (external information) to the learning can improve learning in terms of speed and transparency reasonably if constraints are appropriately selected. The efficiency of the constrained learning was demonstrated with a shallow and wide ReLU network in the Cartpole and Lunar Lander OpenAI gym environments. The main novelty of the paper is giving a practical use of the neural tangent kernel in reinforcement learning.


The Bernstein center in natural characteristic. Let G be a locally profinite group and let k be a field of positive characteristic p . Let Z(G) denote the center of G and let mathfrak Z (G) denote the Bernstein center of G , that is, the k algebra of natural endomorphisms of the identity functor on the category of smooth k linear representations of G . We show that if G contains an open pro p subgroup but no proper open centralisers, then there is a natural isomorphism of k algebras mathfrak Z (Z(G)) xrightarrow cong mathfrak Z (G) . We also describe mathfrak Z (Z(G)) explicitly as a particular completion of the abstract group ring k Z(G) . Both conditions on G are satisfied whenever G is the group of points of any connected smooth algebraic group defined over a local field of residue characteristic p . In particular, when the algebraic group is semisimple, we show that mathfrak Z (G) k Z(G) .


Socially Aware Self Supervised Tri Training for Recommendation. Self supervised learning (SSL), which can automatically generate ground truth samples from raw data, holds vast potential to improve recommender systems. Most existing SSL based methods perturb the raw data graph with uniform node edge dropout to generate new data views and then conduct the self discrimination based contrastive learning over different views to learn generalizable representations. Under this scheme, only a bijective mapping is built between nodes in two different views, which means that the self supervision signals from other nodes are being neglected. Due to the widely observed homophily in recommender systems, we argue that the supervisory signals from other nodes are also highly likely to benefit the representation learning for recommendation. To capture these signals, a general socially aware SSL framework that integrates tri training is proposed in this paper. Technically, our framework first augments the user data views with the user social information. And then under the regime of tri training for multi view encoding, the framework builds three graph encoders (one for recommendation) upon the augmented views and iteratively improves each encoder with self supervision signals from other users, generated by the other two encoders. Since the tri training operates on the augmented views of the same data sources for self supervision signals, we name it self supervised tri training. Extensive experiments on multiple real world datasets consistently validate the effectiveness of the self supervised tri training framework for improving recommendation. The code is released at https github.com Coder Yu QRec.


Strong couplings for static locally tree like random graphs. The goal of this paper is to provide a general purpose result for the coupling of exploration processes of random graphs, both undirected and directed, with their local weak limits when this limit is a marked Galton Watson process. This class includes in particular the configuration model and the family of inhomogeneous random graphs with rank 1 kernel. Vertices in the graph are allowed to have attributes on a general separable metric space and can potentially influence the construction of the graph itself. The coupling holds for any fixed depth of a breadth first exploration process.


Intersection spaces and multiple transverse recurrence. We study multiple recurrence properties along separated cross sections for pmp actions of unimodular lcsc group on Polish spaces. We establish a multiple transverse recurrence theorem under the assumption that sufficiently large powers of the return time set are Delone sets. Typical examples of such situations arise from the theory of uniform approximate lattices.


Scalable Cell Free Massive MIMO Systems with Finite Resolution ADCs DACs over Spatially Correlated Rician Fading Channels. In this paper, an analytical framework for evaluating the performance of scalable cell free massive MIMO (SCF mMIMO) systems in which all user equipments (UEs) and access points (APs) employ finite resolution digital to analog converters (DACs) and analog to digital converters (ADCs) and operates under correlated Rician fading, is presented. By using maximal ratio combining (MRC) detection, generic expressions for the uplink (UL) spectral efficiency (SE) for both distributed and centralized schemes are derived. In order to further reduce the computational complexity (CC) of the original local partial MMSE (LP MMSE) and partial MMSE (P MMSE) detectors, two novel scalable low complexity MMSE detectors are proposed for distributed and centralized schemes respectively, which achieves very similar SE performance. Furthermore, for the distributed scheme a novel partial large scale fading decoding (P LSFD) weighting vector is introduced and its analytical SE performance is very similar to the performance of an equivalent unscalable LSFD vector. Finally, a scalable algorithm jointly consisting of AP cluster formation, pilot assignment, and power control is proposed, which outperforms the conventional random pilot assignment and user group based pilot assignment policies and, contrary to an equal power transmit strategy, it guarantees quality of service (QoS) fairness for all accessing UEs.


Mitigating deep double descent by concatenating inputs. The double descent curve is one of the most intriguing properties of deep neural networks. It contrasts the classical bias variance curve with the behavior of modern neural networks, occurring where the number of samples nears the number of parameters. In this work, we explore the connection between the double descent phenomena and the number of samples in the deep neural network setting. In particular, we propose a construction which augments the existing dataset by artificially increasing the number of samples. This construction empirically mitigates the double descent curve in this setting. We reproduce existing work on deep double descent, and observe a smooth descent into the overparameterized region for our construction. This occurs both with respect to the model size, and with respect to the number epochs.


Quori A Community Informed Design of a Socially Interactive Humanoid Robot. Hardware platforms for socially interactive robotics can be limited by cost or lack of functionality. This paper presents the overall system design, hardware, and software for Quori, a novel, affordable, socially interactive humanoid robot platform for facilitating non contact human robot interaction (HRI) research. The design of the system is motivated by feedback sampled from the HRI research community. The overall design maintains a balance of affordability and functionality. Initial Quori testing and a six month deployment are presented. Ten Quori platforms have been awarded to a diverse group of researchers from across the United States to facilitate HRI research to build a community database from a common platform.


3M Multi style image caption generation using Multi modality features under Multi UPDOWN model. In this paper, we build a multi style generative model for stylish image captioning which uses multi modality image features, ResNeXt features and text features generated by DenseCap. We propose the 3M model, a Multi UPDOWN caption model that encodes multi modality features and decode them to captions. We demonstrate the effectiveness of our model on generating human like captions by examining its performance on two datasets, the PERSONALITY CAPTIONS dataset and the FlickrStyle10K dataset. We compare against a variety of state of the art baselines on various automatic NLP metrics such as BLEU, ROUGE L, CIDEr, SPICE, etc. A qualitative study has also been done to verify our 3M model can be used for generating different stylized captions.


Exploring The Effect of High frequency Components in GANs Training. Generative Adversarial Networks (GANs) have the ability to generate images that are visually indistinguishable from real images. However, recent studies have revealed that generated and real images share significant differences in the frequency domain. In this paper, we explore the effect of high frequency components in GANs training. According to our observation, during the training of most GANs, severe high frequency differences make the discriminator focus on high frequency components excessively, which hinders the generator from fitting the low frequency components that are important for learning images' content. Then, we propose two simple yet effective frequency operations for eliminating the side effects caused by high frequency differences in GANs training High Frequency Confusion (HFC) and High Frequency Filter (HFF). The proposed operations are general and can be applied to most existing GANs with a fraction of the cost. The advanced performance of the proposed operations is verified on multiple loss functions, network architectures, and datasets. Specifically, the proposed HFF achieves significant improvements of 42.5 FID on CelebA (128 128) unconditional generation based on SNGAN, 30.2 FID on CelebA unconditional generation based on SSGAN, and 69.3 FID on CelebA unconditional generation based on InfoMAXGAN.


Path Based Conditions for Local Network Identifiability Full Version. This work focuses on the generic identifiability of dynamical networks with partial excitation and measurement a set of nodes are interconnected by transfer functions according to a known topology, some nodes are excited, some are measured, and only a part of the transfer functions are known. Our goal is to determine whether the unknown transfer functions can be generically recovered based on the input output data collected from the excited and measured nodes. We propose a decoupled version of generic identifiability that is necessary for generic local identifiability and might be equivalent as no counter example to sufficiency has been found yet in systematic trials. This new notion can be interpreted as the generic identifiability of a larger network, obtained by duplicating the graph, exciting one copy and measuring the other copy. We establish a necessary condition for decoupled identifiability in terms of vertex disjoint paths in the larger graph, and a sufficient one.


Dosimetric Comparison of Passive Scattering and Active Scanning Proton Therapy Techniques Using GATE Simulation. In this study, two proton beam delivery designs, passive scattering proton therapy (PSPT) and pencil beam scanning (PBS), were quantitatively compared in terms of dosimetric indices. The GATE Monte Carlo code was used to simulate the proton beam system and the developed simulation engines were benchmarked with respect to the experimental measurements. A water phantom was used to simulate system energy parameters using a set of depth dose data in the energy range of 120 235 MeV. To compare the performance of PSPT against PBS, multiple dosimetric parameters including FWHM, peak position, range, peak to entrance dose ratio, and dose volume histogram have been analyzed under the same conditions. Furthermore, the clinical test cases introduced by AAPM TG 119 were simulated in both beam delivery modes to compare the relevant clinical values obtained from DVH analysis. The parametric comparison in the water phantom between the two techniques revealed that the value of peak to entrance dose ratio in PSPT is considerably higher than that from PBS by a factor of 8 . In addition, the FWHM of the lateral beam profile in PSPT was increased by a factor of 7 compared to the corresponding value obtained from PBS model. TG 119 phantom simulations showed that the difference of PTV mean dose between PBS and PSPT techniques are up to 2.9 while the difference of max dose to organ at risks (OARs) exceeds 33 . The results demonstrated that the PBS proton therapy systems was superior in adapting to the target volume, better dose painting, and lower out of field dose compared to PSPT design.


Quantum technology 2.0 topics and contributing countries from 1980 to 2018. The second quantum technological revolution started around 1980 with the control of single quantum particles and their interaction on an individual basis. These experimental achievements enabled physicists and engineers to utilize long known quantum features especially superposition and entanglement of single quantum states for a whole range of practical applications. We use a publication set of 54,598 papers from the Web of Science published between 1980 and 2018 to investigate the time development of four main subfields of quantum technology in terms of numbers and shares of publication as well as the occurrence of topics and their relation to the 25 top contributing countries. Three successive time periods are distinguished in the analyses by their short doubling times in relation to the whole Web of Science. The periods can be characterized by the publication of pioneering works, the exploration of research topics, and the maturing of quantum technology, respectively. Compared to the US, China has a far over proportional contribution to the worldwide publication output, but not in the segment of highly cited papers.


Information Ranking Using Optimum Path Forest. The task of learning to rank has been widely studied by the machine learning community, mainly due to its use and great importance in information retrieval, data mining, and natural language processing. Therefore, ranking accurately and learning to rank are crucial tasks. Context Based Information Retrieval systems have been of great importance to reduce the effort of finding relevant data. Such systems have evolved by using machine learning techniques to improve their results, but they are mainly dependent on user feedback. Although information retrieval has been addressed in different works along with classifiers based on Optimum Path Forest (OPF), these have so far not been applied to the learning to rank task. Therefore, the main contribution of this work is to evaluate classifiers based on Optimum Path Forest, in such a context. Experiments were performed considering the image retrieval and ranking scenarios, and the performance of OPF based approaches was compared to the well known SVM Rank pairwise technique and a baseline based on distance calculation. The experiments showed competitive results concerning precision and outperformed traditional techniques in terms of computational load.


Geodesic bicombings on some hyperspaces. We show that if (X,d) is a metric space which admits a consistent convex geodesic bicombing, then we can construct a conical bicombing on CB(X) , the hyperspace of nonempty, closed, bounded, and convex subsets of X (with the Hausdorff metric). If X is a normed space or an mathbb R tree, this same method produces a consistent convex bicombing on CB(X) . We follow this by examining a geodesic bicombing on the nonempty compact subsets of X , assuming X is a proper metric space.


A coarse grained decomposition of surface geostrophic kinetic energy in the global ocean. We apply a coarse grained decomposition of the ocean's surface geostrophic flow derived from satellite and numerical model products. In the extra tropics we find that roughly 60 of the global surface geostrophic kinetic energy is at scales between 100 km and 500 km, peaking at approx300 km. Our analysis also reveals a clear seasonality in the kinetic energy with a spring peak. We show that traditional mean fluctuation (or Reynolds) decomposition is unable to robustly disentangle length scales since the time mean flow consists of a significant contribution (greater than 50 ) from scales 500 km. By coarse graining in both space and time, we find that every length scale evolves over a wide range of time scales. Consequently, a running time average of any duration reduces the energy content of all length scales, including those larger than 1000 km, and is not effective at removing length scales smaller than 300 km. By contrasting our spatio temporal analysis of numerical model and satellite products, we show that the AVISO gridded product suppresses temporal variations less than 10 days for all length scales, especially between 100 km and 500 km.


Real Time Generation of Leg Animation for Walking in Place Techniques. Generating forward backward self representation leg animation in virtual environments for walking in place (WIP) techniques is an underexplored research topic. A challenging aspect of the problem is to find an appropriate mapping from tracked vertical foot motion to natural cyclical movements of real walking. In this work, we present a kinematic approach based on animation rigging to generating real time leg animation. Our method works by tracking vertical in place foot movements of a user with a Kinect v2 sensor and mapping tracked foot height to Inverse Kinematics (IK) targets. These IK targets were aligned with an avatar's feet to guide the virtual feet to perform cyclic walking motions. We conducted a user study to evaluate our approach. Results showed that the proposed method produced compelling forward backward leg animation during walking. The proposed technique can be easily integrated into existing WIP techniques.


Transition between random and periodic electron currents on a DNA chain. By resorting to a model inspired to the standard Davydov and Holstein Fr "ohlich models, in the present paper we study the motion of an electron along a chain of heavy particles modelling a sequence of nucleotides proper to a DNA fragment. Starting with a model Hamiltonian written in second quantization, we use the Time Dependent Variational Principle to work out the dynamical equations of the system. It is found that under the action of an external source of energy transferred to the electron, and according to the excitation site, the electron current can display either a broad frequency spectrum or a sharply peaked frequency spectrum. This sequence dependent charge transfer phenomenology is suggestive of a potentially rich variety of electrodynamic interactions of DNA molecules under the action of electron excitation. This could imply the activation of interactions between DNA and transcription factors, or between DNA and external electromagnetic fields.


Exploring Avenues Beyond Revised DSD Functionals II. Random Phase Approximation and scaled MP3 corrections. For revDSD double hybrids, the G "orling Levy second order perturbation theory component is an Achilles' Heel when applied to systems with significant near degeneracy ("static") correlation. We have explored its replacement by the direct random phase approximation (dRPA), inspired by the SCS dRPA75 functional of K 'allay and coworkers. The addition to the final energy of both a D4 empirical dispersion correction, and of a semilocal correlation component lead, to significant improvements, with DSD PBEdRPA75 D4 approaching the performance of revDSD PBEP86 D4 and the Berkeley omega B97M(2). This form appears to be fairly insensitive to the choice of semilocal functional, but does exhibit stronger basis set sensitivity than the PT2 based double hybrids (due to much larger prefactors for the nonlocal correlation). As an alternative, we explored adding an MP3 like correction term (in a medium sized basis sets) to a range separated omega DSD PBEP86 D4 double hybrid, and found it to have significantly lower WTMAD2 (weighted mean absolute deviation) for the large and chemically diverse GMTKN55 benchmark suite the added computational cost can be mitigated through density fitting techniques.


On partially hyperbolic diffeomorphisms in dimension three via a notion of autonomous dynamics. We introduce a notion of autonomous dynamical systems and apply it to prove rigidity of partially hyperbolic diffeomorphisms on closed compact three manifolds under some smoothness hypothesis of their associated framing.


A lower bound for chi ( mathcal O S) . Let (S, mathcal L) be a smooth, irreducible, projective, complex surface, polarized by a very ample line bundle mathcal L of degree d 25 . In this paper we prove that chi ( mathcal O S) geq frac 1 8 d(d 6) . The bound is sharp, and chi ( mathcal O S) frac 1 8 d(d 6) if and only if d is even, the linear system H 0(S, mathcal L) embeds S in a smooth rational normal scroll T subset mathbb P 5 of dimension 3 , and here, as a divisor, S is linearly equivalent to frac d 2 Q , where Q is a quadric on T . Moreover, this is equivalent to the fact that the general hyperplane section H in H 0(S, mathcal L) of S is the projection of a curve C contained in the Veronese surface V subseteq mathbb P 5 , from a point x in V backslash C .


Varying the medium surrounding an optical resonator An efficient and rigorous way to calculate its spectral changes. Finding reliably and efficiently the spectrum of the resonant states of an optical system under varying parameters of the medium surrounding it is a technologically important task, primarily due to various sensing applications. Computationally, it presents, however, a fundamental challenge owing to the nature of the eigenstates of an open system lacking completeness outside it. We solve this challenge by making a linear transformation of Maxwell's equations which maps perturbations of the surrounding medium onto effective perturbations within the system where the resonant states are complete. By treating such perturbations with the rigorous resonant state expansion, we find the modified modes of the system for arbitrary perturbations of the medium with any required accuracy. Numerically efficient single and few mode approximations are shown to be precise in practically important cases of, respectively, plasmonic nanoparticles and dielectric micro resonators.


Leaking Secrets through Modern Branch Predictor in the Speculative World. Transient execution attacks that exploit speculation have raised significant concerns in computer systems. Typically, branch predictors are leveraged to trigger mis speculation in transient execution attacks. In this work, we demonstrate a new class of speculation based attack that targets branch prediction unit (BPU). We find that speculative resolution of conditional branches (i.e., in nested speculation) alter the states of pattern history table (PHT) in modern processors, which are not restored after the corresponding branches are later squashed. Such characteristic allows attackers to exploit BPU as the secret transmitting medium in transient execution attacks. To evaluate the discovered vulnerability, we build a novel attack framework, BranchSpectre, that enables exfiltration of unintended secrets through observing speculative PHT updates (in the form of covert and side channels). We further investigate PHT collision mechanism in the history based predictor as well as the branch prediction mode transitions in Intel processors. Built upon such knowledge, we implement an ultra high speed covert channel (BranchSpectre cc) as well as two side channels (i.e., BranchSpectre v1 and BranchSpectre v2) that merely rely on BPU for mis speculation trigger and secret inference in the speculative domain. Notably, BranchSpectre side channels can take advantage of much simpler code patterns than the ones used in Spectre attacks. We present an extensive BranchSpectre code gadget analysis on a set of popular real world application code bases followed by a demonstration of real world side channel attack on OpenSSL. The evaluation results show substantial wider existence and higher exploitability of BranchSpectre code patterns in real world software. Finally, we discuss several secure branch prediction mechanisms that can mitigate transient execution attacks exploiting modern branch predictors.