title: FusiformNet: Extracting Discriminative Facial Features on Different Levels

abstract: Over the last several years, research on facial recognition based on Deep Neural Network has evolved with approaches like task-specific loss functions, image normalization and augmentation, network architectures, etc. However, there have been few approaches with attention to how human faces differ from person to person. Premising that inter-personal differences are found both generally and locally on the human face, I propose FusiformNet, a novel framework for feature extraction that leverages the nature of discriminative facial features. Tested on Image-Unrestricted setting of Labeled Faces in the Wild benchmark, this method achieved a state-of-the-art accuracy of 96.67% without labeled outside data, image augmentation, normalization, or special loss functions. Likewise, the method also performed on a par with previous state-of-the-arts when pre-trained on CASIA-WebFace dataset. Considering its ability to extract both general and local facial features, the utility of FusiformNet may not be limited to facial recognition but also extend to other DNN-based tasks.


title: ASAD: A Twitter-based Benchmark Arabic Sentiment Analysis Dataset

abstract: This paper provides a detailed description of a new Twitter-based benchmark dataset for Arabic Sentiment Analysis (ASAD), which is launched in a competition3, sponsored by KAUST for awarding 10000 USD, 5000 USD and 2000 USD to the first, second and third place winners, respectively. Compared to other publicly released Arabic datasets, ASAD is a large, high-quality annotated dataset(including 95K tweets), with three-class sentiment labels (positive, negative and neutral). We presents the details of the data collection process and annotation process. In addition, we implement several baseline models for the competition task and report the results as a reference for the participants to the competition.


title: The microscopic origins of stretched exponential relaxation in two model glass-forming liquids as probed by simulations in the isoconfigurational ensemble

abstract: The origin of stretched exponential relaxation in supercooled glass-forming liquids is one of the central questions regarding the anomalous dynamics of these fluids. The dominant explanation for this phenomenon has long been the proposition that spatial averaging over a heterogeneous distribution of locally exponential relaxation processes leads to stretching. Here we perform simulations of model polymeric and small-molecule glass-formers in the isoconfigurational ensemble to show that stretching instead emerges from a combination of spatial averaging and locally nonexponential relaxation. Results indicate that localities in the fluid exhibiting faster-than-average relaxation tend to exhibit locally stretched relaxation, whereas slower-than-average relaxing domains exhibit compressed exponential relaxation. We show that local stretching is predicted by loose local caging, as measured by the Debye-Waller factor, and vice versa. This phenomenology in the local relaxation of in-equilibrium glasses parallels the dynamics of out of equilibrium under-dense and over-dense glasses, which likewise exhibit an asymmetry in their degree of stretching vs compression. On the basis of these results, we hypothesize that local stretching and compression in equilibrium glass-forming liquids results from evolution of particle mobilities over a single local relaxation time, with slower particles tending towards acceleration and vice versa. In addition to providing new insight into the origins of stretched relaxation, these results have implications for the interpretation of stretching exponents as measured via metrologies such as dielectric spectroscopy: measured stretching exponents cannot universally be interpreted as a direct measure of the breadth of an underlying distribution of relaxation times.


title: Sparsity-Control Ternary Weight Networks

abstract: Deep neural networks (DNNs) have been widely and successfully applied to various applications, but they require large amounts of memory and computational power. This severely restricts their deployment on resource-limited devices. To address this issue, many efforts have been made on training low-bit weight DNNs. In this paper, we focus on training ternary weight \{-1, 0, +1\} networks which can avoid multiplications and dramatically reduce the memory and computation requirements. A ternary weight network can be considered as a sparser version of the binary weight counterpart by replacing some -1s or 1s in the binary weights with 0s, thus leading to more efficient inference but more memory cost. However, the existing approaches to training ternary weight networks cannot control the sparsity (i.e., percentage of 0s) of the ternary weights, which undermines the advantage of ternary weights. In this paper, we propose to our best knowledge the first sparsity-control approach (SCA) to training ternary weight networks, which is simply achieved by a weight discretization regularizer (WDR). SCA is different from all the existing regularizer-based approaches in that it can control the sparsity of the ternary weights through a controller $\alpha$ and does not rely on gradient estimators. We theoretically and empirically show that the sparsity of the trained ternary weights is positively related to $\alpha$. SCA is extremely simple, easy-to-implement, and is shown to consistently outperform the state-of-the-art approaches significantly over several benchmark datasets and even matches the performances of the full-precision weight counterparts.


title: Long-time relaxation dynamics of a spin coupled to a Chern insulator

abstract: The relaxation of a classical spin, exchange coupled to the local magnetic moment at an edge site of the one-dimensional spinful Su-Schrieffer-Heeger model is studied numerically by solving the full set of equations of motion. A Lindblad coupling of a few sites at the opposite edge to an absorbing bath ensures that convergence with respect to the system size is achieved with only a moderate number of core sites. This allows us to numerically exactly study the long-time limit and to determine the parameter regimes where spin relaxation takes place. Corresponding dynamical phase diagrams for the topologically trivial and the nontrivial cases are constructed. The dynamical phase boundaries, the role of the topological edge state and its internal Zeeman splitting for the spin-relaxation process, as well as incomplete spin relaxation on long time scales can be explained within the framework of a renormalized linear-response approach when explicitly taking retardation effects and nonequilibrium spin-exchange processes into account.


title: Primer -- A Tool for Testing Honeypot Measures of Effectiveness

abstract: Honeypots are a deceptive technology used to capture malicious activity. The technology is useful for studying attacker behavior, tools, and techniques but can be difficult to implement and maintain. Historically, a lack of measures of effectiveness prevented researchers from assessing honeypot implementations. The consequence being ineffective implementations leading to poor performance, flawed imitation of legitimate services, and premature discovery by attackers. Previously, we developed a taxonomy for measures of effectiveness in dynamic honeypot implementations. The measures quantify a dynamic honeypot's effectiveness in fingerprinting its environment, capturing valid data from adversaries, deceiving adversaries, and intelligently monitoring itself and its surroundings. As a step towards developing automated effectiveness testing, this work introduces a tool for priming a target honeypot for evaluation. We outline the design of the tool and provide results in the form of quantitative calibration data.


title: An Overview of Multi-Agent Reinforcement Learning from Game Theoretical Perspective

abstract: Following the remarkable success of the AlphaGO series, 2019 was a booming year that witnessed significant advances in multi-agent reinforcement learning (MARL) techniques. MARL corresponds to the learning problem in a multi-agent system in which multiple agents learn simultaneously. It is an interdisciplinary domain with a long history that includes game theory, machine learning, stochastic control, psychology, and optimisation. Although MARL has achieved considerable empirical success in solving real-world games, there is a lack of a self-contained overview in the literature that elaborates the game theoretical foundations of modern MARL methods and summarises the recent advances. In fact, the majority of existing surveys are outdated and do not fully cover the recent developments since 2010. In this work, we provide a monograph on MARL that covers both the fundamentals and the latest developments in the research frontier. The goal of our monograph is to provide a self-contained assessment of the current state-of-the-art MARL techniques from a game theoretical perspective. We expect this work to serve as a stepping stone for both new researchers who are about to enter this fast-growing domain and existing domain experts who want to obtain a panoramic view and identify new directions based on recent advances.


title: A Unifying Theory of Transition-based and Sequence Labeling Parsing

abstract: We define a mapping from transition-based parsing algorithms that read sentences from left to right to sequence labeling encodings of syntactic trees. This not only establishes a theoretical relation between transition-based parsing and sequence-labeling parsing, but also provides a method to obtain new encodings for fast and simple sequence labeling parsing from the many existing transition-based parsers for different formalisms. Applying it to dependency parsing, we implement sequence labeling versions of four algorithms, showing that they are learnable and obtain comparable performance to existing encodings.


title: A new prolonged decrease event in the brightness of the young stellar object V2492 Cygni

abstract: Results from the BV(RI)c photometric observations of the young stellar object V2492 Cyg collected in the period from April 2018 to September 2020 are presented. These observations are a part of our monitoring of the star that began in 2010 and continuing to date. V2492 Cyg is located in the Pelican Nebula, and its variability was explained by both accretion and extinction events. The new photometric data show that the star continues to exhibit rapid irregular variability in all bands. In the period from March 2019 to May 2020, we registered a prolonged decrease event in the light curve of V2492 Cyg.


title: Lawmaps: Enabling Legal AI development through Visualisation of the Implicit Structure of Legislation and Lawyerly Process

abstract: Modelling that exploits visual elements and information visualisation are important areas that have contributed immensely to understanding and the computerisation advancements in many domains and yet remain unexplored for the benefit of the law and legal practice. This paper investigates the challenge of modelling and expressing structures and processes in legislation and the law by using visual modelling and information visualisation (InfoVis) to assist accessibility of legal knowledge, practice and knowledge formalisation as a basis for legal AI. The paper uses a subset of the well-defined Unified Modelling Language (UML) to visually express the structure and process of the legislation and the law to create visual flow diagrams called lawmaps, which form the basis of further formalisation. A lawmap development methodology is presented and evaluated by creating a set of lawmaps for the practice of conveyancing and the Landlords and Tenants Act 1954 of the United Kingdom. This paper is the first of a new breed of preliminary solutions capable of application across all aspects, from legislation to practice; and capable of accelerating development of legal AI.


title: Incremental Model Building Homotopy Approach for Solving Exact AC-Constrained Optimal Power Flow

abstract: Alternating-Current Optimal Power Flow (AC-OPF) is framed as a NP-hard non-convex optimization problem that solves for the most economical dispatch of grid generation given the AC-network and device constraints. Although there are no standard methodologies for obtaining the global optimum for the problem, there is considerable interest from planning and operational engineers in finding a local optimum. Nonetheless, solving for the local optima of a large AC-OPF problem is challenging and time-intensive, as none of the leading non-linear optimization toolboxes can provide any timely guarantees of convergence. To provide robust local convergence for large complex systems, we introduce a homotopy-based approach that solves a sequence of primal-dual interior point problems. We utilize the physics of the grid to develop the proposed homotopy method and demonstrate the efficacy of this approach on U.S. Eastern Interconnection sized test networks.


title: Approximate Isomorphism of Metric Structures

abstract: We give a formalism for approximate isomorphism in continuous logic simultaneously generalizing those of two papers by Ben Yaacov and by Ben Yaacov, Doucha, Nies, and Tsankov, which are largely incompatible. With this we explicitly exhibit Scott sentences for the perturbation systems of the former paper, such as the Banach-Mazur distance and the Lipschitz distance between metric spaces. Our formalism is simultaneously characterized syntactically by a mild generalization of perturbation systems and semantically by certain elementary classes of two-sorted structures that witness approximate isomorphism. As an application, we show that the theory of any $\mathbb{R}$-tree or ultrametric space of finite radius is stable, improving a result of Carlisle and Henson.


title: Approximate Categoricity in Continuous Logic

abstract: We explore approximate categoricity in the context of distortion systems, introduced in our previous paper, which are a mild generalization of perturbation systems, introduced by Ben Yaacov. We extend Ben Yaacov's Ryll-Nardzewski style characterization of separably approximately categorical theories from the context of perturbation systems to that of distortion systems. We also make progress towards an analog of Morley's theorem for inseparable approximate categoricity, showing that if there is some uncountable cardinal $\kappa$ such that every model of size $\kappa$ is 'approximately saturated,' in the appropriate sense, then the same is true for all uncountable cardinalities. Finally we present some examples of these phenomena and highlight an apparent interaction between ordinary separable categoricity and inseparable approximate categoricity.


title: Quadratic Points on Non-Split Cartan Modular Curves

abstract: In this paper we study quadratic points on the non-split Cartan modular curves $X_{ns}(p)$, for $p = 7, 11,$ and $13$. Recently, Siksek proved that all quadratic points on $X_{ns}(7)$ arise as pullbacks of rational points on $X_{ns}^+(7)$. Using similar techniques for $p=11$, and employing a version of Chabauty for symmetric powers of curves for $p=13$, we show that the same holds for $X_{ns}(11)$ and $X_{ns}(13)$. As a consequence, we prove that certain classes of elliptic curves over quadratic fields are modular.


title: A general modelling framework for open wildlife populations based on the Polya Tree prior

abstract: Wildlife monitoring for open populations can be performed using a number of different survey methods. Each survey method gives rise to a type of data and, in the last five decades, a large number of associated statistical models have been developed for analysing these data. Although these models have been parameterised and fitted using different approaches, they have all been designed to model the pattern with which individuals enter and exit the population and to estimate the population size. However, existing approaches rely on a predefined model structure and complexity, either by assuming that parameters are specific to sampling occasions, or by employing parametric curves. Instead, we propose a novel Bayesian nonparametric framework for modelling entry and exit patterns based on the Polya Tree (PT) prior for densities. Our Bayesian non-parametric approach avoids overfitting when inferring entry and exit patterns while simultaneously allowing more flexibility than is possible using parametric curves. We apply our new framework to capture-recapture, count and ring-recovery data and we introduce the replicated PT prior for defining classes of models for these data. Additionally, we define the Hierarchical Logistic PT prior for jointly modelling related data and we consider the Optional PT prior for modelling long time series of data. We demonstrate our new approach using five different case studies on birds, amphibians and insects.


title: Vec2Sent: Probing Sentence Embeddings with Natural Language Generation

abstract: We introspect black-box sentence embeddings by conditionally generating from them with the objective to retrieve the underlying discrete sentence. We perceive of this as a new unsupervised probing task and show that it correlates well with downstream task performance. We also illustrate how the language generated from different encoders differs. We apply our approach to generate sentence analogies from sentence embeddings.


title: MixKD: Towards Efficient Distillation of Large-scale Language Models

abstract: Large-scale language models have recently demonstrated impressive empirical performance. Nevertheless, the improved results are attained at the price of bigger models, more power consumption, and slower inference, which hinder their applicability to low-resource (both memory and computation) platforms. Knowledge distillation (KD) has been demonstrated as an effective framework for compressing such big models. However, large-scale neural network systems are prone to memorize training instances, and thus tend to make inconsistent predictions when the data distribution is altered slightly. Moreover, the student model has few opportunities to request useful information from the teacher model when there is limited task-specific data available. To address these issues, we propose MixKD, a data-agnostic distillation framework that leverages mixup, a simple yet efficient data augmentation approach, to endow the resulting model with stronger generalization ability. Concretely, in addition to the original training examples, the student model is encouraged to mimic the teacher's behavior on the linear interpolation of example pairs as well. We prove from a theoretical perspective that under reasonable conditions MixKD gives rise to a smaller gap between the generalization error and the empirical error. To verify its effectiveness, we conduct experiments on the GLUE benchmark, where MixKD consistently leads to significant gains over the standard KD training, and outperforms several competitive baselines. Experiments under a limited-data setting and ablation studies further demonstrate the advantages of the proposed approach.


title: Random Fourier Features based SLAM

abstract: This work is dedicated to simultaneous continuous-time trajectory estimation and mapping based on Gaussian Processes (GP). State-of-the-art GP-based models for Simultaneous Localization and Mapping (SLAM) are computationally efficient but can only be used with a restricted class of kernel functions. This paper provides the algorithm based on GP with Random Fourier Features (RFF) approximation for SLAM without any constraints. The advantages of RFF for continuous-time SLAM are that we can consider a broader class of kernels and, at the same time, maintain computational complexity at reasonably low level by operating in the Fourier space of features. The accuracy-speed trade-off can be controlled by the number of features. Our experimental results on synthetic and real-world benchmarks demonstrate the cases in which our approach provides better results compared to the current state-of-the-art.


title: Orbital and Spin Character of Doped Carriers in Infinite-Layer Nickelates

abstract: The recent discovery of superconductivity in Nd$_{1-x}$Sr$_{x}$NiO$_2$ has drawn significant attention in the field. A key open question regards the evolution of the electronic structure with respect to hole doping. Here, we exploit x-ray absorption spectroscopy (XAS) and resonant inelastic x-ray scattering (RIXS) to probe the doping dependent electronic structure of the NiO$_2$ planes. Upon doping, a higher energy feature in Ni $L_3$ edge XAS develops in addition to the main absorption peak. By comparing our data to atomic multiplet calculations including $D_{4h}$ crystal field, the doping induced feature is consistent with a $d^8$ spin singlet state, in which doped holes reside in the $d_{x^2-y^2}$ orbitals, similar to doped single band Hubbard models. This is further supported by orbital excitations observed in RIXS spectra, which soften upon doping, corroborating with Fermi level shift associated with increasing holes in the $d_{x^2-y^2}$ orbital.


title: Bracketing Encodings for 2-Planar Dependency Parsing

abstract: We present a bracketing-based encoding that can be used to represent any 2-planar dependency tree over a sentence of length n as a sequence of n labels, hence providing almost total coverage of crossing arcs in sequence labeling parsing. First, we show that existing bracketing encodings for parsing as labeling can only handle a very mild extension of projective trees. Second, we overcome this limitation by taking into account the well-known property of 2-planarity, which is present in the vast majority of dependency syntactic structures in treebanks, i.e., the arcs of a dependency tree can be split into two planes such that arcs in a given plane do not cross. We take advantage of this property to design a method that balances the brackets and that encodes the arcs belonging to each of those planes, allowing for almost unrestricted non-projectivity (round 99.9% coverage) in sequence labeling parsing. The experiments show that our linearizations improve over the accuracy of the original bracketing encoding in highly non-projective treebanks (on average by 0.4 LAS), while achieving a similar speed. Also, they are especially suitable when PoS tags are not used as input parameters to the models.


title: COOT: Cooperative Hierarchical Transformer for Video-Text Representation Learning

abstract: Many real-world video-text tasks involve different levels of granularity, such as frames and words, clip and sentences or videos and paragraphs, each with distinct semantics. In this paper, we propose a Cooperative hierarchical Transformer (COOT) to leverage this hierarchy information and model the interactions between different levels of granularity and different modalities. The method consists of three major components: an attention-aware feature aggregation layer, which leverages the local temporal context (intra-level, e.g., within a clip), a contextual transformer to learn the interactions between low-level and high-level semantics (inter-level, e.g. clip-video, sentence-paragraph), and a cross-modal cycle-consistency loss to connect video and text. The resulting method compares favorably to the state of the art on several benchmarks while having few parameters. All code is available open-source at https://github.com/gingsi/coot-videotext


title: A polynomial algorithm for minimizing discrete convic functions in fixed dimension

abstract: Recently classes of conic and discrete conic functions were introduced. In this paper we use the term convic instead conic. The class of convic functions properly includes the classes of convex functions, strictly quasiconvex functions and the class of quasiconvex polynomials. On the other hand, the class of convic functions is properly included in the class of quasiconvex functions. The discrete convic function is a discrete analogue of the convic function. Recently the lower bound $3^{n-1}\log (2 \rho-1)$ for the number of calls to the comparison oracle needed to find the minimum of the discrete convic function defined on integer points of some $n$-dimensional ball with radius $\rho$ was obtained. But the problem of the existence of a polynomial (in $\log\rho$ for fixed $n$) algorithm for minimizing such functions has remained open. In this paper, we answer positively the question of the existence of such an algorithm. Namely, we propose an algorithm for minimizing discrete convic functions that uses $2^{O(n^2 \log n)} \log \rho$ calls to the comparison oracle and has $2^{O(n^2 \log n)} \mbox{poly }(\log \rho)$ bit complexity.


title: On large time behavior of solutions of higher order evolution inequalities with fast diffusion

abstract: We obtain stabilization conditions and large time estimates for weak solutions of the inequality $$ \sum_{|\alpha| = m} \partial^\alpha a_\alpha (x, t, u) - u_t \ge f (x, t) g (u) \quad \mbox{in } \Omega \times (0, \infty), $$ where $\Omega$ is a non-empty open subset of ${\mathbb R}^n$, $m, n \ge 1$, and $a_\alpha$ are Caratheodory functions such that $$ |a_\alpha (x, t, \zeta)| \le A \zeta^p, \quad |\alpha| = m, $$ with some constants $A > 0$ and $0 < p < 1$ for almost all $(x, t) \in \Omega \times (0, \infty)$ and for all $\zeta \in [0, \infty)$. For solutions of homogeneous differential inequalities, we give an exact universal upper bound.


title: The generalized Frobenius problem via restricted partition functions

abstract: Given relatively prime positive integers, $a_1,\ldots,a_n$, the Frobenius number is the largest integer with no representations of the form $a_1x_1+\cdots+a_nx_n$ with nonnegative integers $x_i$. This classical value has recently been generalized: given a nonnegative integer $k$, what is the largest integer with at most $k$ such representations? Other classical values can be generalized too: for example, how many nonnegative integers are representable in at most $k$ ways? For sufficiently large $k$, we give formulas for these values by understanding the level sets of the restricted partition function (the function $f(t)$ giving the number of representations of $t$). Furthermore, we give the full asymptotics of all of these values, as well as reprove formulas for some special cases (such as the $n=2$ case and a certain extremal family from the literature). Finally, we obtain the first two leading terms of the restricted partition function as a so-called quasi-polynomial.


title: Approximate Solutions to a Class of Reachability Games

abstract: In this paper, we present a method for finding approximate Nash equilibria in a broad class of reachability games. These games are often used to formulate both collision avoidance and goal satisfaction. Our method is computationally efficient, running in real-time for scenarios involving multiple players and more than ten state dimensions. The proposed approach forms a family of increasingly exact approximations to the original game. Our results characterize the quality of these approximations and show operation in a receding horizon, minimally-invasive control context. Additionally, as a special case, our method reduces to local gradient-based optimization in the single-player (optimal control) setting, for which a wide variety of efficient algorithms exist.


title: A new perspective on interiors of ice-rich planets: Ice-rock mixture instead of ice on top of rock

abstract: Ice-rich planets are formed exterior to the water ice-line and thus are expected to contain a substantial amount of ices. The high ice content leads to unique conditions in the interior, under which the structure of a planet is affected by ice interaction with other metals. We apply experimental data of ice-rock interaction at high pressure, and calculate detailed thermal evolution for possible interior configurations of ice-rich planets, in the mass range of super-Earth to Neptunes (5-15 Earth masses). We model the effect of migration inward on the ice-rich interior by including the influences of stellar flux and envelope mass loss. We find that ice and rock are expected to remain mixed, due to miscibility at high pressure, in substantial parts of the planetary interior for billions of years. We also find that the deep interior of planetary twins that have migrated to different distances from the star are usually similar, if no mass loss occurs. Significant mass loss results in separation of the water from the rock on the surface and emergence of a volatile atmosphere of less than 1 percent of the planet's mass. The mass of the atmosphere of water/steam is limited by the ice-rock interaction. We conclude that when ice is abundant in planetary interiors the planet structure may differ significantly from the standard layered structure of a water shell on top of a rocky core. Similar structure is expected in both close-in and further-out planets.


title: Making ML models fairer through explanations: the case of LimeOut

abstract: Algorithmic decisions are now being used on a daily basis, and based on Machine Learning (ML) processes that may be complex and biased. This raises several concerns given the critical impact that biased decisions may have on individuals or on society as a whole. Not only unfair outcomes affect human rights, they also undermine public trust in ML and AI. In this paper we address fairness issues of ML models based on decision outcomes, and we show how the simple idea of "feature dropout" followed by an "ensemble approach" can improve model fairness. To illustrate, we will revisit the case of "LimeOut" that was proposed to tackle "process fairness", which measures a model's reliance on sensitive or discriminatory features. Given a classifier, a dataset and a set of sensitive features, LimeOut first assesses whether the classifier is fair by checking its reliance on sensitive features using "Lime explanations". If deemed unfair, LimeOut then applies feature dropout to obtain a pool of classifiers. These are then combined into an ensemble classifier that was empirically shown to be less dependent on sensitive features without compromising the classifier's accuracy. We present different experiments on multiple datasets and several state of the art classifiers, which show that LimeOut's classifiers improve (or at least maintain) not only process fairness but also other fairness metrics such as individual and group fairness, equal opportunity, and demographic parity.


title: Preferential acceleration of positrons by a filamentation instability between an electron-proton beam and a pair plasma beam

abstract: Particle-in-cell (PIC) simulations of collisionless jets of electrons and positrons in an ambient electron-proton plasma have revealed an acceleration of positrons at the expense of electron kinetic energy. The dominant instability within the jet was a filamentation instability between electrons, protons and positrons. In this work we show that a filamentation instability, between an initially unmagnetized ambient electron-proton plasma at rest and a beam of pair plasma that moves through it at a non-relativistic speed, indeed results in preferential positron acceleration. Filaments form that are filled predominantly with particles with the same direction of their electric current vector. Positron filaments are separated by electromagnetic fields from beam electron filaments. Some particles can cross the field boundary and enter the filament of the other species. Positron filaments can neutralize their net charge by collecting the electrons of the ambient plasma while protons cannot easily follow the beam electron filaments. Positron filaments can thus be compressed to a higher density and temperature than the beam electron filaments. Filament mergers, which take place after the exponential growth phase of the instability has ended, lead to an expansion of the beam electron filaments, which amplifies the magnetic field they generate and induces an electric field in this filament. Beam electrons lose a substantial fraction of their kinetic energy to the electric field. Some positrons in the beam electron filament are accelerated by the induced electric field to almost twice their initial speed. The simulations show that a weaker electric field is induced in the positron filament and particles in this filament hardly change their speed.


title: Technical Report: A New Hopping Controller for Highly Dynamical Bipeds

abstract: We present angle of attack control, a novel control strategy for a hip energized Penn Jerboa. The energetic losses from damping are counteracted by aligning most of the velocity at touchdown in the radial direction and the fore-aft velocity is controlled by using the hip torque to control to a target angular momentum. The control strategy results in highly asymmetric leg angle trajectories, thus avoiding the traction issues that plague hip actuated SLIP. Using a series of assumptions we find an analytical expression for the fixed points of an approximation to the hopping return map relating the design parameters to steady state gait performance. The hardware robot demonstrates stable locomotion with speeds ranging from 0.4 m/s to 2.5 m/s (2 leg lengths/s to 12.5 leg lengths/s) and heights ranging from 0.21 m to 0.27 m (1.05 leg lengths to 1.35 leg lengths). The performance of the empirical trials is well approximated by the analytical predictions.


title: Probing signatures of fractionalization in candidate quantum spin liquid Cu2IrO3 via anomalous Raman scattering

abstract: Long-range entanglement in quantum spin liquids (QSLs) lead to novel low energy excitations with fractionalised quantum numbers and (in 2D) statistics. Experimental detection and manipulation of these excitations present a challenge particularly in view of diverse candidate magnets. A promising probe of fractionalisation is their coupling to phonons. Here we present Raman scattering results for the S = 1/2 honeycomb iridate Cu2IrO3, a candidate Kitaev QSL with fractionalised Majorana fermions and Ising flux excitations. We observe anomalous low temperature frequency shift and linewidth broadening of the Raman intensities in addition to a broad magnetic continuum both of which, we derive, are naturally attributed to the phonon decaying into itinerant Majoranas. The dynamic Raman susceptibility marks a crossover from the QSL to a thermal paramagnet at ~120 K. The phonon anomalies below this temperature demonstrate a strong phonon-Majorana coupling. These results provide for evidence of spin fractionalisation in Cu2IrO3.


title: Sharp dimension estimates of the attractor of the damped 2D Euler-Bardina equations

abstract: We prove existence of the global attractor of the damped and driven 2D Euler--Bardina equations on the torus and give an explicit two-sided estimate of its dimension that is sharp as $\alpha\to0^+$.


title: Unsupervised Metric Relocalization Using Transform Consistency Loss

abstract: Training networks to perform metric relocalization traditionally requires accurate image correspondences. In practice, these are obtained by restricting domain coverage, employing additional sensors, or capturing large multi-view datasets. We instead propose a self-supervised solution, which exploits a key insight: localizing a query image within a map should yield the same absolute pose, regardless of the reference image used for registration. Guided by this intuition, we derive a novel transform consistency loss. Using this loss function, we train a deep neural network to infer dense feature and saliency maps to perform robust metric relocalization in dynamic environments. We evaluate our framework on synthetic and real-world data, showing our approach outperforms other supervised methods when a limited amount of ground-truth information is available.


title: Broadcast Guidance of Agents in Deviated Linear Cyclic Pursuit

abstract: In this report we show the emergent behavior of a group of agents, ordered from 1 to n, performing deviated, linear, cyclic pursuit, in the presence of a broadcast guidance control. Each agent senses the relative position of its target, i.e. agent i senses the relative position of agent i+1. The broadcast control, a velocity signal, is detected by a random set of agents in the group. We assume the agents to be modeled as single integrators. We show that the emergent behavior of the group is determined by the deviation angle and by the set of agents detecting the guidance control.


title: Strongly Minimal Sets and Categoricity in Continuous Logic

abstract: The classical Baldwin-Lachlan characterization of uncountably categorical theories is known to fail in continuous logic in that not every inseparably categorical theory has a strongly minimal set. Here we investigate these issues by developing the theory of strongly minimal sets in continuous logic and by examining inseparably categorical expansions of Banach space. To this end we introduce and characterize 'dictionaric theories,' theories in which definable sets are prevalent enough that many constructions familiar in discrete logic can be carried out. We also introduce, in the context of Banach theories, the notion of an 'indiscernible subspace,' which we use to improve a result of Shelah and Usvyatsov. Both of these notions are applicable to continuous logic outside of the context of inseparably categorical theories. Finally, we construct or present a slew of counterexamples, including an $\omega$-stable theory with no Vaughtian pairs which fails to be inseparably categorical and an inseparably categorical theory with strongly minimal sets in its home sort only over models of sufficiently high dimension.


title: Hydrodynamic projections and the emergence of linearised Euler equations in one-dimensional isolated systems

abstract: One of the most profound questions of mathematical physics is that of establishing from first principles the hydrodynamic equations in large, isolated, strongly interacting many-body systems. This involves understanding relaxation at long times under reversible dynamics, determining the space of emergent collective degrees of freedom (the ballistic waves), showing that projection occurs onto them, and establishing their dynamics (the hydrodynamic equations). We make progress in these directions, focussing for simplicity on one-dimensional systems. Under a model-independent definition of the complete space of extensive conserved charges, we show that hydrodynamic projection occurs in Euler-scale two-point correlation functions. A fundamental ingredient is a property of relaxation: we establish ergodicity of correlation functions along almost every direction in space-time. We further show that to every extensive conserved charge with a local density is associated a local current and a continuity equation; and that Euler-scale two-point correlation functions of local conserved densities satisfy a hydrodynamic equation. The results are established rigorously within a general framework based on Hilbert spaces of observables. These spaces occur naturally in the $C^*$ algebra description of statistical mechanics by the Gelfand-Naimark-Segal construction. Using Araki's exponential clustering and the Lieb-Robinson bound, we show that the results hold, for instance, in every nonzero-temperature Gibbs state of short-range quantum spin chains. Many techniques we introduce are generalisable to higher dimensions. This provides a precise and universal theory for the emergence of ballistic waves at the Euler scale and how they propagate within homogeneous, stationary states.


title: 5G New Radio Resource Allocation Optimization for Heterogeneous Services

abstract: 5G new radio (NR) introduced flexible numerology to provide the necessary flexibility for multiplexing the communication of heterogeneous services on a shared channel. One of the fundamental challenges of 5G NR is to develop resource allocation schemes to efficiently exploit such flexibility to optimize resource allocation of ultra-reliable low-latency communications (URLLC) in coexistence with enhanced mobile broadband (eMBB) while ensuring their colliding performance requirements. To address this challenge, we present a new formulation of 5G NR resource allocation to accommodate eMBB and URLLC services, by considering their interplay. The objective of the formulated problem is to meet throughput quality of service (QoS) requirements probabilistically when the optimal global solution is infeasible. To this end, we express the problem as an integer linear program and consider two formulations with hard and soft URLLC throughput constraints. Furthermore, we propose a low-complexity two-step heuristic approach, inspired by an instance of bin packing optimization, to provide a trade-off between resource allocation efficiency and computational complexity. Finally, performance results are provided and demonstrate that the proposed approaches can provide low-complexity resource allocation solutions, in balance with the performance targets of the services.


title: An Information-Geometric Distance on the Space of Tasks

abstract: This paper prescribes a distance between learning tasks modeled as joint distributions on data and labels. Using tools in information geometry, the distance is defined to be the length of the shortest weight trajectory on a Riemannian manifold as a classifier is fitted on an interpolated task. The interpolated task evolves from the source to the target task using an optimal transport formulation. This distance, which we call the "coupled transfer distance" can be compared across different classifier architectures. We develop an algorithm to compute the distance which iteratively transports the marginal on the data of the source task to that of the target task while updating the weights of the classifier to track this evolving data distribution. We develop theory to show that our distance captures the intuitive idea that a good transfer trajectory is the one that keeps the generalization gap small during transfer, in particular at the end on the target task. We perform thorough empirical validation and analysis across diverse image classification datasets to show that the coupled transfer distance correlates strongly with the difficulty of fine-tuning.


title: Site-specific plan-view TEM lamella preparation of pristine surfaces with a large field of view

abstract: Transmission electron microscopy has become a major characterisation tool with an ever increasing variety of methods being applied in wide range of scientific fields. However, the probably most famous pitfall in related workflows is the preparation of high-quality electron-transparent lamellae enabling for extraction of valuable and reliable information. Particularly in the field of solid state physics and materials science, it is often required to study the surface of a macroscopic specimen with plan-view orientation. Nevertheless, despite tremendous advances in instrumentation, i.e. focused ion beam, the yield of existing plan-view lamellae preparation techniques is relatively low compared to cross-sectional extraction methods. Furthermore, techniques relying on mechanical treatments, i.e. conventional preparation, compromise site-specifity. In this paper, we demonstrate that by combining a mechanical grinding step prior to backside lift-out in the focused ion beam plan-view lamellae preparation becomes increasingly easy. The suggested strategy combines site-specifity with micrometer precision as well as possible investigation of pristine surfaces with a field of view of several hundred square micrometers.


title: Improving Conversational Question Answering Systems after Deployment using Feedback-Weighted Learning

abstract: The interaction of conversational systems with users poses an exciting opportunity for improving them after deployment, but little evidence has been provided of its feasibility. In most applications, users are not able to provide the correct answer to the system, but they are able to provide binary (correct, incorrect) feedback. In this paper we propose feedback-weighted learning based on importance sampling to improve upon an initial supervised system using binary user feedback. We perform simulated experiments on document classification (for development) and Conversational Question Answering datasets like QuAC and DoQA, where binary user feedback is derived from gold annotations. The results show that our method is able to improve over the initial supervised system, getting close to a fully-supervised system that has access to the same labeled examples in in-domain experiments (QuAC), and even matching in out-of-domain experiments (DoQA). Our work opens the prospect to exploit interactions with real users and improve conversational systems after deployment.


title: Similarity Between Points in Metric Measure Spaces

abstract: This paper is about similarity between objects that can be represented as points in metric measure spaces. A metric measure space is a metric space that is also equipped with a measure. For example, a network with distances between its nodes and weights assigned to its nodes is a metric measure space. Given points x and y in different metric measure spaces or in the same space, how similar are they? A well known approach is to consider x and y similar if their neighborhoods are similar. For metric measure spaces, similarity between neighborhoods is well captured by the Gromov-Hausdorff-Prokhorov distance, but it is NP-hard to compute this distance even in quite simple cases. We propose a tractable alternative: the radial distribution distance between the neighborhoods of x and y. The similarity measure based on the radial distribution distance is coarser than the similarity based on the Gromov-Hausdorff-Prokhorov distance but much easier to compute.


title: Support vector machines and Radon's theorem

abstract: A support vector machine (SVM) is an algorithm that finds a hyperplane which optimally separates labeled data points in $\mathbb{R}^n$ into positive and negative classes. The data points on the margin of this separating hyperplane are called support vectors. We connect the possible configurations of support vectors to Radon's theorem, which provides guarantees for when a set of points can be divided into two classes (positive and negative) whose convex hulls intersect. If the convex hulls of the positive and negative support vectors are projected onto a separating hyperplane, then the projections intersect if and only if the hyperplane is optimal. Further, with a particular type of general position, we show that (a) the projected convex hulls of the support vectors intersect in exactly one point, (b) the support vectors are stable under perturbation, (c) there are at most $n+1$ support vectors, and (d) every number of support vectors from 2 up to $n+1$ is possible. Finally, we perform computer simulations studying the expected number of support vectors, and their configurations, for randomly generated data. We observe that as the distance between classes of points increases for this type of randomly generated data, configurations with fewer support vectors become more likely.


title: Triage of Potential COVID-19 Patients from Chest X-ray Images using Hierarchical Convolutional Networks

abstract: The current COVID-19 pandemic has motivated the researchers to use artificial intelligence techniques for a potential alternative to reverse transcription-polymerase chain reaction (RT-PCR) due to the limited scale of testing. The chest X-ray (CXR) is one of the alternatives to achieve fast diagnosis but the unavailability of large-scale annotated data makes the clinical implementation of machine learning-based COVID detection difficult. Another issue is the usage of ImageNet pre-trained networks which does not extract reliable feature representations from medical images. In this paper, we propose the use of hierarchical convolutional network (HCN) architecture to naturally augment the data along with diversified features. The HCN uses the first convolution layer from COVIDNet followed by the convolutional layers from well-known pre-trained networks to extract the features. The use of the convolution layer from COVIDNet ensures the extraction of representations relevant to the CXR modality. We also propose the use of ECOC for encoding multiclass problems to binary classification for improving the recognition performance. Experimental results show that HCN architecture is capable of achieving better results in comparison to the existing studies. The proposed method can accurately triage potential COVID-19 patients through CXR images for sharing the testing load and increasing the testing capacity.


title: Support Recovery for Sparse Multidimensional Phase Retrieval

abstract: We consider the \textit{phase retrieval} problem of recovering a sparse signal $\mathbf{x}$ in $\mathbb{R}^d$ from intensity-only measurements in dimension $d \geq 2$. Phase retrieval can be equivalently formulated as the problem of recovering a signal from its autocorrelation, which is in turn directly related to the combinatorial problem of recovering a set from its pairwise differences. In one spatial dimension, this problem is well studied and known as the \textit{turnpike problem}. In this work, we present MISTR (Multidimensional Intersection Sparse supporT Recovery), an algorithm which exploits this formulation to recover the support of a multidimensional signal from magnitude-only measurements. MISTR takes advantage of the structure of multiple dimensions to provably achieve the same accuracy as the best one-dimensional algorithms in dramatically less time. We prove theoretically that MISTR correctly recovers the support of signals distributed as a Gaussian point process with high probability as long as sparsity is at most $\mathcal{O}\left(n^{d\theta}\right)$ for any $\theta < 1/2$, where $n^d$ represents pixel size in a fixed image window. In the case that magnitude measurements are corrupted by noise, we provide a thresholding scheme with theoretical guarantees for sparsity at most $\mathcal{O}\left(n^{d\theta}\right)$ for $\theta < 1/4$ that obviates the need for MISTR to explicitly handle noisy autocorrelation data. Detailed and reproducible numerical experiments demonstrate the effectiveness of our algorithm, showing that in practice MISTR enjoys time complexity which is nearly linear in the size of the input.


title: Social Chemistry 101: Learning to Reason about Social and Moral Norms

abstract: Social norms -- the unspoken commonsense rules about acceptable social behavior -- are crucial in understanding the underlying causes and intents of people's actions in narratives. For example, underlying an action such as "wanting to call cops on my neighbors" are social norms that inform our conduct, such as "It is expected that you report crimes." We present Social Chemistry, a new conceptual formalism to study people's everyday social norms and moral judgments over a rich spectrum of real life situations described in natural language. We introduce Social-Chem-101, a large-scale corpus that catalogs 292k rules-of-thumb such as "it is rude to run a blender at 5am" as the basic conceptual units. Each rule-of-thumb is further broken down with 12 different dimensions of people's judgments, including social judgments of good and bad, moral foundations, expected cultural pressure, and assumed legality, which together amount to over 4.5 million annotations of categorical labels and free-text descriptions. Comprehensive empirical results based on state-of-the-art neural models demonstrate that computational modeling of social norms is a promising research direction. Our model framework, Neural Norm Transformer, learns and generalizes Social-Chem-101 to successfully reason about previously unseen situations, generating relevant (and potentially novel) attribute-aware social rules-of-thumb.


title: Semantic Task Planning for Service Robots in Open World

abstract: In this paper, we present a planning system based on semantic reasoning for a general-purpose service robot, which is aimed at behaving more intelligently in domains that contain incomplete information, under-specified goals, and dynamic changes. First, Two kinds of data are generated by Natural Language Processing module from the speech: (i) action frames and their relationships; (ii) the modifier used to indicate some property or characteristic of a variable in the action frame. Next, the goals of the task are generated from these action frames and modifiers. These goals are represented as AI symbols, combining world state and domain knowledge, which are used to generate plans by an Answer Set Programming solver. Finally, the actions of the plan are executed one by one, and continuous sensing grounds useful information, which make the robot to use contingent knowledge to adapt to dynamic changes and faults. For each action in the plan, the planner gets its preconditions and effects from domain knowledge, so during the execution of the task, the environmental changes, especially those conflict with the actions, not only the action being performed, but also the subsequent actions, can be detected and handled as early as possible. A series of case studies are used to evaluate the system and verify its ability to acquire knowledge through dialogue with users, solve problems with the acquired causal knowledge, and plan for complex tasks autonomously in the open world.


title: Adaptive Variational Quantum Dynamics Simulations

abstract: We propose a general-purpose, self-adaptive approach to construct variational wavefunction ans\"atze for highly accurate quantum dynamics simulations based on McLachlan's variational principle. The key idea is to dynamically expand the variational ansatz along the time-evolution path such that the ``McLachlan distance'', which is a measure of the simulation accuracy, remains below a set threshold. We apply this adaptive variational quantum dynamics simulation (AVQDS) approach to the integrable Lieb-Schultz-Mattis spin chain and the nonintegrable mixed-field Ising model, where it captures both finite-rate and sudden post-quench dynamics with high fidelity. The AVQDS quantum circuits that prepare the time-evolved state are much shallower than those obtained from first-order Trotterization and contain up to two orders of magnitude fewer CNOT gate operations. We envision that a wide range of dynamical simulations of quantum many-body systems on near-term quantum computing devices will be made possible through the AVQDS framework.


title: Light emission is fundamentally tied to the quantum coherence of the emitting particle

abstract: Coherent emission of light by free charged particles is ubiquitous in many areas of physics and engineering, with the light's properties believed to be successfully captured by classical electromagnetism in all relevant experimental settings. The advent of interactions between light and free quantum matter waves brought about fundamental questions regarding the role of the particle wavefunction. Here we show that even in seemingly classical experimental regimes, light emission is fundamentally tied to quantum properties of the emitting particles, such as their quantum coherence and correlations. By employing quantum electrodynamics, we unveil the role of the particle's coherent momentum uncertainty, without which decoherence of light becomes dominant. As an example, we consider Cherenkov radiation, envisioned for almost a century as a shockwave of light. We find instead that the shockwave's duration is fundamentally bound from below by the particle's coherent momentum uncertainty due to the underlying entanglement between the particle and light. This quantum optical paradigm opens new capabilities in analytical electron microscopy, enabling the measurement of quantum correlations of shaped electron wavepackets. Our findings also have applications for Cherenkov detectors in particle physics. For example, by measuring spectral photon autocorrelations, one can unveil the particle's wavefunction size, shape and coherence. Such schemes are especially intriguing for many high-energy particles, where other techniques are not available.


title: RANC: Reconfigurable Architecture for Neuromorphic Computing

abstract: Neuromorphic architectures have been introduced as platforms for energy efficient spiking neural network execution. The massive parallelism offered by these architectures has also triggered interest from non-machine learning application domains. In order to lift the barriers to entry for hardware designers and application developers we present RANC: a Reconfigurable Architecture for Neuromorphic Computing, an open-source highly flexible ecosystem that enables rapid experimentation with neuromorphic architectures in both software via C++ simulation and hardware via FPGA emulation. We present the utility of the RANC ecosystem by showing its ability to recreate behavior of the IBM's TrueNorth and validate with direct comparison to IBM's Compass simulation environment and published literature. RANC allows optimizing architectures based on application insights as well as prototyping future neuromorphic architectures that can support new classes of applications entirely. We demonstrate the highly parameterized and configurable nature of RANC by studying the impact of architectural changes on improving application mapping efficiency with quantitative analysis based on Alveo U250 FPGA. We present post routing resource usage and throughput analysis across implementations of Synthetic Aperture Radar classification and Vector Matrix Multiplication applications, and demonstrate a neuromorphic architecture that scales to emulating 259K distinct neurons and 73.3M distinct synapses.


title: Impact of DC bias on Weak Optical-Field-Driven Electron Emission in Nano-Vacuum-Gap Detectors

abstract: In this work, we investigate multiphoton and optical-field tunneling emission from metallic surfaces with nanoscale vacuum gaps. Using time-dependent Schrodinger equation (TDSE) simulations, we find that the properties of the emitted photocurrent in such systems can be greatly altered by the application of only a few-volt DC bias. We find that when coupled with expected plasmonic enhancements within the nanometer-scale metallic gaps, the application of this DC bias significantly reduces the threshold for the transition to optical-field-driven tunneling from the metal surface, and could sufficiently enhance the emitted photocurrents, to make it feasible to electronically tag fJ ultrafast pulses at room temperature. Given the petahertz-scale instantaneous response of the photocurrents, and the low effective capacitance of thin-film nanoantenna devices that enables < 1 fs response time, detectors that exploit this bias-enhanced surface emission from nanoscale vacuum gaps could prove to be useful for communication, petahertz electronics, and ultrafast optical-field-resolved metrology.


title: Sourced fluctuations in generic slow contraction

abstract: We introduce a set of generic conditions for the slow contracting Universe and for a narrowed-down category of models called fast-roll models. We present general conditions for super horizon freeze-out of scalar and tensor perturbations and show that any fast-roll model satisfies them, as in the case of inflation. We are interested in the "Sourced Bounce" scenario, where perturbations are sourced by a $U(1)$ gauge field coupled to a bouncer scalar field. The requirement of a slightly red tilted scalar spectrum greatly restricts the allowed couplings between the scalar and the gauge field. We show that a viable slightly red scalar spectrum is achievable. However, within the fast-roll approximation, the tensor-to-scalar ratio is in general $r\simeq 1/9$, inconsistent with current observations. We demonstrate the general result with an explicit example we dub "Intermediate contraction". We prove that small modifications in fast-roll that do not alter the Green's functions do not result in $r<0.06$ consistent with the data for more than an e-fold. Hence, a successful "Sourced Bounce" requires a different source or a significant deviation from fast-roll.


title: Tracking Partially-Occluded Deformable Objects while Enforcing Geometric Constraints

abstract: In order to manipulate a deformable object, such as rope or cloth, in unstructured environments, robots need a way to estimate its current shape. However, tracking the shape of a deformable object can be challenging because of the object's high flexibility, (self-)occlusion, and interaction with obstacles. Building a high-fidelity physics simulation to aid in tracking is difficult for novel environments. Instead we focus on tracking the object based on RGBD images and geometric motion estimates and obstacles. Our key contributions over previous work in this vein are: 1) A better way to handle severe occlusion by using a motion model to regularize the tracking estimate; and 2) The formulation of \textit{convex} geometric constraints, which allow us to prevent self-intersection and penetration into known obstacles via a post-processing step. These contributions allow us to outperform previous methods by a large margin in terms of accuracy in scenarios with severe occlusion and obstacles.


title: Brain Tumor Classification Using Medial Residual Encoder Layers

abstract: According to the World Health Organization (WHO), cancer is the second leading cause of death worldwide, responsible for over 9.5 million deaths in 2018 alone. Brain tumors count for one out of every four cancer deaths. Therefore, accurate and timely diagnosis of brain tumors will lead to more effective treatments. Physicians classify brain tumors only with biopsy operation by brain surgery, and after diagnosing the type of tumor, a treatment plan is considered for the patient. Automatic systems based on machine learning algorithms can allow physicians to diagnose brain tumors with noninvasive measures. To date, several image classification approaches have been proposed to aid diagnosis and treatment. For brain tumor classification in this work, we offer a system based on deep learning, containing encoder blocks. These blocks are fed with post-max-pooling features as residual learning. Our approach shows promising results by improving the tumor classification accuracy in Magnetic resonance imaging (MRI) images using a limited medical image dataset. Experimental evaluations of this model on a dataset consisting of 3064 MR images show 95.98% accuracy, which is better than previous studies on this database.


title: Distances between probability distributions of different dimensions

abstract: Comparing probability distributions is an indispensable and ubiquitous task in machine learning and statistics. The most common way to compare a pair of Borel probability measures is to compute a metric between them, and by far the most widely used notions of metric are the Wasserstein metric and the total variation metric. The next most common way is to compute a divergence between them, and in this case almost every known divergences such as those of Kullback--Leibler, Jensen--Shannon, R\'enyi, and many more, are special cases of the $f$-divergence. Nevertheless these metrics and divergences may only be computed, in fact, are only defined, when the pair of probability measures are on spaces of the same dimension. How would one quantify, say, a KL-divergence between the uniform distribution on the interval $[-1,1]$ and a Gaussian distribution on $\mathbb{R}^3$? We show that these common notions of metrics and divergences give rise to natural distances between Borel probability measures defined on spaces of different dimensions, e.g., one on $\mathbb{R}^m$ and another on $\mathbb{R}^n$ where $m, n$ are distinct, so as to give a meaningful answer to the previous question.


title: How Testable is Business Software?

abstract: Most businesses rely on a significant stack of software to perform their daily operations. This software is business-critical as defects in this software have major impacts on revenue and customer satisfaction. The primary means for verification of this software is testing. We conducted an extensive analysis of Java software packages to evaluate their unit-testability. The results show that code in software repositories is typically split into portions of very trivial code, non-trivial code that is unit-testable, and code that cannot be unit-tested easily. This brings up interesting considerations regarding the use of test coverage metrics and design for testability, which is crucial for testing efficiency and effectiveness. Lack of unit-testability is an obstacle to applying tools that perform automated verification and test generation. These tools cannot make up for poor testability of the code and have a hard time in succeeding or are not even applicable without first improving the design of the software system.


title: Bifurcated Autoencoder for Segmentation of COVID-19 Infected Regions in CT Images

abstract: The new coronavirus infection has shocked the world since early 2020 with its aggressive outbreak. Rapid detection of the disease saves lives, and relying on medical imaging (Computed Tomography and X-ray) to detect infected lungs has shown to be effective. Deep learning and convolutional neural networks have been used for image analysis in this context. However, accurate identification of infected regions has proven challenging for two main reasons. Firstly, the characteristics of infected areas differ in different images. Secondly, insufficient training data makes it challenging to train various machine learning algorithms, including deep-learning models. This paper proposes an approach to segment lung regions infected by COVID-19 to help cardiologists diagnose the disease more accurately, faster, and more manageable. We propose a bifurcated 2-D model for two types of segmentation. This model uses a shared encoder and a bifurcated connection to two separate decoders. One decoder is for segmentation of the healthy region of the lungs, while the other is for the segmentation of the infected regions. Experiments on publically available images show that the bifurcated structure segments infected regions of the lungs better than state of the art.


title: Synthesis of Discounted-Reward Optimal Policies for Markov Decision Processes Under Linear Temporal Logic Specifications

abstract: We present a method to find an optimal policy with respect to a reward function for a discounted Markov decision process under general linear temporal logic (LTL) specifications. Previous work has either focused on maximizing a cumulative reward objective under finite-duration tasks, specified by syntactically co-safe LTL, or maximizing an average reward for persistent (e.g., surveillance) tasks. This paper extends and generalizes these results by introducing a pair of occupancy measures to express the LTL satisfaction objective and the expected discounted reward objective, respectively. These occupancy measures are then connected to a single policy via a novel reduction resulting in a mixed integer linear program whose solution provides an optimal policy. Our formulation can also be extended to include additional constraints with respect to secondary reward functions. We illustrate the effectiveness of our approach in the context of robotic motion planning for complex missions under uncertainty and performance objectives.


title: Aspect-Based Argument Mining

abstract: Computational Argumentation in general and Argument Mining in particular are important research fields. In previous works, many of the challenges to automatically extract and to some degree reason over natural language arguments were addressed. The tools to extract argument units are increasingly available and further open problems can be addressed. In this work, we are presenting the task of Aspect-Based Argument Mining (ABAM), with the essential subtasks of Aspect Term Extraction (ATE) and Nested Segmentation (NS). At the first instance, we create and release an annotated corpus with aspect information on the token-level. We consider aspects as the main point(s) argument units are addressing. This information is important for further downstream tasks such as argument ranking, argument summarization and generation, as well as the search for counter-arguments on the aspect-level. We present several experiments using state-of-the-art supervised architectures and demonstrate their performance for both of the subtasks. The annotated benchmark is available at https://github.com/trtm/ABAM.


title: Local Finite Element Approximation of Sobolev Differential Forms

abstract: We address fundamental aspects in the approximation theory of vector-valued finite element methods, using finite element exterior calculus as a unifying framework. We generalize the Cl\'ement interpolant and the Scott-Zhang interpolant to finite element differential forms, and we derive a broken Bramble-Hilbert Lemma. Our interpolants require only minimal smoothness assumptions and respect partial boundary conditions. This permits us to state local error estimates in terms of the mesh size. Our theoretical results apply to curl-conforming and divergence-conforming finite element methods over simplicial triangulations.


title: Screening for an Infectious Disease as a Problem in Stochastic Control

abstract: There has been much recent interest in screening populations for an infectious disease. Here, we present a stochastic-control model, wherein the optimum screening policy is provably difficult to find, but wherein Thompson sampling has provably optimal performance guarantees in the form of Bayesian regret. Thompson sampling seems applicable especially to diseases, for which we do not understand the dynamics well, such as to the super-spreading COVID-19.


title: 3D Near-Field Millimeter-Wave Synthetic Aperture Radar Imaging

abstract: In this paper, we present 3D high resolution radar imaging process at millimeter-Wave (mmWave) frequencies by creating the effect of a large aperture synthetically. We use a low cost fully integrated Frequency Modulated Continuous Wave (FMCW) radar operating at $\rm 79\;GHz$ and then perform Synthetic Aperture Radar (SAR) imaging in the near-filed zone. At the end, we conduct a real experiment and present the reconstructed image.


title: $\mathrm{T}\overline{\mathrm{T}}$-deformed 1d Bose gas

abstract: $\mathrm{T}\overline{\mathrm{T}}$ deformation was originally proposed as an irrelevant solvable deformation for 2d relativistic quantum field theories (QFTs). The same family of deformations can also be defined for integrable quantum spin chains which was first studied in the context of integrability in AdS/CFT. In this paper, we construct such deformations for yet another type of models, which describe a collection of particles moving in 1d and interacting in an integrable manner. The prototype of such models is the Lieb-Liniger model. This shows that such deformations can be defined for a very wide range of systems. We study the finite volume spectrum and thermodynamics of the $\mathrm{T}\overline{\mathrm{T}}$-deformed Lieb-Liniger model. We find that for one sign of the deformation parameter $(\lambda<0)$, the deformed spectrum becomes complex when the volume of the system is smaller than certain critical value, signifying the break down of UV physics. For the other sign $(\lambda>0)$, there exists an upper bound for the temperature, similar to the Hagedorn behavior of the $\mathrm{T}\overline{\mathrm{T}}$ deformed QFTs. Both behaviors can be attributed to the fact that $\mathrm{T}\overline{\mathrm{T}}$ deformation changes the size the particles. We show that for $\lambda>0$, the deformation increases the spaces between particles which effectively increases the volume of the system. For $\lambda<0$, $\mathrm{T}\overline{\mathrm{T}}$ deformation fattens point particles to finite size hard rods. This is similar to the observation that the action of $\mathrm{T}\overline{\mathrm{T}}$-deformed free boson is the Nambu-Goto action, which describes bosonic strings -- also an extended object with finite size.


title: Spectral splitting and concentration of broadband light using neural networks

abstract: Compact photonic elements that control both the diffraction and interference of light offer superior performance at ultra-compact dimensions. Unlike conventional optical structures, these diffractive optical elements can provide simultaneous control of spectral and spatial profile of light. However, the inverse-design of such a diffractive optical element is time-consuming with current algorithms, and the designs generally lack experimental validation. Here, we develop a neural network model to experimentally design and validate SpliCons; a special type of diffractive optical element that can achieve spectral splitting and simultaneous concentration of broadband light. We use neural networks to exploit nonlinear operations that result from wavefront reconstruction through a phase plate. Our results show that the neural network model yields enhanced spectral splitting performance for phase plates with quantitative assessment compared to phase plates that are optimized via local search optimization algorithm. The capabilities of the phase plates optimized via neural network are experimentally validated by comparing the intensity distribution at the output plane. Once the neural networks are trained, we manage to design SpliCons with 96.6 $\pm$ 2.3% accuracy within 2 seconds, which is orders of magnitude faster than iterative search algorithms. We openly share the fast and efficient framework that we develop in order to contribute to the design and implementation of diffractive optical elements that can lead to transformative effects in microscopy, spectroscopy, and solar energy applications.


title: Model-Agnostic Explanations using Minimal Forcing Subsets

abstract: How can we find a subset of training samples that are most responsible for a specific prediction made by a complex black-box machine learning model? More generally, how can we explain the model's decisions to end-users in a transparent way? We propose a new model-agnostic algorithm to identify a minimal set of training samples that are indispensable for a given model's decision at a particular test point, i.e., the model's decision would have changed upon the removal of this subset from the training dataset. Our algorithm identifies such a set of "indispensable" samples iteratively by solving a constrained optimization problem. Further, we speed up the algorithm through efficient approximations and provide theoretical justification for its performance. To demonstrate the applicability and effectiveness of our approach, we apply it to a variety of tasks including data poisoning detection, training set debugging and understanding loan decisions. The results show that our algorithm is an effective and easy-to-comprehend tool that helps to better understand local model behavior, and therefore facilitates the adoption of machine learning in domains where such understanding is a requisite.


title: Data Analysis for Proficiency Testing

abstract: Proficiency Testing (PT) determines the performance of individual laboratories for specific tests or measurements and it is used to monitor the reliability of laboratories measurements. PT plays a highly valuable role as it provides an objective evidence of the competence of the participant laboratories. In this paper, we propose a multivariate model to assess equivalence among laboratories measurements in proficiency testing. Our method allow to include type B source of variation and to deal with multivariate data, where the item under test is measured at different levels. Although intuitive, the proposed model is nonergodic, which means that the asymptotic Fisher information matrix is random. As a consequence, a detailed asymptotic analysis was carried out to establish the strategy for comparing the results of the participating laboratories. To illustrate, we apply our method to analyze the data from the Brazilian Engine test group, PT program, where the power of an engine was measured by 8 laboratories at several levels of rotation.


title: Active Structure Learning of Causal DAGs via Directed Clique Tree

abstract: A growing body of work has begun to study intervention design for efficient structure learning of causal directed acyclic graphs (DAGs). A typical setting is a causally sufficient setting, i.e. a system with no latent confounders, selection bias, or feedback, when the essential graph of the observational equivalence class (EC) is given as an input and interventions are assumed to be noiseless. Most existing works focus on worst-case or average-case lower bounds for the number of interventions required to orient a DAG. These worst-case lower bounds only establish that the largest clique in the essential graph could make it difficult to learn the true DAG. In this work, we develop a universal lower bound for single-node interventions that establishes that the largest clique is always a fundamental impediment to structure learning. Specifically, we present a decomposition of a DAG into independently orientable components through directed clique trees and use it to prove that the number of single-node interventions necessary to orient any DAG in an EC is at least the sum of half the size of the largest cliques in each chain component of the essential graph. Moreover, we present a two-phase intervention design algorithm that, under certain conditions on the chordal skeleton, matches the optimal number of interventions up to a multiplicative logarithmic factor in the number of maximal cliques. We show via synthetic experiments that our algorithm can scale to much larger graphs than most of the related work and achieves better worst-case performance than other scalable approaches. A code base to recreate these results can be found at https://github.com/csquires/dct-policy


title: Technical Report: Reactive Planning for Mobile Manipulation Tasks in Unexplored Semantic Environments

abstract: Complex manipulation tasks, such as rearrangement planning of numerous objects, are combinatorially hard problems. Existing algorithms either do not scale well or assume a great deal of prior knowledge about the environment, and few offer any rigorous guarantees. In this paper, we propose a novel hybrid control architecture for achieving such tasks with mobile manipulators. On the discrete side, we enrich a temporal logic specification with mobile manipulation primitives such as moving to a point, and grasping or moving an object. Such specifications are translated to an automaton representation, which orchestrates the physical grounding of the task to mobility or manipulation controllers. The grounding from the discrete to the continuous reactive controller is online and can respond to the discovery of unknown obstacles or decide to push out of the way movable objects that prohibit task accomplishment. Despite the problem complexity, we prove that, under specific conditions, our architecture enjoys provable completeness on the discrete side, provable termination on the continuous side, and avoids all obstacles in the environment. Simulations illustrate the efficiency of our architecture that can handle tasks of increased complexity while also responding to unknown obstacles or unanticipated adverse configurations.


title: A KK-theoretic perspective of quantization commutes with reduction

abstract: We reframe Paradan-Vergne's approach to quantization commutes with reduction in KK-theory through a recent formalism introduced by Kasparov, focusing more especially the index theoretic parts that lead to their "Witten non-abelian localization formula". While our method uses the same ingredients as their's in spirit, interesting conceptual simplifications occur, and the relationship to the Ma-Tian-Zhang analytic approach becomes quite transparent.


title: Long-term IaaS Selection using Performance Discovery

abstract: We propose a novel framework to select IaaS providers according to a consumer's long-term performance requirements. The proposed framework leverages free short-term trials to discover the unknown QoS performance of IaaS providers. We design a temporal skyline-based filtering method to select candidate IaaS providers for the short-term trials. A novel cooperative long-term QoS prediction approach is developed that utilizes past trial experiences of similar consumers using a workload replay technique. We propose a new trial workload generation model that estimates a provider's long-term performance in the absence of past trial experiences. The confidence of the prediction is measured based on the trial experience of the consumer. A set of experiments are conducted based on real-world datasets to evaluate the proposed framework.


title: Scaled boundary cubature scheme for numerical integration over planar regions with affine and curved boundaries

abstract: This paper introduces the scaled boundary cubature (SBC) scheme for accurate and efficient integration of functions over polygons and two-dimensional regions bounded by parametric curves. Over two-dimensional domains, the SBC method reduces integration over a region bounded by $m$ curves to integration over $m$ regions (referred to as curved triangular regions), where each region is bounded by two line segments and a curve. With proper (counterclockwise) orientation of the boundary curves, the scheme is applicable to convex and nonconvex domains. Additionally, for star-convex domains, a tensor-product cubature rule with positive weights and integration points in the interior of the domain is obtained. If the integrand is homogeneous, we show that this new method reduces to the homogeneous numerical integration scheme; however, the SBC scheme is more versatile since it is equally applicable to both homogeneous and non-homogeneous functions. This paper also introduces several methods for smoothing integrands with point singularities and near-singularities. When these methods are used, highly efficient integration of weakly singular functions is realized. The SBC method is applied to a number of benchmark problems, which reveal its broad applicability and superior performance (in terms of time to generate a rule and accuracy per cubature point) when compared to existing methods for integration.


title: DRF: A Framework for High-Accuracy Autonomous Driving Vehicle Modeling

abstract: An accurate vehicle dynamic model is the key to bridge the gap between simulation and real road test in autonomous driving. In this paper, we present a Dynamic model-Residual correction model Framework (DRF) for vehicle dynamic modeling. On top of any existing open-loop dynamic model, this framework builds a Residual Correction Model (RCM) by integrating deep Neural Networks (NN) with Sparse Variational Gaussian Process (SVGP) model. RCM takes a sequence of vehicle control commands and dynamic status for a certain time duration as modeling inputs, extracts underlying context from this sequence with deep encoder networks, and predicts open-loop dynamic model prediction errors. Five vehicle dynamic models are derived from DRF via encoder variation. Our contribution is consolidated by experiments on evaluation of absolute trajectory error and similarity between DRF outputs and the ground truth. Compared to classic rule-based and learning-based vehicle dynamic models, DRF accomplishes as high as 74.12% to 85.02% of absolute trajectory error drop among all DRF variations.


title: Fast Network Community Detection with Profile-Pseudo Likelihood Methods

abstract: The stochastic block model is one of the most studied network models for community detection. It is well-known that most algorithms proposed for fitting the stochastic block model likelihood function cannot scale to large-scale networks. One prominent work that overcomes this computational challenge is Amini et al.(2013), which proposed a fast pseudo-likelihood approach for fitting stochastic block models to large sparse networks. However, this approach does not have convergence guarantee, and is not well suited for small- or medium- scale networks. In this article, we propose a novel likelihood based approach that decouples row and column labels in the likelihood function, which enables a fast alternating maximization; the new method is computationally efficient, performs well for both small and large scale networks, and has provable convergence guarantee. We show that our method provides strongly consistent estimates of the communities in a stochastic block model. As demonstrated in simulation studies, the proposed method outperforms the pseudo-likelihood approach in terms of both estimation accuracy and computation efficiency, especially for large sparse networks. We further consider extensions of our proposed method to handle networks with degree heterogeneity and bipartite properties.


title: Addressing Resiliency of In-Memory Floating Point Computation

abstract: In-memory computing (IMC) can eliminate the data movement between processor and memory which is a barrier to the energy-efficiency and performance in Von-Neumann computing. Resistive RAM (RRAM) is one of the promising devices for IMC applications (e.g. integer and Floating Point (FP) operations and random logic implementation) due to low power consumption, fast operation, and small footprint in crossbar architecture. In this paper, we propose FAME, a pipelined FP arithmetic (adder/subtractor) using RRAM crossbar based IMC. A novel shift circuitry is proposed to lower the shift overhead during FP operations. Since 96% of the RRAMs used in our architecture are in High Resistance State (HRS), we propose two approaches namely Shift-At-The-Output (SATO) and Force To VDD (FTV) (ground (FTG)) to mitigate Stuck-at-1 (SA1) failures. In both techniques, the fault-free RRAMs are exploited to perform the computation by using an extra clock cycle. Although performance degrades by 50%, SATO can handle 50% of the faults whereas FTV can handle 99% of the faults in the RRAM-based compute array at low power and area overhead. Simulation results show that the proposed single precision FP adder consumes 335 pJ and 322 pJ for NAND-NAND and NOR-NOR based implementations, respectively. The area overheads of SATO and FTV are 28.5% and 9.5%, respectively.


title: A Wearable CMOS Biosensor with 3 Designs of Energy-Resolution Scalable Time-Based Resistance to Digital Converter

abstract: This paper presents the design and analysis of a wearable CMOS biosensor with three different designs of energy-resolution scalable time-based resistance to digital converters (RDC), targeted towards either minimizing the energy/conversion step or maximizing bit-resolution. The implemented RDCs consist of a 3-stage differential ring oscillator which is current starved with the resistive sensor, a differential to single ended amplifier, an off-chip counter and serial interface. The first design RDC included the basic structure of time-based RDC and targeted low energy/conversion step. The second design RDC aimed to improve the rms jitter/phase noise of the oscillator with help of speed-up latches, to achieve higher bit-resolution as compared to the first design RDC. The third design RDC reduced the power consumption by scaling the technology with the improved phase-noise design, achieving 1-bit better resolution as that of the second design RDC. Using a time-based implementation, the RDCs exhibit energy-resolution scalablity, and consume 861nW with 18-bit resolution in design 1 in TSMC 0.35um technology. Design 2 and 3 consume 19.1uW with 20-bit resolution using TSMC 0.35um, and 17.6uW with 20-bit resolutions using TSMC 0.18um, respectively (both with 10ms read-time, repeated every second). With 30ms read-time, design 3 achieves 21-bit resolution, which is the highest resolution reported for a time-based ADC. The 0.35um time-based RDC is the lowest-power time-based ADC reported, while the 0.18um time-based RDC with speed-up latch offers the highest resolution. The active chip-area for all 3-designs are less than 1.1 mm^2.


title: Search Engine Similarity Analysis: A Combined Content and Rankings Approach

abstract: How different are search engines? The search engine wars are a favorite topic of on-line analysts, as two of the biggest companies in the world, Google and Microsoft, battle for prevalence of the web search space. Differences in search engine popularity can be explained by their effectiveness or other factors, such as familiarity with the most popular first engine, peer imitation, or force of habit. In this work we present a thorough analysis of the affinity of the two major search engines, Google and Bing, along with DuckDuckGo, which goes to great lengths to emphasize its privacy-friendly credentials. To do so, we collected search results using a comprehensive set of 300 unique queries for two time periods in 2016 and 2019, and developed a new similarity metric that leverages both the content and the ranking of search responses. We evaluated the characteristics of the metric against other metrics and approaches that have been proposed in the literature, and used it to (1) investigate the similarities of search engine results, (2) the evolution of their affinity over time, (3) what aspects of the results influence similarity, and (4) how the metric differs over different kinds of search services. We found that Google stands apart, but Bing and DuckDuckGo are largely indistinguishable from each other.


title: A hyperbolic-elliptic-parabolic PDE model describing chemotactic E. coli colonies

abstract: We study a modified version of an initial-boundary value problem describing the formation of colony patterns of bacteria \textit{Escherichia Coli}. The original system of three parabolic equations was studied numerically and analytically and gave insights into the underlying mechanisms of chemotaxis. We focus here on the parabolic-elliptic-parabolic approximation and the hyperbolic-elliptic-parabolic limiting system which describes the case of pure chemotactic movement without random diffusion. We first construct local-in-time solutions for the parabolic-elliptic-parabolic system. Then we prove uniform \textit{a priori} estimates and we use them along with a compactness argument in order to construct local-in-time solutions for the hyperbolic-elliptic-parabolic limiting system. Finally, we prove that some initial conditions give rise to solutions which blow-up in finite time in the $L^\infty$ norm in all space dimensions. This last result violet is true even in space dimension 1, which is not the case for the full parabolic or parabolic-elliptic Keller-Segel systems.


title: Multi-View Adaptive Fusion Network for 3D Object Detection

abstract: 3D object detection based on LiDAR-camera fusion is becoming an emerging research theme for autonomous driving. However, it has been surprisingly difficult to effectively fuse both modalities without information loss and interference. To solve this issue, we propose a single-stage multi-view fusion framework that takes LiDAR bird's-eye view, LiDAR range view and camera view images as inputs for 3D object detection. To effectively fuse multi-view features, we propose an attentive pointwise fusion (APF) module to estimate the importance of the three sources with attention mechanisms that can achieve adaptive fusion of multi-view features in a pointwise manner. Furthermore, an attentive pointwise weighting (APW) module is designed to help the network learn structure information and point feature importance with two extra tasks, namely, foreground classification and center regression, and the predicted foreground probability is used to reweight the point features. We design an end-to-end learnable network named MVAF-Net to integrate these two components. Our evaluations conducted on the KITTI 3D object detection datasets demonstrate that the proposed APF and APW modules offer significant performance gains. Moreover, the proposed MVAF-Net achieves the best performance among all single-stage fusion methods and outperforms most two-stage fusion methods, achieving the best trade-off between speed and accuracy on the KITTI benchmark.


title: Free Energy, Gibbs Measures, and Glauber Dynamics for Nearest-neighbor Interactions on Trees

abstract: We extend results of R. Holley beyond the integer lattice to a large class of groups which includes free groups. In particular we show that a shift-invariant measure is Gibbs if and only if it is Glauber-invariant. Moreover, any shift-invariant measure converges weakly to the set of Gibbs measures when evolved under Glauber dynamics. These results are proven using a new notion of free energy density relative to a sofic approximation by homomorphisms. Any measure which minimizes free energy density is Gibbs.


title: Spinning black holes as cosmic string factories

abstract: We consider the evolution of a cosmic string loop that is captured by a much more massive and compact black hole. We show that after several reconnections that produce ejections of smaller loops, the loop that remains bound to the black hole moves on a nearly-periodic non-self-intersecting trajectory, "the orbit". The orbit evolves due to an energy and angular momentum exchange between the loop and the spinning black hole. We show that such evolution is mathematically equivalent to a certain continuous deformation of an auxiliary closed curve in a 3-dimensional space; for zero black-hole spin this deformation is curve-shortening that has been extensively studied by mathematicians. The evolution features competing effects of loop growth by the superradiant extraction of the black-hole spin energy, and loop decay by the friction of the moving string against the horizon. A self-intersection of an auxiliary curve corresponds to a capture by the black hole of a new string segment and thus an addition of a new captured loop. Possible asymptotic states of such evolution are shown to be strong emitters of gravitational waves. Whether reconnections prevent reaching the asymptotic states remains to be explored. Additionally, the orbit's shape also evolves due to an emission of gravitational waves, and a recoil of the black hole that changes the orbit and likely leads to self-intersections. We argue that for a significant range of the dimensionless tension $\mu$, string loops are captured by supermassive black holes at the centers of galaxies. This strongly motivates further study of interaction between string loops and black holes, especially the influence of this process on the black hole spindown and on the production of gravitational waves by strings created in galactic nuclei. We also discuss potential loop captures by primordial black holes.


title: Reframing the Test Pyramid for Digitally Transformed Organizations

abstract: The test pyramid is a conceptual model that describes how quality checks can be organized to ensure coverage of all components of a system, at all scales. Originally conceived to help aerospace engineers plan tests to determine how material changes impact system integrity, the concept was gradually introduced into software engineering. Today, the test pyramid is typically used to illustrate that the majority of tests should be performed at the lowest (unit test) level, with fewer integration tests, and even fewer acceptance tests (which are the most expensive to produce, and the slowest to execute). Although the value of acceptance tests and integration tests increasingly depends on the integrity of the underlying data, models, and pipelines, software development and data management organizations have traditionally been siloed and quality assurance practice is not as mature in data operations as it is for software. Companies that close this gap by developing cross-organizational systems will create new competitive advantage and differentiation. By taking a more holistic view of testing that crosses these boundaries, practitioners can help their organizations close the gap.


title: 10 Years Later: Cloud Computing is Closing the Performance Gap

abstract: Can cloud computing infrastructures provide HPC-competitive performance for scientific applications broadly? Despite prolific related literature, this question remains open. Answers are crucial for designing future systems and democratizing high-performance computing. We present a multi-level approach to investigate the performance gap between HPC and cloud computing, isolating different variables that contribute to this gap. Our experiments are divided into (i) hardware and system microbenchmarks and (ii) user application proxies. The results show that today's high-end cloud computing can deliver HPC-competitive performance not only for computationally intensive applications but also for memory- and communication-intensive applications - at least at modest scales - thanks to the high-speed memory systems and interconnects and dedicated batch scheduling now available on some cloud platforms.


title: The Borsuk-Ulam theorem for closed $3$-manifolds having geometry $S^2\times \R$

abstract: Let $M$ be a closed 3-manifold which admits the geometry $S^2\times \R$. In this work we determine all the free involutions $\tau$ on $M$, and the Borsuk-Ulam index of $(M,\tau)$.


title: Constants of motion for the finite-dimensional Lohe type models with frustration and applications to emergent dynamics

abstract: We present constants of motion for the finite-dimensional Lohe type aggregation models with frustration and we apply them to analyze the emergence of collective behaviors. The Lohe type models have been proposed as possible non-abelian and higher-dimensional generalizations of the Kuramoto model, which is a prototype phase model for synchronization. The aim of this paper is to study the emergent collective dynamics of these models under the effect of (interaction) frustration, which generalizes phase-shift frustrations in the Kuramoto model. To this end, we present constants of motion, i.e., conserved quantities along the flow generated by the models under consideration, and, from the perspective of the low-dimensional dynamics thus so obtained, derive several results concerning the emergent asymptotic patterns of the Kuramoto and Lohe sphere models.