Beyond integrated information A taxonomy of information dynamics phenomena. Most information dynamics and statistical causal analysis frameworks rely on the common intuition that causal interactions are intrinsically pairwise every 'cause' variable has an associated 'effect' variable, so that a 'causal arrow' can be drawn between them. However, analyses that depict interdependencies as directed graphs fail to discriminate the rich variety of modes of information flow that can coexist within a system. This, in turn, creates problems with attempts to operationalise the concepts of 'dynamical complexity' or integrated information.' To address this shortcoming, we combine concepts of partial information decomposition and integrated information, and obtain what we call Integrated Information Decomposition, or Phi ID. We show how Phi ID paves the way for more detailed analyses of interdependencies in multivariate time series, and sheds light on collective modes of information dynamics that have not been reported before. Additionally, Phi ID reveals that what is typically referred to as 'integration' is actually an aggregate of several heterogeneous phenomena. Furthermore, Phi ID can be used to formulate new, tailored measures of integrated information, as well as to understand and alleviate the limitations of existing measures.


Eliminating COVID 19 The Impact of Travel and Timing. We analyze the spread of COVID 19 by considering the transmission of the disease among individuals both within and between regions. A set of regions can be defined as any partition of a population such that travel social contact within each region far exceeds that between them. COVID 19 can be eliminated if the region to region reproductive number i.e. the average number of other regions to which a single infected region will transmit the virus is reduced to less than one. We find that this region to region reproductive number is proportional to the travel rate between regions and exponential in the length of the time delay before region level control measures are imposed. Thus, reductions in travel and the speed with which regions take action play decisive roles in whether COVID 19 is eliminated from a collection of regions. If, on average, infected regions (including those that become re infected in the future) impose social distancing measures shortly after active spreading begins within them, the number of infected regions, and thus the number of regions in which such measures are required, will exponentially decrease over time. Elimination will in this case be a stable fixed point even after the social distancing measures have been lifted from most of the regions.


Decomposing the classifying diagram in terms of classifying spaces of groups. The classifying diagram was defined by Rezk and is a generalization of the nerve of a category in contrast to the nerve, the classifying diagram of two categories is equivalent if and only if the categories are equivalent. In this paper we prove that the classifying diagram of any category is characterized in terms of classifying spaces of stabilizers of groups. We also prove explicit decompositions of the classifying diagrams for the categories of finite ordered sets, finite dimensional vector spaces, and finite sets in terms of classifying spaces of groups.


Identification of time varying source term in time fractional diffusion equations. This paper is concerned with the inverse problem of determining the time and space dependent source term of diffusion equations with constant order time fractional derivative in (0,2) . We examine two different cases. In the first one, the source is the product of two spatial and temporal terms, and we prove that both of them can be retrieved by knowledge of one arbitrary internal measurement of the solution for all times. In the second case, we assume that the first term of the product varies with one fixed space variable, while the second one is a function of all the remaining space variables and the time variable, and we show that both terms are uniquely determined by two arbitrary lateral measurements of the solution over the entire time span. These two source identification results boil down to a weak unique continuation principle in the first case and a unique continuation principle for Cauchy data in the second one, that are preliminarily established. Finally, numerical reconstruction of spatial term of source terms in the form of the product of two spatial and temporal terms, is carried out through an iterative algorithm based on the Tikhonov regularization method.


Multiscale Topology Characterises Dynamic Tumour Vascular Networks. Advances in imaging techniques enable high resolution 3D visualisation of vascular networks over time and reveal abnormal structural features such as twists and loops, and their quantification is an active area of research. Here we showcase how topological data analysis (TDA), the mathematical field that studies shape' of data, can characterise the geometric, spatial and temporal organisation of vascular networks. We propose two topological lenses to study vasculature, which capture inherent multi scale features and vessel connectivity, and surpass the single scale analysis of existing methods. We analyse images collected using intravital and ultramicroscopy modalities and quantify spatio temporal variation of twists, loops, and avascular regions (voids) in 3D vascular networks. This topological approach validates and quantifies known qualitative trends such as dynamic changes in tortuosity and loops in response to antibodies that modulate vessel sprouting furthermore, it quantifies the effect of radiotherapy on vessel architecture.


Improvement of Properties of Self Injected and Accelerated Electron Bunch by Laser Pulse in Plasma. The accelerating gradients in conventional linear accelerators are currently limited to 100 MV per meter. Plasma based accelerators have the ability to sustain accelerating gradients which are several orders of magnitude greater than that obtained in conventionalaccelerators. Due to the rapid development of laser technology the laser plasma based accelerators are of great interest now. Over the past decade, successful experiments on laser wakefield acceleration of electrons in the plasma have confirmed the relevance of this acceleration. Evidently, the large accelerating gradients in the laser plasma accelerators allow to reduce the size and to cut the cost of accelerators. Another important advantage of the laser plasma accelerators is that they can produce short electron bunches with high energy.


Compute and Forward in Large Relaying Systems Limitations and Asymptotically Optimal Scheduling. Compute and Forward (CF) is a coding scheme which enables receivers to decode linear combinations of simultaneously transmitted messages while exploiting the linear properties of lattice codes and the additive nature of a shared medium. The scheme was originally designed for relay networks, yet, it was found useful in other communication problems, such as MIMO communication. Works in the current literature assume a fixed number of transmitters and receivers in the system. However, following the increase in communication networks density, it is interesting to investigate the performance of CF when the number of transmitters is large. In this work, we show that as the number of transmitters grows, CF becomes degenerated, in the sense that a relay prefers to decode only one (strongest) user instead of any other linear combination of the transmitted codewords, treating the other users as noise. Moreover, the system's sum rate tends to zero as well. This makes scheduling necessary in order to maintain the superior abilities CF provides. We thus examine the problem of scheduling for CF. We start with insights on why good scheduling opportunities can be found. Then, we provide an asymptotically optimal, polynomial time scheduling algorithm and analyze its performance. We conclude that with proper scheduling, CF is not merely non degenerated, but, in fact, provides a gain for the system sum rate, up to the optimal scaling law of O( log log L ) .


A review on Deep Reinforcement Learning for Fluid Mechanics. Deep reinforcement learning (DRL) has recently been adopted in a wide range of physics and engineering domains for its ability to solve decision making problems that were previously out of reach due to a combination of non linearity and high dimensionality. In the last few years, it has spread in the field of computational mechanics, and particularly in fluid dynamics, with recent applications in flow control and shape optimization. In this work, we conduct a detailed review of existing DRL applications to fluid mechanics problems. In addition, we present recent results that further illustrate the potential of DRL in Fluid Mechanics. The coupling methods used in each case are covered, detailing their advantages and limitations. Our review also focuses on the comparison with classical methods for optimal control and optimization. Finally, several test cases are described that illustrate recent progress made in this field. The goal of this publication is to provide an understanding of DRL capabilities along with state of the art applications in fluid dynamics to researchers wishing to address new problems with these methods.


Discrete Point Flow Networks for Efficient Point Cloud Generation. Generative models have proven effective at modeling 3D shapes and their statistical variations. In this paper we investigate their application to point clouds, a 3D shape representation widely used in computer vision for which, however, only few generative models have yet been proposed. We introduce a latent variable model that builds on normalizing flows with affine coupling layers to generate 3D point clouds of an arbitrary size given a latent shape representation. To evaluate its benefits for shape modeling we apply this model for generation, autoencoding, and single view shape reconstruction tasks. We improve over recent GAN based models in terms of most metrics that assess generation and autoencoding. Compared to recent work based on continuous flows, our model offers a significant speedup in both training and inference times for similar or better performance. For single view shape reconstruction we also obtain results on par with state of the art voxel, point cloud, and mesh based methods.


Resolvent estimates for the magnetic Schr "odinger operator in dimension n geq 2 . It is well known that the resolvent of the free Schr "odinger operator on weighted L 2 spaces has norm decaying like lambda frac 1 2 at energy lambda . There are several works proving analogous high frequency estimates for magnetic Schr "odinger operators, with large long or short range potentials, in dimensions n geq 3 . We prove that the same estimates remain valid in all dimensions n geq 2 .


Extracting UMLS Concepts from Medical Text Using General and Domain Specific Deep Learning Models. Entity recognition is a critical first step to a number of clinical NLP applications, such as entity linking and relation extraction. We present the first attempt to apply state of the art entity recognition approaches on a newly released dataset, MedMentions. This dataset contains over 4000 biomedical abstracts, annotated for UMLS semantic types. In comparison to existing datasets, MedMentions contains a far greater number of entity types, and thus represents a more challenging but realistic scenario in a real world setting. We explore a number of relevant dimensions, including the use of contextual versus non contextual word embeddings, general versus domain specific unsupervised pre training, and different deep learning architectures. We contrast our results against the well known i2b2 2010 entity recognition dataset, and propose a new method to combine general and domain specific information. While producing a state of the art result for the i2b2 2010 task (F1 0.90), our results on MedMentions are significantly lower (F1 0.63), suggesting there is still plenty of opportunity for improvement on this new data.


Distributed Consistent Network Updates in SDNs Local Verification for Global Guarantees. While SDNs enable more flexible and adaptive network operations, (logically) centralized reconfigurations introduce overheads and delays, which can limit network reactivity. This paper initiates the study of a more distributed approach, in which the consistent network updates are implemented by the switches and routers directly in the data plane. In particular, our approach leverages concepts from local proof labeling systems, which allows the data plane elements to locally check network properties, and we show that this is sufficient to obtain global network guarantees. We demonstrate our approach considering three fundamental use cases, and analyze its benefits in terms of performance and fault tolerance.


Projective Equivalence for the Roots of Unity. Let mu infty subseteq mathbb C be the collection of roots of unity and mathcal C n (s 1 , cdots,s n ) in mu infty n s i neq s j text for any 1 leq i j leq n . Two elements (s 1 , cdots,s n ) and (t 1 , cdots,t n ) of mathcal C n are said to be projectively equivalent if there exists gamma in text PGL (2, mathbb C ) such that gamma(s i ) t i for any 1 leq i leq n . In this article, we will give a complete classification for the projectively equivalent pairs. As a consequence, we will show that the maximal length for the nontrivial projectively equivalent pairs is 14 .


Construction Of A Rich Word Containing Given Two Factors. A finite word w with vert w vert n contains at most n 1 distinct palindromic factors. If the bound n 1 is attained, the word w is called emph rich . Let Factor(w) be the set of factors of the word w . It is known that there are pairs of rich words that cannot be factors of a common rich word. However it is an open question how to decide for a given pair of rich words u,v if there is a rich word w such that u,v subseteq Factor(w) . We present a response to this open question If w 1, w 2,w are rich words, m max vert w 1 vert, vert w 2 vert , and w 1,w 2 subseteq Factor(w) then there exists also a rich word bar w such that w 1,w 2 subseteq Factor( bar w) and vert bar w vert leq m2 k(m) 2 , where k(m) (q 1)m 2(4q 10 m) log 2 m and q is the size of the alphabet. Hence it is enough to check all rich words of length equal or lower to m2 k(m) 2 in order to decide if there is a rich word containing factors w 1,w 2 .


From Open Set to Closed Set Supervised Spatial Divide and Conquer for Object Counting. Visual counting, a task that aims to estimate the number of objects from an image video, is an open set problem by nature, i.e., the number of population can vary in 0, inf) in theory. However, collected data and labeled instances are limited in reality, which means that only a small closed set is observed. Existing methods typically model this task in a regression manner, while they are prone to suffer from an unseen scene with counts out of the scope of the closed set. In fact, counting has an interesting and exclusive property spatially decomposable. A dense region can always be divided until sub region counts are within the previously observed closed set. We therefore introduce the idea of spatial divide and conquer (S DC) that transforms open set counting into a closed set problem. This idea is implemented by a novel Supervised Spatial Divide and Conquer Network (SS DCNet). Thus, SS DCNet can only learn from a closed set but generalize well to open set scenarios via S DC. SS DCNet is also efficient. To avoid repeatedly computing sub region convolutional features, S DC is executed on the feature map instead of on the input image. We provide theoretical analyses as well as a controlled experiment on toy data, demonstrating why closed set modeling makes sense. Extensive experiments show that SS DCNet achieves the state of the art performance. Code and models are available at https tinyurl.com SS DCNet.


Near Real Time Social Distance Estimation in London. During the COVID 19 pandemic, policy makers at the Greater London Authority, the regional governance body of London, UK, are reliant upon prompt and accurate data sources. Large well defined heterogeneous compositions of activity throughout the city are sometimes difficult to acquire, yet are a necessity in order to learn 'busyness' and consequently make safe policy decisions. One component of our project within this space is to utilise existing infrastructure to estimate social distancing adherence by the general public. Our method enables near immediate sampling and contextualisation of activity and physical distancing on the streets of London via live traffic camera feeds. We introduce a framework for inspecting and improving upon existing methods, whilst also describing its active deployment on over 900 real time feeds.


Analysis and Control of Fiber Reinforced Elastomeric Enclosures (FREEs). While rigid robots are extensively used in various applications, they are limited in the tasks they can perform and can be unsafe in close human robot interactions. Soft robots on the other hand surpass the capabilities of rigid robots in several ways, such as compatibility with the work environments, degrees of freedom, manufacturing costs, and safe interactions with the environment. This thesis studies the behavior of Fiber Reinforced Elastomeric Enclosures (FREEs) as a particular type of soft pneumatic actuator that can be used in soft manipulators. A dynamic lumped parameter model is created to simulate the motion of a single FREE under various operating conditions and to inform the design of a controller. The proposed PID controller determines the response of the FREE to a defined step input or a trajectory following polynomial function, using rotation angle to control the orientation of the end effector. Additionally, Finite Element Analysis method is employed, incorporating the inherently nonlinear material properties of FREEs, to precisely evaluate various parameters and configurations of FREEs. This tool is also used to determine the workspace of multiple FREEs in a module, which is essentially a building block of a soft robotic arm.


Debiasing Convolutional Neural Networks via Meta Orthogonalization. While deep learning models often achieve strong task performance, their successes are hampered by their inability to disentangle spurious correlations from causative factors, such as when they use protected attributes (e.g., race, gender, etc.) to make decisions. In this work, we tackle the problem of debiasing convolutional neural networks (CNNs) in such instances. Building off of existing work on debiasing word embeddings and model interpretability, our Meta Orthogonalization method encourages the CNN representations of different concepts (e.g., gender and class labels) to be orthogonal to one another in activation space while maintaining strong downstream task performance. Through a variety of experiments, we systematically test our method and demonstrate that it significantly mitigates model bias and is competitive against current adversarial debiasing methods.


Wiretap channels with causal and non causal state information revisited. The coding problem for wiretap channels with causal channel state information (CSI) available at the encoder (Alice) and or the decoder (Bob) is studied. We are concerned here particularily with the problem of achievable secret message secret key rate pairs under the semantic security criterion. Our main result extends all the previous results on achievable rates as given by Chia and El Gamal 10 , Fujita 11 , and Han and Sasaki 23 . In order to do this, we first derive a unifying theorem (Theorem 2) with causal CSI at Alice, which follows immediately by leveraging the unifying seminal theorem for wiretap channels with non causal CSI at Alice as recently established by Bunin et al. 22 . The only thing to do here is just to re interpret the latter non causal one in a causal manner. A prominent feature of this approach is that we are able to dispense with the block Markov encoding scheme as used in the previous works. Also, the exact secret message key capacity region for wiretap channels with non causal CSI at both Alice and Bob is given.


Deterministic Zeckendorf Games. Zeckendorf proved that every positive integer can be written uniquely as the sum of non adjacent Fibonacci numbers. We further explore a two player Zeckendorf game introduced in Baird Smith, Epstein, Flint, and Miller Given a fixed integer n and an initial decomposition of n nF 1 , players alternate using moves related to the recurrence relation F n 1 F n F n 1 , and the last player to move wins. We improve the upper bound on the number of moves possible and show that it is of the same order in n as the lower bound this is an improvement by a logarithm over previous work. The new upper bound is 3n 3Z(n) IZ(n) 1 , and the existing lower bound is sharp at n Z(n) moves, where Z(n) is the number of terms in the Zeckendorf decomposition of n and IZ(n) is the sum of indices in the same Zeckendorf decomposition of n . We also studied four deterministic variants of the game, where there was a fixed order on which available move one takes Combine Largest, Split Largest, Combine Smallest and Split Smallest. We prove that Combine Largest and Split Largest realize the lower bound. Split Smallest has the largest number of moves over all possible games, and is close to the new upper bound. For Combine Split games, the number of moves grows linearly with n .


A Transition edge Sensor based X ray Spectrometer for the Study of Highly Charged Ions at the National Institute of Standards and Technology Electron Beam Ion Trap. We report on the design, commissioning, and initial measurements of a Transition edge Sensor (TES) x ray spectrometer for the Electron Beam Ion Trap (EBIT) at the National Institute of Standards and Technology (NIST). Over the past few decades, the NIST EBIT has produced numerous studies of highly charged ions in diverse fields such as atomic physics, plasma spectroscopy, and laboratory astrophysics. The newly commissioned NIST EBIT TES Spectrometer (NETS) improves the measurement capabilities of the EBIT through a combination of high x ray collection efficiency and resolving power. NETS utilizes 192 individual TES x ray microcalorimeters (166 192 yield) to improve upon the collection area by a factor of 30 over the 4 pixel neutron transmutation doped germanium based microcalorimeter spectrometer previously used at the NIST EBIT. The NETS microcalorimeters are optimized for the x ray energies from roughly 500 eV to 8,000 eV and achieve an energy resolution of 3.7 eV to 5.0 eV over this range, a more modest ( 2X) improvement over the previous microcalorimeters. Beyond this energy range NETS can operate with various trade offs, the most significant of which are reduced efficiency at lower energies and being limited to a subset of the pixels at higher energies. As an initial demonstration of the capabilities of NETS, we measured transitions in He like and H like O, Ne, and Ar as well as Ni like W. We detail the energy calibration and data analysis techniques used to transform detector counts into x ray spectra, a process that will be the basis for analyzing future data.


The Virtual Block Interface A Flexible Alternative to the Conventional Virtual Memory Framework. Computers continue to diversify with respect to system designs, emerging memory technologies, and application memory demands. Unfortunately, continually adapting the conventional virtual memory framework to each possible system configuration is challenging, and often results in performance loss or requires non trivial workarounds. To address these challenges, we propose a new virtual memory framework, the Virtual Block Interface (VBI). We design VBI based on the key idea that delegating memory management duties to hardware can reduce the overheads and software complexity associated with virtual memory. VBI introduces a set of variable sized virtual blocks (VBs) to applications. Each VB is a contiguous region of the globally visible VBI address space, and an application can allocate each semantically meaningful unit of information (e.g., a data structure) in a separate VB. VBI decouples access protection from memory allocation and address translation. While the OS controls which programs have access to which VBs, dedicated hardware in the memory controller manages the physical memory allocation and address translation of the VBs. This approach enables several architectural optimizations to (1) efficiently and flexibly cater to different and increasingly diverse system configurations, and (2) eliminate key inefficiencies of conventional virtual memory. We demonstrate the benefits of VBI with two important use cases (1) reducing the overheads of address translation (for both native execution and virtual machine environments), as VBI reduces the number of translation requests and associated memory accesses and (2) two heterogeneous main memory architectures, where VBI increases the effectiveness of managing fast memory regions. For both cases, VBI significanttly improves performance over conventional virtual memory.


Early Outbreak Detection for Proactive Crisis Management Using Twitter Data COVID 19 a Case Study in the US. During a disease outbreak, timely non medical interventions are critical in preventing the disease from growing into an epidemic and ultimately a pandemic. However, taking quick measures requires the capability to detect the early warning signs of the outbreak. This work collects Twitter posts surrounding the 2020 COVID 19 pandemic expressing the most common symptoms of COVID 19 including cough and fever, geolocated to the United States. Through examining the variation in Twitter activities at the state level, we observed a temporal lag between the rises in the number of symptom reporting tweets and officially reported positive cases which varies between 5 to 19 days.


Answer based Adversarial Training for Generating Clarification Questions. We present an approach for generating clarification questions with the goal of eliciting new information that would make the given textual context more complete. We propose that modeling hypothetical answers (to clarification questions) as latent variables can guide our approach into generating more useful clarification questions. We develop a Generative Adversarial Network (GAN) where the generator is a sequence to sequence model and the discriminator is a utility function that models the value of updating the context with the answer to the clarification question. We evaluate on two datasets, using both automatic metrics and human judgments of usefulness, specificity and relevance, showing that our approach outperforms both a retrieval based model and ablations that exclude the utility model and the adversarial training.


Ternary derivations of nest algebras. Suppose that X is a (real or complex) Banach space, dimX geq 2 , and mathcal N is a nest on X , with each N in mathcal N is complemented in X whenever N N . A ternary derivation of Alg mathcal N is a triple of linear maps ( gamma, delta, tau) of Alg mathcal N such that gamma(AB) delta(A)B A tau(B) for all A,B in Alg mathcal N . We show that for linear maps delta , tau on Alg mathcal N there exists a unique linear map gamma from Alg mathcal N into Alg mathcal N defined by gamma(A) RA AT for some R , T in Alg mathcal N such that ( gamma, delta, tau) is a ternary derivation of Alg mathcal N if and only if delta , tau satisfy delta(A)B A tau(B) 0 for any A , B in Alg mathcal N with AB 0 . We also prove that every ternary derivation on Alg mathcal N is an inner ternary derivation. Our results are applied to characterize the (right or left) centralizers and derivations through zero products, local right (left) centralizers, right (left) ideal preserving maps and local derivations on nest algebras.


On bipartite distance regular Cayley graphs with diameter 3 . In this paper, we show that every bipartite distance regular Cayley graph with diameter 3 can be constructed on the semidirect product of a group and mathbb Z 2 , except possibly for one case.


Regulation of macrocycle shuttling in 2 rotaxanes by amino acid speed bumps in organic aqueous solvent mixtures. A homologous series of two station 2 rotaxanes incorporating amino acid units in the molecular thread has been developed. The degenerate 2 rotaxanes exhibit amino acid specific shuttling rates between two fumaric stations related to the steric factor associated to the amino acid side chain, as demonstrated by variable temperature 1H NMR spectroscopy and exchange spectroscopy (EXSY). This allows tuning of the macrocycle shuttling rate over 4 orders of magnitude, which further has a relatively small solvent dependency.


The regularity of some families of circulant graphs. We compute the Castelnuovo Mumford regularity of the edge ideals of two families of circulant graphs, which includes all cubic circulant graphs. A feature of our approach is to combine bounds on the regularity, the projective dimension, and the reduced Euler characteristic to derive an exact value for the regularity.


A multi objective multi item solid transportation problem with vehicle cost, volume and weight capacity under fuzzy environment. Generally, in transportation problem, full vehicles (e.g., light commercial vehicles, medium duty and heavy duty trucks, etc.) are to be booked, and transportation cost of a vehicle has to be paid irrespective of the fulfilment of the capacity of the vehicle. Besides the transportation cost, total time that includes travel time of a vehicle, loading and unloading times of products is also an important issue. Also, instead of a single item, different types of items may need to be transported from some sources to destinations through different types of conveyances. The optimal transportation policy may be affected by many other issues like volume and weight of per unit of product, unavailability of sufficient number of certain types of vehicles, etc. In this paper, we formulate a multi objective multi item solid transportation problem by addressing all these issues. The problem is formulated with the transportation cost and time parameters as fuzzy variables. Using credibility theory of fuzzy variables, a chance constraint programming model is formulated, and is then transformed into the corresponding deterministic form. Finally numerical example is provided to illustrate the problem.


A Relational Memory based Embedding Model for Triple Classification and Search Personalization. Knowledge graph embedding methods often suffer from a limitation of memorizing valid triples to predict new ones for triple classification and search personalization problems. To this end, we introduce a novel embedding model, named R MeN, that explores a relational memory network to encode potential dependencies in relationship triples. R MeN considers each triple as a sequence of 3 input vectors that recurrently interact with a memory using a transformer self attention mechanism. Thus R MeN encodes new information from interactions between the memory and each input vector to return a corresponding vector. Consequently, R MeN feeds these 3 returned vectors to a convolutional neural network based decoder to produce a scalar score for the triple. Experimental results show that our proposed R MeN obtains state of the art results on SEARCH17 for the search personalization task, and on WN11 and FB13 for the triple classification task.


Augmenting Data for Sarcasm Detection with Unlabeled Conversation Context. We present a novel data augmentation technique, CRA (Contextual Response Augmentation), which utilizes conversational context to generate meaningful samples for training. We also mitigate the issues regarding unbalanced context lengths by changing the input output format of the model such that it can deal with varying context lengths effectively. Specifically, our proposed model, trained with the proposed data augmentation technique, participated in the sarcasm detection task of FigLang2020, have won and achieves the best performance in both Reddit and Twitter datasets.


Strong subalgebras and the Constraint Satisfaction Problem. In 2007 it was conjectured that the Constraint Satisfaction Problem (CSP) over a constraint language Gamma is tractable if and only if Gamma is preserved by a weak near unanimity (WNU) operation. After many efforts and partial results, this conjecture was independently proved by Andrei Bulatov and the author in 2017. In this paper we consider one of two main ingredients of my proof, that is, strong subalgebras that allow us to reduce domains of the variables iteratively. To explain how this idea works we show the algebraic properties of strong subalgebras and provide self contained proof of two important facts about the complexity of the CSP. First, we prove that if a constraint language is not preserved by a WNU operation then the corresponding CSP is NP hard. Second, we characterize all constraint languages that can be solved by local consistency checking. Additionally, we characterize all idempotent algebras not having a WNU term of a concrete arity n , not having a WNU term, having WNU terms of all arities greater than 2. Most of the results presented in the paper are not new, but I believe this paper can help to understand my approach to CSP and the new self contained proof of known facts will be also useful.


Short linear motif candidates in the cell entry system used by SARS CoV 2 and their potential therapeutic implications. The primary cell surface receptor for SARS CoV 2 is the angiotensin converting enzyme 2 (ACE2). Recently it has been noticed that the viral Spike protein has an RGD motif, suggesting that cell surface integrins may be co receptors. We examined the sequences of ACE2 and integrins with the Eukaryotic Linear Motif resource, ELM, and were presented with candidate short linear motifs (SLiMs) in their short, unstructured, cytosolic tails with potential roles in endocytosis, membrane dynamics, autophagy, cytoskeleton and cell signalling. These SLiM candidates are highly conserved in vertebrates. They suggest potential interactions with the AP2 mu2 subunit as well as I BAR, LC3, PDZ, PTB and SH2 domains found in signalling and regulatory proteins present in epithelial lung cells. Several motifs overlap in the tail sequences, suggesting that they may act as molecular switches, often involving tyrosine phosphorylation status. Candidate LIR motifs are present in the tails of ACE2 and integrin beta3, suggesting that these proteins can directly recruit autophagy components. We also noticed that the extracellular part of ACE2 has a conserved MIDAS structural motif, which are commonly used by beta integrins for ligand binding, potentially supporting the proposal that integrins and ACE2 share common ligands. The findings presented here identify several molecular links and testable hypotheses that might help uncover the mechanisms of SARS CoV 2 attachment, entry and replication, and strengthen the possibility that it might be possible to develop host directed therapies to dampen the efficiency of viral entry and hamper disease progression. The strong sequence conservation means that these putative SLiMs are good candidates Nevertheless, SLiMs must always be validated by experimentation before they can be stated to be functional.


Acoustic scattering by cascades with complex boundary conditions compliance, porosity and impedance. We present a solution for the scattered field caused by an incident wave interacting with an infinite cascade of blades with complex boundary conditions. This extends previous studies by allowing the blades to be compliant, porous or satisfying a generalised impedance condition. Beginning with the convected wave equation, we employ Fourier transforms to obtain an integral equation amenable to the Wiener Hopf method. This Wiener Hopf system is solved using a method that avoids the factorisation of matrix functions. The Fourier transform is inverted to obtain an expression for the acoustic potential function that is valid throughout the entire domain. We observe that the principal effect of complex boundary conditions is to perturb the zeros of the Wiener Hopf kernel, which correspond to the duct modes in the inter blade region. We focus efforts on understanding the role of porosity, and present a range of results on sound transmission and generation. The behaviour of the duct modes is discussed in detail in order to explain the physical mechanisms behind the associated noise reductions. In particular, we show that cut on duct modes do not exist for arbitrary porosity coefficients. Conversely, the acoustic modes are unchanged by modifications to the boundary conditions. Consequently, we observe that even modest values of porosity can result in reductions in the sound power level of 5 dB for the first mode and 20 dB for the second mode. The solution is essentially analytic (the only numerical requirements are matrix inversion and root finding) and is therefore extremely rapid to compute.


On the topology of constant mean curvature surfaces in H2 X R with boundary in a plane. A gap in the proof prevents us to show that surfaces with constant mean curvature closed to 1 2 in H2 X R and having boundary with curvature greater than one, contained in a horizontal section P of H2 X R are topological disks, provided they are contained in one of the two halfspaces determined by P. This is the analogue in H2 X R of a result in R3 by A. Ros and H. Rosenberg 13, Theorem 2 .


Global and Local Analyses of Nonlinear Low Rank Matrix Recovery Problems. The restricted isometry property (RIP) is a well known condition that guarantees the absence of spurious local minima in low rank matrix recovery problems with linear measurements. In this paper, we introduce a novel property named bound difference property (BDP) to study low rank matrix recovery problems with nonlinear measurements. Using RIP and BDP jointly, we first focus on the rank 1 matrix recovery problem, for which we propose a new criterion to certify the nonexistence of spurious local minima over the entire space. We then analyze the general case with an arbitrary rank and derive a condition to rule out the possibility of having a spurious solution in a ball around the true solution. The developed conditions lead to much stronger theoretical guarantees than the existing bounds on RIP.


Coarse graining molecular dynamics stochastic models with non Gaussian force distributions. Incorporating atomistic and molecular information into models of cellular behaviour is challenging because of a vast separation of spatial and temporal scales between processes happening at the atomic and cellular levels. Multiscale or multi resolution methodologies address this difficulty by using molecular dynamics (MD) and coarse grained models in different parts of the cell. Their applicability depends on the accuracy and properties of the coarse grained model which approximates the detailed MD description. A family of stochastic coarse grained (SCG) models, written as relatively low dimensional systems of nonlinear stochastic differential equations, is presented. The nonlinear SCG model incorporates the non Gaussian force distribution which is observed in MD simulations and which cannot be described by linear models. It is shown that the nonlinearities can be chosen in such a way that they do not complicate parametrization of the SCG description by detailed MD simulations. The solution of the SCG model is found in terms of gamma functions.


Small data global regularity for simplified 3 D Ericksen Leslie's compressible hyperbolic liquid crystal model. In this article, we consider the Ericksen Leslie's hyperbolic system for compressible liquid crystal model in three spatial dimensions. Global regularity for small and smooth initial data near equilibrium is proved for the case that the system is a nonlinear coupling of compressible Navier Stokes equations with wave map to mathbb S 2 . Our argument is a combination of vector field method and Fourier analysis. The main strategy to prove global regularity relies on an interplay between the control of high order energies and decay estimates, which is based on the idea inspired by the method of space time resonances. In particular the different behaviors of the decay properties of the density and velocity field for compressible fluids at different frequencies play a key role.


Polytropic Behavior of Solar Wind Protons Observed by Parker Solar Probe. A polytropic process describes the transition of a fluid from one state to another through a specific relationship between the fluid density and temperature. The value of the polytropic index that governs this relationship determines the heat transfer and the effective degrees of freedom during the process. In this study, we analyze solar wind proton plasma measurements, obtained by the Faraday cup instrument on board Parker Solar Probe. We examine the large scale variations of the proton plasma density and temperature within the inner heliosphere explored by the spacecraft. We also address a polytropic behavior in the density and temperature fluctuations in short time intervals, which we analyze in order to derive the effective polytropic index of small time scale processes. The large scale variations of the solar wind proton density and temperature which are associated with the plasma expansion through the heliosphere, follow a polytropic model with a polytropic index 5 3. On the other hand, the short time scale fluctuations which may be associated with turbulence, follow a model with a larger polytropic index. We investigate possible correlations between the polytropic index of short time scale fluctuations and the plasma speed, plasma beta, and the magnetic field direction. We discuss the scenario of mechanisms including energy transfer or mechanisms that restrict the particle effective degrees of freedom.


Neural Compound Word (Sandhi) Generation and Splitting in Sanskrit Language. This paper describes neural network based approaches to the process of the formation and splitting of word compounding, respectively known as the Sandhi and Vichchhed, in Sanskrit language. Sandhi is an important idea essential to morphological analysis of Sanskrit texts. Sandhi leads to word transformations at word boundaries. The rules of Sandhi formation are well defined but complex, sometimes optional and in some cases, require knowledge about the nature of the words being compounded. Sandhi split or Vichchhed is an even more difficult task given its non uniqueness and context dependence. In this work, we propose the route of formulating the problem as a sequence to sequence prediction task, using modern deep learning techniques. Being the first fully data driven technique, we demonstrate that our model has an accuracy better than the existing methods on multiple standard datasets, despite not using any additional lexical or morphological resources. The code is being made available at https github.com IITD DataScience Sandhi Prakarana


Robust growth termination through local mechanical feedback in the Drosophila wing disc. How does a cell in an organ know the overall size of the organ? It is thought that the Drosophila wing disc grows to the right size because its cells respond to both signalling proteins (morphogens) and mechanical stress. We show that size regulation can be achieved if cells respond exclusively to stress with an anisotropic growth response. To test this, we develop a continuum model which assumes the spatial uniformity of cell proliferation in the wing disc and predicts compression in the disc center, tension in its periphery, and a sigmoidal evolution of the disc size, all of which have been observed in experiments. We further show that the addition of a basal growth term is necessary for the wing disc to always reach the same size. Contrary to the current paradigm, our results suggest that local mechanical feedback is the primary mechanism in regulating the final disc size.


Higher Order Apostol Type Poly Genocchi Polynomials with Parameters a, b and c. In this paper, a new form of poly Genocchi polynomials is defined by means of poly logarithm, namely, the Apostol type poly Genocchi polynomials of higher order with parameters a, b and c. Several properties of these polynomials are established including some recurrence relations and explicit formulas, which express these higher order Apostol type poly Genocchi polynomials in terms of Stirling numbers of the second kind, Apostol type Bernoulli and Frobenius polynomials of higher order. Moreover, certain differential identity is obtained that leads this new form of poly Genocchi polynomials to be classified as Appell polynomials and, consequently, draw more properties using some theorems on Appell polynomials. Furthermore, a symmetrized generalization of this new form of poly Genocchi polynomials is introduced that possesses a double generating function. Finally, the type 2 Apostol poly Genocchi polynomials with parameters a, b and c are defined using the concept of polyexponential function and several identities are derived, two of which show the connections of these polynomials with Stirling numbers of the first kind and the type 2 Apostol type poly Bernoulli polynomials.


Inferring genetic fitness from genomic data. The genetic composition of a naturally developing population is considered as due to mutation, selection, genetic drift and recombination. Selection is modeled as single locus terms (additive fitness) and two loci terms (pairwise epistatic fitness). The problem is posed to infer epistatic fitness from population wide whole genome data from a time series of a developing population. We generate such data in silico, and show that in the Quasi Linkage Equilibrium (QLE) phase of Kimura, Neher and Shraiman, that pertains at high enough recombination rates and low enough mutation rates, epistatic fitness can be quantitatively correctly inferred using inverse Ising Potts methods.


Whistler Waves and Electron Properties in the Inner Heliosphere Helios Observations. We present the analysis of narrowband whistler wave signatures observed in the inner heliosphere (0.3 1 au). These signatures are bumps in the spectral density in the 10 200 Hz frequency range of the AC magnetic field as measured by the search coil magnetometer on board the Helios1 spacecraft. We show that the majority of whistler signatures are observed in the slow solar wind ( 500 km s) and their occurrence increases with the radial distance (R), from 3 at 0.3 au to 10 at 0.9 au. In the fast solar wind ( 600 km s), whistler activity is significantly lower whistler signatures start to appear for R 0.6 au and their number increases from 0.03 at 0.65 au to 1 at 0.9 au. We have studied the variation of the electron core and halo anisotropy, as well as the electron normalized heat flux as a function of R and of the solar wind speed. We find that, in the slow wind electron core and halo anisotropy is higher than in fast one, and also that these anisotropies increase radially in both types of winds, which is in line with the occurrence of whistler signatures. We hypothesize the existence of a feedback mechanism to explain the observed radial variations of the occurrence of whistlers in relation with the halo anisotropy.


Adaptive Context Aware Multi Modal Network for Depth Completion. Depth completion aims to recover a dense depth map from the sparse depth data and the corresponding single RGB image. The observed pixels provide the significant guidance for the recovery of the unobserved pixels' depth. However, due to the sparsity of the depth data, the standard convolution operation, exploited by most of existing methods, is not effective to model the observed contexts with depth values. To address this issue, we propose to adopt the graph propagation to capture the observed spatial contexts. Specifically, we first construct multiple graphs at different scales from observed pixels. Since the graph structure varies from sample to sample, we then apply the attention mechanism on the propagation, which encourages the network to model the contextual information adaptively. Furthermore, considering the mutli modality of input data, we exploit the graph propagation on the two modalities respectively to extract multi modal representations. Finally, we introduce the symmetric gated fusion strategy to exploit the extracted multi modal features effectively. The proposed strategy preserves the original information for one modality and also absorbs complementary information from the other through learning the adaptive gating weights. Our model, named Adaptive Context Aware Multi Modal Network (ACMNet), achieves the state of the art performance on two benchmarks, it i.e. , KITTI and NYU v2, and at the same time has fewer parameters than latest models. Our code is available at url https github.com sshan zhao ACMNet .


Immediate extensions of valuation rings and ultrapowers. We describe the immediate extensions of a one dimensional valuation ring V which could be embedded in some separation of a ultrapower of V with respect to a certain ultrafilter. For such extensions holds a kind of Artin's approximation.


Fair and Decentralized Exchange of Digital Goods. We construct a privacy preserving, distributed and decentralized marketplace where parties can exchange data for tokens. In this market, buyers and sellers make transactions in a blockchain and interact with a third party, called notary, who has the ability to vouch for the authenticity and integrity of the data. We introduce a protocol for the data token exchange where neither party gains more information than what it is paying for, and the exchange is fair either both parties gets the other's item or neither does. No third party involvement is required after setup, and no dispute resolution is needed.


Primitive divisors of elliptic divisibility sequences over function fields with constant j invariant. We prove an optimal Zsigmondy bound for elliptic divisibility sequences over function fields in case the j invariant of the elliptic curve is constant. In more detail, given an elliptic curve E with a point P of infinite order, the sequence D 1 , D 2, ldots of denominators of multiples P , 2P, ldots of P is a strong divisibility sequence in the sense that gcd(D m, D n) D gcd(m,n) . This is the genus one analogue of the genus zero Fibonacci, Lucas and Lehmer sequences. A number N is called a Zsigmondy bound of the sequence if each term D n with n N presents a new prime factor. The optimal uniform Zsigmondy bound for the genus zero sequences over mathbf Q is 30 by Bilu Hanrot Voutier, 2000, but finding such a bound remains an open problem in genus one, both over mathbf Q and over function fields. We prove that the optimal Zsigmondy bound for ordinary elliptic divisibility sequences over function fields is 2 if the j invariant is constant. In the supersingular case, we give a complete classification of which terms can and cannot have a new prime factor.


Distributions of Finite Sequences Represented by Polynomials in Piatetski Shapiro Sequences. By using the work of Frantzikinakis and Wierdl, we can see that for all d in mathbb N , alpha in(d,d 1) , and integers k ge d 2 and r ge1 , there exist infinitely many n in mathbb N such that the sequence ( lfloor (n rj) alpha rfloor) j 0 k 1 is represented as lfloor (n rj) alpha rfloor p(j) , j 0,1, ldots,k 1 , by using some polynomial p(x) in mathbb Q x of degree at most d . In particular, the above sequence is an arithmetic progression when d 1 . In this paper, we show the asymptotic density of such numbers n as above. When d 1 , the asymptotic density is equal to 1 (k 1) . Although the common difference r is arbitrarily fixed in the above result, we also examine the case when r is not fixed. Most results in this paper are generalized by using functions belonging to Hardy fields.


Criteria for exact saturation and singular compactness. We introduce the class of unshreddable theories, which contains the simple and NIP theories, and prove that such theories have exactly saturated models in singular cardinals, satisfying certain set theoretic hypotheses. We also give criteria for a theory to have singular compactness.


The MUIR Framework Cross Linking MOOC Resources to Enhance Discussion Forums. New learning resources are created and minted in Massive Open Online Courses every week new videos, quizzes, assessments and discussion threads are deployed and interacted with in the era of on demand online learning. However, these resources are often artificially siloed between platforms and artificial web application models. Facilitating the linking between such resources facilitates learning and multimodal understanding, bettering learners' experience. We create a framework for MOOC Uniform Identifier for Resources (MUIR). MUIR enables applications to refer and link to such resources in a cross platform way, allowing the easy minting of identifiers to MOOC resources, akin to hashtags. We demonstrate the feasibility of this approach to the automatic identification, linking and resolution a task known as Wikification of learning resources mentioned on MOOC discussion forums, from a harvested collection of 100K resources. Our Wikification system achieves a high initial rate of 54.6 successful resolutions on key resource mentions found in discussion forums, demonstrating the utility of the MUIR framework. Our analysis on this new problem shows that context is a key factor in determining the correct resolution of such mentions.


Polarization dependent laser resonance ionization of beryllium. Using TRIUMF's off line laser ion source test stand with a system of tunable titanium sapphire lasers, the polarization dependence of laser resonance ionization has been investigated using beryllium. A significant polarization dependence was observed for the excitation path 1 S 0 rightarrow 1 P circ 1 rightarrow 1 S 0 , which are typical transitions for alkaline and alkaline like elements. This polarization dependence was further verified on Be radioactive isotopes at TRIUMF's isotope separator and accelerator facility (ISAC). Laser polarization was proven to be an important parameter in operating resonance ionization laser ion sources (RILIS). The polarization spectroscopy was preformed off line both on the 2p 2 1 S 0 autoionizing (AI) state and high n Rydberg states of the 2sns 1S 0 and 2snd 1D 2 series. The energy of the 2p 2 1 S 0 AI state and ionization potential (IP) of beryllium were extracted as 76167(6) cm 1 and 75192.59(3) cm 1 . Polarization spectroscopy can be used to determine the J values of newly found states in in source spectroscopy of the complex radioactive alkaline like elements such as Ra, Sm, Yb, Pu and No.


Balance Oriented Focal Loss with Linear Scheduling for Anchor Free Object Detection. Most existing object detectors suffer from class imbalance problems that hinder balanced performance. In particular, anchor free object detectors have to solve the background imbalance problem due to detection in a per pixel prediction fashion as well as foreground imbalance problem simultaneously. In this work, we propose Balance oriented focal loss that can induce balanced learning by considering both background and foreground balance comprehensively. This work aims to address imbalance problem in the situation of using a general unbalanced data of non extreme distribution not including few shot and the focal loss for anchor free object detector. We use a batch wise alpha balanced variant of the focal loss to deal with this imbalance problem elaborately. It is a simple and practical solution using only re weighting for general unbalanced data. It does require neither additional learning cost nor structural change during inference and grouping classes is also unnecessary. Through extensive experiments, we show the performance improvement for each component and analyze the effect of linear scheduling when using re weighting for the loss. By improving the focal loss in terms of balancing foreground classes, our method achieves AP gains of 1.2 in MS COCO for the anchor free real time detector.


Lagrangian schemes for Wasserstein gradient flows. This paper reviews different numerical methods for specific examples of Wasserstein gradient flows we focus on nonlinear Fokker Planck equations,but also discuss discretizations of the parabolic elliptic Keller Segel model and of the fourth order thin film equation. The methods under review are of Lagrangian nature, that is, the numerical approximations trace the characteristics of the underlying transport equation rather than solving the evolution equation for the mass density directly. The two main approaches are based on integrating the equation for the Lagrangian maps on the one hand, and on solution of coupled ODEs for individual mass particles on the other hand.


Logic guided Semantic Representation Learning for Zero Shot Relation Classification. Relation classification aims to extract semantic relations between entity pairs from the sentences. However, most existing methods can only identify seen relation classes that occurred during training. To recognize unseen relations at test time, we explore the problem of zero shot relation classification. Previous work regards the problem as reading comprehension or textual entailment, which have to rely on artificial descriptive information to improve the understandability of relation types. Thus, rich semantic knowledge of the relation labels is ignored. In this paper, we propose a novel logic guided semantic representation learning model for zero shot relation classification. Our approach builds connections between seen and unseen relations via implicit and explicit semantic representations with knowledge graph embeddings and logic rules. Extensive experimental results demonstrate that our method can generalize to unseen relation types and achieve promising improvements.


Learning Temporal Pose Estimation from Sparsely Labeled Videos. Modern approaches for multi person pose estimation in video require large amounts of dense annotations. However, labeling every frame in a video is costly and labor intensive. To reduce the need for dense annotations, we propose a PoseWarper network that leverages training videos with sparse annotations (every k frames) to learn to perform dense temporal pose propagation and estimation. Given a pair of video frames a labeled Frame A and an unlabeled Frame B we train our model to predict human pose in Frame A using the features from Frame B by means of deformable convolutions to implicitly learn the pose warping between A and B. We demonstrate that we can leverage our trained PoseWarper for several applications. First, at inference time we can reverse the application direction of our network in order to propagate pose information from manually annotated frames to unlabeled frames. This makes it possible to generate pose annotations for the entire video given only a few manually labeled frames. Compared to modern label propagation methods based on optical flow, our warping mechanism is much more compact (6M vs 39M parameters), and also more accurate (88.7 mAP vs 83.8 mAP). We also show that we can improve the accuracy of a pose estimator by training it on an augmented dataset obtained by adding our propagated poses to the original manual labels. Lastly, we can use our PoseWarper to aggregate temporal pose information from neighboring frames during inference. This allows our system to achieve state of the art pose detection results on the PoseTrack2017 and PoseTrack2018 datasets. Code has been made available at https github.com facebookresearch PoseWarper.


Improved visual function in a case of ultra low vision following ischemic encephalopathy following transcranial electrical stimulation A case study. Cortical visual impairment is amongst the key pathological causes of pediatric visual abnormalities predominantly resulting from hypoxic ischemic brain injury. Such an injury results in profound visual impairments which severely impairs the patient's quality of life. Given the nature of the pathology, treatments are mostly limited to rehabilitation strategies such as transcranial electrical stimulation and visual rehabilitation therapy. Here, we discussed an 11 year old girl case with cortical visual impairment who underwent concurrent visual rehabilitation therapy and transcranial electrical stimulation resulting in her improved visual function. This novel and noninvasive therapeutic intervention has shown potential for application in neuro visual rehabilitation therapy (nVRT).


On the distribution of periods of holomorphic cusp forms and zeroes of period polynomials. In this paper we determine the limiting distribution of the image of the Eichler Shimura map or equivalently the limiting joint distribution of the coefficients of the period polynomials associated to a fixed cusp form. The limiting distribution is shown to be the distribution of a certain transformation of two independent random variables both of which are equidistributed on the circle mathbb R mathbb Z , where the transformation is connected to the additive twist of the cuspidal L function. Furthermore we determine the asymptotic behavior of the zeroes of the period polynomials of a fixed cusp form. We use the method of moments and the main ingredients in the proofs are additive twists of L functions and bounds for both individual and sums of Kloosterman sums.


Problematic nature of plasmoid theory of magnetic reconnection. Plasmoid theory uses two coordinate models to explain fast magnetic reconnection, which occurs on an Alfv 'enic, not a resistive time scale, in plasmas that are evolving in the near ideal limit. The primary application has been to three dimensional naturally occurring plasmas. A magnetic field representation that applies to all magnetic fields allows features of magnetic evolution in toroidal and natural plasmas to be compared. This comparison illustrates why plasmoid models of magnetic field evolution are not robust solutions to Maxwell's equations. Despite five hundred papers on plasmoid models, they provide a problematic description of fast magnetic reconnection.


Coverage Analysis of Net Inscriptions in Coloured Petri Net Models. High level Petri net such as Coloured Petri Nets (CPNs) are characterised by the combination of Petri nets and a high level programming language. In the context of CPNs and CPN Tools, the inscriptions (e.g., arc expressions and guards) are specified using Standard ML (SML). The application of simulation and state space exploration (SSE) for validating CPN models traditionally focuses on behavioural properties related to net structure, i.e., places and transitions. This means that the net inscriptions are only implicitly validated, and the extent to which these have been covered is not made explicit. The contribution of this paper is an approach that establishes a link between coverage analysis known from programming languages and net inscriptions of CPN models. Specifically, we consider Modified Condition Decision Coverage (MC DC) which generalises branch coverage of SML decisions. We have implemented our approach in a library for CPN Tools comprised of an annotation and instrumentation mechanism that transparently intercept and collect evaluations of Boolean conditions, and a post processing tool that determines whether each decision is MC DC covered by a set of models executions (runs). We evaluate our approach on four larger public available CPN models.


MIN Co Governing Multi Identifier Network Architecture and its Prototype on Operator's Network. IP protocol is the core of TCP IP network layer. However, since IP address and its Domain Name are allocated and managed by a single agency, there are risks of centralization. The semantic overload of IP address also reduces its scalability and mobility, which further hinders the security. This paper proposes a co governing Multi Identifier Network (MIN) architecture that constructs a network layer with parallel coexistence of multiple identifiers, including identity, content, geographic information, and IP address. On the management plane, we develop an efficient management system using consortium blockchain with voting consensus, so the network can simultaneously manage and support by hundreds or thousands of nodes with high throughput. On the data plane, we propose an algorithm merging hash table and prefix tree (HTP) for FIB, which avoids the false negative error and can inter translate different identifiers with tens of billions of entries. Further, we propose a scheme to transport IP packets using CCN as a tunnel for supporting progressive deployment. We deployed the prototype of MIN to the largest operators' network in Mainland China, Hongkong and Macao, and demonstrated that the network can register identifier under co governing consensus algorithm, support VoD service very well.


Deep Multi task Learning for Facial Expression Recognition and Synthesis Based on Selective Feature Sharing. Multi task learning is an effective learning strategy for deep learning based facial expression recognition tasks. However, most existing methods take into limited consideration the feature selection, when transferring information between different tasks, which may lead to task interference when training the multi task networks. To address this problem, we propose a novel selective feature sharing method, and establish a multi task network for facial expression recognition and facial expression synthesis. The proposed method can effectively transfer beneficial features between different tasks, while filtering out useless and harmful information. Moreover, we employ the facial expression synthesis task to enlarge and balance the training dataset to further enhance the generalization ability of the proposed method. Experimental results show that the proposed method achieves state of the art performance on those commonly used facial expression recognition benchmarks, which makes it a potential solution to real world facial expression recognition problems.


On pro p groups with quadratic cohomology. The main purpose of this article is to study pro p groups with quadratic mathbb F p cohomology algebra, i.e. H bullet quadratic pro p groups. Prime examples of such groups are the maximal Galois pro p groups of fields containing a primitive root of unity of order p . We show that the amalgamated free product and HNN extension of H bullet quadratic pro p groups is H bullet quadratic, under certain necessary conditions. Moreover, we introduce and investigate a new family of pro p groups that yields many new examples of H bullet quadratic groups p RAAGs. These examples generalise right angled Artin groups in the category of pro p groups. Finally, we explore "Tits alternative behaviour" of H bullet quadratic pro p groups.


Design Knowledge Representation with Technology Semantic Network. Engineers often need to discover and learn designs from unfamiliar domains for inspiration or other particular uses. However, the complexity of the technical design descriptions and the unfamiliarity to the domain make it hard for engineers to comprehend the function, behavior, and structure of a design. To help engineers quickly understand a complex technical design description new to them, one approach is to represent it as a network graph of the design related entities and their relations as an abstract summary of the design. While graph or network visualizations are widely adopted in the engineering design literature, the challenge remains in retrieving the design entities and deriving their relations. In this paper, we propose a network mapping method that is powered by Technology Semantic Network (TechNet). Through a case study, we showcase how TechNet's unique characteristic of being trained on a large technology related data source advantages itself over common sense knowledge bases, such as WordNet and ConceptNet, for design knowledge representation.


Software Language Comprehension using a Program Derived Semantics Graph. Traditional code transformation structures, such as abstract syntax trees (ASTs), conteXtual flow graphs (XFGs), and more generally, compiler intermediate representations (IRs), may have limitations in extracting higher order semantics from code. While work has already begun on higher order semantics lifting (e.g., Aroma's simplified parse tree (SPT), verified lifting's lambda calculi, and Halide's intentional domain specific language (DSL)), research in this area is still immature. To continue to advance this research, we present the program derived semantics graph, a new graphical structure to capture semantics of code. The PSG is designed to provide a single structure for capturing program semantics at multiple levels of abstraction. The PSG may be in a class of emerging structural representations that cannot be built from a traditional set of predefined rules and instead must be learned. In this paper, we describe the PSG and its fundamental structural differences compared to state of the art structures. Although our exploration into the PSG is in its infancy, our early results and architectural analysis indicate it is a promising new research direction to automatically extract program semantics.


Predicting the Future is like Completing a Painting!. This article is an introductory work towards a larger research framework relative to Scientific Prediction. It is a mixed between science and philosophy of science, therefore we can talk about Experimental Philosophy of Science. As a first result, we introduce a new forecasting method based on image completion, named Forecasting Method by Image Inpainting (FM2I). In fact, time series forecasting is transformed into fully images and signal based processing procedures. After transforming a time series data into its corresponding image, the problem of data forecasting becomes essentially a problem of image inpainting problem, i.e., completing missing data in the image. An extensive experimental evaluation is conducted using a large dataset proposed by the well known M3 competition. Results show that FM2I represents an efficient and robust tool for time series forecasting. It has achieved prominent results in terms of accuracy and outperforms the best M3 forecasting methods.


L p asymptotic stability analysis of a 1D wave equation with a nonlinear damping. This paper is concerned with the asymptotic stability analysis of a one dimensional wave equation with Dirichlet boundary conditions subject to a nonlinear distributed damping with an L p functional framework, p in 2, infty . Some well posedness results are provided together with exponential decay to zero of trajectories, with an estimation of the decay rate. The well posedness results are proved by considering an appropriate functional of the energy in the desired functional spaces introduced by Haraux in 11 . Asymptotic behavior analysis is based on an attractivity result on a trajectory of an infinite dimensional linear time varying system with a special structure, which relies on the introduction of a suitable Lyapunov functional. Note that some of the results of this paper apply for a large class of nonmonotone dampings.


Featherweight Go. We describe a design for generics in Go inspired by previous work on Featherweight Java by Igarashi, Pierce, and Wadler. Whereas subtyping in Java is nominal, in Go it is structural, and whereas generics in Java are defined via erasure, in Go we use monomorphisation. Although monomorphisation is widely used, we are one of the first to formalise it. Our design also supports a solution to The Expression Problem.


Homotopy techniques for solving sparse column support determinantal polynomial systems. Let mathbf K be a field of characteristic zero with overline mathbf K its algebraic closure. Given a sequence of polynomials mathbf g (g 1, ldots, g s) in mathbf K x 1, ldots , x n s and a polynomial matrix mathbf F f i,j in mathbf K x 1, ldots, x n p times q , with p leq q , we are interested in determining the isolated points of V p( mathbf F , mathbf g ) , the algebraic set of points in overline mathbf K at which all polynomials in mathbf g and all p minors of mathbf F vanish, under the assumption n q p s 1 . Such polynomial systems arise in a variety of applications including for example polynomial optimization and computational geometry. We design a randomized sparse homotopy algorithm for computing the isolated points in V p( mathbf F , mathbf g ) which takes advantage of the determinantal structure of the system defining V p( mathbf F , mathbf g ) . Its complexity is polynomial in the maximum number of isolated solutions to such systems sharing the same sparsity pattern and in some combinatorial quantities attached to the structure of such systems. It is the first algorithm which takes advantage both on the determinantal structure and sparsity of input polynomials. We also derive complexity bounds for the particular but important case where mathbf g and the columns of mathbf F satisfy weighted degree constraints. Such systems arise naturally in the computation of critical points of maps restricted to algebraic sets when both are invariant by the action of the symmetric group.


Offset Calibration for Appearance Based Gaze Estimation via Gaze Decomposition. Appearance based gaze estimation provides relatively unconstrained gaze tracking. However, subject independent models achieve limited accuracy partly due to individual variations. To improve estimation, we propose a novel gaze decomposition method and a single gaze point calibration method, motivated by our finding that the inter subject squared bias exceeds the intra subject variance for a subject independent estimator. We decompose the gaze angle into a subject dependent bias term and a subject independent term between the gaze angle and the bias. The subject independent term is estimated by a deep convolutional network. For calibration free tracking, we set the subject dependent bias term to zero. For single gaze point calibration, we estimate the bias from a few images taken as the subject gazes at a point. Experiments on three datasets indicate that as a calibration free estimator, the proposed method outperforms the state of the art methods by up to 10.0 . The proposed calibration method is robust and reduces estimation error significantly (up to 35.6 ), achieving state of the art performance for appearance based eye trackers with calibration.


The Polish topology of the isometry group of the infinite dimensional hyperbolic space. We consider the isometry group of the infinite dimensional separable hyperbolic space with its Polish topology. This topology is given by the pointwise convergence. For non locally compact Polish groups, some striking phenomena like automatic continuity or extreme amenability may happen. Our leading idea is to compare this topological group with usual Lie groups on one side and with non Archimedean infinite dimensional groups like mathcal S infty , the group of all permutations of a countable set on the other side. Our main results are Automatic continuity (any homomorphism to a separable group is continuous), minimality of the Polish topology, identification of its universal Furstenberg boundary as the closed unit ball of a separable Hilbert space with its weak topology, identification of its universal minimal flow as the completion of some suspension of the action of the additive group of the reals on its universal minimal flow. All along the text, we lead a parallel study with the sibling group of isometries of a separable Hilbert space.


On the plane Lam 'e Navier system in fractal domains. This paper is devoted to study a fundamental system of equations in plane Linear Elasticity Theory, the two dimensional Lam 'e Navier system. We rewrite them in a compressed form in terms of the Cauchy Riemann operators and it allows us to solve a kind of Riemann problem for this system. A generalized Teodorescu operator, to be introduced here, provides the means for obtaining the explicit solution of this problem for a very wide classes of regions, including those with a fractal boundary.


Explicit Spatial Encoding for Deep Local Descriptors. We propose a kernelized deep local patch descriptor based on efficient match kernels of neural network activations. Response of each receptive field is encoded together with its spatial location using explicit feature maps. Two location parametrizations, Cartesian and polar, are used to provide robustness to a different types of canonical patch misalignment. Additionally, we analyze how the conventional architecture, i.e. a fully connected layer attached after the convolutional part, encodes responses in a spatially variant way. In contrary, explicit spatial encoding is used in our descriptor, whose potential applications are not limited to local patches. We evaluate the descriptor on standard benchmarks. Both versions, encoding 32x32 or 64x64 patches, consistently outperform all other methods on all benchmarks. The number of parameters of the model is independent of the input patch resolution.


physics.optics physics.app-ph physics.med-ph physics.plasm-ph

Resonant scattering of electromagnetic waves by small metal particles. The review is devoted to a discussion of new (and often unexpected) aspects of the old problem of elastic light scattering by small metal particles, whose size is comparable to or smaller than the thickness of the skin layer. The main focus is put on elucidating the physical grounds for these new aspects. It is shown that, in many practically important cases, the scattering of light by such particles, despite their smallness, may have almost nothing in common with the Rayleigh one. The so called, anomalous scattering and absorption, as well as Fano resonances, including unconventional (associated with the excitation of longitudinal electromagnetic oscillations) and directional Fano resonances, observed only in a small solid angle, are discussed in detail. The review contains a Mathematical Supplement, which includes a summary of the main results of the Mie theory and a discussion of some general properties of the scattering coefficients. In addition to purely academic interest, the phenomena considered in this review can find wide applications in biology, medicine, pharmacology, genetic engineering, imaging of ultra small objects, ultra high resolution spectroscopy, information transmission, recording, and processing, and many other applications and technologies. The reported study was funded by RFBR, project number 19 11 00001 and the project of the Russian Science Foundation No. 19 72 30012, within the framework of which all the original calculations given in this publication were performed.


On the Morse Index with Constraints I An Abstract Formulation. In this sequence, we first prove an abstract Morse index theorem in a Hilbert space modeling a variational problem with constraints. Then, our abstract formulation is applied to study several optimization setups including closed CMC hypersurfaces, capillary surfaces in a ball, and critical points of type II partitioning. In this paper, we study the index and nullity of a symmetric bounded bilinear form in a Hilbert space. The main results determine precisely how these notions change when restricting to a subspace of a finite codimension.


Weak strong uniqueness for an elastic plate interacting with the Navier Stokes equation. We show weak strong uniqueness and stability results for the motion of a two or three dimensional fluid governed by the Navier Stokes equation interacting with a flexible, elastic plate of Koiter type. The plate is situated at the top of the fluid and as such determines the variable part of a time changing domain (that is hence a part of the solution) containing the fluid. The uniqueness result is a consequence of a stability estimate where the difference of two solutions is estimated by the distance of the initial values and outer forces. For that we introduce a methodology that overcomes the problem that the two (variable in time) domains of the fluid velocities and pressures are not the same. The estimate holds under the assumption that one of the two weak solutions possesses some additional higher regularity. The additional regularity is exclusively requested for the velocity of one of the solutions resembling the celebrated Ladyzhenskaya Prodi Serrin conditions in the given framework.


Polygonal Maxwell's fisheye lens via transformation optics as multimode waveguide crossing. Multimode waveguide crossings are crucial components for novel mode division multiplexing systems. One of the challenges of multimode waveguide routing in MDM systems is decreasing the inter mode crosstalk and mode leakage of waveguide crossings. In this work, we present the intersections of three and four waveguides based on polygonal Maxwell's fisheye lens via transformation optics. The designed lenses are implemented by mapping their refractive index to the thickness of guiding Si layer. The three dimensional finite difference time domain simulations are used to evaluate the performance of the proposed 3 times3 and 4 times4 crossings. The footprint of the 3 times3 and 4 times4 waveguide star crossings are 18.6 times18.6 and 27.5 times27.5 mu m 2 , respectively. For both waveguide crossings, the intermodal crosstalk in the output port is lower than 22dB while the crosstalk to other ports is lower than 37dB for TE0, TE1, and TE2 modes. The insertion losses for these modes are lower than 0.5dB in a bandwidth of 415nm covering the whole optical telecommunication bands.


Quantifying Community Characteristics of Maternal Mortality Using Social Media. While most mortality rates have decreased in the US, maternal mortality has increased and is among the highest of any OECD nation. Extensive public health research is ongoing to better understand the characteristics of communities with relatively high or low rates. In this work, we explore the role that social media language can play in providing insights into such community characteristics. Analyzing pregnancy related tweets generated in US counties, we reveal a diverse set of latent topics including Morning Sickness, Celebrity Pregnancies, and Abortion Rights. We find that rates of mentioning these topics on Twitter predicts maternal mortality rates with higher accuracy than standard socioeconomic and risk variables such as income, race, and access to health care, holding even after reducing the analysis to six topics chosen for their interpretability and connections to known risk factors. We then investigate psychological dimensions of community language, finding the use of less trustful, more stressed, and more negative affective language is significantly associated with higher mortality rates, while trust and negative affect also explain a significant portion of racial disparities in maternal mortality. We discuss the potential for these insights to inform actionable health interventions at the community level.


Flat replacements of homology theories. To a homology theory one can associate an additive site and a new homological functor with values in the category of additive sheaves on that site. If this category of sheaves can be shown to be equivalent to a category of comodules of a Hopf algebroid, then we obtain a new homology theory by composing with the underlying module functor. This new homology theory is always flat and we call it a flat replacement of the original theory. For example, Pstr k a gowski has shown that complex cobordism is a flat replacement of singular homology. In this article we study the basic properties of the sites associated to homology theories and we prove an existence theorem for flat replacements.


MeLIME Meaningful Local Explanation for Machine Learning Models. Most state of the art machine learning algorithms induce black box models, preventing their application in many sensitive domains. Hence, many methodologies for explaining machine learning models have been proposed to address this problem. In this work, we introduce strategies to improve local explanations taking into account the distribution of the data used to train the black box models. We show that our approach, MeLIME, produces more meaningful explanations compared to other techniques over different ML models, operating on various types of data. MeLIME generalizes the LIME method, allowing more flexible perturbation sampling and the use of different local interpretable models. Additionally, we introduce modifications to standard training algorithms of local interpretable models fostering more robust explanations, even allowing the production of counterfactual examples. To show the strengths of the proposed approach, we include experiments on tabular data, images, and text all showing improved explanations. In particular, MeLIME generated more meaningful explanations on the MNIST dataset than methods such as GuidedBackprop, SmoothGrad, and Layer wise Relevance Propagation. MeLIME is available on https github.com tiagobotari melime.


TED A Pretrained Unsupervised Summarization Model with Theme Modeling and Denoising. Text summarization aims to extract essential information from a piece of text and transform the text into a concise version. Existing unsupervised abstractive summarization models leverage recurrent neural networks framework while the recently proposed transformer exhibits much more capability. Moreover, most of previous summarization models ignore abundant unlabeled corpora resources available for pretraining. In order to address these issues, we propose TED, a transformer based unsupervised abstractive summarization system with pretraining on large scale data. We first leverage the lead bias in news articles to pretrain the model on millions of unlabeled corpora. Next, we finetune TED on target domains through theme modeling and a denoising autoencoder to enhance the quality of generated summaries. Notably, TED outperforms all unsupervised abstractive baselines on NYT, CNN DM and English Gigaword datasets with various document styles. Further analysis shows that the summaries generated by TED are highly abstractive, and each component in the objective function of TED is highly effective.


Microwave limiters implemented by coupled dielectric resonators based on a topological defect mode and CT symmetry breaking. We present a microwave realization of a reflective topological limiter based on an explicit self induced violation of a charge conjugation (CT) symmetry. The starting point is a bipartite structure created by coupled dielectric resonators with a topological defect placed at the center and two lossy resonators placed on the neighboring sites of the defect. This defect supports a resonant mode if the CT symmetry is present, while it is suppressed once the symmetry is violated due to permittivity changes of the defect resonator associated with high irradiances of the incident radiation. This destruction leads to a suppression of transmittance and a subsequent increase of the reflectance while the absorption is also suppressed.


Lane detection in complex scenes based on end to end neural network. The lane detection is a key problem to solve the division of derivable areas in unmanned driving, and the detection accuracy of lane lines plays an important role in the decision making of vehicle driving. Scenes faced by vehicles in daily driving are relatively complex. Bright light, insufficient light, and crowded vehicles will bring varying degrees of difficulty to lane detection. So we combine the advantages of spatial convolution in spatial information processing and the efficiency of ERFNet in semantic segmentation, propose an end to end network to lane detection in a variety of complex scenes. And we design the information exchange block by combining spatial convolution and dilated convolution, which plays a great role in understanding detailed information. Finally, our network was tested on the CULane database and its F1 measure with IOU threshold of 0.5 can reach 71.9 .


Critical properties of bipartite permutation graphs. The class of bipartite permutation graphs enjoys many nice and important properties. In particular, this class is critically important in the study of clique and rank width of graphs, because it is one of the minimal hereditary classes of graphs of unbounded clique and rank width. It also contains a number of important subclasses, which are critical with respect to other parameters, such as graph lettericity or shrub depth, and with respect to other notions, such as well quasi ordering or complexity of algorithmic problems. In the present paper we identify critical subclasses of bipartite permutation graphs of various types.


Dimension estimates for the boundary of planar Sobolev extension domains. We prove an asymptotically sharp dimension upper bound for the boundary of bounded simply connected planar Sobolev W 1,p extension domains via the weak mean porosity of the boundary. The sharpness of our estimate is shown by examples.


Beirut explosion Energy yield from the fireball time evolution in the first 230 milliseconds. The evolution of the fireball resulting from the August 2020 Beirut explosion is traced using amateur footage taken during the first sim 230 ms after the detonation. 38 frames separated by sim 16.66 33.33 ms are extracted from 6 different videos located precisely on the map. Measurements of the time evolution of the radius R t of the shock wave are traced by the fireball at consecutive time sequence t . Pixel scales for the videos are calibrated by de projecting the existing grains silos building for which accurate drawings are available and by defining the line of sight incident angles. The energy available to drive the shock wave at early times can be calculated through E 10 2b K rho o where b is a fitted parameter dependant on the relation between R t and t . K is a constant depending on the ratio of specific heats of the atmosphere and rho 0 is the undisturbed gas density. A total energy yield of E approx 1.3 times 10 12 Joules with a lower bound of 9.8 times 10 11 and an upper bound of sim 1.7 times 10 12 or the equivalent of sim 310 235 405 tons of T.N.T. is found. Our energy yields are different from other published studies using the same method. This can present an argument that if the compound that exploded is fuel rich ammonium nitrate (ANFO), then the actual mass that detonated is less than officially claimed.


Connecting abstract logics and adjunctions in the theory of ( pi )institutions some theoretical remarks and applications. In the present work, a natural sequel to cite MaPi1 , we further discuss the existence of adjunctions between categories of institutions and of pi institutions. This is done at both a foundational and an applied level. Firstly, we reformulate and conceptually clarify such adjunctions in terms of the 2 categorical data involved in the construction of categories of institution like structures. More precisely, we remark that the process used for passing from rooms to institutions ( cite Diac2 ) can be extended, due to its 2 functoriality, to more general room like and institution like structures in such a way that the aforementioned adjunctions are all seen to arise from simpler adjunctions at the room like level. Secondly, and mostly independently, we provide some applications of such adjunctions to abstract logics, mainly to the setting of propositional logics and filter pairs ( cite AMP1 ) we also generalize the process of skolemization, a classical device from predicate logic, to the institutional setting.


Symmetric differentials and the dimension of Hitchin components for orbi curves. This note is based on a talk given at the 2019 ISAAC Congress in Aveiro, Portugal. We give an expository account of joint work with Daniele Alessandrini and Gye Seon Lee on Hitchin components for orbifold groups (arXiv 1811.05366), recasting part of it in the language of analytic orbi curves. This reduces the computation of the dimension of the Hitchin component for orbifold groups to an application of the orbifold Riemann Roch theorem.


Emotion Recognition on large video dataset based on Convolutional Feature Extractor and Recurrent Neural Network. For many years, the emotion recognition task has remained one of the most interesting and important problems in the field of human computer interaction. In this study, we consider the emotion recognition task as a classification as well as a regression task by processing encoded emotions in different datasets using deep learning models. Our model combines convolutional neural network (CNN) with recurrent neural network (RNN) to predict dimensional emotions on video data. At the first step, CNN extracts feature vectors from video frames. In the second step, we fed these feature vectors to train RNN for exploiting the temporal dynamics of video. Furthermore, we analyzed how each neural network contributes to the system's overall performance. The experiments are performed on publicly available datasets including the largest modern Aff Wild2 database. It contains over sixty hours of video data. We discovered the problem of overfitting of the model on an unbalanced dataset with an illustrative example using confusion matrices. The problem is solved by downsampling technique to balance the dataset. By significantly decreasing training data, we balance the dataset, thereby, the overall performance of the model is improved. Hence, the study qualitatively describes the abilities of deep learning models exploring enough amount of data to predict facial emotions. Our proposed method is implemented using Tensorflow Keras.


Exploring the Usage of Online Food Delivery Data for Intra Urban Job and Housing Mobility Detection and Characterization. Human mobility plays a critical role in urban planning and policy making. However, at certain spatial and temporal resolutions, it is very challenging to track, for example, job and housing mobility. In this study, we explore the usage of a new modality of dataset, online food delivery data, to detect job and housing mobility. By leveraging millions of meal orders from a popular online food ordering and delivery service in Beijing, China, we are able to detect job and housing moves at much higher spatial and temporal resolutions than using traditional data sources. Popular moving seasons and origins destinations can be well identified. More importantly, we match the detected moves to both macro and micro level factors so as to characterize job and housing dynamics. Our findings suggest that commuting distance is a major factor for job and housing mobility. We also observe that (1) For home movers, there is a trade off between lower housing cost and shorter commuting distance given the urban spatial structure (2) For job hoppers, those who frequently work overtime are more likely to reduce their working hours by switching jobs. While this new modality of dataset has its limitations, we believe that ensemble approaches would be promising, where a mash up of multiple datasets with different characteristic limitations can provide a more comprehensive picture of job and housing dynamics. Our work demonstrates the effectiveness of utilizing food delivery data to detect and analyze job and housing mobility, and contributes to realizing the full potential of ensemble based approaches.


Meta Learning for Low resource Natural Language Generation in Task oriented Dialogue Systems. Natural language generation (NLG) is an essential component of task oriented dialogue systems. Despite the recent success of neural approaches for NLG, they are typically developed for particular domains with rich annotated training examples. In this paper, we study NLG in a low resource setting to generate sentences in new scenarios with handful training examples. We formulate the problem from a meta learning perspective, and propose a generalized optimization based approach (Meta NLG) based on the well recognized model agnostic meta learning (MAML) algorithm. Meta NLG defines a set of meta tasks, and directly incorporates the objective of adapting to new low resource NLG tasks into the meta learning optimization process. Extensive experiments are conducted on a large multi domain dataset (MultiWoz) with diverse linguistic variations. We show that Meta NLG significantly outperforms other training procedures in various low resource configurations. We analyze the results, and demonstrate that Meta NLG adapts extremely fast and well to low resource situations.


Self Supervised Similarity Learning for Digital Pathology. Using features extracted from networks pretrained on ImageNet is a common practice in applications of deep learning for digital pathology. However it presents the downside of missing domain specific image information. In digital pathology, supervised training data is expensive and difficult to collect. We propose a self supervised method for feature extraction by similarity learning on whole slide images (WSI) that is simple to implement and allows creation of robust and compact image descriptors. We train a siamese network, exploiting image spatial continuity and assuming spatially adjacent tiles in the image are more similar to each other than distant tiles. Our network outputs feature vectors of length 128, which allows dramatically lower memory storage and faster processing than networks pretrained on ImageNet. We apply the method on digital pathology WSIs from the Camelyon16 train set and assess and compare our method by measuring image retrieval of tumor tiles and descriptor pair distance ratio for distant near tiles in the Camelyon16 test set. We show that our method yields better retrieval task results than existing ImageNet based and generic self supervised feature extraction methods. To the best of our knowledge, this is also the first published method for self supervised learning tailored for digital pathology.