title: Online Learning with Vector Costs and Bandits with Knapsacks

abstract: We introduce online learning with vector costs (\OLVCp) where in each time step $t \in \{1,\ldots, T\}$, we need to play an action $i \in \{1,\ldots,n\}$ that incurs an unknown vector cost in $[0,1]^{d}$. The goal of the online algorithm is to minimize the $\ell_p$ norm of the sum of its cost vectors. This captures the classical online learning setting for $d=1$, and is interesting for general $d$ because of applications like online scheduling where we want to balance the load between different machines (dimensions). We study \OLVCp in both stochastic and adversarial arrival settings, and give a general procedure to reduce the problem from $d$ dimensions to a single dimension. This allows us to use classical online learning algorithms in both full and bandit feedback models to obtain (near) optimal results. In particular, we obtain a single algorithm (up to the choice of learning rate) that gives sublinear regret for stochastic arrivals and a tight $O(\min\{p, \log d\})$ competitive ratio for adversarial arrivals. The \OLVCp problem also occurs as a natural subproblem when trying to solve the popular Bandits with Knapsacks (\BwK) problem. This connection allows us to use our \OLVCp techniques to obtain (near) optimal results for \BwK in both stochastic and adversarial settings. In particular, we obtain a tight $O(\log d \cdot \log T)$ competitive ratio algorithm for adversarial \BwK, which improves over the $O(d \cdot \log T)$ competitive ratio algorithm of Immorlica et al. [FOCS'19].


title: Matching-space Stereo Networks for Cross-domain Generalization

abstract: End-to-end deep networks represent the state of the art for stereo matching. While excelling on images framing environments similar to the training set, major drops in accuracy occur in unseen domains (e.g., when moving from synthetic to real scenes). In this paper we introduce a novel family of architectures, namely Matching-Space Networks (MS-Nets), with improved generalization properties. By replacing learning-based feature extraction from image RGB values with matching functions and confidence measures from conventional wisdom, we move the learning process from the color space to the Matching Space, avoiding over-specialization to domain specific features. Extensive experimental results on four real datasets highlight that our proposal leads to superior generalization to unseen environments over conventional deep architectures, keeping accuracy on the source domain almost unaltered. Our code is available at https://github.com/ccj5351/MS-Nets.


title: How Close and How Much? Linking Health Outcomes to Built Environment Spatial Distributions

abstract: Built environment features (BEFs) refer to aspects of the human constructed environment, which may in turn support or restrict health related behaviors and thus impact health. In this paper we are interested in understanding whether the spatial distribution and quantity of fast food restaurants (FFRs) influence the risk of obesity in schoolchildren. To achieve this goal, we propose a two-stage Bayesian hierarchical modeling framework. In the first stage, examining the position of FFRs relative to that of some reference locations - in our case, schools - we model the distances of FFRs from these reference locations as realizations of Inhomogenous Poisson processes (IPP). With the goal of identifying representative spatial patterns of exposure to FFRs, we model the intensity functions of the IPPs using a Bayesian non-parametric viewpoint and specifying a Nested Dirichlet Process prior. The second stage model relates exposure patterns to obesity, offering two different approaches to accommodate uncertainty in the exposure patterns estimated in the first stage: in the first approach the odds of obesity at the school level is regressed on cluster indicators, each representing a major pattern of exposure to FFRs. In the second, we employ Bayesian Kernel Machine regression to relate the odds of obesity to the multivariate vector reporting the degree of similarity of a given school to all other schools. Our analysis on the influence of patterns of FFR occurrence on obesity among Californian schoolchildren has indicated that, in 2010, among schools that are consistently assigned to a cluster, there is a lower odds of obesity amongst 9th graders who attend schools with most distant FFR occurrences in a 1-mile radius as compared to others.


title: Probabilistic Time Series Forecasting with Structured Shape and Temporal Diversity

abstract: Probabilistic forecasting consists in predicting a distribution of possible future outcomes. In this paper, we address this problem for non-stationary time series, which is very challenging yet crucially important. We introduce the STRIPE model for representing structured diversity based on shape and time features, ensuring both probable predictions while being sharp and accurate. STRIPE is agnostic to the forecasting model, and we equip it with a diversification mechanism relying on determinantal point processes (DPP). We introduce two DPP kernels for modeling diverse trajectories in terms of shape and time, which are both differentiable and proved to be positive semi-definite. To have an explicit control on the diversity structure, we also design an iterative sampling mechanism to disentangle shape and time representations in the latent space. Experiments carried out on synthetic datasets show that STRIPE significantly outperforms baseline methods for representing diversity, while maintaining accuracy of the forecasting model. We also highlight the relevance of the iterative sampling scheme and the importance to use different criteria for measuring quality and diversity. Finally, experiments on real datasets illustrate that STRIPE is able to outperform state-of-the-art probabilistic forecasting approaches in the best sample prediction.


title: Do End-to-end Stereo Algorithms Under-utilize Information?

abstract: Deep networks for stereo matching typically leverage 2D or 3D convolutional encoder-decoder architectures to aggregate cost and regularize the cost volume for accurate disparity estimation. Due to content-insensitive convolutions and down-sampling and up-sampling operations, these cost aggregation mechanisms do not take full advantage of the information available in the images. Disparity maps suffer from over-smoothing near occlusion boundaries, and erroneous predictions in thin structures. In this paper, we show how deep adaptive filtering and differentiable semi-global aggregation can be integrated in existing 2D and 3D convolutional networks for end-to-end stereo matching, leading to improved accuracy. The improvements are due to utilizing RGB information from the images as a signal to dynamically guide the matching process, in addition to being the signal we attempt to match across the images. We show extensive experimental results on the KITTI 2015 and Virtual KITTI 2 datasets comparing four stereo networks (DispNetC, GCNet, PSMNet and GANet) after integrating four adaptive filters (segmentation-aware bilateral filtering, dynamic filtering networks, pixel adaptive convolution and semi-global aggregation) into their architectures. Our code is available at https://github.com/ccj5351/DAFStereoNets.


title: Improved Discretization of the Full First-Order Magnetic Field Integral Equation

abstract: The inaccuracy of the classical magnetic field integral equation (MFIE) is a long-studied problem. We investigate one of the potential approaches to solve the accuracy problem: higher-order discretization schemes. While these are able to offer increased accuracy, we demonstrate that the accuracy problem may still be present. We propose an advanced scheme based on a weak-form discretization of the identity operator which is able to improve the high-frequency MFIE accuracy considerably - without any significant increase in computational effort or complexity.


title: Towards Cross-Blockchain Smart Contracts

abstract: In recent years, manifold blockchain protocols have been proposed by researchers and industrial companies alike. This has led to a very heterogeneous blockchain landscape. Accordingly, it would be desirable if blockchains could interact with each other. However, current blockchain technologies offer only limited support for interoperability, thus preventing tokens or smart contracts from leaving the scope of a particular blockchain. As a first step towards a solution for cross-chain smart contract interactions, we introduce a framework which allows to invoke a smart contract from another blockchain. We offer support for continuing a smart contract after receiving a result from a different blockchain, and for calling smart contracts recursively across blockchains. We provide a reference implementation for Ethereum-based blockchains using Solidity and evaluate the performance regarding time and cost overheads.


title: On the number of partitions of $n$ whose product of the summands is at most $n$

abstract: We prove an explicit formula to count the partitions of $n$ whose product of the summands is at most $n$. In the process, we also deduce a result to count the multiplicative partitions of $n$.


title: Inclusive-jet and Di-jet Production in Polarized Deep Inelastic Scattering

abstract: We present the calculation for single-inclusive jet production in (longitudinally) polarized deep-inelastic lepton-nucleon scattering at next-to-next-to leading order (NNLO) accuracy, based on the Projection-to-Born method. As a necessary ingredient to achieve the NNLO results, we also introduce the next-to-leading-order (NLO) calculation for the production of di-jets in polarized DIS. Our di-jet calculation is based on an extension of the dipole subtraction method to account for polarized initial-state partons. We analyze the phenomenological consequences of higher order QCD corrections for the Electron-Ion Collider kinematics.


title: Exploring the Uncertainty Properties of Neural Networks' Implicit Priors in the Infinite-Width Limit

abstract: Modern deep learning models have achieved great success in predictive accuracy for many data modalities. However, their application to many real-world tasks is restricted by poor uncertainty estimates, such as overconfidence on out-of-distribution (OOD) data and ungraceful failing under distributional shift. Previous benchmarks have found that ensembles of neural networks (NNs) are typically the best calibrated models on OOD data. Inspired by this, we leverage recent theoretical advances that characterize the function-space prior of an ensemble of infinitely-wide NNs as a Gaussian process, termed the neural network Gaussian process (NNGP). We use the NNGP with a softmax link function to build a probabilistic model for multi-class classification and marginalize over the latent Gaussian outputs to sample from the posterior. This gives us a better understanding of the implicit prior NNs place on function space and allows a direct comparison of the calibration of the NNGP and its finite-width analogue. We also examine the calibration of previous approaches to classification with the NNGP, which treat classification problems as regression to the one-hot labels. In this case the Bayesian posterior is exact, and we compare several heuristics to generate a categorical distribution over classes. We find these methods are well calibrated under distributional shift. Finally, we consider an infinite-width final layer in conjunction with a pre-trained embedding. This replicates the important practical use case of transfer learning and allows scaling to significantly larger datasets. As well as achieving competitive predictive accuracy, this approach is better calibrated than its finite width analogue.


title: Photovoltaic module segmentation and thermal analysis tool from thermal images

abstract: The growing interest in the use of clean energy has led to the construction of increasingly large photovoltaic systems. Consequently, monitoring the proper functioning of these systems has become a highly relevant issue.In this paper, automatic detection, and analysis of photovoltaic modules are proposed. To perform the analysis, a module identification step, based on a digital image processing algorithm, is first carried out. This algorithm consists of image enhancement (contrast enhancement, noise reduction, etc.), followed by segmentation of the photovoltaic module. Subsequently, a statistical analysis based on the temperature values of the segmented module is performed.Besides, a graphical user interface has been designed as a potential tool that provides relevant information of the photovoltaic modules.


title: On inhomogeneous polynuclear growth

abstract: This article studies the inhomogeneous geometric polynuclear growth model, the distribution of which is related to Schur functions. We explain a method to derive its distribution functions in both space-like and time-like directions, focusing on the two-time distribution. Asymptotics of the two-time distribution in the KPZ-scaling limit is then considered, extending to two times several single-time distributions in the KPZ universality class.

categories: math.PR cond-mat.stat-mech math-ph math.MP


title: Optimal Assistance for Object-Rearrangement Tasks in Augmented Reality

abstract: Augmented-reality (AR) glasses that will have access to onboard sensors and an ability to display relevant information to the user present an opportunity to provide user assistance in quotidian tasks. Many such tasks can be characterized as object-rearrangement tasks. We introduce a novel framework for computing and displaying AR assistance that consists of (1) associating an optimal action sequence with the policy of an embodied agent and (2) presenting this sequence to the user as suggestions in the AR system's heads-up display. The embodied agent comprises a "hybrid" between the AR system and the user, with the AR system's observation space (i.e., sensors) and the user's action space (i.e., task-execution actions); its policy is learned by minimizing the task-completion time. In this initial study, we assume that the AR system's observations include the environment's map and localization of the objects and the user. These choices allow us to formalize the problem of computing AR assistance for any object-rearrangement task as a planning problem, specifically as a capacitated vehicle-routing problem. Further, we introduce a novel AR simulator that can enable web-based evaluation of AR-like assistance and associated at-scale data collection via the Habitat simulator for embodied artificial intelligence. Finally, we perform a study that evaluates user response to the proposed form of AR assistance on a specific quotidian object-rearrangement task, house cleaning, using our proposed AR simulator on mechanical turk. In particular, we study the effect of the proposed AR assistance on users' task performance and sense of agency over a range of task difficulties. Our results indicate that providing users with such assistance improves their overall performance and while users report a negative impact to their agency, they may still prefer the proposed assistance to having no assistance at all.


title: Effects of the Nonlinearity in Activation Functions on the Performance of Deep Learning Models

abstract: The nonlinearity of activation functions used in deep learning models are crucial for the success of predictive models. There are several commonly used simple nonlinear functions, including Rectified Linear Unit (ReLU) and Leaky-ReLU (L-ReLU). In practice, these functions remarkably enhance the model accuracy. However, there is limited insight into the functionality of these nonlinear activation functions in terms of why certain models perform better than others. Here, we investigate the model performance when using ReLU or L-ReLU as activation functions in different model architectures and data domains. Interestingly, we found that the application of L-ReLU is mostly effective when the number of trainable parameters in a model is relatively small. Furthermore, we found that the image classification models seem to perform well with L-ReLU in fully connected layers, especially when pre-trained models such as the VGG-16 are used for the transfer learning.


title: Deep Learning in Ultrasound Elastography Imaging

abstract: It is known that changes in the mechanical properties of tissues are associated with the onset and progression of certain diseases. Ultrasound elastography is a technique to characterize tissue stiffness using ultrasound imaging either by measuring tissue strain using quasi-static elastography or natural organ pulsation elastography, or by tracing a propagated shear wave induced by a source or a natural vibration using dynamic elastography. In recent years, deep learning has begun to emerge in ultrasound elastography research. In this review, several common deep learning frameworks in the computer vision community, such as multilayer perceptron, convolutional neural network, and recurrent neural network are described. Then, recent advances in ultrasound elastography using such deep learning techniques are revisited in terms of algorithm development and clinical diagnosis. Finally, the current challenges and future developments of deep learning in ultrasound elastography are prospected.


title: Vortex patches choreography for active scalar equations

abstract: This paper deals with the existence of $N$ vortex patches located at the vertex of a regular polygon with $N$ sides that rotate around the center of the polygon at a constant angular velocity. That is done for Euler and (SQG)$_\beta$ equations, with $\beta\in(0,1)$, but may be also extended to more general models. The idea is the desingularization of the Thomsom polygon for the $N$ point vortex system, that is, $N$ point vortices located at the vertex of a regular polygon with $N$ sides. The proof is based on the study of the contour dynamics equation combined with the application of the infinite dimensional Implicit Function theorem and the well--chosen of the function spaces.


title: Arithmetic volumes of unitary Shimura curves

abstract: We compute the arithmetic volumes of integral models of unitary Shimura curves. This establishes the base case of an inductive argument to compute the arithmetic volumes of unitary Shimura varieties of higher dimension, to appear in subsequent work of Bruinier and the author.


title: Concentrated Stopping Set Design for Coded Merkle Tree: Improving Security Against Data Availability Attacks in Blockchain Systems

abstract: In certain blockchain systems, light nodes are clients that download only a small portion of the block. Light nodes are vulnerable to data availability (DA) attacks where a malicious node hides an invalid portion of the block from the light nodes. Recently, a technique based on erasure codes called Coded Merkle Tree (CMT) was proposed by Yu et al. that enables light nodes to detect a DA attack with high probability. The CMT is constructed using LDPC codes for fast decoding but can fail to detect a DA attack if a malicious node hides a small stopping set of the code. To combat this, Yu et al. used well-studied techniques to design random LDPC codes with high minimum stopping set size. Although effective, these codes are not necessarily optimal for this application. In this paper, we demonstrate a more specialized LDPC code design to improve the security against DA attacks. We achieve this goal by providing a deterministic LDPC code construction that focuses on concentrating stopping sets to a small group of variable nodes rather than only eliminating stopping sets. We design these codes by modifying the Progressive Edge Growth algorithm into a technique called the entropy-constrained PEG (EC-PEG) algorithm. This new method demonstrates a higher probability of detecting DA attacks and allows for good codes at short lengths.


title: On periodicity of $p$-adic Browkin continued fractions

abstract: The classical theory of continued fractions has been widely studied for centuries for its important properties of good approximation, and more recently it has been generalized to $p$-adic numbers where it presents many differences with respect to the real case. In this paper we investigate periodicity for the $p$-adic continued fractions introduced by Browkin. We give some necessary and sufficient conditions for periodicity in general, although a full characterization of $p$-adic numbers having purely periodic Browkin continued fraction expansion is still missing. In the second part of the paper, we describe a general procedure to construct square roots of integers having periodic Browkin $p$-adic continued fraction expansion of prescribed even period length. As a consequence, we prove that, for every $n \ge 1$, there exist infinitely many $\sqrt{m}\in \QQ_p$ with periodic Browkin expansion of period $2^n$, extending a previous result of Bedocchi obtained for $n=1$.


title: Intersections in Lubin-Tate space and biquadratic fundamental lemmas

abstract: We compute the intersection multiplicities of special cycles in Lubin-Tate spaces, and formulate a new arithmetic fundamental lemma relating these intersections to derivatives of orbital integrals.


title: Non-Classical Probabilities Invariant Under Symmetries [corrected]

abstract: Classical countably additive real-valued probabilities come at a philosophical cost: in many infinite situations, they assign the same probability value -- namely, zero -- to cases that are impossible as well as to cases that are possible. There are three non-classical approaches to probability that can avoid this drawback: full conditional probabilities, qualitative probabilities and hyperreal probabilities. These approaches have been criticized for failing to preserve intuitive symmetries that can easily be preserved by the classical probability framework, but there has not been a systematic study of the conditions under which these symmetries can and cannot be preserved. This paper fills that gap by giving complete characterizations under which symmetries understood in a certain "strong" way can be preserved by these non-classical probabilities, as well as by offering some results to make it plausible that the strong notion of symmetry here may be the right one. Philosophical implications are briefly discussed, but the main purpose of the paper is to offer technical results to inform more sophisticated further philosophical discussion.


title: Pose Refinement Graph Convolutional Network for Skeleton-based Action Recognition

abstract: With the advances in capturing 2D or 3D skeleton data, skeleton-based action recognition has received an increasing interest over the last years. As skeleton data is commonly represented by graphs, graph convolutional networks have been proposed for this task. While current graph convolutional networks accurately recognize actions, they are too expensive for robotics applications where limited computational resources are available. In this paper, we therefore propose a highly efficient graph convolutional network that addresses the limitations of previous works. This is achieved by a parallel structure that gradually fuses motion and spatial information and by reducing the temporal resolution as early as possible. Furthermore, we explicitly address the issue that human poses can contain errors. To this end, the network first refines the poses before they are further processed to recognize the action. We therefore call the network Pose Refinement Graph Convolutional Network. Compared to other graph convolutional networks, our network requires 86\%-93\% less parameters and reduces the floating point operations by 89%-96% while achieving a comparable accuracy. It therefore provides a much better trade-off between accuracy, memory footprint and processing time, which makes it suitable for robotics applications.


title: The consistency of arithmetic from a point of view of constructive tableau method with strong negation, Part I: the system without complete induction

abstract: In this Part I, we shall prove the consistency of arithmetic without complete induction from a point of view of strong negation, using its embedding to the tableau system $\bf SN$ of constructive arithmetic with strong negation without complete induction, for which two types of cut elimination theorems hold. One is $\bf SN$-cut elimination theorem for the full system $\bf SN$. The other is $\bf PCN$-cut elimination theorem for a proposed subsystem $\bf PCN$ of $\bf SN$. The disjunction property and the E-theorem (existence property) for $\bf SN$ are also proved. As a novelty, we shall give a simple proof of a restricted version of $\bf SN$-cut elimination theorem as an application of the disjunction property, using $\bf PCN$-cut elimination theorem.


title: Higher-twist fermionic operators and DIS structure functions from the AdS/CFT duality

abstract: The role of local higher-twist ($\tau > 3$) spin-1/2 fermionic operators of the strongly coupled ${\cal {N}}=4$ supersymmetric Yang-Mills theory on the symmetric and antisymmetric deep inelastic scattering (DIS) structure functions is investigated. The calculations are carried out in terms of the duality between ${\cal {N}}=4$ SYM theory and type IIB supergravity on AdS$_5 \times S^5$. Particularly, we explicitly obtain the structure functions for single-trace spin-1/2 fermionic operators in the 20$^*$ and 60$^*$ irreducible representations of $SU(4)_R$, corresponding to twists 4 and 5, respectively. We also calculate the contributions of other single-trace spin-1/2 fermionic operators in the 4, 20 and 60 irreducible representations of $SU(4)_R$. New important effects are found in comparison with the minimal twist ($\tau = 3$) case, and they are studied thoroughly.


title: A Comparison of Reduced-Order Modeling Approaches Using Artificial Neural Networks for PDEs with Bifurcating Solutions

abstract: This paper focuses on reduced-order models (ROMs) built for the efficient treatment of PDEs having solutions that bifurcate as the values of multiple input parameters change. First, we consider a method called local ROM that uses k-means algorithm to cluster snapshots and construct local POD bases, one for each cluster. We investigate one key ingredient of this approach: the local basis selection criterion. Several criteria are compared and it is found that a criterion based on a regression artificial neural network (ANN) provides the most accurate results for a channel flow problem exhibiting a supercritical pitchfork bifurcation. The same benchmark test is then used to compare the local ROM approach with the regression ANN selection criterion to an established global projection-based ROM and a recently proposed ANN based method called POD-NN. We show that our local ROM approach gains more than an order of magnitude in accuracy over the global projection-based ROM. However, the POD-NN provides consistently more accurate approximations than the local projection-based ROM.


title: Understanding the non-collinear antiferromagnetic IrMn$_3$ surfaces and their exchange-biased heterostructures from first principles

abstract: We provide a complete and systematic first-principles study of the thermodynamic stability, structural parameters, and magnetic properties of the T1 non-collinear antiferromagnetic L1$_2$-IrMn$_3$ surface and L1$_2$-IrMn$_3$/Fe heterostructure. Furthermore, we investigate the exchange-bias effect in the heterostructure and describe its previously unknown complex magnetic coupling at the interface. We consider four atomic configurations and four magnetic arrangements, finding two stable terminations for the surface and for the heterostructure, which are in good agreement with experimental HR-TEM data. Using a comparative approach to analyze the exchange-bias properties of the heterostructure, we discover that the number of Mn-Fe interactions is related to the exchange bias intensity. This finding could lead to novel exchange-bias tailoring methods by controlling the termination of the layers. Finally, we are able to accurately describe the interface magnetic coupling atom-by-atom, and we find a relationship between the antiferromagnetic order at the interface and the stability of the heterostructure. Our analysis provides a possible mechanism for the appearance of exchange bias in non-collinear/collinear heterostructures, and it is in good agreement with experimental hysteresis measurements of the IrMn$_3$/Fe system.


title: Schatten classes for Hilbert modules over commutative C*-algebras

abstract: We define Schatten classes of adjointable operators on Hilbert modules over abelian $C^*$-algebras. Many key features carry over from the Hilbert space case. In particular, the Schatten classes form two-sided ideals of compact operators and are equipped with a Banach norm and a $C^*$-valued trace with the expected properties. For trivial Hilbert bundles, we show that our Schatten-class operators can be identified bijectively with Schatten-norm-continuous maps from the base space into the Schatten classes on the Hilbert space fiber, with the fiberwise trace. As applications, we introduce the $C^*$-valued Fredholm determinant and operator zeta functions, and propose a notion of $p$-summable unbounded Kasparov cycles in the commutative setting.


title: Graph Deep Factors for Forecasting

abstract: Deep probabilistic forecasting techniques have recently been proposed for modeling large collections of time-series. However, these techniques explicitly assume either complete independence (local model) or complete dependence (global model) between time-series in the collection. This corresponds to the two extreme cases where every time-series is disconnected from every other time-series in the collection or likewise, that every time-series is related to every other time-series resulting in a completely connected graph. In this work, we propose a deep hybrid probabilistic graph-based forecasting framework called Graph Deep Factors (GraphDF) that goes beyond these two extremes by allowing nodes and their time-series to be connected to others in an arbitrary fashion. GraphDF is a hybrid forecasting framework that consists of a relational global and relational local model. In particular, we propose a relational global model that learns complex non-linear time-series patterns globally using the structure of the graph to improve both forecasting accuracy and computational efficiency. Similarly, instead of modeling every time-series independently, we learn a relational local model that not only considers its individual time-series but also the time-series of nodes that are connected in the graph. The experiments demonstrate the effectiveness of the proposed deep hybrid graph-based forecasting model compared to the state-of-the-art methods in terms of its forecasting accuracy, runtime, and scalability. Our case study reveals that GraphDF can successfully generate cloud usage forecasts and opportunistically schedule workloads to increase cloud cluster utilization by 47.5% on average.


title: Decision trees as partitioning machines to characterize their generalization properties

abstract: Decision trees are popular machine learning models that are simple to build and easy to interpret. Even though algorithms to learn decision trees date back to almost 50 years, key properties affecting their generalization error are still weakly bounded. Hence, we revisit binary decision trees on real-valued features from the perspective of partitions of the data. We introduce the notion of partitioning function, and we relate it to the growth function and to the VC dimension. Using this new concept, we are able to find the exact VC dimension of decision stumps, which is given by the largest integer $d$ such that $2\ell \ge \binom{d}{\left\lfloor\frac{d}{2}\right\rfloor}$, where $\ell$ is the number of real-valued features. We provide a recursive expression to bound the partitioning functions, resulting in a upper bound on the growth function of any decision tree structure. This allows us to show that the VC dimension of a binary tree structure with $N$ internal nodes is of order $N \log(N\ell)$. Finally, we elaborate a pruning algorithm based on these results that performs better than the CART algorithm on a number of datasets, with the advantage that no cross-validation is required.


title: Decoding Methods for Neural Narrative Generation

abstract: Narrative generation is an open-ended NLP task in which a model generates a story given a prompt. The task is similar to neural response generation for chatbots; however, innovations in response generation are often not applied to narrative generation, despite the similarity between these tasks. We aim to bridge this gap by applying and evaluating advances in decoding methods for neural response generation to neural narrative generation. In particular, we employ GPT-2 and perform ablations across nucleus sampling thresholds and diverse decoding hyperparameters -- specifically, maximum mutual information -- analyzing results over multiple criteria with automatic and human evaluation. We find that (1) nucleus sampling is generally best with thresholds between 0.7 and 0.9; (2) a maximum mutual information objective can improve the quality of generated stories; and (3) established automatic metrics do not correlate well with human judgments of narrative quality on any qualitative metric.


title: Probing dark energy with tomographic weak-lensing aperture mass statistics

abstract: We forecast and optimize the cosmological power of various weak-lensing aperture mass ($M_{\rm ap}$) map statistics for future cosmic shear surveys, including peaks, voids, and the full distribution of pixels (1D $M_{\rm ap}$). These alternative methods probe the non-Gaussian regime of the matter distribution, adding complementary cosmological information to the classical two-point estimators. Based on the SLICS and cosmo-SLICS $N$-body simulations, we build Euclid-like mocks to explore the $S_8 - \Omega_{\rm m} - w_0$ parameter space. We develop a new tomographic formalism which exploits the cross-information between redshift slices (cross-$M_{\rm ap}$) in addition to the information from individual slices (auto-$M_{\rm ap}$) probed in the standard approach. Our auto-$M_{\rm ap}$ forecast precision is in good agreement with the recent literature on weak-lensing peak statistics, and is improved by $\sim 50$% when including cross-$M_{\rm ap}$. It is further boosted by the use of 1D $M_{\rm ap}$ that outperforms all other estimators, including the shear two-point correlation function ($\gamma$-2PCF). When considering all tomographic terms, our uncertainty range on the structure growth parameter $S_8$ is enhanced by $\sim 45$% (almost twice better) when combining 1D $M_{\rm ap}$ and the $\gamma$-2PCF compared to the $\gamma$-2PCF alone. We additionally measure the first combined forecasts on the dark energy equation of state $w_0$, finding a factor of three reduction of the statistical error compared to the $\gamma$-2PCF alone. This demonstrates that the complementary cosmological information explored by non-Gaussian $M_{\rm ap}$ map statistics not only offers the potential to improve the constraints on the recent $\sigma_8$ - $\Omega_{\rm m}$ tension, but also constitutes an avenue to understand the accelerated expansion of our Universe.


title: Geometry of Information Structures, Strategic Measures and associated Control Topologies

abstract: In many areas of applied mathematics, engineering, and social and natural sciences, decentralization of information is a key aspect determining how to approach a problem. In this review article, we study information structures in a probability theoretic and geometric context. We define information structures, place various topologies on them, and study closedness, compactness and convexity properties on the strategic measures induced by information structures and decentralized control/decision policies under varying degree of relaxations with regard to access to private or common randomness. Ultimately, we present existence and tight approximation results for optimal decision/control policies. We discuss various lower bounding techniques, through relaxations and convex programs ranging from classically realizable and classically non-realizable (such as quantum and non-signaling) relaxations. For each of these, we establish closedness and convexity properties and also a hierarchy of correlation structures. As a second main theme, we review and introduce various topologies on decision/control strategies defined independent of information structures, but for which information structures determine whether the topologies entail utility in arriving at existence, compactness, convexification or approximation results. These approaches, which we term as the strategic measures approach and the control topology approach, lead to complementary results on existence, approximations and upper and lower bounds in optimal decentralized decision and control.


title: Boosting One-Point Derivative-Free Online Optimization via Residual Feedback

abstract: Zeroth-order optimization (ZO) typically relies on two-point feedback to estimate the unknown gradient of the objective function. Nevertheless, two-point feedback can not be used for online optimization of time-varying objective functions, where only a single query of the function value is possible at each time step. In this work, we propose a new one-point feedback method for online optimization that estimates the objective function gradient using the residual between two feedback points at consecutive time instants. Moreover, we develop regret bounds for ZO with residual feedback for both convex and nonconvex online optimization problems. Specifically, for both deterministic and stochastic problems and for both Lipschitz and smooth objective functions, we show that using residual feedback can produce gradient estimates with much smaller variance compared to conventional one-point feedback methods. As a result, our regret bounds are much tighter compared to existing regret bounds for ZO with conventional one-point feedback, which suggests that ZO with residual feedback can better track the optimizer of online optimization problems. Additionally, our regret bounds rely on weaker assumptions than those used in conventional one-point feedback methods. Numerical experiments show that ZO with residual feedback significantly outperforms existing one-point feedback methods also in practice.


title: Some remarks on dimension-free estimates for the discrete Hardy-Littlewood maximal functions

abstract: Dependencies of the optimal constants in strong and weak type bounds will be studied between maximal functions corresponding to the Hardy--Littlewood averaging operators over convex symmetric bodies acting on $\mathbb R^d$ and $\mathbb Z^d$. Firstly, we show, in the full range of $p\in[1,\infty]$, that these optimal constants in $L^p(\mathbb R^d)$ are always not larger than their discrete analogues in $\ell^p(\mathbb Z^d)$; and we also show that the equality holds for the cubes in the case of $p=1$. This in particular implies that the best constant in the weak type $(1,1)$ inequality for the discrete Hardy--Littlewood maximal function associated with centered cubes in $\mathbb Z^d$ grows to infinity as $d\to\infty$, and if $d=1$ it is equal to the largest root of the quadratic equation $12C^2-22C+5=0$. Secondly, we prove dimension-free estimates for the $\ell^p(\mathbb Z^d)$ norms, $p\in(1,\infty]$, of the discrete Hardy--Littlewood maximal operators with the restricted range of scales $t\geq C_q d$ corresponding to $q$-balls, $q\in[2,\infty)$. Finally, we extend the latter result on $\ell^2(\mathbb Z^d)$ for the maximal operators restricted to dyadic scales $2^n\ge C_q d^{1/q}$.


title: Energy interval 3S-1S in muonic hydrogen

abstract: The energy interval $ (3S-1S) $ in muonic hydrogen is calculated on the basis of quasipotential approach in quantum electrodynamics. We take into account different corrections of orders $\alpha^3\div \alpha^6 $, which are determined by relativistic effects, the effects of vacuum polarization, nuclear structure and recoil, as well as combined corrections including the above. Nuclear structure effects are expressed in terms of the charge radius of the proton in the case of one-photon interaction and the proton electromagnetic form factors in the case of two-photon exchange interaction. The value of the energy interval (3S-1S) can be used for a comparison with future experimental data and determining the proton charge radius with greater accuracy.


title: How Research Software Engineers Can Support Scientific Software

abstract: We are research software engineers and team members in the Department of Software Engineering and Research at Sandia National Laboratories, an organization which aims to advance software engineering in the domain of computational science. Our team hopes to promote processes and principles that lead to quality, rigor, correctness, and repeatability in the implementation of algorithms and applications in scientific software for high consequence applications. We use our experience to argue that there is a readily achievable set of software tools and best practices with a large return on investment that can be imparted upon scientific researchers that will remarkably improve the quality of software and, as a result, the quality of research.


title: Learning, compression, and leakage: Minimising classification error via meta-universal compression principles

abstract: Learning and compression are driven by the common aim of identifying and exploiting statistical regularities in data, which opens the door for fertile collaboration between these areas. A promising group of compression techniques for learning scenarios is normalised maximum likelihood (NML) coding, which provides strong guarantees for compression of small datasets - in contrast with more popular estimators whose guarantees hold only in the asymptotic limit. Here we consider a NML-based decision strategy for supervised classification problems, and show that it attains heuristic PAC learning when applied to a wide variety of models. Furthermore, we show that the misclassification rate of our method is upper bounded by the maximal leakage, a recently proposed metric to quantify the potential of data leakage in privacy-sensitive scenarios.


title: Optimal Insurance under Maxmin Expected Utility

abstract: We examine a problem of demand for insurance indemnification, when the insured is sensitive to ambiguity and behaves according to the Maxmin-Expected Utility model of Gilboa and Schmeidler (1989), whereas the insurer is a (risk-averse or risk-neutral) Expected-Utility maximizer. We characterize optimal indemnity functions both with and without the customary ex ante no-sabotage requirement on feasible indemnities, and for both concave and linear utility functions for the two agents. This allows us to provide a unifying framework in which we examine the effects of the no-sabotage condition, marginal utility of wealth, belief heterogeneity, as well as ambiguity (multiplicity of priors) on the structure of optimal indemnity functions. In particular, we show how the singularity in beliefs leads to an optimal indemnity function that involves full insurance on an event to which the insurer assigns zero probability, while the decision maker assigns a positive probability. We examine several illustrative examples, and we provide numerical studies for the case of a Wasserstein and a Renyi ambiguity set.


title: Human-interpretable model explainability on high-dimensional data

abstract: The importance of explainability in machine learning continues to grow, as both neural-network architectures and the data they model become increasingly complex. Unique challenges arise when a model's input features become high dimensional: on one hand, principled model-agnostic approaches to explainability become too computationally expensive; on the other, more efficient explainability algorithms lack natural interpretations for general users. In this work, we introduce a framework for human-interpretable explainability on high-dimensional data, consisting of two modules. First, we apply a semantically meaningful latent representation, both to reduce the raw dimensionality of the data, and to ensure its human interpretability. These latent features can be learnt, e.g. explicitly as disentangled representations or implicitly through image-to-image translation, or they can be based on any computable quantities the user chooses. Second, we adapt the Shapley paradigm for model-agnostic explainability to operate on these latent features. This leads to interpretable model explanations that are both theoretically controlled and computationally tractable. We benchmark our approach on synthetic data and demonstrate its effectiveness on several image-classification tasks.


title: An Efficient DFT Solver for Nanoscale Simulations and Beyond

abstract: We present the One-orbital Ensemble Self-Consistent Field (OE-SCF) method, an {alternative} orbital-free DFT solver that extends the applicability of DFT to system sizes beyond the nanoscale while retaining the accuracy required to be predictive. OE-SCF is an iterative solver where the (typically computationally expensive) Pauli potential is treated as an external potential and updated after each iteration. Because only up to a dozen iterations are needed to reach convergence, OE-SCF dramatically outperforms current orbital-free DFT solvers. Employing merely a single CPU, we carried out the largest ab initio simulation for silicon-based materials to date. OE-SCF is able to converge the energy of bulk-cut Si nanoparticles as a function of their diameter up to 16 nm, for the first time reproducing known empirical results. We model polarization and interface charge transfer when a Si slab is sandwiched between two metal slabs where lattice matching mandates a very large slab size. Additionally, OE-SCF opens the door to adopt even more accurate functionals in orbital-free DFT simulations while still tackling systems sizes beyond the nanoscale.

categories: cond-mat.mtrl-sci cond-mat.mes-hall physics.chem-ph physics.comp-ph quant-ph


title: Valentine: Evaluating Matching Techniques for Dataset Discovery

abstract: Data scientists today search large data lakes to discover and integrate datasets. In order to bring together disparate data sources, dataset discovery methods rely on some form of schema matching: the process of establishing correspondences between datasets. Traditionally, schema matching has been used to find matching pairs of columns between a source and a target schema. However, the use of schema matching in dataset discovery methods differs from its original use. Nowadays schema matching serves as a building block for indicating and ranking inter-dataset relationships. Surprisingly, although a discovery method's success relies highly on the quality of the underlying matching algorithms, the latest discovery methods employ existing schema matching algorithms in an ad-hoc fashion due to the lack of openly-available datasets with ground truth, reference method implementations, and evaluation metrics. In this paper, we aim to rectify the problem of evaluating the effectiveness and efficiency of schema matching methods for the specific needs of dataset discovery. To this end, we propose Valentine, an extensible open-source experiment suite to execute and organize large-scale automated matching experiments on tabular data. Valentine includes implementations of seminal schema matching methods that we either implemented from scratch (due to absence of open source code) or imported from open repositories. The contributions of Valentine are: i) the definition of four schema matching scenarios as encountered in dataset discovery methods, ii) a principled dataset fabrication process tailored to the scope of dataset discovery methods and iii) the most comprehensive evaluation of schema matching techniques to date, offering insight on the strengths and weaknesses of existing techniques, that can serve as a guide for employing schema matching in future dataset discovery methods.


title: Ghost interaction of breathers

abstract: Mutual interaction of localized nonlinear waves, e.g. solitons and modulation instability patterns, is a fascinating and intensively-studied topic of nonlinear science. In this research report, we report on the observation of a novel type of breather interaction in telecommunication optical fibers, in which two identical breathers propagate with opposite group velocities. Under certain conditions, neither amplification nor annihilation occur at the collision point and most interestingly, its amplitude is almost equal to another maximum of either oscillating breather. This ghost-like breather interaction dynamics can be fully described by the N-breather solution of the nonlinear Schr\"odinger equation.


title: Interpretable Machine Learning with an Ensemble of Gradient Boosting Machines

abstract: A method for the local and global interpretation of a black-box model on the basis of the well-known generalized additive models is proposed. It can be viewed as an extension or a modification of the algorithm using the neural additive model. The method is based on using an ensemble of gradient boosting machines (GBMs) such that each GBM is learned on a single feature and produces a shape function of the feature. The ensemble is composed as a weighted sum of separate GBMs resulting a weighted sum of shape functions which form the generalized additive model. GBMs are built in parallel using randomized decision trees of depth 1, which provide a very simple architecture. Weights of GBMs as well as features are computed in each iteration of boosting by using the Lasso method and then updated by means of a specific smoothing procedure. In contrast to the neural additive model, the method provides weights of features in the explicit form, and it is simply trained. A lot of numerical experiments with an algorithm implementing the proposed method on synthetic and real datasets demonstrate its efficiency and properties for local and global interpretation.


title: Explainability for fair machine learning

abstract: As the decisions made or influenced by machine learning models increasingly impact our lives, it is crucial to detect, understand, and mitigate unfairness. But even simply determining what "unfairness" should mean in a given context is non-trivial: there are many competing definitions, and choosing between them often requires a deep understanding of the underlying task. It is thus tempting to use model explainability to gain insights into model fairness, however existing explainability tools do not reliably indicate whether a model is indeed fair. In this work we present a new approach to explaining fairness in machine learning, based on the Shapley value paradigm. Our fairness explanations attribute a model's overall unfairness to individual input features, even in cases where the model does not operate on sensitive attributes directly. Moreover, motivated by the linearity of Shapley explainability, we propose a meta algorithm for applying existing training-time fairness interventions, wherein one trains a perturbation to the original model, rather than a new model entirely. By explaining the original model, the perturbation, and the fair-corrected model, we gain insight into the accuracy-fairness trade-off that is being made by the intervention. We further show that this meta algorithm enjoys both flexibility and stability benefits with no loss in performance.


title: Improvement of Converter Surface Plasma Sources

abstract: A large volume surface plasma source (SPS) with a biased converter was developed for the Los Alamos linear accelerator. A large gas-discharge chamber with a multipole magnetic wall and 2 heated cathodes can support a discharge generating plasma. A cooled converter with a diameter of 5 cm and a potential of up to -300 V bombarded by positive ions and emits secondary negative ions, accelerates them and focuses in an emission aperture with a diameter of 6.4 mm. From this SPS, up to 18 mA of H- ions are extracted at a duty cycle of up to 10%. The emitted H- beam current is attenuated through H- destruction in thick layer of gas and discharge plasma. The H- beam intensity and H- generation efficiency can be increased by decreasing the gas and plasma layer thickness between the converter surface and the emission aperture. It is possible to improve beam characteristics by making a small modification to the converted SPS. We propose to use a thin Penning discharge in front of the converter. The magnetic field for the Penning discharge is created by permanent magnets. Decreasing the plasma end gas layer between the converter and the emission aperture can decrease the H- beam loss and thus increase the extracted beam intensity up to 2 times


title: Effects of Magnetic Fields on HPGe Tracking Detectors

abstract: We present a study of magnetic fields effects on the position resolution and energy response of hyper-pure germanium detectors. Our results provide realistic estimates of the potential impact on the resolving power of tracking-arrays from (fringe) magnetic fields present when operating together with large spectrometers. By solving the equations of motion for the electron and holes in the presence of both electric and magnetic fields, we analyzed the drift trajectories of the charge carriers to determine the deviations in the positions at the end point of the trajectories, as well as changes in drift lengths affecting the energy resolution and peak shift due to trapping. Our results show that the major effect is in the deviation of the transverse (to the electric field direction) position and suggest that, if no corrective action is taken in the pulse-shape and tracking data analysis procedures, a field strength $\gtrsim$ 0.1 T will start to impact the intrinsic position resolution of 2 mm (RMS). At fields above $\sim$1 T, the degradation of the energy response becomes observable.


title: Constraining the equation of state in modified gravity via universal relations

abstract: Modern multi-messenger astronomical observations and heavy ion experiments provide new insights into the structure of compact objects. Nevertheless, much ambiguity remains when it comes to super dense matter above the nuclear saturation density such as that found within neutron stars. This work explores equation of state (EOS)-independent universal relations between the physical parameters of static neutron stars at the maximum-mass point, previously proven for General Relativity (GR) and used to constraint EOS candidates within the GR framework. We explore 53 different EOS candidates and prove that these relations hold for scalarized neutron stars in massive scalar-tensor theories, exploring also the effect of non-baryonic EOS. We further show that the relation's fit parameters are highly dependent on the theory's parameters. On the basis of these relations multiple constraints on the EOS can be derived and it turns out that they can be significantly different than the GR ones. This demonstrates the importance of taking into account the modified gravity effects even when imposing constraints on the EOS.


title: FAR: A General Framework for Attributional Robustness

abstract: Attribution maps are popular tools for explaining neural networks predictions. By assigning an importance value to each input dimension that represents its impact towards the outcome, they give an intuitive explanation of the decision process. However, recent work has discovered vulnerability of these maps to imperceptible adversarial changes, which can prove critical in safety-relevant domains such as healthcare. Therefore, we define a novel generic framework for attributional robustness (FAR) as general problem formulation for training models with robust attributions. This framework consist of a generic regularization term and training objective that minimize the maximal dissimilarity of attribution maps in a local neighbourhood of the input. We show that FAR is a generalized, less constrained formulation of currently existing training methods. We then propose two new instantiations of this framework, AAT and AdvAAT, that directly optimize for both robust attributions and predictions. Experiments performed on widely used vision datasets show that our methods perform better or comparably to current ones in terms of attributional robustness while being more generally applicable. We finally show that our methods mitigate undesired dependencies between attributional robustness and some training and estimation parameters, which seem to critically affect other competitor methods.


title: Decomposing non-stationary signals with time-varying wave-shape functions

abstract: Modern time series are usually composed of multiple oscillatory components, with time-varying frequency and amplitude contaminated by noise. The signal processing mission is further challenged if each component has an oscillatory pattern, or the wave-shape function, far from a sinusoidal function, and the oscillatory pattern is even changing from time to time. In practice, if multiple components exist, it is desirable to robustly decompose the signal into each component for various purposes, and extract desired dynamics information. Such challenges have raised a significant amount of interest in the past decade, but a satisfactory solution is still lacking. We propose a novel {\em nonlinear regression scheme} to robustly decompose a signal into its constituting multiple oscillatory components with time-varying frequency, amplitude and wave-shape function. We coined the algorithm {\em shape-adaptive mode decomposition (SAMD)}. In addition to simulated signals, we apply SAMD to two physiological signals, impedance pneumography and electroencephalography. Comparison with existing solutions, including linear regression, recursive diffeomorphism-based regression and multiresolution mode decomposition, shows that our proposal can provide an accurate and meaningful decomposition with computational efficiency.


title: An extremely metal-deficient globular cluster in the Andromeda Galaxy

abstract: Globular clusters (GCs) are dense, gravitationally bound systems of thousands to millions of stars. They are preferentially associated with the oldest components of galaxies, and measurements of their composition can therefore provide insight into the build-up of the chemical elements in galaxies in the early Universe. We report a massive GC in the Andromeda Galaxy (M31) that is extremely depleted in heavy elements. Its iron abundance is about 800 times lower than that of the Sun, and about three times lower than in the most iron-poor GCs previously known. It is also strongly depleted in magnesium. These measurements challenge the notion of a metallicity floor for GCs and theoretical expectations that massive GCs could not have formed at such low metallicities.


title: Construction of New Gyrogroups and the Structure of their Subgyrogroups

abstract: Suppose that $G$ is a groupoid with binary operation $\otimes$. The pair $(G,\otimes)$ is said to be a gyrogroup if the operation $\otimes$ has a left identity, each element $a \in G$ has a left inverse and the gyroassociative law and the left loop property are satisfied in $G$. In this paper, a method for constructing new gyrogroups from old ones is presented and the structure of subgyrogroups of these gyrogroups are also given. As a consequence of this work, five $2-$gyrogroups of order $2^n$, $n\geq 3$, are presented. Some open questions are also proposed.


title: Critical points of the Moser-Trudinger functional on closed surfaces

abstract: Given a closed Riemann surface $(\Sigma,g)$ and any positive smooth weight, we use a minmax scheme together with compactness, quantization results and with sharp energy estimates to prove the existence of positive critical points of the functional $$J_{p,\beta}(u)=\frac{2-p}{2}\left(\frac{p\|u\|_{H^1}^2}{2\beta} \right)^{\frac{p}{2-p}}-\ln \int_\Sigma (e^{u_+^p}-1) f dv_g,$$ for every $p\in (1,2)$ and $\beta>0$, {or} for $p=1$ and $\beta\in (0,\infty)\setminus 4\pi\mathbb{N}$. Letting $p\uparrow 2$ we obtain positive critical points of the Moser-Trudinger functional $$F(u):=\int_\Sigma (e^{u^2}-1)f dv_g$$ constrained to $\mathcal{E}_\beta:=\left\{v\text{ s.t. }\|v\|_{H^1}^2=\beta\right\}$ for any $\beta>0$.


title: NLTT5306B: an inflated, weakly irradiated brown dwarf

abstract: We present Spitzer observations at 3.6 and 4.5 microns and a near-infrared IRTF SpeX spectrum of the irradiated brown dwarf NLTT5306B. We determine that the brown dwarf has a spectral type of L5 and is likely inflated, despite the low effective temperature of the white dwarf primary star. We calculate brightness temperatures in the Spitzer wavebands for both the model radius, and Roche Lobe radius of the brown dwarf, and conclude that there is very little day-night side temperature difference. We discuss various mechanisms by which NLTT5306B may be inflated, and determine that while low mass brown dwarfs (M<35 MJup) are easily inflated by irradiation from their host star, very few higher mass brown dwarfs are inflated. The higher mass brown dwarfs that are inflated may be inflated by magnetic interactions or may have thicker clouds.


title: Nanopores -- a Versatile Tool to Study Protein Dynamics

abstract: Proteins are the active working horses in our body. These biomolecules perform all vital cellular functions from DNA replication and general biosynthesis to metabolic signaling and environmental sensing. While static 3D structures are now readily available, observing the functional cycle of proteins - involving conformational changes and interactions - remains very challenging, e.g., due to ensemble averaging. However, time-resolved information is crucial to gain a mechanistic understanding of protein function. Single-molecule techniques such as FRET and force spectroscopies provide answers but can be limited by the required labelling, a narrow time bandwidth, and more. Here, we describe electrical nanopore detection as a tool for probing protein dynamics. With a time bandwidth ranging from microseconds to hours, it covers an exceptionally wide range of timescales that is very relevant for protein function. First, we discuss the working principle of label-free nanopore experiments, various pore designs, instrumentation, and the characteristics of nanopore signals. In the second part, we review a few nanopore experiments that solved research questions in protein science, and we compare nanopores to other single-molecule techniques. We hope to make electrical nanopore sensing more accessible to the biochemical community, and to inspire new creative solutions to resolve a variety of protein dynamics - one molecule at a time.


title: Strongly Shortcut Spaces

abstract: We define the strong shortcut property for rough geodesic metric spaces, generalizing the notion of strongly shortcut graphs. We show that the strong shortcut property is a rough similarity invariant. We give several new characterizations of the strong shortcut property, including an asymptotic cone characterization. We use this characterization to prove that asymptotically CAT(0) spaces are strongly shortcut. We prove that if a group acts metrically properly and coboundedly on a strongly shortcut rough geodesic metric space then it has a strongly shortcut Cayley graph and so is a strongly shortcut group. Thus we show that CAT(0) groups are strongly shortcut. To prove these results, we use several intermediate results which we believe may be of independent interest, including what we call the Circle Tightening Lemma and the Fine Milnor-Schwarz Lemma. The Circle Tightening Lemma describes how one may obtain a quasi-isometric embedding of a circle by performing surgery on a rough Lipschitz map from a circle that sends antipodal pairs of points far enough apart. The Fine Milnor-Schwarz Lemma is a refinement of the Milnor-Schwarz Lemma that gives finer control on the multiplicative constant of the quasi-isometry from a group to a space it acts on.


title: On Coercivity and the Frequency Domain Condition in Indefinite LQ-Control

abstract: We introduce a coercivity condition as a time domain analogue of the frequency criterion provided by the famous Kalman-Yakubovich-Popov lemma. For a simple stochastic linear quadratic control problem we show how the coercivity condition characterizes the solvability of Riccati equations.


title: A Horserace of Volatility Models for Cryptocurrency: Evidence from Bitcoin Spot and Option Markets

abstract: We test various volatility models using the Bitcoin spot price series. Our models include HIST, EMA ARCH, GARCH, and EGARCH, models. Both of our in-sample-fit and out-of-sample-forecast results suggest that GARCH and EGARCH models perform much better than other models. Moreover, the EGARCH model's asymmetric term is positive and insignificant, which suggests that Bitcoin prices lack the asymmetric volatility response to past returns. Finally, we formulate an option trading strategy by exploiting the volatility spread between the GARCH volatility forecast and the option's implied volatility. We show that a simple volatility-spread trading strategy with delta-hedging can yield robust profits.


title: The application of multivariate classification in evaluating the regional differentiation by population income in Russia

abstract: The article presents the results of multivariate classification of Russian regions by the indicators characterizing the population income and their concentration. The clusterization was performed upon an author approach to selecting the characteristics which determines the academic novelty in the evaluation of regional differentiation by population income and the interconnected characteristics. The performed analysis was aimed at the evaluation of the real scale of disproportions in spatial development of the country territories by the considered characteristics. The clusterization results allowed to formulate the condition of a relatively "strong" position of a group of high-income regions (the changes in the array of regions constituting it is highly unlikely in the foreseeable future). Additionally there has been revealed a group of Russian regions that the population is struggling to live on quite low income. These so-called "poor" regions, within the crisis conditions caused by Covid-19 are in need of additional public support, without which their population will impoverish.


title: A Deep Learning Framework for Predicting Digital Asset Price Movement from Trade-by-trade Data

abstract: This paper presents a deep learning framework based on Long Short-term Memory Network(LSTM) that predicts price movement of cryptocurrencies from trade-by-trade data. The main focus of this study is on predicting short-term price changes in a fixed time horizon from a looking back period. By carefully designing features and detailed searching for best hyper-parameters, the model is trained to achieve high performance on nearly a year of trade-by-trade data. The optimal model delivers stable high performance(over 60% accuracy) on out-of-sample test periods. In a realistic trading simulation setting, the prediction made by the model could be easily monetized. Moreover, this study shows that the LSTM model could extract universal features from trade-by-trade data, as the learned parameters well maintain their high performance on other cryptocurrency instruments that were not included in training data. This study exceeds existing researches in term of the scale and precision of data used, as well as the high prediction accuracy achieved.


title: Complexity Measures on the Symmetric Group and Beyond

abstract: We extend the definitions of complexity measures of functions to domains such as the symmetric group. The complexity measures we consider include degree, approximate degree, decision tree complexity, sensitivity, block sensitivity, and a few others. We show that these complexity measures are polynomially related for the symmetric group and for many other domains. To show that all measures but sensitivity are polynomially related, we generalize classical arguments of Nisan and others. To add sensitivity to the mix, we reduce to Huang's sensitivity theorem using "pseudo-characters", which witness the degree of a function. Using similar ideas, we extend the characterization of Boolean degree 1 functions on the symmetric group due to Ellis, Friedgut and Pilpel to the perfect matching scheme. As another application of our ideas, we simplify the characterization of maximum-size $t$-intersecting families in the symmetric group and the perfect matching scheme.


title: Adaptive tracking control for task-based robot trajectory planning

abstract: This paper presents a -- Learning from Demonstration -- method to perform robot movement trajectories that can be defined as you go. This way unstructured tasks can be performed, without the need to know exactly all the tasks and start and end positions beforehand. The long-term goal is for children with disabilities to be able to control a robot to manipulate toys in a play environment, and for a helper to demonstrate the desired trajectories as the play tasks change. A relatively inexpensive 3-DOF haptic device made by Novint is used to perform tasks where trajectories of the end-effector are demonstrated and reproduced. Under the condition where the end-effector carries different loads, conventional control systems possess the potential issue that they cannot compensate for the load variation effect. Adaptive tracking control can handle the above issue. Using the Lyapunov stability theory, a set of update laws are derived to give closed-loop stability with proper tracking performance.


title: Crystallographic Helly Groups

abstract: We prove that asymptotic cones of Helly graphs are countably hyperconvex. We use this to show that virtually nilpotent Helly groups are virtually abelian and to characterize virtually abelian Helly groups via their point groups. In fact, we do this for the more general class of coarsely injective spaces and groups. We apply this to prove that the $3$-$3$-$3$-Coxeter group is not Helly (nor even coarsely injective), thus obtaining the first example of a systolic group that is not Helly, answering a question of Chalopin, Chepoi, Genevois, Hirai, and Osajda.


title: Reconfigurable Intelligent Surface: Design the Channel -- a New Opportunity for Future Wireless Networks

abstract: In this paper, we survey state-of-the-art research outcomes in the burgeoning field of reconfigurable intelligent surface (RIS) in view of its potential for significant performance enhancement for next generation wireless communication networks by means of adapting the propagation environment. Emphasis has been placed on several aspects gating the commercially viability of a future network deployment. Comprehensive summaries are provided for practical hardware design considerations and broad implications of artificial intelligence techniques, so are in-depth outlooks on salient aspects of system models, use cases, and physical layer optimization techniques.


title: Universal S-matrix correlations for complex scattering of many-body wavepackets: theory, simulation and experiment

abstract: We present an in-depth study of the universal correlations of scattering-matrix entries required in the framework of non-stationary many-body scattering where the incoming states are localized wavepackets. Contrary to the stationary case the emergence of universal signatures of chaotic dynamics in dynamical observables manifests itself in the emergence of universal correlations of the scattering matrix at different energies. We use a semiclassical theory based on interfering paths, numerical wave function based simulations and numerical averaging over random-matrix ensembles to calculate such correlations and compare with experimental measurements in microwave graphs, finding excellent agreement. Our calculations show that the universality of the correlators survives the extreme limit of few open channels relevant for electron quantum optics, albeit at the price of dealing with large-cancellation effects requiring the computation of a large class of semiclassical diagrams.


title: Six Attributes of Unhealthy Conversation

abstract: We present a new dataset of approximately 44000 comments labeled by crowdworkers. Each comment is labelled as either 'healthy' or 'unhealthy', in addition to binary labels for the presence of six potentially 'unhealthy' sub-attributes: (1) hostile; (2) antagonistic, insulting, provocative or trolling; (3) dismissive; (4) condescending or patronising; (5) sarcastic; and/or (6) an unfair generalisation. Each label also has an associated confidence score. We argue that there is a need for datasets which enable research based on a broad notion of 'unhealthy online conversation'. We build this typology to encompass a substantial proportion of the individual comments which contribute to unhealthy online conversation. For some of these attributes, this is the first publicly available dataset of this scale. We explore the quality of the dataset, present some summary statistics and initial models to illustrate the utility of this data, and highlight limitations and directions for further research.


title: Harnessing Uncertainty in Domain Adaptation for MRI Prostate Lesion Segmentation

abstract: The need for training data can impede the adoption of novel imaging modalities for learning-based medical image analysis. Domain adaptation methods partially mitigate this problem by translating training data from a related source domain to a novel target domain, but typically assume that a one-to-one translation is possible. Our work addresses the challenge of adapting to a more informative target domain where multiple target samples can emerge from a single source sample. In particular we consider translating from mp-MRI to VERDICT, a richer MRI modality involving an optimized acquisition protocol for cancer characterization. We explicitly account for the inherent uncertainty of this mapping and exploit it to generate multiple outputs conditioned on a single input. Our results show that this allows us to extract systematically better image representations for the target domain, when used in tandem with both simple, CycleGAN-based baselines, as well as more powerful approaches that integrate discriminative segmentation losses and/or residual adapters. When compared to its deterministic counterparts, our approach yields substantial improvements across a broad range of dataset sizes, increasingly strong baselines, and evaluation measures.


title: Conics in sextic $K3$-surfaces in $\mathbb{P}^4$

abstract: We prove that the maximal number of conics in a smooth sextic $K3$-surface $X\subset\mathbb{P}^4$ is 285, whereas the maximal number of real conics in a real sextic is 261. In both extremal configurations, all conics are irreducible.


title: A Novel Quantum Algorithm for Ant Colony Optimization

abstract: Ant colony optimization (ACO) is a commonly used meta-heuristic to solve complex combinatorial optimization problems like traveling salesman problem (TSP), vehicle routing problem (VRP), etc. However, classical ACO algorithms provide better optimal solutions but do not reduce computation time overhead to a significant extent. Algorithmic speed-up can be achieved by using parallelism offered by quantum computing. Existing quantum algorithms to solve ACO are either quantum-inspired classical algorithms or hybrid quantum-classical algorithms. Since all these algorithms need the intervention of classical computing, leveraging the true potential of quantum computing on real quantum hardware remains a challenge. This paper's main contribution is to propose a fully quantum algorithm to solve ACO, enhancing the quantum information processing toolbox in the fault-tolerant quantum computing (FTQC) era. We have Solved the Single Source Single Destination (SSSD) shortest-path problem using our proposed adaptive quantum circuit for representing dynamic pheromone updating strategy in real IBMQ devices. Our quantum ACO technique can be further used as a quantum ORACLE to solve complex optimization problems in a fully quantum setup with significant speed up upon the availability of more qubits.


title: On Cross-Dataset Generalization in Automatic Detection of Online Abuse

abstract: NLP research has attained high performances in abusive language detection as a supervised classification task. While in research settings, training and test datasets are usually obtained from similar data samples, in practice systems are often applied on data that are different from the training set in topic and class distributions. Also, the ambiguity in class definitions inherited in this task aggravates the discrepancies between source and target datasets. We explore the topic bias and the task formulation bias in cross-dataset generalization. We show that the benign examples in the Wikipedia Detox dataset are biased towards platform-specific topics. We identify these examples using unsupervised topic modeling and manual inspection of topics' keywords. Removing these topics increases cross-dataset generalization, without reducing in-domain classification performance. For a robust dataset design, we suggest applying inexpensive unsupervised methods to inspect the collected data and downsize the non-generalizable content before manually annotating for class labels.


title: Plant and Controller Optimization for Power and Energy Systems with Model Predictive Control

abstract: This article explores the optimization of plant characteristics and controller parameters for electrified mobility. Electrification of mobile transportation systems, such as automobiles and aircraft, presents the ability to improve key performance metrics such as efficiency and cost. However, the strong bidirectional coupling between electrical and thermal dynamics within new components creates integration challenges, increasing component degradation and reducing performance. Diminishing these issues requires novel plant designs and control strategies. The electrified mobility literature provides prior studies on plant and controller optimization, known as control co-design (CCD). A void within these studies is the lack of model predictive control (MPC), recognized to manage multi-domain dynamics for electrified systems, within CCD frameworks. This article addresses this through three contributions. First, a thermo-electro-mechanical hybrid electric vehicle (HEV) model is developed that is suitable for both plant optimization and MPC. Second, simultaneous plant and controller optimization is performed for this multi-domain system. Third, MPC is integrated within a CCD framework using the candidate HEV model. Results indicate that optimizing both the plant and MPC parameters simultaneously can reduce physical component sizes by over 60% and key performance metric errors by over 50%.


title: Representable Markov Categories and Comparison of Statistical Experiments in Categorical Probability

abstract: Markov categories are a recent categorical approach to the mathematical foundations of probability and statistics. Here, this approach is advanced by stating and proving equivalent conditions for second-order stochastic dominance, a widely used way of comparing probability distributions by their spread. Furthermore, we lay foundation for the theory of comparing statistical experiments within Markov categories by stating and proving the classical Blackwell-Sherman-Stein Theorem. Our version not only offers new insight into the proof, but its abstract nature also makes the result more general, automatically specializing to the standard Blackwell-Sherman-Stein Theorem in measure-theoretic probability as well as a Bayesian version that involves prior-dependent garbling. Along the way, we define and characterize representable Markov categories, within which one can talk about Markov kernels to or from spaces of distributions. We do so by exploring the relation between Markov categories and Kleisli categories of probability monads.


title: Comparison between instrumental variable and mediation-based methods for reconstructing causal gene networks in yeast

abstract: Causal gene networks model the flow of information within a cell, but reconstructing them from omics data is challenging because correlation does not imply causation. Combining genomics and transcriptomics data from a segregating population allows to orient the direction of causality between gene expression traits using genomic variants. Instrumental-variable methods (IV) use a local expression quantitative trait locus (eQTL) as a randomized instrument for a gene's expression level, and assign target genes based on distal eQTL associations. Mediation-based methods (ME) additionally require that distal eQTL associations are mediated by the source gene. Here we used Findr, a software providing uniform implementations of IV, ME, and coexpression-based methods, a recent dataset of 1,012 segregants from a cross between two budding yeast strains, and the YEASTRACT database of known transcriptional interactions to compare causal gene network inference methods. We found that causal inference methods result in a significant overlap with the ground-truth, whereas coexpression did not perform better than random. A subsampling analysis revealed that the performance of ME decreases at large sample sizes, due to a loss of sensitivity when residual correlations become significant. IV methods contain false positive predictions, due to genomic linkage between eQTL instruments. IV and ME methods also have complementary roles for identifying causal genes underlying transcriptional hotspots. IV methods correctly predicted STB5 targets for a hotspot centred on the transcription factor STB5, whereas ME failed due to Stb5p auto-regulating its own expression. ME suggests a new candidate gene, DNM1, for a hotspot on Chr XII, where IV methods could not distinguish between multiple genes located within the hotspot.


title: New Structures in Gravitational Radiation

abstract: We investigate the Einstein vacuum equations as well as the Einstein-null fluid equations describing neutrino radiation. We find new structures in gravitational waves and memory for asymptotically-flat spacetimes of slow decay. These structures do not arise in spacetimes resulting from data that is stationary outside a compact set. Rather the more general situations exhibit richer geometric-analytic interactions displaying the physics of these more general systems. It has been known that for stronger decay of the data gravitational wave memory is finite and of electric parity only. We investigate general spacetimes that are asymptotically flat in a rough sense, where the decay of the data to Minkowski space towards infinity is very slow. Main new feature: We prove that there exists diverging magnetic memory sourced by the magnetic part of the curvature tensor (a) in the Einstein vacuum and (b) in the Einstein-null-fluid equations. The magnetic memory occurs naturally in the Einstein vacuum setting (a) of pure gravity. In case (b), in the ultimate class of solutions, the magnetic memory also contains a curl term from the energy-momentum tensor for neutrinos also diverging at the highest rate. The electric memory diverges too, it is generated by the electric part of the curvature tensor and in the Einstein-null-fluid situation also by the corresponding energy-momentum component. In addition, we find a panorama of finer structures in these manifolds. Some of these manifest themselves as additional contributions to both electric and magnetic memory. Our theorems hold for any type of matter or energy coupled to the Einstein equations as long as the data decays slowly towards infinity and other conditions are satisfied. The new results have many applications ranging from mathematical general relativity to gravitational wave astrophysics, detecting dark matter and other topics in physics.


title: Cosmic ray tracks in astrophysical ices: Modeling with the Geant4-DNA Monte Carlo Toolkit

abstract: Cosmic rays are ubiquitous in interstellar environments, and their bombardment of dust-grain ice mantles is a possible driver for the formation of complex, even prebiotic molecules. Yet, critical data that are essential for accurate modeling of this phenomenon, such as the average radii of cosmic-ray tracks in amorphous solid water (ASW) remain unconstrained. It is shown that cosmic ray tracks in ASW can be approximated as a cylindrical volume with an average radius that is mostly independent of the initial particle energy. Interactions between energetic ions and both a low-density amorphous (LDA) and high-density amorphous (HDA) ice target are simulated using the Geant4-DNA Monte Carlo toolkit, which allows for tracking secondary electrons down to subexcitation energies in the material. We find the peak track core radii, $r_\mathrm{cyl}$, for LDA and HDA ices to be 9.9 nm and 8.4 nm, respectively - somewhat less than double the value of 5 nm often assumed in astrochemical models.

categories: astro-ph.GA astro-ph.HE cond-mat.mtrl-sci physics.comp-ph physics.space-ph


title: Anomaly Detection for Bivariate Signals

abstract: The anomaly detection problem for univariate or multivariate time series is a critical question in many practical applications as industrial processes control, biological measures, engine monitoring, supervision of all kinds of behavior. In this paper we propose a simple and empirical approach to detect anomalies in the behavior of multivariate time series. The approach is based on the empirical estimation of the conditional quantiles of the data, which provides upper and lower bounds for the confidence tubes. The method is tested on artificial data and its effectiveness has been proven in a real framework such as that of the monitoring of aircraft engines.


title: Consensus on simplicial complexes, or: The nonlinear simplicial Laplacian

abstract: We consider a nonlinear flow on simplicial complexes related to the simplicial Laplacian, and show that it is a generalization of various consensus and synchronization models commonly studied on networks. In particular, our model allows us to formulate flows on simplices of any dimension, so that it includes edge flows, triangle flows, etc. We show that the system can be represented as the gradient flow of an energy functional, and use this to deduce the stability of various steady states of the model. Finally, we demonstrate that our model contains higher-dimensional analogues of structures seen in related network models.


title: Rapid Robust Principal Component Analysis: CUR Accelerated Inexact Low Rank Estimation

abstract: Robust principal component analysis (RPCA) is a widely used tool for dimension reduction. In this work, we propose a novel non-convex algorithm, coined Iterated Robust CUR (IRCUR), for solving RPCA problems, which dramatically improves the computational efficiency in comparison with the existing algorithms. IRCUR achieves this acceleration by employing CUR decomposition when updating the low rank component, which allows us to obtain an accurate low rank approximation via only three small submatrices. Consequently, IRCUR is able to process only the small submatrices and avoid expensive computing on the full matrix through the entire algorithm. Numerical experiments establish the computational advantage of IRCUR over the state-of-art algorithms on both synthetic and real-world datasets.

categories: stat.ML cs.AI cs.IT cs.LG cs.NA math.IT math.NA math.OC


title: An exactly solvable ansatz for statistical mechanics models

abstract: We propose a family of "exactly solvable" probability distributions to approximate partition functions of two-dimensional statistical mechanics models. While these distributions lie strictly outside the mean-field framework, their free energies can be computed in a time that scales linearly with the system size. This construction is based on a simple but nontrivial solution to the marginal problem. We formulate two non-linear constraints on the set of locally consistent marginal probabilities that simultaneously (i) ensure the existence of a consistent global probability distribution and (ii) lead to an exact expression for the maximum global entropy.

categories: cond-mat.stat-mech math-ph math.MP quant-ph


title: Entropy scaling law and the quantum marginal problem

abstract: Quantum many-body states that frequently appear in physics often obey an entropy scaling law, meaning that an entanglement entropy of a subsystem can be expressed as a sum of terms that scale linearly with its volume and area, plus a correction term that is independent of its size. We conjecture that these states have an efficient dual description in terms of a set of marginal density matrices on bounded regions, obeying the same entropy scaling law locally. We prove a restricted version of this conjecture for translationally invariant systems in two spatial dimensions. Specifically, we prove that a translationally invariant marginal obeying three non-linear constraints -- all of which follow from the entropy scaling law straightforwardly -- must be consistent with some global state on an infinite lattice. Moreover, we derive a closed-form expression for the maximum entropy density compatible with those marginals, deriving a variational upper bound on the thermodynamic free energy. Our construction's main assumptions are satisfied exactly by solvable models of topological order and approximately by finite-temperature Gibbs states of certain quantum spin Hamiltonians.

categories: quant-ph cond-mat.str-el math-ph math.MP


title: Thixotropy in Viscoplastic Drop Impact on Thin Films

abstract: We use high-speed imaging to study the effect of thixotropic aging in drop impact of yield-stress fluids on pre-coated substrates. Our results reveal that drop splashing is suppressed for "aged" compared to "unaged" samples, indicating that thixotropic breakdown timescales during impact are long enough to affect the dynamics. We propose and test several hypotheses for modifying the dimensionless group ${\rm IF}(D/t)$ [1,2] to account for thixotropic aging. The main challenge is that the steady flow properties (Herschel-Bulkley model parameters) used in the current dimensionless group cannot be defined or measured for thixotropically aged samples, because any deformation inherently rejuvenates and breaks down the microstructure. We find the most suitable hypothesis is to only increase the yield stress ($\sigma_{\rm y}$, plastic component) based on the storage modulus of aged samples, while keeping the viscous parameters ($K$ or $\eta_{\infty}$) constant. The work reveals fundamental insight into rarely studied short-timescale flow conditions with thixotropic effects. These results are important for applications such as fire suppression or spray coating that involve complex fluids of varying degrees of thixotropic aging.


title: A Theoretical Perspective on Hyperdimensional Computing

abstract: Hyperdimensional (HD) computing is a set of neurally inspired methods for obtaining high-dimensional, low-precision, distributed representations of data. These representations can be combined with simple, neurally plausible algorithms to effect a variety of information processing tasks. HD computing has recently garnered significant interest from the computer hardware community as an energy-efficient, low-latency, and noise-robust tool for solving learning problems. In this review, we present a unified treatment of the theoretical foundations of HD computing with a focus on the suitability of representations for learning.


title: BlockFLA: Accountable Federated Learning via Hybrid Blockchain Architecture

abstract: Federated Learning (FL) is a distributed, and decentralized machine learning protocol. By executing FL, a set of agents can jointly train a model without sharing their datasets with each other, or a third-party. This makes FL particularly suitable for settings where data privacy is desired. At the same time, concealing training data gives attackers an opportunity to inject backdoors into the trained model. It has been shown that an attacker can inject backdoors to the trained model during FL, and then can leverage the backdoor to make the model misclassify later. Several works tried to alleviate this threat by designing robust aggregation functions. However, given more sophisticated attacks are developed over time, which by-pass the existing defenses, we approach this problem from a complementary angle in this work. Particularly, we aim to discourage backdoor attacks by detecting, and punishing the attackers, possibly after the end of training phase. To this end, we develop a hybrid blockchain-based FL framework that uses smart contracts to automatically detect, and punish the attackers via monetary penalties. Our framework is general in the sense that, any aggregation function, and any attacker detection algorithm can be plugged into it. We conduct experiments to demonstrate that our framework preserves the communication-efficient nature of FL, and provide empirical results to illustrate that it can successfully penalize attackers by leveraging our novel attacker detection algorithm.


title: Skeleton-bridged Point Completion: From Global Inference to Local Adjustment

abstract: Point completion refers to complete the missing geometries of objects from partial point clouds. Existing works usually estimate the missing shape by decoding a latent feature encoded from the input points. However, real-world objects are usually with diverse topologies and surface details, which a latent feature may fail to represent to recover a clean and complete surface. To this end, we propose a skeleton-bridged point completion network (SK-PCN) for shape completion. Given a partial scan, our method first predicts its 3D skeleton to obtain the global structure, and completes the surface by learning displacements from skeletal points. We decouple the shape completion into structure estimation and surface reconstruction, which eases the learning difficulty and benefits our method to obtain on-surface details. Besides, considering the missing features during encoding input points, SK-PCN adopts a local adjustment strategy that merges the input point cloud to our predictions for surface refinement. Comparing with previous methods, our skeleton-bridged manner better supports point normal estimation to obtain the full surface mesh beyond point clouds. The qualitative and quantitative experiments on both point cloud and mesh completion show that our approach outperforms the existing methods on various object categories.


title: Autonomous UAV Exploration of Dynamic Environments via Incremental Sampling and Probabilistic Roadmap

abstract: Autonomous exploration requires robots to generate informative trajectories iteratively. Although sampling-based methods are highly efficient in unmanned aerial vehicle exploration, many of these methods do not effectively utilize the sampled information from the previous planning iterations, leading to redundant computation and longer exploration time. Also, few have explicitly shown their exploration ability in dynamic environments even though they can run real-time. To overcome these limitations, we propose a novel dynamic exploration planner (DEP) for exploring unknown environments using incremental sampling and Probabilistic Roadmap (PRM). In our sampling strategy, nodes are added incrementally and distributed evenly in the explored region, yielding the best viewpoints. To further shortening exploration time and ensuring safety, our planner optimizes paths locally and refine them based on the Euclidean Signed Distance Function (ESDF) map. Meanwhile, as the multi-query planner, PRM allows the proposed planner to quickly search alternative paths to avoid dynamic obstacles for safe exploration. Simulation experiments show that our method safely explores dynamic environments and outperforms the benchmark planners in terms of exploration time, path length, and computational time.


title: Breaking the Unit Throughput Barrier in Distributed Systems

abstract: A multi-level random power transmit strategy that is used in conjunction with a random access protocol (RAP) (e.g. ALOHA, IRSA) is proposed to fundamentally increase the throughput in a distributed communication network. A SIR model is considered, where a packet is decodable as long as its SIR is above a certain threshold. In a slot chosen for transmission by a RAP, a packet is transmitted with power level chosen according to a distribution, such that multiple packets sent by different nodes can be decoded at the receiver in a single slot, by ensuring that their SIRs are above the threshold with successive interference cancelation. Since the network is distributed this is a challenging task, and we provide structural results that aid in finding the achievable throughputs, together with upper bounds on the maximum throughput possible. The achievable throughput and the upper bounds are shown to be close with the help of comprehensive simulations. The main takeaway is that the throughput of more than 1 is possible in a distributed network, by using a judicious choice of power level distribution in conjuction with a RAP.


title: Fairness in Streaming Submodular Maximization: Algorithms and Hardness

abstract: Submodular maximization has become established as the method of choice for the task of selecting representative and diverse summaries of data. However, if datapoints have sensitive attributes such as gender or age, such machine learning algorithms, left unchecked, are known to exhibit bias: under- or over-representation of particular groups. This has made the design of fair machine learning algorithms increasingly important. In this work we address the question: Is it possible to create fair summaries for massive datasets? To this end, we develop the first streaming approximation algorithms for submodular maximization under fairness constraints, for both monotone and non-monotone functions. We validate our findings empirically on exemplar-based clustering, movie recommendation, DPP-based summarization, and maximum coverage in social networks, showing that fairness constraints do not significantly impact utility.