title: MIOpen: An Open Source Library For Deep Learning Primitives

abstract: Deep Learning has established itself to be a common occurrence in the business lexicon. The unprecedented success of deep learning in recent years can be attributed to: abundance of data, availability of gargantuan compute capabilities offered by GPUs, and adoption of open-source philosophy by the researchers and industry. Deep neural networks can be decomposed into a series of different operators. MIOpen, AMD's open-source deep learning primitives library for GPUs, provides highly optimized implementations of such operators, shielding researchers from internal implementation details and hence, accelerating the time to discovery. This paper introduces MIOpen and provides details about the internal workings of the library and supported features. MIOpen innovates on several fronts, such as implementing fusion to optimize for memory bandwidth and GPU launch overheads, providing an auto-tuning infrastructure to overcome the large design space of problem configurations, and implementing different algorithms to optimize convolutions for different filter and input sizes. MIOpen is one of the first libraries to publicly support the bfloat16 data-type for convolutions, allowing efficient training at lower precision without the loss of accuracy.


title: Calibration of the CMS hadron calorimeters using proton-proton collision data at $\sqrt{s} =$ 13 TeV

abstract: Methods are presented for calibrating the hadron calorimeter system of the CMS detector at the LHC. The hadron calorimeters of the CMS experiment are sampling calorimeters of brass and scintillator, and are in the form of one central detector and two endcaps. These calorimeters cover pseudorapidities $|\eta| <$ 3 and are positioned inside a solenoidal magnet. An outer calorimeter, outside the magnet coil, covers $|\eta| <$ 1.26, and a steel and quartz-fiber Cherenkov forward calorimeter extends the coverage to $|\eta| <$ 5.19. The initial calibration of the calorimeters was based on results from test beams, augmented with the use of radioactive sources and lasers. The calibration was improved substantially using proton-proton collision data collected at $\sqrt{s} =$ 7, 8, and 13 TeV, as well as cosmic ray muon data collected during the periods when the LHC beams were not present. The present calibration is performed using the early 13 TeV data collected during 2016 corresponding to an integrated luminosity of 35.9 fb$^{-1}$. The intercalibration of channels exploits the approximate uniformity of energy deposit over the azimuthal angle. The absolute energy scale of the central and endcap calorimeters is set using isolated charged hadrons. The energy scale for the electromagnetic portion of the forward calorimeters is set using Z $\to$ ee data. The energy scale of the outer calorimeters has been determined with test beam data and is confirmed through data with high transverse momentum jets. In this paper, we present the details of the calibration methods and accuracy.


title: Light element variations within the different age-metallicity populations in the nucleus of the Sagittarius dwarf

abstract: The cluster M54 lies at the centre of the Sagittarius dwarf spheroidal galaxy, and therefore may be the closest example of a nuclear star cluster. Either in-situ star formation, inspiralling globular clusters, or a combination have been invoked to explain the wide variety of stellar sub-populations in nuclear star clusters. Globular clusters are known to exhibit light element variations, which can be identified using the photometric construct called a chromosome map. In this letter, we create chromosome maps for three distinct age-metallicity sub-populations in the vicinity of M54. We find that the old, metal-poor population shows the signature of light element variations, while the young and intermediate-age metal rich populations do not. We conclude that the nucleus of Sagittarius formed through a combination of in-situ star formation and globular cluster accretion. This letter demonstrates that properly constructed chromosome maps of iron-complex globular clusters can provide insight into the formation locations of the different stellar populations.


title: Automated Generation of Dimensioned Rectangular Floorplans

abstract: This paper proposes a methodology for the automated construction of rectangular floorplans (RFPs) while addressing dimensional constraints and adjacency relations. Here, adjacency relations are taken in the form of a dimensionless rectangular arrangement (RA) ensuring the existence of a RFP, while dimensional constraints are given in terms of minimum width and aspect ratio range for each room. A linear optimization model is then presented to obtain a feasible dimensioned RFP for user-defined constraints. A GUI is also developed for the automated generation of RFPs. The proposed model is able to generate feasible solutions for every possible RA in a reasonable amount of time. From the architectural perspective, this work can be seen as a re-generation of well-known architectural plans with modified dimensions. In the end, the regeneration of existing legacy RFPs (corresponding to the user-defined dimensions) has been demonstrated, taking their image as input.


title: New global solutions of the Jacobi partial differential equations

abstract: A new family of solutions of the Jacobi partial differential equations for finite-dimensional Poisson systems is investigated. This family is mathematically remarkable, as the functional dependences of the solutions appear to be associated to the distinguished invariants of the solutions themselves. This kind of Poisson structure (termed distinguished solutions or D-solutions) is defined for every nontrivial combination of values of the dimension and the rank, and is also determined in terms of functions of arbitrary nonlinearity, properties usually not present simultaneously in the already known solution families. In addition, D-solutions display several properties allowing the generation of an infinity of D-solutions from a given one, which is an uncommon feature in the framework of the Jacobi equations. Furthermore, a special family of D-solutions complying with the previous requirements is constructively characterized and analyzed. Examples are discussed focusing on physical implications and including an application for the global construction of the Darboux canonical form.


title: An exact solution of the orbit equation for a massive particle in Schwarzschild metric

abstract: In this paper, we consider a spherically curved symmetric spacetime to exact solving the orbit equation of a massive particle by using Jacobi's elliptic functions. Generally, the solution of the orbit equation provides the relativistic effects on the massive particle, absents in Newtonian mechanics. Besides, we investigate the additional physical information introduced by the exact solution to the orbit equation that is not visible in the approximate solutions traditionally presented in literature. Here, we exactly solve the problem by the use an analytical methodology step by step in order to provide detailed solutions as well as demonstrate with mathematical rigour the geodesic solution in terms of Jacobi's elliptic functions. We find oscillatory movements of the orbit of the massive particle at the expected regimes without to consider any heuristic argument. Bound regions to the solution of the equation of motion is presented, finding the aspect of the geodesic when the massive particle is trapped in the gravitational field of the source.


title: Contextual Graph Attention for Answering Logical Queries over Incomplete Knowledge Graphs

abstract: Recently, several studies have explored methods for using KG embedding to answer logical queries. These approaches either treat embedding learning and query answering as two separated learning tasks, or fail to deal with the variability of contributions from different query paths. We proposed to leverage a graph attention mechanism to handle the unequal contribution of different query paths. However, commonly used graph attention assumes that the center node embedding is provided, which is unavailable in this task since the center node is to be predicted. To solve this problem we propose a multi-head attention-based end-to-end logical query answering model, called Contextual Graph Attention model(CGA), which uses an initial neighborhood aggregation layer to generate the center embedding, and the whole model is trained jointly on the original KG structure as well as the sampled query-answer pairs. We also introduce two new datasets, DB18 and WikiGeo19, which are rather large in size compared to the existing datasets and contain many more relation types, and use them to evaluate the performance of the proposed model. Our result shows that the proposed CGA with fewer learnable parameters consistently outperforms the baseline models on both datasets as well as Bio dataset.


title: A mixed discontinuous Galerkin method without interior penalty for time-dependent fourth order problems

abstract: A novel discontinuous Galerkin (DG) method is developed to solve time-dependent bi-harmonic type equations involving fourth derivatives in one and multiple space dimensions. We present the spatial DG discretization based on a mixed formulation and central interface numerical fluxes so that the resulting semi-discrete schemes are $L^2$ stable even without interior penalty. For time discretization, we use Crank-Nicolson so that the resulting scheme is unconditionally stable and second order in time. We present the optimal $L^2$ error estimate of $O(h^{k+1})$ for polynomials of degree $k$ for semi-discrete DG schemes, and the $L^2$ error of $O(h^{k+1} +(\Delta t)^2)$ for fully discrete DG schemes. Extensions to more general fourth order partial differential equations and cases with non-homogeneous boundary conditions are provided. Numerical results are presented to verify the stability and accuracy of the schemes. Finally, an application to the one-dimensional Swift-Hohenberg equation endowed with a decay free energy is presented.


title: Trisections and link surgeries

abstract: We examine questions about surgery on links which arise naturally from the trisection decomposition of 4-manifolds developed by Gay and Kirby. These links lie on Heegaard surfaces in $\#^j S^1 \times S^2$ and have surgeries yielding $\#^k S^1 \times S^2$. We describe families of links which have such surgeries. One can ask whether all links with such surgeries lie in these families; the answer is almost certainly no. We nevertheless give a small piece of evidence in favor of a positive answer.


title: Respect Your Emotion: Human-Multi-Robot Teaming based on Regret Decision Model

abstract: Often, when modeling human decision-making behaviors in the context of human-robot teaming, the emotion aspect of human is ignored. Nevertheless, the influence of emotion, in some cases, is not only undeniable but beneficial. This work studies the human-like characteristics brought by regret emotion in one-human-multi-robot teaming for the application of domain search. In such application, the task management load is outsourced to the robots to reduce the human's workload, freeing the human to do more important work. The regret decision model is first used by each robot for deciding whether to request human service, then is extended for optimally queuing the requests from multiple robots. For the movement of the robots in the domain search, we designed a path planning algorithm based on dynamic programming for each robot. The simulation shows that the human-like characteristics, namely, risk-seeking and risk-aversion, indeed bring some appealing effects for balancing the workload and performance in the human-multi-robot team.


title: Ultrahigh Responsivity Photodetectors of Two-dimensional Covalent Organic Frameworks Integrated on Graphene

abstract: Two dimensional (2D) materials exhibit superior properties in electronic and optoelectronic fields. The wide demand for high performance optoelectronic devices promotes the exploration of diversified 2D materials. Recently, 2D covalent organic frameworks (COFs) have emerged as next-generation layered materials with predesigned pi electronic skeletons and highly ordered topological structures, which are promising for tailoring their optoelectronic properties. However, COFs are usually produced as solid powders due to anisotropic growth, making them unreliable to integrate into devices. Here, by selecting tetraphenylethylene (TPE) monomers with photoelectric activity, we designed and synthesized photosensitive 2D COFs with highly ordered topologies and grew 2D COFs in situ on graphene to form well ordered COF graphene heterostructures. Ultrasensitive photodetectors were successfully fabricated with the COFETBC TAPT graphene heterostructure and exhibited an excellent overall performance. Moreover, due to the high surface area and the polarity selectivity of COFs, the photosensing properties of the photodetectors can be reversibly regulated by specific target molecules. Our research provides new strategies for building advanced functional devices with programmable material structures and diversified regulation methods, paving the way for a generation of high performance applications in optoelectronics and many other fields.


title: Mining Uncertain Event Data in Process Mining

abstract: Nowadays, more and more process data are automatically recorded by information systems, and made available in the form of event logs. Process mining techniques enable process-centric analysis of data, including automatically discovering process models and checking if event data conform to a certain model. In this paper we analyze the previously unexplored setting of uncertain event logs: logs where quantified uncertainty is recorded together with the corresponding data. We define a taxonomy of uncertain event logs and models, and we examine the challenges that uncertainty poses on process discovery and conformance checking. Finally, we show how upper and lower bounds for conformance can be obtained aligning an uncertain trace onto a regular process model.


title: A landscape solution to the SUSY flavor and CP problems

abstract: In a fertile patch of the string landscape which includes the Minimal Supersymmetric Standard Model (MSSM) as the low energy effective theory, rather general arguments from Douglas suggest a power-law statistical selection of soft breaking terms (m(soft)^n where n=2n_F+n_D-1 with n_F the number of hidden sector F-SUSY breaking fields and n_D the number of D-term SUSY breaking fields). The statistical draw towards large soft terms must be tempered by requiring an appropriate breakdown of electroweak (EW) symmetry with no contributions to the weak scale larger than a factor 2-5 of its measured value, lest one violates the (anthropic) atomic principle. Such a simple picture of stringy naturalness generates a light Higgs boson with mass m_h~ 125 GeV with sparticles (other than higgsinos) typically beyond LHC reach. Then we expect first and second generation matter scalars to be drawn independently to the tens of TeV regime where the upper cutoff arises from two-loop RGE terms which drive third generation soft masses towards tachyonic values. Since the upper bounds on m_0(1,2) are the same for each generation, and flavor independent, then these will be drawn toward quasi-degenerate values. This mechanism leads to a natural mixed decoupling/quasi-degeneracy solution to the SUSY flavor problem and a decoupling solution to the SUSY CP problem.


title: Deep Coordination Graphs

abstract: This paper introduces the deep coordination graph (DCG) for collaborative multi-agent reinforcement learning. DCG strikes a flexible trade-off between representational capacity and generalization by factoring the joint value function of all agents according to a coordination graph into payoffs between pairs of agents. The value can be maximized by local message passing along the graph, which allows training of the value function end-to-end with Q-learning. Payoff functions are approximated with deep neural networks that employ parameter sharing and low-rank approximations to significantly improve sample efficiency. We show that DCG can solve predator-prey tasks that highlight the relative overgeneralization pathology, as well as challenging StarCraft II micromanagement tasks.


title: Prospective Multiple Antenna Technologies for Beyond 5G

abstract: Multiple antenna technologies have attracted large research interest for several decades and have gradually made their way into mainstream communication systems. Two main benefits are adaptive beamforming gains and spatial multiplexing, leading to high data rates per user and per cell, especially when large antenna arrays are used. Now that multiple antenna technology has become a key component of the fifth-generation (5G) networks, it is time for the research community to look for new multiple antenna applications to meet the immensely higher data rate, reliability, and traffic demands in the beyond 5G era. We need radically new approaches to achieve orders-of-magnitude improvements in these metrics and this will be connected to large technical challenges, many of which are yet to be identified. In this survey paper, we present a survey of three new multiple antenna related research directions that might play a key role in beyond 5G networks: Cell-free massive multiple-input multiple-output (MIMO), beamspace massive MIMO, and intelligent reflecting surfaces. More specifically, the fundamental motivation and key characteristics of these new technologies are introduced. Recent technical progress is also presented. Finally, we provide a list of other prospective future research directions.


title: An Open Torque-Controlled Modular Robot Architecture for Legged Locomotion Research

abstract: We present a new open-source torque-controlled legged robot system, with a low-cost and low-complexity actuator module at its core. It consists of a high-torque brushless DC motor and a low-gear-ratio transmission suitable for impedance and force control. We also present a novel foot contact sensor suitable for legged locomotion with hard impacts. A 2.2 kg quadruped robot with a large range of motion is assembled from eight identical actuator modules and four lower legs with foot contact sensors. Leveraging standard plastic 3D printing and off-the-shelf parts results in a lightweight and inexpensive robot, allowing for rapid distribution and duplication within the research community. We systematically characterize the achieved impedance at the foot in both static and dynamic scenarios, and measure a maximum dimensionless leg stiffness of 10.8 without active damping, which is comparable to the leg stiffness of a running human. Finally, to demonstrate the capabilities of the quadruped, we present a novel controller which combines feedforward contact forces computed from a kino-dynamic optimizer with impedance control of the center of mass and base orientation. The controller can regulate complex motions while being robust to environmental uncertainty.


title: Dynamics on Games: Simulation-Based Techniques and Applications to Routing

abstract: We consider multi-player games played on graphs, in which the players aim at fulfilling their own (not necessarily antagonistic) objectives. In the spirit of evolutionary game theory, we suppose that the players have the right to repeatedly update their respective strategies (for instance, to improve the outcome w.r.t. the current strategy profile). This generates a dynamics in the game which may eventually stabilise to an equilibrium. The objective of the present paper is twofold. First, we aim at drawing a general framework to reason about the termination of such dynamics. In particular, we identify preorders on games (inspired from the classical notion of simulation between transitions systems, and from the notion of graph minor) which preserve termination of dynamics. Second, we show the applicability of the previously developed framework to interdomain routing problems.


title: Fitting IVIM with Variable Projection and Simplicial Optimization

abstract: Fitting multi-exponential models to Diffusion MRI (dMRI) data has always been challenging due to various underlying complexities. In this work, we introduce a novel and robust fitting framework for the standard two-compartment IVIM microstructural model. This framework provides a significant improvement over the existing methods and helps estimate the associated diffusion and perfusion parameters of IVIM in an automatic manner. As a part of this work we provide capabilities to switch between more advanced global optimization methods such as simplicial homology (SH) and differential evolution (DE). Our experiments show that the results obtained from this simultaneous fitting procedure disentangle the model parameters in a reduced subspace. The proposed framework extends the seminal work originated in the MIX framework, with improved procedures for multi-stage fitting. This framework has been made available as an open-source Python implementation and disseminated to the community through the DIPY project.


title: Breaking of Josephson junction oscillations and onset of quantum turbulence in Bose--Einstein condensates

abstract: We analyse the formation and the dynamics of quantum turbulence in a two-dimensional Bose-Einstein condensate with a Josephson junction barrier modelled using the Gross-Pitaevskii equation. We show that a sufficiently high initial superfluid density imbalance leads to randomisation of the dynamics and generation of turbulence, namely, the formation of a quasi-1D dispersive shock consisting of a train of grey solitons that eventually breakup into chains of distinct quantised vortices of alternating vorticity followed by random turbulent flow. The Josephson junction barrier allows us to create two turbulent regimes: acoustic turbulence on one side and vortex turbulence on the other. Throughout the dynamics, a key mechanism for mixing these two regimes is the transmission of vortex dipoles through the barrier: we analyse this scattering process in terms of the barrier parameters, sound emission and vortex annihilation. Finally, we discuss how the vortex turbulence evolves for long times, presenting the optimal configurations for the density imbalance and barrier height in order to create the desired turbulent regimes which last as long as possible.

categories: cond-mat.quant-gas nlin.CD physics.comp-ph physics.flu-dyn


title: Photoacoustic Imaging of Lithium Metal Batteries

abstract: We demonstrate that photoacoustic microscopy (PAM) can be a potential novel imaging tool to investigate the Li metal dendrite growth, a critical issue leading to short circuit and even explosion of Li metal batteries. Our results suggest several advantages of PAM imaging of Li metal batteries: high resolution (micrometers), 3D imaging capability, deep penetration in a separator, and high contrast from bulk Li metal. Further, PAM has potential for in situ real-time imaging of Li metal batteries.


title: Analysis and Design of a 32nm FinFET Dynamic Latch Comparator

abstract: Comparators have multifarious applications in various fields, especially used in analog to digital converters. Over the years, we have seen many different designs of single stage, dynamic latch type and double tail type comparators based on CMOS technology, and all of them had to make the tradeoff between power consumption and delay time. Meanwhile, to mitigate the short channel effects of conventional CMOS based design, FinFET has emerged as the most promising alternative by owning the tremendous gate control feature over the channel region. In this paper, we have analyzed the performance of some recent dynamic latch type comparators and proposed a new structure of dynamic latch comparator; moreover, 32nm FinFET technology has been considered as the common platform for all of the comparators circuit design. The proposed comparator has shown impressive performance in case of power consumption, time delay, power delay product and offset voltage while compared with the other recent comparators through simulations with LTspice.


title: CMTS: Conditional Multiple Trajectory Synthesizer for Generating Safety-critical Driving Scenarios

abstract: Naturalistic driving trajectories are crucial for the performance of autonomous driving algorithms. However, most of the data is collected in safe scenarios leading to the duplication of trajectories which are easy to be handled by currently developed algorithms. When considering safety, testing algorithms in near-miss scenarios that rarely show up in off-the-shelf datasets is a vital part of the evaluation. As a remedy, we propose a near-miss data synthesizing framework based on Variational Bayesian methods and term it as Conditional Multiple Trajectory Synthesizer (CMTS). We leverage a generative model conditioned on road maps to bridge safe and collision driving data by representing their distribution in the latent space. By sampling from the near-miss distribution, we can synthesize safety-critical data crucial for understanding traffic scenarios but not shown in neither the original dataset nor the collision dataset. Our experimental results demonstrate that the augmented dataset covers more kinds of driving scenarios, especially the near-miss ones, which help improve the trajectory prediction accuracy and the capability of dealing with risky driving scenarios.


title: Deep Cooking: Predicting Relative Food Ingredient Amounts from Images

abstract: In this paper, we study the novel problem of not only predicting ingredients from a food image, but also predicting the relative amounts of the detected ingredients. We propose two prediction-based models using deep learning that output sparse and dense predictions, coupled with important semi-automatic multi-database integrative data pre-processing, to solve the problem. Experiments on a dataset of recipes collected from the Internet show the models generate encouraging experimental results.


title: Risk-Aware Planning by Confidence Estimation using Deep Learning-Based Perception

abstract: This work proposes the use of Bayesian approximations of uncertainty from deep learning in a robot planner, showing that this produces more cautious actions in safety-critical scenarios. The case study investigated is motivated by a setup where an aerial robot acts as a "scout" for a ground robot. This is useful when the below area is unknown or dangerous, with applications in space exploration, military, or search-and-rescue. Images taken from the aerial view are used to provide a less obstructed map to guide the navigation of the robot on the ground. Experiments are conducted using a deep learning semantic image segmentation, followed by a path planner based on the resulting cost map, to provide an empirical analysis of the proposed method. A comparison with similar approaches is presented to portray the usefulness of certain techniques, or variations within a technique, in similar experimental settings. The method is analyzed to assess the impact of variations in the uncertainty extraction, as well as the absence of an uncertainty metric, on the overall system with the use of a defined metric which measures surprise to the planner. The analysis is performed on multiple datasets, showing a similar trend of lower surprise when uncertainty information is incorporated in the planning, given threshold values of the hyperparameters in the uncertainty extraction have been met. We find that taking uncertainty into account leads to paths that could be 18% less risky on an average.


title: Elucidating the Origin of Heterogeneous Anomalous Diffusion in the Cytoplasm of Mammalian Cells

abstract: Diffusion of tracer particles in the cytoplasm of mammalian cells is often anomalous with a marked heterogeneity even within individual particle trajectories. Despite considerable efforts, the mechanisms behind these observations have remained largely elusive. To tackle this problem, we performed extensive single-particle tracking experiments on quantum dots in the cytoplasm of living mammalian cells at varying conditions. Analyses of the trajectories reveal a strong, microtubule-dependent subdiffusion with antipersistent increments and a substantial heterogeneity. Furthermore, particles stochastically switch between different mobility states, most likely due to transient associations with the cytoskeleton-shaken endoplasmic reticulum network. Comparison to simulations highlight that all experimental observations can be fully described by an intermittent fractional Brownian motion, alternating between two states of different mobility.


title: A random covariance model for bi-level graphical modeling with application to resting-state fMRI data

abstract: This paper considers a novel problem, bi-level graphical modeling, in which multiple individual graphical models can be considered as variants of a common group-level graphical model and inference of both the group- and individual-level graphical models are of interest. Such problem arises from many applications including multi-subject neuroimaging and genomics data analysis. We propose a novel and efficient statistical method, the random covariance model, to learn the group- and individual-level graphical models simultaneously. The proposed method can be nicely interpreted as a random covariance model that mimics the random effects model for mean structures in linear regression. It accounts for similarity between individual graphical models, identifies group-level connections that are shared by individuals in the group, and at the same time infers multiple individual-level networks. Compared to existing multiple graphical modeling methods that only focus on individual-level networks, our model learns the group-level structure underlying the multiple individual networks and enjoys computational efficiency that is particularly attractive for practical use. We further define a measure of degrees-of-freedom for the complexity of the model that can be used for model selection. We demonstrate the asymptotic properties of the method and show its finite sample performance through simulation studies. Finally, we apply the proposed method to our motivating clinical data, a multi-subject resting-state functional magnetic resonance imaging (fMRI) dataset collected from schizophrenia patients.


title: Polyakov-Alvarez type comparison formulas for determinants of Laplacians on Riemann surfaces with conical singularities

abstract: We present and prove Polyakov-Alvarez type comparison formulas for the determinants of Friederichs extensions of Laplacians corresponding to conformally equivalent metrics on a compact Riemann surface with conical singularities. In particular, we find how the determinants depend on the orders of conical singularities. We also illustrate these general results with several examples: based on our Polyakov-Alvarez type formulas we recover known and obtain new explicit formulas for determinants of Laplacians on singular surfaces with and without boundary. In one of the examples we show that on the metrics of constant curvature on a sphere with two conical singularities and fixed area $4\pi$ the determinant of Friederichs Laplacian is unbounded from above and attains its local maximum on the metric of standard round sphere. In another example we deduce the famous Aurell-Salomonson formula for the determinant of Friederichs Laplacian on polyhedra with spherical topology, thus providing the formula with mathematically rigorous proof.

categories: math-ph math.AP math.DG math.FA math.MP math.SP


title: Domain Adaptive Imitation Learning

abstract: We study the question of how to imitate tasks across domains with discrepancies such as embodiment, viewpoint, and dynamics mismatch. Many prior works require paired, aligned demonstrations and an additional RL step that requires environment interactions. However, paired, aligned demonstrations are seldom obtainable and RL procedures are expensive. We formalize the Domain Adaptive Imitation Learning (DAIL) problem, which is a unified framework for imitation learning in the presence of viewpoint, embodiment, and dynamics mismatch. Informally, DAIL is the process of learning how to perform a task optimally, given demonstrations of the task in a distinct domain. We propose a two step approach to DAIL: alignment followed by adaptation. In the alignment step we execute a novel unsupervised MDP alignment algorithm, Generative Adversarial MDP Alignment (GAMA), to learn state and action correspondences from \emph{unpaired, unaligned} demonstrations. In the adaptation step we leverage the correspondences to zero-shot imitate tasks across domains. To describe when DAIL is feasible via alignment and adaptation, we introduce a theory of MDP alignability. We experimentally evaluate GAMA against baselines in embodiment, viewpoint, and dynamics mismatch scenarios where aligned demonstrations don't exist and show the effectiveness of our approach.


title: Development of a Game with a Purpose for Acquisition of Brain-Computer Interface Data

abstract: Brain-computer interfaces (BCIs) have the potential to significantly change the ways in which humans interact with technology, the environment, and even each other. Unfortunately, BCI technologies are seldom robust enough for use in real-world applications, in part due to the large amount of data that must be collected, processed, and classified in order to develop models of task-related neural activity that account for two of the most important and least-understood drivers of BCI illiteracy: individual differences in neural signals and intra-individual differences across interdependent, time-varying neural states. This paper describes the feasibility of using a game with a purpose (GWAP) as a viable instrument for collecting data from BCI-relevant research tasks. By leveraging game-related reward processes to maintain participant interest and engagement, this approach will enable large amounts of BCI data to be acquired, both across many individuals and longitudinally from specific individuals as neural states vary naturally over time. Pilot and technical testing results are presented here to demonstrate that the BCI-relevant tasks embedded within the research game elicit neural signals similar to those that would be expected from more traditional BCI tasks. These preliminary data provide support and validation of the use of GWAPs as promising tools to enable long-term collection of BCI-relevant data in an engaging environment.


title: Q-learning for POMDP: An application to learning locomotion gaits

abstract: This paper presents a Q-learning framework for learning optimal locomotion gaits in robotic systems modeled as coupled rigid bodies. Inspired by prevalence of periodic gaits in bio-locomotion, an open loop periodic input is assumed to (say) affect a nominal gait. The learning problem is to learn a new (modified) gait by using only partial noisy measurements of the state. The objective of learning is to maximize a given reward modeled as an objective function in optimal control settings. The proposed control architecture has three main components: (i) Phase modeling of dynamics by a single phase variable; (ii) A coupled oscillator feedback particle filter to represent the posterior distribution of the phase conditioned in the sensory measurements; and (iii) A Q-learning algorithm to learn the approximate optimal control law. The architecture is illustrated with the aid of a planar two-body system. The performance of the learning is demonstrated in a simulation environment.


title: Integral refractive index imaging of flowing cell nuclei using quantitative phase microscopy combined with fluorescence microscopy

abstract: We suggest a new multimodal imaging technique for quantitatively measuring the integral (thickness-average) refractive index of the nuclei of live biological cells in suspension. For this aim, we combined quantitative phase microscopy with simultaneous 2-D fluorescence microscopy. We used 2-D fluorescence microscopy to localize the nucleus inside the quantitative phase map of the cell, as well as for measuring the nucleus radii. As verified offline by both 3-D confocal fluorescence microscopy and by 2-D fluorescence microscopy while rotating the cells during flow, the nucleus of cells in suspension that are not during division can be assumed to be an ellipsoid. The entire shape of a cell in suspension can be assumed to be a sphere. Then, the cell and nucleus 3-D shapes can be evaluated based on their in-plain radii available from the 2-D phase and fluorescent measurements, respectively. Finally, the nucleus integral refractive index profile is calculated. We demonstrate the new technique on cancer cells, obtaining nucleus refractive index values that are lower than those of the cytoplasm, coinciding with recent findings. We believe that the proposed technique has the potential to be used for flow cytometry, where full 3-D refractive index tomography is too slow to be implemented during flow.


title: The Ulam Sequence of the Integer Polynomial Ring

abstract: An Ulam sequence U(1,n) is defined as the sequence starting with integers 1,n such that n > 1, and such that every subsequent term is the smallest integer that can be written as the sum of distinct previous terms in exactly one way. This family of sequences is notable for being the subject of several remarkable rigidity conjectures. We introduce an analogous notion of an Ulam sequence inside the polynomial ring Z[X], and use it both to give new, constructive proofs of old results as well as producing a new conjecture that implies many of the other existing conjectures.


title: Learning low-dimensional dynamical-system models from noisy frequency-response data with Loewner rational interpolation

abstract: Loewner rational interpolation provides a versatile tool to learn low-dimensional dynamical-system models from frequency-response measurements. This work investigates the robustness of the Loewner approach to noise. The key finding is that if the measurements are polluted with Gaussian noise, then the error due to noise grows at most linearly with the standard deviation with high probability under certain conditions. The analysis gives insights into making the Loewner approach robust against noise via linear transformations and judicious selections of measurements. Numerical results demonstrate the linear growth of the error on benchmark examples.


title: Defense in Depth: The Basics of Blockade and Delay

abstract: Given that individual defenses are rarely sufficient, defense-in-depth is nearly universal and options for individual defensive layers abound. We develop a simple mathematical theory that can help in selecting the type and quantity of defenses for two different defense-in-depth strategies: Blockade and Delay. This theoretical approach accounts for budgetary constraints and the number, skill, and diversity of attackers. We find that defenders have several reasons to be optimistic including that the number of required defenses increases more slowly than the number of attackers, that similar attackers are defended more easily than similar defenses are defeated, and that defenders do not necessarily need to act as quickly as attackers.


title: The Control Unit of the KM3NeT Data Acquisition System

abstract: The KM3NeT Collaboration runs a multi-site neutrino observatory in the Mediterranean Sea. Water Cherenkov particle detectors, deep in the sea and far off the coasts of France and Italy, are already taking data while incremental construction progresses. Data Acquisition Control software is operating off-shore detectors as well as testing and qualification stations for their components. The software, named Control Unit, is highly modular. It can undergo upgrades and reconfiguration with the acquisition running. Interplay with the central database of the Collaboration is obtained in a way that allows for data taking even if Internet links fail. In order to simplify the management of computing resources in the long term, and to cope with possible hardware failures of one or more computers, the KM3NeT Control Unit software features a custom dynamic resource provisioning and failover technology, which is especially important for ensuring continuity in case of rare transient events in multi-messenger astronomy. The software architecture relies on ubiquitous tools and broadly adopted technologies and has been successfully tested on several operating systems.


title: Quantum nonlinear mixing of thermal photons to surpass the blackbody limit

abstract: Nearly all thermal radiation phenomena involving materials with linear response can be accurately described via semi-classical theories of light. Here, we go beyond these traditional paradigms to study a nonlinear system which, as we show, necessarily requires quantum theory of damping. Specifically, we analyze thermal radiation from a resonant system containing a $\chi^{(2)}$ nonlinear medium and supporting resonances at frequencies $\omega_1$ and $\omega_2\approx 2\omega_1$, where both resonators are driven only by intrinsic thermal fluctuations. Within our quantum formalism, we reveal new possibilities for shaping the thermal radiation. We show that the resonantly enhanced nonlinear interaction allows frequency-selective enhancement of thermal emission through upconversion, surpassing the well-known blackbody limits associated with linear media. Surprisingly, we also find that the emitted thermal light exhibits non-trivial statistics ($g^{(2)}(0) \neq 2$) and biphoton intensity correlations (at two distinct frequencies). We highlight that these features can be observed in the near future by heating a properly designed nonlinear system, without the need for any external signal. Our work motivates new interdisciplinary inquiries combining the fields of nonlinear photonics, quantum optics and thermal science.

categories: physics.optics cond-mat.mes-hall physics.app-ph quant-ph


title: Perfect soliton crystals on demand

abstract: Recent advance of soliton microcombs has shown great promise to revolutionize many important areas such as optical communication, spectroscopic sensing, optical clock, and frequency synthesis. A largely tunable comb line spacing is crucial for the practical application of soliton microcombs, which unfortunately is challenging to realize for an on-chip monolithic microresonator. The recently discovered perfect soliton crystal (PSC) offers a convenient route to tune the comb line spacing. However, excitation of a PSC is generally stochastic by its nature and accessing a certain PSC state requires delicate tuning procedure. Here we demonstrate the on-demand generation of PSCs in a lithium niobate microresonator. The unique device characteristics allow us to produce a variety of PCSs and to switch between different PSC states, deterministically and repetitively. We utilize the device to show arbitrary dialing of the comb line spacing from 1 to 11 times of the free-spectral range of the resonator. The demonstration of PCSs on demand may now open up a great avenue for flexibly controlling the repetition rate of soliton pulses, which would significantly enhance and extend the application potential of soliton microcombs for communication, signal processing, and sensing.


title: First-order primal-dual methods for nonsmooth nonconvex optimisation

abstract: We provide an overview of primal-dual algorithms for nonsmooth and non-convex-concave saddle-point problems. This flows around a new analysis of such methods, using Bregman divergences to formulate simplified conditions for convergence.


title: DenseRaC: Joint 3D Pose and Shape Estimation by Dense Render-and-Compare

abstract: We present DenseRaC, a novel end-to-end framework for jointly estimating 3D human pose and body shape from a monocular RGB image. Our two-step framework takes the body pixel-to-surface correspondence map (i.e., IUV map) as proxy representation and then performs estimation of parameterized human pose and shape. Specifically, given an estimated IUV map, we develop a deep neural network optimizing 3D body reconstruction losses and further integrating a render-and-compare scheme to minimize differences between the input and the rendered output, i.e., dense body landmarks, body part masks, and adversarial priors. To boost learning, we further construct a large-scale synthetic dataset (MOCA) utilizing web-crawled Mocap sequences, 3D scans and animations. The generated data covers diversified camera views, human actions and body shapes, and is paired with full ground truth. Our model jointly learns to represent the 3D human body from hybrid datasets, mitigating the problem of unpaired training data. Our experiments show that DenseRaC obtains superior performance against state of the art on public benchmarks of various humanrelated tasks.


title: Confronting minimal freeze-in models with the LHC

abstract: We present a class of dark matter models, in which the dark matter particle is a feebly interacting massive particle (FIMP) produced via the decay of an electrically charged and/or colored parent particle. Given the feeble interaction, dark matter is produced via the freeze-in mechanism and the parent particle is long-lived. The latter leads to interesting collider signatures. We study current LHC constrains on our models arising from searches for heavy charged particles, disappearing tracks, displaced leptons and displaced vertices. We demonstrate not only that collider searches can be a powerful probe of the freeze-in dark matter models under consideration, but that an observation can lead as well to interesting insights on the reheating temperature and thus on the validity of certain baryogenesis models.


title: Spatial Information and the Legibility of Urban Form: Big Data in Urban Morphology

abstract: Urban planning and morphology have relied on analytical cartography and visual communication tools for centuries to illustrate spatial patterns, propose designs, compare alternatives, and engage the public. Classic urban form visualizations - from Giambattista Nolli's ichnographic maps of Rome to Allan Jacobs's figure-ground diagrams of city streets - have compressed physical urban complexity into easily comprehensible information artifacts. Today we can enhance these traditional workflows through the Smart Cities paradigm of understanding cities via user-generated content and harvested data in an information management context. New spatial technology platforms and big data offer new lenses to understand, evaluate, monitor, and manage urban form and evolution. This paper builds on the theoretical framework of visual cultures in urban planning and morphology to introduce and situate computational data science processes for exploring urban fabric patterns and spatial order. It demonstrates these workflows with OSMnx and data from OpenStreetMap, a collaborative spatial information system and mapping platform, to examine street network patterns, orientations, and configurations in different study sites around the world, considering what these reveal about the urban fabric. The age of ubiquitous urban data and computational toolkits opens up a new era of worldwide urban form analysis from integrated quantitative and qualitative perspectives.


title: Accuracy Prevents Robustness in Perception-based Control

abstract: In this paper we prove the existence of a fundamental trade-off between accuracy and robustness in perception-based control, where control decisions rely solely on data-driven, and often incompletely trained, perception maps. In particular, we consider a control problem where the state of the system is estimated from measurements extracted from a high-dimensional sensor, such as a camera. We assume that a map between the camera's readings and the state of the system has been learned from a set of training data of finite size, from which the noise statistics are also estimated. We show that algorithms that maximize the estimation accuracy (as measured by the mean squared error) using the learned perception map tend to perform poorly in practice, where the sensor's statistics often differ from the learned ones. Conversely, increasing the variability and size of the training data leads to robust performance, however limiting the estimation accuracy, and thus the control performance, in nominal conditions. Ultimately, our work proves the existence and the implications of a fundamental trade-off between accuracy and robustness in perception-based control, which, more generally, affects a large class of machine learning and data-driven algorithms.


title: Multiagent Rollout Algorithms and Reinforcement Learning

abstract: We consider finite and infinite horizon dynamic programming problems, where the control at each stage consists of several distinct decisions, each one made by one of several agents. We introduce an approach, whereby at every stage, each agent's decision is made by executing a local rollout algorithm that uses a base policy, together with some coordinating information from the other agents. The amount of local computation required at every stage by each agent is independent of the number of agents, while the amount of total computation (over all agents) grows linearly with the number of agents. By contrast, with the standard rollout algorithm, the amount of total computation grows exponentially with the number of agents. Despite the drastic reduction in required computation, we show that our algorithm has the fundamental cost improvement property of rollout: an improved performance relative to the base policy. We also discuss possibilities to improve further the method's computational efficiency through limited agent coordination and parallelization of the agents' computations. Finally, we explore related approximate policy iteration algorithms for infinite horizon problems, and we prove that the cost improvement property steers the algorithm towards convergence to an agent-by-agent optimal policy.


title: Full error analysis for the training of deep neural networks

abstract: Deep learning algorithms have been applied very successfully in recent years to a range of problems out of reach for classical solution paradigms. Nevertheless, there is no completely rigorous mathematical error and convergence analysis which explains the success of deep learning algorithms. The error of a deep learning algorithm can in many situations be decomposed into three parts, the approximation error, the generalization error, and the optimization error. In this work we estimate for a certain deep learning algorithm each of these three errors and combine these three error estimates to obtain an overall error analysis for the deep learning algorithm under consideration. In particular, we thereby establish convergence with a suitable convergence speed for the overall error of the deep learning algorithm under consideration. Our convergence speed analysis is far from optimal and the convergence speed that we establish is rather slow, increases exponentially in the dimensions, and, in particular, suffers from the curse of dimensionality. The main contribution of this work is, instead, to provide a full error analysis (i) which covers each of the three different sources of errors usually emerging in deep learning algorithms and (ii) which merges these three sources of errors into one overall error estimate for the considered deep learning algorithm.


title: Normalisation of Weights and Firing Rates in Spiking Neural Networks with Spike-Timing-Dependent Plasticity

abstract: Maintaining the ability to fire sparsely is crucial for information encoding in neural networks. Additionally, spiking homeostasis is vital for spiking neural networks with changing numbers of weights and neurons. We discuss a range of network stabilisation approaches, inspired by homeostatic synaptic plasticity mechanisms reported in the brain. These include weight scaling, and weight change as a function of the network's spiking activity. We tested normalisation of the sum of weights for all neurons, and by neuron type. We examined how this approach affects firing rate and performance on clustering of time-series data in the form of moving geometric shapes. We found that neuron type-specific normalisation is a promising approach for preventing weight drift in spiking neural networks, thus enabling longer training cycles. It can be adapted for networks with architectural plasticity.


title: Quantum Quench in $c=1$ Matrix Model and Emergent Space-times

abstract: We consider quantum quench in large-N singlet sector quantum mechanics of a single hermitian matrix in the double scaling limit. The time dependent parameter is the self-coupling of the matrix. We find exact classical solutions of the collective field theory of eigenvalue density with abrupt smooth quench profiles which asymptote to constant couplings at early and late times, and the system is initially in its ground state. With adiabatic initial conditions we find that adiabaticity is always broken regardless of the quench speed. In a class of quench profiles the saddle point solution for the collective field diverges at a finite time, and a further time evolution becomes ambiguous. However the underlying matrix model expressed in terms of fermions predict a smooth time evolution across this point. By studying fluctuations around the saddle point solution we interpret the emergent space-times. They generically have spacelike boundaries where the couplings of the fluctuations diverge. Only for very finely tuned quench profiles, the space-time is normal.


title: Disorder-induced ferrimagnetism in sputtered Mn$_{x}$CoGe thin films

abstract: Investigations into the magnetic properties of sputtered Mn$_{x}$CoGe films in the range $0.8 \leq x \leq 2.5$ uncovered ferrimagnetic order, unlike the ferromagnetic order reported in bulk samples. These films formed hexagonal Ni$_{2}$In-type structures when annealed at temperatures below 600$^{\circ}$C. While the Curie temperatures of the films are comparable to those of hexagonal bulk MnCoGe, there is a reduction in the magnetization of the Mn$_{x}$CoGe films relative to bulk MnCoGe, and a magnetization compensation point is observed in the $x<1$ samples. To understand the behavior, we calculated the magnetic moments of Mn-antisite defects in MnCoGe with density-function theory (DFT) calculations. Models constructed from the calculation suggest that films become ferrimagnetic due to the presence of Mn on the Co and Ge sites. In the $x<1$ samples, these defects arose from the disorder in the films, whereas for $x>1$, the excess Mn was driven onto the antisites. Mean field modeling of the temperature dependence of the magnetization provides additional evidence for ferrimagnetism. Our mean field and DFT models provide a description of how the variation in film defects with composition will transition the magnetic behavior from a compensated (V-type) to an uncompensated (Q-type) ferrimagnet.


title: Meta-Q-Learning

abstract: This paper introduces Meta-Q-Learning (MQL), a new off-policy algorithm for meta-Reinforcement Learning (meta-RL). MQL builds upon three simple ideas. First, we show that Q-learning is competitive with state-of-the-art meta-RL algorithms if given access to a context variable that is a representation of the past trajectory. Second, a multi-task objective to maximize the average reward across the training tasks is an effective method to meta-train RL policies. Third, past data from the meta-training replay buffer can be recycled to adapt the policy on a new task using off-policy updates. MQL draws upon ideas in propensity estimation to do so and thereby amplifies the amount of available data for adaptation. Experiments on standard continuous-control benchmarks suggest that MQL compares favorably with the state of the art in meta-RL.


title: A zero-one law for uniform Diophantine approximation in Euclidean norm

abstract: We study a norm sensitive Diophantine approximation problem arising from the work of Davenport and Schmidt on the improvement of Dirichlet's theorem. Its supremum norm case was recently considered by the first-named author and Wadleigh, and here we extend the set-up by replacing the supremum norm with an arbitrary norm. This gives rise to a class of shrinking target problems for one-parameter diagonal flows on the space of lattices, with the targets being neighborhoods of the critical locus of a suitably scaled norm ball. We use methods from geometry of numbers and dynamics to generalize a result due to Andersen and Duke on measure zero and uncountability of the set of numbers for which Minkowski approximation theorem can be improved. The choice of the Euclidean norm on $\mathbb{R}^2$ corresponds to studying geodesics on a hyperbolic surface which visit a decreasing family of balls. An application of a dynamical Borel-Cantelli lemma of Maucourant produces a zero-one law for improvement of Dirichlet's theorem in Euclidean norm.


title: A Mobile Manipulation System for One-Shot Teaching of Complex Tasks in Homes

abstract: We describe a mobile manipulation hardware and software system capable of autonomously performing complex human-level tasks in real homes, after being taught the task with a single demonstration from a person in virtual reality. This is enabled by a highly capable mobile manipulation robot, whole-body task space hybrid position/force control, teaching of parameterized primitives linked to a robust learned dense visual embeddings representation of the scene, and a task graph of the taught behaviors. We demonstrate the robustness of the approach by presenting results for performing a variety of tasks, under different environmental conditions, in multiple real homes. Our approach achieves 85% overall success rate on three tasks that consist of an average of 45 behaviors each.


title: SAT vs CSP: a commentary

abstract: In 2000, I published a relatively comprehensive study of mappings between propositional satisfiability (SAT) and constraint satisfaction problems (CSPs) [Wal00]. I analysed four different mappings of SAT problems into CSPs, and two of CSPs into SAT problems. For each mapping, I compared the impact of achieving arc-consistency on the CSP with unit propagation on the corresponding SAT problems, and lifted these results to CSP algorithms that maintain (some level of ) arc-consistency during search like FC and MAC, and to the Davis- Putnam procedure (which performs unit propagation at each search node). These results helped provide some insight into the relationship between propositional satisfiability and constraint satisfaction that set the scene for an important and valuable body of work that followed. I discuss here what prompted the paper, and what followed.


title: Error detection on quantum computers improves accuracy of chemical calculations

abstract: A major milestone of quantum error correction is to achieve the fault-tolerance threshold beyond which quantum computers can be made arbitrarily accurate. This requires extraordinary resources and engineering efforts. We show that even without achieving full fault tolerance, quantum error detection is already useful on the current generation of quantum hardware. We demonstrate this experimentally by executing an end-to-end chemical calculation for the hydrogen molecule encoded in the [[4, 2, 2]] quantum error-detecting code. The encoded calculation with logical qubits significantly improves the accuracy of the molecular ground-state energy.


title: Track to Reconstruct and Reconstruct to Track

abstract: Object tracking and 3D reconstruction are often performed together, with tracking used as input for reconstruction. However, the obtained reconstructions also provide useful information for improving tracking. We propose a novel method that closes this loop, first tracking to reconstruct, and then reconstructing to track. Our approach, MOTSFusion (Multi-Object Tracking, Segmentation and dynamic object Fusion), exploits the 3D motion extracted from dynamic object reconstructions to track objects through long periods of complete occlusion and to recover missing detections. Our approach first builds up short tracklets using 2D optical flow, and then fuses these into dynamic 3D object reconstructions. The precise 3D object motion of these reconstructions is used to merge tracklets through occlusion into long-term tracks, and to locate objects when detections are missing. On KITTI, our reconstruction-based tracking reduces the number of ID switches of the initial tracklets by more than 50%, and outperforms all previous approaches for both bounding box and segmentation tracking.


title: Fast and Fair Simultaneous Confidence Bands for Functional Parameters

abstract: Quantifying uncertainty using confidence regions is a central goal of statistical inference. Despite this, methodologies for confidence bands in Functional Data Analysis are still underdeveloped compared to estimation and hypothesis testing. In this work, we present a new methodology for constructing simultaneous confidence bands for functional parameter estimates. Our bands possess a number of positive qualities: (1) they are not based on resampling and thus are fast to compute, (2) they are constructed under the fairness constraint of balanced false positive rates across partitions of the bands' domain which facilitates the typical global, but also novel local interpretations, and (3) they do not require an estimate of the full covariance function and thus can be used in the case of fragmentary functional data. Simulations show the excellent finite-sample behavior of our bands in comparison to existing alternatives. The practical use of our bands is demonstrated in two case studies on sports biomechanics and fragmentary growth curves.


title: CapsuleVOS: Semi-Supervised Video Object Segmentation Using Capsule Routing

abstract: In this work we propose a capsule-based approach for semi-supervised video object segmentation. Current video object segmentation methods are frame-based and often require optical flow to capture temporal consistency across frames which can be difficult to compute. To this end, we propose a video based capsule network, CapsuleVOS, which can segment several frames at once conditioned on a reference frame and segmentation mask. This conditioning is performed through a novel routing algorithm for attention-based efficient capsule selection. We address two challenging issues in video object segmentation: 1) segmentation of small objects and 2) occlusion of objects across time. The issue of segmenting small objects is addressed with a zooming module which allows the network to process small spatial regions of the video. Apart from this, the framework utilizes a novel memory module based on recurrent networks which helps in tracking objects when they move out of frame or are occluded. The network is trained end-to-end and we demonstrate its effectiveness on two benchmark video object segmentation datasets; it outperforms current offline approaches on the Youtube-VOS dataset while having a run-time that is almost twice as fast as competing methods. The code is publicly available at https://github.com/KevinDuarte/CapsuleVOS.


title: Camera design and performance of the prototype Schwarzschild-Couder Telescope for the Cherenkov Telescope Array

abstract: The Schwarzschild-Couder Telescope (SCT) is a candidate technology for a medium-sized telescope within the Cherenkov Telescope Array, the next generation ground based observatory for very high energy gamma ray astronomy. The SCT uses a novel two-mirror design and is expected to yield improvements in field of view and image resolution compared to traditional Cherenkov telescopes based on single-mirror-dish optics. To match the improved optical resolution, challenging requirements of high channel count and density at low power consumption must be overcome by the camera. The prototype camera, currently commissioned and tested on the prototype SCT, has been developed based on millimeter scale SiPM pixels and a custom high density digitizer ASIC, TARGET, to provide 1600 pixels spanning a 2.7 degree field of view while being able to sample nanosecond photon pulses. It is mechanically designed to allow for an upgrade to 11,328 pixels covering a field of view of 8 degrees and demonstrating the full potential of the technology. The camera was installed on the telescope in 2018. We will present its design and performance including first light data.


title: Optimizing GPU Cache Policies for MI Workloads

abstract: In recent years, machine intelligence (MI) applications have emerged as a major driver for the computing industry. Optimizing these workloads is important but complicated. As memory demands grow and data movement overheads increasingly limit performance, determining the best GPU caching policy to use for a diverse range of MI workloads represents one important challenge. To study this, we evaluate 17 MI applications and characterize their behaviors using a range of GPU caching strategies. In our evaluations, we find that the choice of caching policy in GPU caches involves multiple performance trade-offs and interactions, and there is no one-size-fits-all GPU caching policy for MI workloads. Based on detailed simulation results, we motivate and evaluate a set of cache optimizations that consistently match the performance of the best static GPU caching policies.


title: Impartial Selection with Additive Approximation Guarantees

abstract: Impartial selection has recently received much attention within the multi-agent systems community. The task is, given a directed graph representing nominations to the members of a community by other members, to select the member with the highest number of nominations. This seemingly trivial goal becomes challenging when there is an additional impartiality constraint, requiring that no single member can influence her chance of being selected. Recent progress has identified impartial selection rules with optimal approximation ratios. Moreover, it was noted that worst-case instances are graphs with few vertices. Motivated by this fact, we propose the study of additive approximation, the difference between the highest number of nominations and the number of nominations of the selected member, as an alternative measure of the quality of impartial selection. Our positive results include two randomized impartial selection mechanisms which have additive approximation guarantees of $\Theta(\sqrt{n})$ and $\Theta(n^{2/3}\ln^{1/3}n)$ for the two most studied models in the literature, where $n$ denotes the community size. We complement our positive results by providing negative results for various cases. First, we provide a characterization for the interesting class of strong sample mechanisms, which allows us to obtain lower bounds of $n-2$, and of $\Omega(\sqrt{n})$ for their deterministic and randomized variants respectively. Finally, we present a general lower bound of $2$ for all deterministic impartial mechanisms.


title: Vertex Ramsey properties of randomly perturbed graphs

abstract: Given graphs $F,H$ and $G$, we say that $G$ is $(F,H)_v$-Ramsey if every red/blue vertex colouring of $G$ contains a red copy of $F$ or a blue copy of $H$. Results of {\L}uczak, Ruci\'nski and Voigt and, subsequently, Kreuter determine the threshold for the property that the random graph $G(n,p)$ is $(F,H)_v$-Ramsey. In this paper we consider the sister problem in the setting of randomly perturbed graphs. In particular, we determine how many random edges one needs to add to a dense graph to ensure that with high probability the resulting graph is $(F,H)_v$-Ramsey for all pairs $(F,H)$ that involve at least one clique.


title: The Density Matrix Renormalization Group in Chemistry and Molecular Physics: Recent Developments and New Challenges

abstract: In the past two decades, the density matrix renormalization group (DMRG) has emerged as an innovative new method in quantum chemistry relying on a theoretical framework very different from that of traditional electronic structure approaches. The development of the quantum chemical DMRG has been remarkably fast: it has already become one of the reference approaches for large-scale multiconfigurational calculations. This perspective discusses the major features of DMRG, highlighting its strengths and weaknesses also in comparison to other novel approaches. The method is presented following its historical development, starting from its original formulation up to its most recent applications. Possible routes to recover dynamical correlation are discussed in detail. Emerging new fields of applications of DMRG are explored, in particular its time-dependent formulation and the application to vibrational spectroscopy.


title: Custom Extended Sobel Filters

abstract: Edge detection is widely and fundamental feature used in various algorithms in computer vision to determine the edges in an image. The edge detection algorithm is used to determine the edges in an image which are further used by various algorithms from line detection to machine learning that can determine objects based on their contour. Inspired by new convolution techniques in machine learning we discuss here the idea of extending the standard Sobel kernels, which are used to compute the gradient of an image in order to find its edges. We compare the result of our custom extended filters with the results of the standard Sobel filter and other edge detection filters using different image sets and algorithms. We present statistical results regarding the custom extended Sobel filters improvements.


title: Interrogating the Explanatory Power of Attention in Neural Machine Translation

abstract: Attention models have become a crucial component in neural machine translation (NMT). They are often implicitly or explicitly used to justify the model's decision in generating a specific token but it has not yet been rigorously established to what extent attention is a reliable source of information in NMT. To evaluate the explanatory power of attention for NMT, we examine the possibility of yielding the same prediction but with counterfactual attention models that modify crucial aspects of the trained attention model. Using these counterfactual attention mechanisms we assess the extent to which they still preserve the generation of function and content words in the translation process. Compared to a state of the art attention model, our counterfactual attention models produce 68% of function words and 21% of content words in our German-English dataset. Our experiments demonstrate that attention models by themselves cannot reliably explain the decisions made by a NMT model.


title: Multi-scale time- and frequency-domain likelihood analysis with photon weights

abstract: We present an unbinned likelihood analysis formalism employing photon weights -- the probabilities that events are associated with a particular source. This approach is applicable to any photon-resolving instrument, and thus well suited to high-energy observations; we focus here on GeV $\gamma$-ray data from the Fermi Large Area Telescope. Weights connect individual photons to the outputs of a detailed, expensive likelihood analysis of a much larger data set. The weighted events can be aggregated into arbitrary time spans ranging from microseconds to years. Such retrospective grouping permits time- and frequency-domain analysis over a wide range of scales and enables characterization of disparate phenomena like blazar flares, $\gamma$-ray bursts, pulsar pulses, novae, $\gamma$-ray binaries, and other variable sources. To demonstrate the formalism, we incorporate photon weights into the Bayesian blocks algorithm and perform a hierarchical time scale analysis of 3C 279 activity. We analyze pulsar pulse profiles and estimate the unpulsed emission level and the optimal division of the data into on- and off-pulse intervals. We extend the formalism to Fourier analysis and derive estimators for power spectra, used to search for and characterize periodic sources. We show how the Fast Fourier transform can be used to probe orbital periods as short as a minute and we discuss mitigation of spurious signals. Our final example combines time- and frequency- domain analysis to jointly characterize the flares and orbital modulation of Cygnus X-3, yielding the strongest detection of the orbital signal ($>$13$\sigma$) to date. Finally, we discuss extensions of the work to other GeV sources and to X-ray and TeV observations.


title: Fluctuations and Correlations in a Model of Extreme Introverts and Extroverts

abstract: Unlike typical phase transitions of first and second order, a system displaying the Thouless effect exhibits characteristics of both at the critical point (jumps in the order parameter and anomalously large fluctuations). An $extreme$ Thousless effect was observed in a recently introduced model of social networks consisting of `introverts and extroverts' ($XIE$). We study the fluctuations and correlations of this system using both Monte Carlo simulations and analytic methods based on a self-consistent mean field theory. Due to the symmetries in the model, we derive identities between all independent two point correlations and fluctuations in three quantities (degrees of individuals and the total number of links between the two subgroups) in the stationary state. As simulations confirm these identities, we study only the fluctuations in detail. Though qualitatively similar to those in the 2D Ising model, there are several unusual aspects, due to the extreme Thouless effect. All these anomalous fluctuations can be quantitatively understood with our theory, despite the mean-field aspects in the approximations. In our theory, we frequently encounter the `finite Poisson distribution' (i.e., $x^{n}/n!$ for $n\in \left[ 0,N\right] $ and zero otherwise). Since its properties appear to be quite obscure, we include an Appendix on the details and the related `finite exponential series' $\sum_{0}^{N}x^{n}/n!$. Some simulation studies of joint degree distributions, which provide a different perspective on correlations, have also been carried out.


title: Giant polarization charge density at lattice-matched GaN/ScN interfaces

abstract: Rocksalt ScN is a semiconductor with a small lattice mismatch to wurtzite GaN. Within the modern theory of polarization, ScN has a nonvanishing formal polarization along the [111] direction. As a result, we demonstrate that an interface between (0001) GaN and (111) ScN exihibts a large polarization discontinuity of $-$1.358 $\rm Cm^{-2}$. Interfaces between ScN and wurtzite III-nitrides will exhibit a high-density electron gas on the (000$\bar{1}$) GaN interface or a hole gas on the (0001) GaN interface, with carrier concentrations up to $8.5 \times 10^{14}$ cm$^{-2}$. The large polarization difference and small strain makes ScN a desirable choice for polarization-enhanced tunnel junctions within the III-nitride materials system. The large sheet carrier densities may also be useful for contacts or current spreading layers.


title: Magnonic Analogue of Edelstein Effect in Antiferromagnetic Insulators

abstract: We investigate the nonequilibrium spin polarization due to a temperature gradient in antiferromagnetic insulators, which is the magnonic analogue of the inverse spin-galvanic effect of electrons. We derive a linear response theory of a temperature-gradient-induced spin polarization for collinear and noncollinear antiferromagnets, which comprises both extrinsic and intrinsic contributions. We apply our theory to several noncentrosymmetric antiferromagnetic insulators, i.e., to a one-dimensional antiferromagnetic spin chain, a single layer of kagome noncollinear antiferromagnet, e.g., $\text{KFe}_3(\text{OH})_6(\text{SO}_4)_2$, and a noncollinear breathing pyrochlore antiferromagnet, e.g., LiGaCr$_4$O$_8$. The shapes of our numerically evaluated response tensors agree with those implied by the magnetic symmetry. Assuming a realistic temperature gradient of $10 \text{K}/\text{mm}$, we find two-dimensional spin densities of up to $\sim 10^6\hbar/\text{cm}^2$ and three-dimensional bulk spin densities of up to $\sim 10^{14}\hbar/\text{cm}^3$, encouraging an experimental detection.


title: Real-time solar image classification: assessing spectral, pixel-based approaches

abstract: In order to utilize solar imagery for real-time feature identification and large-scale data science investigations of solar structures, we need maps of the Sun where phenomena, or themes, are labeled. Since solar imagers produce observations every few minutes, it is not feasible to label all images by hand. Here, we compare three machine learning algorithms performing solar image classification using extreme ultraviolet and Hydrogen-alpha images: a maximum likelihood model assuming a single normal probability distribution for each theme from Rigler et al. (2012), a maximum-likelihood model with an underlying Gaussian mixtures distribution, and a random forest model. We create a small database of expert-labeled maps to train and test these algorithms. Due to the ambiguity between the labels created by different experts, a collaborative labeling is used to include all inputs. We find the random forest algorithm performs the best amongst the three algorithms. The advantages of this algorithm are best highlighted in: comparison of outputs to hand-drawn maps; response to short-term variability; and tracking long-term changes on the Sun. Our work indicates that the next generation of solar image classification algorithms would benefit significantly from using spatial structure recognition, compared to only using spectral, pixel-by-pixel brightness distributions.


title: Content Sequencing and its Impact on Student Learning in Electromagnetism: Theory and Experiment

abstract: We investigate the impact of content sequencing on student learning outcomes in a first-year university electromagnetism course. Using a custom-built online system, the McGill Learning Platform (McLEAP), we test student problem-solving performance as a function of the sequence in which the students are presented aspects of new material. New material was divided into the three categories of conceptual, theoretical and example-based content. Here, we present findings from a two-year study with over 1000 students participating. We find that content sequencing has a significant impact on learning outcomes in our study: students presented with conceptual content first perform significantly better on our assessment than those presented with theoretical content. To explain these results, we propose the Content Cube as an extension to the the mental model frameworks. Additionally, we find that instructors' preferences for content sequencing differ significantly from that of students. We discuss how this information can be used to improve course instruction and student learning, and motivate future work building upon our presented results to study the impact of additional factors on student performance.


title: High-harmonic generation by electric polarization, spin current, and magnetization

abstract: High-harmonic generation (HHG), a typical nonlinear optical effect, has been actively studied in electron systems such as semiconductors and superconductors. As a natural extension, we theoretically study HHG from electric polarization, spin current and magnetization in magnetic insulators under terahertz (THz) or gigahertz (GHz) electromagnetic waves. We use simple one-dimensional spin chain models with or without multiferroic coupling between spins and the electric polarization, and study the dynamics of the spin chain coupled to an external ac electric or magnetic field. We map spin chains to two-band fermions and invoke an analogy of semiconductors and superconductors. With a quantum master equation and Lindblad approximation, we compute the time evolution of the electric polarization, spin current, and magnetization, showing that they exhibit clear harmonic peaks. We also show that the even-order HHG by magnetization dynamics can be controlled by static magnetic fields in a wide class of magnetic insulators. We propose experimental setups to observe these HHG, and estimate the required strength of the ac electric field $E_0$ for detection as $E_0\sim100$kV/cm--1MV/cm, which corresponds to the magnetic field $B_0\sim0.1$T--1T. The estimated strength would be relevant also for experimental realizations of other theoretically-proposed nonlinear optical effects in magnetic insulators such as Floquet engineering of magnets.


title: Grassmann angles between real or complex subspaces

abstract: The Grassmann angle improves upon similar angles between subspaces that measure volume contraction in orthogonal projections. It works in real or complex spaces, with important differences, and is asymmetric, what makes it more efficient when dimensions are distinct. It can be seen as an angle in Grassmann algebra, being related to its products and those of Clifford algebra, and gives the Fubini-Study metric on Grassmannians, an asymmetric metric on the full Grassmannian, and Hausdorff distances between full sub-Grassmannians. We give formulas for computing it in arbitrary bases, and identities for angles with certain families of subspaces, some of which are linked to real and complex Pythagorean theorems for volumes and quantum probabilities. Unusual features of the angle with an orthogonal complement, or the angle in complex spaces, are examined.


title: Luminal Propagation of Gravitational Waves in Scalar-tensor Theories: The Case for Torsion

abstract: Scalar-tensor gravity theories with a nonminimal Gauss-Bonnet coupling typically lead to an anomalous propagation speed for gravitational waves, and have therefore been tightly constrained by multimessenger observations such as GW170817/GRB170817A. In this paper we show that this is not a general feature of scalar-tensor theories, but rather a consequence of assuming that spacetime torsion vanishes identically. At least for the case of a nonminimal Gauss-Bonnet coupling, removing the torsionless condition restores the canonical dispersion relation and therefore the correct propagation speed for gravitational waves. To achieve this result we develop a new approach, based on the first-order formulation of gravity, to deal with perturbations on these Riemann-Cartan geometries.


title: Fame and Ultrafame: Measuring and comparing daily levels of `being talked about' for United States' presidents, their rivals, God, countries, and K-pop

abstract: When building a global brand of any kind -- a political actor, clothing style, or belief system -- developing widespread awareness is a primary goal. Short of knowing any of the stories or products of a brand, being talked about in whatever fashion -- raw fame -- is, as Oscar Wilde would have it, better than not being talked about at all. Here, we measure, examine, and contrast the day-to-day raw fame dynamics on Twitter for US Presidents and major US Presidential candidates from 2008 to 2020: Barack Obama, John McCain, Mitt Romney, Hillary Clinton, Donald Trump, and Joe Biden. We assign ``lexical fame'' to be the number and (Zipfian) rank of the (lowercased) mentions made for each individual across all languages. We show that all five political figures have at some point reached extraordinary volume levels of what we define to be ``lexical ultrafame'': An overall rank of approximately 300 or less which is largely the realm of function words and demarcated by the highly stable rank of `god'. By this measure, `trump' has become enduringly ultrafamous, from the 2016 election on. We use typical ranks for country names and function words as standards to improve perception of scale. We quantify relative fame rates and find that in the eight weeks leading up the 2008 and 2012 elections, `obama' held a 1000:757 volume ratio over `mccain' and 1000:892 over `romney', well short of the 1000:544 and 1000:504 volumes favoring `trump' over `hillary' and `biden' in the 8 weeks leading up to the 2016 and 2020 elections. Finally, we track how only one other entity has more sustained ultrafame than `trump' on Twitter: The K-pop (Korean pop) band BTS. We chart the dramatic rise of BTS, finding their Twitter handle `@bts\_twt' has been able to compete with `a' and `the'. Our findings for BTS more generally point to K-pop's growing economic, social, and political power.


title: Monotonic Nonparametric Dose Response Model

abstract: Toxicologists are often concerned with determining the dosage to which an individual can be exposed with an acceptable risk of adverse effect. These types of studies have been conducted widely in the past, and many novel approaches have been developed. Parametric techniques utilizing ANOVA and nonlinear regression models are well represented in the literature. The biggest drawback of parametric approaches is the need to specify the correct model. Recently, there has been an interest in nonparametric approaches to tolerable dosage estimation. In this work, we focus on the monotonically decreasing dose response model where the response is a percent to control. This poses two constraints to the nonparametric approach. The doseresponse function must be one at control (dose = 0), and the function must always be positive. Here we propose a Bayesian solution to this problem using a novel class of nonparametric models. A basis function developed in this research is the Alamri Monotonic spline (AM-spline). Our approach is illustrated using both simulated data and an experimental dataset from pesticide related research at the US Environmental Protection Agency.


title: Positive and free energy satisfying schemes for diffusion with interaction potentials

abstract: In this paper, we design and analyze second order positive and free energy satisfying schemes for solving diffusion equations with interaction potentials. The semi-discrete scheme is shown to conserve mass, preserve solution positivity, and satisfy a discrete free energy dissipation law for nonuniform meshes. These properties for the fully-discrete scheme (first order in time) remain preserved without a strict restriction on time steps. For the fully second order (in both time and space) scheme, we use a local scaling limiter to restore solution positivity when necessary. It is proved that such limiter does not destroy the second order accuracy. In addition, these schemes are easy to implement, and efficient in simulations over long time. Both one and two dimensional numerical examples are presented to demonstrate the performance of these schemes.


title: On the Complexity of Approximating Multimarginal Optimal Transport

abstract: We study the complexity of approximating the multimarginal optimal transport (MOT) distance, a generalization of the classical optimal transport distance, considered here between $m$ discrete probability distributions supported each on $n$ support points. First, we show that the standard linear programming (LP) representation of the MOT problem is not a minimum-cost flow problem when $m \geq 3$. This negative result implies that some combinatorial algorithms, e.g., network simplex method, are not suitable for approximating the MOT problem, while the worst-case complexity bound for the deterministic interior-point algorithm remains a quantity of $\tilde{O}(n^{3m})$. We then propose two simple and \textit{deterministic} algorithms for approximating the MOT problem. The first algorithm, which we refer to as \textit{multimarginal Sinkhorn} algorithm, is a provably efficient multimarginal generalization of the Sinkhorn algorithm. We show that it achieves a complexity bound of $\tilde{O}(m^3n^m\varepsilon^{-2})$ for a tolerance $\varepsilon \in (0, 1)$. This provides a first \textit{near-linear time} complexity bound guarantee for approximating the MOT problem and matches the best known complexity bound for the Sinkhorn algorithm in the classical OT setting when $m = 2$. The second algorithm, which we refer to as \textit{accelerated multimarginal Sinkhorn} algorithm, achieves the acceleration by incorporating an estimate sequence and the complexity bound is $\tilde{O}(m^3n^{m+1/3}\varepsilon^{-4/3})$. This bound is better than that of the first algorithm in terms of $1/\varepsilon$, and accelerated alternating minimization algorithm~\citep{Tupitsa-2020-Multimarginal} in terms of $n$. Finally, we compare our new algorithms with the commercial LP solver \textsc{Gurobi}. Preliminary results on synthetic data and real images demonstrate the effectiveness and efficiency of our algorithms.


title: Finite time anti-synchronization of complex-valued neural networks with bounded asynchronous time-varying delays

abstract: In this paper, we studied the finite time anti-synchronization of master-slave coupled complex-valued neural networks (CVNNs) with bounded asynchronous time-varying delays. With the decomposing technique and the generalized $\{\xi,\infty\}$-norm, several criteria for ensuring the finite-time anti-synchronization are obtained. The whole anti-synchronization process can be divided into two parts: first, the norm of each error state component will change from initial values to $1$ in finite time, then from $1$ to $0$ in fixed time. Therefore, the whole time is finite. Finally, one typical numerical example is presented to demonstrate the correctness of our obtained results.


title: Subspaces of interval maps related to the topological entropy

abstract: For $a\in [0,+\infty)$, the function space $E_{\geq a}$ ($E_{>a}$; $E_{\leq a}$; $E_{<a}$) of all continuous maps from $[0,1]$ to itself whose topological entropies are larger than or equal to $a$ (larger than $a$; smaller than or equal to $a$; smaller than $a$) with the supremum metric is investigated. It is shown that the spaces $E_{\geq a}$ and $E_{>a}$ are homeomorphic to the Hilbert space $l_2$ and the spaces $E_{\leq a}$ and $E_{<a}$ are contractible. Moreover, the subspaces of $E_{\leq a}$ and $E_{<a}$ consisting of all piecewise monotone maps are homotopy dense in them, respectively.


title: Bondal-Orlov Fully Faithfulness Criterion for Deligne-Mumford Stacks

abstract: Suppose $F\colon \mathcal{D}(X)\to \mathcal{T}$ is an exact functor from the bounded derived category of coherent sheaves on a smooth projective variety $X$ to a triangulated category $\mathcal{T}$. If $F$ possesses left and right adjoints, then the Bondal-Orlov criterion gives a simple way of determining if $F$ is fully faithful. We prove a natural extension to the case when $X$ is a smooth and proper DM stack with projective coarse moduli space.


title: Bounds on spinning particles in their innermost stable circular orbits around rotating braneworld black hole

abstract: We study the innermost stable circular orbit (ISCO) of a spinning test particle moving in the vicinity of an axially symmetric rotating braneworld black hole (BH). We start with the description of the event horizon, static limit surface and ergosphere region of such BH and bring out the effect of tidal charge parameter on ergosphere. It is found that the ISCO of rotating braneworld BH is very sensitive to braneworld BH parameter C (also known as tidal charge parameter) in addition to its rotation parameter. We further discovered that the orbital radius of the spinning test particles changes non monotonously with the braneworld BH tidal charge parameter. It is found that for rotating braneworld BH the allowed range of the particle spin grows as the tidal charge parameter C decreases, in contrast with the Kerr Newman BH. We also found the similar behavior of the particles spin for the braneworld Reissner Nordstrom (C < 0) BH in contrast with its counterpart having (C > 0).


title: Cross-sections of Milnor fibrations and Motion planning

abstract: Consider a fibration \[p:E\to S^{p-1}\] with fiber $F$. We have the following natural question: Under what conditions does this fibration admit a cross-section? Our purpose is to discuss this problem when the fibration $p$ is the Milnor fibration $f_{\mid}:f^{-1}(S^{p-1}_{\delta})\cap D^{n}_{\epsilon}\to S^{p-1}_{\delta}$ with Milnor fiber $F_f$ and the Milnor fibration of arrangements $Q:\mathcal{M}(\mathcal{A})\to \mathbb{C}^\ast$ with fiber $F=F(\mathcal{A})$. Furthermore, we use our results to study the tasking planning problem for the Milnor fibration as a work map and we give the tasking algorithms.


title: Conversion between the formal and observed parameters in $R$-matrix theory

abstract: The conversion between the formal and observed parameters is obtained from the phase equivalence between the $R$-matrix and Breit-Wigner formula, and it is applied to a study of the low-energy $E$1 $S$-factor of $^{12}$C($\alpha$,$\gamma_0$)$^{16}$O. As an example, weak interference between 1$^-$ states in $^{16}$O is discussed. As well as the ordinary $R$-matrix method, the present method calculates the $S$-matrix and cross sections, independent of the boundary condition. Therefore, the $E$1 $S$-factor at $E_{c.m.} = 300$ keV is found to be reduced from the current evaluation.


title: VPN0: A Privacy-Preserving Decentralized Virtual Private Network

abstract: Distributed Virtual Private Networks (dVPNs) are new VPN solutions aiming to solve the trust-privacy concern of a VPN's central authority by leveraging a distributed architecture. In this paper, we first review the existing dVPN ecosystem and debate on its privacy requirements. Then, we present VPN0, a dVPN with strong privacy guarantees and minimal performance impact on its users. VPN0 guarantees that a dVPN node only carries traffic it has "whitelisted", without revealing its whitelist or knowing the traffic it tunnels. This is achieved via three main innovations. First, an attestation mechanism which leverages TLS to certify a user visit to a specific domain. Second, a zero knowledge proof to certify that some incoming traffic is authorized, e.g., falls in a node's whitelist, without disclosing the target domain. Third, a dynamic chain of VPN tunnels to both increase privacy and guarantee service continuation while traffic certification is in place. The paper demonstrates VPN0 functioning when integrated with several production systems, namely BitTorrent DHT and ProtonVPN.


title: Deflation and tensor induction on the Frobenius-Wielandt morphism

abstract: We explore conditions for the Frobenius-Wielandt morphism to commute with the operations of deflation and tensor induction on the Burnside ring. In doing this, we review the commutativity with induction. The techniques used for induction and tensor induction no longer work for deflation, so in this case we make use of tools coming from the theory of biset functors.


title: Signatures of an eccentric disc cavity: Dust and gas in IRS 48

abstract: We test the hypothesis that the disc cavity in the `transition disc' Oph IRS 48 is carved by an unseen binary companion. We use 3D dust-gas smoothed-particle hydrodynamics simulations to demonstrate that marginally coupled dust grains concentrate in the gas over-density that forms in in the cavity around a low binary mass ratio binary. This produces high contrast ratio dust asymmetries at the cavity edge similar to those observed in the disc around IRS 48 and other transition discs. This structure was previously assumed to be a vortex. However, we show that the observed velocity map of IRS 48 displays a peculiar asymmetry that is not predicted by the vortex hypothesis. We show the unusual kinematics are naturally explained by the non-Keplerian flow of gas in an eccentric circumbinary cavity. We further show that perturbations observed in the isovelocity curves of IRS 48 may be explained as the product of the dynamical interaction between the companion and the disc. The presence of a $\sim$0.4 M$_{\odot}$ companion at a $\sim$10 au separation can qualitatively explain these observations. High spatial resolution line and continuum imaging should be able to confirm this hypothesis.


title: Large Scale Deterministic Networking: A Simulation Evaluation

abstract: The use of Ethernet switched networks usually involves best effort service. A recent effort by the IEEE 802.1/3 TSN group has sought to standardize the Ethernet data-link protocol such that it operates on a deterministic service in addition to the best effort service targeting Operational Technology applications, e.g., industrial control systems. This paper investigates the Cyclic Queueing and Forwarding (CQF) and Paternoster scheduling protocols in a typical industrial control loop with varying propagation delays emulating large scale networks. Our main findings for CQF and Paternoster are that CQF has an advantage towards real-time streams with hard-deadlines whilst Paternoster is for streams with more relaxed deadlines but can operate without time synchronization.


title: Specializing Word Embeddings (for Parsing) by Information Bottleneck

abstract: Pre-trained word embeddings like ELMo and BERT contain rich syntactic and semantic information, resulting in state-of-the-art performance on various tasks. We propose a very fast variational information bottleneck (VIB) method to nonlinearly compress these embeddings, keeping only the information that helps a discriminative parser. We compress each word embedding to either a discrete tag or a continuous vector. In the discrete version, our automatically compressed tags form an alternative tag set: we show experimentally that our tags capture most of the information in traditional POS tag annotations, but our tag sequences can be parsed more accurately at the same level of tag granularity. In the continuous version, we show experimentally that moderately compressing the word embeddings by our method yields a more accurate parser in 8 of 9 languages, unlike simple dimensionality reduction.