SegGroup Seg Level Supervision for 3D Instance and Semantic Segmentation. Most existing point cloud instance and semantic segmentation methods rely heavily on strong supervision signals, which require point level labels for every point in the scene. However, such strong supervision suffers from large annotation costs, arousing the need to study efficient annotating. In this paper, we discover that the locations of instances matter for 3D scene segmentation. By fully taking the advantages of locations, we design a weakly supervised point cloud segmentation algorithm that only requires clicking on one point per instance to indicate its location for annotation. With over segmentation for pre processing, we extend these location annotations into segments as seg level labels. We further design a segment grouping network (SegGroup) to generate pseudo point level labels under seg level labels by hierarchically grouping the unlabeled segments into the relevant nearby labeled segments, so that existing point level supervised segmentation models can directly consume these pseudo labels for training. Experimental results show that our seg level supervised method (SegGroup) achieves comparable results with the fully annotated point level supervised methods. Moreover, it also outperforms the recent weakly supervised methods given a fixed annotation budget.


Fixed points of a random restricted growth sequence. We call i a fixed point of a given sequence if the value of that sequence at the i th position coincides with i . Here, we enumerate fixed points in the class of restricted growth sequences. The counting process is conducted by calculation of generating functions and leveraging a probabilistic sampling method.


Dominated Minimal Separators are Tame (Nearly All Others are Feral). A class cal F of graphs is called em tame if there exists a constant k so that every graph in cal F on n vertices contains at most O(n k) minimal separators, em strongly quasi tame if every graph in cal F on n vertices contains at most O(n k log n ) minimal separators, and em feral if there exists a constant c 1 so that cal F contains n vertex graphs with at least c n minimal separators for arbitrarily large n . The classification of graph classes into tame or feral has numerous algorithmic consequences, and has recently received considerable attention. A key graph theoretic object in the quest for such a classification is the notion of a k em creature . In a recent manuscript Abrishami et al., Arxiv 2020 conjecture that every hereditary class cal F that excludes k creatures for some fixed constant k is tame. We give a counterexample to this conjecture and prove the weaker result that a hereditary class cal F is strongly quasi tame if it excludes k creatures for some fixed constant k and additionally every minimal separator can be dominated by another fixed constant k' number of vertices. The tools developed also lead to a number of additional results of independent interest. bf (i) We obtain a complete classification of all hereditary graph classes defined by a finite set of forbidden induced subgraphs into strongly quasi tame or feral. This generalizes Milani v c and Piva v c WG'19 . bf (ii) We show that hereditary class that excludes k creatures and additionally excludes all cycles of length at least c , for some constant c , are tame. This generalizes the result of Chudnovsky et al., Arxiv 2019 . bf (iii) We show that every hereditary class that excludes k creatures and additionally excludes a complete graph on c vertices for some fixed constant c is tame.


Upper bound on some hightness notions. We give upper bound for several highness properties in computability randomness theory. First, we prove that discrete covering property does not imply the ability to compute a 1 random real, answering a question of Greenberg, Miller and Nies. This also implies that an infinite set of incompressible strings does not necessarily extract a 1 random real. Second, we prove that given a homogeneous binary tree that does not admit an infinite computable path, a sequence of bounded martingale whose initial capital tends to zero, there exists a martingale S majorizing infinitely any of them such that S does not compute an infinite path of the tree. This implies that 1) High(CR,MLR) does not imply PA completeness, answering a question of Miller 2) leq mathsf CR does not imply leq T , answering a question of Nies. The proof of the second result suggests that the coding power of the universal c.e. martingale lies in its infinite variance.


All electrical monitoring of bacterial antibiotic susceptibility in a microfluidic device. The lack of rapid antibiotic susceptibility tests adversely affects the treatment of bacterial infections and contributes to increased prevalence of multidrug resistant bacteria. Here, we describe an all electrical approach that allows for ultra sensitive measurement of growth signals from only tens of bacteria in a microfluidic device. Our device is essentially a set of microfluidic channels, each with a nano constriction at one end and cross sectional dimensions close to that of a single bacterium. Flowing a liquid bacteria sample (e.g., urine) through the microchannels rapidly traps the bacteria in the device, allowing for subsequent incubation in drugs. We measure the electrical resistance of the microchannels, which increases (or decreases) in proportion to the number of bacteria in the microchannels. The method and device allow for rapid antibiotic susceptibility tests in about two hours. Further, the short time fluctuations in the electrical resistance during an antibiotic susceptibility test are correlated with the morphological changes of bacteria caused by the antibiotic. In contrast to other electrical approaches, the underlying geometric blockage effect provides a robust and sensitive signal, which is straightforward to interpret without electrical models. The approach also obviates the need for a high resolution microscope and other complex equipment, making it potentially usable in resource limited settings.


Sybil Resilient Social Choice with Partial Participation. Voting rules may fail to implement the will of the society when only some voters actively participate, and or in the presence of sybil (fake or duplicate) voters. Here we aim to address social choice in the presence of sybils and voter abstention. To do so we assume the status quo (Reality) as an ever present distinguished alternative, and study Reality Enforcing voting rules, which add virtual votes in support of the status quo. We measure the tradeoff between safety and liveness (the ability of active honest voters to maintain change the status quo, respectively) in a variety of domains, and show that the Reality Enforcing voting rule is optimal in this respect.


Molecular Communication Theoretical Modeling and Analysis of SARS CoV2 Transmission in Human Respiratory System. Severe Acute Respiratory Syndrome CoronaVirus 2 (SARS CoV2) caused the ongoing pandemic. This pandemic devastated the world by killing more than a million people, as of October 2020. It is imperative to understand the transmission dynamics of SARS CoV2 so that novel and interdisciplinary prevention, diagnostic, and therapeutic techniques could be developed. In this work, we model and analyze the transmission of SARS CoV2 through the human respiratory tract from a molecular communication perspective. We consider that virus diffusion occurs in the mucus layer so that the shape of the tract does not have a significant effect on the transmission. Hence, this model reduces the inherent complexity of the human respiratory system. We further provide the impulse response of SARS CoV2 ACE2 receptor binding event to determine the proportion of the virus population reaching different regions of the respiratory tract. Our findings confirm the results in the experimental literature on higher mucus flow rate causing virus migration to the lower respiratory tract. These results are especially important to understand the effect of SARS CoV2 on the different human populations at different ages who have different mucus flow rates and ACE2 receptor concentrations in the different regions of the respiratory tract.


Copula based synthetic data augmentation for machine learning emulators. Can we improve machine learning (ML) emulators with synthetic data? If data are scarce or expensive to source and a physical model is available, statistically generated data may be useful for augmenting training sets cheaply. Here we explore the use of copula based models for generating synthetically augmented datasets in weather and climate by testing the method on a toy physical model of downwelling longwave radiation and corresponding neural network emulator. Results show that for copula augmented datasets, predictions are improved by up to 62 for the mean absolute error (from 1.17 to 0.44 W m 2 ).


Community Detection and Growth Potential Prediction from Patent Citation Networks. The scoring of patents is useful for technology management analysis. Therefore, a necessity of developing citation network clustering and prediction of future citations for practical patent scoring arises. In this paper, we propose a community detection method using the Node2vec. And in order to analyze growth potential we compare three ''time series analysis methods'', the Long Short Term Memory (LSTM), ARIMA model, and Hawkes Process. The results of our experiments, we could find common technical points from those clusters by Node2vec. Furthermore, we found that the prediction accuracy of the ARIMA model was higher than that of other models.


Laplace Beltrami Operators on Noncommutative Tori. In this paper, we construct Laplace Beltrami operators associated with arbitrary Riemannian metrics on noncommutative tori of any dimension. These operators enjoy the main properties of the Laplace Beltrami operators on ordinary Riemannian manifolds. The construction takes into account the non triviality of the group of modular automorphisms. On the way we introduce notions of Riemannian density and Riemannian volumes for noncommutative tori.


Radiation of fast positrons interacting with periodic microstructure on the surface of a crystal. Radiation of charged particles passing through a set of equidistant ridges on the surface of a single crystal is calculated. The ridges are rectangular in shape, each of thickness of half of the particle trajectory period at planar channeling in a thick crystal. Positively charged particle entering the first ridge with angle smaller than the critical channeling angle is captured into channeling and changes the direction of its transversal velocity to reversed. Between the half wave ridges the particle moves along a straight line. Passing through such set of half wave crystal plates the particle moves on quasi undulator trajectories. Properties of the particle radiation emitted during their passage through such "multicrystal undulator" are calculated. The radiation spectrum in each direction is discrete, and the frequency of the first harmonic and the number of harmonics in the spectrum depends on the distance between the plates, on energy of the particles and on the averaged potential energy of atomic planes of the crystal. The radiation is bound to a narrow cone in the direction of the average particle velocity and polarized essentially in a plane orthogonal to the atomic planes of the crystal.


Brazil electricity needs in 2030 trends and challenges. The demand for electricity and the need to replace fossil fuels by renewables have been growing steadily, and this transition will have significant implications to our world that are only beginning to be understood. Brazil is one important example of a big economy where the electricity is already supplied by renewables, such as hydro, wind and biomass fired thermal power. In this work we investigated the electricity load curves in the last 20 years in Brazil, and four different scenarios for 2030 are proposed in order to evaluate the impact of increasing renewables in the national grid, at an hourly basis. The analysis shows that growing electricity demand and the expected reduction in the hydropower share will significantly increase the reliability of the national grid, due to higher peak load and also due to the intermittency of Solar and Wind. Without any gigawatt scale hydropower projected for the near future, increasing the share of these renewables should push hydropower to operate hundreds of hours every year above typical peak power levels experienced in the past. In order to avoid or reduce the threat related to this trend one of our scenarios suggests that solar water heaters could be massively deployed in Brazil, what would positively impact the system reliability by reducing the electricity demand mostly at peak loads during early evenings.


Orbits of Hamiltonian Paths and Cycles in Complete Graphs. We enumerate certain geometric equivalence classes of subgraphs induced by Hamiltonian paths and cycles in complete graphs. Said classes are orbits under the action of certain direct products of dihedral and cyclic groups on sets of strings representing subgraphs. These orbits are enumerated using Burnside's lemma. The technique used also provides an alternative proof of the formulae found by S. W. Golomb and L. R. Welch which give the number of distinct n gons on fixed, regularly spaced vertices up to rotation and optionally reflection.


Distributed Transactional Systems Cannot Be Fast. We prove that no fully transactional system can provide fast read transactions (including read only ones that are considered the most frequent in practice). Specifically, to achieve fast read transactions, the system has to give up support of transactions that write more than one object. We prove this impossibility result for distributed storage systems that are causally consistent, i.e., they do not require to ensure any strong form of consistency. Therefore, our result holds also for any system that ensures a consistency level stronger than causal consistency, e.g., strict serializability. The impossibility result holds even for systems that store only two objects (and support at least two servers and at least four clients). It also holds for systems that are partially replicated. Our result justifies the design choices of state of the art distributed transactional systems and insists that system designers should not put more effort to design fully functional systems that support both fast read transactions and ensure causal or any stronger form of consistency.


Understanding Politics via Contextualized Discourse Processing. Politicians often have underlying agendas when reacting to events. Arguments in contexts of various events reflect a fairly consistent set of agendas for a given entity. In spite of recent advances in Pretrained Language Models (PLMs), those text representations are not designed to capture such nuanced patterns. In this paper, we propose a Compositional Reader model consisting of encoder and composer modules, that attempts to capture and leverage such information to generate more effective representations for entities, issues, and events. These representations are contextualized by tweets, press releases, issues, news articles, and participating entities. Our model can process several documents at once and generate composed representations for multiple entities over several issues or events. Via qualitative and quantitative empirical analysis, we show that these representations are meaningful and effective.


Picture groups and maximal green sequences. We show that picture groups are directly related to maximal green sequences for valued Dynkin quivers of finite type. Namely, there is a bijection between maximal green sequences and positive expressions (words in the generators without inverses) for the Coxeter element of the picture group. We actually prove the theorem for the more general set up of "vertically and horizontally ordered" sets of positive real Schur roots for any hereditary algebra (not necessarily finite type). Furthermore, we show that every picture for such a set of positive roots is a linear combination of "atoms" and we give a precise description of atoms as special semi invariant pictures.


Feature Selection with Evolving, Fast and Slow Using Two Parallel Genetic Algorithms. Feature selection is one of the most challenging issues in machine learning, especially while working with high dimensional data. In this paper, we address the problem of feature selection and propose a new approach called Evolving Fast and Slow. This new approach is based on using two parallel genetic algorithms having high and low mutation rates, respectively. Evolving Fast and Slow requires a new parallel architecture combining an automatic system that evolves fast and an effortful system that evolves slow. With this architecture, exploration and exploitation can be done simultaneously and in unison. Evolving fast, with high mutation rate, can be useful to explore new unknown places in the search space with long jumps and Evolving Slow, with low mutation rate, can be useful to exploit previously known places in the search space with short movements. Our experiments show that Evolving Fast and Slow achieves very good results in terms of both accuracy and feature elimination.


Sphericalization with its applications in Gromov hyperbolic spaces. In this paper, we study certain applications of sphericalization in Gromov hyperbolic metric spaces. We first show that the doubling property regarding two classes of metrics on the Gromov boundary of hyperbolic spaces are coincided. Next, we obtain a characterization of unbounded Gromov hyperbolic domains via metric spaces sphericalization. Finally, we investigate the topological equivalence of Gromov hyperbolic varphi uniform domains between the Gromov boundary and the inner metric boundary.


Effects of Naturalistic Variation in Goal Oriented Dialog. Existing benchmarks used to evaluate the performance of end to end neural dialog systems lack a key component natural variation present in human conversations. Most datasets are constructed through crowdsourcing, where the crowd workers follow a fixed template of instructions while enacting the role of a user agent. This results in straight forward, somewhat routine, and mostly trouble free conversations, as crowd workers do not think to represent the full range of actions that occur naturally with real users. In this work, we investigate the impact of naturalistic variation on two goal oriented datasets bAbI dialog task and Stanford Multi Domain Dataset (SMD). We also propose new and more effective testbeds for both datasets, by introducing naturalistic variation by the user. We observe that there is a significant drop in performance (more than 60 in Ent. F1 on SMD and 85 in per dialog accuracy on bAbI task) of recent state of the art end to end neural methods such as BossNet and GLMP on both datasets.


Universal Decomposition Algebras Represent Endomorphisms. The goal of this paper is to supply an explicit description of the universal decomposition algebra of the generic polynomial of degree n into the product of two monic polynomials, one of degree r , as a representation of Lie algebras of n times n matrices with polynomial entries. This is related with the bosonic vertex representation of the Lie algebra gl infty due to Date, Jimbo, Kashiwara and Miwa.


Prompt Agnostic Essay Scorer A Domain Generalization Approach to Cross prompt Automated Essay Scoring. Cross prompt automated essay scoring (AES) requires the system to use non target prompt essays to award scores to a target prompt essay. Since obtaining a large quantity of pre graded essays to a particular prompt is often difficult and unrealistic, the task of cross prompt AES is vital for the development of real world AES systems, yet it remains an under explored area of research. Models designed for prompt specific AES rely heavily on prompt specific knowledge and perform poorly in the cross prompt setting, whereas current approaches to cross prompt AES either require a certain quantity of labelled target prompt essays or require a large quantity of unlabelled target prompt essays to perform transfer learning in a multi step manner. To address these issues, we introduce Prompt Agnostic Essay Scorer (PAES) for cross prompt AES. Our method requires no access to labelled or unlabelled target prompt data during training and is a single stage approach. PAES is easy to apply in practice and achieves state of the art performance on the Automated Student Assessment Prize (ASAP) dataset.


QuickREST Property based Test Generation of OpenAPI Described RESTful APIs. RESTful APIs are an increasingly common way to expose software systems functionality and it is therefore of high interest to find methods to automatically test and verify such APIs. To lower the barrier for industry adoption, such methods needs to be straightforward to use with a low effort. This paper introduces a method to explore the behaviour of a RESTful API. This is done by using automatic property based tests produced from OpenAPI documents that describe the REST API under test. We describe how this method creates artifacts that can be leveraged both as property based test generators and as a source of validation for results (i.e., as test oracles). Experimental results, on both industrial and open source services, indicate how this approach is a low effort way of finding real faults. Furthermore, it supports building additional knowledge about the system under test by automatically exposing misalignment of specification and implementation. Since the tests are generated from the OpenAPI document this method automatically evolves test cases as the REST API evolves.


Large gaps between sums of two squares. Let mathcal S s 1 s 2 s 3 ldots be the sequence of all natural numbers which can be represented as a sum of two squares of integers. For X ge2 we denote by g(X) the largest gap between consecutive elements of mathcal S that do not exceed X . We prove that for X to infty the lower bound g(X) geq left( frac 390 449 o(1) right) ln X holds. This estimate is twice the recent estimate by R. Dietmann and C. Elsholtz.


Microswimmers in an axisymmetric vortex flow. Microswimmers are encountered in a wide variety of biophysical settings. When interacting with flow fields, they show interesting dynamical features such as trapping, clustering, and preferential orientation. One important step towards the understanding of such features is to clarify the interplay of hydrodynamic flows with microswimmer motility and shape. Here, we study the dynamics of ellipsoidal microswimmers in a two dimensional axisymmetric vortex flow. Despite this simple setting, we find surprisingly rich dynamics, which can be comprehensively characterized in the framework of dynamical systems theory. By classifying the fixed point structure of the underlying phase space as a function of motility and microswimmer shape, we uncover the topology of the phase space and determine the conditions under which microswimmers are trapped in the vortex. For spherical microswimmers, we identify Hamiltonian dynamics, which are broken for microswimmers of a different shape. We find that prolate ellipsoidal microswimmers tend to align parallel to the velocity field, while oblate microswimmers tend to remain perpendicular to it. Additionally, we find that rotational noise allows microswimmers to escape the vortex with an enhanced escape rate close to the system's saddle point. Our results clarify the role of shape and motility on the occurrence of preferential concentration and clustering and provide a starting point to understand the dynamics in more complex flows.


KSM Fast Multiple Task Adaption via Kernel wise Soft Mask Learning. Deep Neural Networks (DNN) could forget the knowledge about earlier tasks when learning new tasks, and this is known as textit catastrophic forgetting . While recent continual learning methods are capable of alleviating the catastrophic problem on toy sized datasets, some issues still remain to be tackled when applying them in real world problems. Recently, the fast mask based learning method (e.g. piggyback cite mallya2018piggyback ) is proposed to address these issues by learning only a binary element wise mask in a fast manner, while keeping the backbone model fixed. However, the binary mask has limited modeling capacity for new tasks. A more recent work cite hung2019compacting proposes a compress grow based method (CPG) to achieve better accuracy for new tasks by partially training backbone model, but with order higher training cost, which makes it infeasible to be deployed into popular state of the art edge mobile learning. The primary goal of this work is to simultaneously achieve fast and high accuracy multi task adaption in continual learning setting. Thus motivated, we propose a new training method called textit kernel wise Soft Mask (KSM), which learns a kernel wise hybrid binary and real value soft mask for each task, while using the same backbone model. Such a soft mask can be viewed as a superposition of a binary mask and a properly scaled real value tensor, which offers a richer representation capability without low level kernel support to meet the objective of low hardware overhead. We validate KSM on multiple benchmark datasets against recent state of the art methods (e.g. Piggyback, Packnet, CPG, etc.), which shows good improvement in both accuracy and training cost.


On the co factors of degree 6 Salem number beta expansions. For beta 1 , a sequence (c n) n geq 1 in mathbb Z mathbb N with 0 leq c n beta is the emph beta expansion of x with respect to beta if x sum n 1 infty c n beta n . Defining d beta(x) to be the greedy beta expansion of x with respect to beta , it is known that d beta(1) is eventually periodic as long as beta is a Pisot number. It is conjectured that the same is true for Salem numbers, but is only currently known to be true for Salem numbers of degree 4. Heuristic arguments suggest that almost all degree 6 Salem numbers admit periodic expansions but that a positive proportion of degree 8 Salem numbers do not. In this paper, we investigate the degree 6 case. We present computational methods for searching for families of degree 6 numbers with eventually periodic greedy expansions by studying the co factors of their expansions. We also prove that the greedy expansions of degree 6 Salem numbers can have arbitrarily large periods. In addition, computational evidence is compiled on the set of degree 6 Salem numbers with text trace ( beta) leq 15 . We give examples of numbers with text trace ( beta) leq 15 whose expansions have period and preperiod lengths exceeding 10 10 , yet are still eventually periodic.


Relative singular value decomposition and applications to LS category. Let Sp(n) be the symplectic group of quaternionic (n times n) matrices. For any 1 leq k leq n , an element A of Sp(n) can be decomposed in A begin bmatrix alpha T cr beta P end bmatrix with P a (k times k) matrix. In this work, starting from a singular value decomposition of P , we obtain what we call a relative singular value decomposition of A . This feature is well adapted for the study of the quaternionic Stiefel manifold X n,k , and we apply it to the determination of the Lusternik Schnirelmann category of Sp(k) in X 2k j,k , for j 0, ,1, ,2


Towards an evolutionary based approach for natural language processing. Tasks related to Natural Language Processing (NLP) have recently been the focus of a large research endeavor by the machine learning community. The increased interest in this area is mainly due to the success of deep learning methods. Genetic Programming (GP), however, was not under the spotlight with respect to NLP tasks. Here, we propose a first proof of concept that combines GP with the well established NLP tool word2vec for the next word prediction task. The main idea is that, once words have been moved into a vector space, traditional GP operators can successfully work on vectors, thus producing meaningful words as the output. To assess the suitability of this approach, we perform an experimental evaluation on a set of existing newspaper headlines. Individuals resulting from this (pre )training phase can be employed as the initial population in other NLP tasks, like sentence generation, which will be the focus of future investigations, possibly employing adversarial co evolutionary approaches.


On constant Q curvature metrics with isolated singularities. In this paper we derive a refined asymptotic expansion, near an isolated singularity, for conformally flat metrics with constant positive Q curvature and positive scalar curvature. The condition that the metric has constant Q curvature forces the conformal factor to satisfy a fourth order nonlinear partial differential equation with critical Sobolev growth, whose leading term is the bilaplacian. We model our results on a similar asymptotic expansion for conformally flat, constant scalar curvature metrics proven by Korevaar, Mazzeo, Pacard, and Schoen. Along the way we analyze the linearization of the Q curvature equation about the Delaunay metrics recently discovered by Frank and K "onig, which may be of independent interest.


Load Balancing Under Strict Compatibility Constraints. We study large scale systems operating under the JSQ (d) policy in the presence of stringent task server compatibility constraints. Consider a system with N identical single server queues and M(N) task types, where each server is able to process only a small subset of possible task types. Each arriving task selects d geq 2 random servers compatible to its type, and joins the shortest queue among them. The compatibility constraint is naturally captured by a fixed bipartite graph G N between the servers and the task types. When G N is complete bipartite, the meanfield approximation is proven to be accurate. However, such dense compatibility graphs are infeasible due to their overwhelming implementation cost and prohibitive storage capacity requirement at the servers. Our goal in this paper is to characterize the class of sparse compatibility graphs for which the meanfield approximation remains valid. To achieve this, first, we introduce a novel graph expansion based notion, called proportional sparsity, and establish that systems with proportionally sparse compatibility graphs match the performance of a fully flexible system, asymptotically in the large system limit. Furthermore, for any c(N) satisfying frac Nc(N) M(N) ln(N) to infty quad text and quad c(N) to infty, as N to infty , we show that proportionally sparse random compatibility graphs can be designed, so that the degree of each server is at most c(N) . This reduces the server degree almost by a factor N ln(N) , compared to the complete bipartite compatibility graph, while maintaining the same asymptotic performance. Extensive simulation experiments are conducted to corroborate the theoretical results.


AViD Dataset Anonymized Videos from Diverse Countries. We introduce a new public video dataset for action recognition Anonymized Videos from Diverse countries (AViD). Unlike existing public video datasets, AViD is a collection of action videos from many different countries. The motivation is to create a public dataset that would benefit training and pretraining of action recognition models for everybody, rather than making it useful for limited countries. Further, all the face identities in the AViD videos are properly anonymized to protect their privacy. It also is a static dataset where each video is licensed with the creative commons license. We confirm that most of the existing video datasets are statistically biased to only capture action videos from a limited number of countries. We experimentally illustrate that models trained with such biased datasets do not transfer perfectly to action videos from the other countries, and show that AViD addresses such problem. We also confirm that the new AViD dataset could serve as a good dataset for pretraining the models, performing comparably or better than prior datasets.


exploRNN Understanding Recurrent Neural Networks through Visual Exploration. Due to the success of deep learning (DL) and its growing job market, students and researchers from many areas are interested in learning about DL technologies. Visualization has proven to be of great help during this learning process. While most current educational visualizations are targeted towards one specific architecture or use case, recurrent neural networks (RNNs), which are capable of processing sequential data, are not covered yet. This is despite the fact that tasks on sequential data, such as text and function analysis, are at the forefront of DL research. Therefore, we propose exploRNN, the first interactively explorable educational visualization for RNNs. On the basis of making learning easier and more fun, we define educational objectives targeted towards understanding RNNs. We use these objectives to form guidelines for the visual design process. By means of exploRNN, which is accessible online, we provide an overview of the training process of RNNs at a coarse level, while also allowing a detailed inspection of the data flow within LSTM cells. In an empirical study, we assessed 37 subjects in a between subjects design to investigate the learning outcomes and cognitive load of exploRNN compared to a classic text based learning environment. While learners in the text group are ahead in superficial knowledge acquisition, exploRNN is particularly helpful for deeper understanding of the learning content. In addition, the complex content in exploRNN is perceived as significantly easier and causes less extraneous load than in the text group. The study shows that for difficult learning material such as recurrent networks, where deep understanding is important, interactive visualizations such as exploRNN can be helpful.


Shopping in the Multiverse A Counterfactual Approach to In Session Attribution. We tackle the challenge of in session attribution for on site search engines in eCommerce. We phrase the problem as a causal counterfactual inference, and contrast the approach with rule based systems from industry settings and prediction models from the multi touch attribution literature. We approach counterfactuals in analogy with treatments in formal semantics, explicitly modeling possible outcomes through alternative shopper timelines in particular, we propose to learn a generative browsing model over a target shop, leveraging the latent space induced by prod2vec embeddings we show how natural language queries can be effectively represented in the same space and how "search intervention" can be performed to assess causal contribution. Finally, we validate the methodology on a synthetic dataset, mimicking important patterns emerged in customer interviews and qualitative analysis, and we present preliminary findings on an industry dataset from a partnering shop.


Environmental regulation using Plasticoding for the evolution of robots. Evolutionary robot systems are usually affected by the properties of the environment indirectly through selection. In this paper, we present and investigate a system where the environment also has a direct effect through regulation. We propose a novel robot encoding method where a genotype encodes multiple possible phenotypes, and the incarnation of a robot depends on the environmental conditions taking place in a determined moment of its life. This means that the morphology, controller, and behavior of a robot can change according to the environment. Importantly, this process of development can happen at any moment of a robot lifetime, according to its experienced environmental stimuli. We provide an empirical proof of concept, and the analysis of the experimental results shows that Plasticoding improves adaptation (task performance) while leading to different evolved morphologies, controllers, and behaviour.


Wave front controlled attosecond time domain interferometry. Interferometry, as the key technique in modern precision measurements, has been used for length diagnosis in the fields of engineering metrology and astronomy. Analogous interferometric technique for time domain precision measurement is a significant complement to the spatial domain applications and requires the manipulation of the interference on the extreme time and energy scale. Here we present an all optical interferometry for high precision measurement with attosecond temporal and hundreds of meV energy resolution. The interferometer is based on laser driven high order harmonics which provide a robust sequence of attosecond temporal slits. As applications, we reconstruct the waveform of an arbitrarily polarized optical pulse using the time resolving capability, and capture the abnormal character of the transition dipole near a Cooper minimum in argon using the energy resolution provided. This novel attosecond interferometry opens the possibility for high precision measurement in time energy domain using an all optical approach.


Stress driven modeling of nonlocal thermoelastic behavior of nanobeams. A consistent stress driven nonlocal integral model for nonisothermal structural analysis of elastic nano and microbeams is proposed. Most nonlocal models of literature are strain driven and it was shown that such approaches can lead toward a number of difficulties. Following recent contributions within the isothermal setting, the developed model abandons the classical strain driven methodology in favour of the modern stress driven elasticity theory by G. Romano and R. Barretta. This effectively circumvents issues associated with strain driven formulations. The new thermoelastic nonlocal integral model is proven to be equivalent to an adequate set of differential equations, accompanied by higher order constitutive boundary conditions, when the special Helmholtz averaging kernel is adopted in the convolution. The example section provides several applications, thus enabling insight into performance of the formulation. Exact nonlocal solutions are established, detecting also new benchmarks for thermoelastic numerical analyses.


Neural fidelity warping for efficient robot morphology design. We consider the problem of optimizing a robot morphology to achieve the best performance for a target task, under computational resource limitations. The evaluation process for each morphological design involves learning a controller for the design, which can consume substantial time and computational resources. To address the challenge of expensive robot morphology evaluation, we present a continuous multi fidelity Bayesian Optimization framework that efficiently utilizes computational resources via low fidelity evaluations. We identify the problem of non stationarity over fidelity space. Our proposed fidelity warping mechanism can learn representations of learning epochs and tasks to model non stationary covariances between continuous fidelity evaluations which prove challenging for off the shelf stationary kernels. Various experiments demonstrate that our method can utilize the low fidelity evaluations to efficiently search for the optimal robot morphology, outperforming state of the art methods.


On the isoperimetric inequality and surface diffusion flow for multiply winding curves. In this paper we establish a general form of the isoperimetric inequality for immersed closed curves (possibly non convex) in the plane under rotational symmetry. As an application we obtain a global existence result for the surface diffusion flow, providing that an initial curve is H 2 close to a multiply covered circle and sufficiently rotationally symmetric.


Synergetic Learning Systems Concept, Architecture, and Algorithms. Drawing on the idea that brain development is a Darwinian process of evolution selection'' and the idea that the current state is a local equilibrium state of many bodies with self organization and evolution processes driven by the temperature and gravity in our universe, in this work, we describe an artificial intelligence system called the Synergetic Learning Systems''. The system is composed of two or more subsystems (models, agents or virtual bodies), and it is an open complex giant system. Inspired by natural intelligence, the system achieves intelligent information processing and decision making in a given environment through cooperative competitive synergetic learning. The intelligence evolved by the natural law of it is not the strongest of the species that survives, but the one most responsive to change,'' while an artificial intelligence system should adopt the law of human selection'' in the evolution process. Therefore, we expect that the proposed system architecture can also be adapted in human machine synergy or multi agent synergetic systems. It is also expected that under our design criteria, the proposed system will eventually achieve artificial general intelligence through long term coevolution.


Understanding the Role of Individual Units in a Deep Neural Network. Deep neural networks excel at finding hierarchical representations that solve complex tasks over large data sets. How can we humans understand these learned representations? In this work, we present network dissection, an analytic framework to systematically identify the semantics of individual hidden units within image classification and image generation networks. First, we analyze a convolutional neural network (CNN) trained on scene classification and discover units that match a diverse set of object concepts. We find evidence that the network has learned many object classes that play crucial roles in classifying scene classes. Second, we use a similar analytic method to analyze a generative adversarial network (GAN) model trained to generate scenes. By analyzing changes made when small sets of units are activated or deactivated, we find that objects can be added and removed from the output scenes while adapting to the context. Finally, we apply our analytic framework to understanding adversarial attacks and to semantic image editing.


Hall algebras and quantum symmetric pairs of Kac Moody type. We extend our imath Hall algebra construction from acyclic to arbitrary imath quivers, where the imath quiver algebras are infinite dimensional 1 Gorenstein in general. Then we establish an injective homomorphism from the universal imath quantum group of Kac Moody type arising from quantum symmetric pairs to the imath Hall algebra associated to a virtually acyclic imath quiver.


Equipping Barzilai Borwein method with two dimensional quadratic termination property. A novel gradient stepsize is derived at the motivation of equipping the Barzilai Borwein (BB) method with two dimensional quadratic termination property. A remarkable feature of the novel stepsize is that its computation only depends on the BB stepsizes in previous iterations and does not require any exact line search or the Hessian, and hence it can easily be extended for nonlinear optimization. By adaptively taking long BB steps and some short steps associated with the new stepsize, we develop an efficient gradient method for quadratic optimization and general unconstrained optimization and extend it to solve extreme eigenvalues problems. The proposed method is further extended for box constrained optimization and singly linearly box constrained optimization by incorporating gradient projection techniques. Numerical experiments demonstrate that the proposed method outperforms the most successful gradient methods in the literature.


Mixing for the primitive equations under bounded non degenerate noise. We study the stochastic 3D primitive equations of the atmospheric mechanics. We consider them under a bounded and non degenerate noise, which is statistically periodic in time with period 1 . In such a case we prove that the associated integer time Markov chain is mixing, which means that there exists a unique stationary measure to which converge the laws all trajectories of this Markov chain.


Optimal Multi View Video Transmission in Multiuser Wireless Networks by Exploiting Natural and View Synthesis Enabled Multicast Opportunities. Multi view videos (MVVs) provide immersive viewing experience, at the cost of traffic load increase for wireless networks. In this paper, we would like to optimize MVV transmission in a multiuser wireless network by exploiting both natural multicast opportunities and view synthesis enabled multicast opportunities. Specifically, we first establish a mathematical model to specify view synthesis at the server and each user, and characterize its impact on multicast opportunities. This model is highly nontrivial and fundamentally enables the optimization of view synthesis based multicast opportunities. For given video quality requirements of all users, we consider the optimization of view selection, transmission time and power allocation to minimize the average weighted sum energy consumption for view transmission and synthesis. In addition, under the energy consumption constraints at the server and each user respectively, we consider the optimization of view selection, transmission time and power allocation and video quality selection to maximize the total utility. These two optimization problems are challenging mixed discrete continuous optimization problems. For the first problem, we propose an algorithm to obtain an optimal solution with reduced computational complexity by exploiting optimality properties. For each problem, to reduce computational complexity, we also propose a low complexity algorithm to obtain a suboptimal solution, using Difference of Convex (DC) programming. Finally, numerical results show the advantage of the proposed solutions over existing ones, and demonstrate the importance of the optimization of view synthesis enabled multicast opportunities in MVV transmission.


DREAM Architecture a Developmental Approach to Open Ended Learning in Robotics. Robots are still limited to controlled conditions, that the robot designer knows with enough details to endow the robot with the appropriate models or behaviors. Learning algorithms add some flexibility with the ability to discover the appropriate behavior given either some demonstrations or a reward to guide its exploration with a reinforcement learning algorithm. Reinforcement learning algorithms rely on the definition of state and action spaces that define reachable behaviors. Their adaptation capability critically depends on the representations of these spaces small and discrete spaces result in fast learning while large and continuous spaces are challenging and either require a long training period or prevent the robot from converging to an appropriate behavior. Beside the operational cycle of policy execution and the learning cycle, which works at a slower time scale to acquire new policies, we introduce the redescription cycle, a third cycle working at an even slower time scale to generate or adapt the required representations to the robot, its environment and the task. We introduce the challenges raised by this cycle and we present DREAM (Deferred Restructuring of Experience in Autonomous Machines), a developmental cognitive architecture to bootstrap this redescription process stage by stage, build new state representations with appropriate motivations, and transfer the acquired knowledge across domains or tasks or even across robots. We describe results obtained so far with this approach and end up with a discussion of the questions it raises in Neuroscience.


Zero Comparison Theorem of Sturm Liouville Type for Harmonic Heat Flow. In this paper, we will prove a zero comparison theorem of Sturm Liouville type for linearized harmonic heat flow for rotational symmetric solutions.


Improving convergence of volume penalised fluid solid interactions. We analyse and improve the volume penalty method, a simple and versatile way to model objects in fluid flows. The volume penalty method is a kind of fictitious domain method that approximates no slip boundary conditions with rapid linear damping inside the object. The method can then simulate complex, moving objects in general numerical solvers without specialised algorithms or boundary conforming grids. Volume penalisation pays for this simplicity by introducing an equation level error, the textit model error , that is related to the damping time eta ll 1 . While the model error has been proven to vanish as the damping time tends to zero, previous work suggests convergence at a slow rate of mathcal O ( eta 1 2 ) . The stiffness of the damping implies conventional volume penalisation only achieves first order numerical accuracy. We analyse the volume penalty method using multiple scales matched asymptotics with a signed distance coordinate system valid for arbitrary smooth geometries. We show the dominant model error stems from a displacement length that is proportional to a Reynolds number text Re dependent boundary layer of size mathcal O ( eta 1 2 text Re 1 2 ) . The relative size of the displacement length and damping time leads to multiple error regimes. Our key finding derives a simple smoothing prescription for the damping that eliminates the displacement length and reduces the model error to mathcal O ( eta) in all regimes. This translates to second order numerical accuracy. We validate our findings in several comprehensive benchmark problems and finally combine Richardson extrapolation of the model error with our correction to further improve convergence to mathcal O ( eta 2 ) .


Understanding the Behaviors of BERT in Ranking. This paper studies the performances and behaviors of BERT in ranking tasks. We explore several different ways to leverage the pre trained BERT and fine tune it on two ranking tasks MS MARCO passage reranking and TREC Web Track ad hoc document ranking. Experimental results on MS MARCO demonstrate the strong effectiveness of BERT in question answering focused passage ranking tasks, as well as the fact that BERT is a strong interaction based seq2seq matching model. Experimental results on TREC show the gaps between the BERT pre trained on surrounding contexts and the needs of ad hoc document ranking. Analyses illustrate how BERT allocates its attentions between query document tokens in its Transformer layers, how it prefers semantic matches between paraphrase tokens, and how that differs with the soft match patterns learned by a click trained neural ranker.


Flexibly Structured Model for Task Oriented Dialogues. This paper proposes a novel end to end architecture for task oriented dialogue systems. It is based on a simple and practical yet very effective sequence to sequence approach, where language understanding and state tracking tasks are modeled jointly with a structured copy augmented sequential decoder and a multi label decoder for each slot. The policy engine and language generation tasks are modeled jointly following that. The copy augmented sequential decoder deals with new or unknown values in the conversation, while the multi label decoder combined with the sequential decoder ensures the explicit assignment of values to slots. On the generation part, slot binary classifiers are used to improve performance. This architecture is scalable to real world scenarios and is shown through an empirical evaluation to achieve state of the art performance on both the Cambridge Restaurant dataset and the Stanford in car assistant dataset footnote The code is available at url https github.com uber research FSDM


Equidistribution from the Chinese Remainder Theorem. We prove the equidistribution of subsets of ( Rr Zz) n defined by fractional parts of subsets of ( Zz q Zz) n that are constructed using the Chinese Remainder Theorem.


Decentralized Multi Agent Actor Critic with Generative Inference. Recent multi agent actor critic methods have utilized centralized training with decentralized execution to address the non stationarity of co adapting agents. This training paradigm constrains learning to the centralized phase such that only pre learned policies may be used during the decentralized phase, which performs poorly when agent communications are delayed, noisy, or disrupted. In this work, we propose a new system that can gracefully handle partially observable information due to communication disruptions during decentralized execution. Our approach augments the multi agent actor critic method's centralized training phase with generative modeling so that agents may infer other agents' observations when provided with locally available context. Our method is evaluated on three tasks that require agents to combine local and remote observations communicated by other agents. We evaluate our approach by introducing both partial observability during decentralized execution, and show that decentralized training on inferred observations performs as well or better than existing actor critic methods.


Strong maximum principle and boundary estimates for nonhomogeneous elliptic equations. We give a simple proof of the strong maximum principle for viscosity subsolutions of fully nonlinear elliptic PDEs on the form F(x,u,Du,D 2u) 0 under suitable structure conditions on the equation allowing for non Lipschitz growth in the gradient terms. In case of smooth boundaries, we also prove the Hopf lemma, the boundary Harnack inequality and that positive viscosity solutions vanishing on a portion of the boundary are comparable with the distance function near the boundary. Our results apply to weak solutions of an eigenvalue problem for the variable exponent p Laplacian.


The Twisted Euclidean Algorithm Applications to Number Theory and Geometry. We introduce a generalization of the Euclidean algorithm for rings equipped with an involution, and completely enumerate all isomorphism classes of orders over definite, rational quaternion algebras equipped with an orthogonal involution that admit such an algorithm. We give two applications first, any order that admits such an algorithm has class number 1 second, we show how the existence of such an algorithm relates to the problem of constructing explicit Dirichlet domains for Kleinian subgroups of the isometry group of hyperbolic 4 space.


Differentially private Nash equilibrium seeking for networked aggregative games. This paper considers the privacy preserving Nash equilibrium seeking strategy design for a class of networked aggregative games, in which the players' objective functions are considered to be sensitive information to be protected. In particular, we consider that the networked game is free of central node and the aggregate information is not directly available to the players. As there is no central authority to provide the aggregate information required by each player to update their actions, a dynamic average consensus protocol is employed to estimate it. To protect the players' privacy, we perturb the transmitted information among the players by independent random noises drawn from Laplace distributions. By synthesizing the perturbed average consensus protocol with a gradient algorithm, distributed privacy preserving Nash equilibrium seeking strategies are established for the aggregative games under both fixed and time varying communication topologies. With explicit quantifications of the mean square errors, the convergence results of the proposed methods are presented. Moreover, it is analytically proven that the proposed algorithm is epsilon differentially private, where epsilon depends on the stepsize of the gradient algorithm and the scaling parameter of the random variables. The presented results indicate that there is a tradeoff between the convergence accuracy and the privacy level. Lastly, a numerical example is provided for the verification of the proposed methods.


On algebraic and combinatorial properties of weighted simplicial complexes. Weighted simplicial complexes (WSCs) are powerful tools for describing weighted cloud data or networks with weighted nodes. In this paper, we propose a novel approach to study WSCs via the concept of polarization. Polarization of a WSC allows one to construct a new (unweighted) simplicial complex which coincides with an object called the mixed wreath product. This new construction preserves several properties and invariants of the underlying simplicial complex of a WSC. Our main focus is to analyze WSCs through their underlying simplicial complexes and mixed wreath products. Combinatorially, we investigate properties such as vertex decomposability, shellability, constructibility algebraically, we study Betti numbers, associated primes and primary decompositions of ideals associated to WSCs.


Markov Chain Approximation of One Dimensional Sticky Diffusions. We develop continuous time Markov chain (CTMC) approximation of one dimensional diffusions with a lower sticky boundary. Approximate solutions to the action of the Feynman Kac operator associated with a sticky diffusion and first passage probabilities are obtained using matrix exponentials. We show how to compute matrix exponentials efficiently and prove that a carefully designed scheme achieves second order convergence. We also propose a scheme based on CTMC approximation for the simulation of sticky diffusions, for which the Euler scheme may completely fail. The efficiency of our method and its advantages over alternative approaches are illustrated in the context of bond pricing in a sticky short rate model for low interest environment.


All Weather Object Recognition Using Radar and Infrared Sensing. Autonomous cars are an emergent technology which has the capacity to change human lives. The current sensor systems which are most capable of perception are based on optical sensors. For example, deep neural networks show outstanding results in recognising objects when used to process data from cameras and Light Detection And Ranging (LiDAR) sensors. However these sensors perform poorly under adverse weather conditions such as rain, fog, and snow due to the sensor wavelengths. This thesis explores new sensing developments based on long wave polarised infrared (IR) imagery and imaging radar to recognise objects. First, we developed a methodology based on Stokes parameters using polarised infrared data to recognise vehicles using deep neural networks. Second, we explored the potential of using only the power spectrum captured by low THz radar sensors to perform object recognition in a controlled scenario. This latter work is based on a data driven approach together with the development of a data augmentation method based on attenuation, range and speckle noise. Last, we created a new large scale dataset in the "wild" with many different weather scenarios (sunny, overcast, night, fog, rain and snow) showing radar robustness to detect vehicles in adverse weather. High resolution radar and polarised IR imagery, combined with a deep learning approach, are shown as a potential alternative to current automotive sensing systems based on visible spectrum optical technology as they are more robust in severe weather and adverse light conditions.


Visually Grounded Continual Learning of Compositional Phrases. Humans acquire language continually with much more limited access to data samples at a time, as compared to contemporary NLP systems. To study this human like language acquisition ability, we present VisCOLL, a visually grounded language learning task, which simulates the continual acquisition of compositional phrases from streaming visual scenes. In the task, models are trained on a paired image caption stream which has shifting object distribution while being constantly evaluated by a visually grounded masked language prediction task on held out test sets. VisCOLL compounds the challenges of continual learning (i.e., learning from continuously shifting data distribution) and compositional generalization (i.e., generalizing to novel compositions). To facilitate research on VisCOLL, we construct two datasets, COCO shift and Flickr shift, and benchmark them using different continual learning methods. Results reveal that SoTA continual learning approaches provide little to no improvements on VisCOLL, since storing examples of all possible compositions is infeasible. We conduct further ablations and analysis to guide future work.


A low overhead soft hard fault tolerant architecture, design and management scheme for reliable high performance many core 3D NoC systems. The Network on Chip (NoC) paradigm has been proposed as a favorable solution to handle the strict communication requirements between the increasingly large number of cores on a single chip. However, NoC systems are exposed to the aggressive scaling down of transistors, low operating voltages, and high integration and power densities, making them vulnerable to permanent (hard) faults and transient (soft) errors. A hard fault in a NoC can lead to external blocking, causing congestion across the whole network. A soft error is more challenging because of its silent data corruption, which leads to a large area of erroneous data due to error propagation, packet re transmission, and deadlock. In this paper, we present the architecture and design of a comprehensive soft error and hard fault tolerant 3D NoC system, named 3D Hard Fault Soft Error Tolerant OASIS NoC (3D FETO). With the aid of efficient mechanisms and algorithms, 3D FETO is capable of detecting and recovering from soft errors which occur in the routing pipeline stages and leverages reconfigurable components to handle permanent faults in links, input buffers, and crossbars. In depth evaluation results show that the 3D FETO system is able to work around different kinds of hard faults and soft errors, ensuring graceful performance degradation, while minimizing additional hardware complexity and remaining power efficient.


Self critical n step Training for Image Captioning. Existing methods for image captioning are usually trained by cross entropy loss, which leads to exposure bias and the inconsistency between the optimizing function and evaluation metrics. Recently it has been shown that these two issues can be addressed by incorporating techniques from reinforcement learning, where one of the popular techniques is the advantage actor critic algorithm that calculates per token advantage by estimating state value with a parametrized estimator at the cost of introducing estimation bias. In this paper, we estimate state value without using a parametrized value estimator. With the properties of image captioning, namely, the deterministic state transition function and the sparse reward, state value is equivalent to its preceding state action value, and we reformulate advantage function by simply replacing the former with the latter. Moreover, the reformulated advantage is extended to n step, which can generally increase the absolute value of the mean of reformulated advantage while lowering variance. Then two kinds of rollout are adopted to estimate state action value, which we call self critical n step training. Empirically we find that our method can obtain better performance compared to the state of the art methods that use the sequence level advantage and parametrized estimator respectively on the widely used MSCOCO benchmark.


Modular forms from the Weierstrass functions. We construct holomorphic elliptic modular forms of weight 2 and weight 1, by special values of Weierstrass p functions, and by differences of special values of Weierstrass zeta functions, respectively. Also we calculated the values of these forms at some cusps.


On the compactness problem for a family of generalized Seiberg Witten equations in dimension three. We prove an abstract compactness theorem for a family of generalized Seiberg Witten equations in dimension three. This result recovers Taubes' compactness theorem for stable flat mathbf P mathrm SL 2( mathbf C ) connections as well as the compactness theorem for Seiberg Witten equations with multiple spinors. Furthermore, this result implies a compactness theorem for the ADHM 1,2 Seiberg Witten equation, which partially verifies a conjecture by Doan and Walpuski.


Implementing Software Resiliency in HPX for Extreme Scale Computing. Exceptions and errors occurring within mission critical applications due to hardware failures have a high cost. With the emerging Next Generation Platforms (NGPs), the rate of hardware failures will invariably increase. Therefore, designing our applications to be resilient is a critical concern in order to retain the reliability of results while meeting the constraints on power budgets. In this paper, we implement software resilience in HPX, an Asynchronous Many Task Runtime system. We implement two resiliency APIs that we expose to the application developers, namely task replication and task replay. Task replication repeats a task n times and executes them asynchronously. Task replay will reschedule a task up to n times until a valid output is returned. Furthermore, we introduce an API that allows the application to verify the returned result with a user provided predicate. We test the APIs with both artificial workloads and a dataflow based stencil application. We demonstrate that only minor overheads are incurred when utilizing these resiliency features for work loads where the task size is greater than 200 mu s. We also show that most of the added execution time arises from the replay or replication of the tasks themselves and not by the implementation of the APIs.


Optimizing Information Freshness in Two Way Relay Networks. In this paper, we investigate an amplify and forward (AF) based two way cooperative status update system, where two sources aim to exchange status updates with each other as timely as possible with the help of a relay. Specifically, the relay receives the sum signal from the two sources in one time slot, and then amplifies and forwards the received signal to both the sources in the next time slot. We adopt a recently proposed concept, the age of information (AoI), to characterize the timeliness of the status updates. Assuming that the two sources are able to generate status updates at the beginning of each time slot (i.e., generate at will model), we derive a closed form expression of the expected weighted sum AoI of the considered system. We further minimize the expected weighted sum AoI by optimizing the transmission power at each node under the peak power constraints. Simulation results corroborate the correctness of our theoretical analysis.


Epitaxial Growth and Characterization of AlInN Based Core Shell Nanowire Light Emitting Diodes Operating in the Ultraviolet Spectrum. We report on the demonstration of the first axial AlInN ultraviolet core shell nanowire light emitting diodes with highly stable emission in the UV wavelength range. During the epitaxial growth of AlInN layer, an AlInN shell is spontaneously formed, resulted in the reduced nonradiative recombination on nanowire surface. The AlInN nanowires exhibit high internal quantum efficiency of 52 at room temperature for emission at 295nm. The peak emission wavelength can be varied from 290 nm to 355 nm by changing the growth condition. Moreover, significantly strong transverse magnetic (TM) polarized emission is recorded which is 4 times stronger compared to the transverse electric (TE) polarized light at 295 nm. This study provides alternative approach for the fabrication of new type of high performance ultraviolet light emitters.


Equitable tree O(d) coloring of d degenerate graphs. An equitable tree k coloring of a graph is a vertex coloring on k colors so that every color class incudes a forest and the sizes of any two color classes differ by at most one.This kind of coloring was first introduced in 2013 and can be used to formulate the structure decomposition problem on the communication network with some security considerations. In 2015, Esperet, Lemoine and Maffray showed that every d degenerate graph admits an equitable tree k coloring for every k geq 3 d 1 . Motivated by this result, we attempt to lower their exponential bound to a linear bound. Precisely, we prove that every d degenerate graph G admits an equitable tree k coloring for every k geq alpha d provided that G geq beta Delta(G) , where ( alpha, beta) in (8,56), (9,26), (10,18), (11,15), (12,13), (13,12), (14,11), (15,10), (17,9), (20,8), (27,7), (52,6) .


Deep Learning for the Analysis of Disruption Precursors based on Plasma Tomography. The JET baseline scenario is being developed to achieve high fusion performance and sustained fusion power. However, with higher plasma current and higher input power, an increase in pulse disruptivity is being observed. Although there is a wide range of possible disruption causes, the present disruptions seem to be closely related to radiative phenomena such as impurity accumulation, core radiation, and radiative collapse. In this work, we focus on bolometer tomography to reconstruct the plasma radiation profile and, on top of it, we apply anomaly detection to identify the radiation patterns that precede major disruptions. The approach makes extensive use of machine learning. First, we train a surrogate model for plasma tomography based on matrix multiplication, which provides a fast method to compute the plasma radiation profiles across the full extent of any given pulse. Then, we train a variational autoencoder to reproduce the radiation profiles by encoding them into a latent distribution and subsequently decoding them. As an anomaly detector, the variational autoencoder struggles to reproduce unusual behaviors, which includes not only the actual disruptions but their precursors as well. These precursors are identified based on an analysis of the anomaly score across all baseline pulses in two recent campaigns at JET.


Experiments in Extractive Summarization Integer Linear Programming, Term Sentence Scoring, and Title driven Models. In this paper, we revisit the challenging problem of unsupervised single document summarization and study the following aspects Integer linear programming (ILP) based algorithms, Parameterized normalization of term and sentence scores, and Title driven approaches for summarization. We describe a new framework, NewsSumm, that includes many existing and new approaches for summarization including ILP and title driven approaches. NewsSumm's flexibility allows to combine different algorithms and sentence scoring schemes seamlessly. Our results combining sentence scoring with ILP and normalization are in contrast to previous work on this topic, showing the importance of a broader search for optimal parameters. We also show that the new title driven reduction idea leads to improvement in performance for both unsupervised and supervised approaches considered.


Rough semimartingales and p variation estimates for martingale transforms. We establish a new scale of p variation estimates for martingale paraproducts, martingale transforms, and It o integrals, of relevance in rough paths theory, stochastic, and harmonic analysis. As an application, we introduce rough semimartingales, a common generalization of classical semimartingales and (controlled) rough paths, and their integration theory.


Generalized Continual Zero Shot Learning. Recently, zero shot learning (ZSL) emerged as an exciting topic and attracted a lot of attention. ZSL aims to classify unseen classes by transferring the knowledge from seen classes to unseen classes based on the class description. Despite showing promising performance, ZSL approaches assume that the training samples from all seen classes are available during the training, which is practically not feasible. To address this issue, we propose a more generalized and practical setup for ZSL, i.e., continual ZSL (CZSL), where classes arrive sequentially in the form of a task and it actively learns from the changing environment by leveraging the past experience. Further, to enhance the reliability, we develop CZSL for a single head continual learning setting where task identity is revealed during the training process but not during the testing. To avoid catastrophic forgetting and intransigence, we use knowledge distillation and storing and replay the few samples from previous tasks using a small episodic memory. We develop baselines and evaluate generalized CZSL on five ZSL benchmark datasets for two different settings of continual learning with and without class incremental. Moreover, CZSL is developed for two types of variational autoencoders, which generates two types of features for classification (i) generated features at output space and (ii) generated discriminative features at the latent space. The experimental results clearly indicate the single head CZSL is more generalizable and suitable for practical applications.


Leveraging Human Guidance for Deep Reinforcement Learning Tasks. Reinforcement learning agents can learn to solve sequential decision tasks by interacting with the environment. Human knowledge of how to solve these tasks can be incorporated using imitation learning, where the agent learns to imitate human demonstrated decisions. However, human guidance is not limited to the demonstrations. Other types of guidance could be more suitable for certain tasks and require less human effort. This survey provides a high level overview of five recent learning frameworks that primarily rely on human guidance other than conventional, step by step action demonstrations. We review the motivation, assumption, and implementation of each framework. We then discuss possible future research directions.


Tissue evolution Mechanical interplay of adhesion, pressure, and heterogeneity. The evolution of various competing cell types in tissues, and the resulting persistent tissue population, is studied numerically and analytically in a particle based model of active tissues. Mutations change the properties of cells in various ways, including their mechanical properties. Each mutation results in an advantage or disadvantage to grow in the competition between different cell types. While changes in signaling processes and biochemistry play an important role, we focus on changes in the mechanical properties by studying the result of variation of growth force and adhesive cross interactions between cell types. For independent mutations of growth force and adhesion strength, the tissue evolves towards cell types with high growth force and low internal adhesion strength, as both increase the homeostatic pressure. Motivated by biological evidence, we postulate a coupling between both parameters, such that an increased growth force comes at the cost of a higher internal adhesion strength or vice versa. This tradeoff controls the evolution of the tissue, ranging from unidirectional evolution to very heterogeneous and dynamic populations. The special case of two competing cell types reveals three distinct parameter regimes Two in which one cell type outcompetes the other, and one in which both cell types coexist in a highly mixed state. Interestingly, a single mutated cell alone suffices to reach the mixed state, while a finite mutation rate affects the results only weakly. Finally, the coupling between changes in growth force and adhesion strength reveals a mechanical explanation for the evolution towards intra tumor heterogeneity, in which multiple species coexist even under a constant evolutianary pressure.


Complex fuzzy Lie Algebras. A complex fuzzy Lie algebra is a fuzzy Lie algebra whose membership function takes values in the unit circle in the complex plane. In this paper, we deine the complex fuzzy Lie subalgebras and complex fuzzy ideals of Lie algebras. Then, we investigate some of characteristics of complex fuzzy Lie subalgebras. The relationship between complex fuzzy Lie subalgebras and fuzzy Lie subalgebras is also investigated. Finally, we define the image and the inverse image of complex fuzzy Lie subalgebra under Lie algebra homomorphism. The properties of complex fuzzy Lie subalgebras and complex fuzzy ideals under homomorphisms of Lie algebras are studied.


J. C. Poggendorff Comment on the Paper by Prof. Kirchhoff (translated and edited by A. K. T. Assis). Editor's Note An English translation of J. C. Poggendorff's 1857 paper "Bemerkung zu dem Aufsatz des Herrn Prof. Kirchhoff", Pog57 . This paper is related to Kirchhoff's 1857 paper "On the motion of electricity in wires", Kir57b with English translation in Kir57a , and to Weber's 1864 paper "Electrodynamic measurements, especially on electric oscillations", Web64 with English translation in Web21a . Kirchhoff and Weber were the first to deduce the telegraphy equation by taking into account the self inductance of the wire. Both of them worked with Weber's electrodynamics. They showed, in particular, that when the resistance of the wire was negligible, the electric wave propagates with light velocity.


Keypoint Aligned Embeddings for Image Retrieval and Re identification. Learning embeddings that are invariant to the pose of the object is crucial in visual image retrieval and re identification. The existing approaches for person, vehicle, or animal re identification tasks suffer from high intra class variance due to deformable shapes and different camera viewpoints. To overcome this limitation, we propose to align the image embedding with a predefined order of the keypoints. The proposed keypoint aligned embeddings model (KAE Net) learns part level features via multi task learning which is guided by keypoint locations. More specifically, KAE Net extracts channels from a feature map activated by a specific keypoint through learning the auxiliary task of heatmap reconstruction for this keypoint. The KAE Net is compact, generic and conceptually simple. It achieves state of the art performance on the benchmark datasets of CUB 200 2011, Cars196 and VeRi 776 for retrieval and re identification tasks.


On Dyakonov Voigt surface waves guided by the planar interface of dissipative materials. Dyakonov Voigt (DV) surface waves guided by the planar interface of (i) material A which is a uniaxial dielectric material specified by a relative permittivity dyadic with eigenvalues epsilon s A and epsilon t A , and (ii) material B which is an isotropic dielectric material with relative permittivity epsilon B , were numerically investigated by solving the corresponding canonical boundary value problem. The two partnering materials are generally dissipative, with the optic axis of material A being inclined at the angle chi in 0 circ, 90 circ relative to the interface plane. No solutions of the dispersion equation for DV surface waves exist when chi 90 circ . Also, no solutions exist for chi in ( 0 circ, 90 circ ) , when both partnering materials are nondissipative. For chi in 0 circ, 90 circ ) , the degree of dissipation of material A has a profound effect on the phase speeds, propagation lengths, and penetration depths of the DV surface waves. For mid range values of chi , DV surface waves with negative phase velocities were found. For fixed values of epsilon s A and epsilon t A in the upper half complex plane, DV surface wave propagation is only possible for large values of chi when epsilon B is very small.


Deep Learning and the Global Workspace Theory. Recent advances in deep learning have allowed Artificial Intelligence (AI) to reach near human level performance in many sensory, perceptual, linguistic or cognitive tasks. There is a growing need, however, for novel, brain inspired cognitive architectures. The Global Workspace theory refers to a large scale system integrating and distributing information among networks of specialized modules to create higher level forms of cognition and awareness. We argue that the time is ripe to consider explicit implementations of this theory using deep learning techniques. We propose a roadmap based on unsupervised neural translation between multiple latent spaces (neural networks trained for distinct tasks, on distinct sensory inputs and or modalities) to create a unique, amodal global latent workspace (GLW). Potential functional advantages of GLW are reviewed, along with neuroscientific implications.


A Non Iterative Transformation Method Applied to Boundary Layer Flows of Non Newtonian Fluids Past a Flat Plate. In this paper, we define a non iterative transformation method for boundary layer flows of non Newtonian fluids past a flat plate. The problem to be solved is an extended Blasius problem depending on a parameter. This method allows us to solve numerically the extended Blasius problem by solving a related initial value problem and then rescaling the obtained numerical solution. Therefore, it is a non iterative initial value method. We find that our computed numerical results, for a wide range of the parameter involved, are in very good agreement with the data reported in the literature.


Jointly Cross and Self Modal Graph Attention Network for Query Based Moment Localization. Query based moment localization is a new task that localizes the best matched segment in an untrimmed video according to a given sentence query. In this localization task, one should pay more attention to thoroughly mine visual and linguistic information. To this end, we propose a novel Cross and Self Modal Graph Attention Network (CSMGAN) that recasts this task as a process of iterative messages passing over a joint graph. Specifically, the joint graph consists of Cross Modal interaction Graph (CMG) and Self Modal relation Graph (SMG), where frames and words are represented as nodes, and the relations between cross and self modal node pairs are described by an attention mechanism. Through parametric message passing, CMG highlights relevant instances across video and sentence, and then SMG models the pairwise relation inside each modality for frame (word) correlating. With multiple layers of such a joint graph, our CSMGAN is able to effectively capture high order interactions between two modalities, thus enabling a further precise localization. Besides, to better comprehend the contextual details in the query, we develop a hierarchical sentence encoder to enhance the query understanding. Extensive experiments on four public datasets demonstrate the effectiveness of our proposed model, and GCSMAN significantly outperforms the state of the arts.


On a functional differential equation with quasi arithmetic mean value. In this paper we describe all differentiable functions varphi, psi colon E to mathbb R satisfying the functional differential equation begin equation varphi(y) varphi(x) psi ' bigl(h(x,y) bigr) psi(y) psi(x) varphi ' bigl(h(x,y) bigr), end equation for all x,y in E , x y , where E subseteq mathbb R is a nonempty open interval, h( cdot, cdot) is a quasi arithmetic mean, i.e. h(x,y) H 1 ( alpha H (x) beta H (y)) , x,y in E , for some differentiable and strictly monotone function H colon E to H(E) and fixed alpha, beta in (0,1) with alpha beta 1 .


Irksome Automating Runge Kutta time stepping for finite element methods. While implicit Runge Kutta methods possess high order accuracy and important stability properties, implementation difficulties and the high expense of solving the coupled algebraic system at each time step are frequently cited as impediments. We present IIrksome, a high level library for manipulating UFL (Unified Form Language) expressions of semidiscrete variational forms to obtain UFL expressions for the coupled Runge Kutta stage equations at each time step. Irksome works with the Firedrake package to enable the efficient solution of the resulting coupled algebraic systems. Numerical examples confirm the efficacy of the software and our solver techniques for various problems.


Do Language Embeddings Capture Scales?. Pretrained Language Models (LMs) have been shown to possess significant linguistic, common sense, and factual knowledge. One form of knowledge that has not been studied yet in this context is information about the scalar magnitudes of objects. We show that pretrained language models capture a significant amount of this information but are short of the capability required for general common sense reasoning. We identify contextual information in pre training and numeracy as two key factors affecting their performance and show that a simple method of canonicalizing numbers can have a significant effect on the results.


On the second coefficient of the asymptotic expansion of Boutet de Monvel Sj "ostrand. In this paper, we calculate the second coefficient of the asymptotic expansion of Boutet de Monvel Sj "ostrand.


Mitigating the Impact of Adversarial Attacks in Very Deep Networks. Deep Neural Network (DNN) models have vulnerabilities related to security concerns, with attackers usually employing complex hacking techniques to expose their structures. Data poisoning enabled perturbation attacks are complex adversarial ones that inject false data into models. They negatively impact the learning process, with no benefit to deeper networks, as they degrade a model's accuracy and convergence rates. In this paper, we propose an attack agnostic based defense method for mitigating their influence. In it, a Defensive Feature Layer (DFL) is integrated with a well known DNN architecture which assists in neutralizing the effects of illegitimate perturbation samples in the feature space. To boost the robustness and trustworthiness of this method for correctly classifying attacked input samples, we regularize the hidden space of a trained model with a discriminative loss function called Polarized Contrastive Loss (PCL). It improves discrimination among samples in different classes and maintains the resemblance of those in the same class. Also, we integrate a DFL and PCL in a compact model for defending against data poisoning attacks. This method is trained and tested using the CIFAR 10 and MNIST datasets with data poisoning enabled perturbation attacks, with the experimental results revealing its excellent performance compared with those of recent peer techniques.


physics.bio-ph q-bio.PE q-bio.QM q-bio.TO

Dimensionality Reduction in the Drosophila Wing as Revealed by Landmark Free Measure ments of Phenotype. Organismal phenotypes emerge from a complex set of genotypic interactions. While technological advances in sequencing provide a quantitative description of an organism's genotype, characterization of an organism's physical phenotype lags far behind. Here, we relate genotype to the complex and multi dimensional phenotype of an anatomical structure using the Drosophila wing as a model system. We develop a mathematical approach that enables a robust description of biologically salient phenotypic variation. Analysing natural phenotypic variation, and variation generated by weak perturbations in genetic and environmental conditions during development, we observe a highly constrained set of wing phenotypes. In a striking ex ample of dimensionality reduction, the nature of varieties produced by the Drosophila developmental pro gram is constrained to a single integrated mode of variation in the wing. Our strategy demonstrates the emergent simplicity manifest in the genotype to phenotype map in the Drosophila wing and may represent a general approach for interrogating a variety of genotype phenotype relationships.


Partially regular weak solutions of the Navier Stokes equations in mathbb R 4 times 0, infty . We show that for any given solenoidal initial data in L 2 and any solenoidal external force in L text loc q bigcap L 3 2 with q 3 , there exist partially regular weak solutions of the Navier Stokes equations in R 4 times 0, infty which satisfy certain local energy inequalities and whose singular sets have locally finite 2 dimensional parabolic Hausdorff measure. With the help of a parabolic concentration compactness theorem we are able to overcome the possible lack of compactness arising in the spatially 4 dimensional setting by using defect measures, which we then incorporate into the partial regularity theory.


Dota Underlords game is NP complete. In this paper, we demonstrate how the problem of the optimal team choice in the popular computer game Dota Underlords can be reduced to the problem of linear integer programming. We propose a model and solve it for the real data. We also prove that this problem belongs to the NP complete class and show that it reduces to the maximum edge weighted clique problem.


Ergodicity for singular degenerate porous media equations. The long time behaviour of solutions to generalised stochastic porous media equations on bounded domains with Dirichlet boundary data is studied. We focus on a degenerate form of nonlinearity arising in self organised criticality. Based on the so called lower bound method, the existence and uniqueness of an invariant measure is proved.


Drop spreading dynamics with a liquid needle drop deposition technique. This paper represents a theoretical and an experimental study of the spreading dynamics of a liquid droplet, generated by a needle free deposition system called the liquid needle droplet deposition technique. This technique utilizes a continuous liquid jet generated from a pressurized dosing system which generates a liquid drop on a substrate to be characterized by optical contact angle measurements. Although many studies have explored the theoretical modelling of the droplet spreading scenario, a theoretical model representing the spreading dynamics of a droplet, generated by the jet impact and continuous addition of liquid mass, is yet to be addressed. In this study, we developed a theoretical model based on the overall energy balance approach which enables us to study on the physics of variation of droplet spreading under surrounding medium of various viscosities. The numerical solution of the non linear ordinary differential equation has provided us the opportunity to comment on the variation of droplet spreading, as a function of Weber number ( We ), Reynolds number ( Re ) and Bond number ( Bo ) ranging from 0.5 3, 75 150, and 0.001 0.3, respectively. We have also presented a liquid jet impact model in order to predict the initial droplet diameter as an initial condition for the proposed governing equation. The model has been verified further with the experimental measurements and reasonable agreement has been observed. Experimental observations and theoretical investigations also highlight the precision, repeatability and wide range of the applicability of liquid needle drop deposition technique.


Lightweight and Efficient Neural Natural Language Processing with Quaternion Networks. Many state of the art neural models for NLP are heavily parameterized and thus memory inefficient. This paper proposes a series of lightweight and memory efficient neural architectures for a potpourri of natural language processing (NLP) tasks. To this end, our models exploit computation using Quaternion algebra and hypercomplex spaces, enabling not only expressive inter component interactions but also significantly ( 75 ) reduced parameter size due to lesser degrees of freedom in the Hamilton product. We propose Quaternion variants of models, giving rise to new architectures such as the Quaternion attention Model and Quaternion Transformer. Extensive experiments on a battery of NLP tasks demonstrates the utility of proposed Quaternion inspired models, enabling up to 75 reduction in parameter size without significant loss in performance.


Multifractal processes Definition, properties and new examples. We investigate stochastic processes possessing scale invariance properties which we refer to as multifractal processes. The examples of such processes known so far do not go much beyond the original cascade construction of Mandelbrot. We provide a new definition of the multifractal process by generalizing the definition of the self similar process. We establish general properties of these processes and show how existing examples fit into our setting. Finally, we define a new class of examples inspired by the idea of Lamperti transformation. Namely, for any pair of infinitely divisible distribution and a stationary process one can construct a multifractal process.


Stability and phase transitions of dynamical flow networks with finite capacities. We study deterministic continuous time lossy dynamical flow networks with constant exogenous demands, fixed routing, and finite flow and buffer capacities. In the considered model, when the total net flow in a cell consisting of the difference between the total flow directed towards it minus the outflow from it exceeds a certain capacity constraint, then the exceeding part of it leaks out of the system. The ensuing network flow dynamics is a linear saturated system with compact state space that we analyze using tools from monotone systems and contraction theory. Specifically, we prove that there exists a set of equilibria that is globally asymptotically stable. Such equilibrium set reduces to a single globally asymptotically stable equilibrium for generic exogenous demand vectors. Moreover, we show that the critical exogenous demand vectors giving rise to non unique equilibria correspond to phase transitions in the asymptotic behavior of the dynamical flow network.


Stochastic Item Descent Method for Large Scale Equal Circle Packing Problem. Stochastic gradient descent (SGD) is a powerful method for large scale optimization problems in the area of machine learning, especially for a finite sum formulation with numerous variables. In recent years, mini batch SGD gains great success and has become a standard technique for training deep neural networks fed with big amount of data. Inspired by its success in deep learning, we apply the idea of SGD with batch selection of samples to a classic optimization problem in decision version. Given n unit circles, the equal circle packing problem (ECPP) asks whether there exist a feasible packing that could put all the circles inside a circular container without overlapping. Specifically, we propose a stochastic item descent method (SIDM) for ECPP in large scale, which randomly divides the unit circles into batches and runs Broyden Fletcher Goldfarb Shanno (BFGS) algorithm on the corresponding batch function iteratively to speedup the calculation. We also increase the batch size during the batch iterations to gain higher quality solution. Comparing to the current best packing algorithms, SIDM greatly speeds up the calculation of optimization process and guarantees the solution quality for large scale instances with up to 1500 circle items, while the baseline algorithms usually handle about 300 circle items. The results indicate the highly efficiency of SIDM for this classic optimization problem in large scale, and show potential for other large scale classic optimization problems in which gradient descent is used for optimization.


Rectifying type curves and rotation minimizing frame R n . In this paper, we have first given easily the characterization of special curves with the help of the Rotation minimizing frame (RMF). Also, rectifying type curves are generalized n dimensional space R n .


Towards Effective Differential Privacy Communication for Users' Data Sharing Decision and Comprehension. Differential privacy protects an individual's privacy by perturbing data on an aggregated level (DP) or individual level (LDP). We report four online human subject experiments investigating the effects of using different approaches to communicate differential privacy techniques to laypersons in a health app data collection setting. Experiments 1 and 2 investigated participants' data disclosure decisions for low sensitive and high sensitive personal information when given different DP or LDP descriptions. Experiments 3 and 4 uncovered reasons behind participants' data sharing decisions, and examined participants' subjective and objective comprehensions of these DP or LDP descriptions. When shown descriptions that explain the implications instead of the definition processes of DP or LDP technique, participants demonstrated better comprehension and showed more willingness to share information with LDP than with DP, indicating their understanding of LDP's stronger privacy guarantee compared with DP.


Hardware accelerated Simulation based Inference of Stochastic Epidemiology Models for COVID 19. Epidemiology models are central in understanding and controlling large scale pandemics. Several epidemiology models require simulation based inference such as Approximate Bayesian Computation (ABC) to fit their parameters to observations. ABC inference is highly amenable to efficient hardware acceleration. In this work, we develop parallel ABC inference of a stochastic epidemiology model for COVID 19. The statistical inference framework is implemented and compared on Intel Xeon CPU, NVIDIA Tesla V100 GPU and the Graphcore Mk1 IPU, and the results are discussed in the context of their computational architectures. Results show that GPUs are 4x and IPUs are 30x faster than Xeon CPUs. Extensive performance analysis indicates that the difference between IPU and GPU can be attributed to higher communication bandwidth, closeness of memory to compute, and higher compute power in the IPU. The proposed framework scales across 16 IPUs, with scaling overhead not exceeding 8 for the experiments performed. We present an example of our framework in practice, performing inference on the epidemiology model across three countries, and giving a brief overview of the results.


The wall chamber structures of the real Grothendieck groups. For a finite dimensional algebra A over a field K with n simple modules, the real Grothendieck group K 0( operatorname mathsf proj A) mathbb R K 0( operatorname mathsf proj A) otimes mathbb Z mathbb R cong mathbb R n gives stability conditions of King. We study the associated wall chamber structure of K 0( operatorname mathsf proj A) mathbb R by using the Koenig Yang correspondences in silting theory. First, we introduce an equivalence relation on K 0( operatorname mathsf proj A) mathbb R called TF equivalence by using numerical torsion pairs of Baumann Kamnitzer Tingley. Second, we show that the open cone in K 0( operatorname mathsf proj A) mathbb R spanned by the g vectors of each 2 term silting object gives a TF equivalence class, and this gives a one to one correspondence between the basic 2 term silting objects and the TF equivalence classes of full dimension. Finally, we determine the wall chamber structure of K 0( operatorname mathsf proj A) mathbb R in the case that A is a path algebra of an acyclic quiver.