Remarks on parabolic De Giorgi classes. We make several remarks concerning properties of functions in parabolic De Giorgi classes of order p . There are new perspectives including a novel mechanism of propagating positivity in measure, the reservation of membership under convex composition, and a logarithmic type estimate. Based on them, we are able to give new proofs of known properties. In particular, we prove local boundedness and local H "older continuity of these functions via Moser's ideas, thus avoiding De Giorgi's heavy machinery. We also seize this opportunity to give a transparent proof of a weak Harnack inequality for non negative members of some super class of De Giorgi, without any covering argument.


Probing Model Signal Awareness via Prediction Preserving Input Minimization. This work explores the signal awareness of AI models for source code understanding. Using a software vulnerability detection use case, we evaluate the models' ability to capture the correct vulnerability signals to produce their predictions. Our prediction preserving input minimization (P2IM) approach systematically reduces the original source code to a minimal snippet which a model needs to maintain its prediction. The model's reliance on incorrect signals is then uncovered when the vulnerability in the original code is missing in the minimal snippet, both of which the model however predicts as being vulnerable. We measure the signal awareness of models using a new metric we propose Signal aware Recall (SAR). We apply P2IM on three different neural network architectures across multiple datasets. The results show a sharp drop in the model's Recall from the high 90s to sub 60s with the new metric, highlighting that the models are presumably picking up a lot of noise or dataset nuances while learning their vulnerability detection logic. Although the drop in model performance may be perceived as an adversarial attack, but this isn't P2IM's objective. The idea is rather to uncover the signal awareness of a black box model in a data driven manner via controlled queries. SAR's purpose is to measure the impact of task agnostic model training, and not to suggest a shortcoming in the Recall metric. The expectation, in fact, is for SAR to match Recall in the ideal scenario where the model truly captures task specific signals.


A Cascade Sequence to Sequence Model for Chinese Mandarin Lip Reading. Lip reading aims at decoding texts from the movement of a speaker's mouth. In recent years, lip reading methods have made great progress for English, at both word level and sentence level. Unlike English, however, Chinese Mandarin is a tone based language and relies on pitches to distinguish lexical or grammatical meaning, which significantly increases the ambiguity for the lip reading task. In this paper, we propose a Cascade Sequence to Sequence Model for Chinese Mandarin (CSSMCM) lip reading, which explicitly models tones when predicting sentence. Tones are modeled based on visual information and syntactic structure, and are used to predict sentence along with visual information and syntactic structure. In order to evaluate CSSMCM, a dataset called CMLR (Chinese Mandarin Lip Reading) is collected and released, consisting of over 100,000 natural sentences from China Network Television website. When trained on CMLR dataset, the proposed CSSMCM surpasses the performance of state of the art lip reading frameworks, which confirms the effectiveness of explicit modeling of tones for Chinese Mandarin lip reading.


Image sets of perfectly nonlinear maps. We consider image sets of differentially d uniform maps of finite fields. We present a lower bound on the image size of such maps and study their preimage distribution, by extending methods used for planar maps. We apply the results to study d uniform Dembowski Ostrom polynomials. Further, we focus on a particularly interesting case of APN maps on binary fields. We show that APN maps with the minimal image size must have a very special preimage distribution. We prove that for an even n the image sets of several well studied families of APN maps are minimal. We present results connecting the image sets of special maps with their Walsh spectrum. Especially, we show that the fact that several large classes of APN maps have the classical Walsh spectrum is explained by the minimality of their image sets. Finally, we present upper bounds on the image size of APN maps.


ADVISER A Toolkit for Developing Multi modal, Multi domain and Socially engaged Conversational Agents. We present ADVISER an open source, multi domain dialog system toolkit that enables the development of multi modal (incorporating speech, text and vision), socially engaged (e.g. emotion recognition, engagement level prediction and backchanneling) conversational agents. The final Python based implementation of our toolkit is flexible, easy to use, and easy to extend not only for technically experienced users, such as machine learning researchers, but also for less technically experienced users, such as linguists or cognitive scientists, thereby providing a flexible platform for collaborative research. Link to open source code https github.com DigitalPhonetics adviser


A PHY Layer Security of a Jamming Based Underlay Cognitive Hybrid Satellite Terrestrial Network. In this work, we investigate the physical layer security of a jamming based underlay cognitive hybrid satellite terrestrial network consisting of a radio frequency link at the first hop and an optical feeder at the second hop. Particularly, one secondary user (SU) is transmitting data to an end user optical ground station ( boldsymbol D ) through the aid of a relay satellite, in the presence of an active eavesdropper at each hop. Moreover , another SU located in the first hop is acting as a friendly jammer and continuously broadcasting an artificial noise that cannot be decoded by the wiretapper so as to impinge positively on the system's secrecy. Owing to the underlying strategy, the SUs are permanently adjusting their transmit powers in order to avoid causing harmful interference to primary users. The RF channels undergo shadowed Rician and Rayleigh fading models, while the optical link is subject to Gamma Gamma turbulence with pointing error . Closed form and asymptotic expressions for the intercept probability (IP) are derived considering two different scenarios regardless of the channel's conditions, namely (i) absence and (ii) presence of a friendly jammer. The effect of various key parameters on IP, e.g., sources' transmit power, artificial noise , maximum tolerated interference power, and fading severity parameters are examined. Precisely, we aim to answer the following question could a friendly jammer further enhance the security of such a system even in a low SNR regime? All the derived results are corroborated by Monte Carlo simulations and new insights into the considered system's secrecy are gained.


Sketching Transformed Matrices with Applications to Natural Language Processing. Suppose we are given a large matrix A (a i,j ) that cannot be stored in memory but is in a disk or is presented in a data stream. However, we need to compute a matrix decomposition of the entry wisely transformed matrix, f(A) (f(a i,j )) for some function f . Is it possible to do it in a space efficient way? Many machine learning applications indeed need to deal with such large transformed matrices, for example word embedding method in NLP needs to work with the pointwise mutual information (PMI) matrix, while the entrywise transformation makes it difficult to apply known linear algebraic tools. Existing approaches for this problem either need to store the whole matrix and perform the entry wise transformation afterwards, which is space consuming or infeasible, or need to redesign the learning method, which is application specific and requires substantial remodeling. In this paper, we first propose a space efficient sketching algorithm for computing the product of a given small matrix with the transformed matrix. It works for a general family of transformations with provable small error bounds and thus can be used as a primitive in downstream learning tasks. We then apply this primitive to a concrete application low rank approximation. We show that our approach obtains small error and is efficient in both space and time. We complement our theoretical results with experiments on synthetic and real data.


Singular Boundary Conditions for Sturm Liouville Operators via Perturbation Theory. We show that all self adjoint extensions of semi bounded Sturm Liouville operators with general limit circle endpoint(s) can be obtained via an additive singular form bounded self adjoint perturbation of rank equal to the deficiency indices, say d in 1,2 . This characterization generalizes the well known analog for semi bounded Sturm Liouville operators with regular endpoints. Explicitly, every self adjoint extension of the minimal operator can be written as begin align boldsymbol A Theta boldsymbol A 0 bf B Theta bf B , end align where boldsymbol A 0 is a distinguished self adjoint extension and Theta is a self adjoint linear relation in mathbb C d . The perturbation is singular in the sense that it does not belong to the underlying Hilbert space but is form bounded with respect to boldsymbol A 0 , i.e. it belongs to mathcal H 1 ( boldsymbol A 0) . The construction of a boundary triple and compatible boundary pair for the symmetric operator ensure that the perturbation is well defined and self adjoint extensions are in a one to one correspondence with self adjoint relations Theta . As an example, self adjoint extensions of the classical symmetric Jacobi differential equation (which has two limit circle endpoints) are obtained and their spectra are analyzed with tools both from the theory of boundary triples and perturbation theory.


Artificial neural networks for neuroscientists A primer. Artificial neural networks (ANNs) are essential tools in machine learning that have drawn increasing attention in neuroscience. Besides offering powerful techniques for data analysis, ANNs provide a new approach for neuroscientists to build models for complex behaviors, heterogeneous neural activity and circuit connectivity, as well as to explore optimization in neural systems, in ways that traditional models are not designed for. In this pedagogical Primer, we introduce ANNs and demonstrate how they have been fruitfully deployed to study neuroscientific questions. We first discuss basic concepts and methods of ANNs. Then, with a focus on bringing this mathematical framework closer to neurobiology, we detail how to customize the analysis, structure, and learning of ANNs to better address a wide range of challenges in brain research. To help the readers garner hands on experience, this Primer is accompanied with tutorial style code in PyTorch and Jupyter Notebook, covering major topics.


A Diffusion Based Embedding of the Stochastic Simulation Algorithm in Continuous Space. A variety of simulation methodologies have been used for modeling reaction diffusion dynamics including approaches based on Differential Equations (DE), the Stochastic Simulation Algorithm (SSA), Brownian Dynamics (BD), Green's Function Reaction Dynamics (GFRD), and variations thereon each offering trade offs with respect to the ranges of phenomena they can model, their computational tractability, and the difficulty of fitting them to experimental measurements. Here, we develop a multiscale approach combining efficient SSA like sampling suitable for well mixed systems with aspects of the slower but space aware GFRD model, assuming as with GFRD that reactions occur in a spatially heterogeneous environment that must be explicitly modeled. Our method extends the SSA approach in two major ways. First, we sample bimolecular association reactions following diffusive motion with a time dependent reaction propensity. Second, reaction locations are sampled from within overlapping diffusion spheres describing the spatial probability densities of individual reactants. We show the approach to provide efficient simulation of spatially heterogeneous biochemistry in comparison to alternative methods via application to a Michaelis Menten model.


A Survey of the L p Regularity of the Bergman Projection. Although the Bergman projection operator mathbf B Omega is defined on L 2( Omega) , its behavior on other L p( Omega) spaces for p not 2 is an active research area. We survey some of the recent results on L p estimates on the Bergman projection.


Comparison of the MSMS and NanoShaper molecular surface triangulation codes in the TABI Poisson Boltzmann solver. The Poisson Boltzmann (PB) implicit solvent model is a popular framework for studying the electrostatics of biomolecules immersed in water with dissolved salt. In this model the dielectric interface between the biomolecule and solvent is often taken to be the molecular surface or solvent excluded surface (SES), and the quality of the SES triangulation is critical in boundary element simulations of the PB model. In this work we compare the MSMS and NanoShaper surface triangulation codes for a set of 38 biomolecules. While MSMS produces triangles of exceedingly small area and large aspect ratio, the two codes yield comparable values for the SES surface area and electrostatic solvation energy, where the latter calculations were performed using the treecode accelerated boundary integral (TABI) PB solver. However we found that NanoShaper is more efficient and reliable than MSMS, especially when parameters are set to produce highly resolved triangulations.


Authentication against Man in the Middle Attack with a Time variant Reconfigurable Dual LFSR based Arbiter PUF. With the expansion of the Internet of Things industry, the information security of Internet of Things devices attracts much attention. Traditional encryption algorithms require sensitive information such as keys to be stored in memory, and also need the support of operating system, which is obviously unacceptable for resource constrained Internet of Things terminals. Physical not cloning function by extracting the chip is inevitable in the process of manufacturing process deviation, the introduction of the corresponding function relationship between incentive and response, not to need the storage user sensitive information, and only when electricity will respond, in power response immediately disappear, this can save a lot of resources of equipment and the power consumption. However, PUF is vulnerable to modeling attacks, and the traditional methods such as the challenge obfuscation method are time invariant, which is equivalent to adding a fixed function to the front stage of a traditional APUF circuit. Therefore, it can be potentially modelling attacked with sufficient CRPs. In order to further enhance APUF circuit resistance to modelling attack, this paper proposes a dual LFSR based APUF circuit with time variant challenge obfuscation. Besides, traditional authentication scheme generally adopts the one time key scheme to enhance resistance to man in the middle attack. The two time authentication scheme proposed in this paper can improve the ability of RFID system to resist man in the middle attack without sacrificing CRPs.


EVSO Environment aware Video Streaming Optimization of Power Consumption. Streaming services gradually support high quality videos for better user experience. However, streaming high quality video on mobile devices consumes a considerable amount of energy. This paper presents the design and prototype of EVSO, which achieves power saving by applying adaptive frame rates to parts of videos with a little degradation of the user experience. EVSO utilizes a novel perceptual similarity measurement method based on human visual perception specialized for a video encoder. We also extend the media presentation description, in which the video content is selected based only on the network bandwidth, to allow for additional consideration of the user's battery status. EVSO's streaming server preprocesses the video into several processed videos according to the similarity intensity of each part of the video and then provides the client with the processed video suitable for the network bandwidth and the battery status of the client's mobile device. The EVSO system was implemented on the commonly used H.264 AVC encoder. We conduct various experiments and a user study with nine videos. Our experimental results show that EVSO effectively reduces energy consumption when mobile devices use streaming services by 22 on average and up to 27 while maintaining the quality of the user experience.


Tetrahedron trinomial coefficient transform. We introduce the tetrahedron trinomial coefficient transform which takes a Pascal like arithmetical triangle to a sequence. We define a Pascal like infinite tetrahedron H, and prove that the application of the tetrahedron trinomial transform to one face T of H provides the opposite edge E to T in H. It follows from the construction that the other directions in H parallel to E can be obtained similarly. In case of Pascal's triangle the sequence generated by the trinomial transform coincides the binomial transform of the central binomial coefficients.


Well posedness and asymptotic behavior of the stochastic convective Brinkman Forchheimer equations perturbed by pure jump noise. This paper is concerned about the stochastic convective Brinkman Forchheimer (SCBF) equations subjected to multiplicative pure jump noise in bounded or periodic domains. Our first goal is to establish the existence of a pathwise unique strong solution satisfying the energy equality (It o's formula) to the SCBF equations. We resolve the issue of the global solvability of SCBF equations, by using a monotonicity property of the linear and nonlinear operators and a stochastic generalization of the Minty Browder technique. The major difficulty is that an It o's formula in infinite dimensions is not available for such systems. This difficulty is overcame by approximating the solution using approximate functions composing of the elements of eigenspaces of the Stokes operator in such a way that the approximations are bounded and converge in both Sobolev and Lebesgue spaces simultaneously. Due to technical difficulties, we discuss about the global in time regularity results of such strong solutions in periodic domains only. Once the system is well posed, we look for the asymptotic behavior of strong solutions. The exponential stability results (in mean square and pathwise sense) for the stationary solutions is established in this work for large effective viscosity. Moreover, a stabilization result of the SCBF equations by using a multiplicative pure jump noise is also obtained. Finally, we prove the existence of a unique ergodic and strongly mixing invariant measure for the SCBF equations subject to multiplicative pure jump noise, by using the exponential stability of strong solutions.


Optimal couplings between sparse block models. We study the problem of coupling a stochastic block model with a planted bisection to a uniform random graph having the same average degree. Focusing on the regime where the average degree is a constant relative to the number of vertices n , we show that the distance to which the models can be coupled undergoes a phase transition from O( sqrt n ) to Omega(n) as the planted bisection in the block model varies. This settles half of a conjecture of Bollob ' a s and Riordan and has some implications for sparse graph limit theory. In particular, for certain ranges of parameters, a block model and the corresponding uniform model produce samples which must converge to the same limit point. This implies that any notion of convergence for sequences of graphs with Theta(n) edges which allows for samples from a limit object to converge back to the limit itself must identify these models.


A 2 n 2 Time Algorithm for sqrt n SVP and sqrt n Hermite SVP, and an Improved Time Approximation Tradeoff for (H)SVP. We show a 2 n 2 o(n) time algorithm that finds a (non zero) vector in a lattice mathcal L subset mathbb R n with norm at most tilde O ( sqrt n ) cdot min lambda 1( mathcal L ), det( mathcal L ) 1 n , where lambda 1( mathcal L ) is the length of a shortest non zero lattice vector and det( mathcal L ) is the lattice determinant. Minkowski showed that lambda 1( mathcal L ) leq sqrt n det( mathcal L ) 1 n and that there exist lattices with lambda 1( mathcal L ) geq Omega( sqrt n ) cdot det( mathcal L ) 1 n , so that our algorithm finds vectors that are as short as possible relative to the determinant (up to a polylogarithmic factor). The main technical contribution behind this result is new analysis of (a simpler variant of) an algorithm from arXiv 1412.7994, which was only previously known to solve less useful problems. To achieve this, we rely crucially on the reverse Minkowski theorem'' (conjectured by Dadush arXiv 1606.06913 and proven by arXiv 1611.05979), which can be thought of as a partial converse to the fact that lambda 1( mathcal L ) leq sqrt n det( mathcal L ) 1 n . Previously, the fastest known algorithm for finding such a vector was the 2 .802n o(n) time algorithm due to Liu, Wang, Xu, and Zheng, 2011 , which actually found a non zero lattice vector with length O(1) cdot lambda 1( mathcal L ) . Though we do not show how to find lattice vectors with this length in time 2 n 2 o(n) , we do show that our algorithm suffices for the most important application of such algorithms basis reduction. In particular, we show a modified version of Gama and Nguyen's slide reduction algorithm Gama and Nguyen, STOC 2008 , which can be combined with the algorithm above to improve the time length tradeoff for shortest vector algorithms in nearly all regimes, including the regimes relevant to cryptography.


Hidden sign in Langlands' correspondence. In this note I describe some modification of the Langlands correspondence and explain why it is more natural. I will also discuss its significance to the theory of automorphic L functions.


GOAL DTU Development of Distributed Intelligence for the Multi Agent Programming Contest. We provide a brief description of the GOAL DTU system for the agent contest, including the overall strategy and how the system is designed to apply this strategy. Our agents are implemented using the GOAL programming language. We evaluate the performance of our agents for the contest, and finally also discuss how to improve the system based on analysis of its strengths and weaknesses.


Measurement of the onset of nucleate boiling in liquid xenon. We report the first precision measurement of the superheat temperature required for bubble nucleation in liquid xenon of Delta T wall,ONB (16.9 pm 0.5) K and Delta T wall,ONB (19.2 0.4 1.1 ) K at pressures of P (0.98 pm0.02) bar and P (1.32 0.05 0.01 ) bar, respectively. Both are measured at a subcooled bulk fluid temperature of sim 162 K. A dedicated liquid xenon setup is used to measure the temperature at which bubble nucleation first appears on the flat surface of a resistor. The associated average heat flux at the surface of the resistor is determined using fluid dynamics simulations. Future experiments can use these experimental results to determine the likelihood of boiling in liquid xenon and to design effective thermal sinks that prevent bubble nucleation.


Identifying Experts in Software Libraries and Frameworks among GitHub Users. Software development increasingly depends on libraries and frameworks to increase productivity and reduce time to market. Despite this fact, we still lack techniques to assess developers expertise in widely popular libraries and frameworks. In this paper, we evaluate the performance of unsupervised (based on clustering) and supervised machine learning classifiers (Random Forest and SVM) to identify experts in three popular JavaScript libraries facebook react, mongodb node mongodb, and socketio socket.io. First, we collect 13 features about developers activity on GitHub projects, including commits on source code files that depend on these libraries. We also build a ground truth including the expertise of 575 developers on the studied libraries, as self reported by them in a survey. Based on our findings, we document the challenges of using machine learning classifiers to predict expertise in software libraries, using features extracted from GitHub. Then, we propose a method to identify library experts based on clustering feature data from GitHub by triangulating the results of this method with information available on Linkedin profiles, we show that it is able to recommend dozens of GitHub users with evidences of being experts in the studied JavaScript libraries. We also provide a public dataset with the expertise of 575 developers on the studied libraries.


Blockchains a Systematic Multivocal Literature Review. Blockchain technology has gained tremendous popularity both in practice and academia. The goal of this article is to develop a coherent overview of the state of the art in blockchain technology, using a systematic(i.e.,protocol based, replicable), multivocal (i.e., featuring both white and grey literature alike) literature review, to (1) define blockchain technology (2) elaborate on its architecture options and (3) trade offs, as well as understanding (4) the current applications and challenges, as evident from the state of the art. We derive a systematic definition of blockchain technology, based on a formal concept analysis. Further on, we flesh out an overview of blockchain technology elaborated by means of Grounded Theory.


On J holomorphic variational vector fields and extremal discs. We prove that every J holomorphic variational vector field can be realized as derivation frac d dt t 0 f t where (f t) is a one parametric family of J holomorphic discs. Furthermore, we discuss properness of an extremal J holomorphic disc in a bounded pseudoconvex domain.


Sentiment Analysis for Reinforcement Learning. While reinforcement learning (RL) has been successful in natural language processing (NLP) domains such as dialogue generation and text based games, it typically faces the problem of sparse rewards that leads to slow or no convergence. Traditional methods that use text descriptions to extract only a state representation ignore the feedback inherently present in them. In text based games, for example, descriptions like "Good Job! You ate the food " indicate progress, and descriptions like "You entered a new room" indicate exploration. Positive and negative cues like these can be converted to rewards through sentiment analysis. This technique converts the sparse reward problem into a dense one, which is easier to solve. Furthermore, this can enable reinforcement learning without rewards, in which the agent learns entirely from these intrinsic sentiment rewards. This framework is similar to intrinsic motivation, where the environment does not necessarily provide the rewards, but the agent analyzes and realizes them by itself. We find that providing dense rewards in text based games using sentiment analysis improves performance under some conditions.


Designing Precise and Robust Dialogue Response Evaluators. Automatic dialogue response evaluator has been proposed as an alternative to automated metrics and human evaluation. However, existing automatic evaluators achieve only moderate correlation with human judgement and they are not robust. In this work, we propose to build a reference free evaluator and exploit the power of semi supervised training and pretrained (masked) language models. Experimental results demonstrate that the proposed evaluator achieves a strong correlation ( 0.6) with human judgement and generalizes robustly to diverse responses and corpora. We open source the code and data in https github.com ZHAOTING dialog processing.


Functional Failure Rate Due to Single Event Transients in Clock Distribution Networks. With technology scaling, lower supply voltages, and higher operating frequencies clock distribution networks become more and more vulnerable to transients faults. These faults can cause circuit wide effects and thus, significantly contribute to the functional failure rate of the circuit. This paper proposes a methodology to analyse how the functional behaviour is affected by Single Event Transients in the clock distribution network. The approach is based on logic level simulation and thus, only uses the register transfer level description of a design. Therefore, a fault model is proposed which implements the main effects due to radiation induced transients in the clock network. This fault model enables the computation of the functional failure rate caused by Single Event Transients for each individual clock buffer, as well as the complete network. Further, it allows the identification of the most vulnerable flip flops related to Single Event Transients in the clock network. The proposed methodology is applied in a practical example and a fault injection campaign is performed. In order to evaluate the impact of Single Event Transients in clock distribution networks, the obtained functional failure rate is compared to the error rate caused by Single Event Upsets in the sequential logic.


Tree densities in sparse graph classes. What is the maximum number of copies of a fixed forest T in an n vertex graph in a graph class mathcal G as n to infty ? We answer this question for a variety of sparse graph classes mathcal G . In particular, we show that the answer is Theta(n alpha d(T) ) where alpha d(T) is the size of the largest stable set in the subforest of T induced by the vertices of degree at most d , for some integer d that depends on mathcal G . For example, when mathcal G is the class of k degenerate graphs then d k when mathcal G is the class of graphs containing no K s,t minor ( t geq s ) then d s 1 and when mathcal G is the class of k planar graphs then d 2 . All these results are in fact consequences of a single lemma in terms of a finite set of excluded subgraphs.


Transfer learning for solvation free energies from quantum chemistry to experiments. Data scarcity, bias, and experimental noise are all frequently encountered problems in the application of deep learning to chemical and material science disciplines. Transfer learning has proven effective in compensating for the lack in data. The use of quantum calculations in machine learning enables the generation of a diverse dataset and ensures that learning is less affected by noise inherent to experimental databases. In this work, we propose a transfer learning approach for the prediction of solvation free energies that combines fundamentals from quantum calculations with the higher accuracy of experimental measurements. The employed model architecture is based on the directed message passing neural network for the molecular embedding of solvent and solute molecules. A significant advantage of models pre trained on quantum calculations is demonstrated for small experimental datasets and for out of sample predictions. The improved out of sample performance is shown for new solvents, for new solute elements, and for the extension to higher molar mass solutes. The overall performance of the pre trained models is limited by the noise in the experimental test data, known as the aleatoric uncertainty. On a random test split, a mean absolute error of 0.21 kcal mol is achieved. This is a significant improvement compared to the mean absolute error of the quantum calculations (0.40 kcal mol). The error can be further reduced to 0.09 kcal mol if the model performance is assessed on a more accurate subset of the experimental data.


Automatic Hierarchical Classification of Kelps using Deep Residual Features. Across the globe, remote image data is rapidly being collected for the assessment of benthic communities from shallow to extremely deep waters on continental slopes to the abyssal seas. Exploiting this data is presently limited by the time it takes for experts to identify organisms found in these images. With this limitation in mind, a large effort has been made globally to introduce automation and machine learning algorithms to accelerate both classification and assessment of marine benthic biota. One major issue lies with organisms that move with swell and currents, like kelps. This paper presents an automatic hierarchical classification method (local binary classification as opposed to the conventional flat classification) to classify kelps in images collected by autonomous underwater vehicles. The proposed kelp classification approach exploits learned feature representations extracted from deep residual networks. We show that these generic features outperform the traditional off the shelf CNN features and the conventional hand crafted features. Experiments also demonstrate that the hierarchical classification method outperforms the traditional parallel multi class classifications by a significant margin (90.0 vs 57.6 and 77.2 vs 59.0 ) on Benthoz15 and Rottnest datasets respectively. Furthermore, we compare different hierarchical classification approaches and experimentally show that the sibling hierarchical training approach outperforms the inclusive hierarchical approach by a significant margin. We also report an application of our proposed method to study the change in kelp cover over time for annually repeated AUV surveys.


A new complemented subspace for the Lorentz sequence spaces, with an application to its lattice of closed ideals. We show that every Lorentz sequence space d( textbf w ,p) admits a 1 complemented subspace Y distinct from ell p and containing no isomorph of d( textbf w ,p) . In the general case, this is only the second nontrivial complemented subspace in d( textbf w ,p) yet known. We also give an explicit representation of Y in the special case textbf w (n theta ) n 1 infty ( 0 theta 1 ) as the ell p sum of finite dimensional copies of d( textbf w ,p) . As an application, we find a sixth distinct element in the lattice of closed ideals of mathcal L (d( textbf w ,p)) , of which only five were previously known in the general case.


2nd Place Solution to ECCV 2020 VIPriors Object Detection Challenge. In this report, we descibe our approach to the ECCV 2020 VIPriors Object Detection Challenge which took place from March to July in 2020. We show that by using state of the art data augmentation strategies, model designs, and post processing ensemble methods, it is possible to overcome the difficulty of data shortage and obtain competitive results. Notably, our overall detection system achieves 36.6 AP on the COCO 2017 validation set using only 10K training images without any pre training or transfer learning weights ranking us 2nd place in the challenge.


A Dynamical Framework for Modeling Fear of Infection and Frustration with Social Distancing in COVID 19 Spread. In this paper, we introduce a novel modeling framework for incorporating fear of infection and frustration with social distancing into disease dynamics. We show that the resulting SEIR behavior perception model has three principal modes of qualitative behavior no outbreak, controlled outbreak, and uncontrolled outbreak. We also demonstrate that the model can produce transient and sustained waves of infection consistent with secondary outbreaks. We fit the model to cumulative COVID 19 case and mortality data from several regions. Our analysis suggests that regions which experience a significant decline after the first wave of infection, such as Canada and Israel, are more likely to contain secondary waves of infection, whereas regions which only achieve moderate success in mitigating the disease's spread initially, such as the United States, are likely to experience substantial secondary waves or uncontrolled outbreaks.


Low cost open source high frequency portable pulse counter for Raspberry Pi and its application to Xray transmission rate measurement. Affordable electronics for instrumentation play a vital role in academia since research budgets are tight nowadays. In this paper a low cost open source high frequency portable Raspberry Pi based pulse counter is presented. Although it is designed as a 2 channel counter, it can be easily modified to a 4 channel counter. It provides a relay control interface for experimental setup integration and counts pulses up to 10 MHz frequency. Presented system is proved to be accurate by an Xray transmission rate measurement experiment.


Lipschitz modulus of linear and convex systems with the Hausdorff metric. This paper analyzes the Lipschitz behavior of the feasible set in two parametric settings, associated with linear and convex systems in R n. To start with, we deal with the parameter space of linear (finite semi infinite) systems identified with the corresponding sets of coefficient vectors, which are assumed to be closed subsets of R (n 1). In this framework, where the Hausdorff distance is used to measure the size of perturbations, an explicit formula for computing the Lipschitz modulus of the feasible set mapping is provided. As direct antecedent, we appeal to its counterpart in the parameter space of all linear systems with a fixed index set, T, where the Chebyshev (pseudo) distance was considered to measure the perturbations. Indeed, the stability (and, particularly, Lipschitz properties) of linear systems in the Chebyshev framework has been widely analyzed in the literature. Here, through an appropriate indexation strategy, we take advantage of previous results to derive the new ones in the Hausdorff setting. In a second stage, the possibility of perturbing directly the set of coefficient vectors of a linear system allows us to provide new contributions on the Lipschitz behavior of convex systems via linearization techniques.


u RANIA a neutron detector based on mu RWELL technology. In the framework of the ATTRACT uRANIA project, funded by the European Community, we are developing an innovative neutron imaging detector based on micro Resistive WELL ( mu RWELL) technology. The mu RWELL, based on the resistive detector concept, ensuring an efficient spark quenching mechanism, is a highly reliable device. It is composed by two main elements a readout PCB and a cathode. The amplification stage for this device is embedded in the readout board through a resistive layer realized by means of an industrial process with DLC (Diamond Like Carbon). A thin layer of B 4 C on the copper surface of the cathode allows the thermal neutrons detection through the release of 7 Li and alpha particles in the active volume. This technology has been developed to be an efficient and convenient alternative to the 3 He shortage. The goal of the project is to prove the feasibility of such a novel neutron detector by developing and testing small planar prototypes with readout boards suitably segmented with strip or pad read out, equipped with existing electronics or readout in current mode. Preliminary results from the test with different prototypes, showing a good agreement with the simulation, will be presented together with construction details of the prototypes and the future steps of the project.


Results of a Single Blind Literary Taste Test with Short Anonymized Novel Fragments. It is an open question to what extent perceptions of literary quality are derived from text intrinsic versus social factors. While supervised models can predict literary quality ratings from textual factors quite successfully, as shown in the Riddle of Literary Quality project (Koolen et al., 2020), this does not prove that social factors are not important, nor can we assume that readers make judgments on literary quality in the same way and based on the same information as machine learning models. We report the results of a pilot study to gauge the effect of textual features on literary ratings of Dutch language novels by participants in a controlled experiment with 48 participants. In an exploratory analysis, we compare the ratings to those from the large reader survey of the Riddle in which social factors were not excluded, and to machine learning predictions of those literary ratings. We find moderate to strong correlations of questionnaire ratings with the survey ratings, but the predictions are closer to the survey ratings. Code and data https github.com andreasvc litquest


Large Arabic Twitter Dataset on COVID 19. The 2019 coronavirus disease (COVID 19), emerged late December 2019 in China, is now rapidly spreading across the globe. At the time of writing this paper, the number of global confirmed cases has passed two millions and half with over 180,000 fatalities. Many countries have enforced strict social distancing policies to contain the spread of the virus. This have changed the daily life of tens of millions of people, and urged people to turn their discussions online, e.g., via online social media sites like Twitter. In this work, we describe the first Arabic tweets dataset on COVID 19 that we have been collecting since January 1st, 2020. The dataset would help researchers and policy makers in studying different societal issues related to the pandemic. Many other tasks related to behavioral change, information sharing, misinformation and rumors spreading can also be analyzed.


ESAM Discriminative Domain Adaptation with Non Displayed Items to Improve Long Tail Performance. Most of ranking models are trained only with displayed items (most are hot items), but they are utilized to retrieve items in the entire space which consists of both displayed and non displayed items (most are long tail items). Due to the sample selection bias, the long tail items lack sufficient records to learn good feature representations, i.e. data sparsity and cold start problems. The resultant distribution discrepancy between displayed and non displayed items would cause poor long tail performance. To this end, we propose an entire space adaptation model (ESAM) to address this problem from the perspective of domain adaptation (DA). ESAM regards displayed and non displayed items as source and target domains respectively. Specifically, we design the attribute correlation alignment that considers the correlation between high level attributes of the item to achieve distribution alignment. Furthermore, we introduce two effective regularization strategies, i.e. textit center wise clustering and textit self training to improve DA process. Without requiring any auxiliary information and auxiliary domains, ESAM transfers the knowledge from displayed items to non displayed items for alleviating the distribution inconsistency. Experiments on two public datasets and a large scale industrial dataset collected from Taobao demonstrate that ESAM achieves state of the art performance, especially in the long tail space. Besides, we deploy ESAM to the Taobao search engine, leading to significant improvement on online performance. The code is available at url https github.com A bone1 ESAM.git


Brief Announcement On the Limits of Parallelizing Convolutional Neural Networks on GPUs. GPUs are currently the platform of choice for training neural networks. However, training a deep neural network (DNN) is a time consuming process even on GPUs because of the massive number of parameters that have to be learned. As a result, accelerating DNN training has been an area of significant research in the last couple of years. While earlier networks such as AlexNet had a linear dependency between layers and operations, state of the art networks such as ResNet, PathNet, and GoogleNet have a non linear structure that exhibits a higher level of inter operation parallelism. However, popular deep learning (DL) frameworks such as TensorFlow and PyTorch launch the majority of neural network operations, especially convolutions, serially on GPUs and do not exploit this inter op parallelism. In this brief announcement, we make a case for the need and potential benefit of exploiting this rich parallelism in state of the art non linear networks for reducing the training time. We identify the challenges and limitations in enabling concurrent layer execution on GPU backends (such as cuDNN) of DL frameworks and propose potential solutions.


Unsupervised Question Answering for Fact Checking. Recent Deep Learning (DL) models have succeeded in achieving human level accuracy on various natural language tasks such as question answering, natural language inference (NLI), and textual entailment. These tasks not only require the contextual knowledge but also the reasoning abilities to be solved efficiently. In this paper, we propose an unsupervised question answering based approach for a similar task, fact checking. We transform the FEVER dataset into a Cloze task by masking named entities provided in the claims. To predict the answer token, we utilize pre trained Bidirectional Encoder Representations from Transformers (BERT). The classifier computes label based on the correctly answered questions and a threshold. Currently, the classifier is able to classify the claims as "SUPPORTS" and "MANUAL REVIEW". This approach achieves a label accuracy of 80.2 on the development set and 80.25 on the test set of the transformed dataset.


A simple Stochastic SIR model for COVID 19 Infection Dynamics for Karnataka Learning from Europe. In this short note we model the region wise trends of the evolution to COVID 19 infections using a stochastic SIR model. The SIR dynamics are expressed using textit It o stochastic differential equations . We first derive the parameters of the model from the available daily data from European regions based on a 24 day history of infections, recoveries and deaths. The derived parameters have been aggregated to project future trends for the Indian subcontinent, which is currently at an early stage in the infection cycle. The projections are meant to serve as a guideline for strategizing the socio political counter measures to mitigate COVID 19.


Boundary and rigidity of nonsingular Bernoulli actions. Let G be a countable discrete group and consider a nonsingular Bernoulli shift action G curvearrowright prod g in G ( 0,1 , mu g) with two base points. When G is exact, under a certain finiteness assumption on the measures mu g g in G , we construct a boundary for the Bernoulli crossed product C algebra that admits some commutativity and amenability in the sense of Ozawa's bi exactness. As a consequence, we obtain that any such Bernoulli action is solid. This generalizes solidity of measure preserving Bernoulli actions by Ozawa and Chifan Ioana, and is the first rigidity result in the non measure preserving case. For the proof, we use anti symmetric Fock spaces and left creation operators to construct the boundary and therefore the assumption of having two base points is crucial.


'Etale groupoid algebras with coefficients in a sheaf and skew inverse semigroup rings. Given an action varphi of of inverse semigroup S on a ring A (with domain of varphi(s) denoted by D s ) we show that if the ideals D e , with e an idempotent, are unital, then the skew inverse semigroup ring A rtimes S can be realized as the convolution algebra of an ample groupoid with coefficients in a sheaf of rings. Conversely, we show that the convolution algebra of an ample groupoid with coefficients in a sheaf of rings is isomorphic to a skew inverse semigroup ring of this sort. We recover known results in the literature for Steinberg algebras over a field as special cases.


Accelerating and Improving AlphaZero Using Population Based Training. AlphaZero has been very successful in many games. Unfortunately, it still consumes a huge amount of computing resources, the majority of which is spent in self play. Hyperparameter tuning exacerbates the training cost since each hyperparameter configuration requires its own time to train one run, during which it will generate its own self play records. As a result, multiple runs are usually needed for different hyperparameter configurations. This paper proposes using population based training (PBT) to help tune hyperparameters dynamically and improve strength during training time. Another significant advantage is that this method requires a single run only, while incurring a small additional time cost, since the time for generating self play records remains unchanged though the time for optimization is increased following the AlphaZero training algorithm. In our experiments for 9x9 Go, the PBT method is able to achieve a higher win rate for 9x9 Go than the baselines, each with its own hyperparameter configuration and trained individually. For 19x19 Go, with PBT, we are able to obtain improvements in playing strength. Specifically, the PBT agent can obtain up to 74 win rate against ELF OpenGo, an open source state of the art AlphaZero program using a neural network of a comparable capacity. This is compared to a saturated non PBT agent, which achieves a win rate of 47 against ELF OpenGo under the same circumstances.


Analysis of the Near Wall Flow in a Turbine Cascade by Splat Visualization. Turbines are essential components of jet planes and power plants. Therefore, their efficiency and service life are of central engineering interest. In the case of jet planes or thermal power plants, the heating of the turbines due to the hot gas flow is critical. Besides effective cooling, it is a major goal of engineers to minimize heat transfer between gas flow and turbine by design. Since it is known that splat events have a substantial impact on the heat transfer between flow and immersed surfaces, we adapt a splat detection and visualization method to a turbine cascade simulation in this case study. Because splat events are small phenomena, we use a direct numerical simulation resolving the turbulence in the flow as the base of our analysis. The outcome shows promising insights into splat formation and its relation to vortex structures. This may lead to better turbine design in the future.


Air temperature and humidity during the solar eclipses of 26 December 2019 and of 21 June 2020 in Saudi Arabia and in other eclipses with similar environments. We report air temperature and humidity changes during the two solar eclipses of 26 December 2019, and of 21 June 2020, respectively, in the cities of Al Hofuf and Riyadh in Saudi Arabia. During the December eclipse the Sun rose already eclipsed (91.53 of the area covered) while the June eclipse, although also annular in other places of the Arabian Peninsula, was just partial at Riyadh (area covered 72.80 ). This difference apparently affected the observed response on the recorded variables of temperature, relative humidity (RH) and vapor pressure (VP) in the two events. Change in these variables went unnoticed for the first eclipse since it was within the natural variability of the day yet for the other, they showed clearly some trend alterations, which we analyze and discuss. A decrease in temperature of 3.2 deg C was detected in Riyadh however, RH and VP showed an oscillation that we explain in the light of a similar effect reported in other eclipses. We found a time lag of about 15 min measured from the eclipse central phase in this city. We made an inspection of related fluctuations and dynamics from the computed rates of the temporal variation of temperature and RH. Trying to identify the influence of solar eclipses in similar environments we have made a broad inter comparison with other observations of these variables in the Near East, northern Africa and in the United States. We compare our results with results obtained by other authors working with the December eclipse but in the United Arab Emirates and Oman, which showed dissimilar results. These inter comparisons show how effectively the lower atmosphere can respond to a solar eclipse within a desert environment and others similar. As a preamble, a historical revision of temperature and humidity in the context of eclipse meteorology is also included.


A new type of relaxation oscillation in a model with rate and state friction. In this paper we prove the existence of a new type of relaxation oscillation occurring in a one block Burridge Knopoff model with Ruina rate and state friction law. In the relevant parameter regime, the system is slow fast with two slow variables and one fast. The oscillation is special for several reasons Firstly, its singular limit is unbounded, the amplitude of the cycle growing like log epsilon 1 as epsilon rightarrow 0 . As a consequence of this estimate, the unboundedness of the cycle cannot be captured by a simple epsilon dependent scaling of the variables, see e.g. cite Gucwa2009783 . We therefore obtain its limit on the Poincar 'e sphere. Here we find that the singular limit consists of a slow part on an attracting critical manifold, and a fast part on the equator (i.e. at infty ) of the Poincar 'e sphere, which includes motion along a center manifold. The reduced flow on this center manifold runs out along the manifold's boundary, in a special way, leading to a complex return to the slow manifold. We prove the existence of the limit cycle by showing that a return map is a contraction. The main technical difficulty in this part is due to the fact that the critical manifold loses hyperbolicity at an exponential rate at infinity. We therefore use the method in cite kristiansen2017a , applying the standard blowup technique in an extended phase space. In this way we identify a singular cycle, consisting of 12 pieces, all with desirable hyperbolicity properties, that enables the perturbation into an actual limit cycle for 0 epsilon ll 1 .


MaterialGAN Reflectance Capture using a Generative SVBRDF Model. We address the problem of reconstructing spatially varying BRDFs from a small set of image measurements. This is a fundamentally under constrained problem, and previous work has relied on using various regularization priors or on capturing many images to produce plausible results. In this work, we present MaterialGAN, a deep generative convolutional network based on StyleGAN2, trained to synthesize realistic SVBRDF parameter maps. We show that MaterialGAN can be used as a powerful material prior in an inverse rendering framework we optimize in its latent representation to generate material maps that match the appearance of the captured images when rendered. We demonstrate this framework on the task of reconstructing SVBRDFs from images captured under flash illumination using a hand held mobile phone. Our method succeeds in producing plausible material maps that accurately reproduce the target images, and outperforms previous state of the art material capture methods in evaluations on both synthetic and real data. Furthermore, our GAN based latent space allows for high level semantic material editing operations such as generating material variations and material morphing.


Frobenius W algebras and traces of Frobenius Heisenberg categories. To each symmetric graded Frobenius superalgebra we associate a W algebra. We then define a linear isomorphism between the trace of the Frobenius Heisenberg category and a central reduction of this W algebra. We conjecture that this is an isomorphism of graded superalgebras.


RoboMem Giving Long Term Memory to Robots. Robots have the potential to improve health monitoring outcomes for the elderly by providing doctors, and caregivers with information about the person's behavior, health activities and their surrounding environment. Over the years, less work has been done to enable robots to preserve information for longer periods of time, on the order of months and years of data, and use this contextual information to answer queries. Time complexity to process this massive sensor data in a timely fashion, inability to anticipate the future queries in advance and imprecision involved in the results have been the main impediments in making progress in this area. We make a contribution by introducing RoboMem, a query answering system for health care assistance of elderly over long term continuous data feeds that intends to overcome the challenges of giving long term memory to robots. The design for our framework preprocesses the sensor data and stores this preprocessed data into the database. This data is updated in the database by going through successive refinements, improving its accuracy for responding to queries. If data in the database is not enough to answer a query, a small set of relevant frames (also obtained from the database) will be reprocessed to obtain the answer. Our initial prototype of RoboMem stores 3.5MB of data in the database as compared to 535.8MB of actual video frames and with minimal data in the database it is able to fetch information fundamental to respond to queries in 0.0002 seconds on average .


Coherent control of an Helium Ion ensemble. Attosecond pulses can ionize atoms in a coherent process. Since the emerging fragments are entangled, however, each preserves only a fraction of the initial coherence, thus limiting the chance of guiding the ion subsequent evolution. In this work, we use emph ab initio simulations of pump probe ionization of helium above the 2s 2p threshold to demonstrate how this loss of coherence can be controlled. Thanks to the participation of 2 ell n ell' states, coherence between the ionic 2s and 2p states, which are degenerate in the non relativistic limit, results in a stationary, delay dependent electric dipole. From the picosecond real time beating of the dipole, caused by the fine structure splitting of the n 2 manifold, it is possible to reconstruct all original ion coherences, including between antiparallel spin states, which are sensitive probe of relativistic effects in attosecond photoemission.


GAN Memory with No Forgetting. As a fundamental issue in lifelong learning, catastrophic forgetting is directly caused by inaccessible historical data accordingly, if the data (information) were memorized perfectly, no forgetting should be expected. Motivated by that, we propose a GAN memory for lifelong learning, which is capable of remembering a stream of datasets via generative processes, with emph no forgetting. Our GAN memory is based on recognizing that one can modulate the "style" of a GAN model to form perceptually distant targeted generation. Accordingly, we propose to do sequential style modulations atop a well behaved base GAN model, to form sequential targeted generative models, while simultaneously benefiting from the transferred base knowledge. The GAN memory that is motivated by lifelong learning is therefore itself manifested by a form of lifelong learning, via forward transfer and modulation of information from prior tasks. Experiments demonstrate the superiority of our method over existing approaches and its effectiveness in alleviating catastrophic forgetting for lifelong classification problems. Code is available at https github.com MiaoyunZhao GANmemory LifelongLearning.


On the configurations of nine points on a cubic curve. We study the reciprocal position of nine points in the plane, according to their collinearities. In particular, we consider the case in which the nine points are contained in an irreducible cubic curve and we give their classification. If we consider two configurations different when the associated incidence structures are not isomorphic, we see that there are 131 configurations that can be realized in mathbb P 2 mathbb Q , and there are two more in mathbb P 2 K , where K mathbb Q sqrt 3 (one of the two is the Hesse configuration given by the nine inflection points of a cubic curve). Finally, we compute the possible Hilbert functions of the ideals of the nine points.


Stability problem of equilibrium discrete planar curves. In this paper, we study planar polygonal curves from the variational methods. We show an unified interpretation of discrete curvatures and the Steiner type formula by extracting the notion of the discrete curvature vector from the first variation of the length functional. Moreover, we determine the equilibrium curves for the length functional under the area constraint condition and study their stability.


Challenges and Opportunities of Big Data in Healthcare Mobile Applications. The health and various ways to improve healthcare systems are one of the most concerns of human in history. By the growth of mobile technology, different mobile applications in the field of the healthcare system are developed. These mobile applications instantly gather and analyze the data of their users to help them in the health area. This volume of data will be a critical problem. Big data in healthcare mobile applications have its challenges and opportunities for the users and developers. Does this amount of gathered data which is increasing day by day can help the human to design new tools in healthcare systems and improve health condition? In this chapter, we will discuss meticulously the challenges and opportunities of big data in the healthcare mobile applications.


IVO Inverse Velocity Obstacles for Real Time Navigation. In this paper, we present "IVO Inverse Velocity Obstacles" an ego centric framework that improves the real time implementation. The proposed method stems from the concept of velocity obstacle and can be applied for both single agent and multi agent system. It focuses on computing collision free maneuvers without any knowledge or assumption on the pose and the velocity of the robot. This is primarily achieved by reformulating the velocity obstacle to adapt to an ego centric framework. This is a significant step towards improving real time implementations of collision avoidance in dynamic environments as there is no dependency on state estimation techniques to infer the robot pose and velocity. We evaluate IVO for both single agent and multi agent in different scenarios and show it's efficacy over the existing formulations. We also show the real time scalability of the proposed methodology.


Assessing criticality in pre seizure single neuron activity of human epileptic cortex. Epileptic seizures are characterized by abnormal and excessive neural activity, where cortical network dynamics seem to become unstable. However, most of the time, during seizure free periods, cortex of epilepsy patients shows perfectly stable dynamics. This raises the question of how recurring instability can arise in the light of this stable default state. In this work, we examine two potential scenarios of seizure generation (i) epileptic cortical areas might generally operate closer to instability, which would make epilepsy patients generally more susceptible to seizures, or (ii) epileptic cortical areas might drift systematically towards instability before seizure onset. We analyzed single unit spike recordings from both the epileptogenic (focal) and the nonfocal cortical hemispheres of 20 epilepsy patients. We quantified the distance to instability in the framework of criticality, using a novel estimator, which enables an unbiased inference from a small set of recorded neurons. Surprisingly, we found no evidence for either scenario Neither did focal areas generally operate closer to instability, nor were seizures preceded by a drift towards instability. In fact, our results from both pre seizure and seizure free intervals suggest that despite epilepsy, human cortex operates in the stable, slightly subcritical regime, just like cortex of other healthy mammalians.


Demonstration of a compact plasma accelerator powered by laser accelerated electron beams. Plasma wakefield accelerators are capable of sustaining gigavolt per centimeter accelerating fields, surpassing the electric breakdown threshold in state of the art accelerator modules by 3 4 orders of magnitude. Beam driven wakefields offer particularly attractive conditions for the generation and acceleration of high quality beams. However, this scheme relies on kilometer scale accelerators. Here, we report on the demonstration of a millimeter scale plasma accelerator powered by laser accelerated electron beams. We showcase the acceleration of electron beams to 130 MeV, consistent with simulations exhibiting accelerating gradients exceeding 100 GV m. This miniaturized accelerator is further explored by employing a controlled pair of drive and witness electron bunches, where a fraction of the driver energy is transferred to the accelerated witness through the plasma. Such a hybrid approach allows fundamental studies of beam driven plasma accelerator concepts at widely accessible high power laser facilities. It is anticipated to provide compact sources of energetic high brightness electron beams for quality demanding applications such as free electron lasers.


From Symmetry to Asymmetry Generalizing TSP Approximations by Parametrization. We generalize the tree doubling and Christofides algorithm, the two most common approximations for TSP, to parameterized approximations for ATSP. The parameters we consider for the respective parameterizations are upper bounded by the number of asymmetric distances in the given instance, which yields algorithms to efficiently compute constant factor approximations also for moderately asymmetric TSP instances. As generalization of the Christofides algorithm, we derive a parameterized 2.5 approximation, where the parameter is the size of a vertex cover for the subgraph induced by the asymmetric edges. Our generalization of the tree doubling algorithm gives a parameterized 3 approximation, where the parameter is the number of asymmetric edges in a given minimum spanning arborescence. Both algorithms are also stated in the form of additive lossy kernelizations, which allows to combine them with known polynomial time approximations for ATSP. Further, we combine them with a notion of symmetry relaxation which allows to trade approximation guarantee for runtime. We complement our results by experimental evaluations, which show that generalized tree doubling frequently outperforms generalized Christofides with respect to parameter size.


Smallest percolating sets in bootstrap percolation on grids. In this paper we fill in a fundamental gap in the extremal bootstrap percolation literature, by providing the first proof of the fact that for all d geq 1 , the size of the smallest percolating sets in d neighbour bootstrap percolation on n d , the d dimensional grid of size n , is n d 1 . Additionally, we prove that such sets percolate in time at most c d n 2 , for some constant c d 0 depending on d only.


Distributive Noetherian Centrally Essential Rings. It is proved that a ring A is a right or left Noetherian, right distributive centrally essential ring if and only if A A 1 times cdots times A n , where each of the rings A i is either a commutative Dedekind domain or a uniserial Artinian centrally essential (not necessarily commutative) ring. V.T.Markov is supported by the Russian Foundation for Basic Research, project 17 01 00895 A. A.A.Tuganbaev is supported by Russian Scientific Foundation, project 16 11 10013.


Affective Computing for Large Scale Heterogeneous Multimedia Data A Survey. The wide popularity of digital photography and social networks has generated a rapidly growing volume of multimedia data (i.e., image, music, and video), resulting in a great demand for managing, retrieving, and understanding these data. Affective computing (AC) of these data can help to understand human behaviors and enable wide applications. In this article, we survey the state of the art AC technologies comprehensively for large scale heterogeneous multimedia data. We begin this survey by introducing the typical emotion representation models from psychology that are widely employed in AC. We briefly describe the available datasets for evaluating AC algorithms. We then summarize and compare the representative methods on AC of different multimedia types, i.e., images, music, videos, and multimodal data, with the focus on both handcrafted features based methods and deep learning methods. Finally, we discuss some challenges and future directions for multimedia affective computing.


Real time spectral analysis of ultrafast pulses using a free space angular chirp enhanced delay. Frequency to time mapping is a powerful technique for observing ultrafast phenomena and non repetitive events in optics. However, many optical sources operate in wavelength regions, or at power levels, that are not compatible with standard frequency to time mapping implementations. The recently developed free space angular chirp enhanced delay (FACED) removes many of these limitations, and offers a linear frequency to time mapping in any wavelength region where high reflectivity mirrors and diffractive optics are available. In this work, we present a detailed formulation of the optical transfer function of a FACED device. Experimentally, we verify the properties of this transfer function, and then present simple guidelines to guarantee the correct operation of a FACED frequency to time measurement. We also experimentally demonstrate the real time spectral analysis of femtosecond and picosecond pulses using this system.


Threshold solutions for the nonlinear Schr "odinger equation. We study the focusing NLS equation in mathbb R N in the mass supercritical and energy subcritical (or intercritical) regime, with H 1 data at the mass energy threshold mathcal ME (u 0) mathcal ME (Q) , where Q is the ground state. Previously, Duyckaerts Merle studied the behavior of threshold solutions in the H 1 critical case, in dimensions N 3, 4, 5 , later generalized by Li Zhang for higher dimensions. In the intercritical case, Duyckaerts Roudenko studied the threshold problem for the 3d cubic NLS equation. In this paper, we generalize the results of Duyckaerts Roudenko for any dimension and any power of the nonlinearity for the entire intecritical range. We show the existence of special solutions, Q pm , besides the standing wave e it Q , which exponentially approach the standing wave in the positive time direction, but differ in its behavior for negative time. We classify all solutions at the threshold level, showing either blow up occurs in finite (positive and negative) time, or scattering in both time directions, or the solution is equal to one of the three special solutions above, up to symmetries. Our proof extends to the H 1 critical case, thus, giving a different and more unified approach than the Li Zhang result. These results are obtained by studying the linearized equation around the standing wave and some tailored approximate solutions to the NLS equation. We establish important decay properties of functions associated to the spectrum of the linearized Schr "odinger operator, which, in combination with modulational stability and coercivity for the linearized operator on special subspaces, allows us to use a fixed point argument to show the existence of special solutions. Finally, we prove the uniqueness by studying exponentially decaying solutions to a sequence of linearized equations.


On sparse identification of complex dynamical systems A study on discovering influential reactions in chemical reaction networks. A wide variety of real life complex networks are prohibitively large for modeling, analysis and control. Understanding the structure and dynamics of such networks entails creating a smaller representative network that preserves its relevant topological and dynamical properties. While modern machine learning methods have enabled identification of governing laws for complex dynamical systems, their inability to produce white box models with sufficient physical interpretation renders such methods undesirable to domain experts. In this paper, we introduce a hybrid black box, white box approach for the sparse identification of the governing laws for complex, highly coupled dynamical systems with particular emphasis on finding the influential reactions in chemical reaction networks for combustion applications, using a data driven sparse learning technique. The proposed approach identifies a set of influential reactions using species concentrations and reaction rates,with minimal computational cost without requiring additional data or simulations. The new approach is applied to analyze the combustion chemistry of H2 and C3H8 in a constant volume homogeneous reactor. The influential reactions determined by the sparse learning method are consistent with the current kinetics knowledge of chemical mechanisms. Additionally, we show that a reduced version of the parent mechanism can be generated as a combination of the significantly reduced influential reactions identified at different times and conditions and that for both H2 and C3H8 fuel, the reduced mechanisms perform closely to the parent mechanisms as a function of the ignition delay time over a wide range of conditions. Our results demonstrate the potential of the sparse learning approach as an effective and efficient tool for dynamical system analysis and reduction. The uniqueness of this approach as applied to combustion systems lies in the ability to identify influential reactions in specified conditions and times during the evolution of the combustion process. This ability is of great interest to understand chemical reaction systems.


Remarks on some compact symplectic solvmanifolds. We study the hard Lefschetz property on compact symplectic solvmanifolds, i.e., compact quotients M Gamma backslash G of a simply connected solvable Lie group G by a lattice Gamma , admitting a symplectic structure.


Spurious pressure in Scott Vogelius elements. We will analyze the characteristics of Scott Vogelius finite elements on singular vertices, which cause spurious pressures on solving Stokes equations. A simple postprocessing will be suggested to remove those spurious pressures.


An Algebraic Approach for High level Text Analytics. Text analytical tasks like word embedding, phrase mining, and topic modeling, are placing increasing demands as well as challenges to existing database management systems. In this paper, we provide a novel algebraic approach based on associative arrays. Our data model and algebra can bring together relational operators and text operators, which enables interesting optimization opportunities for hybrid data sources that have both relational and textual data. We demonstrate its expressive power in text analytics using several real world tasks.


First predictive simulations for deuterium shattered pellet injection in ASDEX Upgrade. First simulations of deuterium shattered pellet injection (SPI) into an ASDEX Upgrade H Mode plasma with the JOREK MHD code are presented. Resistivity is increased by one order of magnitude in most simulations to reduce computational costs and allow for extensive parameter scans. The effect of various physical parameters onto MHD activity and thermal quench (TQ) dynamics is studied and the influence of MHD onto ablation is shown. TQs are obtained quickly after injection in most simulations with a typical duration of 100 microseconds, which slows down at lower resistivity. Although the n 1 magnetic perturbation dominates in the simulations, toroidal harmonics up to n 10 contribute to stochastization and stochastic transport in the plasma core. The post TQ density profile remains hollow for a few hundred microseconds. However, when flux surfaces re form around the magnetic axis, the density has become monotonic again suggesting a beneficial behaviour for runaway electron avoidance mitigation. With 10 21 atoms injected, the TQ is typically incomplete and triggered when the shards reach the q 2 rational surface. At a larger number of injected atoms, the TQ can set in even before the shards reach this surface. For low field side injection considered here, repeated formation of outward convection cells is observed in the ablation region reducing material assimilation. Responsible is a sudden rise of pressure in the high density cloud when the stochastic region expands further releasing heat from the hot core. After the TQ, strong sheared poloidal rotation is created by Maxwell stress, which contributes to re formation of flux surfaces.


Enumeration of row increasing tableaux of two row skew shapes. In this paper, we firstly extend a result of Bonin, Shapiro and Simion by giving the distribution of the major index over generalized Schr " o der paths. Then by providing a bijection between generalized Schr " o der paths and row increasing tableaux of skew shapes with two rows, we obtain the distribution of the major index and the amajor index over these tableaux, which extends a result of Du, Fan and Zhao. We also generalize a result of Pechenik and give the distribution of the major index over increasing tableaux of skew shapes with two rows. Especially, a bijection from row increasing tableaux with shape (n,m) and maximal value n m k to standard Young tableaux with shape ((n k 1,m k 1,1 k) (1 2)) is obtained.


Federated Learning for Internet of Things Recent Advances, Taxonomy, and Open Challenges. The Internet of Things (IoT) will be ripe for the deployment of novel machine learning algorithms for both network and application management. However, given the presence of massively distributed and private datasets, it is challenging to use classical centralized learning algorithms in the IoT. To overcome this challenge, federated learning can be a promising solution that enables on device machine learning without the need to migrate the private end user data to a central cloud. In federated learning, only learning model updates are transferred between end devices and the aggregation server. Although federated learning can offer better privacy preservation than centralized machine learning, it has still privacy concerns. In this paper, first, we present the recent advances of federated learning towards enabling federated learning powered IoT applications. A set of metrics such as sparsification, robustness, quantization, scalability, security, and privacy, is delineated in order to rigorously evaluate the recent advances. Second, we devise a taxonomy for federated learning over IoT networks. Third, we propose two IoT use cases of dispersed federated learning that can offer better privacy preservation than federated learning. Finally, we present several open research challenges with their possible solutions.


Learning Domain Independent Planning Heuristics with Hypergraph Networks. We present the first approach capable of learning domain independent planning heuristics entirely from scratch. The heuristics we learn map the hypergraph representation of the delete relaxation of the planning problem at hand, to a cost estimate that approximates that of the least cost path from the current state to the goal through the hypergraph. We generalise Graph Networks to obtain a new framework for learning over hypergraphs, which we specialise to learn planning heuristics by training over state value pairs obtained from optimal cost plans. Our experiments show that the resulting architecture, STRIPS HGNs, is capable of learning heuristics that are competitive with existing delete relaxation heuristics including LM cut. We show that the heuristics we learn are able to generalise across different problems and domains, including to domains that were not seen during training.


Elucidating the mechanism of step emulsification. Three dimensional, time dependent direct simulations of step emulsification micro devices highlight two essential mechanisms for droplet formation first, the onset of an adverse pressure gradient driving a back flow of the continuous phase from the external reservoir to the micro channel. Second, the striction of the flowing jet which leads to its subsequent rupture. It is also shown that such a rupture is delayed and eventually suppressed by increasing the flow speed of the dispersed phase within the channel, due to the stabilising effect of dynamic pressure. This suggests a new criterion for dripping jetting transition, based on local values of the Capillary and Weber numbers.


Geomagnetic Storm Main Phase Effect on the Equatorial Ionosphere over Ile Ife as measured using GPS Observations. The effect of the main phase of two intense geomagnetic storm events which occurred on August 5 6 and September 26 27, 2011 on the equatorial ionosphere have been investigated using Global Positioning System (GPS) data obtained from an Ile Ife station (geomagnetic lat. ang 9.84 N, long. 77.25 degree E, Dip ang 7.25 N). Total Electron Content (TEC) profiles during the main phase of the two geomagnetically disturbed days were compared with quiet time average profiles to examine the response of the equatorial ionosphere. The results showed that the intensity of both storm events during the main phase which occurred at night time correlated well with a strong southward direction of the z component of the Interplanetary Magnetic Field (IMF Bz) and Solar Wind Speed (Vsw), with the Disturbance storm time (Dst) profile showing multiple step development. TEC depletion was observed during the main phase of the August 5 6, 2011 storm event with TEC recording a maximum value of 9.31 TECU. A maximum TEC value of 55.8 TECU was recorded during the main phase of the September 26 27, 2011 storm event depicting TEC enhancement. Significant scintillation index value of 0.57 was observed when the main phase started on August 5 6, 2011 followed by a prolonged suppression while there was less significant scintillation impact on September 26 27, 2011 with a maximum value of 0.33. The present study show that rapid energy input from solar wind during geomagnetic storm events effect large variations in TEC and significant scintillation phenomenon in the equatorial ionosphere over Ile Ife, Nigeria.


Are Multi language Design Smells Fault prone? An Empirical Study. Nowadays, modern applications are developed using components written in different programming languages. These systems introduce several advantages. However, as the number of languages increases, so does the challenges related to the development and maintenance of these systems. In such situations, developers may introduce design smells (i.e., anti patterns and code smells) which are symptoms of poor design and implementation choices. Design smells are defined as poor design and coding choices that can negatively impact the quality of a software program despite satisfying functional requirements. Studies on mono language systems suggest that the presence of design smells affects code comprehension, thus making systems harder to maintain. However, these studies target only mono language systems and do not consider the interaction between different programming languages. In this paper, we present an approach to detect multi language design smells in the context of JNI systems. We then investigate the prevalence of those design smells. Specifically, we detect 15 design smells in 98 releases of nine open source JNI projects. Our results show that the design smells are prevalent in the selected projects and persist throughout the releases of the systems. We observe that in the analyzed systems, 33.95 of the files involving communications between Java and C C contains occurrences of multi language design smells. Some kinds of smells are more prevalent than others, e.g., Unused Parameters, Too Much Scattering, Unused Method Declaration. Our results suggest that files with multi language design smells can often be more associated with bugs than files without these smells, and that specific smells are more correlated to fault proneness than others.


Offline Contextual Multi armed Bandits for Mobile Health Interventions A Case Study on Emotion Regulation. Delivering treatment recommendations via pervasive electronic devices such as mobile phones has the potential to be a viable and scalable treatment medium for long term health behavior management. But active experimentation of treatment options can be time consuming, expensive and altogether unethical in some cases. There is a growing interest in methodological approaches that allow an experimenter to learn and evaluate the usefulness of a new treatment strategy before deployment. We present the first development of a treatment recommender system for emotion regulation using real world historical mobile digital data from n 114 high socially anxious participants to test the usefulness of new emotion regulation strategies. We explore a number of offline contextual bandits estimators for learning and propose a general framework for learning algorithms. Our experimentation shows that the proposed doubly robust offline learning algorithms performed significantly better than baseline approaches, suggesting that this type of recommender algorithm could improve emotion regulation. Given that emotion regulation is impaired across many mental illnesses and such a recommender algorithm could be scaled up easily, this approach holds potential to increase access to treatment for many people. We also share some insights that allow us to translate contextual bandit models to this complex real world data, including which contextual features appear to be most important for predicting emotion regulation strategy effectiveness.


CUNI Systems for the Unsupervised and Very Low Resource Translation Task in WMT20. This paper presents a description of CUNI systems submitted to the WMT20 task on unsupervised and very low resource supervised machine translation between German and Upper Sorbian. We experimented with training on synthetic data and pre training on a related language pair. In the fully unsupervised scenario, we achieved 25.5 and 23.7 BLEU translating from and into Upper Sorbian, respectively. Our low resource systems relied on transfer learning from German Czech parallel data and achieved 57.4 BLEU and 56.1 BLEU, which is an improvement of 10 BLEU points over the baseline trained only on the available small German Upper Sorbian parallel corpus.


Selection by vanishing common noise for potential finite state mean field games. The goal of this paper is to provide a selection principle for potential mean field games on a finite state space and, in this respect, to show that equilibria that do not minimize the corresponding mean field control problem should be ruled out. Our strategy is a tailored made version of the vanishing viscosity method for partial differential equations. Here, the viscosity has to be understood as the square intensity of a common noise that is inserted in the mean field game or, equivalently, as the diffusivity parameter in the related parabolic version of the master equation. As established recently, the randomly forced mean field game becomes indeed uniquely solvable for a relevant choice of a Wright Fisher common noise, the counterpart of which in the master equation is a Kimura operator on the simplex. We here elaborate on this idea to make the mean field game with common noise both uniquely solvable and potential, meaning that its unique solution is in fact equal to the unique minimizer of a suitable stochastic mean field control problem. Taking the limit as the intensity of the common noise vanishes, we obtain a rigorous proof of the aforementioned selection principle. As a byproduct, we get that the classical solution to the viscous master equation associated with the mean field game with common noise converges to the gradient of the value function of the mean field control problem without common noise we hence select a particular weak solution of the master equation of the original mean field game. Lastly, we establish an intrinsic uniqueness criterion for this solution within a suitable class.


Power Graphs of Finite Group. The Directed Power Graph of a group is a graph whose vertex set is the elements of the group, with an edge from x to y if y is a power of x . The textit Power Graph of a group can be obtained from the directed power graph by disorienting its edges. This article discusses properties of cliques, cycles, paths, and coloring in power graphs of finite groups. A construction of the longest directed path in power graphs of cyclic groups is given, along with some results on distance in power graphs. We discuss the cyclic subgroup graph of a group and show that it shares a remarkable number of properties with the power graph, including independence number, completeness, number of holes etc., with a few exceptions like planarity and Hamiltonian.


The relative hermitian duality functor. We extend to the category of relative regular holonomic modules on a manifold X , parametrized by a curve S , the Hermitian duality functor (or conjugation functor) of Kashiwara. We prove that this functor is an equivalence with the similar category on the conjugate manifold overline X , parametrized by the same curve. As a byproduct we introduce the notion of regular holonomic relative distribution.


Eisenstein series twisted Shintani zeta function. We introduce the zeta function of the prehomogenous vector space of binary cubic forms, twisted by the real analytic Eisenstein series. We prove the meromorphic continuation of this zeta function and identify its poles and their residues. We also identify the poles and residues of the zeta function when restricted to irreducible binary cubic forms. This zeta function can be used to prove the equidistribution of the lattice shape of cubic rings.


Multi Dimensional Spatially Coupled Code Design Enhancing the Cycle Properties. A circulant based spatially coupled (SC) code is constructed by partitioning the circulants in the parity check matrix of a block code into several components and piecing copies of these components in a diagonal structure. By connecting several SC codes, multi dimensional SC (MD SC) codes are constructed. In this paper, we present a systematic framework for constructing MD SC codes with notably better cycle properties than their one dimensional counterparts. In our framework, the multi dimensional coupling is performed via an informed relocation of problematic circulants. This work is general in the terms of the number of constituent SC codes that are connected together, the number of neighboring SC codes that each constituent SC code is connected to, and the length of the cycles whose populations we aim to reduce. Finally, we present a decoding algorithm that utilizes the structures of the MD SC code to achieve lower decoding latency. Compared to the conventional SC codes, our MD SC codes have a notably lower population of small cycles, and a dramatic BER improvement. The results of this work can be particularly beneficial in data storage systems, e.g., 2D magnetic recording and 3D Flash systems, as high performance MD SC codes are robust against various channel impairments and non uniformity.


Model Decay in Long Term Tracking. Updating the tracker model with adverse bounding box predictions adds an unavoidable bias term to the learning. This bias term, which we refer to as model decay, offsets the learning and causes tracking drift. While its adverse affect might not be visible in short term tracking, accumulation of this bias over a long term can eventually lead to a permanent loss of the target. In this paper, we look at the problem of model bias from a mathematical perspective. Further, we briefly examine the effect of various sources of tracking error on model decay, using a correlation filter (ECO) and a Siamese (SINT) tracker. Based on observations and insights, we propose simple additions that help to reduce model decay in long term tracking. The proposed tracker is evaluated on four long term and one short term tracking benchmarks, demonstrating superior accuracy and robustness, even in 30 minute long videos.


Semantically Multi modal Image Synthesis. In this paper, we focus on semantically multi modal image synthesis (SMIS) task, namely, generating multi modal images at the semantic level. Previous work seeks to use multiple class specific generators, constraining its usage in datasets with a small number of classes. We instead propose a novel Group Decreasing Network (GroupDNet) that leverages group convolutions in the generator and progressively decreases the group numbers of the convolutions in the decoder. Consequently, GroupDNet is armed with much more controllability on translating semantic labels to natural images and has plausible high quality yields for datasets with many classes. Experiments on several challenging datasets demonstrate the superiority of GroupDNet on performing the SMIS task. We also show that GroupDNet is capable of performing a wide range of interesting synthesis applications. Codes and models are available at https github.com Seanseattle SMIS.


L p estimates of extensions of holomorphic functions defined on a non reduced subvariety. Let D be a strictly pseudoconvex domain in C N and X a pure dimensional non reduced subvariety that behaves well at partial D . We provide L p estimates of extensions of holomorphic functions defined on X .


Computability in partial combinatory algebras. We prove a number of elementary facts about computability in partial combinatory algebras (pca's). We disprove a suggestion made by Kreisel about using Friedberg numberings to construct extensional pca's. We then discuss separability and elements without total extensions. We relate this to Ershov's notion of precompleteness, and we show that precomplete numberings are not 1 1 in general.


House GAN Relational Generative Adversarial Networks for Graph constrained House Layout Generation. This paper proposes a novel graph constrained generative adversarial network, whose generator and discriminator are built upon relational architecture. The main idea is to encode the constraint into the graph structure of its relational networks. We have demonstrated the proposed architecture for a new house layout generation problem, whose task is to take an architectural constraint as a graph (i.e., the number and types of rooms with their spatial adjacency) and produce a set of axis aligned bounding boxes of rooms. We measure the quality of generated house layouts with the three metrics the realism, the diversity, and the compatibility with the input graph constraint. Our qualitative and quantitative evaluations over 117,000 real floorplan images demonstrate that the proposed approach outperforms existing methods and baselines. We will publicly share all our code and data.


Structure Constrained Process Graphs for the Process Semantics of Regular Expressions. Milner (1984) introduced a process semantics for regular expressions as process graphs. Unlike for the language semantics, where every regular (that is, DFA accepted) language is the interpretation of some regular expression, there are finite process graphs that are not bisimilar to the process interpretation of any regular expression. For reasoning about graphs that are expressible by regular expressions modulo bisimilarity it is desirable to have structural representations of process graphs in the image of the interpretation. For 1 free' regular expressions, their process interpretations satisfy the structural property LEE (loop existence and elimination). But this is not in general the case for all regular expressions, as we show by examples. Yet as a remedy, we describe the possibility to recover the property LEE for a close variant of the process interpretation. For this purpose we refine the process semantics of regular expressions to yield process graphs with 1 transitions, similar to silent moves for finite state automata. This report accompanies the paper with the same title in the post proceedings of the workshop TERMGRAPH 2020. Here we give the proofs of not only one but of both of the two central theorems.


A Linear Upper Bound on the Weisfeiler Leman Dimension of Graphs of Bounded Genus. The Weisfeiler Leman (WL) dimension of a graph is a measure for the inherent descriptive complexity of the graph. While originally derived from a combinatorial graph isomorphism test called the Weisfeiler Leman algorithm, the WL dimension can also be characterised in terms of the number of variables that is required to describe the graph up to isomorphism in first order logic with counting quantifiers. It is known that the WL dimension is upper bounded for all graphs that exclude some fixed graph as a minor (Grohe, JACM 2012). However, the bounds that can be derived from this general result are astronomic. Only recently, it was proved that the WL dimension of planar graphs is at most 3 (Kiefer, Ponomarenko, and Schweitzer, LICS 2017). In this paper, we prove that the WL dimension of graphs embeddable in a surface of Euler genus g is at most 4g 3 . For the WL dimension of graphs embeddable in an orientable surface of Euler genus g , our approach yields an upper bound of 2g 3 .


Angular values of linear dynamical systems and their connection to the dichotomy spectrum. This work continues the investigation of the previously defined angular values for linear nonautonomous dynamical systems in finite dimensions. The s th angular value measures the maximal average rotation which the dynamics exerts on s dimensional subspaces. Our main theorem relates the angular values to the well known dichotomy (or Sacker Sell) spectrum and its associated spectral bundles. In particular, we prove a reduction theorem which shows that instead of general subspaces it suffices to consider so called trace spaces which have their basis in the spectral fibers. The reduction leads to an algorithm for computing angular values of dimensions one and two. We apply the algorithm to several examples of dimension up to 4 , including a system of coupled oscillators.


Spectral Lower Bounds on the I O Complexity of Computation Graphs. We consider the problem of finding lower bounds on the I O complexity of arbitrary computations in a two level memory hierarchy. Executions of complex computations can be formalized as an evaluation order over the underlying computation graph. However, prior methods for finding I O lower bounds leverage the graph structures for specific problems (e.g matrix multiplication) which cannot be applied to arbitrary graphs. In this paper, we first present a novel method to bound the I O of any computation graph using the first few eigenvalues of the graph's Laplacian. We further extend this bound to the parallel setting. This spectral bound is not only efficiently computable by power iteration, but can also be computed in closed form for graphs with known spectra. We apply our spectral method to compute closed form analytical bounds on two computation graphs (the Bellman Held Karp algorithm for the traveling salesman problem and the Fast Fourier Transform), as well as provide a probabilistic bound for random Erdos Renyi graphs. We empirically validate our bound on four computation graphs, and find that our method provides tighter bounds than current empirical methods and behaves similarly to previously published I O bounds.