title: Diversifying Relevant Phrases

abstract: Diverse keyword suggestions for a given landing page or matching queries to diverse documents is an active research area in online advertising. Modern search engines provide advertisers with products like Dynamic Search Ads and Smart Campaigns where they extract meaningful keywords/phrases from the advertiser's product inventory. These keywords/phrases are representative of a diverse spectrum of advertiser's interests. In this paper, we address the problem of obtaining relevant yet diverse keywords/phrases for any given document. We formulate this as an optimization problem, maximizing the parameterized trade-off between diversity and relevance constrained over number of possible keywords/phrases. We show that this is a combinatorial NP-hard optimization problem. We propose two approaches based on convex relaxations varying in complexity and performance. In the first approach, we show that the optimization problem reduces to an eigen value problem. In the second approach, we show that the optimization problem reduces to minimizing a quadratic form over an l1-ball. Subsequently, we show that this is equivalent to a semi-definite optimization problem. To prove the efficacy of our proposed formulation, we evaluate it on various real-world datasets and compare it to the state-of-the-art heuristic approaches.


title: Move to See Better: Self-Improving Embodied Object Detection

abstract: Passive methods for object detection and segmentation treat images of the same scene as individual samples and do not exploit object permanence across multiple views. Generalization to novel or difficult viewpoints thus requires additional training with lots of annotations. In contrast, humans often recognize objects by simply moving around, to get more informative viewpoints. In this paper, we propose a method for improving object detection in testing environments, assuming nothing but an embodied agent with a pre-trained 2D object detector. Our agent collects multi-view data, generates 2D and 3D pseudo-labels, and fine-tunes its detector in a self-supervised manner. Experiments on both indoor and outdoor datasets show that (1) our method obtains high-quality 2D and 3D pseudo-labels from multi-view RGB-D data; (2) fine-tuning with these pseudo-labels improves the 2D detector significantly in the test environment; (3) training a 3D detector with our pseudo-labels outperforms a prior self-supervised method by a large margin; (4) given weak supervision, our method can generate better pseudo-labels for novel objects.


title: PMLB v1.0: An open source dataset collection for benchmarking machine learning methods

abstract: Motivation: Novel machine learning and statistical modeling studies rely on standardized comparisons to existing methods using well-studied benchmark datasets. Few tools exist that provide rapid access to many of these datasets through a standardized, user-friendly interface that integrates well with popular data science workflows. Results: This release of PMLB provides the largest collection of diverse, public benchmark datasets for evaluating new machine learning and data science methods aggregated in one location. v1.0 introduces a number of critical improvements developed following discussions with the open-source community. Availability: PMLB is available at https://github.com/EpistasisLab/pmlb. Python and R interfaces for PMLB can be installed through the Python Package Index and Comprehensive R Archive Network, respectively.


title: Integral Equations & Model Reduction For Fast Computation of Nonlinear Periodic Response

abstract: We propose a reformulation for the integral equations approach of Jain, Breunung \& Haller [Nonlinear Dyn. 97, 313--341 (2019)] to steady-state response computation for periodically forced nonlinear mechanical systems. This reformulation results in additional speed-up and better convergence. We show that the solutions of the reformulated equations are in one-to-one correspondence with those of the original integral equations and derive conditions under which a collocation type approximation converges to the exact solution in the reformulated setting. Furthermore, we observe that model reduction using a selected set of vibration modes of the linearized system substantially enhances the computational performance. Finally, we discuss an open-source implementation of this approach and demonstrate the gains in computational performance using three examples that also include nonlinear finite-element models.


title: FCM-RDpA: TSK Fuzzy Regression Model Construction Using Fuzzy C-Means Clustering, Regularization, DropRule, and Powerball AdaBelief

abstract: To effectively optimize Takagi-Sugeno-Kang (TSK) fuzzy systems for regression problems, a mini-batch gradient descent with regularization, DropRule, and AdaBound (MBGD-RDA) algorithm was recently proposed. This paper further proposes FCM-RDpA, which improves MBGD-RDA by replacing the grid partition approach in rule initialization by fuzzy c-means clustering, and AdaBound by Powerball AdaBelief, which integrates recently proposed Powerball gradient and AdaBelief to further expedite and stabilize parameter optimization. Extensive experiments on 22 regression datasets with various sizes and dimensionalities validated the superiority of FCM-RDpA over MBGD-RDA, especially when the feature dimensionality is higher. We also propose an additional approach, FCM-RDpAx, that further improves FCM-RDpA by using augmented features in both the antecedents and consequents of the rules.


title: Ultra-High-density 3D vertical RRAM with stacked JunctionLess nanowires for In-Memory-Computing applications

abstract: The Von-Neumann bottleneck is a clear limitation for data-intensive applications, bringing in-memory computing (IMC) solutions to the fore. Since large data sets are usually stored in nonvolatile memory (NVM), various solutions have been proposed based on emerging memories, such as OxRAM, that rely mainly on area hungry, one transistor (1T) one OxRAM (1R) bit-cell. To tackle this area issue, while keeping the programming control provided by 1T1R bit-cell, we propose to combine gate-all-around stacked junctionless nanowires (1JL) and OxRAM (1R) technology to create a 3-D memory pillar with ultrahigh density. Nanowire junctionless transistors have been fabricated, characterized, and simulated to define current conditions for the whole pillar. Finally, based on Simulation Program with Integrated Circuit Emphasis (SPICE) simulations, we demonstrated successfully scouting logic operations up to three-pillar layers, with one operand per layer.


title: Peacock patterns and resurgence in complex Chern-Simons theory

abstract: The partition function of complex Chern-Simons theory on a 3-manifold with torus boundary reduces to a finite dimensional state-integral which is a holomorphic function of a complexified Planck's constant $\tau$ in the complex cut plane and an entire function of a complex parameter $u$. This gives rise to a vector of factorially divergent perturbative formal power series whose Stokes rays form a peacock-like pattern in the complex plane. We conjecture that these perturbative series are resurgent, their trans-series involve two non-perturbative variables, their Stokes automorphism satisfies a unique factorization property and that it is given explicitly in terms of a fundamental matrix solution to a (dual) linear $q$-difference equation. We further conjecture that entries of the Stokes automorphism matrix are the 3D-indices of Dimofte-Gaiotto-Gukov. We provide proofs of our statements regarding the $q$-difference equations and their properties of their fundamental solutions and illustrate our conjectures regarding the Stokes matrices with numerical calculations for the two simplest hyperbolic $4_1$ and $5_2$ knots.


title: Detecting expressions with multimodal transformers

abstract: Developing machine learning algorithms to understand person-to-person engagement can result in natural user experiences for communal devices such as Amazon Alexa. Among other cues such as voice activity and gaze, a person's audio-visual expression that includes tone of the voice and facial expression serves as an implicit signal of engagement between parties in a dialog. This study investigates deep-learning algorithms for audio-visual detection of user's expression. We first implement an audio-visual baseline model with recurrent layers that shows competitive results compared to current state of the art. Next, we propose the transformer architecture with encoder layers that better integrate audio-visual features for expressions tracking. Performance on the Aff-Wild2 database shows that the proposed methods perform better than baseline architecture with recurrent layers with absolute gains approximately 2% for arousal and valence descriptors. Further, multimodal architectures show significant improvements over models trained on single modalities with gains of up to 3.6%. Ablation studies show the significance of the visual modality for the expression detection on the Aff-Wild2 database.


title: A new approach to the gender pay gap decomposition by economic activity

abstract: The aim of this paper is to present an original approach to estimate the gender pay gap. We propose a model-based decomposition, similar to the most popular approaches, where the first component measures differences in group characteristics and the second component measures the unexplained effect; the latter being the real gap. The novel approach incorporates model selection and bias correction. %, avoiding the main limitation of standard approaches, which is the dependence on the choice of explanatory variables and the functional form in regression. The pay gap problem in a small area context is considered in this paper, although the approach is flexible to be applied to other contexts. Specifically, the methodology is validated for analysing wage differentials by economic activities in the region of Galicia (Spain) and by analysing simulated data from an experimental design that imitates the generation of real data. The good performance of the proposed estimators is shown in both cases, specifically when compared with those obtained from the widely used Oaxaca-Blinder approach.


title: Deep reinforcement learning with a particle dynamics environment applied to emergency evacuation of a room with obstacles

abstract: A very successful model for simulating emergency evacuation is the social-force model. At the heart of the model is the self-driven force that is applied to an agent and is directed towards the exit. However, it is not clear if the application of this force results in optimal evacuation, especially in complex environments with obstacles. Here, we develop a deep reinforcement learning algorithm in association with the social force model to train agents to find the fastest evacuation path. During training, we penalize every step of an agent in the room and give zero reward at the exit. We adopt the Dyna-Q learning approach. We first show that in the case of a room without obstacles the resulting self-driven force points directly towards the exit as in the social force model and that the median exit time intervals calculated using the two methods are not significantly different. Then, we investigate evacuation of a room with one obstacle and one exit. We show that our method produces similar results with the social force model when the obstacle is convex. However, in the case of concave obstacles, which sometimes can act as traps for agents governed purely by the social force model and prohibit complete room evacuation, our approach is clearly advantageous since it derives a policy that results in object avoidance and complete room evacuation without additional assumptions. We also study evacuation of a room with multiple exits. We show that agents are able to evacuate efficiently from the nearest exit through a shared network trained for a single agent. Finally, we test the robustness of the Dyna-Q learning approach in a complex environment with multiple exits and obstacles. Overall, we show that our model can efficiently simulate emergency evacuation in complex environments with multiple room exits and obstacles where it is difficult to obtain an intuitive rule for fast evacuation.


title: Debunking Generalization Error or: How I Learned to Stop Worrying and Love My Training Set

abstract: We aim to determine some physical properties of distant galaxies (for example, stellar mass, star formation history, or chemical enrichment history) from their observed spectra, using supervised machine learning methods. We know that different astrophysical processes leave their imprint in various regions of the spectra with characteristic signatures. Unfortunately, identifying a training set for this problem is very hard, because labels are not readily available - we have no way of knowing the true history of how galaxies have formed. One possible approach to this problem is to train machine learning models on state-of-the-art cosmological simulations. However, when algorithms are trained on the simulations, it is unclear how well they will perform once applied to real data. In this paper, we attempt to model the generalization error as a function of an appropriate measure of distance between the source domain and the application domain. Our goal is to obtain a reliable estimate of how a model trained on simulations might behave on data.


title: Stein-Weiss inequality in $L^{1}$ norm for vector fields

abstract: In this work, we investigate the limit case $p=1$ of the classical Stein--Weiss inequality for the Riesz potential.We present a characterization for a special class of vector fields associated to cocanceling operators introduced by Van Schaftingen in arXiv:1104.0192. As an application, we recover some div-curl inequalities found in the literature. In addition, we discuss a two-weight inequality with general weights in the scalar case, extending the previous result of Sawyer to this case.


title: Boom-bust population dynamics can increase diversity in evolving competitive communities

abstract: The processes and mechanisms underlying the origin and maintenance of biological diversity have long been of central importance in ecology and evolution. The competitive exclusion principle states that the number of coexisting species is limited by the number of resources, or by the species' similarity in resource use. Natural systems such as the extreme diversity of unicellular life in the oceans provide counter examples. It is known that mathematical models incorporating population fluctuations can lead to violations of the exclusion principle. Here we use simple eco-evolutionary models to show that a certain type of population dynamics, boom-bust dynamics, can allow for the evolution of much larger amounts of diversity than would be expected with stable equilibrium dynamics. Boom-bust dynamics are characterized by long periods of almost exponential growth (boom) and a subsequent population crash due to competition (bust). When such ecological dynamics are incorporated into an evolutionary model that allows for adaptive diversification in continuous phenotype spaces, desynchronization of the boom-bust cycles of coexisting species can lead to the maintenance of high levels of diversity.


title: Area-level spatio-temporal Poisson mixed models for predicting domain counts and proportions

abstract: This paper introduces area-level Poisson mixed models with temporal and SAR(1) spatially correlated random effects. Small area predictors of the proportions and counts of a dichotomic variable are derived from the new models and the corresponding mean squared errors are estimated by parametric bootstrap. The paper illustrates the introduced methodology with two applications to real data. The first one deals with data of forest fires in Galicia (Spain) during 2007-2008 and the target is modeling and predicting counts of fires. The second one treats data from the Spanish living conditions survey of Galicia of 2013 and the target is the estimation of county proportions of women under the poverty line.


title: Characterization of a modular flow cell system for electrocatalytic experiments and comparison to a commercial RRDE system

abstract: Generator-collector experiments offer insights into the mechanisms of electrochemical reactions by correlating the product and generator currents. Most commonly, these experiments are performed using a rotating ring-disk electrode (RRDE). We developed a double electrode flow cell (DEFC) with exchangeable generator and detector electrodes where the electrode width equals the channel width. Commonalities and differences between the RRDE and DEFC are discussed based on analytical solutions, numerical simulations and measurements of the ferri-/ferrocyanide redox couple on Pt electrodes in a potassium chloride electrolyte. The analytical solutions agree with the measurements using electrode widths of 5 and 2 mm. Yet, we find an unexpected dependence on the exponent of the width so that wider electrodes cannot be analysed using the conventional analytical solution. In contrast, all the investigated electrodes show a collection efficiency of close to 35.4% above a minimum rotation speed or flow rate, where the narrowest electrode is most accurate at the cost of precision and the widest electrode the least accurate but most precise. Our DEFC with exchangeable electrodes is an attractive alternative to commercial RRDEs due to the flexibility to optimize the electrode materials and geometry for the desired reaction.


title: Understanding interlaminar toughening of unidirectional CFRP laminates with carbon nanotube veils

abstract: The introduction of nanostructured interlayers is one of the most promising strategies for interlaminar reinforcement in structural composites. In this work, we study the failure mechanism and interlayer microstructure of aerospace-grade structural composites reinforced with thin veils of carbon nanotube produced using an industrialised spinning process. Samples of unidirectional carbon fibre/epoxy matrix composites interleaved with different composition CNT veils were prepared using hot press method and tested for interlaminar fracture toughness (IFT), measured in Mode-I (opening) and Mode-II (in-plane shear), and for interlaminar shear strength (ILSS), evaluated by the short beam shear (SBS) test. The crack propagation mode could be directly determined through fractography analysis by electron microscopy and resin/CNT spatial discrimination by Raman spectroscopy, showing a clear correlation between interlaminar reinforcement and the balance between cohesive/adhesive failure mode at the interlayer region. Composites with full resin infiltration of the CNT veils give a large increase of Mode II IFT (88%) to 1500 J/m2 and a slight enhancement of apparent interlaminar shear strength (6.5%), but a decrease of Mode I IFT (-21%). The results help establish the role of interlayer infiltration, interlaminar crossings and formation of a carbon fibre bridgings, for interlaminar reinforcement with interleaves.


title: Principles of seed banks: complexity emerging from dormancy

abstract: Across the tree of life, populations have evolved the capacity to contend with suboptimal conditions by engaging in dormancy, whereby individuals enter a reversible state of reduced metabolic activity. The resulting seed banks are complex, storing information and imparting memory that gives rise to multi-scale structures and networks spanning collections of cells to entire ecosystems. We outline the fundamental attributes and emergent phenomena associated with dormancy and seed banks, with the vision for a unifying and mathematically based framework that can address problems in the life sciences, ranging from global change to cancer biology.


title: TimeSHAP: Explaining Recurrent Models through Sequence Perturbations

abstract: Although recurrent neural networks (RNNs) are state-of-the-art in numerous sequential decision-making tasks, there has been little research on explaining their predictions. In this work, we present TimeSHAP, a model-agnostic recurrent explainer that builds upon KernelSHAP and extends it to the sequential domain. TimeSHAP computes feature-, timestep-, and cell-level attributions. As sequences may be arbitrarily long, we further propose a pruning method that is shown to dramatically decrease both its computational cost and the variance of its attributions. We use TimeSHAP to explain the predictions of a real-world bank account takeover fraud detection RNN model, and draw key insights from its explanations: i) the model identifies important features and events aligned with what fraud analysts consider cues for account takeover; ii) positive predicted sequences can be pruned to only 10% of the original length, as older events have residual attribution values; iii) the most recent input event of positive predictions only contributes on average to 41% of the model's score; iv) notably high attribution to client's age, suggesting a potential discriminatory reasoning, later confirmed as higher false positive rates for older clients.


title: PINT: A Modern Software Package for Pulsar Timing

abstract: Over the past few decades, the measurement precision of some pulsar-timing experiments has advanced from ~10 us to ~10 ns, revealing many subtle phenomena. Such high precision demands both careful data handling and sophisticated timing models to avoid systematic error. To achieve these goals, we present PINT (PINT Is Not Tempo3), a high-precision Python pulsar timing data analysis package, which is hosted on GitHub and available on Python Package Index (PyPI) as pint-pulsar. PINT is well-tested, validated, object-oriented, and modular, enabling interactive data analysis and providing an extensible and flexible development platform for timing applications. It utilizes well-debugged public Python packages (e.g., the NumPy and Astropy libraries) and modern software development schemes (e.g., version control and efficient development with git and GitHub) and a continually expanding test suite for improved reliability, accuracy, and reproducibility. PINT is developed and implemented without referring to, copying, or transcribing the code from other traditional pulsar timing software packages (e.g., TEMPO and TEMPO2) and therefore provides a robust tool for cross-checking timing analyses and simulating pulse arrival times. In this paper, we describe the design, usage, and validation of PINT, and we compare timing results between it and TEMPO and TEMPO2.


title: Prescribing the curvature to Killing Graphs

abstract: In this work we prove the existence and uniqueness of Killing graphs with prescribed mean curvature considering functions which are not necessarily constant along the flow lines of the Killing vector field.


title: A Data-Driven Study to Discover, Characterize, and Classify Convergence Bidding Strategies in California ISO Energy Market

abstract: Convergence bidding has been adopted in recent years by most Independent System Operators (ISOs) in the United States as a relatively new market mechanism to enhance market efficiency. Convergence bidding affects many aspects of the operation of the electricity markets and there is currently a gap in the literature on understanding how the market participants strategically select their convergence bids in practice. To address this open problem, in this paper, we study three years of real-world market data from the California ISO energy market. First, we provide a data-driven overview of all submitted convergence bids (CBs) and analyze the performance of each individual convergence bidder based on the number of their submitted CBs, the number of locations that they placed the CBs, the percentage of submitted supply or demand CBs, the amount of cleared CBs, and their gained profit or loss. Next, we scrutinize the bidding strategies of the 13 largest market players that account for 75\% of all CBs in the California ISO market. We identify quantitative features to characterize and distinguish their different convergence bidding strategies. This analysis results in revealing three different classes of CB strategies that are used in practice. We identify the differences between these strategic bidding classes and compare their advantages and disadvantages. We also explain how some of the most active market participants are using bidding strategies that do not match any of the strategic bidding methods that currently exist in the literature.


title: On Error Exponents of Almost-Fixed-Length Channel Codes and Hypothesis Tests

abstract: We examine a new class of channel coding strategies, and hypothesis tests referred to as almost-fixed-length strategies that have little flexibility in the stopping time over fixed-length strategies. The stopping time of these strategies is allowed to be slightly large only on a rare set of sample paths with an exponentially small probability. We show that almost-fixed-length channel coding strategies can achieve Burnashev's optimal error exponent. Similarly, almost-fixed length hypothesis tests are shown to bridge the gap between hypothesis testing with fixed sample size and sequential hypothesis testing and improve the trade-off between type-I and type-II error exponents.


title: Why Did the Robot Cross the Road? A User Study of Explanation in Human-Robot Interaction

abstract: This work documents a pilot user study evaluating the effectiveness of contrastive, causal and example explanations in supporting human understanding of AI in a hypothetical commonplace human robot interaction HRI scenario. In doing so, this work situates explainable AI XAI in the context of the social sciences and suggests that HRI explanations are improved when informed by the social sciences.


title: Integer Programming and Incidence Treedepth

abstract: Recently a strong connection has been shown between the tractability of integer programming (IP) with bounded coefficients on the one side and the structure of its constraint matrix on the other side. To that end, integer linear programming is fixed-parameter tractable with respect to the primal (or dual) treedepth of the Gaifman graph of its constraint matrix and the largest coefficient (in absolute value). Motivated by this, Kouteck\'y, Levin, and Onn [ICALP 2018] asked whether it is possible to extend these result to a more broader class of integer linear programs. More formally, is integer linear programming fixed-parameter tractable with respect to the incidence treedepth of its constraint matrix and the largest coefficient (in absolute value)? We answer this question in negative. In particular, we prove that deciding the feasibility of a system in the standard form, ${A\mathbf{x} = \mathbf{b}}, {\mathbf{l} \le \mathbf{x} \le \mathbf{u}}$, is $\mathsf{NP}$-hard even when the absolute value of any coefficient in $A$ is 1 and the incidence treedepth of $A$ is 5. Consequently, it is not possible to decide feasibility in polynomial time even if both the assumed parameters are constant, unless $\mathsf{P}=\mathsf{NP}$. Moreover, we complement this intractability result by showing tractability for natural and only slightly more restrictive settings, namely: (1) treedepth with an additional bound on either the maximum arity of constraints or the maximum number of occurrences of variables and (2) the vertex cover number.


title: Phase Modeling of the TRAPPIST-1 Planetary Atmospheres

abstract: Transiting compact multi-planet systems provide many unique opportunities to characterize the planets, including studies of size distributions, mean densities, orbital dynamics, and atmospheric compositions. The relatively short orbital periods in these systems ensure that events requiring specific orbital locations of the planets (such as primary transit and secondary eclipse points) occur with high frequency. The orbital motion and associated phase variations of the planets provide a means to constrain the atmospheric compositions through measurement of their albedos. Here we describe the expected phase variations of the TRAPPIST-1 system and times of superior conjunction when the summation of phase effects produce maximum amplitudes. We also describe the infrared flux emitted by the TRAPPIST-1 planets and the influence on the overall phase amplitudes. We further present the results from using the global circulation model ROCKE-3D to model the atmospheres of TRAPPIST-1e and TRAPPIST-1f assuming modern Earth and Archean atmospheric compositions. These simulations are used to calculate predicted phase curves for both reflected light and thermal emission components. We discuss the detectability of these signatures and the future prospects for similar studies of phase variations for relatively faint M stars.


title: Data Fusion for Joining Income and Consumption Information Using Different Donor-Recipient Distance Metrics

abstract: Data fusion describes the method of combining data from (at least) two initially independent data sources to allow for joint analysis of variables which are not jointly observed. The fundamental idea is to base inference on identifying assumptions, and on common variables which provide information that is jointly observed in all the data sources. A popular class of methods dealing with this particular missing-data problem is based on nearest neighbour matching. However, exact matches become unlikely with increasing common information, and the specification of the distance function can influence the results of the data fusion. In this paper we compare two different approaches of nearest neighbour hot deck matching: One, Random Hot Deck, is a variant of the covariate-based matching methods which was proposed by Eurostat, and can be considered as a 'classical' statistical matching method, whereas the alternative approach is based on Predictive Mean Matching. We discuss results from a simulation study to investigate benefits and potential drawbacks of both variants, and our findings suggest that Predictive Mean Matching tends to outperform Random Hot Deck.


title: Machine learning spatio-temporal epidemiological model to evaluate Germany-county-level COVID-19 risk

abstract: As the COVID-19 pandemic continues to ravage the world, it is of critical significance to provide a timely risk prediction of the COVID-19 in multi-level. To implement it and evaluate the public health policies, we develop a framework with machine learning assisted to extract epidemic dynamics from the infection data, in which contains a county-level spatiotemporal epidemiological model that combines a spatial Cellular Automaton (CA) with a temporal Susceptible-Undiagnosed-Infected-Removed (SUIR) model. Compared with the existing time risk prediction models, the proposed CA-SUIR model shows the multi-level risk of the county to the government and coronavirus transmission patterns under different policies. This new toolbox is first utilized to the projection of the multi-level COVID-19 prevalence over 412 Landkreis (counties) in Germany, including t-day-ahead risk forecast and the risk assessment to the travel restriction policy. As a practical illustration, we predict the situation at Christmas where the worst fatalities are 34.5 thousand, effective policies could contain it to below 21 thousand. Such intervenable evaluation system could help decide on economic restarting and public health policies making in pandemic.


title: Using dynamical quantization to perform split attempts in online tree regressors

abstract: A central aspect of online decision tree solutions is evaluating the incoming data and enabling model growth. For such, trees much deal with different kinds of input features and partition them to learn from the data. Numerical features are no exception, and they pose additional challenges compared to other kinds of features, as there is no trivial strategy to choose the best point to make a split decision. The problem is even more challenging in regression tasks because both the features and the target are continuous. Typical online solutions evaluate and store all the points monitored between split attempts, which goes against the constraints posed in real-time applications. In this paper, we introduce the Quantization Observer (QO), a simple yet effective hashing-based algorithm to monitor and evaluate split point candidates in numerical features for online tree regressors. QO can be easily integrated into incremental decision trees, such as Hoeffding Trees, and it has a monitoring cost of $O(1)$ per instance and sub-linear cost to evaluate split candidates. Previous solutions had a $O(\log n)$ cost per insertion (in the best case) and a linear cost to evaluate split points. Our extensive experimental setup highlights QO's effectiveness in providing accurate split point suggestions while spending much less memory and processing time than its competitors.


title: Time-Constant-Domain Spectroscopy: An Impedance-based Method for Sensing Biological Cells in Suspension

abstract: Impedance measurement is a common technique to characterize and detect the electrical properties of biological cells. However, to decode the underlying physical processes, it requires complex electrical models alongside prior knowledge of the sample under study. In this work, we introduce an attractive label-free method for sensing biological cells in suspension based on the measurement of electrical impedance and the distribution of relaxation times (DRT) model. The DRT maps impedance data from the frequency-domain to a time-constant-domain spectrum (TCDS) being a useful and robust method for data analysis. We perform impedance measurements in the range from 1 kHz to 1 MHz to obtain the TCDS for sensing mimic samples as well as HeLa cells in suspension. Results show that the TCDS can be seen as an electrical fingerprint for the sample, as it can decode useful information about the composition and structure with high sensitivity and resolution.


title: Resolution of singularities of 2-dimensional real analytic constrained differential systems

abstract: We present a theorem of resolution of singularities for real analytic constrained differential systems $A(x)\dot{x} = F(x)$ defined on a 2-manifold with corners having impasse set $\{x; \det A(x) = 0\}$. This result can be seen as a generalization of the classical one for 2-dimensional real analytic vector fields. Our proof is based on weighted blow-ups and the Newton polygon.


title: Bridging the Gap Between Tree and Connectivity Augmentation: Unified and Stronger Approaches

abstract: We consider the Connectivity Augmentation Problem (CAP), a classical problem in the area of Survivable Network Design. It is about increasing the edge-connectivity of a graph by one unit in the cheapest possible way. More precisely, given a $k$-edge-connected graph $G=(V,E)$ and a set of extra edges, the task is to find a minimum cardinality subset of extra edges whose addition to $G$ makes the graph $(k+1)$-edge-connected. If $k$ is odd, the problem is known to reduce to the Tree Augmentation Problem (TAP) -- i.e., $G$ is a spanning tree -- for which significant progress has been achieved recently, leading to approximation factors below $1.5$ (the currently best factor is $1.458$). However, advances on TAP did not carry over to CAP so far. Indeed, only very recently, Byrka, Grandoni, and Ameli (STOC 2020) managed to obtain the first approximation factor below $2$ for CAP by presenting a $1.91$-approximation algorithm based on a method that is disjoint from recent advances for TAP. We first bridge the gap between TAP and CAP, by presenting techniques that allow for leveraging insights and methods from TAP to approach CAP. We then introduce a new way to get approximation factors below $1.5$, based on a new analysis technique. Through these ingredients, we obtain a $1.393$-approximation algorithm for CAP, and therefore also TAP. This leads to the currently best approximation result for both problems in a unified way, by significantly improving on the above-mentioned $1.91$-approximation for CAP and also the previously best approximation factor of $1.458$ for TAP by Grandoni, Kalaitzis, and Zenklusen (STOC 2018). Additionally, a feature we inherit from recent TAP advances is that our approach can deal with the weighted setting when the ratio between the largest to smallest cost on extra links is bounded, in which case we obtain approximation factors below $1.5$.


title: Hybrid Algorithm for Nonlinear Equilibrium, Variational Inequality and Fixed Point Problems

abstract: In this paper, we introduce an iterative process which converges strongly to a common element of sets of solutions of finite family of generalized equilibrium problems, sets of fixed points of finite family of continuous relatively nonexpansive mappings and sets of zeros of finite family of $\gamma$-inverse strongly monotone mappings in Banach spaces. Our theorems improve and generalize several results which are announced recently. Our iteration process, method of proof and corollaries are of independent interest


title: Nothing But Geometric Constraints: A Model-Free Method for Articulated Object Pose Estimation

abstract: We propose an unsupervised vision-based system to estimate the joint configurations of the robot arm from a sequence of RGB or RGB-D images without knowing the model a priori, and then adapt it to the task of category-independent articulated object pose estimation. We combine a classical geometric formulation with deep learning and extend the use of epipolar constraint to multi-rigid-body systems to solve this task. Given a video sequence, the optical flow is estimated to get the pixel-wise dense correspondences. After that, the 6D pose is computed by a modified PnP algorithm. The key idea is to leverage the geometric constraints and the constraint between multiple frames. Furthermore, we build a synthetic dataset with different kinds of robots and multi-joint articulated objects for the research of vision-based robot control and robotic vision. We demonstrate the effectiveness of our method on three benchmark datasets and show that our method achieves higher accuracy than the state-of-the-art supervised methods in estimating joint angles of robot arms and articulated objects.


title: Iterative Error Decimation for Syndrome-Based Neural Network Decoders

abstract: In this letter, we introduce a new syndrome-based decoder where a deep neural network (DNN) estimates the error pattern from the reliability and syndrome of the received vector. The proposed algorithm works by iteratively selecting the most confident positions to be the error bits of the error pattern, updating the vector received when a new position of the error pattern is selected. Simulation results for the (63,45) and (63,36) BCH codes show that the proposed approach outperforms existing neural network decoders. In addition, the new decoder is flexible in that it can be applied on top of any existing syndrome-based DNN decoder without retraining.


title: Clustering of CODEX clusters

abstract: Aims. We analyze the autocorrelation function of a large contiguous sample of galaxy clusters, the Constrain Dark Energy with X-ray (CODEX) sample, in which we take particular care of cluster definition. These clusters were X-ray selected using the RASS survey and then identified as galaxy clusters using the code redMaPPer run on the photometry of the SDSS. We develop methods for precisely accounting for the sample selection effects on the clustering and demonstrate their robustness using numerical simulations. Methods. Using the clean CODEX sample, which was obtained by applying a redshift-dependent richness selection, we computed the two-point autocorrelation function of galaxy clusters in the $0.1<z<0.3$ and $0.3<z<0.5$ redshift bins. We compared the bias in the measured correlation function with values obtained in numerical simulations using a similar cluster mass range. Results. By fitting a power law, we measured a correlation length $r_0=18.7 \pm 1.1$ and slope $\gamma=1.98 \pm 0.14$ for the correlation function in the full redshift range. By fixing the other cosmological parameters to their WMAP9 values, we reproduced the observed shape of the correlation function under the following cosmological conditions: $\Omega_{m_0}=0.22^{+0.04}_{-0.03}$ and $S_8=\sigma_8 (\Omega_{m_0} /0.3)^{0.5}=0.85^{+0.10}_{-0.08}$ with estimated additional systematic errors of $\sigma_{\Omega_{m_0}} = 0.02$ and $\sigma_{S_8} = 0.20$. We illustrate the complementarity of clustering constraints by combining them with CODEX cosmological constraints based on the X-ray luminosity function, deriving $\Omega_{m_0} = 0.25 \pm 0.01$ and $\sigma_8 = 0.81^{+0.01}_{-0.02}$ with an estimated additional systematic error of $\sigma_{\Omega_{m_0}} = 0.07$ and $\sigma_{\sigma_8} = 0.04$. The mass calibration and statistical quality of the mass tracers are the dominant source of uncertainty.


title: Contagion Dynamics for Manifold Learning

abstract: Contagion maps exploit activation times in threshold contagions to assign vectors in high-dimensional Euclidean space to the nodes of a network. A point cloud that is the image of a contagion map reflects both the structure underlying the network and the spreading behaviour of the contagion on it. Intuitively, such a point cloud exhibits features of the network's underlying structure if the contagion spreads along that structure, an observation which suggests contagion maps as a viable manifold-learning technique. We test contagion maps as a manifold-learning tool on a number of different real-world and synthetic data sets, and we compare their performance to that of Isomap, one of the most well-known manifold-learning algorithms. We find that, under certain conditions, contagion maps are able to reliably detect underlying manifold structure in noisy data, while Isomap fails due to noise-induced error. This consolidates contagion maps as a technique for manifold learning.


title: A Cognitive Radio Enabled RF/FSO Communication Model for Aerial Relay Networks: Possible Configurations and Opportunities

abstract: Two emerging technologies, cognitive radio (CR) and free-space optical (FSO) communication, have created much interest both in academia and industry recently as they can fully utilize the spectrum while providing cost-efficient secure communication. In this article, motivated by the mounting interest in CR and FSO systems and by their ability to be rapidly deployed for civil and military applications, particularly in emergency situations, we propose a CR enabled radio frequency (RF)/FSO communication model for an aerial relay network. In the proposed model, CR enabled RF communication is employed for a ground-to-air channel to exploit the advantages of CR, including spectrum efficiency, multi-user connectivity, and spatial diversity. For an air-to-air channel, FSO communication is used, since the air-to-air path can provide perfect line-of-sight connectivity, which is vital for FSO systems. Finally, for an air-to-ground channel, a hybrid RF/FSO communication system is employed, where the RF communication functions as a backup for the FSO communication in the presence of adverse weather conditions. The proposed communication model is shown to be capable of fully utilizing the frequency spectrum, while effectively dealing with RF network problems of spectrum mobility and underutilization, especially for emergency conditions when multiple unmanned aerial vehicles (UAVs) are deployed.


title: Why model why? Assessing the strengths and limitations of LIME

abstract: When it comes to complex machine learning models, commonly referred to as black boxes, understanding the underlying decision making process is crucial for domains such as healthcare and financial services, and also when it is used in connection with safety critical systems such as autonomous vehicles. As such interest in explainable artificial intelligence (xAI) tools and techniques has increased in recent years. However, the effectiveness of existing xAI frameworks, especially concerning algorithms that work with data as opposed to images, is still an open research question. In order to address this gap, in this paper we examine the effectiveness of the Local Interpretable Model-Agnostic Explanations (LIME) xAI framework, one of the most popular model agnostic frameworks found in the literature, with a specific focus on its performance in terms of making tabular models more interpretable. In particular, we apply several state of the art machine learning algorithms on a tabular dataset, and demonstrate how LIME can be used to supplement conventional performance assessment methods. In addition, we evaluate the understandability of the output produced by LIME both via a usability study, involving participants who are not familiar with LIME, and its overall usability via an assessment framework, which is derived from the International Organisation for Standardisation 9241-11:1998 standard.


title: Message Passing Networks for Molecules with Tetrahedral Chirality

abstract: Molecules with identical graph connectivity can exhibit different physical and biological properties if they exhibit stereochemistry-a spatial structural characteristic. However, modern neural architectures designed for learning structure-property relationships from molecular structures treat molecules as graph-structured data and therefore are invariant to stereochemistry. Here, we develop two custom aggregation functions for message passing neural networks to learn properties of molecules with tetrahedral chirality, one common form of stereochemistry. We evaluate performance on synthetic data as well as a newly-proposed protein-ligand docking dataset with relevance to drug discovery. Results show modest improvements over a baseline sum aggregator, highlighting opportunities for further architecture development.


title: How cumulative is technological knowledge?

abstract: Technological cumulativeness is considered one of the main mechanisms for technological progress, yet its exact meaning and dynamics often remain unclear. To develop a better understanding of this mechanism we approach a technology as a body of knowledge consisting of interlinked inventions. Technological cumulativeness can then be understood as the extent to which inventions build on other inventions within that same body of knowledge. The cumulativeness of a technology is therefore characterized by the structure of its knowledge base, which is different from, but closely related to, the size of its knowledge base. We analytically derive equations describing the relation between the cumulativeness and the size of the knowledge base. In addition, we empirically test our ideas for a number of selected technologies, using patent data. Our results suggest that cumulativeness increases proportionally with the size of the knowledge base, at a rate which varies considerably across technologies. At the same time we find that across technologies, this rate is inversely related to the rate of invention over time. This suggests that the cumulativeness increases relatively slow in rapidly growing technologies. In sum, the presented approach allows for an in-depth, systematic analysis of cumulativeness variations across technologies and the knowledge dynamics underlying technology development.


title: Multi-Modal Detection of Alzheimer's Disease from Speech and Text

abstract: Reliable detection of the prodromal stages of Alzheimer's disease (AD) remains difficult even today because, unlike other neurocognitive impairments, there is no definitive diagnosis of AD in vivo. In this context, existing research has shown that patients often develop language impairment even in mild AD conditions. We propose a multimodal deep learning method that utilizes speech and the corresponding transcript simultaneously to detect AD. For audio signals, the proposed audio-based network, a convolutional neural network (CNN) based model, predicts the diagnosis for multiple speech segments, which are combined for the final prediction. Similarly, we use contextual embedding extracted from BERT concatenated with a CNN-generated embedding for classifying the transcript. The individual predictions of the two models are then combined to make the final classification. We also perform experiments to analyze the model performance when Automated Speech Recognition (ASR) system generated transcripts are used instead of manual transcription in the text-based model. The proposed method achieves 85.3% 10-fold cross-validation accuracy when trained and evaluated on the Dementiabank Pitt corpus.


title: There is no equivariant coarse embedding of $L_{p}$ into $\ell_p$

abstract: In this paper we prove that $L_{p}$ does not admit an equivariant coarse embedding into $\ell_p$ i.e there is no proper, affine, isometric action of $L_{p}$, viewed as a group under addition with the standard metric $|| . ||_p$, on $\ell_p$. This is done by showing that representations of $L_{p}$ into $ Isom(\ell_p)$ has to be trivial, which allows us to reduce the question to bi-Lipschitz setting.


title: Mediated Persuasion

abstract: We study a game of strategic information design between a sender, who chooses state-dependent information structures, a mediator who can then garble the signals generated from these structures, and a receiver who takes an action after observing the signal generated by the first two players. We characterize sufficient conditions for information revelation, compare outcomes with and without a mediator and provide comparative statics with regard to the preferences of the sender and the mediator. We also provide novel conceptual and computational insights about the set of feasible posterior beliefs that the sender can induce, and use these results to obtain insights about equilibrium outcomes. The sender never benefits from mediation, while the receiver might. Strikingly, the receiver benefits when the mediator's preferences are not perfectly aligned with hers; rather the mediator should prefer more information revelation than the sender, but less than perfect revelation.


title: Searching for Dwarf Galaxies in ${\it Gaia}$ DR2 Phase-Space Data Using Wavelet Transforms

abstract: We present a wavelet-based algorithm to identify dwarf galaxies in the Milky Way in ${\it Gaia}$ DR2 data. Our algorithm detects overdensities in 4D position--proper motion space, making it the first search to explicitly use velocity information to search for dwarf galaxy candidates. We optimize our algorithm and quantify its performance by searching for mock dwarfs injected into ${\it Gaia}$ DR2 data and for known Milky Way satellite galaxies. Comparing our results with previous photometric searches, we find that our search is sensitive to undiscovered systems at Galactic latitudes~$\lvert b\rvert>20^{\circ}$ and with half-light radii larger than the 50% detection efficiency threshold for Pan-STARRS1 (PS1) at (${\it i}$) absolute magnitudes of =$-7<M_V<-3$ and distances of $32$ kpc $< D < 64$ kpc, and (${\it ii}$) $M_V< -4$ and $64$ kpc $< D < 128$ kpc. Based on these results, we predict that our search is expected to discover $5 \pm 2$ new satellite galaxies: four in the PS1 footprint and one outside the Dark Energy Survey and PS1 footprints. We apply our algorithm to the ${\it Gaia}$ DR2 dataset and recover $\sim 830$ high-significance candidates, out of which we identify a "gold standard" list of $\sim 200$ candidates based on cross-matching with potential candidates identified in a preliminary search using ${\it Gaia}$ EDR3 data. All of our candidate lists are publicly distributed for future follow-up studies. We show that improvements in astrometric measurements provided by ${\it Gaia}$ EDR3 increase the sensitivity of this technique; we plan to continue to refine our candidate list using future data releases.


title: Distribution and habitability of (meta)stable brines on present-day Mars

abstract: Special Regions on Mars are defined as environments able to host liquid water that meets certain temperature and water activity requirements that allow known terrestrial organisms to replicate, and therefore could be habitable. Such regions would be a concern for planetary protection policies owing to the potential for forward contamination (biological contamination from Earth). Pure liquid water is unstable on the Martian surface, but brines may be present. Experimental work has shown that brines persist beyond their predicted stability region, leading to metastable liquids. Here we show that (meta)stable brines can form and persist from the equator to high latitudes on the surface of Mars for a few percent of the year for up to six consecutive hours, a broader range than previously thought. However, only the lowest eutectic solutions can form, leading to brines with temperatures of less than 225 K. Our results indicate that (meta)stable brines on the Martian surface and shallow subsurface (a few centimeters deep) are not habitable because their water activities and temperatures fall outside the known tolerances for terrestrial life. Furthermore, (meta)stable brines do not meet the Special Regions requirements, reducing the risk for forward contamination and easing threats related to the exploration of the Martian surface.


title: Natural Evolutionary Strategies for Variational Quantum Computation

abstract: Natural evolutionary strategies (NES) are a family of gradient-free black-box optimization algorithms. This study illustrates their use for the optimization of randomly-initialized parametrized quantum circuits (PQCs) in the region of vanishing gradients. We show that using the NES gradient estimator the exponential decrease in variance can be alleviated. We implement two specific approaches, the exponential and separable natural evolutionary strategies, for parameter optimization of PQCs and compare them against standard gradient descent. We apply them to two different problems of ground state energy estimation using variational quantum eigensolver (VQE) and state preparation with circuits of varying depth and length. We also introduce batch optimization for circuits with larger depth to extend the use of evolutionary strategies to a larger number of parameters. We achieve accuracy comparable to state-of-the-art optimization techniques in all the above cases with a lower number of circuit evaluations. Our empirical results indicate that one can use NES as a hybrid tool in tandem with other gradient-based methods for optimization of deep quantum circuits in regions with vanishing gradients.


title: HeM3D: Heterogeneous Manycore Architecture Based on Monolithic 3D Vertical Integration

abstract: Heterogeneous manycore architectures are the key to efficiently execute compute- and data-intensive applications. Through silicon via (TSV)-based 3D manycore system is a promising solution in this direction as it enables integration of disparate computing cores on a single system. However, the achievable performance of conventional through-silicon-via (TSV)-based 3D systems is ultimately bottlenecked by the horizontal wires (wires in each planar die). Moreover, current TSV 3D architectures suffer from thermal limitations. Hence, TSV-based architectures do not realize the full potential of 3D integration. Monolithic 3D (M3D) integration, a breakthrough technology to achieve - More Moore and More Than Moore - and opens up the possibility of designing cores and associated network routers using multiple layers by utilizing monolithic inter-tier vias (MIVs) and hence, reducing the effective wire length. Compared to TSV-based 3D ICs, M3D offers the true benefits of vertical dimension for system integration: the size of a MIV used in M3D is over 100x smaller than a TSV. In this work, we demonstrate how M3D-enabled vertical core and uncore elements offer significant performance and thermal improvements in manycore heterogeneous architectures compared to its TSV-based counterpart. To overcome the difficult optimization challenges due to the large design space and complex interactions among the heterogeneous components (CPU, GPU, Last Level Cache, etc.) in an M3D-based manycore chip, we leverage novel design-space exploration algorithms to trade-off different objectives. The proposed M3D-enabled heterogeneous architecture, called HeM3D, outperforms its state-of-the-art TSV-equivalent counterpart by up to 18.3% in execution time while being up to 19 degrees Celcius cooler.


title: Rise of the Kniesians: The professor-student network of Nobel laureates in economics

abstract: The paper presents the professor-student network of Nobel laureates in economics. 74 of the 79 Nobelists belong to one family tree. The remaining 5 belong to 3 separate trees. There are 350 men in the graph, and 4 women. Karl Knies is the central-most professor, followed by Wassily Leontief. No classical and few neo-classical economists have left notable descendants. Harvard is the central-most university, followed by Chicago and Berlin. Most candidates for the Nobel prize belong to the main family tree, but new trees may arise for the students of Terence Gorman and Denis Sargan.


title: A Neural Dynamic Model based on Activation Diffusion and a Micro-Explanation for Cognitive Operations

abstract: The neural mechanism of memory has a very close relation with the problem of representation in artificial intelligence. In this paper a computational model was proposed to simulate the network of neurons in brain and how they process information. The model refers to morphological and electrophysiological characteristics of neural information processing, and is based on the assumption that neurons encode their firing sequence. The network structure, functions for neural encoding at different stages, the representation of stimuli in memory, and an algorithm to form a memory were presented. It also analyzed the stability and recall rate for learning and the capacity of memory. Because neural dynamic processes, one succeeding another, achieve a neuron-level and coherent form by which information is represented and processed, it may facilitate examination of various branches of Artificial Intelligence, such as inference, problem solving, pattern recognition, natural language processing and learning. The processes of cognitive manipulation occurring in intelligent behavior have a consistent representation while all being modeled from the perspective of computational neuroscience. Thus, the dynamics of neurons make it possible to explain the inner mechanisms of different intelligent behaviors by a unified model of cognitive architecture at a micro-level.


title: Using Data Analytics to predict students score

abstract: Education is very important to Singapore, and the government has continued to invest heavily in our education system to become one of the world-class systems today. A strong foundation of Science, Technology, Engineering, and Mathematics (STEM) was what underpinned Singapore's development over the past 50 years. PISA is a triennial international survey that evaluates education systems worldwide by testing the skills and knowledge of 15-year-old students who are nearing the end of compulsory education. In this paper, the authors used the PISA data from 2012 and 2015 and developed machine learning techniques to predictive the students' scores and understand the inter-relationships among social, economic, and education factors. The insights gained would be useful to have fresh perspectives on education, useful for policy formulation.


title: Towards Auditability for Fairness in Deep Learning

abstract: Group fairness metrics can detect when a deep learning model behaves differently for advantaged and disadvantaged groups, but even models that score well on these metrics can make blatantly unfair predictions. We present smooth prediction sensitivity, an efficiently computed measure of individual fairness for deep learning models that is inspired by ideas from interpretability in deep learning. smooth prediction sensitivity allows individual predictions to be audited for fairness. We present preliminary experimental results suggesting that smooth prediction sensitivity can help distinguish between fair and unfair predictions, and that it may be helpful in detecting blatantly unfair predictions from "group-fair" models.


title: Light-switchable propulsion of active particles with reversible interactions

abstract: Active systems such as microorganisms and self-propelled particles show a plethora of collective phenomena, including swarming, clustering, and phase separation. Control over the propulsion direction and switchability of the interactions between the individual self-propelled units may open new avenues in designing of materials from within. Here, we present a self-propelled particle system, consisting of half-gold coated titania ($\mathrm{TiO}_2$) particles, in which we can fast and on-demand reverse the propulsion direction, by exploiting the different photocatalytic activities on both sides. We demonstrate that the reversal in propulsion direction changes the nature of the hydrodynamic interaction from attractive to repulsive and can drive the particle assemblies to undergo both fusion and fission transitions. Moreover, we show these active colloids can act as nucleation sites, and switch rapidly the interactions between active and passive particles, leading to reconfigurable assembly and disassembly. Our experiments are qualitatively described by a minimal hydrodynamic model.

categories: cond-mat.soft cond-mat.mtrl-sci physics.bio-ph physics.flu-dyn


title: The combinatorics of normal subgroups in the unipotent upper triangular group

abstract: Describing the conjugacy classes of the unipotent upper triangular groups $\mathrm{UT}_{n}(\mathbb{F}_{q})$ uniformly (for all or many values of $n$ and $q$) is a nearly impossible task. This paper takes on the related problem of describing the normal subgroups of $\mathrm{UT}_{n}(\mathbb{F}_{q})$. For $q$ a prime, a bijection will be established between these subgroups and pairs of combinatorial objects with labels from $\mathbb{F}_{q}^{\times}$. Each pair comprises a loopless binary matroid and a tight splice, an apparently new kind of combinatorial object which interpolates between nonnesting partitions and shortened polyominoes. For arbitrary $q$, the same approach describes a natural subset of normal subgroups: those which correspond to the ideals of the Lie algebra $\mathfrak{ut}_{n}(\mathbb{F}_{q})$ under an approximation of the exponential map.


title: Defining phylogenetic networks using ancestral profiles

abstract: Rooted phylogenetic networks provide a more complete representation of the ancestral relationship between species than phylogenetic trees when reticulate evolutionary processes are at play. One way to reconstruct a phylogenetic network is to consider its `ancestral profile' (the number of paths from each ancestral vertex to each leaf). In general, this information does not uniquely determine the underlying phylogenetic network. A recent paper considered a new class of phylogenetic networks called `orchard networks' where this uniqueness was claimed to hold. Here we show that an additional restriction on the network, that of being `stack-free', is required in order for the original uniqueness claim to hold. On the other hand, if the additional stack-free restriction is lifted, we establish an alternative result; namely, there is uniqueness within the class of orchard networks up to the resolution of vertices of high in-degree.


title: Representing and Denoising Wearable ECG Recordings

abstract: Modern wearable devices are embedded with a range of noninvasive biomarker sensors that hold promise for improving detection and treatment of disease. One such sensor is the single-lead electrocardiogram (ECG) which measures electrical signals in the heart. The benefits of the sheer volume of ECG measurements with rich longitudinal structure made possible by wearables come at the price of potentially noisier measurements compared to clinical ECGs, e.g., due to movement. In this work, we develop a statistical model to simulate a structured noise process in ECGs derived from a wearable sensor, design a beat-to-beat representation that is conducive for analyzing variation, and devise a factor analysis-based method to denoise the ECG. We study synthetic data generated using a realistic ECG simulator and a structured noise model. At varying levels of signal-to-noise, we quantitatively measure an upper bound on performance and compare estimates from linear and non-linear models. Finally, we apply our method to a set of ECGs collected by wearables in a mobile health study.


title: Modeling assembly bias with machine learning and symbolic regression

abstract: Upcoming 21cm surveys will map the spatial distribution of cosmic neutral hydrogen (HI) over unprecedented volumes. Mock catalogues are needed to fully exploit the potential of these surveys. Standard techniques employed to create these mock catalogs, like Halo Occupation Distribution (HOD), rely on assumptions such as the baryonic properties of dark matter halos only depend on their masses. In this work, we use the state-of-the-art magneto-hydrodynamic simulation IllustrisTNG to show that the HI content of halos exhibits a strong dependence on their local environment. We then use machine learning techniques to show that this effect can be 1) modeled by these algorithms and 2) parametrized in the form of novel analytic equations. We provide physical explanations for this environmental effect and show that ignoring it leads to underprediction of the real-space 21-cm power spectrum at $k\gtrsim 0.05$ h/Mpc by $\gtrsim$10\%, which is larger than the expected precision from upcoming surveys on such large scales. Our methodology of combining numerical simulations with machine learning techniques is general, and opens a new direction at modeling and parametrizing the complex physics of assembly bias needed to generate accurate mocks for galaxy and line intensity mapping surveys.


title: Adiabatic Variations of Quantum Heat of a quantum body

abstract: In this article it will be introduced a new theorem, can be considered a generalization of Hellmann-Feynman theorem[1]. The latter used in conjunction with the quantization of the free energy[2] of a quantum system allows to derive strightly the electronic Heat variations of a quantum electronic system, in its condensed phase of eigenstates, showing its agreement with classical thermodynamics, making then possible to desing ab inito quantum models of the electronic structure in its thermodynamical states.


title: The FEDHC Bayesian network learning algorithm

abstract: The paper proposes a new hybrid Bayesian network learning algorithm, termed Forward Early Dropping Hill Climbing (FEDHC), devised to work with either continuous or categorical variables. Further, the paper manifests that the only implementation of MMHC in the statistical software \textit{R}, is prohibitively expensive and a new implementation is offered. Further, specifically for the case of continuous data, a robust to outliers version of FEDHC, that can be adopted by other BN learning algorithms, is proposed. The FEDHC is tested via Monte Carlo simulations that distinctly show it is computationally efficient, and produces Bayesian networks of similar to, or of higher accuracy than MMHC and PCHC. Finally, an application of FEDHC, PCHC and MMHC algorithms to real data, from the field of economics, is demonstrated using the statistical software \textit{R}.


title: Constraints on extended gravity models through gravitational wave emission

abstract: Using recent experimental results of detection of gravitational waves from the binary black hole signals by Advanced LIGO and Advanced Virgo, we investigate the propagation of gravitational waves in the context of fourth order gravity nonminimally coupled to a massive scalar field. Gravitational radiation admits extra massive modes of oscillation and we assume that the amplitude of these modes is comparable to that of the massless mode. We derive the propagation equation and effective mass for each degree of freedom and we infer, from the current observational data, constraints on the free parameters of the gravity models we considered. In particular, for $f(R)=R-R^2/R_0 $, the constraint obtained from the speed of gravitational waves is not compatible with the one set by Solar System tests, which implies that amplitude of the massive modes could not be detectable with current experiments on Earth


title: A Branch and Bound Based on NSGAII Algorithm for Multi-Objective Mixed Integer Non Linear Optimization Problems

abstract: Multi-Objective Mixed-Integer Non-Linear Programming problems (MO-MINLPs) appear in several real-world applications, especially in the mechanical engineering field. To determine a good approximated Pareto front for this type of problems, we propose a general hybrid approach based on a Multi-Criteria Branch-and-Bound (MCBB) and Non-dominated Sorting Genetic Algorithm 2 (NSGAII). We present a computational experiment based on a statistical assessment to compare the performance of the proposed algorithm (BnB-NSGAII) with NSGAII using well-known metrics from literature. We propose a new metric, Investment Ratio (IR), that relate the quality of the solution to the consumed effort. We consider five real-world mechanical engineering problems and two mathematical ones to be used as test problems in this experiment. Experimental results indicate that BnB-NSGAII could be a competitive alternative for solving MO-MINLPs.


title: LocaRDS: A Localization Reference Data Set

abstract: The use of wireless signals for purposes of localization enables a host of applications relating to the determination and verification of the positions of network participants, ranging from radar to satellite navigation. Consequently, it has been a longstanding interest of theoretical and practical research in mobile networks and many solutions have been proposed in the scientific literature. However, it is hard to assess the performance of these in the real world and, more severely, to compare their advantages and disadvantages in a controlled scientific manner. With this work, we attempt to improve the current state of the art in localization research and put it on a solid scientific grounding for the future. Concretely, we develop LocaRDS, an open reference dataset of real-world crowdsourced flight data featuring more than 222 million measurements from over 50 million transmissions recorded by 323 sensors. We show how LocaRDS can be used to test, analyze and directly compare different localization techniques and further demonstrate its effectiveness by examining the open question of the aircraft localization problem in crowdsourced sensor networks. Finally, we provide a working reference implementation for the aircraft localization problem and a discussion of possible metrics for use with LocaRDS.


title: Determining Ionizing Doses in Medium Earth Orbits Using Long-Term GPS Particle Measurements

abstract: We use long-term electron and proton in-situ measurements made by the CXD particle instruments, developed by Los Alamos National Laboratory and carried on board GPS satellites, to determine total ionizing dose (TID) values and daily/yearly dose rate (DR) values in medium Earth orbits (MEOs) caused by the natural space radiation environment. Here measurement-based TID and DR values on a simplified sample geometry--a small (with a radius of 0.1 mm) Silicon detector within an Aluminum shielding sphere with a thickness of 100 mil--are compared to those calculated from empirical radiation models. Results over the solar cycle 24 show that electron TID from measurements in GPS orbit is well above the values calculated from the median/mean fluences from AE8 and AE9 models, but close to model fluences at high percentiles. Also, it is confirmed that in MEOs proton contributions to TID are minor and mainly dominated by solar energetic protons. Several factors affecting those dose calculations are discussed and evaluated. Results from this study provide us another out-of-sample test on the reliability of existing empirical space radiation models, and also help estimate the margin factors on calculated dose values in MEOs that pass through the heart of the Earth's outer radiation belt.


title: A new operational representation of dependencies in Event Structures

abstract: The execution of an event in a complex and distributed system where the dependencies vary during the evolution of the system can be represented in many ways, and one of them is to use Context-Dependent Event structures. Event structures are related to Petri nets. The aim of this paper is to propose what can be the appropriate kind of Petri net corresponding to Context-Dependent Event structures, giving an operational flavour to the dependencies represented in a Context/Dependent Event structure. Dependencies are often operationally represented, in Petri nets, by tokens produced by activities and consumed by others. Here we shift the perspective using contextual arcs to characterize what has happened so far and in this way to describe the dependencies among the various activities.


title: Dynamic Image for 3D MRI Image Alzheimer's Disease Classification

abstract: We propose to apply a 2D CNN architecture to 3D MRI image Alzheimer's disease classification. Training a 3D convolutional neural network (CNN) is time-consuming and computationally expensive. We make use of approximate rank pooling to transform the 3D MRI image volume into a 2D image to use as input to a 2D CNN. We show our proposed CNN model achieves $9.5\%$ better Alzheimer's disease classification accuracy than the baseline 3D models. We also show that our method allows for efficient training, requiring only 20% of the training time compared to 3D CNN models. The code is available online: https://github.com/UkyVision/alzheimer-project.


title: Sheaf-theoretic framework for optimal network control

abstract: In this paper, we use tools from sheaf theory to model and analyze optimal network control problems and their associated discrete relaxations. We consider a general problem setting in which pieces of equipment and their causal relations are represented as a directed network, and the state of this equipment evolves over time according to known dynamics and the presence or absence of control actions. First, we provide a brief introduction to key concepts in the theory of sheaves on partial orders. This foundation is used to construct a series of sheaves that build upon each other to model the problem of optimal control, culminating in a result that proves that solving our optimal control problem is equivalent to finding an assignment to a sheaf that has minimum consistency radius and restricts to a global section on a particular subsheaf. The framework thus built is applied to the specific case where a model is discretized to one in which the state and control variables are Boolean in nature, and we provide a general bound for the error incurred by such a discretization process. We conclude by presenting an application of these theoretical tools that demonstrates that this bound is improved when the system dynamics are affine.


title: DFT quantization of the Gibbs Free Energy of a quantum body

abstract: In this article it is introduced a theoretical model made in order to perform calculations of the quantum heat of a body that could be acquired or delivered during a thermal transformation of its quantum states. Here the model is mainly targeted to the electronic structure of matter[1] at the nano and micro scale where DFT models have been frequently developed of the total energy of quantum systems. Defining an Entropy functional $S[\rho]$ makes us able optimizing a free energy $G[\rho]$ of the quantum system at finite temperatures. Due to the generality of the model, the latter can be also applied to several first principles computational codes where ab initio modelling of quantum matter is asked.


title: A Bijection Between Weighted Dyck Paths and 1234-avoiding Up-Down Permutations

abstract: Three-dimensional Catalan numbers are a variant of the classical (bidimensional) Catalan numbers, that count, among other interesting objects, the standard Young tableaux of shape (n,n,n). In this paper, we present a structural bijection between two three-dimensional Catalan objects: 1234-avoiding up-down permutations, and a class of weighted Dyck paths.


title: A Hypergradient Approach to Robust Regression without Correspondence

abstract: We consider a variant of regression problem, where the correspondence between input and output data is not available. Such shuffled data is commonly observed in many real world problems. Taking flow cytometry as an example, the measuring instruments may not be able to maintain the correspondence between the samples and the measurements. Due to the combinatorial nature of the problem, most existing methods are only applicable when the sample size is small, and limited to linear regression models. To overcome such bottlenecks, we propose a new computational framework -- ROBOT -- for the shuffled regression problem, which is applicable to large data and complex nonlinear models. Specifically, we reformulate the regression without correspondence as a continuous optimization problem. Then by exploiting the interaction between the regression model and the data correspondence, we develop a hypergradient approach based on differentiable programming techniques. Such a hypergradient approach essentially views the data correspondence as an operator of the regression, and therefore allows us to find a better descent direction for the model parameter by differentiating through the data correspondence. ROBOT can be further extended to the inexact correspondence setting, where there may not be an exact alignment between the input and output data. Thorough numerical experiments show that ROBOT achieves better performance than existing methods in both linear and nonlinear regression tasks, including real-world applications such as flow cytometry and multi-object tracking.


title: Extreme Model Compression for On-device Natural Language Understanding

abstract: In this paper, we propose and experiment with techniques for extreme compression of neural natural language understanding (NLU) models, making them suitable for execution on resource-constrained devices. We propose a task-aware, end-to-end compression approach that performs word-embedding compression jointly with NLU task learning. We show our results on a large-scale, commercial NLU system trained on a varied set of intents with huge vocabulary sizes. Our approach outperforms a range of baselines and achieves a compression rate of 97.4% with less than 3.7% degradation in predictive performance. Our analysis indicates that the signal from the downstream task is important for effective compression with minimal degradation in performance.


title: Utilizing UNet for the future traffic map prediction task Traffic4cast challenge 2020

abstract: This paper describes our UNet based experiments on the Traffic4cast challenge 2020. Similar to the Traffic4cast challenge 2019, the task is to predict traffic flow volume, direction and speed on a high resolution map of three large cities worldwide. We mainly experimented with UNet based deep convolutional networks with various compositions of densely connected convolution layers, average pooling layers and max pooling layers. Three base UNet model types are tried and predictions are combined by averaging prediction scores or taking median value. Our method achieved best performance in this years newly built challenge dataset.


title: Bicomplex polyharmonicity and polyholomorphy

abstract: In this paper, we are concerned with the bicomplex analog of the well-known result asserting that real-valued harmonic functions, on simply connected domains, are the real parts of holomorphic functions. We show that this assertion, word for word, fails for bc-harmonic functions and we provide a complete characterization of bc-harmonic functions that are the hyperbolic real parts of a specific kind of bc-holomorphic functions. Moreover, we extend the result to bicomplex polyharmonic functions, which implies the introduction of specific classes of bc-polyholomorphic functions.


title: The Variable-Processor Cup Game

abstract: The problem of scheduling tasks on $p$ processors so that no task ever gets too far behind is often described as a game with cups and water. In the $p$-processor cup game on $n$ cups, there are two players, a filler and an emptier, that take turns adding and removing water from a set of $n$ cups. In each turn, the filler adds $p$ units of water to the cups, placing at most $1$ unit of water in each cup, and then the emptier selects $p$ cups to remove up to $1$ unit of water from. The emptier's goal is to minimize the backlog, which is the height of the fullest cup. The $p$-processor cup game has been studied in many different settings, dating back to the late 1960's. All of the past work shares one common assumption: that $p$ is fixed. This paper initiates the study of what happens when the number of available processors $p$ varies over time, resulting in what we call the \emph{variable-processor cup game}. Remarkably, the optimal bounds for the variable-processor cup game differ dramatically from its classical counterpart. Whereas the $p$-processor cup has optimal backlog $\Theta(\log n)$, the variable-processor game has optimal backlog $\Theta(n)$. Moreover, there is an efficient filling strategy that yields backlog $\Omega(n^{1 - \epsilon})$ in quasi-polynomial time against any deterministic emptying strategy. We additionally show that straightforward uses of randomization cannot be used to help the emptier. In particular, for any positive constant $\Delta$, and any $\Delta$-greedy-like randomized emptying algorithm $\mathcal{A}$, there is a filling strategy that achieves backlog $\Omega(n^{1 - \epsilon})$ against $\mathcal{A}$ in quasi-polynomial time.


title: A monolithic divergence-conforming HDG scheme for a linear fluid-structure interaction model

abstract: We present a novel monolithic divergence-conforming HDG scheme for a linear fluid-structure interaction (FSI) problem with a thick structure. A pressure-robust optimal energy-norm estimate is obtained for the semidiscrete scheme. When combined with a Crank-Nicolson time discretization, our fully discrete scheme is energy stable and produces an exactly divergence-free fluid velocity approximation. The resulting linear system, which is symmetric and indefinite, is solved using a preconditioned MinRes method with a robust block algebraic multigrid (AMG) preconditioner.


title: Stability and Performance Analysis for SISO Incremental Flight Control

abstract: Incremental Nonlinear Dynamic Inversion (INDI) control has attracted increasing research attention for it retains the high-performance of NDI and has enhanced robustness. However, when actual elements of the flight control system and real-world phenomena (such as actuator dynamics, sensor noise, time delay, etc.) are considered, the INDI control may have degraded performance or even lose stability. This paper analyzed the stability and performance of an incremental controller for a SISO linear plant based on transfer functions. Besides, the theoretical analysis results are verified through numerical evaluations for the incremental controller of the short-period aircraft model using comprehensive metrics.


title: Absolute energies and emission line shapes of the L x-ray transitions of lanthanide metals

abstract: We use an array of transition-edge sensors, cryogenic microcalorimeters with 4 eV energy resolution, to measure L x-ray emission-line profiles of four elements of the lanthanide series: praseodymium, neodymium, terbium, and holmium. The spectrometer also surveys numerous x-ray standards in order to establish an absolute-energy calibration traceable to the International System of Units for the energy range 4 keV to 10 keV. The new results include emission line profiles for 97 lines, each expressed as a sum of one or more Voigt functions; improved absolute energy uncertainty on 71 of these lines relative to existing reference data; a median uncertainty on the peak energy of 0.24 eV, four to ten times better than the median of prior work; and 6 lines that lack any measured values in existing reference tables. The 97 lines comprise nearly all of the most intense L lines from these elements under broad-band x-ray excitation. The work improves on previous measurements made with a similar cryogenic spectrometer by the use of sensors with better linearity in the absorbed energy and a gold x-ray absorbing layer that has a Gaussian energy-response function. It also employs a novel sample holder that enables rapid switching between science targets and calibration targets with excellent gain balancing. Most of the results for peak energy values shown here should be considered as replacements for the currently tabulated standard reference values, while the line shapes given here represent a significant expansion of the scope of available reference data.


title: HydroNet: Benchmark Tasks for Preserving Intermolecular Interactions and Structural Motifs in Predictive and Generative Models for Molecular Data

abstract: Intermolecular and long-range interactions are central to phenomena as diverse as gene regulation, topological states of quantum materials, electrolyte transport in batteries, and the universal solvation properties of water. We present a set of challenge problems for preserving intermolecular interactions and structural motifs in machine-learning approaches to chemical problems, through the use of a recently published dataset of 4.95 million water clusters held together by hydrogen bonding interactions and resulting in longer range structural patterns. The dataset provides spatial coordinates as well as two types of graph representations, to accommodate a variety of machine-learning practices.


title: Characterization of a high efficiency silicon photomultiplier for millisecond to sub-microsecond astrophysical transient searches

abstract: We characterized the S14160-3050HS Multi-Pixel Photon Counter (MPPC), a high efficiency, single channel silicon photomultiplier manufactured by Hamamatsu Photonics K.K. All measurements were performed at a room temperature of (23.0 $\pm$ 0.3) $^{\circ}$C. We obtained an I-V curve and used relative derivatives to find a breakdown voltage of 38.88 V. At a 3 V over voltage, we find a dark count rate of 1.08 MHz, crosstalk probability of 21 $\%$, photon detection efficiency of 55 $\%$ at 450 nm, and saturation at 1.0x10$^{11}$ photons per second. The S14160-3050HS MPPC is a candidate detector for the Ultra-Fast Astronomy (UFA) telescope which will characterize the optical (320 nm - 650 nm) sky in the millisecond to sub-microsecond timescales using two photon counting arrays operated in coincidence on the 0.7 meter Nazarbayev University Transient Telescope at the Assy-Turgen Astrophysical Observatory (NUTTelA-TAO) located near Almaty, Kazakhstan. We discuss advantages and disadvantages of using the S14160-3050HS MPPC for the UFA telescope and future ground-based telescopes in sub-second time domain astrophysics.


title: Improving accuracy of rare words for RNN-Transducer through unigram shallow fusion

abstract: End-to-end automatic speech recognition (ASR) systems, such as recurrent neural network transducer (RNN-T), have become popular, but rare word remains a challenge. In this paper, we propose a simple, yet effective method called unigram shallow fusion (USF) to improve rare words for RNN-T. In USF, we extract rare words from RNN-T training data based on unigram count, and apply a fixed reward when the word is encountered during decoding. We show that this simple method can improve performance on rare words by 3.7% WER relative without degradation on general test set, and the improvement from USF is additive to any additional language model based rescoring. Then, we show that the same USF does not work on conventional hybrid system. Finally, we reason that USF works by fixing errors in probability estimates of words due to Viterbi search used during decoding with subword-based RNN-T.


title: Integral $K$-Operator Frames for $End_{\mathcal{A}}^{\ast}(\mathcal{H})$

abstract: In this work, we introduce a new concept of integral $K$-operator frame for the set of all adjointable operators from Hilbert $C^{\ast}$-modules $\mathcal{H}$ to it self noted $End_{\mathcal{A}}^{\ast}(\mathcal{H}) $. We give some propertis relating some construction of integral $K$-operator frame and operators preserving integral $K$-operator frame and we establish some new results.


title: Optimizing Fitness-For-Use of Differentially Private Linear Queries

abstract: In practice, differentially private data releases are designed to support a variety of applications. A data release is fit for use if it meets target accuracy requirements for each application. In this paper, we consider the problem of answering linear queries under differential privacy subject to per-query accuracy constraints. Existing practical frameworks like the matrix mechanism do not provide such fine-grained control (they optimize total error, which allows some query answers to be more accurate than necessary, at the expense of other queries that become no longer useful). Thus, we design a fitness-for-use strategy that adds privacy-preserving Gaussian noise to query answers. The covariance structure of the noise is optimized to meet the fine-grained accuracy requirements while minimizing the cost to privacy.


title: A Critique of Immunity Passports and W3C Decentralized Identifiers

abstract: Due to the widespread COVID-19 pandemic, there has been a push for `immunity passports' and even technical proposals. Although the debate about the medical and ethical problems of immunity passports has been widespread, there has been less inspection of the technical foundations of immunity passport schemes. These schemes are envisaged to be used for sharing COVID-19 test and vaccination results in general. The most prominent immunity passport schemes have involved a stack of little-known standards, such as Decentralized Identifiers (DIDs) and Verifiable Credentials (VCs) from the World Wide Web Consortium (W3C). Our analysis shows that this group of technical identity standards are based on under-specified and often non-standardized documents that have substantial security and privacy issues, due in part to the questionable use of blockchain technology. One concrete proposal for immunity passports is even susceptible to dictionary attacks. The use of `cryptography theater' in efforts like immunity passports, where cryptography is used to allay the privacy concerns of users, should be discouraged in standardization. Deployment of these W3C standards for `self-sovereign identity' in use-cases like immunity passports could just as well lead to a dangerous form identity totalitarianism.


title: Coherent propagation and incoherent diffusion of elastic waves in a two dimensional continuum with a random distribution of edge dislocations

abstract: We study the coherent propagation and incoherent diffusion of in-plane elastic waves in a two dimensional continuum populated by many, randomly placed and oriented, edge dislocations. Because of the Peierls-Nabarro force the dislocations can oscillate around an equilibrium position with frequency $\omega_0$. The coupling between waves and dislocations is given by the Peach-Koehler force. This leads to a wave equation with an inhomogeneous term that involves a differential operator. In the coherent case, a Dyson equation for a mass operator is set up and solved to all orders in perturbation theory in independent scattering approximation (ISA). As a result, a complex index of refraction is obtained, from which an effectve wave velocity and attenuation can be read off, for both longitudinal and transverse waves. In the incoherent case a Bethe-Salpeter equation is set up, and solved to leading order in perturbation theory in the limit of low frequency and wave number. A diffusion equation is obtained and the (frequency-dependent) diffusion coefficient is explicitly calculated. It reduces to the value obtained with energy transfer arguments at low frequency. An important intermediate step is the obtention of a Ward-Takahashi identity (WTI) for a wave equation that involves a differential operator, which is shown to be compatible with the ISA.


title: Robust error bounds for quantised and pruned neural networks

abstract: With the rise of smartphones and the internet-of-things, data is increasingly getting generated at the edge on local, personal devices. For privacy, latency and energy saving reasons, this shift is causing machine learning algorithms to move towards decentralisation with the data and algorithms stored, and even trained, locally on devices. The device hardware becomes the main bottleneck for model capability in this set-up, creating a need for slimmed down, more efficient neural networks. Neural network pruning and quantisation are two methods that have been developed for this, with both approaches demonstrating impressive results in reducing the computational cost without sacrificing significantly on model performance. However, the understanding behind these reduction methods remains underdeveloped. To address this issue, a semi-definite program is introduced to bound the worst-case error caused by pruning or quantising a neural network. The method can be applied to many neural network structures and nonlinear activation functions with the bounds holding robustly for all inputs in specified sets. It is hoped that the computed bounds will provide certainty to the performance of these algorithms when deployed on safety-critical systems.


title: Model Adaptation for Inverse Problems in Imaging

abstract: Deep neural networks have been applied successfully to a wide variety of inverse problems arising in computational imaging. These networks are typically trained using a forward model that describes the measurement process to be inverted, which is often incorporated directly into the network itself. However, these approaches are sensitive to changes in the forward model: if at test time the forward model varies (even slightly) from the one the network was trained for, the reconstruction performance can degrade substantially. Given a network trained to solve an initial inverse problem with a known forward model, we propose two novel procedures that adapt the network to a change in the forward model, even without full knowledge of the change. Our approaches do not require access to more labeled data (i.e., ground truth images). We show these simple model adaptation approaches achieve empirical success in a variety of inverse problems, including deblurring, super-resolution, and undersampled image reconstruction in magnetic resonance imaging.


title: Prospects for Galactic and stellar astrophysics with asteroseismology of giant stars in the $\it{TESS}$ Continuous Viewing Zones and beyond

abstract: The NASA-$\it{TESS}$ mission presents a treasure trove for understanding the stars it observes and the Milky Way, in which they reside. We present a first look at the prospects for Galactic and stellar astrophysics by performing initial asteroseismic analyses of bright ($G < 11$) red giant stars in the $\it{TESS}$ Southern Continuous Viewing Zone (SCVZ). Using three independent pipelines, we detect $\nu_{\mathrm{max}}$ and $\Delta\nu$ in 41% of the 15,405 star parent sample (6,388 stars), with consistency at a level of $\sim 2\%$ in $\nu_{\mathrm{max}}$ and $\sim 5\%$ in $\Delta\nu$. Based on this, we predict that seismology will be attainable for $\sim 3\times10^{5}$ giants across the whole sky, subject to improvements in analysis and data reduction techniques. The best quality $\it{TESS}$-CVZ data, for 5,574 stars where pipelines returned consistent results, provide high quality power spectra across a number of stellar evolutionary states. This makes possible studies of, for example, the Asymptotic Giant Branch bump (AGBb). We demonstrate that mixed $\ell=1$ modes and rotational splitting are cleanly observed in the 1-year data set. By combining $\it{TESS}$-CVZ data with $\it{TESS}$-HERMES, $\it{SkyMapper}$, APOGEE and $\it{Gaia}$ we demonstrate the potential for Galactic archaeology studies using the data, which provides good age precision and accuracy that reproduces the age of high $\mathrm{[\alpha/Fe]}$ stars and relationships between mass and kinematics from studies based on $\it{Kepler}$. Better quality astrometry and simpler target selection than the $\it{Kepler}$ sample makes this data ideal for studies of the local star formation history and evolution of the Galactic disc. These results provide a strong case for detailed spectroscopic follow-up in the CVZs to complement that which has been (or will be) collected by current surveys. [Abridged]


title: The role of the Axiom of Choice in proper and distinguishing colourings

abstract: Call a colouring of a graph distinguishing if the only automorphism which preserves it is the identity. We investigate the role of the Axiom of Choice in the existence of certain proper or distinguishing colourings in both vertex and edge variants with special emphasis on locally finite connected graphs. We show that every locally finite connected graph has a distinguishing colouring with at most countable number of colours or every locally finite connected graph has a proper colouring with at most countable number of colours if and only if K\H{o}nig's Lemma holds. This statement holds for both vertex and edge colourings. Furthermore, we show that it is not provable in ZF that such colourings exist even for every connected graph with maximum degree 3. We also formulate a few conditions about distinguishing and proper colourings which are equivalent to the Axiom of Choice.


title: Large-amplitude solitary waves in two-layer density stratified water

abstract: We present a large-amplitude existence theory for two-dimensional solitary waves propagating through a two layer body of water. The domain of the fluid is bounded below by an impermeable flat ocean floor and above by a free boundary at constant pressure. For any piecewise smooth upstream density distribution and laminar background current, we construct a global curve of solutions. This curve bifurcates from the background current and, following along the curve, we find waves that are arbitrarily close to having horizontal stagnation points. The small-amplitude waves are constructed using a center manifold reduction technique. The large-amplitude theory is obtained through analytical global bifurcation together with refined qualitative properties of the waves.