Bio Inspired Energy Distribution for Programmable Matter. In systems of active programmable matter, individual modules require a constant supply of energy to participate in the system's collective behavior. These systems are often powered by an external energy source accessible by at least one module and rely on module to module power transfer to distribute energy throughout the system. While much effort has gone into addressing challenging aspects of power management in programmable matter hardware, algorithmic theory for programmable matter has largely ignored the impact of energy usage and distribution on algorithm feasibility and efficiency. In this work, we present an algorithm for energy distribution in the amoebot model that is loosely inspired by the growth behavior of Bacillus subtilis bacterial biofilms. These bacteria use chemical signaling to communicate their metabolic states and regulate nutrient consumption throughout the biofilm, ensuring that all bacteria receive the nutrients they need. Our algorithm similarly uses communication to inhibit energy usage when there are starving modules, enabling all modules to receive sufficient energy to meet their demands. As a supporting but independent result, we extend the amoebot model's well established spanning forest primitive so that it self stabilizes in the presence of crash failures. We conclude by showing how this self stabilizing primitive can be leveraged to compose our energy distribution algorithm with existing amoebot model algorithms, effectively generalizing previous work to also consider energy constraints.


Carleson measure estimates and epsilon approximation of bounded harmonic functions, without Ahlfors regularity assumptions. Let Omega be a domain in mathbb R d 1 , d geq 1 . In the paper's references HMM2 and GMT it was proved that if Omega satisfies a corkscrew condition and if partial Omega is d Ahlfors regular, i.e. Hausdorff measure mathcal H d(B(x,r) cap partial Omega) sim r d for all x in partial Omega and 0 r rm diam ( partial Omega) , then partial Omega is uniformly rectifiable if and only if (a) a square function Carleson measure estimate holds for every bounded harmonic function on Omega or (b) an varepsilon approximation property for all 0 varepsilon 1 for every such function. Here we explore (a) and (b) when partial Omega is not required to be Ahlfors regular. We first prove that (a) and (b) hold for any domain Omega for which there exists a domain widetilde Omega subset Omega such that partial Omega subset partial widetilde Omega and partial widetilde Omega is uniformly rectifiable. We next assume Omega satisfies a corkscrew condition and partial Omega satisfies a capacity density condition. Under these assumptions we prove conversely that the existence of such widetilde Omega implies (a) and (b) hold on Omega and give further characterizations of domains for which (a) or (b) holds. One is that harmonic measure satisfies a Carleson packing condition for diameters similar to the corona decompositionm proved equivalent to uniform rectifiability in GMT . The second characterization is reminiscent of the Carleson measure description of H infty interpolating sequences in the unit disc.


ARMAND Anti Repackaging through Multi pattern Anti tampering based on Native Detection. App repackaging refers to the practice of customizing an existing mobile app and redistributing it in the wild to fool the final user into installing the repackaged app instead of the original one. In this way, an attacker can embed malicious payload into a legitimate app for different aims, such as access to premium features, redirect revenue, or access to user's private data. In the Android ecosystem, apps are available on public stores, and the only requirement for an app to execute properly is to be digitally signed. Due to this, the repackaging threat is widely spread. Anti repackaging techniques aim to make harder the repackaging process for an attack adding logical controls called detection node in the app at compile time. Such controls check the app integrity at runtime to detect tampering. If tampering is recognized, the detection nodes lead the repackaged app to fail (e.g., throwing an exception). From an attacker's standpoint, she must detect and bypass all controls to repackage safely. In this work, we propose a novel anti repackaging scheme called ARMAND which aims to overcome the limitations of the current protection schemes. We have implemented this scheme into a prototype named ARMANDroid which leverages multiple protection patterns and relies on native code. The evaluation phase of ARMANDroid on 30.000 real world Android apps showed that the scheme is robust against the common attack vectors and efficient in terms of time and space overhead.


Categorifying Biquandle Brackets. In their paper entitled "Quantum Enhancements and Biquandle Brackets," Nelson, Orrison, and Rivera introduced biquandle brackets, which are customized skein invariants for biquandle colored links. These invariants generalize the Jones polynomial, which is categorified by Khovanov homology. At the end of their paper, Nelson, Orrison, and Rivera asked if the methods of Khovanov homology could be extended to obtain a categorification of biquandle brackets. We outline herein a Khovanov homology style construction that is an attempt to obtain such a categorification of biquandle brackets. The resulting knot invariant generalizes Khovanov homology, but the biquandle bracket is not always recoverable, meaning the construction is not a true categorification of biquandle brackets. However, the construction does lead to a definition that gives a "canonical" biquandle 2 cocycle associated to a biquandle bracket, which, to the authors' knowledge, was not previously known.


Four dimensional compact Clifford Klein forms of pseudo Riemannian symmetric spaces with signature (2, 2) . We give a classification of irreducible four dimensional symmetric spaces G H which admit compact Clifford Klein forms, where G is the transvection group of G H . For this, we develop a method that applies to particular 1 connected solvable symmetric spaces. We also examine a solvable analogue' of Kobayashi's conjecture for reductive groups and find an evidence that the reductive assumption in Kobayashi's conjecture is crucial.


General Conditions to Realize Exceptional Points of Degeneracy in Two Uniform Coupled Transmission Lines. We present the general conditions to realize a fourth order exceptional point of degeneracy (EPD) in two uniform (i.e., invariant along z) lossless and gainless coupled transmission lines (CTLs), namely, a degenerate band edge (DBE). Until now the DBE has been shown only in periodic structures. In contrast, the CTLs considered here are uniform and subdivided into four cases where the two TLs support combinations of forward propagation, backward propagation and evanescent modes (when neglecting the mutual coupling). We demonstrate for the first time that a DBE is supported in uniform CTLs when there is proper coupling between (i) propagating modes and evanescent modes, (ii) forward and backward propagating modes, or (iii) four evanescent modes (two in each direction). We also show that the loaded quality factor of uniform CTLs exhibiting a fourth order EPD at k 0 is robust to series losses due to the fact that the degenerate modes do not advance in phase. We also provide a microstrip possible implementation of a uniform CTL exhibiting a DBE using periodic series capacitors with very sub wavelength unit cell length. Finally, we show an experimental verification of the existence DBE for a microstrip implementation of a CTL supporting coupled propagating and evanescent modes.


MaGPoS A novel decentralized consensus mechanism combining magnetism and proof of stake. We describe MaGPoS, a novel consensus mechanism which is well suited to decentralized blockchain based protocols. MaGPoS is based on a combination of the well known physics of nano scale magnetism, and previous implementations of proof of stake. This system has been studied by hundreds of thousands of scientists worldwide for over a hundred years, giving it an extreme level of reliability that is needed for a consensus mechanism. We start by explaining the physics, and study the properties that make it particularly beneficial for use in a consensus mechanism. We then show how to apply the physical model to a decentralized network of nodes, each with their own copy of a blockchain. After this, we describe some example calculations that a node in the decentralized network would make, and provide pseudo code for implementation. Finally, we discuss the how the model achieves all of the important properties that one expects of a consensus mechanism.


Bidirectional Context Aware Hierarchical Attention Network for Document Understanding. The Hierarchical Attention Network (HAN) has made great strides, but it suffers a major limitation at level 1, each sentence is encoded in complete isolation. In this work, we propose and compare several modifications of HAN in which the sentence encoder is able to make context aware attentional decisions (CAHAN). Furthermore, we propose a bidirectional document encoder that processes the document forwards and backwards, using the preceding and following sentences as context. Experiments on three large scale sentiment and topic classification datasets show that the bidirectional version of CAHAN outperforms HAN everywhere, with only a modest increase in computation time. While results are promising, we expect the superiority of CAHAN to be even more evident on tasks requiring a deeper understanding of the input documents, such as abstractive summarization. Code is publicly available.


Image polaritons in boron nitride for extreme polariton confinement with low losses. Polaritons in two dimensional materials provide extreme light confinement that is difficult to achieve with metal plasmonics. However, such tight confinement inevitably increases optical losses through various damping channels. Here we demonstrate that hyperbolic phonon polaritons in hexagonal boron nitride can overcome this fundamental trade off. Among two observed polariton modes, featuring a symmetric and antisymmetric charge distribution, the latter exhibits lower optical losses and tighter polariton confinement. Far field excitation and detection of this high momenta mode becomes possible with our resonator design that can boost the coupling efficiency via virtual polariton modes with image charges that we dub image polaritons. Using these image polaritons, we experimentally observe a record high effective index of up to 132 and quality factors as high as 501. Further, our phenomenological theory suggests an important role of hyperbolic surface scattering in the damping process of hyperbolic phonon polaritons.


Non myopic Planetary Exploration Combining In Situ and Remote Measurements. Remote sensing can provide crucial information for planetary rovers. However, they must validate these orbital observations with in situ measurements. Typically, this involves validating hyperspectral data using a spectrometer on board the field robot. In order to achieve this, the robot must visit sampling locations that jointly improve a model of the environment while satisfying sampling constraints. However, current planners follow sub optimal greedy strategies that are not scalable to larger regions. We demonstrate how the problem can be effectively defined in an MDP framework and propose a planning algorithm based on Monte Carlo Tree Search, which is devoid of the common drawbacks of existing planners and also provides superior performance. We evaluate our approach using hyperspectral imagery of a well studied geologic site in Cuprite, Nevada.


A simple proof of the generalized Leibniz rule on bounded Euclidean domains. This note is devoted to a simple proof of the generalized Leibniz rule in bounded domains. The operators under consideration are the so called spectral Laplacian and the restricted Laplacian. Equations involving such operators have been lately considered by Constantin and Ignatova in the framework of the SQG equation cite CI in bounded domains and by two of the authors cite HungJuan in the framework of the porous medium with nonlocal pressure in bounded domains. We will use the estimates in this work in a forthcoming paper on the study of Porous Medium Equations with pressure given by Riesz type potentials .


Price Suggestion for Online Second hand Items with Texts and Images. This paper presents an intelligent price suggestion system for online second hand listings based on their uploaded images and text descriptions. The goal of price prediction is to help sellers set effective and reasonable prices for their second hand items with the images and text descriptions uploaded to the online platforms. Specifically, we design a multi modal price suggestion system which takes as input the extracted visual and textual features along with some statistical item features collected from the second hand item shopping platform to determine whether the image and text of an uploaded second hand item are qualified for reasonable price suggestion with a binary classification model, and provide price suggestions for second hand items with qualified images and text descriptions with a regression model. To satisfy different demands, two different constraints are added into the joint training of the classification model and the regression model. Moreover, a customized loss function is designed for optimizing the regression model to provide price suggestions for second hand items, which can not only maximize the gain of the sellers but also facilitate the online transaction. We also derive a set of metrics to better evaluate the proposed price suggestion system. Extensive experiments on a large real world dataset demonstrate the effectiveness of the proposed multi modal price suggestion system.


Efficient Scale Permuted Backbone with Learned Resource Distribution. Recently, SpineNet has demonstrated promising results on object detection and image classification over ResNet model. However, it is unclear if the improvement adds up when combining scale permuted backbone with advanced efficient operations and compound scaling. Furthermore, SpineNet is built with a uniform resource distribution over operations. While this strategy seems to be prevalent for scale decreased models, it may not be an optimal design for scale permuted models. In this work, we propose a simple technique to combine efficient operations and compound scaling with a previously learned scale permuted architecture. We demonstrate the efficiency of scale permuted model can be further improved by learning a resource distribution over the entire network. The resulting efficient scale permuted models outperform state of the art EfficientNet based models on object detection and achieve competitive performance on image classification and semantic segmentation. Code and models will be open sourced soon.


Generating Adversarial Examples in Chinese Texts Using Sentence Pieces. Adversarial attacks in texts are mostly substitution based methods that replace words or characters in the original texts to achieve success attacks. Recent methods use pre trained language models as the substitutes generator. While in Chinese, such methods are not applicable since words in Chinese require segmentations first. In this paper, we propose a pre train language model as the substitutes generator using sentence pieces to craft adversarial examples in Chinese. The substitutions in the generated adversarial examples are not characters or words but textit 'pieces' , which are more natural to Chinese readers. Experiments results show that the generated adversarial samples can mislead strong target models and remain fluent and semantically preserved.


Acyclic subgraphs of tournaments with high chromatic number. We prove that every n vertex tournament G has an acyclic subgraph with chromatic number at least n 5 9 o(1) , while there exists an n vertex tournament G whose every acyclic subgraph has chromatic number at most n 3 4 o(1) . This establishes in a strong form a conjecture of Nassar and Yuster and improves on another result of theirs. Our proof combines probabilistic and spectral techniques together with some additional ideas. In particular, we prove a lemma showing that every tournament with many transitive subtournaments has a large subtournament that is almost transitive. This may be of independent interest.


Learning a mixture of two subspaces over finite fields. We study the problem of learning a mixture of two subspaces over mathbb F 2 n . The goal is to recover the individual subspaces, given samples from a (weighted) mixture of samples drawn uniformly from the two subspaces A 0 and A 1 . This problem is computationally challenging, as it captures the notorious problem of "learning parities with noise" in the degenerate setting when A 1 subseteq A 0 . This is in contrast to the analogous problem over the reals that can be solved in polynomial time (Vidal'03). This leads to the following natural question is Learning Parities with Noise the only computational barrier in obtaining efficient algorithms for learning mixtures of subspaces over mathbb F 2 n ? The main result of this paper is an affirmative answer to the above question. Namely, we show the following results 1. When the subspaces A 0 and A 1 are incomparable, i.e., A 0 and A 1 are not contained inside each other, then there is a polynomial time algorithm to recover the subspaces A 0 and A 1 . 2. In the case when A 1 is a subspace of A 0 with a significant gap in the dimension i.e., dim(A 1) le alpha dim(A 0) for alpha 1 , there is a n O(1 (1 alpha)) time algorithm to recover the subspaces A 0 and A 1 . Thus, our algorithms imply computational tractability of the problem of learning mixtures of two subspaces, except in the degenerate setting captured by learning parities with noise.


Does set theory really ground arithmetic truth?. We consider the foundational relation between arithmetic and set theory. Our goal is to criticize the construction of standard arithmetic models as providing grounds for arithmetic truth (even in a relative sense). Our method is to emphasize the incomplete picture of both theories and treat models as their syntactical counterparts. Insisting on the incomplete picture will allow us to argue in favor of the revisability of the standard model interpretation. We then show that it is hopeless to expect that the relative grounding provided by a standard interpretation can resist being revisable. We start briefly characterizing the expansion of arithmetic truth provided by the interpretation in a set theory. Further, we show that, for every well founded interpretation of recursive extensions of PA in extensions of ZF, the interpreted version of arithmetic has more theorems than the original. This theorem expansion is not complete however. We continue by defining the coordination problem. The problem can be summarized as follows. We consider two independent communities of mathematicians responsible for deciding over new axioms for ZF and PA. How likely are they to be coordinated regarding PAs interpretation in ZF? We prove that it is possible to have extensions of PA not interpretable in a given set theory ST. We further show that the probability of a random extension of arithmetic being interpretable in ST is zero.


Streamlining Cross Document Coreference Resolution Evaluation and Modeling. Recent evaluation protocols for Cross document (CD) coreference resolution have often been inconsistent or lenient, leading to incomparable results across works and overestimation of performance. To facilitate proper future research on this task, our primary contribution is proposing a pragmatic evaluation methodology which assumes access to only raw text rather than assuming gold mentions, disregards singleton prediction, and addresses typical targeted settings in CD coreference resolution. Aiming to set baseline results for future research that would follow our evaluation methodology, we build the first end to end model for this task. Our model adapts and extends recent neural models for within document coreference resolution to address the CD coreference setting, which outperforms state of the art results by a significant margin.


On the Unity of Logic a Sequential, Unpolarized Approach. The present work aims to give a unity of logic via standard sequential, unpolarized games. Specifically, our vision is that there must be mathematically precise concepts of linear refinement and intuitionistic restriction of logic such that the linear refinement of classical logic (CL) coincides with (classical) linear logic (LL), and its intuitionistic restriction with the linear refinement of intuitionistic logic (IL) into intuitionistic LL (ILL). However, LL is, in contradiction to the name, cannot be the linear refinement of CL at least from the game semantic point of view due to its concurrency and polarization. In fact, existing game semantics of LL employs concurrency, which is rather exotic to game semantics of ILL, IL or CL. Also, linear negation in LL is never true in (game semantics of) ILL, IL or CL. In search for the truly linear refinement of CL, we carve out (a sequent calculus of) linear logic negative ( LL ) from (the two sided sequent calculus of) LL, and introducing a new distribution axiom ! ? A vdash ? ! A (for a translation of sequents Delta vdash Gamma for CL into the sequents ! Delta vdash ? Gamma for LL ). We then give a categorical semantics of LL , for which we introduce why not monad ?, dual to the well known of course comonad !, giving a categorical translation Delta rightarrow Gamma ? ( Delta multimap Gamma) cong ! Delta multimap ? Gamma of CL into LL , which is the Kleisli extension of the standard translation Delta rightarrow Gamma ! Delta multimap Gamma of IL into ILL. Moreover, we instantiate the categorical semantics by fully complete (sequential, unpolarized) game semantics of LL (without atoms), for which we introduce linearity of strategies.


Optimized Synthesis of Snapping Fixtures. Fixtures for constraining the movement of parts have been extensively investigated in robotics, since they are essential for using robots in automated manufacturing. This paper deals with the design and optimized synthesis of a special type of fixtures, which we call emph snapping fixtures . Given a polyhedral workpiece P with n vertices and of constant genus, which we need to hold, a snapping fixture is a semi rigid polyhedron G , made of a palm and several fingers, such that when P and G are well separated, we can push P toward G , slightly bending the fingers of G on the way (exploiting its mild flexibility), and obtain a configuration, where G is back in its original shape and P and G are inseparable as rigid bodies. We prove the minimal closure conditions under which such fixtures can hold parts, using Helly's theorem. We then introduce an algorithm running in O(n 3) time that produces a snapping fixture, minimizing the number of fingers and optimizing additional objectives, if a snapping fixture exists. We also provide an efficient and robust implementation of a simpler version of the algorithm, which produces the fixture model to be 3D printed and runs in O(n 4) time. We describe two applications with different optimization criteria Fixtures to hold add ons for drones, where we aim to make the fixture as lightweight as possible, and small scale fixtures to hold precious stones in jewelry, where we aim to maximize the exposure of the stones, namely minimize the obscuring of the workpiece by the fixture.


Parallel Interactive Networks for Multi Domain Dialogue State Generation. The dependencies between system and user utterances in the same turn and across different turns are not fully considered in existing multidomain dialogue state tracking (MDST) models. In this study, we argue that the incorporation of these dependencies is crucial for the design of MDST and propose Parallel Interactive Networks (PIN) to model these dependencies. Specifically, we integrate an interactive encoder to jointly model the in turn dependencies and cross turn dependencies. The slot level context is introduced to extract more expressive features for different slots. And a distributed copy mechanism is utilized to selectively copy words from historical system utterances or historical user utterances. Empirical studies demonstrated the superiority of the proposed PIN model.


Amplifying Evanescent Waves by Dispersion induced Plasmons Defying the Materials Limitation of Superlens. Breaking the diffraction limit is always an appealing topic due to the urge for a better imaging resolution in almost all areas. As an effective solution, the superlens based on the plasmonic effect can resonantly amplify evanescent waves, and achieve subwavelength resolution. However, the natural plasmonic materials, within their limited choices, usually have inherit high losses and are only available from the infrared to visible wavelengths. In this work, we have theoretically and experimentally demonstrated that the arbitrary materials, even air, can be used to enhance evanescent waves and build low loss superlens with at the desired frequency. The operating mechanisms reside in the dispersion induced effective plasmons in a bounded waveguide structure. Based on this, we constructed the hyperbolic metamaterials and experimentally verified its validity in the microwave range by the directional propagation and imaging with a resolution of 0.087 wavelength. We have also demonstrated that the imaging potential can be extended to terahertz and infrared bands. The proposed method can break the conventional barriers of plasmon based lenses and bring new possibilities to the field of superresolution imaging from microwave to infrared wavelengths.


Good AI for the Present of Humanity Democratizing AI Governance. What do Cyberpunk and AI Ethics have to do with each other? Cyberpunk is a sub genre of science fiction that explores the post human relationships between human experience and technology. One similarity between AI Ethics and Cyberpunk literature is that both seek to explore future social and ethical problems that our technological advances may bring upon society. In recent years, an increasing number of ethical matters involving AI have been pointed and debated, and several ethical principles and guides have been suggested as governance policies for the tech industry. However, would this be the role of AI Ethics? To serve as a soft and ambiguous version of the law? We would like to advocate in this article for a more Cyberpunk way of doing AI Ethics, with a more democratic way of governance. In this study, we will seek to expose some of the deficits of the underlying power structures of the AI industry, and suggest that AI governance be subject to public opinion, so that good AI can become good AI for all.


Locking free staggered DG method for the Biot system of poroelasticity on general polygonal meshes. In this paper we propose and analyze a staggered discontinuous Galerkin method for a five field formulation of the Biot system of poroelasticity on general polygonal meshes. Elasticity is equipped with stress displacement rotation formulation with weak stress symmetry for arbitrary polynomial orders, which extends the piecewise constant approximation developed in (L. Zhao and E. J. Park, SIAM J. Sci. Comput. 42 (2020), A2158 A2181). The proposed method is locking free and can handle highly distorted grids possibly including hanging nodes, which is desirable for practical applications. We prove the convergence estimates for the semi discrete scheme and fully discrete scheme for all the variables in their natural norms. In particular, the stability and convergence analysis do not need a uniformly positive storativity coefficient. Moreover, to reduce the size of the global system, we propose a five field formulation based fixed stress splitting scheme, where the linear convergence of the scheme is proved. Several numerical experiments are carried out to confirm the optimal convergence rates and the locking free property of the proposed method.


Phrase Grounding by Soft Label Chain Conditional Random Field. The phrase grounding task aims to ground each entity mention in a given caption of an image to a corresponding region in that image. Although there are clear dependencies between how different mentions of the same caption should be grounded, previous structured prediction methods that aim to capture such dependencies need to resort to approximate inference or non differentiable losses. In this paper, we formulate phrase grounding as a sequence labeling task where we treat candidate regions as potential labels, and use neural chain Conditional Random Fields (CRFs) to model dependencies among regions for adjacent mentions. In contrast to standard sequence labeling tasks, the phrase grounding task is defined such that there may be multiple correct candidate regions. To address this multiplicity of gold labels, we define so called Soft Label Chain CRFs, and present an algorithm that enables convenient end to end training. Our method establishes a new state of the art on phrase grounding on the Flickr30k Entities dataset. Analysis shows that our model benefits both from the entity dependencies captured by the CRF and from the soft label training regime. Our code is available at url github.com liujch1998 SoftLabelCCRF


Towards Smart e Infrastructures, A Community Driven Approach Based on Real Datasets. e Infrastructures have powered the successful penetration of e services across domains, and form the backbone of the modern computing landscape. e Infrastructure is a broad term used for large, medium and small scale computing environments. The increasing sophistication and complexity of applications have led to even small scale data centers consisting of thousands of interconnects. However, efficient utilization of resources in data centers remains a challenging task, mainly due to the complexity of managing physical nodes, network equipment, cooling systems, electricity, etc. This results in a very strong carbon footprint of this industry. In recent years, efforts based on machine learning approaches have shown promising results towards reducing energy consumption of data centers. Yet, practical solutions that can help data center operators in offering energy efficient services are lacking. This problem is more visible in the context of medium and small scale data center operators (the long tail of e infrastructure providers). Additionally, a disconnect between solution providers (machine learning experts) and data center operators has been observed. This article presents a community driven open source software framework that allows community members to develop better understanding of various aspects of resource utilization. The framework leverages machine learning models for forecasting and optimizing various parameters of data center operations, enabling improved efficiency, quality of service and lower energy consumption. Also, the proposed framework does not require datasets to be shared, which alleviates the extra effort of organizing, describing and anonymizing data in an appropriate format.


Arbitrary Pattern Formation by Opaque Fat Robots with Lights. Arbitrary Pattern Formation is a widely studied problem in autonomous robot systems. The problem asks to design a distributed algorithm that moves a team of autonomous, anonymous and identical mobile robots to form any arbitrary pattern given as input. The majority of the existing literature investigates this problem for robots with unobstructed visibility. In a few recent works, the problem has been studied in the obstructed visibility model, where the view of a robot can be obstructed by the presence of other robots. However, in these works, the robots have been modelled as dimensionless points in the plane. In this paper, we have considered the problem in the more realistic setting where the robots have a physical extent. In particular, the robots are modelled as opaque disks. Furthermore, the robots operate under a fully asynchronous scheduler. They do not have access to any global coordinate system, but agree on the direction and orientation of one coordinate axis. Each robot is equipped with an externally visible light which can assume a constant number of predefined colors. In this setting, we have given a complete characterization of initial configurations from where any arbitrary pattern can be formed by a deterministic distributed algorithm.


The Quantitative Behavior of Asymptotic Syzygies for Hirzebruch Surfaces. The goal of this note is to quantitatively study the behavior of asymptotic syzygies for certain toric surfaces, including Hirzebruch surfaces. In particular, we show that the asymptotic linear syzygies of Hirzebruch surfaces embedded by mathcal O (d,2) conform to Ein, Erman, and Lazarsfeld's normality heuristic. We also show that the higher degree asymptotic syzygies are not asymptotically normally distributed.


Security analysis of two lightweight certificateless signature schemes. Certificateless cryptography can be considered as an intermediate solution to overcome the issues in traditional public key infrastructure (PKI) and identity based public key cryptography (ID PKC). There exist a vast number of certificateless signature (CLS) schemes in the literature however, most of them are not efficient enough to be utilized in limited resources environments such as Internet of things (IoT) or Healthcare Wireless Sensor Networks (HWSN). Recently, two lightweight CLS schemes have been proposed by Karati et al. and Kumar et al. to be employed in IoT and HWSNs, respectively. While both schemes are claimed to be existentially unforgeable, in this paper, we show that both these signatures can easily be forged. More specifically, it is shown that 1) in Karati et al.'s scheme, a type 1 adversary, considered in certificateless cryptography, can generate a valid partial private key corresponding to any user of its choice and as a consequence, it can forge any users' signature on any message of its choice, and 2) in Kumar et al.'s scheme, both types of adversaries which are considered in certificateless cryptography are able to forge any signer's signature on an arbitrary message.


Monodromy of the family of cubic surfaces branching over smooth cubic curves. Consider the family of smooth cubic surfaces which can be realized as threefold branched covers of mathbb P 2 , with branch locus equal to a smooth cubic curve. This family is parametrized by the space mathcal U 3 of smooth cubic curves in mathbb P 2 and each surface is equipped with a mathbb Z 3 mathbb Z deck group action. We compute the image of the monodromy map rho induced by the action of pi 1 left( mathcal U 3 right) on the 27 lines contained on the cubic surfaces of this family. Due to a classical result, this image is contained in the Weyl group W left(E 6 right) . Our main result is that rho is surjective onto the centralizer of the image a of a generator of the deck group. Our proof is mainly computational, and relies on the relation between the 9 inflection points in a cubic curve and the 27 lines contained in the cubic surface branching over it.


Scaling Hidden Markov Language Models. The hidden Markov model (HMM) is a fundamental tool for sequence modeling that cleanly separates the hidden state from the emission structure. However, this separation makes it difficult to fit HMMs to large datasets in modern NLP, and they have fallen out of use due to very poor performance compared to fully observed models. This work revisits the challenge of scaling HMMs to language modeling datasets, taking ideas from recent approaches to neural modeling. We propose methods for scaling HMMs to massive state spaces while maintaining efficient exact inference, a compact parameterization, and effective regularization. Experiments show that this approach leads to models that are more accurate than previous HMM and n gram based methods, making progress towards the performance of state of the art neural models.


Wireless Federated Distillation for Distributed Edge Learning with Heterogeneous Data. Cooperative training methods for distributed machine learning typically assume noiseless and ideal communication channels. This work studies some of the opportunities and challenges arising from the presence of wireless communication links. We specifically consider wireless implementations of Federated Learning (FL) and Federated Distillation (FD), as well as of a novel Hybrid Federated Distillation (HFD) scheme. Both digital implementations based on separate source channel coding and over the air computing implementations based on joint source channel coding are proposed and evaluated over Gaussian multiple access channels.


Fair Resource Sharing with Externailities. We study a fair resource sharing problem, where a set of resources are to be shared among a set of agents. Each agent demands one resource and each resource can serve a limited number of agents. An agent cares about what resource they get as well as the externalities imposed by their mates, whom they share the same resource with. Apparently, the strong notion of envy freeness, where no agent envies another for their resource or mates, cannot always be achieved and we show that even to decide the existence of such a strongly envy free assignment is an intractable problem. Thus, a more interesting question is whether (and in what situations) a relaxed notion of envy freeness, the Pareto envy freeness, can be achieved an agent i envies another agent j only when i envies both the resource and the mates of j. In particular, we are interested in a dorm assignment problem, where students are to be assigned to dorms with the same capacity and they have dichotomous preference over their dorm mates. We show that when the capacity of the dorms is 2, a Pareto envy free assignment always exists and we present a polynomial time algorithm to compute such an assignment nevertheless, the result fails to hold immediately when the capacities increase to 3, in which case even Pareto envy freeness cannot be guaranteed. In addition to the existential results, we also investigate the implications of envy freeness on proportionality in our model and show that envy freeness in general implies approximations of proportionality.


Connectors. Recently, the author and Yamamoto invented a new proof of the duality for multiple zeta values. The technique is applicable in other series identities. In this article, we exhibit such proofs for some series identities.


On the Frobenius Complexity of Stanley Reisner Rings. The Frobenius complexity of a local ring R measures asymptotically the abundance of Frobenius operators of order e on the injective hull of the residue field of R . It is known that, for Stanley Reisner rings, the Frobenius complexity is either infty or 0 . This invariant is determined by the complexity sequence c e e of the ring of Frobenius operators on the injective hull of the residue field. We will show that c e e is constant for e geq 2, generalizing work of Alvarez Montaner, Boix and Zarzuela. Our result settles an open question mentioned by Alvarez Montaner in one of his papers.


Low latency hand gesture recognition with a low resolution thermal imager. Using hand gestures to answer a call or to control the radio while driving a car, is nowadays an established feature in more expensive cars. High resolution time of flight cameras and powerful embedded processors usually form the heart of these gesture recognition systems. This however comes with a price tag. We therefore investigate the possibility to design an algorithm that predicts hand gestures using a cheap low resolution thermal camera with only 32x24 pixels, which is light weight enough to run on a low cost processor. We recorded a new dataset of over 1300 video clips for training and evaluation and propose a light weight low latency prediction algorithm. Our best model achieves 95.9 classification accuracy and 83 mAP detection accuracy while its processing pipeline has a latency of only one frame.


Rethinking Classification and Localization for Object Detection. Two head structures (i.e. fully connected head and convolution head) have been widely used in R CNN based detectors for classification and localization tasks. However, there is a lack of understanding of how does these two head structures work for these two tasks. To address this issue, we perform a thorough analysis and find an interesting fact that the two head structures have opposite preferences towards the two tasks. Specifically, the fully connected head (fc head) is more suitable for the classification task, while the convolution head (conv head) is more suitable for the localization task. Furthermore, we examine the output feature maps of both heads and find that fc head has more spatial sensitivity than conv head. Thus, fc head has more capability to distinguish a complete object from part of an object, but is not robust to regress the whole object. Based upon these findings, we propose a Double Head method, which has a fully connected head focusing on classification and a convolution head for bounding box regression. Without bells and whistles, our method gains 3.5 and 2.8 AP on MS COCO dataset from Feature Pyramid Network (FPN) baselines with ResNet 50 and ResNet 101 backbones, respectively.


Sharp interface limit of a multi phase transitions model under nonisothermal conditions. A vectorial Modica Mortola functional is considered and the convergence to a sharp interface model is studied. The novelty of the paper is that the wells of the potential are not constant, but depend on the spatial position in the domain Omega . The mass constrained minimization problem and the case of Dirichlet boundary conditions are also treated. The proofs rely on the precise understanding of minimizing geodesics for the degenerate metric induced by the potential.


On weighted Compactness of commutators of bilinear maximal Calder 'on Zygmund singular integral operators. Let T be a bilinear Calder 'on Zygmund singular integral operator and T be its corresponding truncated maximal operator. For any b in text BMO ( mathbb R n) and vec b (b 1, b 2) in text BMO ( mathbb R n) times text BMO ( mathbb R n) , let T b,j (j 1,2), T vec b be the commutators in the j th entry and the iterated commutators of T , respectively. In this paper, for all 1 p 1,p 2 infty , frac 1 p frac 1 p 1 frac 1 p 2 , we show that T b,j and T vec b are compact operators from L p 1 (w 1) times L p 2 (w 2) to L p(v vec w ) , if b,b 1,b 2 in rm CMO ( mathbb R n) and vec w (w 1,w 2) in A vec p , v vec w w 1 p p 1 w 2 p p 2 . Here rm CMO ( mathbb R n) denotes the closure of mathcal C c infty( mathbb R n) in the rm BMO ( mathbb R n) topology and A vec p is the multiple weights class.


Critical behavior in the Artificial Axon. The Artificial Axon is a unique synthetic system, based on biomolecular components, which supports action potentials. Here we examine, experimentally and theoretically, the properties of the threshold for firing in this system. As in real neurons, this threshold corresponds to the critical point of a saddle node bifurcation. We measure the delay time for firing as a function of the distance to threshold, recovering the expected scaling exponent of 1 2 . We introduce a minimal model of the Morris Lecar type, validate it on the experiments, and use it to extend analytical results obtained in the limit of "fast" ion channel dynamics. In particular, we discuss the dependence of the firing threshold on the number of channels. The Artificial Axon is a simplified system, an Ur neuron, relying on only one ion channel species for functioning. Nonetheless, universal properties such as the action potential behavior near threshold are the same as in real neurons. Thus we may think of the Artificial Axon as a cell free breadboard for electrophysiology research.


A Model Checking based Analysis Framework for Systems Biology Models. Biological systems are often modeled as a system of ordinary differential equations (ODEs) with time invariant parameters. However, cell signaling events or pharmacological interventions may alter the cellular state and induce multi mode dynamics of the system. Such systems are naturally modeled as hybrid automata, which possess multiple operational modes with specific nonlinear dynamics in each mode. In this paper we introduce a model checking enabled framework than can model and analyze both single and multi mode biological systems. We tackle the central problem in systems biology identify parameter values such that a model satisfies desired behaviors using bounded model checking. We resort to the delta decision procedures to solve satisfiability modulo theories (SMT) problems and sidestep undecidability of reachability problems. Our framework enables several analysis tasks including model calibration and falsification, therapeutic strategy identification, and Lyapunov stability analysis. We demonstrate the applicablitliy of these methods using case studies of prostate cancer progression, cardiac cell action potential and radiation diseases.


Byzantine Fault Tolerant Consensus via Reinforcement Learning for Permissioned Blockchain Implemented in a V2X Network. Blockchain has been forming the central piece of various types of vehicle to everything (V2X) network for trusted data exchange. Recently, permissioned blockchains garner particular attention thanks to their improved scalability and diverse needs from different organizations. One representative example of permissioned blockchain is Hyperledger Fabric ("Fabric"). Due to its unique execute order procedure, there is a critical need for a client to select an optimal number of peers. The interesting problem that this paper targets to address is the tradeoff in the number of peers a too large number will degrade scalability while a too small number will make the network vulnerable to faulty nodes. This optimization issue gets especially challenging in V2X networks due to mobility of nodes a transaction must be executed and the associated block must be committed before the vehicle leaves a network. To this end, this paper proposes an optimal peers selection mechanism based on reinforcement learning (RL) to keep a Fabric empowered V2X network impervious to dynamicity due to mobility. We model the RL as a contextual multi armed bandit (MAB) problem. The results demonstrate the outperformance of the proposed scheme.


Kooplex collaborative data analytics portal for advancing sciences. Research collaborations are continuously emerging catalyzed by online platforms, where people can share their codes, calculations, data and results. These virtual research platforms are innovative, community oriented, flexible and secure as required by modern scientific approaches. A wide range of open source and commercial solutions are available in this field emphasizing the relevant aspects of such a platform differently. In this paper we present our open source and modular platform, KOOPLEX, which combines the key concepts of dynamic collaboration, customizable research environment, data sharing, access to datahubs, reproducible research and reporting. It is easily deployable and scalable to serve more users or access large computational resources.


Strongly Chordal Graph Generation using Intersection Graph Characterisation. Strongly chordal graphs are a subclass of chordal graphs. Farber also established a number of different characterisations for this class of graphs. These include an intersection graph characterisation that is analogous to a similar characterisation for chordal graphs. Seker et al. exploited this characterisation of chordal graphs to obtain an algorithm for generating them. In this paper, we propose an algorithm to show that strongly chordal graphs can also be generated using their intersection graph characterisation.


Tri Coble surfaces and their automorphisms. We construct some positive entropy automorphisms of rational surfaces with no periodic curves. The surfaces in question, which we term tri Coble surfaces, are blow ups of the projective plane at 12 points which have contractions down to three different Coble surfaces. The automorphisms arise as compositions of lifts of Bertini involutions from certain degree 1 weak del Pezzo surfaces.


Backscatter Cooperation in NOMA Communications Systems. In this paper, a backscatter cooperation (BC) scheme is proposed for non orthogonal multiple access (NOMA) downlink transmission. The key idea is to enable one user to split and then backscatter part of its received signals to improve the reception at another user. To evaluate the performance of the proposed BC NOMA scheme, three benchmark schemes are introduced. They are the non cooperation (NC) NOMA scheme, the conventional relaying (CR) NOMA scheme, and the incremental relaying (IR) NOMA scheme. For all these schemes, the analytical expressions of the minimum total power to avoid information outage are derived, based on which their respective outage performance, expected rates, and diversity multiplexing trade off (DMT) are investigated. Analytical results show that the proposed BC NOMA scheme strictly outperforms the NC NOMA scheme in terms of all the three metrics. Furthermore, theoretical analyses are validated via Monte Carlo simulations. It is shown that unlike the CR NOMA scheme and the IR NOMA scheme, the proposed BC NOMA scheme can enhance the transmission reliability without impairing the transmission rate, which makes backscattering an appealing solution to cooperative NOMA downlinks.


Tight Bounds for Connectivity of Random K out Graphs. Random K out graphs are used in several applications including modeling by sensor networks secured by the random pairwise key predistribution scheme, and payment channel networks. The random K out graph with n nodes is constructed as follows. Each node draws an edge towards K distinct nodes selected uniformly at random. The orientation of the edges is then ignored, yielding an undirected graph. An interesting property of random K out graphs is that they are connected almost surely in the limit of large n for any K geq2 . This means that they attain the property of being connected very easily, i.e., with far fewer edges ( O(n) ) as compared to classical random graph models including Erd H o s R 'enyi graphs ( O(n log n) ). This work aims to reveal to what extent the asymptotic behavior of random K out graphs being connected easily extends to cases where the number n of nodes is small. We establish upper and lower bounds on the probability of connectivity when n is finite. Our lower bounds improve significantly upon the existing results, and indicate that random K out graphs can attain a given probability of connectivity at much smaller network sizes than previously known. We also show that the established upper and lower bounds match order wise i.e., further improvement on the order of n in the lower bound is not possible. In particular, we prove that the probability of connectivity is 1 Theta( 1 n K 2 1 ) for all K geq 2 . Through numerical simulations, we show that our bounds closely mirror the empirically observed probability of connectivity.


Proportions of vanishing elements in finite groups. In this paper, we study the proportion of vanishing elements of finite groups. We show that the proportion of vanishing elements of every finite non abelian group is bounded below by 1 2 and classify all finite groups whose proportions of vanishing elements attain this bound. For symmetric groups of degree at least 5 , we show that this bound is at least 2327 2520 which is best possible.


Who owns the theorem?. Epistemological and sociological questions about ownership of mathematical and scientific discoveries.


Second order exchange dispersion energy based on multireference description of monomers. We present a method for calculation of the second order exchange dispersion energy in the framework of the symmetry adapted perturbation theory (SAPT) for weakly interacting monomers described with multiconfigurational wave functions. The proposed formalism is based on response properties obtained from extended random phase approximation (ERPA) equations and assumes the single exchange (S2) approximation. The approach is applicable to closed shell systems where static correlation cannot be neglected or to systems in nondegenerate excited states. We examine the new method in combination with either generalized valence bond perfect pairing (GVB) or complete active space self consistent field (CASSCF) description of the interacting monomers. For model multireference dimers in ground states (H2 H2, Be Be, He H2) exchange dispersion energies are reproduced accurately. For the interaction between the excited hydrogen molecule and the helium atom we found unacceptably large errors which is attributed to the neglect of diagonal double excitations in the employed approximation to the linear response function.


A relaxed small gain theorem for infinite networks. Motivated by the scalability problem in large networks, we study stability of a network of infinitely many finite dimensional subsystems. We develop a so called relaxed small gain theorem for input to state stability (ISS) with respect to a closed set and show that every exponentially input to state stable system necessarily satisfies the proposed small gain condition. Following our bottom up approach, we study the well posedness of the interconnection based on the behavior of the individual subsystems. Finally, we over approximate large but finite networks by infinite networks and show that all the stability properties and the performance indices obtained for the infinite system can be transferred to the original finite one if each subsystem of the infinite network is individually ISS. Interestingly, the size of the truncated network does not need to be known. The effectiveness of our small gain theorem is verified by application to an urban traffic network.


Reflected BSDEs with two optional barriers and monotone coefficient on general filtered space. We consider reflected backward stochastic differential equations with two optional barriers of class (D) satisfying Mokobodzki's separation condition and coefficient which is only continuous and non increasing. We assume that data are merely integrable and the terminal time is an arbitrary (possibly infinite) stopping time. We study the problem of existence and uniqueness of solutions, and their connections with the value process in nonlinear Dynkin games.


Habitat A Platform for Embodied AI Research. We present Habitat, a platform for research in embodied artificial intelligence (AI). Habitat enables training embodied agents (virtual robots) in highly efficient photorealistic 3D simulation. Specifically, Habitat consists of (i) Habitat Sim a flexible, high performance 3D simulator with configurable agents, sensors, and generic 3D dataset handling. Habitat Sim is fast when rendering a scene from Matterport3D, it achieves several thousand frames per second (fps) running single threaded, and can reach over 10,000 fps multi process on a single GPU. (ii) Habitat API a modular high level library for end to end development of embodied AI algorithms defining tasks (e.g., navigation, instruction following, question answering), configuring, training, and benchmarking embodied agents. These large scale engineering contributions enable us to answer scientific questions requiring experiments that were till now impracticable or 'merely' impractical. Specifically, in the context of point goal navigation (1) we revisit the comparison between learning and SLAM approaches from two recent works and find evidence for the opposite conclusion that learning outperforms SLAM if scaled to an order of magnitude more experience than previous investigations, and (2) we conduct the first cross dataset generalization experiments train, test x Matterport3D, Gibson for multiple sensors blind, RGB, RGBD, D and find that only agents with depth (D) sensors generalize across datasets. We hope that our open source platform and these findings will advance research in embodied AI.


Theoretical and numerical analysis for angular acceleration being determinant of brain strain in mTBI. Mild traumatic brain injury (mTBI, also known as concussion) caused by the head impact is a crucial global public health problem, but the physics of mTBI is still unclear. During the impact, the rapid movement of the head injures the brain, so researchers have been endeavoring to investigate the relationship between head kinematic parameters (e.g., linear acceleration, angular velocity, angular acceleration) and brain strain, which is associated with the injury of the brain tissue. Although previous studies have shown that linear acceleration had a limited contribution to brain strain, whether angular velocity or angular acceleration causes brain strain is still unclear because of their interdependency (acceleration being the velocity time derivative). By reframing the problem through the lens of inertial forces, we propose to use the skull frame of reference instead of the ground frame of reference to describe brain deformation during head impact. Based on the rigid body rotation of the brain, we present a theoretical framework of mechanical analysis about how the inertial forces cause brain strain. In this way, we theoretically show that angular acceleration determines brain strain, and we validate this by numerical simulations using a finite element head model. We also provide an explanation of why previous studies based on peak values found the opposite that angular velocity determined brain strain in certain situations. Furthermore, we use the same framework to show that linear acceleration causes brain strain in a different mechanism from angular acceleration. However, because of the brain's different resistances to compressing and shearing, the brain strain caused by linear acceleration is small compared with angular acceleration.


On relations of anisotropy and linear inhomogeneity using Backus average. The anisotropy of an equivalent medium resulting from the Backus (1962) average is induced by the vertical inhomogeneity among its constituent layers. The velocity field of the constituent isotropic layers increases linearly with depth, which is assumed to be a good seismological description of sedimentary layers Slotnick (1959). We derive an analytical relationship between the anisotropy, characterized by the Thomsen (1986) parameters, and the linear inhomogeneity parameters, which forms a system of three equations for nine unknowns. To obtain well posedness, we constrain the problem by considering two seismological methods applied to field data. We use the results from the two methods, for a particular region of interest, to assess the validity of the analytical relation.


Asymptotic behavior of branching diffusion processes in periodic media. We study the asymptotic behavior of branching diffusion processes in periodic media. For a super critical branching process, we distinguish two types of behavior for the normalized number of particles in a bounded domain, depending on the distance of the domain from the region where the bulk of the particles is located. At distances that grow linearly in time, we observe intermittency (i.e., the k th moment dominates the k th power of the first moment for some k ), while, at distances that grow sub linearly in time, we show that all the moments converge. A key ingredient in our analysis is a sharp estimate of the transition kernel for the branching process, valid up to linear in time distances from the location of the initial particle.


Who are Political Retweeters?, Demographic comparison of political retweeters with retweeters of non political personalities. Twitter has been a focus of research in political science for a few years now as it provides the opportunity to make direct observations on the spread of political information in different communities. Here we will be studying the phenomena of information diffusion, and focus on nodes that are responsible for spreading political information everywhere on the Twitter network. This paper attempts to fill gaps in the literature regarding the demographics of political retweeters using various techniques on the name and location related data from most active French political retweeters. Here I will try to state the break down of these accounts in categories based on gender, language, location, education level, and self descriptions. To put the information about political retweeters in context we will also create a category of non political retweeters to draw comparisons between the groups regarding the above mentioned variables.


Finiteness criteria and uniformity of integral sections in some families of abelian varieties. Let A be abelian variety over the function field K of a compact Riemann surface B . Fix a model f colon mathcal A to B of A K and a certain effective horizontal divisor DD subset mathcal A . We give a sufficient condition on the divisor DD for the finiteness of the set of (S, DD) integral sections for every finite subset S subset B . These integral sections sigma correspond to rational points in A(K) which satisfy the geometric condition f ( sigma(B) cap DD) subset S . This notion is the geometric variant of integral solutions of a system of emph Diophantine equations . When mathcal A A 0 times B for some complex abelian variety A 0 , we also give a certain uniform bound on the number of (S, DD) integral sections. For trivial families of abelian surfaces, a numerical criterion on DD for the finiteness of (S, DD) integral sections is obtained.


A "rare'' plane set with Hausdorff dimension 2. We prove that for every at most countable family f k(x) of real functions on 0,1) there is a single valued real function F(x) , x in 0,1) , such that the Hausdorff dimension of the graph Gamma of F(x) equals 2, and for every C in mathbb R and every k , the intersection of Gamma with the graph of the function f k(x) C consists of at most one point. We also construct a family of functions of cardinality continuum and a function F with similar properties.


Linear equations with two variables in Piatetski Shapiro sequences. For every non integral alpha 1 , the sequence of the integer parts of n alpha (n 1,2, ldots) is called the Piatetski Shapiro sequence with exponent alpha , and let mathrm PS ( alpha) denote the set of all those terms. For all X subseteq mathbb N , we say that an equation y ax b is solvable in X if the equation has infinitely many solutions of distinct pairs (x,y) in X 2 . Let a,b in mathbb R with a neq 1 and 0 leq b a , and suppose that the equation y ax b is solvable in mathbb N . We show that for all 1 alpha 2 the equation y ax b is solvable in mathrm PS ( alpha) . Further, we investigate the set of alpha in (s,t) so that the equation y ax b is solvable in mathrm PS ( alpha) where 2 s t . Finally, we show that the Hausdorff dimension of the set is coincident with 2 s .


Lattice Boltzmann simulations of three dimensional thermal convective flows at high Rayleigh number. We present numerical simulations of three dimensional thermal convective flows in a cubic cell at high Rayleigh number using thermal lattice Boltzmann (LB) method. The thermal LB model is based on double distribution function approach, which consists of a D3Q19 model for the Navier Stokes equations to simulate fluid flows and a D3Q7 model for the convection diffusion equation to simulate heat transfer. Relaxation parameters are adjusted to achieve the isotropy of the fourth order error term in the thermal LB model. Two types of thermal convective flows are considered one is laminar thermal convection in side heated convection cell, which is heated from one vertical side and cooled from the other vertical side while the other is turbulent thermal convection in Rayleigh B 'enard convection cell, which is heated from the bottom and cooled from the top. In side heated convection cell, steady results of hydrodynamic quantities and Nusselt numbers are presented at Rayleigh numbers of 10 6 and 10 7 , and Prandtl number of 0.71, where the mesh sizes are up to 257 3 in Rayleigh B 'enard convection cell, statistical averaged results of Reynolds and Nusselt numbers, as well as kinetic and thermal energy dissipation rates are presented at Rayleigh numbers of 10 6 , 3 times 10 6 , and 10 7 , and Prandtl numbers of 0.7 and 7, where the nodes within thermal boundary layer are around 8. Compared with existing benchmark data obtained by other methods, the present LB model can give consistent results.


XpulpNN Enabling Energy Efficient and Flexible Inference of Quantized Neural Network on RISC V based IoT End Nodes. This work introduces lightweight extensions to the RISC V ISA to boost the efficiency of heavily Quantized Neural Network (QNN) inference on microcontroller class cores. By extending the ISA with nibble (4 bit) and crumb (2 bit) SIMD instructions, we are able to show near linear speedup with respect to higher precision integer computation on the key kernels for QNN computation. Also, we propose a custom execution paradigm for SIMD sum of dot product operations, which consists of fusing a dot product with a load operation, with an up to 1.64x peak MAC cycle improvement compared to a standard execution scenario. To further push the efficiency, we integrate the RISC V extended core in a parallel cluster of 8 processors, with near linear improvement with respect to a single core architecture. To evaluate the proposed extensions, we fully implement the cluster of processors in GF22FDX technology. QNN convolution kernels on a parallel cluster implementing the proposed extension run 6 x and 8 x faster when considering 4 and 2 bit data operands, respectively, compared to a baseline processing cluster only supporting 8 bit SIMD instructions. With a peak of 2.22 TOPs s W, the proposed solution achieves efficiency levels comparable with dedicated DNN inference accelerators, and up to three orders of magnitude better than state of the art ARM Cortex M based microcontroller systems such as the low end STM32L4 MCU and the high end STM32H7 MCU.


Enhancing the Association in Multi Object Tracking via Neighbor Graph. Most modern multi object tracking (MOT) systems follow the tracking by detection paradigm. It first localizes the objects of interest, then extracting their individual appearance features to make data association. The individual features, however, are susceptible to the negative effects as occlusions, illumination variations and inaccurate detections, thus resulting in the mismatch in the association inference. In this work, we propose to handle this problem via making full use of the neighboring information. Our motivations derive from the observations that people tend to move in a group. As such, when an individual target's appearance is seriously changed, we can still identify it with the help of its neighbors. To this end, we first utilize the spatio temporal relations produced by the tracking self to efficiently select suitable neighbors for the targets. Subsequently, we construct neighbor graph of the target and neighbors then employ the graph convolution networks (GCN) to learn the graph features. To the best of our knowledge, it is the first time to exploit neighbor cues via GCN in MOT. Finally, we test our approach on the MOT benchmarks and achieve state of the art performance in online tracking.


Context aware Stand alone Neural Spelling Correction. Existing natural language processing systems are vulnerable to noisy inputs resulting from misspellings. On the contrary, humans can easily infer the corresponding correct words from their misspellings and surrounding context. Inspired by this, we address the stand alone spelling correction problem, which only corrects the spelling of each token without additional token insertion or deletion, by utilizing both spelling information and global context representations. We present a simple yet powerful solution that jointly detects and corrects misspellings as a sequence labeling task by fine turning a pre trained language model. Our solution outperforms the previous state of the art result by 12.8 absolute F0.5 score.


Hierarchical Reinforcement Learning as a Model of Human Task Interleaving. How do people decide how long to continue in a task, when to switch, and to which other task? Understanding the mechanisms that underpin task interleaving is a long standing goal in the cognitive sciences. Prior work suggests greedy heuristics and a policy maximizing the marginal rate of return. However, it is unclear how such a strategy would allow for adaptation to everyday environments that offer multiple tasks with complex switch costs and delayed rewards. Here we develop a hierarchical model of supervisory control driven by reinforcement learning (RL). The supervisory level learns to switch using task specific approximate utility estimates, which are computed on the lower level. A hierarchically optimal value function decomposition can be learned from experience, even in conditions with multiple tasks and arbitrary and uncertain reward and cost structures. The model reproduces known empirical effects of task interleaving. It yields better predictions of individual level data than a myopic baseline in a six task problem (N 211). The results support hierarchical RL as a plausible model of task interleaving.


Learning to Transfer Visual Effects from Videos to Images. We study the problem of animating images by transferring spatio temporal visual effects (such as melting) from a collection of videos. We tackle two primary challenges in visual effect transfer 1) how to capture the effect we wish to distill and 2) how to ensure that only the effect, rather than content or artistic style, is transferred from the source videos to the input image. To address the first challenge, we evaluate five loss functions the most promising one encourages the generated animations to have similar optical flow and texture motions as the source videos. To address the second challenge, we only allow our model to move existing image pixels from the previous frame, rather than predicting unconstrained pixel values. This forces any visual effects to occur using the input image's pixels, preventing unwanted artistic style or content from the source video from appearing in the output. We evaluate our method in objective and subjective settings, and show interesting qualitative results which demonstrate objects undergoing atypical transformations, such as making a face melt or a deer bloom.


Gas equilibration gas modulation refractometry (GEq GAMOR) for assessment of pressure with sub ppm precision. A novel realization of Gas Modulation Refractometry (GAMOR) that outperforms the original realization Single Cavity Modulated GAMOR (SCM GAMOR) , is presented. The reference measurements are carried out by equalizing the pressures in the two cavities. By this, the time it takes to reach adequate conditions for the reference measurements has been reduced. This implies that a larger fraction of the measurement cycle can be devoted to data acquisition, which reduces white noise and improves on short term characteristics. The presented realization also encompasses a new cavity design with improved temperature stabilization and assessment. This has contributed to an improved long term characteristics. The system was characterized with respect to a dead weight piston gauge. For short integration times (up to 10 min) it can provide a response that exceeds that of the original SCM GAMOR system by a factor of two. For longer integration times, and up to 18 hours, the system shows, at 4303 Pa, an integration time independent Allan deviation of 1 mPa (corresponding to a precision defined as twice the Allan deviation, of 0.5 ppm). This implies that the novel system shows a significant improvement with respect to the original realization for all integration times (by a factor of 8 for an integration time of 18 hours). When used for low pressures, it can provide a precision in the sub mPa region for the case with an evacuated measurement cavity, the system provided, up to ca. 40 measurement cycles (ca. 1.5 hours), a white noise limited noise of 0.7 mPa sqrt(cycle), and minimum Allan deviation of 0.15 mPa. Furthermore, over the pressure range investigated, i.e. in the 2.8 10.1 kPa range, it shows, with respect to a dead weight piston gauge, a purely linear response. This implies that the system can be used for transfer of calibration over large pressure ranges with exceptional low uncertainty.


Hat Guessing on Books and Windmills. The hat guessing number is a graph invariant defined by Butler, Hajiaghayi, Kleinberg, and Leighton. We determine the hat guessing number exactly for book graphs with sufficiently many pages, improving previously known lower bounds of He and Li and exactly matching an upper bound of Gadouleau. We prove that the hat guessing number of K 3,3 is 3 , making this the first complete bipartite graph K n,n for which the hat guessing number is known to be smaller than the upper bound of n 1 of Gadouleau and Georgiou. Finally, we determine the hat guessing number of windmill graphs for most choices of parameters.


Octonionic Brownian Windings. We define and study the windings along Brownian paths in the octonionic Euclidean, projective and hyperbolic spaces which are isometric to 8 dimensional Riemannian model spaces. In particular, the asymptotic laws of these windings are shown to be Gaussian for the flat and spherical geometries while the hyperbolic winding exhibits a different long time behavior.


Hyperbolicity and Specialness of Symmetric Powers. Inspired by the computation of the Kodaira dimension of symmetric powers Xm of a complex projective variety X of dimension n ge 2 by Arapura and Archava, we study their analytic and algebraic hyperbolic properties. First we show that Xm is special if and only if X is special (except when the core of X is a curve). Then we construct dense entire curves in (suf ficiently hig) symmetric powers of K3 surfaces and product of curves. We also give a criterion based on the positivity of jet differentials bundles that implies pseudo hyperbolicity of symmetric powers. As an application, we obtain the Kobayashi hyperbolicity of symmetric powers of generic projective hypersur faces of sufficiently high degree. On the algebraic side, we give a criterion implying that subvarieties of codimension le n 2 of symmetric powers are of general type. This applies in particular to varieties with ample cotangent bundles. Finally, based on a metric approach we study symmetric powers of ball quotients.


Irreducible Jet modules for the vector field Lie algebra on mathbb S 1 times mathbb C . For a commutative algebra A over mathbb C ,denote mathfrak g text Der (A) . A module over the smash product A U( mathfrak g ) is called a jet mathfrak g module, where U( mathfrak g ) is the universal enveloping algebra of mathfrak g .In the present paper, we study jet modules in the case of A mathbb C t 1 pm 1 ,t 2 .We show that A U( mathfrak g ) cong mathcal D otimes U(L) , where mathcal D is the Weyl algebra mathbb C t 1 pm 1 ,t 2, frac partial partial t 1 , frac partial partial t 2 , and L is a Lie subalgebra of A U( mathfrak g ) called the jet Lie algebra corresponding to mathfrak g .Using a Lie algebra isomorphism theta L rightarrow mathfrak m 1,0 Delta , where mathfrak m 1,0 Delta is the subalgebra of vector fields vanishing at the point (1,0) , we show that any irreducible finite dimensional L module is isomorphic to an irreducible mathfrak gl 2 module. As an application, we give tensor product realizations of irreducible jet modules over mathfrak g with uniformly bounded weight spaces.


Special subvarieties of non arithmetic ball quotients and Hodge Theory. Let Gamma subset operatorname PU (1,n) be a lattice, and S Gamma the associated ball quotient. We prove that, if S Gamma contains infinitely many maximal totally geodesic subvarieties, then Gamma is arithmetic. We also prove an Ax Schanuel Conjecture for S Gamma , similar to the one recently proven by Mok, Pila and Tsimerman. One of the main ingredients in the proofs is to realise S Gamma inside a period domain for polarised integral variations of Hodge structures and interpret totally geodesic subvarieties as unlikely intersections.


A Numerical radius orthogonality and parallelism of semi Hilbertian space operators and their applications. In this paper, we aim to introduce and characterize the concept of numerical radius orthogonality of operators on a complex Hilbert space mathcal H which are bounded with respect to the semi norm induced by a positive operator A on mathcal H . Moreover, a characterization of the A numerical radius parallelism for A rank one operators is proved. As applications of the obtained results, we obtain some mathbb A numerical radius inequalities of operator matrices where mathbb A is the operator diagonal matrix with diagonal entries are positive operator A . Some other related results are also investigated.


Understanding More about Human and Machine Attention in Deep Neural Networks. Human visual system can selectively attend to parts of a scene for quick perception, a biological mechanism known as Human attention. Inspired by this, recent deep learning models encode attention mechanisms to focus on the most task relevant parts of the input signal for further processing, which is called Machine Neural Artificial attention. Understanding the relation between human and machine attention is important for interpreting and designing neural networks. Many works claim that the attention mechanism offers an extra dimension of interpretability by explaining where the neural networks look. However, recent studies demonstrate that artificial attention maps do not always coincide with common intuition. In view of these conflicting evidence, here we make a systematic study on using artificial attention and human attention in neural network design. With three example computer vision tasks, diverse representative backbones, and famous architectures, corresponding real human gaze data, and systematically conducted large scale quantitative studies, we quantify the consistency between artificial attention and human visual attention and offer novel insights into existing artificial attention mechanisms by giving preliminary answers to several key questions related to human and artificial attention mechanisms. Overall results demonstrate that human attention can benchmark the meaningful ground truth' in attention driven tasks, where the more the artificial attention is close to human attention, the better the performance for higher level vision tasks, it is case by case. It would be advisable for attention driven tasks to explicitly force a better alignment between artificial and human attention to boost the performance such alignment would also improve the network explainability for higher level computer vision tasks.


A Robust Traffic Control Model Considering Uncertainties in Turning Ratios. The effects of model parameter uncertainty on traffic flow control problems have recently drawn research attention. While the uncertainty in fundamental diagram related parameters has been investigated in the past, few articles have focused on network parameters uncertainty, including turning ratio uncertainty. To fill this gap, this article proposes a robust control model to deal with the uncertainties in the turning ratio by using distributionally robust chance constraints. The model allows one to compute the optimal control action that maximizes some objective, under all possible distributions of network parameters. We then apply this robust control framework to both a freeway network and an urban network, and evaluate the impact of uncertainty on optimal control inputs, over the test networks. The case studies show that compared to non robust control, the proposed robust model can reduce congestion brought by the uncertainties and improve the overall throughput.


A numerical toolkit for multiprojective varieties. A numerical description of an algebraic subvariety of projective space is given by a general linear section, called a witness set. For a subvariety of a product of projective spaces (a multiprojective variety), the corresponding numerical description is given by a witness collection, whose structure is more involved. We build on recent work to develop a toolkit for the numerical manipulation of multiprojective varieties that operates on witness collections, and use this toolkit in an algorithm for numerical irreducible decomposition of multiprojective varieties. The toolkit and decomposition algorithm are illustrated throughout in a series of examples.


Generalized quasidisks and conformality progress and challenges. In this notes, we survey the recent developments on theory of generalized quasidisks. Based on the more or less standard techniques used earlier, we also provide some minor improvements on the recorded results. A few nature questions were posed.


On the Darboux transformations and sequences of p orthogonal polynomials. For a fixed p in mathbb N , sequences of polynomials P n , n in mathbb N , defined by a (p 2) term recurrence relation are related to several topics in Approximation Theory. A (p 2) banded matrix J determines the coefficients of the recurrence relation of any of such sequences of polynomials. The connection between these polynomials and the concept of orthogonality has been already established through a p dimension vector of functionals. This work goes further in this topic by analyzing the relation between such vectors for the set of sequences P n (j) , n in N , associated with the Darboux transformations J (j) , j 1, ..., p, of a given (p 2) banded matrix J .


ErGAN Generative Adversarial Networks for Entity Resolution. Entity resolution targets at identifying records that represent the same real world entity from one or more datasets. A major challenge in learning based entity resolution is how to reduce the label cost for training. Due to the quadratic nature of record pair comparison, labeling is a costly task that often requires a significant effort from human experts. Inspired by recent advances of generative adversarial network (GAN), we propose a novel deep learning method, called ErGAN, to address the challenge. ErGAN consists of two key components a label generator and a discriminator which are optimized alternatively through adversarial learning. To alleviate the issues of overfitting and highly imbalanced distribution, we design two novel modules for diversity and propagation, which can greatly improve the model generalization power. We have conducted extensive experiments to empirically verify the labeling and learning efficiency of ErGAN. The experimental results show that ErGAN beats the state of the art baselines, including unsupervised, semi supervised, and unsupervised learning methods.


The geodynamo for non geophysicists. The geodynamo usually appears as a somewhat intimidating subject. Its understanding seems to require the intricate theory of magnetohydrodynamics. The solution of the corresponding equations can only be achieved numerically. It seems to be a subject for the specialist. We show that one can understand the basics of the functioning of the geodynamo solely by using the well known laws of electrodynamics. The topic is not only important for geophysicists. The same physics is the cause for the magnetic fields of sun like stars, of the very strong fields of neutron stars, and also of the cosmic magnetic fields.


Modeling pressure effects on the turbulent burning velocity for lean hydrogen air premixed combustion. We investigate and model pressure effects on the turbulent burning velocity over a wide range of pressures and turbulence intensities with the direct numerical simulation (DNS) of statistically planar turbulent premixed flames for lean hydrogen air mixture. DNS results indicate that the stretch factor has an impact on the turbulent burning velocity and flame surface area at elevated pressures. In particular, the enhanced stretch factor at high pressures increases the ratio of turbulent and laminar burning velocities, diminishing the "bending" effect. Based on a good consistency between turbulent and laminar burning velocities with respect to flame stretch, a lookup table formed by laminar flame data is employed to model the stretch factor in turbulent flames at various pressures. A predictive model for the turbulent burning velocity is then developed by combining sub models of the stretch factor and flame surface area. The overall good agreement between model predictions and DNS results demonstrates that the proposed model is able to quantitatively predict the turbulent burning velocity over a wide range of pressures and turbulent intensities in homogeneous isotropic turbulence.


Comprehensiveness of Archives A Modern AI enabled Approach to Build Comprehensive Shared Cultural Heritage. Archives play a crucial role in the construction and advancement of society. Humans place a great deal of trust in archives and depend on them to craft public policies and to preserve languages, cultures, self identity, views and values. Yet, there are certain voices and viewpoints that remain elusive in the current processes deployed in the classification and discoverability of records and archives. In this paper, we explore the ramifications and effects of centralized, due process archival systems on marginalized communities. There is strong evidence to prove the need for progressive design and technological innovation while in the pursuit of comprehensiveness, equity and justice. Intentionality and comprehensiveness is our greatest opportunity when it comes to improving archival practices and for the advancement and thrive ability of societies at large today. Intentionality and comprehensiveness is achievable with the support of technology and the Information Age we live in today. Reopening, questioning and or purposefully including others voices in archival processes is the intention we present in our paper. We provide examples of marginalized communities who continue to lead "community archive" movements in efforts to reclaim and protect their cultural identity, knowledge, views and futures. In conclusion, we offer design and AI dominant technological considerations worth further investigation in efforts to bridge systemic gaps and build robust archival processes.


Homotopy Coherent Mapping Class Group Actions and Excision for Hochschild Complexes of Modular Categories. Given any modular category mathcal C over an algebraically closed field k , we extract a sequence (M g) g geq 0 of mathcal C bimodules. We show that the Hochschild chain complex CH( mathcal C M g) of mathcal C with coefficients in M g carries a canonical homotopy coherent projective action of the mapping class group of the surface of genus g 1 . The ordinary Hochschild complex of mathcal C corresponds to CH( mathcal C M 0) . This result is obtained as part of the following more comprehensive topological structure We construct a symmetric monoidal functor mathfrak F mathcal C mathcal C text mathsf Surf mathsf c to mathsf Ch k with values in chain complexes over k defined on a symmetric monoidal category of surfaces whose boundary components are labeled with projective objects in mathcal C . The functor mathfrak F mathcal C satisfies an excision property which is formulated in terms of homotopy coends. In this sense, any modular category gives naturally rise to a modular functor with values in chain complexes. In zeroth homology, it recovers Lyubashenko's mapping class group representations. The chain complexes in our construction are explicitly computable by choosing a marking on the surface, i.e. a cut system and a certain embedded graph. For our proof, we replace the connected and simply connected groupoid of cut systems that appears in the Lego Teichm "uller game by a contractible Kan complex.


Prune Responsibly. Irrespective of the specific definition of fairness in a machine learning application, pruning the underlying model affects it. We investigate and document the emergence and exacerbation of undesirable per class performance imbalances, across tasks and architectures, for almost one million categories considered across over 100K image classification models that undergo a pruning process.We demonstrate the need for transparent reporting, inclusive of bias, fairness, and inclusion metrics, in real life engineering decision making around neural network pruning. In response to the calls for quantitative evaluation of AI models to be population aware, we present neural network pruning as a tangible application domain where the ways in which accuracy efficiency trade offs disproportionately affect underrepresented or outlier groups have historically been overlooked. We provide a simple, Pareto based framework to insert fairness considerations into value based operating point selection processes, and to re evaluate pruning technique choices.


A direct construction of the Standard Brownian Motion. In this note, we combine the two approaches of Billingsley (1998) and Cs H o rg H o and R 'ev 'esz (1980), to provide a detailed sequential and descriptive for creating s standard Brownian motion, from a Brownian motion whose time space is the class of non negative dyadic numbers. By adding the proof of Etemadi's inequality to text, it becomes self readable and serves as an independent source for researches and professors.


Optical guiding in meter scale plasma waveguides. We demonstrate a new highly tunable technique for generating meter scale low density plasma waveguides. Such guides can enable electron acceleration to tens of GeV in a single stage. Plasma waveguides are imprinted in hydrogen gas by optical field ionization induced by two time separated Bessel beam pulses The first pulse, a J 0 beam, generates the core of the waveguide, while the delayed second pulse, here a J 8 or J 16 beam, generates the waveguide cladding. We demonstrate guiding of intense laser pulses over hundreds of Rayleigh lengths with on axis plasma densities as low as N e0 5x10 16 cm 3.


Tactical Reward Shaping Bypassing Reinforcement Learning with Strategy Based Goals. Deep Reinforcement Learning (DRL) has shown its promising capabilities to learn optimal policies directly from trial and error. However, learning can be hindered if the goal of the learning, defined by the reward function, is "not optimal". We demonstrate that by setting the goal target of competition in a counter intuitive but intelligent way, instead of heuristically trying solutions through many hours the DRL simulation can quickly converge into a winning strategy. The ICRA DJI RoboMaster AI Challenge is a game of cooperation and competition between robots in a partially observable environment, quite similar to the Counter Strike game. Unlike the traditional approach to games, where the reward is given at winning the match or hitting the enemy, our DRL algorithm rewards our robots when in a geometric strategic advantage, which implicitly increases the winning chances. Furthermore, we use Deep Q Learning (DQL) to generate multi agent paths for moving, which improves the cooperation between two robots by avoiding the collision. Finally, we implement a variant A algorithm with the same implicit geometric goal as DQL and compare results. We conclude that a well set goal can put in question the need for learning algorithms, with geometric based searches outperforming DQL in many orders of magnitude.


When do Word Embeddings Accurately Reflect Surveys on our Beliefs About People?. Social biases are encoded in word embeddings. This presents a unique opportunity to study society historically and at scale, and a unique danger when embeddings are used in downstream applications. Here, we investigate the extent to which publicly available word embeddings accurately reflect beliefs about certain kinds of people as measured via traditional survey methods. We find that biases found in word embeddings do, on average, closely mirror survey data across seventeen dimensions of social meaning. However, we also find that biases in embeddings are much more reflective of survey data for some dimensions of meaning (e.g. gender) than others (e.g. race), and that we can be highly confident that embedding based measures reflect survey data only for the most salient biases.


Inapproximability of Additive Weak Contraction under SSEH and Strong UGC. Succinct representations of a graph have been objects of central study in computer science for decades. In this paper, we study the operation called emph Distance Preserving Graph Contractions , which was introduced by Bernstein et al. (ITCS, 2018). This operation gives a minor as a succinct representation of a graph that preserves all the distances of the original (up to some factor). The graph minor given from contractions can be seen as a dual of spanners as the distances can only shrink (while distances are stretched in the case of spanners). Bernstein et al. proved inapproximability results for the problems of finding maximum subset of edges that yields distance preserving graph contractions for almost major classes of graphs except for that of Additive Weak Contraction. The main result in this paper is filling the gap in the paper of Bernstein et al. We show that the Maximum Additive Weak Contraction problem on a graph with n vertices is inapproximable up to a factor of n 1 epsilon for every constant epsilon 0 . Our hardness results follow from that of the Maximum Edge Biclique ( textsc MEB ) problem whose inapproximability of n 1 epsilon has been recently shown by Manurangsi (ICALP, 2017) under the textsc Small Set Expansion Hypothesis (SSEH) and by Bhangale et al. (APPROX, 2016) under the textsc Strong Unique Games Conjecture (SUGC) (both results also assume mathrm NP not subseteq mathrm BPP ).


X ModalNet A Semi Supervised Deep Cross Modal Network for Classification of Remote Sensing Data. This paper addresses the problem of semi supervised transfer learning with limited cross modality data in remote sensing. A large amount of multi modal earth observation images, such as multispectral imagery (MSI) or synthetic aperture radar (SAR) data, are openly available on a global scale, enabling parsing global urban scenes through remote sensing imagery. However, their ability in identifying materials (pixel wise classification) remains limited, due to the noisy collection environment and poor discriminative information as well as limited number of well annotated training images. To this end, we propose a novel cross modal deep learning framework, called X ModalNet, with three well designed modules self adversarial module, interactive learning module, and label propagation module, by learning to transfer more discriminative information from a small scale hyperspectral image (HSI) into the classification task using a large scale MSI or SAR data. Significantly, X ModalNet generalizes well, owing to propagating labels on an updatable graph constructed by high level features on the top of the network, yielding semi supervised cross modality learning. We evaluate X ModalNet on two multi modal remote sensing datasets (HSI MSI and HSI SAR) and achieve a significant improvement in comparison with several state of the art methods.


Interpreting neural network models of residual scalar flux. We show that in addition to providing effective and competitive closures, when analysed in terms of dynamics and physically relevant diagnostics, artificial neural networks (ANNs) can be both interpretable and provide useful insights in the on going task of developing and improving turbulence closures. In the context of large eddy simulations (LES) of a passive scalar in homogeneous isotropic turbulence, exact subfilter fluxes obtained by filtering direct numerical simulations (DNS) are used both to train deep ANN models as a function of filtered variables, and to optimise the coefficients of a turbulent Prandtl number LES closure. textit A priori analysis of the subfilter scalar variance transfer rate demonstrates that learnt ANN models out perform optimised turbulent Prandtl number closures and Clark type gradient models. Next, textit a posteriori solutions are obtained with each model over several integral timescales. These experiments reveal, with single and multi point diagnostics, that ANN models temporally track exact resolved scalar variance with greater accuracy compared to other subfilter flux models for a given filter length scale. Finally, we interpret the artificial neural networks statistically with differential sensitivity analysis to show that the ANN models feature dynamics reminiscent of so called "mixed models", where mixed models are understood as comprising both a structural and functional component. Besides enabling enhanced accuracy LES of passive scalars henceforth, we anticipate this work to contribute to utilising neural network models as a tool in interpretability, robustness and model discovery.


A note on discrete Heisenberg uniqueness pairs for the parabola. We discuss on Heisenberg uniqueness pairs for the parabola given by discrete sequences along straight lines. Our method consists in linking the problem at hand with recent uniqueness results for the Fourier transform.


Learning abstract structure for drawing by efficient motor program induction. Humans flexibly solve new problems that differ qualitatively from those they were trained on. This ability to generalize is supported by learned concepts that capture structure common across different problems. Here we develop a naturalistic drawing task to study how humans rapidly acquire structured prior knowledge. The task requires drawing visual objects that share underlying structure, based on a set of composable geometric rules. We show that people spontaneously learn abstract drawing procedures that support generalization, and propose a model of how learners can discover these reusable drawing programs. Trained in the same setting as humans, and constrained to produce efficient motor actions, this model discovers new drawing routines that transfer to test objects and resemble learned features of human sequences. These results suggest that two principles guiding motor program induction in the model abstraction (general programs that ignore object specific details) and compositionality (recombining previously learned programs) are key for explaining how humans learn structured internal representations that guide flexible reasoning and learning.