Enhanced nearby and vanishing cycles in dimension one and Fourier transform. Enhanced ind sheaves provide a suitable framework for the irregular Riemann Hilbert correspondence. In this paper, we give some precisions on nearby and vanishing cycles for enhanced perverse objects in dimension one. As an application, we give a topological proof of the following fact. Let mathcal M be a holonomic algebraic mathcal D module on the affine line, and denote by mathsf L mathcal M its Fourier Laplace transform. For a point a on the affine line, denote by ell a the corresponding linear function on the dual affine line. Then, the vanishing cycles of mathcal M at a are isomorphic to the graded component of degree ell a of the Stokes filtration of mathsf L mathcal M at infinity.


The fundamental group of binoid varieties. Binoid schemes generalise monoid schemes, which in turn enable us to generalise toric varieties. Let X be a binoid scheme. The aim of this paper is to calculate the topological fundamental group of KX , where K mathbb C or mathbb R . For the latter, we will give an explicit way of calculating the fundamental group using methods from 2 category theory. Indeed, we will calculate the more general fundamental groupoid. As a specialisation, we will also look at the Stanley Reisner Rings. Our method simplifies in this case, allowing us to describe the fundamental groupoid in terms of the simplicial complex directly.


Geometry of genus one fine compactified universal Jacobians. We introduce a general abstract notion of fine compactified Jacobian for nodal curves of arbitrary genus. We focus on genus 1 and prove combinatorial classification results for fine compactified Jacobians in the case of a single nodal curve and in the case of the universal family over the moduli space of stable pointed curves. We show that if the fine compactified Jacobian of a nodal curve of genus 1 can be extended to a smoothing of the curve, then it can be described as the moduli space of stable sheaves with respect to some polarisation. In the universal case we construct new examples of genus 1 fine compactified universal Jacobians. Then we give a formula for the Hodge and Betti numbers of each genus 1 fine compactified universal Jacobian and prove that their even cohomology is algebraic.


Can x2vec Save Lives? Integrating Graph and Language Embeddings for Automatic Mental Health Classification. Graph and language embedding models are becoming commonplace in large scale analyses given their ability to represent complex sparse data densely in low dimensional space. Integrating these models' complementary relational and communicative data may be especially helpful if predicting rare events or classifying members of hidden populations tasks requiring huge and sparse datasets for generalizable analyses. For example, due to social stigma and comorbidities, mental health support groups often form in amorphous online groups. Predicting suicidality among individuals in these settings using standard network analyses is prohibitive due to resource limits (e.g., memory), and adding auxiliary data like text to such models exacerbates complexity and sparsity related issues. Here, I show how merging graph and language embedding models (metapath2vec and doc2vec) avoids these limits and extracts unsupervised clustering data without domain expertise or feature engineering. Graph and language distances to a suicide support group have little correlation ( r ho 0.23), implying the two models are not embedding redundant information. When used separately to predict suicidality among individuals, graph and language data generate relatively accurate results (69 and 76 , respectively) however, when integrated, both data produce highly accurate predictions (90 , with 10 false positives and 12 false negatives). Visualizing graph embeddings annotated with predictions of potentially suicidal individuals shows the integrated model could classify such individuals even if they are positioned far from the support group. These results extend research on the importance of simultaneously analyzing behavior and language in massive networks and efforts to integrate embedding models for different kinds of data when predicting and classifying, particularly when they involve rare events.


SoFAr Shortcut based Fractal Architectures for Binary Convolutional Neural Networks. Binary Convolutional Neural Networks (BCNNs) can significantly improve the efficiency of Deep Convolutional Neural Networks (DCNNs) for their deployment on resource constrained platforms, such as mobile and embedded systems. However, the accuracy degradation of BCNNs is still considerable compared with their full precision counterpart, impeding their practical deployment. Because of the inevitable binarization error in the forward propagation and gradient mismatch problem in the backward propagation, it is nontrivial to train BCNNs to achieve satisfactory accuracy. To ease the difficulty of training, the shortcut based BCNNs, such as residual connection based Bi real ResNet and dense connection based BinaryDenseNet, introduce additional shortcuts in addition to the shortcuts already present in their full precision counterparts. Furthermore, fractal architectures have been also been used to improve the training process of full precision DCNNs since the fractal structure triggers effects akin to deep supervision and lateral student teacher information flow. Inspired by the shortcuts and fractal architectures, we propose two Shortcut based Fractal Architectures (SoFAr) specifically designed for BCNNs 1. residual connection based fractal architectures for binary ResNet, and 2. dense connection based fractal architectures for binary DenseNet. Our proposed SoFAr combines the adoption of shortcuts and the fractal architectures in one unified model, which is helpful in the training of BCNNs. Results show that our proposed SoFAr achieves better accuracy compared with shortcut based BCNNs. Specifically, the Top 1 accuracy of our proposed RF c4d8 ResNet37(41) and DRF c2d2 DenseNet51(53) on ImageNet outperforms Bi real ResNet18(64) and BinaryDenseNet51(32) by 3.29 and 1.41 , respectively, with the same computational complexity overhead.


Proximal mappings and Moreau envelopes of single variable convex piecewise cubic functions and multivariable gauge functions. This work presents a collection of useful properties of the Moreau envelope for finite dimensional, proper, lower semicontinuous, convex functions. In particular, gauge functions and piecewise cubic functions are investigated and their Moreau envelopes categorized. Characterizations of convex Moreau envelopes are established topics include strict convexity, strong convexity and Lipschitz continuity.


Lightweight Cryptography for IoT A State of the Art. With the emergence of 5G, Internet of Things (IoT) has become a center of attraction for almost all industries due to its wide range of applications from various domains. The explosive growth of industrial control processes and the industrial IoT, imposes unprecedented vulnerability to cyber threats in critical infrastructure through the interconnected systems. This new security threats could be minimized by lightweight cryptography, a sub branch of cryptography, especially derived for resource constrained devices such as RFID tags, smart cards, wireless sensors, etc. More than four dozens of lightweight cryptography algorithms have been proposed, designed for specific application(s). These algorithms exhibit diverse hardware and software performances in different circumstances. This paper presents the performance comparison along with their reported cryptanalysis, mainly for lightweight block ciphers, and further shows new research directions to develop novel algorithms with right balance of cost, performance and security characteristics.


Effects of cell cell adhesion on migration of multicellular clusters. Collections of cells exhibit coherent migration during morphogenesis, cancer metastasis, and wound healing. In many cases, bigger clusters split, smaller sub clusters collide and reassemble, and gaps continually emerge. The connections between cell level adhesion and cluster level dynamics, as well as the resulting consequences for cluster properties such as migration velocity, remain poorly understood. Here we investigate collective migration of one and two dimensional cell clusters that collectively track chemical gradients using a mechanism based on contact inhibition of locomotion. We develop both a minimal description based on the lattice gas model of statistical physics, and a more realistic framework based on the cellular Potts model which captures cell shape changes and cluster rearrangement. In both cases, we find that cells have an optimal adhesion strength that maximizes cluster migration speed. The optimum negotiates a tradeoff between maintaining cell cell contact and maintaining cluster fluidity, and we identify maximal variability in the cluster aspect ratio as a revealing signature. Our results suggest a collective benefit for intermediate cell cell adhesion.


Internet Security Awareness of Filipinos A Survey Paper. Purpose. This paper examines the Internet security perception of Filipinos to establish a need and sense of urgency on the part of the government to create a culture of cybersecurity for every Filipino. Method. A quantitative survey was conducted through traditional, online, and phone interviews among 252 respondents using a two page questionnaire that covers basic demographic information and two key elements (1) Internet usage and (2) security practices. Results. Based on findings, there is a sharp increase in Internet users for the last three years (50 ), and most access to the Internet through mobile (94.4 ). Although at home is the most frequent location for Internet access (94.4 ), a good percentage still use free WiFi access points available in malls (22.2 ), restaurants (11.1 ), and other public areas (38.9 ) doing Internet services (email and downloading) that are vulnerable to cyberattacks. The study also revealed that although respondents may have good knowledge of Internet security software, proper implementation is very limited. Conclusion. Filipinos are susceptible to cyberattacks, particularly to phishing and malware attacks. Also, the majority of the respondents' Internet security perception is derivative they practice online measures but with a limited understanding of the purpose. Therefore proper education, through training and awareness, is an effective approach to remedy the situation. Recommendations. The Philippine government must now take actions and tap industries to educate Filipinos about Internet security before any negative consequences happen in the future. Research Implications. The information collected sets a clear picture of the importance of cybersecurity awareness from a regional to a global perspective.


DotFAN A Domain transferred Face Augmentation Network for Pose and Illumination Invariant Face Recognition. The performance of a convolutional neural network (CNN) based face recognition model largely relies on the richness of labelled training data. Collecting a training set with large variations of a face identity under different poses and illumination changes, however, is very expensive, making the diversity of within class face images a critical issue in practice. In this paper, we propose a 3D model assisted domain transferred face augmentation network (DotFAN) that can generate a series of variants of an input face based on the knowledge distilled from existing rich face datasets collected from other domains. DotFAN is structurally a conditional CycleGAN but has two additional subnetworks, namely face expert network (FEM) and face shape regressor (FSR), for latent code control. While FSR aims to extract face attributes, FEM is designed to capture a face identity. With their aid, DotFAN can learn a disentangled face representation and effectively generate face images of various facial attributes while preserving the identity of augmented faces. Experiments show that DotFAN is beneficial for augmenting small face datasets to improve their within class diversity so that a better face recognition model can be learned from the augmented dataset.


Surprising circles in Morse boundaries of right angled Coxeter groups. We show that the Morse boundary of a right angled Coxeter group may contain embedded circles that do not arise as the boundary of a Morse Fuchsian subgroup visible in the defining graph.


Characterizing immutable sandpiles A first look. By working with coefficients in mathbb Z or mathbb R , one can define two different notions of stability for a sandpile on a graph. We call a sandpile immutable when these notions agree. Our main results give linear algebraic characterizations for large classes of immutable sandpiles.


Mask guided sample selection for Semi Supervised Instance Segmentation. Image segmentation methods are usually trained with pixel level annotations, which require significant human effort to collect. The most common solution to address this constraint is to implement weakly supervised pipelines trained with lower forms of supervision, such as bounding boxes or scribbles. Another option are semi supervised methods, which leverage a large amount of unlabeled data and a limited number of strongly labeled samples. In this second setup, samples to be strongly annotated can be selected randomly or with an active learning mechanism that chooses the ones that will maximize the model performance. In this work, we propose a sample selection approach to decide which samples to annotate for semi supervised instance segmentation. Our method consists in first predicting pseudo masks for the unlabeled pool of samples, together with a score predicting the quality of the mask. This score is an estimate of the Intersection Over Union (IoU) of the segment with the ground truth mask. We study which samples are better to annotate given the quality score, and show how our approach outperforms a random selection, leading to improved performance for semi supervised instance segmentation with low annotation budgets.


PENNI Pruned Kernel Sharing for Efficient CNN Inference. Although state of the art (SOTA) CNNs achieve outstanding performance on various tasks, their high computation demand and massive number of parameters make it difficult to deploy these SOTA CNNs onto resource constrained devices. Previous works on CNN acceleration utilize low rank approximation of the original convolution layers to reduce computation cost. However, these methods are very difficult to conduct upon sparse models, which limits execution speedup since redundancies within the CNN model are not fully exploited. We argue that kernel granularity decomposition can be conducted with low rank assumption while exploiting the redundancy within the remaining compact coefficients. Based on this observation, we propose PENNI, a CNN model compression framework that is able to achieve model compactness and hardware efficiency simultaneously by (1) implementing kernel sharing in convolution layers via a small number of basis kernels and (2) alternately adjusting bases and coefficients with sparse constraints. Experiments show that we can prune 97 parameters and 92 FLOPs on ResNet18 CIFAR10 with no accuracy loss, and achieve 44 reduction in run time memory consumption and a 53 reduction in inference latency.


Integrating Social Media into a Pan European Flood Awareness System A Multilingual Approach. This paper describes a prototype system that integrates social media analysis into the European Flood Awareness System (EFAS). This integration allows the collection of social media data to be automatically triggered by flood risk warnings determined by a hydro meteorological model. Then, we adopt a multi lingual approach to find flood related messages by employing two state of the art methodologies language agnostic word embeddings and language aligned word embeddings. Both approaches can be used to bootstrap a classifier of social media messages for a new language with little or no labeled data. Finally, we describe a method for selecting relevant and representative messages and displaying them back in the interface of EFAS.


On the Linear Convergence Rate of the Distributed Block Proximal Method. The recently developed Distributed Block Proximal Method, for solving stochastic big data convex optimization problems, is studied in this paper under the assumption of constant stepsizes and strongly convex (possibly non smooth) local objective functions. This class of problems arises in many learning and classification problems in which, for example, strongly convex regularizing functions are included in the objective function, the decision variable is extremely high dimensional, and large datasets are employed. The algorithm produces local estimates by means of block wise updates and communication among the agents. The expected distance from the (global) optimum, in terms of cost value, is shown to decay linearly to a constant value which is proportional to the selected local stepsizes. A numerical example involving a classification problem corroborates the theoretical results.


Today Me, Tomorrow Thee Efficient Resource Allocation in Competitive Settings using Karma Games. We present a new type of coordination mechanism among multiple agents for the allocation of a finite resource, such as the allocation of time slots for passing an intersection. We consider the setting where we associate one counter to each agent, which we call karma value, and where there is an established mechanism to decide resource allocation based on agents exchanging karma. The idea is that agents might be inclined to pass on using resources today, in exchange for karma, which will make it easier for them to claim the resource use in the future. To understand whether such a system might work robustly, we only design the protocol and not the agents' policies. We take a game theoretic perspective and compute policies corresponding to Nash equilibria for the game. We find, surprisingly, that the Nash equilibria for a society of self interested agents are very close in social welfare to a centralized cooperative solution. These results suggest that many resource allocation problems can have a simple, elegant, and robust solution, assuming the availability of a karma accounting mechanism.


Syntactic Structure Distillation Pretraining For Bidirectional Encoders. Textual representation learners trained on large amounts of data have achieved notable success on downstream tasks intriguingly, they have also performed well on challenging tests of syntactic competence. Given this success, it remains an open question whether scalable learners like BERT can become fully proficient in the syntax of natural language by virtue of data scale alone, or whether they still benefit from more explicit syntactic biases. To answer this question, we introduce a knowledge distillation strategy for injecting syntactic biases into BERT pretraining, by distilling the syntactically informative predictions of a hierarchical albeit harder to scale syntactic language model. Since BERT models masked words in bidirectional context, we propose to distill the approximate marginal distribution over words in context from the syntactic LM. Our approach reduces relative error by 2 21 on a diverse set of structured prediction tasks, although we obtain mixed results on the GLUE benchmark. Our findings demonstrate the benefits of syntactic biases, even in representation learners that exploit large amounts of data, and contribute to a better understanding of where syntactic biases are most helpful in benchmarks of natural language understanding.


Real time Whole body Obstacle Avoidance for 7 DOF Redundant Manipulators. Mainly because of the heavy computational costs, the real time whole body obstacle avoidance for the redundant manipulators has not been well implemented. This paper presents an approach that can ensure that the whole body of a redundant manipulator can avoid moving obstacles in real time during the execution of a task. The manipulator is divided into end effector and non end effector portion. Based on dynamical systems (DS), the real time end effector obstacle avoidance is obtained. Besides, the end effector can reach the given target. By using null space velocity control, the real time non endeffector obstacle avoidance is achieved. Finally, a controller is designed to ensure the whole body obstacle avoidance. We validate the effectiveness of the method in the simulations and experiments on the 7 DOF arm of the UBTECH humanoid robot.


on removal of perfect matching from folded hypercubes. The hypercube Qn of dimension n is one of the most versatile and powerful interconnection networks. The n dimensional folded cube denoted as FQn, a variation of the hypercube possesses some embeddable properties that the hypercube does not possess. Dong and Wang(In Theor. Comput. Sci.771(2019)93 98) conjectured that "A subset Em of edges of FQn is a perfect matching if and only if FQn Em is isomorphic to Qn". In this paper, we disprove this conjecture by providing some perfect matchings removal of which from FQn do not give a graph isomorphic to Qn.


The Braess' Paradox for Pendant Twins. The Kemeny's constant kappa(G) of a connected undirected graph G can be interpreted as the expected transit time between two randomly chosen vertices for the Markov chain associated with G . In certain cases, inserting a new edge into G has the counter intuitive effect of increasing the value of kappa(G) . In the current work we identify a large class of graphs exhibiting this "paradoxical" behavior namely, those graphs having a pair of twin pendant vertices. We also investigate the occurrence of this phenomenon in random graphs, showing that almost all connected planar graphs are paradoxical. To establish these results, we make use of a connection between the Kemeny's constant and the resistance distance of graphs.


Parameterized Verification of Systems with Global Synchronization and Guards. Inspired by distributed applications that use consensus or other agreement protocols for global coordination, we define a new computational model for parameterized systems that is based on a general global synchronization primitive and allows for global transition guards. Our model generalizes many existing models in the literature, including broadcast protocols and guarded protocols. We show that reachability properties are decidable for systems without guards, and give sufficient conditions under which they remain decidable in the presence of guards. Furthermore, we investigate cutoffs for reachability properties and provide sufficient conditions for small cutoffs in a number of cases that are inspired by our target applications.


Set theoretic solutions of the Pentagon Equation. A set theoretic solution of the Pentagon Equation on a non empty set S is a map s colon S 2 to S 2 such that s 23 s 13 s 12 s 12 s 23 , where s 12 s times mathrm id , s 23 mathrm id times s and s 13 ( tau times mathrm id )( mathrm id times s)( tau times mathrm id ) are mappings from S 3 to itself and tau colon S 2 to S 2 is the flip map, i.e., tau (x,y) (y,x) . We give a description of all involutive solutions, i.e., s 2 mathrm id . It is shown that such solutions are determined by a factorization of S as direct product X times A times G and a map sigma colon A to mathrm Sym (X) , where X is a non empty set and A,G are elementary abelian 2 groups. Isomorphic solutions are determined by the cardinalities of A , G and X , i.e., the map sigma is irrelevant. In particular, if S is finite of cardinality 2 n(2m 1) for some n,m geq 0 then, on S , there are precisely binom n 2 2 non isomorphic solutions of the Pentagon Equation.


The SDP value for random two eigenvalue CSPs. We precisely determine the SDP value (equivalently, quantum value) of large random instances of certain kinds of constraint satisfaction problems, two eigenvalue 2CSPs''. We show this SDP value coincides with the spectral relaxation value, possibly indicating a computational threshold. Our analysis extends the previously resolved cases of random regular mathsf 2XOR and textsf NAE 3SAT , and includes new cases such as random mathsf Sort 4 (equivalently, mathsf CHSH ) and mathsf Forrelation CSPs. Our techniques include new generalizations of the nonbacktracking operator, the Ihara Bass Formula, and the Friedman Bordenave proof of Alon's Conjecture.


Topology optimization for incremental elastoplasticity a phase field approach. We discuss a topology optimization problem for an elastoplastic medium. The distribution of material in a region is optimized with respect to a given target functional taking into account compliance. The incremental elastoplastic problem serves as state constraint. We prove that the topology optimization problem admits a solution. First order optimality conditions are obtained by considering a regularized problem and passing to the limit.


Inequalities Concerning Maximum Modulus and Zeros of Random Entire Functions. Let f omega(z) sum limits j 0 infty chi j( omega) a j z j be a random entire function, where chi j( omega) are independent and identically distributed random variables defined on a probability space ( Omega, mathcal F , mu) . In this paper, we first define a family of random entire functions, which includes Gaussian, Rademacher, Steinhaus entire functions. Then, we prove that, for almost all functions in the family and for any constant C 1 , there exist a constant r 0 r 0( omega) and a set E subset e, infty) of finite logarithmic measure such that, for r r 0 and r notin E , log M(r, f) N(r,0, f omega) le (C A) frac1 B log frac1 B log M(r,f) log log M(r, f), qquad a.s. where A, B are constants, M(r, f) is the maximum modulus, and N(r, 0, f) is the weighted counting zero function of f . As a by product of our main results, we prove Nevanlinna's second main theorem for random entire functions. Thus, the characteristic function of almost all functions in the family is bounded above by a weighed counting function, rather than by two weighted counting functions in the classical Nevanlinna theory. For instance, we show that, for almost all Gaussian entire functions f omega and for any epsilon 0 , there is r 0 such that, for r r 0 , T(r, f) le N(r,0, f omega) ( frac12 epsilon) log T(r, f).


Unveiling the relation between herding and liquidity with trader lead lag networks. We propose a method to infer lead lag networks of traders from the observation of their trade record as well as to reconstruct their state of supply and demand when they do not trade. The method relies on the Kinetic Ising model to describe how information propagates among traders, assigning a positive or negative "opinion" to all agents about whether the traded asset price will go up or down. This opinion is reflected by their trading behavior, but whenever the trader is not active in a given time window, a missing value will arise. Using a recently developed inference algorithm, we are able to reconstruct a lead lag network and to estimate the unobserved opinions, giving a clearer picture about the state of supply and demand in the market at all times. We apply our method to a dataset of clients of a major dealer in the Foreign Exchange market at the 5 minutes time scale. We identify leading players in the market and define a herding measure based on the observed and inferred opinions. We show the causal link between herding and liquidity in the inter dealer market used by dealers to rebalance their inventories.


Calculation of light transmittance in a film considerations of the coating geometry, the agent distribution, and its probability density distribution. Transmittance is an important parameter for various films such as sunscreen films and creams, biofilms, coating materials, etc. Even if amounts of a sunscreen agent are the same, the transmittance greatly changes depending on the coating geometry (CG) and the agent distribution (AD) in the film. In this study, we calculate the transmittance considering CG and AD. In addition, we associate the transmittance with probability density distribution of the thickness of the film. We found analytical and numerical solutions of the transmittance in several model cases. It can be used for prediction of performance of the sunscreen film and for a fair comparative evaluation. Mathematical techniques in calculation of the transmittance are also explained in detail.


Dual Resolution Correspondence Networks. We tackle the problem of establishing dense pixel wise correspondences between a pair of images. In this work, we introduce Dual Resolution Correspondence Networks (DualRC Net), to obtain pixel wise correspondences in a coarse to fine manner. DualRC Net extracts both coarse and fine resolution feature maps. The coarse maps are used to produce a full but coarse 4D correlation tensor, which is then refined by a learnable neighbourhood consensus module. The fine resolution feature maps are used to obtain the final dense correspondences guided by the refined coarse 4D correlation tensor. The selected coarse resolution matching scores allow the fine resolution features to focus only on a limited number of possible matches with high confidence. In this way, DualRC Net dramatically increases matching reliability and localisation accuracy, while avoiding to apply the expensive 4D convolution kernels on fine resolution feature maps. We comprehensively evaluate our method on large scale public benchmarks including HPatches, InLoc, and Aachen Day Night. It achieves the state of the art results on all of them.


Development of a recoil ion source providing slow Th ions including 229(m) Th in a broad charge state distribution. Ions of the isomer 229m Th are a topic of high interest for the construction of a "nuclear clock" and in the field of fundamental physics for testing symmetries of nature. They can be efficiently captured in Paul traps which are ideal for performing high precision quantum logic spectroscopy. Trapping and identification of long lived 232 Th ions from a laser ablation source was already demonstrated by the TACTICa collaboration on Trapping And Cooling of Thorium Ions with Calcium. The 229m Th is most easily accessible as alpha decay daughter of the decay of 233 U. We report on the development of a source for slow Th ions, including 229(m) Th for the TACTICa experiment. The 229(m) Th source is currently under construction and comprises a 233 U monolayer, from which 229(m) Th ions recoil. These are decelerated in an electric field. Conservation of the full initial charge state distribution of the 229(m) Th recoil ions is one of the unique features of this source. We present ion flight simulations for our adopted layout and give a final design. This source will provide Th ions in their original charge state at energies suitable for capture in a linear Paul trap for spectroscopy investigations.


THINC scaling scheme that unifies VOF and level set methods. We present a novel interface capturing scheme, THINC scaling, to unify the VOF (volume of fluid) and the level set methods, which have been developed as two completely different approaches widely used in various applications. The THINC scaling scheme preserves at the samectime the advantages of both VOF and level set methods, i.e. the mass volume conservation of the VOF method and the geometrical faithfulness of the level set method. THINC scaling scheme allows to represent interface with high order polynomials, and has algorithmic simplicity which eases its implementation in unstructured grids.


A well balanced positivity preserving cell vertex finite volume method satisfying the discrete maximum minimum principle for coupled models of surface water flow and scalar transport. We develop a new finite volume method using unstructured mesh vertex grids for coupled systems modeling shallow water flows and solute transport over complex bottom topography. Novel well balanced positivity preserving discretization techniques are proposed for the water surface elevation and the concentration of the pollutant. For the hydrodynamic system, the proposed scheme preserves the steady state of a lake at rest and the positivity of the water depth. For the scalar transport equation, the proposed method guarantees the positivity and a perfect balance of the scalar concentration. The constant concentration states are preserved in space and time for any hydrodynamic field and complex topography in the absence of source terms of the passive pollutant. Importantly and this is one of the main features of our approach is that the novel reconstruction techniques proposed for the water surface elevation and concentration satisfy the discrete maximum minimum principle for the solute concentration. We demonstrate, in a series of numerical tests, the well balanced and positivity properties of the proposed method and the accuracy of our techniques and their potential advantages in predicting the solutions of the shallow water transport model.


Towards Explainable Deep Neural Networks (xDNN). In this paper, we propose an elegant solution that is directly addressing the bottlenecks of the traditional deep learning approaches and offers a clearly explainable internal architecture that can outperform the existing methods, requires very little computational resources (no need for GPUs) and short training times (in the order of seconds). The proposed approach, xDNN is using prototypes. Prototypes are actual training data samples (images), which are local peaks of the empirical data distribution called typicality as well as of the data density. This generative model is identified in a closed form and equates to the pdf but is derived automatically and entirely from the training data with no user or problem specific thresholds, parameters or intervention. The proposed xDNN offers a new deep learning architecture that combines reasoning and learning in a synergy. It is non iterative and non parametric, which explains its efficiency in terms of time and computational resources. From the user perspective, the proposed approach is clearly understandable to human users. We tested it on some well known benchmark data sets such as iRoads and Caltech 256. xDNN outperforms the other methods including deep learning in terms of accuracy, time to train and offers a clearly explainable classifier. In fact, the result on the very hard Caltech 256 problem (which has 257 classes) represents a world record.


Jordan types with small parts for Artinian Gorenstein algebras of codimension three. We study Jordan types of linear forms for graded Artinian Gorenstein algebras having arbitrary codimension. We introduce rank matrices of linear forms for such algebras that represent the ranks of multiplication maps in various degrees. We show that there is a 1 1 correspondence between rank matrices and Jordan degree types. For Artinian Gorenstein algebras with codimension three we classify all rank matrices that occur for linear forms with vanishing third power. As a consequence, we show for such algebras that the possible Jordan types with parts of length at most four are uniquely determined by at most three parameters.


Correct and Control Complex IoT Systems Evaluation of a Classification for System Anomalies. In practice there are deficiencies in precise interteam communications about system anomalies to perform troubleshooting and postmortem analysis along different teams operating complex IoT systems. We evaluate the quality in use of an adaptation of IEEE Std. 1044 2009 with the objective to differentiate the handling of fault detection and fault reaction from handling of defect and its options for defect correction. We extended the scope of IEEE Std. 1044 2009 from anomalies related to software only to anomalies related to complex IoT systems. To evaluate the quality in use of our classification a study was conducted at Robert Bosch GmbH. We applied our adaptation to a postmortem analysis of an IoT solution and evaluated the quality in use by conducting interviews with three stakeholders. Our adaptation was effectively applied and interteam communications as well as iterative and inductive learning for product improvement were enhanced. Further training and practice are required.


Explicit Programming Strategies. Software developers solve a diverse and wide range of problems. While software engineering research often focuses on tools to support this problem solving, the strategies that developers use to solve problems are at least as important. In this paper, we offer a novel approach for enabling developers to follow explicit programming strategies that describe how an expert tackles a common programming problem. We define explicit programming strategies, grounding our definition in prior work both within software engineering and in other professions which have adopted more explicit procedures for problem solving. We then present a novel notation called Roboto and a novel StrategyTracker tool that explicitly represents programming strategies and frame executing strategies as a collaborative effort between human abilities to make decisions and computer abilities to structure process and persist information. Ina formative evaluation, 28 software developers of varying expertise completed a design task and a debugging task. We found that, compared to developers who are free to choose their strategies, developers gave explicit strategies experienced their work as more organized, systematic, and predictable, but also more constrained. Developers using explicit strategies were objectively more successful at the design and debugging tasks. We discuss the implications of Roboto and these findings, envisioning a thriving ecosystem of explicit strategies that accelerate and improve developers programming problem solving.


Multi stage Attention ResU Net for Semantic Segmentation of Fine Resolution Remote Sensing Images. The attention mechanism can refine the extracted feature maps and boost the classification performance of the deep network, which has become an essential technique in computer vision and natural language processing. However, the memory and computational costs of the dot product attention mechanism increase quadratically with the spatio temporal size of the input. Such growth hinders the usage of attention mechanisms considerably in application scenarios with large scale inputs. In this Letter, we propose a Linear Attention Mechanism (LAM) to address this issue, which is approximately equivalent to dot product attention with computational efficiency. Such a design makes the incorporation between attention mechanisms and deep networks much more flexible and versatile. Based on the proposed LAM, we re factor the skip connections in the raw U Net and design a Multi stage Attention ResU Net (MAResU Net) for semantic segmentation from fine resolution remote sensing images. Experiments conducted on the Vaihingen dataset demonstrated the effectiveness and efficiency of our MAResU Net. Open source code is available at https github.com lironui Multistage Attention ResU Net.


Pre trained Summarization Distillation. Recent state of the art approaches to summarization utilize large pre trained Transformer models. Distilling these models to smaller student models has become critically important for practical use however there are many different distillation methods proposed by the NLP literature. Recent work on distilling BERT for classification and regression tasks shows strong performance using direct knowledge distillation. Alternatively, machine translation practitioners distill using pseudo labeling, where a small model is trained on the translations of a larger model. A third, simpler approach is to 'shrink and fine tune' (SFT), which avoids any explicit distillation by copying parameters to a smaller student model and then fine tuning. We compare these three approaches for distillation of Pegasus and BART, the current and former state of the art, pre trained summarization models, and find that SFT outperforms knowledge distillation and pseudo labeling on the CNN DailyMail dataset, but under performs pseudo labeling on the more abstractive XSUM dataset. PyTorch Code and checkpoints of different sizes are available through Hugging Face transformers here http tiny.cc 4iy0tz.


Speeding up Word Mover's Distance and its variants via properties of distances between embeddings. The Word Mover's Distance (WMD) proposed by Kusner et al. is a distance between documents that takes advantage of semantic relations among words that are captured by their embeddings. This distance proved to be quite effective, obtaining state of art error rates for classification tasks, but is also impracticable for large collections documents due to its computational complexity. For circumventing this problem, variants of WMD have been proposed. Among them, Relaxed Word Mover's Distance (RWMD) is one of the most successful due to its simplicity, effectiveness, and also because of its fast implementations. Relying on assumptions that are supported by empirical properties of the distances between embeddings, we propose an approach to speed up both WMD and RWMD. Experiments over 10 datasets suggest that our approach leads to a significant speed up in document classification tasks while maintaining the same error rates.


On densely isomorphic normed spaces. In the first part of our note we prove that every Weakly Lindel "of Determined (WLD) (in particular, every reflexive) non separable Banach X space contains two dense linear subspaces Y and Z that are not densely isomorphic. This means that there are no further dense linear subspaces Y 0 and Z 0 of Y and Z which are linearly isomorphic. Our main result (Theorem B) concerns the existence of biorthogonal systems in normed spaces. In particular, we prove under the Continuum Hypothesis (CH) that there exists a dense linear subspace of ell 2( omega 1) (or more generally every WLD space of density omega 1 ) which contains no uncountable biorthogonal system. This result lies between two fundamental results concerning biorthogonal systems, namely the construction of Kunen (under CH) of a non separable Banach space which contains no uncountable biorthogonal system, and the construction of Todor u c evi 'c (under Martin Maximum) of an uncountable biorthogonal system in every non separable Banach space.


DermGAN Synthetic Generation of Clinical Skin Images with Pathology. Despite the recent success in applying supervised deep learning to medical imaging tasks, the problem of obtaining large and diverse expert annotated datasets required for the development of high performant models remains particularly challenging. In this work, we explore the possibility of using Generative Adverserial Networks (GAN) to synthesize clinical images with skin condition. We propose DermGAN, an adaptation of the popular Pix2Pix architecture, to create synthetic images for a pre specified skin condition while being able to vary its size, location and the underlying skin color. We demonstrate that the generated images are of high fidelity using objective GAN evaluation metrics. In a Human Turing test, we note that the synthetic images are not only visually similar to real images, but also embody the respective skin condition in dermatologists' eyes. Finally, when using the synthetic images as a data augmentation technique for training a skin condition classifier, we observe that the model performs comparably to the baseline model overall while improving on rare but malignant conditions.


Compactness of M uniform domains and optimal thermal insulation problems. In this paper, we will consider an optimal shape problem of heat insulation introduced by Bucur Buttazzo Nitsch. We will establish the existence of optimal shapes in the class of M uniform domains. We will also show that balls are stable solutions of the optimal heat insulation problem.


Well posedness and tamed Euler schemes for McKean Vlasov equations driven by L 'evy noise. We prove the well posedness of solutions to McKean Vlasov stochastic differential equations driven by L 'evy noise under mild assumptions where, in particular, the L 'evy measure is not required to be finite. The drift, diffusion and jump coefficients are allowed to be random, can grow super linearly in the state variable, and all may depend on the marginal law of the solution process. We provide a propagation of chaos result under more relaxed conditions than those existing in the literature, and consistent with our well posedness result. We propose a tamed Euler scheme for the associated interacting particle system and prove that the rate of its strong convergence is arbitrarily close to 1 2 . As a by product, we also obtain the corresponding results on well posedness, propagation of chaos and strong convergence of the tamed Euler scheme for McKean Vlasov stochastic delay differential equations (SDDE) and McKean Vlasov stochastic differential equations with Markovian switching (SDEwMS), both driven by L 'evy noise. Furthermore, our results on tamed Euler schemes are new even for ordinary SDEs driven by L 'evy noise and with super linearly growing coefficients.


Wall to wall optimal transport in two dimensions. Gradient ascent methods are developed to compute incompressible flows that maximize heat transport between two isothermal no slip parallel walls. Parameterizing the magnitude of velocity fields by a P 'eclet number text Pe proportional to their root mean square rate of strain, the schemes are applied to compute two dimensional flows optimizing convective enhancement of diffusive heat transfer, i.e., the Nusselt number text Nu up to text Pe approx 10 5 . The resulting transport exhibits a change of scaling from text Nu 1 sim text Pe 2 for text Pe 10 in the linear regime to text Nu sim text Pe 0.54 for text Pe 10 3 . Optimal fields are observed to be approximately separable, i.e., products of functions of the wall parallel and wall normal coordinates. Analysis employing a separable ansatz yields a conditional upper bound lesssim text Pe 6 11 text Pe 0. overline 54 as text Pe rightarrow infty similar to the computationally achieved scaling. Implications for heat transfer in buoyancy driven Rayleigh B 'enard convection are discussed.


Legal Sentiment Analysis and Opinion Mining (LSAOM) Assimilating Advances in Autonomous AI Legal Reasoning. An expanding field of substantive interest for the theory of the law and the practice of law entails Legal Sentiment Analysis and Opinion Mining (LSAOM), consisting of two often intertwined phenomena and actions underlying legal discussions and narratives (1) Sentiment Analysis (SA) for the detection of expressed or implied sentiment about a legal matter within the context of a legal milieu, and (2) Opinion Mining (OM) for the identification and illumination of explicit or implicit opinion accompaniments immersed within legal discourse. Efforts to undertake LSAOM have historically been performed by human hand and cognition, and only thinly aided in more recent times by the use of computer based approaches. Advances in Artificial Intelligence (AI) involving especially Natural Language Processing (NLP) and Machine Learning (ML) are increasingly bolstering how automation can systematically perform either or both of Sentiment Analysis and Opinion Mining, all of which is being inexorably carried over into engagement within a legal context for improving LSAOM capabilities. This research paper examines the evolving infusion of AI into Legal Sentiment Analysis and Opinion Mining and proposes an alignment with the Levels of Autonomy (LoA) of AI Legal Reasoning (AILR), plus provides additional insights regarding AI LSAOM in its mechanizations and potential impact to the study of law and the practicing of law.


A Deep Evolutionary Approach to Bioinspired Classifier Optimisation for Brain Machine Interaction. This study suggests a new approach to EEG data classification by exploring the idea of using evolutionary computation to both select useful discriminative EEG features and optimise the topology of Artificial Neural Networks. An evolutionary algorithm is applied to select the most informative features from an initial set of 2550 EEG statistical features. Optimisation of a Multilayer Perceptron (MLP) is performed with an evolutionary approach before classification to estimate the best hyperparameters of the network. Deep learning and tuning with Long Short Term Memory (LSTM) are also explored, and Adaptive Boosting of the two types of models is tested for each problem. Three experiments are provided for comparison using different classifiers one for attention state classification, one for emotional sentiment classification, and a third experiment in which the goal is to guess the number a subject is thinking of. The obtained results show that an Adaptive Boosted LSTM can achieve an accuracy of 84.44 , 97.06 , and 9.94 on the attentional, emotional, and number datasets, respectively. An evolutionary optimised MLP achieves results close to the Adaptive Boosted LSTM for the two first experiments and significantly higher for the number guessing experiment with an Adaptive Boosted DEvo MLP reaching 31.35 , while being significantly quicker to train and classify. In particular, the accuracy of the nonboosted DEvo MLP was of 79.81 , 96.11 , and 27.07 in the same benchmarks. Two datasets for the experiments were gathered using a Muse EEG headband with four electrodes corresponding to TP9, AF7, AF8, and TP10 locations of the international EEG placement standard. The EEG MindBigData digits dataset was gathered from the TP9, FP1, FP2, and TP10 locations.


AdnFM An Attentive DenseNet based Factorization Machine for CTR Prediction. In this paper, we consider the Click Through Rate (CTR) prediction problem. Factorization Machines and their variants consider pair wise feature interactions, but normally we won't do high order feature interactions using FM due to high time complexity. Given the success of deep neural networks (DNNs) in many fields, researchers have proposed several DNN based models to learn high order feature interactions. Multi layer perceptrons (MLP) have been widely employed to learn reliable mappings from feature embeddings to final logits. In this paper, we aim to explore more about these high order features interactions. However, high order feature interaction deserves more attention and further development. Inspired by the great achievements of Densely Connected Convolutional Networks (DenseNet) in computer vision, we propose a novel model called Attentive DenseNet based Factorization Machines (AdnFM). AdnFM can extract more comprehensive deep features by using all the hidden layers from a feed forward neural network as implicit high order features, then selects dominant features via an attention mechanism. Also, high order interactions in the implicit way using DNNs are more cost efficient than in the explicit way, for example in FM. Extensive experiments on two real world datasets show that the proposed model can effectively improve the performance of CTR prediction.


Exterior products of operators and superoptimal analytic approximation. We give a new algorithm for the construction of the unique superoptimal analytic approximant of a given continuous matrix valued function on the unit circle, making use of exterior powers of operators in preference to spectral or em Wiener Masani factorizations.


An IoT Platform as a service for NFV Based Hybrid Cloud Fog Systems. Cloud computing, despite its inherent advantages (e.g., resource efficiency) still faces several challenges. the wide are network used to connect the cloud to end users could cause high latency, which may not be tolerable for some applications, especially Internet of Things (IoT applications. Fog computing can reduce this latency by extending the traditional cloud architecture to the edge of the network and by enabling the deployment of some application components on fog nodes. Application providers use Platform as a Service (PaaS) to provision (i.e., develop, deploy, manage, and orchestrate) applications in cloud. However, existing PaaS solutions (including IoT PaaS) usually focus on cloud and do not enable provisioning of applications with components spanning cloud and fog. provisioning such applications require novel functions, such as application graph generation, that are absent from existing PaaS. Furthermore, several functions offered by existing PaaS (e.g., publication discovery) need to be significantly extended in order to fit in a hybrid cloud fog environment. In this paper, we propose a novel architecture for PaaS for hybrid cloud fog system. It is IoT use case driven, and its applications' components are implemented as Virtual Network Functions (VNFs) with execution sequences modeled s graphs with sub structures such as selection and loops. It automates the provisioning of applications with components spanning cloud and fog. In addition, it enables the discovery of existing cloud and fog nodes and generates application graphs. A proof of concept is built based on Cloudify open source. Feasibility is demonstrated by evaluating its performance when PaaS modules and application components are placed in clouds and fogs in different geographical locations.


Rosenthal families, pavings and generic cardinal invariants. Following D. Sobota we call a family mathcal F of infinite subsets of mathbb N a Rosenthal family if it can replace the family of all infinite subsets of mathbb N in classical Rosenthal's Lemma concerning sequences of measures on pairwise disjoint sets. We resolve two problems on Rosenthal families every ultrafilter is a Rosenthal family and the minimal size of a Rosenthal family is exactly equal to the reaping cardinal mathfrak r . This is achieved through analyzing nowhere reaping families of subsets of mathbb N and through applying a paving lemma which is a consequence of a paving lemma concerning linear operators on ell 1 n due to Bourgain. We use connections of the above results with free set results for functions on mathbb N and with linear operators on c 0 to determine the values of several other derived cardinal invariants.


The Largest Entry in the Inverse of a Vandermonde Matrix. We investigate the size of the largest entry (in absolute value) in the inverse of certain Vandermonde matrices. More precisely, for every real b 1 , let M b(n) be the maximum of the absolute values of the entries of the inverse of the n times n matrix b i j 0 leq i, j n . We prove that lim n to infty M b(n) exists, and we provide some formulas for it.


Embedding linear codes into self orthogonal codes and their optimal minimum distances. We obtain a characterization on self orthogonality for a given binary linear code in terms of the number of column vectors in its generator matrix, which extends the result of Bouyukliev et al. (2006). As an application, we give an algorithmic method to embed a given binary k dimensional linear code mathcal C ( k 2,3,4 ) into a self orthogonal code of the shortest length which has the same dimension k and minimum distance d' ge d( mathcal C ) . For k 4 , we suggest a recursive method to embed a k dimensional linear code to a self orthogonal code. We also give new explicit formulas for the minimum distances of optimal self orthogonal codes for any length n with dimension 4 and any length n not equiv 6,13,14,21,22,28,29 pmod 31 with dimension 5. We determine the exact optimal minimum distances of n,4 self orthogonal codes which were left open by Li Xu Zhao (2008) when n equiv 0,3,4,5,10,11,12 pmod 15 . Then, using MAGMA, we observe that our embedding sends an optimal linear code to an optimal self orthogonal code.


Comment on "Atomic structure and excitation cross section by electron impact of tungsten ions, W 38 " by El Maaref et al J. Phys. B 52(2019) 065202 . Recently, El Maaref it et al , J. Phys. B 52(2019) 065202 have reported results for energy levels, radiative rates and collision strengths ( Omega ) for some transitions of Kr like W XXXIX. For the calculations of these parameters they have adopted several codes, including GRASP, DARC and FAC. For energy levels they have shown discrepancies of up to 1.64 Ryd between the GRASP and FAC calculations, whereas for Omega the differences between the DARC and FAC results are over an order of magnitude for a few transitions. In addition, for several transitions there is an anomaly in the behaviour of Omega between the two sets of calculations. In this comment, we demonstrate that their results from both codes are incorrect, and hence cannot be relied upon.


physics.soc-ph cs.SI math.CO physics.data-an

Lowest Degree Decomposition of Complex Networks. The heterogeneous structure implies that a very few nodes may play the critical role in maintaining structural and functional properties of a large scale network. Identifying these vital nodes is one of the most important tasks in network science, which allow us to better conduct successful social advertisements, immunize a network against epidemics, discover drug target candidates and essential proteins, and prevent cascading breakdowns in power grids, financial markets and ecological systems. Inspired by the nested nature of real networks, we propose a decomposition method where at each step the nodes with the lowest degree are pruned. We have strictly proved that this so called lowest degree decomposition (LDD) is a subdivision of the famous k core decomposition. Extensive numerical analyses on epidemic spreading, synchronization and nonlinear mutualistic dynamics show that the LDD can more accurately find out the most influential spreaders, the most efficient controllers and the most vulnerable species than k core decomposition and other well known indices. The present method only makes use of local topological information, and thus has high potential to become a powerful tool for network analysis.


MMSE Optimal Sequential Processing for Cell Free Massive MIMO With Radio Stripes. Cell free massive multiple input multiple output (mMIMO) is an emerging technology for beyond 5G with its promising features such as higher spectral efficiency and superior spatial diversity as compared to conventional multiple input multiple output (MIMO) technology. The main working principle of cell free mMIMO is that many distributed access points (APs) cooperate simultaneously to serve all the users within the network without creating cell boundaries. This paper considers the uplink of a cell free mMIMO system utilizing the radio stripe network architecture with a sequential fronthaul between the APs. A novel uplink sequential processing algorithm is developed which is proved to be optimal in both the maximum spectral efficiency (SE) and the minimum mean square error (MSE) sense. A detailed quantitative analysis of the fronthaul requirement or signaling of the proposed algorithm and its comparison with competing sub optimal algorithms is provided. Key conclusions and implications are summarized in the form of corollaries. Based on the analytical and numerical simulation results, we conclude that the proposed scheme can greatly reduce the fronthaul signaling, without compromising the communication performance.


Bipartisan Paxos A Modular State Machine Replication Protocol. There is no shortage of state machine replication protocols. From Generalized Paxos to EPaxos, a huge number of replication protocols have been proposed that achieve high throughput and low latency. However, these protocols all have two problems. First, they do not scale. Many protocols actually slow down when you scale them, instead of speeding up. For example, increasing the number of MultiPaxos acceptors increases quorum sizes and slows down the protocol. Second, they are too complicated. This is not a secret state machine replication is notoriously difficult to understand. In this paper, we tackle both problems with a single solution modularity. We present Bipartisan Paxos (BPaxos), a modular state machine replication protocol. Modularity yields high throughput via scaling. We note that while many replication protocol components do not scale, some do. By modularizing BPaxos, we are able to disentangle the two and scale the bottleneck components to increase the protocol's throughput. Modularity also yields simplicity. BPaxos is divided into a number of independent modules that can be understood and proven correct in isolation.


On the Tradeoff Between Computation and Communication Costs for Distributed Linearly Separable Computation. This paper studies the distributed linearly separable computation problem, which is a generalization of many existing distributed computing problems such as distributed gradient descent and distributed linear transform. In this problem, a master asks N distributed workers to compute a linearly separable function of K datasets, which is a set of K c linear combinations of K messages (each message is a function of one dataset). We assign some datasets to each worker, which then computes the corresponding messages and returns some function of these messages, such that from the answers of any N r out of N workers the master can recover the task function. In the literature, the specific case where K c 1 or where the computation cost is minimum has been considered. In this paper, we focus on the general case (i.e., general K c and general computation cost) and aim to find the minimum communication cost. We first propose a novel converse bound on the communication cost under the constraint of the popular cyclic assignment (widely considered in the literature), which assigns the datasets to the workers in a cyclic way. Motivated by the observation that existing strategies for distributed computing fall short of achieving the converse bound, we propose a novel distributed computing scheme for some system parameters. The proposed computing scheme is optimal for any assignment when K c is large and is optimal under cyclic assignment when the numbers of workers and datasets are equal or K c is small. In addition, it is order optimal within a factor of 2 under cyclic assignment for the remaining cases.


JugglingSwap Scriptless Atomic Cross Chain Swaps. The blockchain space is changing constantly. New chains are being implemented frequently with different use cases in mind. As more and more types of crypto assets are getting real world value there is an increasing need for blockchain interoperability. Exchange services today are still dominated by central parties which require custody of funds. This trust imposes costs and security risks as frequent breaches testify. Atomic cross chain swaps (ACCS) allow mutual distrusting parties to securely exchange crypto assets in a peer to peer manner while preserving self custody. Fundamental ACCS protocols leveraged the scripting capabilities of blockchains to conditionalize the transfer of funds between trading parties. Recent work showed that such protocols can be realized in a scriptless setting. This has many benefits to blockchains throughput, efficiency of swap protocols and also to fungibility and privacy. The proposed protocols are limited to assets transferable by either Schnorr signatures or ECDSA that are assuming the same elliptic curve parameters. In this work we present JugglingSwap, a scriptless atomic cross chain swap protocol with a higher degree of interoperability. We weaken the assumptions about blockchains that can be included in the ACCS protocol, and only require that (1) a threshold variant exists to the underlying digital signature scheme and (2) it is based on the elliptic curve discrete logarithm problem (ECDLP). The fair exchange is achieved by a gradual release of secrets. To achieve this we use a new building block we call Juggling a public key verifiable encryption scheme to transfer segments of secret shares between parties, which can also be of separate interest. Juggling is then tailored to a specific private key management system design with threshold signatures security.


Physics informed neural networks for solving forward and inverse flow problems via the Boltzmann BGK formulation. In this study, we employ physics informed neural networks (PINNs) to solve forward and inverse problems via the Boltzmann BGK formulation (PINN BGK), enabling PINNs to model flows in both the continuum and rarefied regimes. In particular, the PINN BGK is composed of three sub networks, i.e., the first for approximating the equilibrium distribution function, the second for approximating the non equilibrium distribution function, and the third one for encoding the Boltzmann BGK equation as well as the corresponding boundary initial conditions. By minimizing the residuals of the governing equations and the mismatch between the predicted and provided boundary initial conditions, we can approximate the Boltzmann BGK equation for both continuous and rarefied flows. For forward problems, the PINN BGK is utilized to solve various benchmark flows given boundary initial conditions, e.g., Kovasznay flow, Taylor Green flow, cavity flow, and micro Couette flow for Knudsen number up to 5. For inverse problems, we focus on rarefied flows in which accurate boundary conditions are difficult to obtain. We employ the PINN BGK to infer the flow field in the entire computational domain given a limited number of interior scattered measurements on the velocity with unknown boundary conditions. Results for the two dimensional micro Couette and micro cavity flows with Knudsen numbers ranging from 0.1 to 10 indicate that the PINN BGK can infer the velocity field in the entire domain with good accuracy. Finally, we also present some results on using transfer learning to accelerate the training process. Specifically, we can obtain a three fold speedup compared to the standard training process (e.g., Adam plus L BFGS B) for the two dimensional flow problems considered in our work.


Fast ORB SLAM without Keypoint Descriptors. Indirect methods for visual SLAM are gaining popularity due to their robustness to environmental variations. ORB SLAM2 cite orbslam2 is a benchmark method in this domain, however, it consumes significant time for computing descriptors that never get reused unless a frame is selected as a keyframe. To overcome these problems, we present FastORB SLAM which is lightweight and efficient as it tracks keypoints between adjacent frames without computing descriptors. To achieve this, a two stage coarse to fine descriptor independent keypoint matching method is proposed based on sparse optical flow. In the first stage, we predict initial keypoint correspondences via a simple but effective motion model and then robustly establish the correspondences via pyramid based sparse optical flow tracking. In the second stage, we leverage the constraints of the motion smoothness and epipolar geometry to refine the correspondences. In particular, our method computes descriptors only for keyframes. We test FastORB SLAM on textit TUM and textit ICL NUIM RGB D datasets and compare its accuracy and efficiency to nine existing RGB D SLAM methods. Qualitative and quantitative results show that our method achieves state of the art accuracy and is about twice as fast as the ORB SLAM2.


Scalable and interpretable rule based link prediction for large heterogeneous knowledge graphs. Neural embedding based machine learning models have shown promise for predicting novel links in biomedical knowledge graphs. Unfortunately, their practical utility is diminished by their lack of interpretability. Recently, the fully interpretable, rule based algorithm AnyBURL yielded highly competitive results on many general purpose link prediction benchmarks. However, its applicability to large scale prediction tasks on complex biomedical knowledge bases is limited by long inference times and difficulties with aggregating predictions made by multiple rules. We improve upon AnyBURL by introducing the SAFRAN rule application framework which aggregates rules through a scalable clustering algorithm. SAFRAN yields new state of the art results for fully interpretable link prediction on the established general purpose benchmark FB15K 237 and the large scale biomedical benchmark OpenBioLink. Furthermore, it exceeds the results of multiple established embedding based algorithms on FB15K 237 and narrows the gap between rule based and embedding based algorithms on OpenBioLink. We also show that SAFRAN increases inference speeds by up to two orders of magnitude.


An Investigation of Potential Function Designs for Neural CRF. The neural linear chain CRF model is one of the most widely used approach to sequence labeling. In this paper, we investigate a series of increasingly expressive potential functions for neural CRF models, which not only integrate the emission and transition functions, but also explicitly take the representations of the contextual words as input. Our extensive experiments show that the decomposed quadrilinear potential function based on the vector representations of two neighboring labels and two neighboring words consistently achieves the best performance.


Riemann moduli spaces are quantum ergodic. In this note we show that the Riemann moduli spaces M g, n equipped with the Weil Petersson metric are quantum ergodic for 3g n geq 4 . We also provide other examples of singular spaces with ergodic geodesic flow for which quantum ergodicity holds.


Cross lingual Universal Dependency Parsing Only from One Monolingual Treebank. Syntactic parsing is a highly linguistic processing task whose parser requires training on treebanks from the expensive human annotation. As it is unlikely to obtain a treebank for every human language, in this work, we propose an effective cross lingual UD parsing framework for transferring parser from only one source monolingual treebank to any other target languages without treebank available. To reach satisfactory parsing accuracy among quite different languages, we introduce two language modeling tasks into dependency parsing as multi tasking. Assuming only unlabeled data from target languages plus the source treebank can be exploited together, we adopt a self training strategy for further performance improvement in terms of our multi task framework. Our proposed cross lingual parsers are implemented for English, Chinese, and 22 UD treebanks. The empirical study shows that our cross lingual parsers yield promising results for all target languages, for the first time, approaching the parser performance which is trained in its own target treebank.


Possibility to create a coronavirus sensor using an optically excited electrical signal. The research of our team has led to a series of new experimental results, revealing the so called electromagnetic echo effect (EMEE). The EMEE signal is highly sensitive even to small changes in the composition and properties of the object under study gas, liquid, or solid. The method is fast and contactless, provides real time analysis, and can be considered universal. We have an idea to create a sensor to detect COVID 19 in three cases in the air, on hard surfaces, and in fluids from the human body. The approach involves detecting specific reactions to the virus, even if they are invisible without specialized equipment. Our experience shows that the EMEE signal is very sensitive to weak or practically imperceptible reactions. Therefore, we believe that it is quite possible to register the presence of COVID 19. We have many experimental results in this regard that support this idea. We have experience in creating sensors to monitor the processes, composition, and properties of fluids (including biological ones), as well as to detect pollution and contamination in the atmosphere.


Extraction of Templates from Phrases Using Sequence Binary Decision Diagrams. The extraction of templates such as regard X as Y'' from a set of related phrases requires the identification of their internal structures. This paper presents an unsupervised approach for extracting templates on the fly from only tagged text by using a novel relaxed variant of the Sequence Binary Decision Diagram (SeqBDD). A SeqBDD can compress a set of sequences into a graphical structure equivalent to a minimal DFA, but more compact and better suited to the task of template extraction. The main contribution of this paper is a relaxed form of the SeqBDD construction algorithm that enables it to form general representations from a small amount of data. The process of compression of shared structures in the text during Relaxed SeqBDD construction, naturally induces the templates we wish to extract. Experiments show that the method is capable of high quality extraction on tasks based on verb preposition templates from corpora and phrasal templates from short messages from social media.


A direct approach to nonuniqueness and failure of compactness for the SQG equation. We give an alternative proof of the nonuniqueness of weak solutions to the surface quasigeostrophic equation (SQG) first shown in Buckmaster Shkoller Vicol, '16 . Our approach proceeds directly at the level of the scalar field. Furthermore, we prove that every smooth scalar field with compact support that conserves the integral can be realized as a weak limit of solutions to SQG.


Bijective recurrences concerning two Schr "oder triangles. Let r(n,k) (resp. s(n,k) ) be the number of Schr "oder paths (resp. little Schr "oder paths) of length 2n with k hills, and set r(0,0) s(0,0) 1 . We bijectively establish the following recurrence relations begin align r(n,0) sum limits j 0 n 1 2 j r(n 1,j), r(n,k) r(n 1,k 1) sum limits j k n 1 2 j k r(n 1,j), quad 1 le k le n, s(n,0) sum limits j 1 n 1 2 cdot3 j 1 s(n 1,j), s(n,k) s(n 1,k 1) sum limits j k 1 n 1 2 cdot3 j k 1 s(n 1,j), quad 1 le k le n. end align The infinite lower triangular matrices r(n,k) n,k ge 0 and s(n,k) n,k ge 0 , whose row sums produce the large and little Schr "oder numbers respectively, are two Riordan arrays of Bell type. Hence the above recurrences can also be deduced from their A and Z sequences characterizations. On the other hand, it is well known that the large Schr "oder numbers also enumerate separable permutations. This propelled us to reveal the connection with a lesser known permutation statistic, called initial ascending run, whose distribution on separable permutations is shown to be given by r(n,k) n,k ge 0 as well.


Merging 1D and 3D genomic information Challenges in modelling and validation. Genome organization in eukaryotes during interphase stems from the delicate balance between non random correlations present in the DNA polynucleotide linear sequence and the physico chemical reactions which shape continuously the form and structure of DNA and chromatin inside the nucleus of the cell. It is now clear that these mechanisms have a key role in important processes like gene regulation, yet the detailed ways they act simultaneously and, eventually, come to influence each other even across very different length scales remain largely unexplored. In this paper, we recapitulate some of the main results concerning gene regulatory and physical mechanisms, in relation to the information encoded in the 1D sequence and the 3D folding structure of DNA. In particular, we stress how reciprocal crossfeeding between 1D and 3D models may provide original insight into how these complex processes work and influence each other.


Efficient Knowledge Graph Accuracy Evaluation. Estimation of the accuracy of a large scale knowledge graph (KG) often requires humans to annotate samples from the graph. How to obtain statistically meaningful estimates for accuracy evaluation while keeping human annotation costs low is a problem critical to the development cycle of a KG and its practical applications. Surprisingly, this challenging problem has largely been ignored in prior research. To address the problem, this paper proposes an efficient sampling and evaluation framework, which aims to provide quality accuracy evaluation with strong statistical guarantee while minimizing human efforts. Motivated by the properties of the annotation cost function observed in practice, we propose the use of cluster sampling to reduce the overall cost. We further apply weighted and two stage sampling as well as stratification for better sampling designs. We also extend our framework to enable efficient incremental evaluation on evolving KG, introducing two solutions based on stratified sampling and a weighted variant of reservoir sampling. Extensive experiments on real world datasets demonstrate the effectiveness and efficiency of our proposed solution. Compared to baseline approaches, our best solutions can provide up to 60 cost reduction on static KG evaluation and up to 80 cost reduction on evolving KG evaluation, without loss of evaluation quality.


Elementary slopes of plane wide breakout. We consider a mathematical model of the breakout game where mathbb R 2 is covered by unit square bricks everywhere except in one place. We introduce elementary blocks (particular sets of bricks) in order to describe a family of periodic (in a breakout appropriate sense) orbits. Necessary and sufficient conditions for slopes (the initial direction of the ball) to produce these orbits are given.


Joint numerical radius of spherical Aluthge transforms of tuples of Hilbert space operators. Let mathbf T (T 1, ldots,T d) be a d tuple of operators on a complex Hilbert space mathcal H . The spherical Aluthge transform of mathbf T is the d tuple given by widehat mathbf T ( sqrt P V 1 sqrt P , ldots, sqrt P V d sqrt P ) where P sqrt T 1 T 1 ldots T d T d and (V 1, ldots,V d) is a joint partial isometry such that T k V k P for all 1 le k le d . In this paper, we prove several inequalities involving the joint numerical radius and the joint operator norm of widehat mathbf T . Moreover, a characterization of the joint spectral radius of an operator tuple mathbf T via n th iterated of spherical Aluthge transform is established.


Level epsilon . Lawvere has observed that certain 'gros' toposes in algebraic geometry suggest the existence of an 'infinitesimal level', closely related to finite dimensional local algebras. Motivated by this observation we propose an elementary definition of level epsilon associated to a local geometric morphism, establish some relevant basic properties suggested by geometric intuition, and give concrete descriptions of the level epsilon determined by several pre cohesive geometric morphisms.


Cloud based Management of Energy Efficient Dense IEEE 802.11ax Networks. During the last decade, the number of devices connected to the Internet by Wi Fi has grown significantly. A high density of both the client devices and the hot spots posed new challenges related to providing the desired quality of service in the current and emerging scenarios. To cope with the negative effects caused by network densification, modern Wi Fi is becoming more and more centralized. To improve network efficiency, today many new Wi Fi deployments are under control of management systems that optimize network parameters in a centralized manner. In the paper, for such a cloud management system, we develop an algorithm which aims at maximizing energy efficiency and also keeps fairness among clients. For that, we design an objective function and solve an optimization problem using the branch and bound approach. To evaluate the efficiency of the developed solution, we implement it in the NS 3 simulator and compare with existing solutions and legacy behavior.


We Need to Talk About Random Splits. Gorman and Bedrick (2019) argued for using random splits rather than standard splits in NLP experiments. We argue that random splits, like standard splits, lead to overly optimistic performance estimates. We can also split data in biased or adversarial ways, e.g., training on short sentences and evaluating on long ones. Biased sampling has been used in domain adaptation to simulate real world drift this is known as the covariate shift assumption. In NLP, however, even worst case splits, maximizing bias, often under estimate the error observed on new samples of in domain data, i.e., the data that models should minimally generalize to at test time. This invalidates the covariate shift assumption. Instead of using multiple random splits, future benchmarks should ideally include multiple, independent test sets instead if infeasible, we argue that multiple biased splits leads to more realistic performance estimates than multiple random splits.


Dynamical sampling mixed frame operators, representations and perturbations. Motivated by recent progress in operator representation of frames, we investigate the frames of the form T n varphi n in I for I mathbb N , mathbb Z , and answer questions about representations, perturbations and frames induced by the action of powers of bounded linear operators. As a particular case, we discuss problems concerning representation of frames in terms of iterations of the mixed frame operators. As our another contribution, we consider frames of the form a n T n varphi n 0 infty for some non zero scalars a n n 0 infty , and we obtain some new results in dynamical sampling. Finally, we will present some auxiliary results related to the perturbation of sequences of the form T n varphi n 0 infty .


Equivariant cohomology for differentiable stacks. We construct and analyse models of equivariant cohomology for differentiable stacks with Lie group actions extending classical results for smooth manifolds due to Borel, Cartan and Getzler. We also derive various spectral sequences for the equivariant cohomology of a differentiable stack generalising among others Bott's spectral sequence which converges to the cohomology of the classifying space of a Lie group.


Borel structures on the space of left orderings. In this paper we study the Borel structure of the space of left orderings mathrm LO (G) of a group G modulo the natural conjugacy action, and by using tools from descriptive set theory we find many examples of countable left orderable groups such that the quotient space mathrm LO (G) G is not standard. This answers a question of Deroin, Navas, and Rivas. We also prove that the countable Borel equivalence relation induced from the conjugacy action of mathbb F 2 on mathrm LO ( mathbb F 2 ) is universal, and leverage this result to provide many other examples of countable left orderable groups G such that the natural G action on mathrm LO (G) induces a universal countable Borel equivalence relation.


On Duality Gap as a Measure for Monitoring GAN Training. Generative adversarial network (GAN) is among the most popular deep learning models for learning complex data distributions. However, training a GAN is known to be a challenging task. This is often attributed to the lack of correlation between the training progress and the trajectory of the generator and discriminator losses and the need for the GAN's subjective evaluation. A recently proposed measure inspired by game theory the duality gap, aims to bridge this gap. However, as we demonstrate, the duality gap's capability remains constrained due to limitations posed by its estimation process. This paper presents a theoretical understanding of this limitation and proposes a more dependable estimation process for the duality gap. At the crux of our approach is the idea that local perturbations can help agents in a zero sum game escape non Nash saddle points efficiently. Through exhaustive experimentation across GAN models and datasets, we establish the efficacy of our approach in capturing the GAN training progress with minimal increase to the computational complexity. Further, we show that our estimate, with its ability to identify model convergence divergence, is a potential performance measure that can be used to tune the hyperparameters of a GAN.


On the irreducible factors of a polynomial II. We give a lower bound for the degree of an irreducible factor of a given polynomial. This improves and generalizes the results obtained in 4, On the irreducible factors of a polynomial, Proc. Amer. Math. Soc., 148 (2020 1429 1437 .


Improved lower bounds on parity vertex colourings of binary trees. A vertex colouring is called a emph parity vertex colouring if every path in G contains an odd number of occurrences of some colour. Let chi p (G) be the minimal number of colours in a parity vertex colouring of G . We show that chi p (B ) ge sqrt d frac 1 4 log 2(d) frac 1 2 where B is a subdivision of the complete binary tree B d . This improves the previously known bound chi p (B ) ge sqrt d and enhances the techniques used for proving lower bounds. We use this result to show that chi p (T) sqrt 3 log n where T is any binary tree with n vertices. These lower bounds are also lower bounds for the conflict free colouring. We also prove that chi p (G) is not monotone with respect to minors and determine its value for cycles. Furthermore, we study complexity of computing the parity vertex chromatic number chi p (G) . We show that checking whether a vertex colouring is a parity vertex colouring is coNP complete. Then we use Courcelle's theorem to prove that the problem of checking whether chi p (G) le k is fixed parameter tractable with respect k and the treewidth of G .


Density functional electric response properties of molecules in Cartesian grid. Within the finite field Kohn Sham framework, static electric response properties of diatomic molecules are presented. The electronic energy, dipole moment ( boldmath mu ), static dipole polarizability ( boldmath alpha ) and first hyperpolarizability ( boldmath beta ) are calculated through a pseudopotential DFT implementation in Cartesian coordinate grid, developed in our laboratory earlier. We engage the Labello Ferreira Kurtz (LFK) basis set while four local and non local exchange correlation (LDA, BLYP, PBE and LBVWN) functionals have been adopted. A detailed analysis of emph grid convergence and its impact on obtained results, is presented. In each case the emph electric field optimization was carefully monitored through a recently prescribed technique. For all three molecules (HCl, HBr, HI) considered, the agreement of all these quantities with widely successful and popular atom centered grid procedure, is excellent. To assess the efficacy and feasibility, companion calculations are performed for these on a representative molecule (HCl) at distorted geometries, far from equilibrium. Wherever possible, relevant comparison is made with available emph all electron data and experimental results. This demonstrates that Cartesian grid provides accurate, reliable results for such properties of many electron systems within pseudopotential representation.


A Failure of Aspect Sentiment Classifiers and an Adaptive Re weighting Solution. Aspect based sentiment classification (ASC) is an important task in fine grained sentiment analysis. Deep supervised ASC approaches typically model this task as a pair wise classification task that takes an aspect and a sentence containing the aspect and outputs the polarity of the aspect in that sentence. However, we discovered that many existing approaches fail to learn an effective ASC classifier but more like a sentence level sentiment classifier because they have difficulty to handle sentences with different polarities for different aspects. This paper first demonstrates this problem using several state of the art ASC models. It then proposes a novel and general adaptive re weighting (ARW) scheme to adjust the training to dramatically improve ASC for such complex sentences. Experimental results show that the proposed framework is effective footnote The dataset and code are available at url https github.com howardhsu ASC failure . .


Optimal Witnessing of Healthcare IoT Data Using Blockchain Logging Contract. Verification of data generated by wearable sensors is increasingly becoming of concern to health service providers and insurance companies. There is a need for a verification framework that various authorities can request a verification service for the local network data of a target IoT device. In this paper, we leverage blockchain as a distributed platform to realize an on demand verification scheme. This allows authorities to automatically transact with connected devices for witnessing services. A public request is made for witness statements on the data of a target IoT that is transmitted on its local network, and subsequently, devices (in close vicinity of the target IoT) offer witnessing service. Our contributions are threefold (1) We develop a system architecture based on blockchain and smart contract that enables authorities to dynamically avail a verification service for data of a subject device from a distributed set of witnesses which are willing to provide (in a privacy preserving manner) their local wireless measurement in exchange of monetary return (2) We then develop a method to optimally select witnesses in such a way that the verification error is minimized subject to monetary cost constraints (3) Lastly, we evaluate the efficacy of our scheme using real Wi Fi session traces collected from a five storeyed building with more than thirty access points, representative of a hospital. According to the current pricing schedule of the Ethereum public blockchain, our scheme enables healthcare authorities to verify data transmitted from a typical wearable device with the verification error of the order 0.01 at cost of less than two dollars for one hour witnessing service.


Minimising Good for Games automata is NP complete. This paper discusses the hardness of finding minimal good for games (GFG) Buchi, Co Buchi, and parity automata with state based acceptance. The problem appears to sit between finding small deterministic and finding small nondeterministic automata, where minimality is NP complete and PSPACE complete, respectively. However, recent work of Radi and Kupferman has shown that minimising Co Buchi automata with transition based acceptance is tractable, which suggests that the complexity of minimising GFG automata might be cheaper than minimising deterministic automata. We show for the standard state based acceptance that the minimality of a GFG automaton is NP complete for Buchi, Co Buchi, and parity GFG automata. The proofs are a surprisingly straight forward generalisation of the proofs from deterministic Buchi automata they use a similar reductions, and the same hard class of languages.


Learning Combinatorial Embedding Networks for Deep Graph Matching. Graph matching refers to finding node correspondence between graphs, such that the corresponding node and edge's affinity can be maximized. In addition with its NP completeness nature, another important challenge is effective modeling of the node wise and structure wise affinity across graphs and the resulting objective, to guide the matching procedure effectively finding the true matching against noises. To this end, this paper devises an end to end differentiable deep network pipeline to learn the affinity for graph matching. It involves a supervised permutation loss regarding with node correspondence to capture the combinatorial nature for graph matching. Meanwhile deep graph embedding models are adopted to parameterize both intra graph and cross graph affinity functions, instead of the traditional shallow and simple parametric forms e.g. a Gaussian kernel. The embedding can also effectively capture the higher order structure beyond second order edges. The permutation loss model is agnostic to the number of nodes, and the embedding model is shared among nodes such that the network allows for varying numbers of nodes in graphs for training and inference. Moreover, our network is class agnostic with some generalization capability across different categories. All these features are welcomed for real world applications. Experiments show its superiority against state of the art graph matching learning methods.


Minimal Hopf Galois Structures on Separable Field Extensions. In Hopf Galois theory, every H Hopf Galois structure on a field extension K k gives rise to an injective map mathcal F from the set of k sub Hopf algebras of H into the intermediate fields of K k . Recent papers on the failure of the surjectivity of mathcal F reveal that there exist many Hopf Galois structures for which there are many more subfields than sub Hopf algebras. This paper surveys and illustrates group theoretical methods to determine H Hopf Galois structures on finite separable extensions in the extreme situation when H has only two sub Hopf algebras.


The Big O Problem. Given two weighted automata, we consider the problem of whether one is big O of the other, i.e., if the weight of every finite word in the first is not greater than some constant multiple of the weight in the second. We show that the problem is undecidable, even for the instantiation of weighted automata as labelled Markov chains. Moreover, even when it is known that one weighted automaton is big O of another, the problem of finding or approximating the associated constant is also undecidable. Our positive results show that the big O problem is polynomial time solvable for unambiguous automata, coNP complete for unlabelled weighted automata (i.e., when the alphabet is a single character) and decidable, subject to Schanuel's conjecture, when the language is bounded (i.e., a subset of w 1 dots w m for some finite words w 1, dots,w m ) or when the automaton has finite ambiguity. On labelled Markov chains, the problem can be restated as a ratio total variation distance, which, instead of finding the maximum difference between the probabilities of any two events, finds the maximum ratio between the probabilities of any two events. The problem is related to varepsilon differential privacy, for which the optimal constant of the big O notation is exactly exp( varepsilon) .


Urban Driving with Conditional Imitation Learning. Hand crafting generalised decision making rules for real world urban autonomous driving is hard. Alternatively, learning behaviour from easy to collect human driving demonstrations is appealing. Prior work has studied imitation learning (IL) for autonomous driving with a number of limitations. Examples include only performing lane following rather than following a user defined route, only using a single camera view or heavily cropped frames lacking state observability, only lateral (steering) control, but not longitudinal (speed) control and a lack of interaction with traffic. Importantly, the majority of such systems have been primarily evaluated in simulation a simple domain, which lacks real world complexities. Motivated by these challenges, we focus on learning representations of semantics, geometry and motion with computer vision for IL from human driving demonstrations. As our main contribution, we present an end to end conditional imitation learning approach, combining both lateral and longitudinal control on a real vehicle for following urban routes with simple traffic. We address inherent dataset bias by data balancing, training our final policy on approximately 30 hours of demonstrations gathered over six months. We evaluate our method on an autonomous vehicle by driving 35km of novel routes in European urban streets.


Arbitrary Style Transfer via Multi Adaptation Network. Arbitrary style transfer is a significant topic with research value and application prospect. A desired style transfer, given a content image and referenced style painting, would render the content image with the color tone and vivid stroke patterns of the style painting while synchronously maintaining the detailed content structure information. Style transfer approaches would initially learn content and style representations of the content and style references and then generate the stylized images guided by these representations. In this paper, we propose the multi adaptation network which involves two self adaptation (SA) modules and one co adaptation (CA) module the SA modules adaptively disentangle the content and style representations, i.e., content SA module uses position wise self attention to enhance content representation and style SA module uses channel wise self attention to enhance style representation the CA module rearranges the distribution of style representation based on content representation distribution by calculating the local similarity between the disentangled content and style features in a non local fashion. Moreover, a new disentanglement loss function enables our network to extract main style patterns and exact content structures to adapt to various input images, respectively. Various qualitative and quantitative experiments demonstrate that the proposed multi adaptation network leads to better results than the state of the art style transfer methods.


Permanent charge effects on ionic flow a numerical study of flux ratios and their bifurcation. Ionic flow carries electrical signals for cells to communicate with each other. The permanent charge of an ion channel is a crucial protein structure for flow properties while boundary conditions play a role of the driving force. Their effects on flow properties have been analyzed via a quasi one dimensional Poisson Nernst Planck model for small and relatively large permanent charges. The analytical studies have led to the introduction of flux ratios that reflect permanent charge effects and have a universal property. The studies also show that the flux ratios have different behaviors for small and large permanent charges. However, the existing analytical techniques can reveal neither behaviors of flux ratios nor transitions between small and large permanent charges. In this work we present a numerical investigation on flux ratios to bridge between small and large permanent charges. Numerical results verify the analytical predictions for the two extremal regions. More significantly, emergence of non trivial behaviors is detected as the permanent charge varies from small to large. In particular, saddle node bifurcations of flux ratios are revealed, showing rich phenomena of permanent charge effects by the power of combining analytical and numerical techniques. An adaptive moving mesh finite element method is used in the numerical studies.


New upper bounds for spherical codes and packings. We improve the previously best known upper bounds on the sizes of theta spherical codes for every theta theta approx 62.997 circ at least by a factor of 0.4325 , in sufficiently high dimensions. Furthermore, for sphere packing densities in dimensions n geq 2000 we have an improvement at least by a factor of 0.4325 frac 51 n . Our method also breaks many non numerical sphere packing density bounds in smaller dimensions. This is the first such improvement for each dimension since the work of Kabatyanskii and Levenshtein cite KL and its later improvement by Levenshtein cite Leven79 . Novelties of this paper include the analysis of triple correlations, usage of the concentration of mass in high dimensions, and the study of the spacings between the roots of Jacobi polynomials.