DEFECTCHECKER Automated Smart Contract Defect Detection by Analyzing EVM Bytecode. Smart contracts are Turing complete programs running on the blockchain. They are immutable and cannot be modified, even when bugs are detected. Therefore, ensuring smart contracts are bug free and well designed before deploying them to the blockchain is extremely important. A contract defect is an error, flaw or fault in a smart contract that causes it to produce an incorrect or unexpected result, or to behave in unintended ways. Detecting and removing contract defects can avoid potential bugs and make programs more robust. Our previous work defined 20 contract defects for smart contracts and divided them into five impact levels. According to our classification, contract defects with seriousness level between 1 3 can lead to unwanted behaviors, e.g., a contract being controlled by attackers. In this paper, we propose DefectChecker, a symbolic execution based approach and tool to detect eight contract defects that can cause unwanted behaviors of smart contracts on the Ethereum blockchain platform. DefectChecker can detect contract defects from smart contracts bytecode. We compare DefectChecker with key previous works, including Oyente, Mythril and Securify by using an open source dataset. Our experimental results show that DefectChecker performs much better than these tools in terms of both speed and accuracy. We also applied DefectChecker to 165,621 distinct smart contracts on the Ethereum platform. We found that 25,815 of these smart contracts contain at least one of the contract defects that belongs to impact level 1 3, including some real world attacks.


Live Exploration with Mobile Robots in a Dynamic Ring, Revisited. The graph exploration problem requires a group of mobile robots, initially placed arbitrarily on the nodes of a graph, to work collaboratively to explore the graph such that each node is eventually visited by at least one robot. One important requirement of exploration is the em termination condition, i.e., the robots must know that exploration is completed. The problem of live exploration of a dynamic ring using mobile robots was recently introduced in Di Luna et al., ICDCS 2016 . In it, they proposed multiple algorithms to solve exploration in fully synchronous and semi synchronous settings with various guarantees when 2 robots were involved. They also provided guarantees that with certain assumptions, exploration of the ring using two robots was impossible. An important question left open was how the presence of 3 robots would affect the results. In this paper, we try to settle this question in a fully synchronous setting and also show how to extend our results to a semi synchronous setting. In particular, we present algorithms for exploration with explicit termination using 3 robots in conjunction with either (i) unique IDs of the robots and edge crossing detection capability (i.e., two robots moving in opposite directions through an edge in the same round can detect each other), or (ii) access to randomness. The time complexity of our deterministic algorithm is asymptotically optimal. We also provide complementary impossibility results showing that there does not exist any explicit termination algorithm for 2 robots. The theoretical analysis and comprehensive simulations of our algorithm show the effectiveness and efficiency of the algorithm in dynamic rings. We also present an algorithm to achieve exploration with partial termination using 3 robots in the semi synchronous setting.


The Evolution of Concept Acquisition based on Developmental Psychology. A conceptual system with rich connotation is key to improving the performance of knowledge based artificial intelligence systems. While a conceptual system, which has abundant concepts and rich semantic relationships, and is developable, evolvable, and adaptable to multi task environments, its actual construction is not only one of the major challenges of knowledge engineering, but also the fundamental goal of research on knowledge and conceptualization. Finding a new method to represent concepts and construct a conceptual system will therefore greatly improve the performance of many intelligent systems. Fortunately the core of human cognition is a system with relatively complete concepts and a mechanism that ensures the establishment and development of the system. The human conceptual system can not be achieved immediately, but rather must develop gradually. Developmental psychology carefully observes the process of concept acquisition in humans at the behavioral level, and along with cognitive psychology has proposed some rough explanations of those observations. However, due to the lack of research in aspects such as representation, systematic models, algorithm details and realization, many of the results of developmental psychology have not been applied directly to the building of artificial conceptual systems. For example, Karmiloff Smith's Representation Redescription (RR) supposition reflects a concept acquisition process that re describes a lower level representation of a concept to a higher one. This paper is inspired by this developmental psychology viewpoint. We use an object oriented approach to re explain and materialize RR supposition from the formal semantic perspective, because the OO paradigm is a natural way to describe the outside world, and it also has strict grammar regulations.


A Human Action Descriptor Based on Motion Coordination. In this paper, we present a descriptor for human whole body actions based on motion coordination. We exploit the principle, well known in neuromechanics, that humans move their joints in a coordinated fashion. Our coordination based descriptor (CODE) is computed by two main steps. The first step is to identify the most informative joints which characterize the motion. The second step enriches the descriptor considering minimum and maximum joint velocities and the correlations between the most informative joints. In order to compute the distances between action descriptors, we propose a novel correlation based similarity measure. The performance of CODE is tested on two public datasets, namely HDM05 and Berkeley MHAD, and compared with state of the art approaches, showing recognition results.


Neutralization of ion beam by electron injection, Part 1 Accumulation of cold electrons. Ion beam charge neutralization by electron injection is a complex kinetic process. Recent experiments show that resulting self potential of the beam after neutralization by plasma could be much lower than the temperature of plasma electrons Physics of Plasmas 23, 043113 (2016) , indicating that kinetic effects are important and may affect the neutralization of ion beam. We performed a numerical study of the charge neutralization process of an ion beam making use of a two dimensional electrostatic particle in cell code. The results show that the process of charge neutralization by electron injection is comprised of two stages. During the first stage, the self potential of the beam is higher than the temperature of injected electrons (Te e). Therefore, the neutralization of the ion beam is almost unaffected by Te, and all injected electrons are captured by the ion beam. At the second stage, with the decline of the beam potential (), hot electrons escape from the ion beam, while cold electrons are slowly accumulated. As a result, can be much lower than Te e. It is found in the simulations that during the accumulation of cold electrons, scales as . In addition, the results show that the transverse position of electron source has a great impact on ion beam neutralization. Slight shift of electron source leads to large increase of the beam potential because of increase in potential energy of injected electrons.


Crossing limit cycles of nonsmooth Li 'enard systems and applications. Continuing the investigation for the number of crossing limit cycles of nonsmooth Li 'enard systems in Nonlinearity 21(2008), 2121 2142 for the case of a unique equilibrium, in this paper we consider the case of any number of equilibria. We give results about the existence and uniqueness of crossing limit cycles, which hold not only for a unique equilibrium but also for multiple equilibria. Moreover, we find a sufficient condition for the nonexistence of crossing limit cycles. Finally, applying our results we prove the uniqueness of crossing limit cycles for planar piecewise linear systems with a line of discontinuity and without sliding sets.


Introduction to Neural Network based Approaches for Question Answering over Knowledge Graphs. Question answering has emerged as an intuitive way of querying structured data sources, and has attracted significant advancements over the years. In this article, we provide an overview over these recent advancements, focusing on neural network based question answering systems over knowledge graphs. We introduce readers to the challenges in the tasks, current paradigms of approaches, discuss notable advancements, and outline the emerging trends in the field. Through this article, we aim to provide newcomers to the field with a suitable entry point, and ease their process of making informed decisions while creating their own QA system.


Exploring Font independent Features for Scene Text Recognition. Scene text recognition (STR) has been extensively studied in last few years. Many recently proposed methods are specially designed to accommodate the arbitrary shape, layout and orientation of scene texts, but ignoring that various font (or writing) styles also pose severe challenges to STR. These methods, where font features and content features of characters are tangled, perform poorly in text recognition on scene images with texts in novel font styles. To address this problem, we explore font independent features of scene texts via attentional generation of glyphs in a large number of font styles. Specifically, we introduce trainable font embeddings to shape the font styles of generated glyphs, with the image feature of scene text only representing its essential patterns. The generation process is directed by the spatial attention mechanism, which effectively copes with irregular texts and generates higher quality glyphs than existing image to image translation methods. Experiments conducted on several STR benchmarks demonstrate the superiority of our method compared to the state of the art.


On synthetic and transference properties of group homomorphisms. We study Borel homomorphisms theta G rightarrow H for arbitrary locally compact second countable groups G and H for which the measure theta ( mu )( alpha ) mu ( theta 1 ( alpha )) quad text for quad alpha subseteq H is absolutely continuous with respect to nu, where mu (resp. nu ) is a Haar measure for G, (resp. H ). We define a natural mapping mathcal G from the class of maximal abelian selfadjoint algebra bimodules (masa bimodules) in B(L 2(H)) into the class of masa bimodules in B(L 2(G)) and we use it to prove that if k subseteq G times G is a set of operator synthesis, then ( theta times theta) 1 (k) is also a set of operator synthesis and if E subseteq H is a set of local synthesis for the Fourier algebra A(H) , then theta 1 (E) subseteq G is a set of local synthesis for A(G). We also prove that if theta 1 (E) is an M set (resp. M 1 set), then E is an M set (resp. M 1 set) and if Bim(I bot ) is the masa bimodule generated by the annihilator of the ideal I in VN(G) , then there exists an ideal J such that mathcal G(Bim(I bot )) Bim(J bot ). If this ideal J is an ideal of multiplicity then I is an ideal of multiplicity. In case theta ( mu ) is a Haar measure for theta (G) we show that J is equal to the ideal rho (I) generated by rho (I), where rho (u) u circ theta , forall u in I.


On the Efficient Estimation of Min Entropy. The min entropy is a widely used metric to quantify the randomness of generated random numbers in cryptographic applications it measures the difficulty of guessing the most likely output. An important min entropy estimator is the compression estimator of NIST Special Publication (SP) 800 90B, which relies on Maurer's universal test. In this paper, we propose two kinds of min entropy estimators to improve computational complexity and estimation accuracy by leveraging two variations of Maurer's test Coron's test (for Shannon entropy) and Kim's test (for Renyi entropy). First, we propose a min entropy estimator based on Coron's test. It is computationally more efficient than the compression estimator while maintaining the estimation accuracy. The secondly proposed estimator relies on Kim's test that computes the Renyi entropy. This estimator improves estimation accuracy as well as computational complexity. We analytically characterize the bias variance tradeoff, which depends on the order of Renyi entropy. By taking into account this tradeoff, we observe that the order of two is a proper assignment and focus on the min entropy estimation based on the collision entropy (i.e., Renyi entropy of order two). The min entropy estimation from the collision entropy can be described by a closed form solution, whereas both the compression estimator and the proposed estimator based on Coron's test do not have closed form solutions. By leveraging the closed form solution, we also propose a lightweight estimator that processes data samples in an online manner. Numerical evaluations demonstrate that the first proposed estimator achieves the same accuracy as the compression estimator with much less computation. The proposed estimator based on the collision entropy can even improve the accuracy and reduce the computational complexity.


Ethics of Food Recommender Applications. The recent unprecedented popularity of food recommender applications has raised several issues related to the ethical, societal and legal implications of relying on these applications. In this paper, in order to assess the relevant ethical issues, we rely on the emerging principles across the AI Ethics community and define them tailored context specifically. Considering the popular Food Recommender Systems (henceforth F RS) in the European market cannot be regarded as personalised F RS, we show how merely this lack of feature shifts the relevance of the focal ethical concerns. We identify the major challenges and propose a scheme for how explicit ethical agendas should be explained. We also argue how a multi stakeholder approach is indispensable to ensure producing long term benefits for all stakeholders. After proposing eight ethical desiderata points for F RS, we present a case study and assess it based on our proposed desiderata points.


Asymptotics of the Mittag Leffler function E a(z) on the negative real axis when a to 1 . We consider the asymptotic expansion of the single parameter Mittag Leffler function E a( x) for x to infty as the parameter a to1 . The dominant expansion when 0 a 1 consists of an algebraic expansion of O(x 1 ) (which vanishes when a 1 ), together with an exponentially small contribution that approaches e x as a to 1 . Here we concentrate on the form of this exponentially small expansion when a approaches the value 1. Numerical examples are presented to illustrate the accuracy of the expansion so obtained.


New asymptotics for the mean number of zeros of random trigonometric polynomials with strongly dependent Gaussian coefficients. We consider random trigonometric polynomials of the form f n(t) frac 1 sqrt n sum k 1 n a k cos(k t) b k sin(k t), where (a k) k geq 1 and (b k) k geq 1 are two independent stationary Gaussian processes with the same correlation function rho k mapsto cos(k alpha) , with alpha geq 0 . We show that the asymptotics of the expected number of real zeros differ from the universal one frac 2 sqrt 3 , holding in the case of independent or weakly dependent coefficients. More precisely, for all varepsilon 0 , for all ell in ( sqrt 2 ,2 , there exists alpha geq 0 and n geq 1 large enough such that left frac mathbb E left mathcal N (f n, 0,2 pi ) right n ell right leq varepsilon, where mathcal N(f n, 0,2 pi ) denotes the number of real zeros of the function f n in the interval 0,2 pi . Therefore, this result provides the first example where the expected number of real zeros do not converge as n goes to infinity by exhibiting a whole range of possible limits ranging from sqrt 2 to 2.


Enabling Micro payments on IoT Devices using Bitcoin Lightning Network. Lightning Network (LN) addresses the scalability problem of Bitcoin by leveraging off chain transactions. Nevertheless, it is not possible to run LN on resource constrained IoT devices due to its storage, memory, and processing requirements. Therefore, in this paper, we propose an efficient and secure protocol that enables an IoT device to use LN's functions through a gateway LN node. The idea is to involve the IoT device in LN operations with its digital signature by replacing original 2 of 2 multisignature channels with 3 of 3 multisignature channels. Our protocol enforces the LN gateway to request the IoT device's cryptographic signature for all operations on the channel. We evaluated the proposed protocol by implementing it on a Raspberry Pi for a toll payment scenario and demonstrated its feasibility and security.


Maximum dissociation sets in subcubic trees. A subset of vertices in a graph G is called a maximum dissociation set if it induces a subgraph with vertex degree at most 1 and the subset has maximum cardinality. The dissociation number of G , denoted by psi(G) , is the cardinality of a maximum dissociation set. A subcubic tree is a tree of maximum degree at most 3. In this paper, we give the lower and upper bounds on the dissociation number in a subcubic tree of order n and show that the number of maximum dissociation sets of a subcubic tree of order n and dissociation number psi is at most 1.466 4n 5 psi 2 .


Rule Based Translation of Application Level QoS Constraints into SDN Configurations for the IoT. In this paper, we propose an approach for the automated translation of application level requirements regarding the logical workflow and its QoS into a configuration of the underlying network substrate. Our goal is to facilitate the integration of QoS constraints in the development of industrial IoT applications to make them more reliable. We follow an approach based on two semantic models The first model allows to design the workflow of an IoT application and to express application level QoS requirements on its interactions. The second model captures the configuration of a network and can be used as input to a north bound interface of an SDN controller. Finally, we make use of rule based semantic reasoning to automatically translate from the application requirements into SDN parameters.


Referring to Objects in Videos using Spatio Temporal Identifying Descriptions. This paper presents a new task, the grounding of spatio temporal identifying descriptions in videos. Previous work suggests potential bias in existing datasets and emphasizes the need for a new data creation schema to better model linguistic structure. We introduce a new data collection scheme based on grammatical constraints for surface realization to enable us to investigate the problem of grounding spatio temporal identifying descriptions in videos. We then propose a two stream modular attention network that learns and grounds spatio temporal identifying descriptions based on appearance and motion. We show that motion modules help to ground motion related words and also help to learn in appearance modules because modular neural networks resolve task interference between modules. Finally, we propose a future challenge and a need for a robust system arising from replacing ground truth visual annotations with automatic video object detector and temporal event localization.


Determination of the most representative descriptor among a set of feature vectors for the same object. On an example of solution of the face recognition problem the approach for estimation of the most representative descriptor among a set of feature vectors for the same face is considered in present study. The estimation is based on robust calculation of the mode median mixture vector for the set as the descriptor by means of Welsch Leclerc loss function application in case of very sparse filling of the feature space with feature vectors


Low Rank Tucker Approximation of a Tensor From Streaming Data. This paper describes a new algorithm for computing a low Tucker rank approximation of a tensor. The method applies a randomized linear map to the tensor to obtain a sketch that captures the important directions within each mode, as well as the interactions among the modes. The sketch can be extracted from streaming or distributed data or with a single pass over the tensor, and it uses storage proportional to the degrees of freedom in the output Tucker approximation. The algorithm does not require a second pass over the tensor, although it can exploit another view to compute a superior approximation. The paper provides a rigorous theoretical guarantee on the approximation error. Extensive numerical experiments show that that the algorithm produces useful results that improve on the state of the art for streaming Tucker decomposition.


Stochastic generalized porous media equations driven by L ' e vy noise with increasing Lipschitz nonlinearities. We establish the existence and uniqueness of strong solutions to stochastic porous media equations driven by L ' e vy noise on a sigma finite measure space (E, mathcal B (E), mu) , and with the Laplacian replaced by a negative definite self adjoint operator. The coefficient Psi is only assumed to satisfy the increasing Lipschitz nonlinearity assumption, without the restriction r Psi(r) rightarrow infty as r rightarrow infty for L 2( mu) initial data. We also extend the state space, which avoids the transience assumption on L or the boundedness of L 1 in L r 1 (E, mathcal B (E), mu) for some r geq1 . Examples of the negative definite self adjoint operators include fractional powers of the Laplacian, i.e. L ( Delta) alpha, alpha in(0,1 , generalized rm Schr ddot o dinger operators, i.e. L Delta 2 frac nabla rho rho cdot nabla , and Laplacians on fractals.


Emotion recognition using a glasses type wearable device via multi channel facial responses. We present a glasses type wearable device to detect emotions from a human face in an unobtrusive manner. The device is designed to gather multi channel responses from the user face naturally and continuously while the user is wearing it. The multi channel responses include physiological responses of the facial muscles and organs based on electrodermal activity (EDA) and photoplethysmogram. We conducted experiments to determine the optimal positions of EDA sensors on the wearable device because EDA signal quality is very sensitive to the sensing position. In addition to the physiological data, the device can capture the image region representing local facial expressions around the left eye via a built in camera. In this study, we developed and validated an algorithm to recognize emotions using multi channel responses obtained from the device. The results show that the emotion recognition algorithm using only local facial expressions has an accuracy of 78 percent at classifying emotions. Using multi channel data, this accuracy was increased by 10.1 percent. This unobtrusive wearable system with facial multi channel responses is very useful for monitoring a user emotions in daily life, which has a huge potential for use in the healthcare industry.


Towards Feature free TSP Solver Selection A Deep Learning Approach. The Travelling Salesman Problem (TSP) is a classical NP hard problem and has broad applications in many disciplines and industries. In a large scale location based services system, users issue TSP queries concurrently, where a TSP query is a TSP instance with n points. In the literature, many advanced TSP solvers are developed to find high quality solutions. Such solvers can solve some TSP instances efficiently but may take an extremely long time for some other instances. Due to the diversity of TSP instances, it is well known that there exists no universal best solver dominating all other solvers on all possible TSP instances. To solve TSP efficiently, in addition to developing new TSP solvers, it needs to find a per instance solver for each TSP instance, which is known as the TSP solver selection problem. In this paper, for the first time, we propose a deep learning framework, CTAS, for TSP solver selection in an end to end manner. Specifically, CTAS exploits deep convolutional neural networks to extract informative features from TSP instances and involves data argumentation strategies to handle the scarcity of labeled TSP instances. Moreover, to support large scale TSP solver selection, we construct a challenging TSP benchmark dataset with 6,000 instances, which is known as the largest TSP benchmark. Our CTAS achieves over 2 times speedup of the average running time, comparing the single best solver, and outperforms the state of the art statistical models.


MIX a Multi task Learning Approach to Solve Open Domain Question Answering. In this paper, we introduce MIX a multi task deep learning approach to solve Open Domain Question Answering. First, we design our system as a multi stage pipeline made of 3 building blocks a BM25 based Retriever, to reduce the search space RoBERTa based Scorer and Extractor, to rank retrieved paragraphs and extract relevant spans of text respectively. Eventually, we further improve computational efficiency of our system to deal with the scalability challenge thanks to multi task learning, we parallelize the close tasks solved by the Scorer and the Extractor. Our system is on par with state of the art performances on the squad open benchmark while being simpler conceptually.


ColloQL Robust Cross Domain Text to SQL Over Search Queries. Translating natural language utterances to executable queries is a helpful technique in making the vast amount of data stored in relational databases accessible to a wider range of non tech savvy end users. Prior work in this area has largely focused on textual input that is linguistically correct and semantically unambiguous. However, real world user queries are often succinct, colloquial, and noisy, resembling the input of a search engine. In this work, we introduce data augmentation techniques and a sampling based content aware BERT model (ColloQL) to achieve robust text to SQL modeling over natural language search (NLS) questions. Due to the lack of evaluation data, we curate a new dataset of NLS questions and demonstrate the efficacy of our approach. ColloQL's superior performance extends to well formed text, achieving 84.9 (logical) and 90.7 (execution) accuracy on the WikiSQL dataset, making it, to the best of our knowledge, the highest performing model that does not use execution guided decoding.


Numerical study of tearing mode seeding in tokamak X point plasma. A detailed understanding of island seeding is crucial to avoid (N)TMs and their negative consequences like confinement degradation and disruptions. In the present work, we investigate the growth of 2 1 islands in response to magnetic perturbations. Although we use externally applied perturbations produced by resonant magnetic perturbation (RMP) coils for this study, results are directly transferable to island seeding by other MHD instabilities creating a resonant magnetic field component at the rational surface. Experimental results for 2 1 island penetration from ASDEX Upgrade are presented extending previous studies. Simulations are based on an ASDEX Upgrade L mode discharge with low collisionality and active RMP coils. Our numerical studies are performed with the 3D, two fluid, non linear MHD code JOREK. All three phases of mode seeding observed in the experiment are also seen in the simulations first a weak response phase characterized by large perpendicular electron flow velocities followed by a fast growth of the magnetic island size accompanied by a reduction of the perpendicular electron velocity, and finally the saturation to a fully formed island state with perpendicular electron velocity close to zero. Thresholds for mode penetration are observed in the plasma rotation as well as in the RMP coil current. A hysteresis of the island size and electron perpendicular velocity is observed between the ramping up and down of the RMP amplitude consistent with an analytically predicted bifurcation. The transition from dominant kink bending to tearing parity during the penetration is investigated.


C algebras of a Cantor system with finitely many minimal subsets structures, K theories, and the index map. We study homeomorphisms of a Cantor set with k ( k infty ) minimal invariant closed (but not open) subsets we also study crossed product C algebras associated to these Cantor systems and their certain orbit cut sub C algebras. In the case that k geq 2 , the crossed product C algebra is stably finite, has stable rank 2, and has real rank zero if in addition (X, sigma) is aperiodic. The image of the index map is connected to certain directed graphs arising from the Bratteli Vershik Kakutani model of the Cantor system. Using this, it is shown that the ideal of the Bratteli diagram (of the Bratteli Vershik Kakutani model) must have at least k vertices at each level, and the image of the index map must consist infinitesimals.


Completeness theorem for the system of eigenfunctions of the complex Schr "odinger operator L d 2 dx 2 cx 2 3 . We prove the completeness of the system of eigenfunctions of the complex Schr "odinger operator L d 2 dx 2 cx 2 3 on the semiaxis in L 2(0, infty) with Dirichlet boundary conditions for all c arg c pi 2 theta 0 , where theta 0 in( pi 10, pi 9) is defined as the only solution of a certain transcendental equation.


A mean counting function for Dirichlet series and compact composition operators. We introduce a mean counting function for Dirichlet series, which plays the same role in the function theory of Hardy spaces of Dirichlet series as the Nevanlinna counting function does in the classical theory. The existence of the mean counting function is related to Jessen and Tornehave's resolution of the Lagrange mean motion problem. We use the mean counting function to describe all compact composition operators with Dirichlet series symbols on the Hardy Hilbert space of Dirichlet series, thus resolving a problem which has been open since the bounded composition operators were described by Gordon and Hedenmalm. The main result is that such a composition operator is compact if and only if the mean counting function of its symbol satisfies a decay condition at the boundary of a half plane.


The quaternionic hypercomplex correspondence. Given a quaternionic manifold M with a certain mathrm U (1) symmetry, we construct a hypercomplex manifold M' of the same dimension. This construction generalizes the quaternionic K "ahler hyper K "ahler correspondence. As an example of this construction, we obtain a compact homogeneous hypercomplex manifold which does not admit any hyper K "ahler structure. Therefore our construction is a proper generalization of the quaternionic K "ahler hyper K "ahler correspondence.


Spectrum of some arrow bordered circulant matrix. Given a circulant matrix mathrm circ (c,a,0,0,...,0,a) , a ne 0 , of order n , we border'' it from left and from above by constant column and row, respectively, and we set the left top entry to be nc . This way we get a particular title object, an example of what we call an textit abc matrix , or an textit arrow bordered circulant (matrix) . We find its eigenpairs and we discuss its spectrum with stress on extreme eigenvalues and their bounds. At last we notice its relation to a weighted wheel graph


Properties of equilibrium states for geodesic flows over manifolds without focal points. We prove that for closed rank 1 manifolds without focal points the equilibrium states are unique for H "older potentials satisfying the pressure gap condition. In addition, we provide a criterion for a continuous potential to satisfy the pressure gap condition. Moreover, we derive several ergodic properties of the unique equilibrium states including the equidistribution and the K property.


Twisted differential operators and q crystals. We discuss the notion of a q PD envelope considered by Bhatt and Scholze in their recent theory of q crystalline cohomology and explain the relation with our notion of a divided polynomial twisted algebra. Together with an interpretation of crystals on the q crystalline site, that we call q crystals, as modules endowed with some kind of stratification, it allows us to associate a module on the ring of twisted differential operators to any q crystal. For simplicity, we explain here only the one dimensional case.


CCKS 2019 Shared Task on Inter Personal Relationship Extraction. The CCKS2019 shared task was devoted to inter personal relationship extraction. Given two person entities and at least one sentence containing these two entities, participating teams are asked to predict the relationship between the entities according to a given relation list. This year, 358 teams from various universities and organizations participated in this task. In this paper, we present the task definition, the description of data and the evaluation methodology used during this shared task. We also present a brief overview of the various methods adopted by the participating teams. Finally, we present the evaluation results.


Atom Search Optimization with Simulated Annealing a Hybrid Metaheuristic Approach for Feature Selection. 'Hybrid meta heuristics' is one of the most interesting recent trends in the field of optimization and feature selection (FS). In this paper, we have proposed a binary variant of Atom Search Optimization (ASO) and its hybrid with Simulated Annealing called ASO SA techniques for FS. In order to map the real values used by ASO to the binary domain of FS, we have used two different transfer functions S shaped and V shaped. We have hybridized this technique with a local search technique called, SA We have applied the proposed feature selection methods on 25 datasets from 4 different categories UCI, Handwritten digit recognition, Text, non text separation, and Facial emotion recognition. We have used 3 different classifiers (K Nearest Neighbor, Multi Layer Perceptron and Random Forest) for evaluating the strength of the selected featured by the binary ASO, ASO SA and compared the results with some recent wrapper based algorithms. The experimental results confirm the superiority of the proposed method both in terms of classification accuracy and number of selected features.


Rigid analytic varieties with projective reduction violating Hodge symmetry. We construct examples of smooth proper rigid analytic varieties admitting formal model with projective special fiber and violating Hodge symmetry for cohomology in degrees geq 3 . This answers negatively a question raised by Hansen and Li.


On the Serrin type condition on one velocity component for the Navier Stokes equations. In this paper we consider the regularity problem of the Navier Stokes equations in R 3 . We show that the Serrin type condition imposed on one component of the velocity u 3 in L p(0,T L q( R 3 )) satisfying frac 2 p frac 3 q 1 , 3 q le infty implies the regularity of the weak Leray solution u R 3 times (0,T) rightarrow R 3 with the initial data belonging to L 2( Bbb R 3) cap L 3( R 3 ) . The result is an immediate consequence of a new local regularity criterion in terms of one velocity component for suitable weak solutions.


Local convergence of tensor methods. In this paper, we study local convergence of high order Tensor Methods for solving convex optimization problems with composite objective. We justify local superlinear convergence under the assumption of uniform convexity of the smooth component, having Lipschitz continuous high order derivative. The convergence both in function value and in the norm of minimal subgradient is established. Global complexity bounds for the Composite Tensor Method in convex and uniformly convex cases are also discussed. Lastly, we show how local convergence of the methods can be globalized using the inexact proximal iterations.


C RAN Zero Forcing with Imperfect CSI Analysis and Precode Quantize Feedback. Downlink joint transmission by a cluster of remote radio heads (RRHs) is an essential technique for enhancing throughput in future cellular networks. This method requires global channel state information (CSI) at the processing unit that designs the joint precoder. To this end, a large amount of CSI must be shared between the RRHs and that unit. This paper proposes two contributions. The first is a new upper bound on the rate loss, which implies a lower bound on the achievable rate, obtained by a cluster of RRHs that employ joint zero forcing (ZF) with incomplete CSI. The second contribution, which follows insights from the bound, is a new CSI sharing scheme that drastically reduces the large overhead associated with acquiring global CSI for joint transmission. In a nutshell, each RRH applies a local precoding matrix that creates low dimensional effective channels that can be quantized more accurately with fewer bits, thereby reducing the overhead of sharing CSI. In addition to the CSI sharing overhead, this scheme reduces the data rate that must be delivered to each RRH in the cluster.


The Role of Compute in Autonomous Aerial Vehicles. Autonomous mobile cyber physical machines are part of our future. Specifically, unmanned aerial vehicles have seen a resurgence in activity with use cases such as package delivery. These systems face many challenges such as their low endurance caused by limited onboard energy, hence, improving the mission time and energy are of importance. Such improvements traditionally are delivered through better algorithms. But our premise is that more powerful and efficient onboard compute should also address the problem. This paper investigates how the compute subsystem, in a cyber physical mobile machine, such as a Micro Aerial Vehicle, impacts mission time and energy. Specifically, we pose the question as what is the role of computing for cyber physical mobile robots? We show that compute and motion are tightly intertwined, hence a close examination of cyber and physical processes and their impact on one another is necessary. We show different impact paths through which compute impacts mission metrics and examine them using analytical models, simulation, and end to end benchmarking. To enable similar studies, we open sourced MAVBench, our tool set consisting of a closed loop simulator and a benchmark suite. Our investigations show cyber physical co design, a methodology where robot's cyber and physical processes quantities are developed with one another consideration, similar to hardware software co design, is necessary for optimal robot design.


On the Impact of Satellite Communications over Mobile Networks An Experimental Analysis. Future telecommunication systems are expected to co exist with different backhauling nodes such as terrestrial or satellite systems. Satellite connectivity can add flexibility to backhauling networks and provide an alternative route for transmission. This paper presents experimental comparisons of satellite and terrestrial cellular networks and evaluates their performances in terms of different Key Performance Indicators (KPIs) including Channel Quality Index (CQI), Modulation Coding Scheme (MCS) index, Downlink throughput, Frame Utilization (FU) and number of Resource Block (RB) utilization ratios. Our experimental satellite network system uses a real satellite backhaul deployment and works in Ka band (with two specific sub bands on 19 Ghz in downlink and 29 Ghz in uplink). As a benchmark, we compare our system with live terrestrial network in which backhaul connection is cellular backhaul. Our experiments reveal three main observations First observation is that there exists FU and number of RB utilization problems in the satellite link even though there exists a single test user equipment (UE) with high CQI and MCS index values. Second observation is that in satellite link relatively low number of Protocol Data Units (PDUs) are generated at Radio Link Controller (RLC) layer compared to the Packet Data Convergence Control (PDCP) layer. Finally, our third observation concludes that the excessive existence of PDCP PDUs can be due to existence of General Packet Radio Service (GPRS) Tunneling Protocol User Plane (GTP U) accelerator where an optimal balance between the caching size and the number of UEs using satellite eNodeB is needed. For this reason, our experimental results reveal the existence of a trade off between the supported number of users on satellite link and the GTP U acceleration rate.


Catenarian FCP ring extensions. If R subseteq S is a ring extension of commutative unital rings, the poset R,S of R subalgebras of S is called catenarian if it verifies the Jordan H "older property. This property has already been studied by Dobbs and Shapiro for finite extensions of fields. We investigate this property for arbitrary ring extensions, showing that many type of extensions are catenarian. We reduce the characterization of catenarian extensions to the case of field extensions, an unsolved question at that time.


Hom Lie Algebras and Hom Lie Groups, Integration and Differentiation. In this paper, we introduce the notion of a (regular) Hom Lie group. We associate a Hom Lie algebra to a Hom Lie group and show that every regular Hom Lie algebra is integrable. Then, we define a Hom exponential (Hexp) map from the Hom Lie algebra of a Hom Lie group to the Hom Lie group and discuss the universality of this Hexp map. We also describe a Hom Lie group action on a smooth manifold. Subsequently, we give the notion of an adjoint representation of a Hom Lie group on its Hom Lie algebra. At last, we integrate the Hom Lie algebra ( mathfrak gl (V), cdot, cdot , mathsf Ad ) , and the derivation Hom Lie algebra of a Hom Lie algebra.


Coverage probability in wireless networks with determinantal scheduling. We propose a new class of algorithms for randomly scheduling network transmissions. The idea is to use (discrete) determinantal point processes (subsets) to randomly assign medium access to various em repulsive subsets of potential transmitters. This approach can be seen as a natural extension of (spatial) Aloha, which schedules transmissions independently. Under a general path loss model and Rayleigh fading, we show that, similarly to Aloha, they are also subject to elegant analysis of the coverage probabilities and transmission attempts (also known as local delay). This is mainly due to the explicit, determinantal form of the conditional (Palm) distribution and closed form expressions for the Laplace functional of determinantal processes. Interestingly, the derived performance characteristics of the network are amenable to various optimizations of the scheduling parameters, which are determinantal kernels, allowing the use of techniques developed for statistical learning with determinantal processes. Well established sampling algorithms for determinantal processes can be used to cope with implementation issues, which is is beyond the scope of this paper, but it creates paths for further research.


Domination for latin square graphs. In combinatorics, a latin square is a n times n matrix filled with n different symbols, each occurring exactly once in each row and exactly once in each column. Associated to each latin square, we can define a simple graph called a latin square graph. In this article, we compute lower and upper bounds for the domination number and the k tuple total domination numbers of such graphs. Moreover, we describe a formula for the 2 tuple total domination number.


Dual discriminator GAN A GAN way of profile face recognition. A wealth of angle problems occur when facial recognition is performed At present, the feature extraction network presents eigenvectors with large differences between the frontal face and profile face recognition of the same person in many cases. For this reason, the state of the art facial recognition network will use multiple samples for the same target to ensure that eigenvector differences caused by angles are ignored during training. However, there is another solution available, which is to generate frontal face images with profile face images before recognition. In this paper, we proposed a method of generating frontal faces with image to image profile faces based on Generative Adversarial Network (GAN).


Steady State versus Pulsed Tokamak Reactors. We have carried out a detailed analysis that compares steady state versus pulsed tokamak reactors. The motivations are as follows. Steady state current drive has turned out to be more difficult than expected it takes too many watts to drive an Ampere, which has a negative effect on power balance and economics. This is partially compensated by the recent development of high temperature REBCO superconductors, which offers the promise of more compact, lower cost tokamak reactors, both steady state and pulsed. Of renewed interest is the reduction in size of pulsed reactors because of the possibility of higher field OH transformers for a given required pulse size. Our main conclusion is that pulsed reactors may indeed be competitive with steady state reactors and this issue should be re examined with more detailed engineering level studies.


Renewal Theory for Transient Markov Chains with Asymptotically Zero Drift. We solve the problem of asymptotic behaviour of the renewal measure (Green function) generated by a transient Lamperti's Markov chain X n in mathbf R , that is, when the drift of the chain tends to zero at infinity. Under this setting, the average time spent by X n in the interval (x,x 1 is roughly speaking the reciprocal of the drift and tends to infinity as x grows. For the first time we present a general approach relying in a diffusion approximation to prove renewal theorems for Markov chains. We apply a martingale type technique and show that the asymptotic behaviour of the renewal measure heavily depends on the rate at which the drift vanishes. The two main cases are distinguished, either the drift of the chain decreases as 1 x or much slower than that, say as 1 x alpha for some alpha in(0,1) . The intuition behind how the renewal measure behaves in these two cases is totally different. While in the first case X n 2 n converges weakly to a Gamma distribution and there is no law of large numbers available, in the second case a strong law of large numbers holds true for X n 1 alpha n and further normal approximation is available.


Semantic Search of Memes on Twitter. Memes are becoming a useful source of data for analyzing behavior on social media. However, a problem to tackle is how to correctly identify a meme. As the number of memes published every day on social media is huge, there is a need for automatic methods for classifying and searching in large meme datasets. This paper proposes and compares several methods for automatically classifying images as memes. Also, we propose a method that allows us to implement a system for retrieving memes from a dataset using a textual query. We experimentally evaluate the methods using a large dataset of memes collected from Twitter users in Chile, which was annotated by a group of experts. Though some of the evaluated methods are effective, there is still room for improvement.


Measuring the Dynamic Impact of High Speed Railways on Urban Interactions in China. High speed rail (HSR) has become an important mode of inter city transportation between large cities. Inter city interaction facilitated by HSR tends to play a more prominent role in promoting urban and regional economic integration and development. Quantifying the impact of HSR's interaction on cities and people is therefore crucial for long term urban and regional development planning and policy making. We develop an evaluation framework using toponym information from social media as a proxy to estimate the dynamics of such interactions. This paper adopts two types of spatial information toponyms from social media posts, and the geographical location information embedded in social media posts. The framework highlights the asymmetric nature of social interaction among cities, and proposes a series of metrics to quantify such impact from multiple perspectives, including interaction strength, spatial decay, and channel effect. The results show that HSRs not only greatly expand the uneven distribution of inter city connections, but also significantly reshape the interactions that occur along HSR routes through the channel effect.


Optimal control of a phase field system of Caginalp type with fractional operators. In their recent work Well posedness, regularity and asymptotic analyses for a fractional phase field system' (Asymptot. Anal. 114 (2019), 93 128 see also the preprint arXiv 1806.04625), two of the present authors have studied phase field systems of Caginalp type, which model nonconserved, nonisothermal phase transitions and in which the occurring diffusional operators are given by fractional versions in the spectral sense of unbounded, monotone, selfadjoint, linear operators having compact resolvents. In this paper, we complement this analysis by investigating distributed optimal control problems for such systems. It is shown that the associated control to state operator is Fr 'echet differentiable between suitable Banach spaces, and meaningful first order necessary optimality conditions are derived in terms of a variational inequality and the associated adjoint state variables.


Public risk perception and emotion on Twitter during the Covid 19 pandemic. Successful navigation of the Covid 19 pandemic is predicated on public cooperation with safety measures and appropriate perception of risk, in which emotion and attention play important roles. Signatures of public emotion and attention are present in social media data, thus natural language analysis of this text enables near to real time monitoring of indicators of public risk perception. We compare key epidemiological indicators of the progression of the pandemic with indicators of the public perception of the pandemic constructed from 20 million unique Covid 19 related tweets from 12 countries posted between 10th March 14th June 2020. We find evidence of psychophysical numbing Twitter users increasingly fixate on mortality, but in a decreasingly emotional and increasingly analytic tone. Semantic network analysis based on word co occurrences reveals changes in the emotional framing of Covid 19 casualties that are consistent with this hypothesis. We also find that the average attention afforded to national Covid 19 mortality rates is modelled accurately with the Weber Fechner and power law functions of sensory perception. Our parameter estimates for these models are consistent with estimates from psychological experiments, and indicate that users in this dataset exhibit differential sensitivity by country to the national Covid 19 death rates. Our work illustrates the potential utility of social media for monitoring public risk perception and guiding public communication during crisis scenarios.


Variance Loss in Variational Autoencoders. In this article, we highlight what appears to be major issue of Variational Autoencoders, evinced from an extensive experimentation with different network architectures and datasets the variance of generated data is significantly lower than that of training data. Since generative models are usually evaluated with metrics such as the Frechet Inception Distance (FID) that compare the distributions of (features of) real versus generated images, the variance loss typically results in degraded scores. This problem is particularly relevant in a two stage setting, where we use a second VAE to sample in the latent space of the first VAE. The minor variance creates a mismatch between the actual distribution of latent variables and those generated by the second VAE, that hinders the beneficial effects of the second stage. Renormalizing the output of the second VAE towards the expected normal spherical distribution, we obtain a sudden burst in the quality of generated samples, as also testified in terms of FID.


Ruelle Taylor resonances of Anosov actions. Combining microlocal methods and a cohomological theory developped by J. Taylor, we define for mathbb R kappa Anosov actions a notion of joint Ruelle resonance spectrum. We prove that these Ruelle Taylor resonances fit into a Fredholm theory, are intrinsic and form a discrete subset of mathbb C kappa , with lambda 0 being always a leading resonance. The joint resonant states at 0 give rise to some new measures of SRB type and the mixing properties of these measures are related to the existence of purely imaginary resonances. The spectral theory developed in this article applies in particular to the case of Weyl chamber flows and provides a new way to study such flows.


Approximate Nearest Neighbor Negative Contrastive Learning for Dense Text Retrieval. Conducting text retrieval in a dense learned representation space has many intriguing advantages over sparse retrieval. Yet the effectiveness of dense retrieval (DR) often requires combination with sparse retrieval. In this paper, we identify that the main bottleneck is in the training mechanisms, where the negative instances used in training are not representative of the irrelevant documents in testing. This paper presents Approximate nearest neighbor Negative Contrastive Estimation (ANCE), a training mechanism that constructs negatives from an Approximate Nearest Neighbor (ANN) index of the corpus, which is parallelly updated with the learning process to select more realistic negative training instances. This fundamentally resolves the discrepancy between the data distribution used in the training and testing of DR. In our experiments, ANCE boosts the BERT Siamese DR model to outperform all competitive dense and sparse retrieval baselines. It nearly matches the accuracy of sparse retrieval and BERT reranking using dot product in the ANCE learned representation space and provides almost 100x speed up.


Invariant measure for the stochastic Cauchy problem driven by a cylindrical L 'evy process. In this work, we present sufficient conditions for the existence of a stationary solution of an abstract stochastic Cauchy problem driven by an arbitrary cylindrical L 'evy process, and show that these conditions are also necessary if the semigroup is stable, in which case the invariant measure is unique. For typical situations such as the heat equation, we significantly simplify these conditions without assuming any further restrictions on the driving cylindrical L 'evy process and demonstrate their application in some examples.


Fantastic Embeddings and How to Align Them Zero Shot Inference in a Multi Shop Scenario. This paper addresses the challenge of leveraging multiple embedding spaces for multi shop personalization, proving that zero shot inference is possible by transferring shopping intent from one website to another without manual intervention. We detail a machine learning pipeline to train and optimize embeddings within shops first, and support the quantitative findings with additional qualitative insights. We then turn to the harder task of using learned embeddings across shops if products from different shops live in the same vector space, user intent as represented by regions in this space can then be transferred in a zero shot fashion across websites. We propose and benchmark unsupervised and supervised methods to "travel" between embedding spaces, each with its own assumptions on data quantity and quality. We show that zero shot personalization is indeed possible at scale by testing the shared embedding space with two downstream tasks, event prediction and type ahead suggestions. Finally, we curate a cross shop anonymized embeddings dataset to foster an inclusive discussion of this important business scenario.


Birational rowmotion and coxeter motion on minuscule posets. Birational rowmotion is a discrete dynamical system on the set of all positive real valued functions on a finite poset, which is a birational lift of combinatorial rowmotion on order ideals. It is known that combinatorial rowmotion for a minuscule poset has order equal to the Coxeter number, and exhibits the file homomesy phenomenon for refined order ideal cardinality statistic. In this paper we generalize these results to the birational setting. Moreover, as a generalization of birational promotion on a product of two chains, we introduce birational Coxeter motion on minuscule posets, and prove that it enjoys periodicity and file homomesy.


Dice Loss for Data imbalanced NLP Tasks. Many NLP tasks such as tagging and machine reading comprehension are faced with the severe data imbalance issue negative examples significantly outnumber positive examples, and the huge number of background examples (or easy negative examples) overwhelms the training. The most commonly used cross entropy (CE) criteria is actually an accuracy oriented objective, and thus creates a discrepancy between training and test at training time, each training instance contributes equally to the objective function, while at test time F1 score concerns more about positive examples. In this paper, we propose to use dice loss in replacement of the standard cross entropy objective for data imbalanced NLP tasks. Dice loss is based on the Sorensen Dice coefficient or Tversky index, which attaches similar importance to false positives and false negatives, and is more immune to the data imbalance issue. To further alleviate the dominating influence from easy negative examples in training, we propose to associate training examples with dynamically adjusted weights to deemphasize easy negative examples.Theoretical analysis shows that this strategy narrows down the gap between the F1 score in evaluation and the dice loss in training. With the proposed training objective, we observe significant performance boost on a wide range of data imbalanced NLP tasks. Notably, we are able to achieve SOTA results on CTB5, CTB6 and UD1.4 for the part of speech tagging task SOTA results on CoNLL03, OntoNotes5.0, MSRA and OntoNotes4.0 for the named entity recognition task along with competitive results on the tasks of machine reading comprehension and paraphrase identification.


Imbalance Parameterized by Twin Cover Revisited. We study the problem of Imbalance parameterized by the twin cover of a graph. We show that Imbalance is XP parameterized by twin cover, and FPT when parameterized by the twin cover and the size of the largest clique outside the twin cover. In contrast, we introduce a notion of succinct representations of graphs in terms of their twin cover and demonstrate that Imbalance is NP hard in the setting of succinct representations, even for graphs that have a twin cover of size one.


The Ion and Charged Aerosol Growth Enhancement (ION CAGE) code A numerical model for the growth of charged and neutral aerosols. The presence of small ions influences the growth dynamics of a size distribution of aerosols. Specifically the often neglected mass of small ions influences the aerosol growth rate, which may be important for terrestrial cloud formation. To this end, we develop a numerical model to calculate the growth of a species of aerosols in the presence of charge, which explicitly includes terms for ion condensation. It is shown that a positive contribution to aerosol growth rate is obtained by increasing the ion pair concentration through this effect, consistent with recent experimental findings. The ion condensation effect is then compared to aerosol growth from charged aerosol coagulation, which is seen to be independent of ion pair concentration. The model source code is made available through a public repository.


An Inverse Problem on Determining Second Order Symmetric Tensor for Perturbed Biharmonic Operator. This article offers a study of the Calder 'on type inverse problem of determining up to second order coefficients of the higher order elliptic operator. Here we show that it is possible to determine an anisotropic second order perturbation given by a symmetric matrix, along with a first order perturbation given by a vector field and a zero th order potential function inside a bounded domain by measuring the Dirichlet to Neumann map of the perturbed biharmonic operator on the boundary of that domain.


On the Sparseness of Certain MRD Codes. We determine the proportion of 3 times 3 3 MRD codes over mathbb F q within the space of all 3 dimensional 3 times3 rank metric codes over the same field. This shows that for these parameters MRD codes are sparse in the sense that the proportion tends to 0 as q rightarrow infty . This is so far the only parameter case for which MRD codes are known to be sparse. The computation is accomplished by reducing the space of all such rank metric codes to a space of specific bases and subsequently making use of a result by Menichetti (1973) on 3 dimensional semifields.


Induced odd cycle packing number, independent sets, and chromatic number. The induced odd cycle packing number iocp(G) of a graph G is the maximum integer k such that G contains an induced subgraph consisting of k pairwise vertex disjoint odd cycles. Motivated by applications to geometric graphs, Bonamy et al. cite indoc proved that graphs of bounded induced odd cycle packing number, bounded VC dimension, and linear independence number admit a randomized EPTAS for the independence number. We show that the assumption of bounded VC dimension is not necessary, exhibiting a randomized algorithm that for any integers k ge 0 and t ge 1 and any n vertex graph G of induced odd cycle packing number at most k returns in time O k,t (n k 4 ) an independent set of G whose size is at least alpha(G) n t with high probability. In addition, we present chi boundedness results for graphs with bounded odd cycle packing number, and use them to design a QPTAS for the independence number only assuming bounded induced odd cycle packing number.


Multimodal Machine Translation with Embedding Prediction. Multimodal machine translation is an attractive application of neural machine translation (NMT). It helps computers to deeply understand visual objects and their relations with natural languages. However, multimodal NMT systems suffer from a shortage of available training data, resulting in poor performance for translating rare words. In NMT, pretrained word embeddings have been shown to improve NMT of low resource domains, and a search based approach is proposed to address the rare word problem. In this study, we effectively combine these two approaches in the context of multimodal NMT and explore how we can take full advantage of pretrained word embeddings to better translate rare words. We report overall performance improvements of 1.24 METEOR and 2.49 BLEU and achieve an improvement of 7.67 F score for rare word translation.


Repetitions in infinite palindrome rich words. Rich words are characterized by containing the maximum possible number of distinct palindromes. Several characteristic properties of rich words have been studied yet the analysis of repetitions in rich words still involves some interesting open problems. We address lower bounds on the repetition threshold of infinite rich words over 2 and 3 letter alphabets, and construct a candidate infinite rich word over the alphabet Sigma 2 0,1 with a small critical exponent of 2 sqrt 2 2 . This represents the first progress on an open problem of Vesti from 2017.


Ultra short pulse high average power Megahertz repetition rate coherent extreme ultraviolet light source. High harmonic generation (HHG) enables coherent extreme ultraviolet (XUV) radiation with ultra short pulse duration in a table top setup. This has already enabled a plethora of applications. Nearly all of these applications would benefit from a high photon flux to increase the signal to noise ratio and decrease measurement times. In addition, shortest pulses are desired to investigate fastest dynamics in fields as diverse as physics, biology, chemistry and material sciences. In this work, the up to date most powerful table top XUV source with 12.9 mW in a single harmonic line at 26.5 eV is demonstrated via HHG of a frequency doubled and post compressed fibre laser. At the same time sub 6 fs XUV pulse duration allows accessing ultrafast dynamics with an order of magnitude higher photon flux than previously demonstrated. This concept will greatly advance and facilitate applications of XUV radiation in science and technology and enable photon hungry ultrafast studies.


Dynamics of transcendental H 'enon maps II. Transcendental H 'enon maps are the natural extensions of the well investigated complex polynomial H 'enon maps to the much larger class of holomorphic automorphisms. We prove here that transcendental H 'enon maps always have non trivial dynamical behavior, namely that they always admit both periodic and escaping orbits, and that their Julia sets are non empty and perfect.


SLM Learning a Discourse Language Representation with Sentence Unshuffling. We introduce Sentence level Language Modeling, a new pre training objective for learning a discourse language representation in a fully self supervised manner. Recent pre training methods in NLP focus on learning either bottom or top level language representations contextualized word representations derived from language model objectives at one extreme and a whole sequence representation learned by order classification of two given textual segments at the other. However, these models are not directly encouraged to capture representations of intermediate size structures that exist in natural languages such as sentences and the relationships among them. To that end, we propose a new approach to encourage learning of a contextualized sentence level representation by shuffling the sequence of input sentences and training a hierarchical transformer model to reconstruct the original ordering. Through experiments on downstream tasks such as GLUE, SQuAD, and DiscoEval, we show that this feature of our model improves the performance of the original BERT by large margins.


Distributed Attack Robust Submodular Maximization for Multi Robot Planning. In this paper, we design algorithms to protect swarm robotics applications against sensor denial of service (DoS) attacks on robots. We focus on applications requiring the robots to jointly select actions, e.g., which trajectory to follow, among a set of available ones. Such applications are central in large scale robotic applications, such as multi robot motion planning for target tracking. But the current attack robust algorithms are centralized. In this paper, we propose a general purpose distributed algorithm towards robust optimization at scale, with local communications only. We name it Distributed Robust Maximization (DRM). DRM proposes a divide and conquer approach that distributively partitions the problem among cliques of robots. Then, the cliques optimize in parallel, independently of each other. We prove DRM achieves a close to optimal performance. We demonstrate DRM's performance in both Gazebo and MATLAB simulations, in scenarios of active target tracking with swarms of robots. In the simulations, DRM achieves computational speed ups, being 1 2 orders faster than the centralized algorithms yet, it nearly matches the tracking performance of the centralized counterparts. Since, DRM overestimates the number of attacks in each clique, in this paper we also introduce an Improved Distributed Robust Maximization (IDRM) algorithm. IDRM infers the number of attacks in each clique less conservatively than DRM by leveraging 3 hop neighboring communications. We verify IDRM improves DRM's performance in simulations.


Mukai models and Borcherds products. Let F g,n be the moduli space of n pointed K3 surfaces of genus g with at worst rational double points. We establish an isomorphism between the ring of pluricanonical forms on F g,n and the ring of certain orthogonal modular forms, and give applications to the birational type of F g,n . We prove that the Kodaira dimension of F g,n stabilizes to 19 when n is sufficiently large. Then we use explicit Borcherds products to find a lower bound of n where F g,n has nonnegative Kodaira dimension, and compare this with an upper bound where F g,n is unirational or uniruled using Mukai models of K3 surfaces in g 21. This reveals the exact transition point of Kodaira dimension in some g.


Adimensional weighted Sobolev inequalities in PI spaces. We provide a family of global weighted Sobolev inequalities and Hardy inequalities on PI spaces with possibly non maximal volume growth. Our results apply notably to non trivial Ahlfors regular spaces like Laakso spaces and Kleiner Schioppa spaces.


Incremental Learning Using a Grow and Prune Paradigm with Efficient Neural Networks. Deep neural networks (DNNs) have become a widely deployed model for numerous machine learning applications. However, their fixed architecture, substantial training cost, and significant model redundancy make it difficult to efficiently update them to accommodate previously unseen data. To solve these problems, we propose an incremental learning framework based on a grow and prune neural network synthesis paradigm. When new data arrive, the neural network first grows new connections based on the gradients to increase the network capacity to accommodate new data. Then, the framework iteratively prunes away connections based on the magnitude of weights to enhance network compactness, and hence recover efficiency. Finally, the model rests at a lightweight DNN that is both ready for inference and suitable for future grow and prune updates. The proposed framework improves accuracy, shrinks network size, and significantly reduces the additional training cost for incoming data compared to conventional approaches, such as training from scratch and network fine tuning. For the LeNet 300 100 and LeNet 5 neural network architectures derived for the MNIST dataset, the framework reduces training cost by up to 64 (63 ) and 67 (63 ) compared to training from scratch (network fine tuning), respectively. For the ResNet 18 architecture derived for the ImageNet dataset and DeepSpeech2 for the AN4 dataset, the corresponding training cost reductions against training from scratch (network fine tunning) are 64 (60 ) and 67 (62 ), respectively. Our derived models contain fewer network parameters but achieve higher accuracy relative to conventional baselines.


AutoScale Optimizing Energy Efficiency of End to End Edge Inference under Stochastic Variance. Deep learning inference is increasingly run at the edge. As the programming and system stack support becomes mature, it enables acceleration opportunities within a mobile system, where the system performance envelope is scaled up with a plethora of programmable co processors. Thus, intelligent services designed for mobile users can choose between running inference on the CPU or any of the co processors on the mobile system, or exploiting connected systems, such as the cloud or a nearby, locally connected system. By doing so, the services can scale out the performance and increase the energy efficiency of edge mobile systems. This gives rise to a new challenge deciding when inference should run where. Such execution scaling decision becomes more complicated with the stochastic nature of mobile cloud execution, where signal strength variations of the wireless networks and resource interference can significantly affect real time inference performance and system energy efficiency. To enable accurate, energy efficient deep learning inference at the edge, this paper proposes AutoScale. AutoScale is an adaptive and light weight execution scaling engine built upon the custom designed reinforcement learning algorithm. It continuously learns and selects the most energy efficient inference execution target by taking into account characteristics of neural networks and available systems in the collaborative cloud edge execution environment while adapting to the stochastic runtime variance. Real system implementation and evaluation, considering realistic execution scenarios, demonstrate an average of 9.8 and 1.6 times energy efficiency improvement for DNN edge inference over the baseline mobile CPU and cloud offloading, while meeting the real time performance and accuracy requirement.


Measure the Impact of Institution and Paper via Institution citation Network. This paper investigates the impact of institutes and papers over time based on the heterogeneous institution citation network. A new model, IPRank, is introduced to measure the impact of institution and paper simultaneously. This model utilises the heterogeneous structural measure method to unveil the impact of institution and paper, reflecting the effects of citation, institution, and structural measure. To evaluate the performance, the model first constructs a heterogeneous institution citation network based on the American Physical Society (APS) dataset. Subsequently, PageRank is used to quantify the impact of institution and paper. Finally, impacts of same institution are merged, and the ranking of institutions and papers is calculated. Experimental results show that the IPRank model better identifies universities that host Nobel Prize laureates, demonstrating that the proposed technique well reflects impactful research.


An expression for the eddy field in a circular vacuum chamber for HEPS booster dipole. The analytical expression of the magnetic field distribution within the aperture of a circular vacuum chamber due to the induced eddy is derived. Two cases are discussed, one is the absence of iron, the other is that the vacuum chamber is between the iron poles, that implies the use of the image current methods. The current angular distribution in the vacuum chamber can be calculated from the ramping rate of the exposed field, then the contour integration is applied to the circular current to obtain the field distribution. The formula can be used to estimate the undesired fields from a circular beam box when it is exposed to a ramping field.


Iwasawa theory for quadratic Hilbert modular forms. We study the Iwasawa main conjecture for quadratic Hilbert modular forms over the p cyclotomic tower. Using an Euler system in the cohomology of Siegel modular varieties, we prove the "Kato divisibility" of the Iwasawa main conjecture under certain technical hypotheses. By comparing this result with the opposite divisibility due to Wan, we obtain the full Main Conjecture over the cyclotomic Zp extension. As a consequence, we prove new cases of the Bloch Kato conjecture for quadratic Hilbert modular forms, and of the equivariant Birch Swinnerton Dyer conjecture in analytic rank 0 for elliptic curves over real quadratic fields twisted by Dirichlet characters.


Composing Neural Algorithms with Fugu. Neuromorphic hardware architectures represent a growing family of potential post Moore's Law Era platforms. Largely due to event driving processing inspired by the human brain, these computer platforms can offer significant energy benefits compared to traditional von Neumann processors. Unfortunately there still remains considerable difficulty in successfully programming, configuring and deploying neuromorphic systems. We present the Fugu framework as an answer to this need. Rather than necessitating a developer attain intricate knowledge of how to program and exploit spiking neural dynamics to utilize the potential benefits of neuromorphic computing, Fugu is designed to provide a higher level abstraction as a hardware independent mechanism for linking a variety of scalable spiking neural algorithms from a variety of sources. Individual kernels linked together provide sophisticated processing through compositionality. Fugu is intended to be suitable for a wide range of neuromorphic applications, including machine learning, scientific computing, and more brain inspired neural algorithms. Ultimately, we hope the community adopts this and other open standardization attempts allowing for free exchange and easy implementations of the ever growing list of spiking neural algorithms.


Direct structural analysis of domains defined by point clouds. This contribution presents a method that aims at the numerical analysis of solids represented by oriented point clouds. The proposed approach is based on the Finite Cell Method, a high order immersed boundary technique that computes on a regular background grid of finite elements and requires only inside outside information from the geometric model. It is shown that oriented point clouds provide sufficient information for these point membership classifications. Further, we address a tessellation free formulation of contour integrals that allows to apply Neumann boundary conditions on point clouds without having to recover the underlying surface. Two dimensional linear elastic benchmark examples demonstrate that the method is able to provide the same accuracy as those computed with conventional, continuous surface descriptions, because the associated error can be controlled by the density of the cloud. Three dimensional examples computed on point clouds of historical structures show how the method can be employed to establish seamless connections between digital shape measurement techniques and numerical analyses.


Dense Stable Rank and Runge Type Approximation Theorems for mathbf H infty Maps. Let H infty( mathbb D times N) be the Banach algebra of bounded holomorphic functions defined on the disjoint union of countably many copies of the open unit disk mathbb D subset mathbb C . We show that the dense stable rank of H infty( mathbb D times N) is one and using this fact prove some nonlinear Runge type approximation theorems for H infty( mathbb D times N) maps. Then we apply these results to obtain a priori uniform estimates of norms of approximating maps in similar approximation problems for algebra H infty( mathbb D) .


On the explicit formula for Gauss Jordan elimination. The elements of the successive intermediate matrices of the Gauss Jordan elimination procedure have the form of quotients of minors. Instead of the proof using identities of determinants of cite Li , a direct proof by induction is given.


A Dual Yamada Watanabe Theorem for Levy driven stochastic differential equations. We prove a dual Yamada Watanabe theorem for one dimensional stochastic differential equations driven by quasi left continuous semimartingales with independent increments. In particular, our result covers stochastic differential equations driven by (time inhomogeneous) Levy processes. More precisely, we prove that weak uniqueness, i.e. uniqueness in law, implies weak joint uniqueness, i.e. joint uniqueness in law for the solution process and its driver.


Feature Selection and Intrusion Detection in Cloud Environment based on Machine Learning Algorithms. Characteristics and way of behavior of attacks and infiltrators on computer networks are usually very difficult and need an expert In addition the advancement of computer networks, the number of attacks and infiltrations are also increasing. In fact, the knowledge coming from an expert will lose its value over time and must be updated and made available to the system and this makes the need for the expert person always felt. In machine learning techniques, knowledge is extracted from the data itself which has diminished the role of the expert. Various methods used to detect intrusions, such as statistical models, safe system approach, neural networks, etc., all weaken the fact that it uses all the features of an information packet rotating in the network for intrusion detection. Also, the huge volume of information and the unthinkable state space is also an important issue in the detection of intrusion. Therefore, the need for automatic identification of new and suspicious patterns in an attempt for intrusion with the use of more efficient methods Lower cost and higher performance is needed more than before. The purpose of this study is to provide a new method based on intrusion detection systems and its various architectures aimed at increasing the accuracy of intrusion detection in cloud computing. Keywords intrusion detection, feature Selection, classification Algorithm, machine learning, neural network.


On a Simple and Effective Thermal Open Boundary Condition for Convective Heat Transfer Problems. We present an effective thermal open boundary condition for convective heat transfer problems on domains involving outflow open boundaries. This boundary condition is energy stable, and it ensures that the contribution of the open boundary will not cause an energy like'' temperature functional to increase over time, irrespective of the state of flow on the open boundary. It is effective in coping with thermal open boundaries even in flow regimes where strong vortices or backflows are prevalent on such boundaries, and it is straightforward to implement. Extensive numerical simulations are presented to demonstrate the stability and effectiveness of our method for heat transfer problems with strong vortices and backflows occurring on the open boundaries. Simulation results are compared with previous works to demonstrate the accuracy of the presented method.


Construction of a two phase flow with singular energy by gradient flow methods. We prove the existence of weak solutions to a system of two diffusion equations that are coupled by a pointwise volume constraint. The time evolution is given by gradient dynamics for a free energy functional. Our primary example is a model for the demixing of polymers, the corresponding energy is the one of Flory, Huggins and deGennes. Due to the non locality in the equations, the dynamics considered here is qualitatively different from the one found in the formally related Cahn Hilliard equations. Our angle of attack is from the theory of optimal mass transport, that is, we consider the evolution equations for the two components as two gradient flows in the Wasserstein distance with one joint energy functional that has the volume constraint built in. The main difference to our previous work arXiv 1712.06446 is the nonlinearity of the energy density in the gradient part, which becomes singular at the interface between pure and mixed phases.


Enumeration of plane partitions by descents. We study certain bijection between plane partitions and mathbb N matrices. As applications, we prove a Cauchy type identity for generalized dual Grothendieck polynomials. We introduce two statistics on plane partitions, whose generating functions are similar to classical MacMahon's formulas one of these statistics is equidistributed with the usual volume. We also show natural connections with the longest increasing subsequences of words.


Schedule Sequence Design for Broadcast in Multi channel Ad Hoc Networks. We consider a single hop ad hoc network in which each node aims to broadcast packets to its neighboring nodes by using multiple slotted, TDD collision channels. There is no cooperation among the nodes. To ensure successful broadcast, we propose to pre assign each node a periodic sequence to schedule transmissions and receptions at each time slot. These sequences are referred to as schedule sequences. Since each node starts its transmission schedule independently, there exist relative time offsets among the schedule sequences they use. Our objective is to design schedule sequences such that each node can transmit at least one packet to each of its neighbors successfully within a common period, no matter what the time offsets are. The sequence period should be designed as short as possible. In this paper, we analyze the lower bound on sequence period, and propose a sequence construction method by which the period can achieve the same order as the lower bound. We also consider the random scheme in which each node transmits or receives on a channel at each time slot with a pre determined probability. The frame length and broadcast completion time under different schemes are compared by numerical studies.


Topology of nerves and formal concepts. The general goal of this paper is to gather and review several methods from homotopy and combinatorial topology and formal concepts analysis (FCA) and analyze their connections. FCA appears naturally in the problem of combinatorial simplification of simplicial complexes and allows to see a certain duality on a class of simplicial complexes. This duality generalizes Poincare duality on cell subdivisions of manifolds. On the other hand, with the notion of a topological formal context, we review the classical proofs of two basic theorems of homotopy topology Alexandrov Nerve theorem and Quillen McCord theorem, which are both important in the applications. A brief overview of the applications of the Nerve theorem in brain studies is given. The focus is made on the task of the external stimuli space reconstruction from the activity of place cells. We propose to use the combination of FCA and topology in the analysis of neural codes. The lattice of formal concepts of a neural code is homotopy equivalent to the nerve complex, but, moreover, it allows to analyse certain implication relations between collections of neural cells.


Beating Optical Turbulence Limits Using High Peak Power Lasers. We experimentally demonstrate the ability of a nonlinear self channeling beam to resist turbulence induced spreading and scintillation. Spatio temporal data is presented for an 850 meter long, controlled turbulence range that can generate weak to strong turbulence on demand. At this range, the effects of atmospheric losses and dispersion are significant. Simulation results are also presented and show good agreement with experiment.


On class number relations, intersections, and GL(2) tale over the function field side. The aim of this paper is to study class number relations over function fields and the intersections of Hirzebruch Zagier type divisors on the Drinfeld Stuhler modular surfaces. The main bridge is a particular "harmonic" theta series with nebentypus. Using the strong approximation theorem, the Fourier coefficients of this series are expressed in two ways one comes from modified Hurwitz class numbers and another gives the intersection numbers in question. An elaboration of this approach enables us to interpret these class numbers as a "mass sum" over the CM points on the Drinfeld Stuhler modular curves, and even realize the generating function as a metaplectic automorphic form.


Learning Scalable and Precise Representation of Program Semantics. Neural program embedding has shown potential in aiding the analysis of large scale, complicated software. Newly proposed deep neural architectures pride themselves on learning program semantics rather than superficial syntactic features. However, by considering the source code only, the vast majority of neural networks do not capture a deep, precise representation of program semantics. In this paper, we present dypro, a novel deep neural network that learns from program execution traces. Compared to the prior dynamic models, not only is dypro capable of generalizing across multiple executions for learning a program's dynamic semantics in its entirety, but dypro is also more efficient when dealing with programs yielding long execution traces. For evaluation, we task dypro with semantic classification (i.e. categorizing programs based on their semantics) and compared it against two prominent static models Gated Graph Neural Network and TreeLSTM. We find that dypro achieves the highest prediction accuracy among all models. To further reveal the capacity of all aforementioned deep neural architectures, we examine if the models can learn to detect deeper semantic properties of a program. In particular given a task of recognizing loop invariants, we show dypro beats all static models by a wide margin.


Volctrans Parallel Corpus Filtering System for WMT 2020. In this paper, we describe our submissions to the WMT20 shared task on parallel corpus filtering and alignment for low resource conditions. The task requires the participants to align potential parallel sentence pairs out of the given document pairs, and score them so that low quality pairs can be filtered. Our system, Volctrans, is made of two modules, i.e., a mining module and a scoring module. Based on the word alignment model, the mining module adopts an iterative mining strategy to extract latent parallel sentences. In the scoring module, an XLM based scorer provides scores, followed by reranking mechanisms and ensemble. Our submissions outperform the baseline by 3.x 2.x and 2.x 2.x for km en and ps en on From Scratch Fine Tune conditions, which is the highest among all submissions.


TripleNet Triple Attention Network for Multi Turn Response Selection in Retrieval based Chatbots. We consider the importance of different utterances in the context for selecting the response usually depends on the current query. In this paper, we propose the model TripleNet to fully model the task with the triple context, query, response instead of context, response in previous works. The heart of TripleNet is a novel attention mechanism named triple attention to model the relationships within the triple at four levels. The new mechanism updates the representation for each element based on the attention with the other two concurrently and symmetrically. We match the triple C, Q, R centered on the response from char to context level for prediction. Experimental results on two large scale multi turn response selection datasets show that the proposed model can significantly outperform the state of the art methods. TripleNet source code is available at https github.com wtma TripleNet


SynRG Syntax Guided Synthesis of Expressions with Alternating Quantifiers. Program synthesis is the task of automatically generating expressions that satisfy a given specification. Program synthesis techniques have been used to automate the generation of loop invariants in code, synthesize function summaries, and to assist programmers via program sketching. Syntax guided synthesis has been a successful paradigm in this area, however, one area where the state of the art solvers fall down is reasoning about potentially unbounded data structures such as arrays where both specifications and solutions may require quantifiers and quantifier alternations. We present SynRG, a synthesis algorithm based on restricting the synthesis problem to generate candidate solutions with quantification over a finite domain, and then generalizing these candidate solutions to the unrestricted domain of the original specification. We report experiments on invariant synthesis benchmarks and on program sketching benchmarks taken from the Java StringUtils class and show that our technique can synthesize expressions out of reach of all existing solvers.


On the conjecture of bijection between perfect matching and sub hypercube in folded hypercubes. Dong and Wang in Theor. Comput. Sci. 771 (2019) 93 98 conjectured that the resulting graph of the n dimensional folded hypercube FQ n by deleting any perfect matching is isomorphic to the hypercube Q n . In this paper, we show that the conjecture holds when n 2,3 , and it is not true for n geq4 .


Conquery an open source application to analyze high content healthcare data. Introduction Big data in healthcare must be exploited to achieve a substantial increase in efficiency and competitiveness. Especially the analysis of patient related data possesses huge potential to improve decision making processes. However, most analytical approaches used today are highly time and resource consuming. Objectives The presented software solution Conquery is an open source software tool providing advanced, but intuitive data analysis without the need for specialized statistical training. Conquery aims to simplify big data analysis for novice database users in the medical sector. Methods Conquery is a document oriented distributed timeseries database and analysis platform. Its main application is the analysis of per person medical records by non technical medical professionals. Complex analyses are realized in the Conquery frontend by dragging tree nodes into the query editor. Queries are evaluated by a bespoke distributed query engine for medical records in a column oriented fashion. We present a custom compression scheme to facilitate low response times that uses online calculated as well as precomputed metadata and data statistics. Results Conquery allows for easy navigation through the hierarchy and enables complex study cohort construction whilst reducing the demand on time and resources. The UI of Conquery and a query output is exemplified by the construction of a relevant clinical cohort. Conclusions Conquery is an efficient and intuitive open source software for performant and secure data analysis and aims at supporting decision making processes in the healthcare sector.


Applications of Robots for COVID 19 Response. This paper reviews 262 reports appearing between March 27 and July 4, 2020, in the press, social media, and scientific literature describing 203 instances of actual use of 104 different models of ground and aerial robots for the COVID19 response. The reports are organized by stakeholders and work domain into a novel taxonomy of six application categories, reflecting major differences in work envelope, adoption strategy, and human robot interaction constraints. Each application category is further divided into a total of 30 subcategories based on differences in mission. The largest number of reported instances were for public safety (74 out of 203) and clinical care (46), though robots for quality of life (27), continuity of work and education (22), laboratory and supply chain automation (21), and non clinical care (13) were notable. Ground robots were used more frequently (119) than aerial systems (84), but unlike ground robots, aerial applications appeared to take advantage of existing general purpose platforms that were used for multiple applications and missions. Of the 104 models of robots, 82 were determined to be commercially available or already existed as a prototype, 11 were modifications to existing robots, 11 were built from scratch. Teleoperation dominated the control style (105 instances), with the majority of those applications intentionally providing remote presence and thus not amenable to full autonomy in the future. Automation accounted for 74 instances and taskable agency forms of autonomy, 24. The data suggests areas for further research in autonomy, human robot interaction, and adaptability.


A Hybrid Retrieval Generation Neural Conversation Model. Intelligent personal assistant systems that are able to have multi turn conversations with human users are becoming increasingly popular. Most previous research has been focused on using either retrieval based or generation based methods to develop such systems. Retrieval based methods have the advantage of returning fluent and informative responses with great diversity. However, the performance of the methods is limited by the size of the response repository. On the other hand, generation based methods can produce highly coherent responses on any topics. But the generated responses are often generic and not informative due to the lack of grounding knowledge. In this paper, we propose a hybrid neural conversation model that combines the merits of both response retrieval and generation methods. Experimental results on Twitter and Foursquare data show that the proposed model outperforms both retrieval based methods and generation based methods (including a recently proposed knowledge grounded neural conversation model) under both automatic evaluation metrics and human evaluation. We hope that the findings in this study provide new insights on how to integrate text retrieval and text generation models for building conversation systems.


Standard Lattices of Compatibly Embedded Finite Fields. Lattices of compatibly embedded finite fields are useful in computer algebra systems for managing many extensions of a finite field mathbb F p at once. They can also be used to represent the algebraic closure bar mathbb F p , and to represent all finite fields in a standard manner. The most well known constructions are Conway polynomials, and the Bosma Cannon Steel framework used in Magma. In this work, leveraging the theory of the Lenstra Allombert isomorphism algorithm, we generalize both at the same time. Compared to Conway polynomials, our construction defines a much larger set of field extensions from a small pre computed table however it is provably as inefficient as Conway polynomials if one wants to represent all field extensions, and thus yields no asymptotic improvement for representing bar mathbb F p . Compared to Bosma Cannon Steel lattices, it is considerably more efficient both in computation time and storage all algorithms have at worst quadratic complexity, and storage is linear in the number of represented field extensions and their degrees. Our implementation written in C Flint Julia Nemo shows that our construction in indeed practical.


Crystal momentum resolved contributions to multiple plateaus of high order harmonic generation from band gap materials. We study the crystal momentum resolved contributions to the high order harmonic generation (HHG) in band gap materials, and identify the relevant initial crystal momenta for the first and higher plateaus of the HHG spectra. We do so by using a time dependent density functional theory model of one dimensional linear chains. We introduce a self consistent periodic treatment for the infinitely extended limit of the linear chain model, which provides a convenient way to simulate and discuss the HHG from a perfect crystal beyond the single active electron approximation. The multi plateau spectral feature is elucidated by a semiclassical k space trajectory analysis with multiple conduction bands taken into account. In the considered laser interaction regime, the multiple plateaus beyond the first cutoff are found to stem mainly from electrons with initial crystal momenta away from the Gamma point (k 0), while electrons with initial crystal momenta located around the Gamma point are responsible for the harmonics in the first plateau. We also show that similar findings can be obtained from calculations using a sufficiently large finite model, which proves to mimic the corresponding infinite periodic limit in terms of the band structures and the HHG spectra.