title: AUC Maximization in the Era of Big Data and AI: A Survey

abstract: Area under the ROC curve, a.k.a. AUC, is a measure of choice for assessing the performance of a classifier for imbalanced data. AUC maximization refers to a learning paradigm that learns a predictive model by directly maximizing its AUC score. It has been studied for more than two decades dating back to late 90s and a huge amount of work has been devoted to AUC maximization since then. Recently, stochastic AUC maximization for big data and deep AUC maximization for deep learning have received increasing attention and yielded dramatic impact for solving real-world problems. However, to the best our knowledge there is no comprehensive survey of related works for AUC maximization. This paper aims to address the gap by reviewing the literature in the past two decades. We not only give a holistic view of the literature but also present detailed explanations and comparisons of different papers from formulations to algorithms and theoretical guarantees. We also identify and discuss remaining and emerging issues for deep AUC maximization, and provide suggestions on topics for future work.


title: Multisummability for generalized power series

abstract: We develop multisummability, in the positive real direction, for generalized power series with natural support, and we prove o-minimality of the expansion of the real field by all multisums of these series. This resulting structure expands both $\mathbb{R}_{\mathcal{G}}$ and the reduct of $\mathbb{R}_{\mathrm{an}^*}$ generated by all convergent generalized power series with natural support; in particular, its expansion by the exponential function defines both the Gamma function on $(0,\infty)$ and the Zeta function on $(1,\infty)$.


title: A Methodology for CHF Prediction in VVER Rod Bundles

abstract: The critical heat flux (CHF) is an important thermal-hydraulic parameter that must be determined during the design of water-cooled reactors to ensure safety of operation. In this paper, a methodology is proposed to predict the CHF in VVER rod bundles. A whole-reactor model of VVER-1000 is implemented in RELAP-SCDAPSIM, and, based on the bundle-average approach, the parameters of the hot channel are used to assess four CHF predictors (i.e., the 2006 Groeneveld look-up table (LUT), and the Bowring, W-3, Biasi, and OKB-Gidropress correlations) upon comparison with the 2011 Bobkov LUT. A brief critique is given of the correction factors for both the Groeneveld and Bobkov LUTs. The effects of channel diameter and non-uniform axial heat flux on the predicted values of CHF in subcooled conditions are also studied. The performance and time complexity of the standard and Bourke trilinear interpolation algorithms are assessed for use with LUTs in safety codes. It has been concluded that the non-uniform axial heat flux does not affect the CHF in subcooled conditions and that the Groeneveld diameter factor exponent gives better predictability of the CHF in VVER rod bundles over the Tanase and Wong exponent correlations. Additionally, the Groeneveld LUT has been found to nearly reproduces the Bobkov LUT CHF values when used in conjunction with the Bobkov heated length factor. Values of MDNBR equal to 1.83 and 1.96 can be used as thermal limits at 12\% overpower when the Bowring and W-3 correlations, respectively, are used in subcooled conditions. The standard and Bourke algorithms nearly exhibit the same average CPU time. The Bourke algorithm, however, is less affected by noise. Further research is needed to ensure the smoothness of the Bobkov LUT and to derive reactor type-dependent correction factor formulas for use with the Groeneveld LUT.


title: Compressible fluid motion with uncertain data

abstract: We propose a suitable analytical framework to perform numerical analysis of problems arising in compressible fluid models with uncertain data. We discuss both weak and strong stochastic approach, where the former is based on the knowledge of the mere distribution (law) of the random data typical for the Monte-Carlo and related methods, while the latter assumes the data to be known as a random variabble on a given probability space aiming at obtaining the associated solution in the same form. As an example of the strong approach, we discuss the stochastic collocation method based on a piecewise constant approximation of the random data.


title: Critical Casimir Effect: Exact Results

abstract: In any medium there are fluctuations due to temperature or due to the quantum nature of its constituents. If a material body is immersed into such a medium, its shape and the properties of its constituents modify the properties of the surrounding medium and its fluctuations. If in the same medium there is a second body then -- in addition to all direct interactions between them -- the modifications due to the first body influence the modifications due to the second body. This mutual influence results in a force between these bodies. If the excitations of the medium, which mediate the effective interaction between the bodies, are massless, this force is long-ranged and nowadays known as a Casimir force. If the fluctuating medium consists of the confined electromagnetic field in vacuum, one speaks of the quantum mechanical Casimir effect. In the case that the order parameter of material fields fluctuates - such as differences of number densities or concentrations - and that the corresponding fluctuations of the order parameter are long-ranged, one speaks of the critical Casimir effect. This holds, e.g., in the case of systems which undergo a second-order phase transition and which are thermodynamically located near the corresponding critical point, or for systems with a continuous symmetry exhibiting Goldstone mode excitations. Here we review the currently available exact results concerning the critical Casimir effect in systems encompassing the one-dimensional Ising, XY, and Heisenberg models, the two-dimensional Ising model, the Gaussian and the spherical models, as well as the mean field results for the Ising and the XY model. Special attention is paid to the influence of the boundary conditions on the behavior of the Casimir force.

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


title: Ultra-long quantum walks via spin-orbit photonics

abstract: The possibility of fine-tuning the couplings between optical modes is a key requirement in photonic circuits for quantum simulations. In these architectures, emulating the long-time evolution of particles across large lattices requires sophisticated setups, that are often intrinsically lossy. Here we report ultra-long photonic quantum walks across several hundred optical modes, obtained by propagating a light beam through very few closely-stacked liquid-crystal metasurfaces. By exploiting spin-orbit effects, these implement space-dependent polarization transformations that mix circularly polarized optical modes carrying quantized transverse momentum. As each metasurface implements long-range couplings between distant modes, by using only a few of them we simulate quantum walks up to 320 discrete steps without any optical amplification, far beyond state-of-the-art experiments. To showcase the potential of this method, we experimentally demonstrate that in the long-time limit a quantum walk affected by dynamical disorder generates maximal entanglement between two system partitions. Our platform grants experimental access to large-scale unitary evolutions while keeping optical losses at a minimum, thereby paving the way to massive multi-photon multi-mode quantum simulations.


title: Learning Minimum-Time Flight in Cluttered Environments

abstract: We tackle the problem of minimum-time flight for a quadrotor through a sequence of waypoints in the presence of obstacles while exploiting the full quadrotor dynamics. Early works relied on simplified dynamics or polynomial trajectory representations that did not exploit the full actuator potential of the quadrotor, and, thus, resulted in suboptimal solutions. Recent works can plan minimum-time trajectories; yet, the trajectories are executed with control methods that do not account for obstacles. Thus, a successful execution of such trajectories is prone to errors due to model mismatch and in-flight disturbances. To this end, we leverage deep reinforcement learning and classical topological path planning to train robust neural-network controllers for minimum-time quadrotor flight in cluttered environments. The resulting neural network controller demonstrates substantially better performance of up to 19\% over state-of-the-art methods. More importantly, the learned policy solves the planning and control problem simultaneously online to account for disturbances, thus achieving much higher robustness. As such, the presented method achieves 100% success rate of flying minimum-time policies without collision, while traditional planning and control approaches achieve only 40%. The proposed method is validated in both simulation and the real world, with quadrotor speeds of up to 42km/h and accelerations of 3.6g.


title: Application of Stabilized Explicit Runge-Kutta Methods to the Incompressible Navier-Stokes Equations by means of a Projection Method and a Differential Algebraic Approach

abstract: In this master thesis we have compared different second order stabilized explicit Runge-Kutta methods when applied to the incompressible Navier-Stokes equations by means of a projection method and a differential algebraic approach. We explored the stability and accuracy properties of the RKC, ROCK2 and PIROCK schemes when coupled with the projection and the differential algebraic approach. PIROCK has shown unexpected instabilities, ROCK2 resulted to be the most efficient and versatile Runge-Kutta method taken into account. The differential algebraic approach sounds computationally costly but it exhibits better accuracy and a larger stability region. These properties make it more efficient than the projection method. The theory presented in the first chapters is supported by numerical experiments.


title: Local extrema for hypercube sections

abstract: Consider the hyperplanes at a fixed distance $t$ from the center of the hypercube $[0,1]^d$. Significant attention has been given to determining the hyperplanes $H$ among these such that the $(d-1)$-dimensional volume of $H\cap[0,1]^d$ is maximal or minimal. In the spirit of a question by Vitali Milman, the corresponding local problem is considered here when $H$ is orthogonal to a diagonal or a sub-diagonal of the hypercube. It is proven in particular that this volume is strictly locally maximal at the diagonals in all dimensions greater than $3$ within a range for $t$ that is asymptotic to $\sqrt{d}/\!\log d$. At lower order sub-diagonals, this volume is shown to be strictly locally maximal when $t$ is close to $0$ and not locally extremal when $t$ is large. This relies on a characterisation of local extremality at the diagonals and sub-diagonals that allows to solve the problem over the whole possible range for $t$ in any fixed, reasonably low dimension.


title: High-ionisation oxygen absorption from the Warm-Hot Intergalactic Medium in Simba

abstract: We examine the physical conditions, environments, and statistical properties of intergalactic Ovi, Ovii and Oviii absorbers in the Simba cosmological hydrodynamic simulation suite. The goal is to understand the nature of these high ionisation absorbers, and test Simba's surprising prediction that $\sim 70\%$ of cosmic baryons at $z=0$ are in the Warm-Hot Intergalactic Medium (WHIM) driven by jet feedback from active galactic nuclei (AGN). By comparing a full-physics Simba run versus one with jets turned off, we find that jet feedback causes widespread heating that impacts the absorption morphology particularly of the higher ions. However, the distribution of the physical properties of detectable absorbers are not dramatically affected. Higher ionisation absorbers probe hotter gas as expected, but in Simba all ions arise at similar overdensities (typically $\delta\sim20-30$), similar environments (predominantly filaments), and similar nearest-halo distances (typically $\sim2-3r_{200c}$). Simba matches the observed Ovi column density distribution function (CDDF) fairly well, but under-predicts the CDDF preliminarily derived from two detected intergalactic Ovii absorbers. Predicted CDDFs are very similar at $z=1$ with or without jets, but show differences by $z=0$ particularly at the high-column end. Despite some discrepancies, Simba reproduces available observations as well as or better than other comparable simulations, suggesting that Simba's widespread jet heating cannot be ruled out by these data. These results offer hope that future X-ray and ultraviolet facilities could provide significant constraints on galactic feedback models from high-ionisation IGM metal absorbers.


title: Monte Carlo Calculations of the Extraction of Scintillation Light from Cryogenic N-type GaAs

abstract: The high scintillation luminosity of n-type GaAs at 10K is surprising because (1) with a refractive index of about 3.5, escape is inhibited by total internal reflection and (2) narrow-beam experiments at 90K report infrared absorption coefficients of several per cm. This paper presents Monte Carlo calculations showing that the high luminosity at 10K can be explained if (1) narrow-beam absorption is almost all optical scattering and (2) the absolute absorption coefficient is below 0.1 per cm. Sixteen surface reflector configurations are simulated for a range of internal scattering and absolute absorption coefficients, and these can guide the design of cryogenic scintillating GaAs targets for the direct detection of dark matter. The discussion section presents a possible infrared scattering mechanism based on the metallic nature of n-type GaAs. Appendix A describes the Monte Carlo program steps in detail. Appendix B shows how narrow-beam and integrating sphere experiments can measure the cryogenic optical scattering and absolute absorption coefficients.


title: Unidirectional coherent quasiparticles in the high-temperature rotational symmetry broken phase of AV3Sb5 kagome superconductors

abstract: Kagome metals AV3Sb5 (where the A can stand for K, Cs, or Rb) display a rich phase diagram of correlated electron states, including superconductivity and density waves. Within this landscape, recent experiments revealed signs of a transition below approximately 35 K attributed to an electronic nematic phase that spontaneously breaks rotational symmetry of the lattice. Here, we show that rotational symmetry breaking initiates universally at a high temperature in these materials, toward the 2 x 2 charge density wave transition temperature. We do this via spectroscopic-imaging scanning tunneling microscopy and study atomic-scale signatures of electronic symmetry breaking across several materials in the AV3Sb5 family: CsV3Sb5, KV3Sb5 and Sn-doped CsV3Sb5. Below a significantly lower temperature of about 30 K, we measure quantum interference of quasiparticles, a key signature for the formation of a coherent electronic state. These quasiparticles display a pronounced unidirectional feature in reciprocal space that strengthens as the superconducting state is approached. Our experiments reveal that high-temperature rotation symmetry breaking and the charge ordering states are separated from the superconducting ground state by an intermediate-temperature regime with coherent unidirectional quasiparticles. This picture is phenomenologically different compared to that in high-temperature superconductors, shedding light on the complex nature of rotation symmetry breaking in AV3Sb5 kagome superconductors.


title: A distribution-dependent Mumford-Shah model for unsupervised hyperspectral image segmentation

abstract: Hyperspectral images provide a rich representation of the underlying spectrum for each pixel, allowing for a pixel-wise classification/segmentation into different classes. As the acquisition of labeled training data is very time-consuming, unsupervised methods become crucial in hyperspectral image analysis. The spectral variability and noise in hyperspectral data make this task very challenging and define special requirements for such methods. Here, we present a novel unsupervised hyperspectral segmentation framework. It starts with a denoising and dimensionality reduction step by the well-established Minimum Noise Fraction (MNF) transform. Then, the Mumford-Shah (MS) segmentation functional is applied to segment the data. We equipped the MS functional with a novel robust distribution-dependent indicator function designed to handle the characteristic challenges of hyperspectral data. To optimize our objective function with respect to the parameters for which no closed form solution is available, we propose an efficient fixed point iteration scheme. Numerical experiments on four public benchmark datasets show that our method produces competitive results, which outperform three state-of-the-art methods substantially on three of these datasets.


title: A New Analysis of 8 Spitzer Phase Curves and Hot Jupiter Population Trends: Qatar-1b, Qatar-2b, WASP-52b, WASP-34b, and WASP-140b

abstract: With over 30 phase curves observed during the warm Spitzer mission, the complete data set provides a wealth of information relating to trends and three-dimensional properties of hot Jupiter atmospheres. In this work we present a comparative study of seven new Spitzer phase curves for four planets with equilibrium temperatures of T$_{eq}\sim$ 1300K: Qatar-2b, WASP-52b, WASP-34b, and WASP-140b, as well as the reanalysis of the 4.5 $\micron$ Qatar-1b phase curve due to the similar equilibrium temperature. In total, five 4.5 $\micron$ phase curves and three 3.6 $\micron$ phase curves are analyzed here with a uniform approach. Using these new results, in combination with literature values for the entire population of published Spitzer phase curves of hot Jupiters, we present evidence for a linear trend of increasing hot spot offset with increasing orbital period, as well as observational evidence for two classes of planets in apparent redistribution vs. equilibrium temperature parameter space, and tentative evidence for a dependence of hot spot offset on planetary surface gravity in our $\sim$ 1300 K sample. We do not find trends in apparent heat redistribution with orbital period or gravity. Non-uniformity in literature Spitzer data analysis techniques precludes a definitive determination of the sources or lack of trends.


title: A Deep Learning Technique using a Sequence of Follow Up X-Rays for Disease classification

abstract: The ability to predict lung and heart based diseases using deep learning techniques is central to many researchers, particularly in the medical field around the world. In this paper, we present a unique outlook of a very familiar problem of disease classification using X-rays. We present a hypothesis that X-rays of patients included with the follow up history of their most recent three chest X-ray images would perform better in disease classification in comparison to one chest X-ray image input using an internal CNN to perform feature extraction. We have discovered that our generic deep learning architecture which we propose for solving this problem performs well with 3 input X ray images provided per sample for each patient. In this paper, we have also established that without additional layers before the output classification, the CNN models will improve the performance of predicting the disease labels for each patient. We have provided our results in ROC curves and AUROC scores. We define a fresh approach of collecting three X-ray images for training deep learning models, which we have concluded has clearly improved the performance of the models. We have shown that ResNet, in general, has a better result than any other CNN model used in the feature extraction phase. With our original approach to data pre-processing, image training, and pre-trained models, we believe that the current research will assist many medical institutions around the world, and this will improve the prediction of patients' symptoms and diagnose them with more accurate cure.


title: Does social distancing matter for infectious disease propagation? A SEIR model and Gompertz law based cellular automaton

abstract: In this paper, we present stochastic synchronous cellular automaton defined on a square lattice. The automaton rules are based on the SEIR (susceptible $\to$ exposed $\to$ infected $\to$ recovered) model with probabilistic parameters gathered from real-world data on human mortality and the characteristics of the SARS-CoV-2 disease. With computer simulations, we show the influence of the radius of the neighborhood on the number of infected and deceased agents in the artificial population. The increase in the radius of the neighborhood favors the spread of the epidemic. However, for a large range of interactions of exposed agents (who neither have symptoms of the disease nor have been diagnosed by appropriate tests), even isolation of infected agents cannot prevent successful disease propagation. This supports aggressive testing against disease as one of the useful strategies to prevent large peaks of infection in the spread of SARS-CoV-2-like disease.


title: Fast (optical) Links

abstract: In this write-up we focus on fast data links that read out particle detectors. This includes developments of ASICs, optical modules, identifying passive components such as fiber and connector, and a link system design. A review of the current status is provided. The goal of R\&D is to double (near term) and quadruple (longer term) the present data transmission rate for particle detectors, enabling a wide range of physics exploration and measurements.


title: The Basics of Quantum Computing for Chemists

abstract: The rapid and successful strides in quantum chemistry in the past decades can be largely credited to a conspicuous synergy between theoretical and computational advancements. However, the architectural computer archetype that enabled such a progress is approaching a state of more stagnant development. One of the most promising technological avenues for the continuing progress of quantum chemistry is the emerging quantum computing paradigm. This revolutionary proposal comes with several challenges, which span a wide array of disciplines. In chemistry, it implies, among other things, a need to reformulate some of its long established cornerstones in order to adjust to the operational demands and constraints of quantum computers. Due to its relatively recent emergence, much of quantum computing may still seem fairly nebulous and largely unknown to most chemists. It is in this context that here we review and illustrate the basic aspects of quantum information and their relation to quantum computing insofar as enabling simulations of quantum chemistry. We consider some of the most relevant developments in light of these aspects and discuss the current landscape when of relevance to quantum chemical simulations in quantum computers.


abstract: CounterFactual (CF) visual explanations try to find images similar to the query image that change the decision of a vision system to a specified outcome. Existing methods either require inference-time optimization or joint training with a generative adversarial model which makes them time-consuming and difficult to use in practice. We propose a novel approach, Cycle-Consistent Counterfactuals by Latent Transformations (C3LT), which learns a latent transformation that automatically generates visual CFs by steering in the latent space of generative models. Our method uses cycle consistency between the query and CF latent representations which helps our training to find better solutions. C3LT can be easily plugged into any state-of-the-art pretrained generative network. This enables our method to generate high-quality and interpretable CF images at high resolution such as those in ImageNet. In addition to several established metrics for evaluating CF explanations, we introduce a novel metric tailored to assess the quality of the generated CF examples and validate the effectiveness of our method on an extensive set of experiments.


title: DeepShadow: Neural Shape from Shadow

abstract: This paper presents DeepShadow, a one-shot method for recovering the depth map and surface normals from photometric stereo shadow maps. Previous works that try to recover the surface normals from photometric stereo images treat cast shadows as a disturbance. We show that the self and cast shadows not only do not disturb 3D reconstruction, but can be used alone, as a strong learning signal, to recover the depth map and surface normals. We demonstrate that 3D reconstruction from shadows can even outperform shape-from-shading in certain cases. To the best of our knowledge, our method is the first to reconstruct 3D shape-from-shadows using neural networks. The method does not require any pre-training or expensive labeled data, and is optimized during inference time.


title: Inverse design of broadband, strongly-coupled plexcitonic nonlinear metasurfaces

abstract: Hybrid photonic structures of plasmonic metasurfaces coupled to atomically thin semiconductors have emerged as a versatile platform for strong light-matter interaction, supporting both strong coupling and parametric nonlinearities. However, designing optimized nonlinear hybrid metasurfaces is a complex task, as the multiple parameters' contribution to the nonlinear response is elusive. Here we present a simple yet powerful strategy for maximizing the nonlinear response of the hybrid structures based on evolutionary inverse design of the metasurface's near-field enhancement around the excitonic frequency. We show that the strong coupling greatly enhances the nonlinear signal, and that its magnitude is mainly determined by the Rabi splitting, making it robust to geometrical variations of the metasurface. Furthermore, the large Rabi splitting attained by these hybrid structures enables broadband operation over the frequencies of the hybridized modes. Our results constitute a significant step towards achieving flexible nonlinear control, which can benefit applications in nonlinear frequency conversion, all-optical switching, and phase-controlled nonlinear metasurfaces.


title: Triangular structures on flat Lie algebras

abstract: In this work we study a large class of exact Lie bialgebras arising from noncommutative deformations of Poisson-Lie groups endowed with a left invariant Riemannian metric. We call these structures \emph{exact metaflat Lie bialgebras}. We give a complete classification of these structures. We show that given the metaflatness geometrical condition, these exact bialgebra structures arise necessarily from a nontrivial solution of the classical Yang-Baxter equation. Moreover, the dual Lie bialgebra is also flat and metaflat constituting an important kind of symmetry.


title: Face Verification Bypass

abstract: Face verification systems aim to validate the claimed identity using feature vectors and distance metrics. However, no attempt has been made to bypass such a system using generated images that are constrained by the same feature vectors. In this work, we train StarGAN v2 to generate diverse images based on a human user, that have similar feature vectors yet qualitatively look different. We then demonstrate a proof of concept on a custom face verification system and verify our claims by demonstrating the same proof of concept in a black box setting on dating applications that utilize similar face verification systems.


title: Leveraging Tactile Sensors for Low Latency Embedded Smart Hands for Prosthetic and Robotic Applications

abstract: Tactile sensing is a crucial perception mode for robots and human amputees in need of controlling a prosthetic device. Today robotic and prosthetic systems are still missing the important feature of accurate tactile sensing. This lack is mainly due to the fact that the existing tactile technologies have limited spatial and temporal resolution and are either expensive or not scalable. In this paper, we present the design and the implementation of a hardware-software embedded system called SmartHand. It is specifically designed to enable the acquisition and the real-time processing of high-resolution tactile information from a hand-shaped multi-sensor array for prosthetic and robotic applications. During data collection, our system can deliver a high throughput of 100 frames per second, which is 13.7x higher than previous related work. We collected a new tactile dataset while interacting with daily-life objects during five different sessions. We propose a compact yet accurate convolutional neural network that requires one order of magnitude less memory and 15.6x fewer computations compared to related work without degrading classification accuracy. The top-1 and top-3 cross-validation accuracies are respectively 98.86% and 99.83%. We further analyze the inter-session variability and obtain the best top-3 leave-one-out-validation accuracy of 77.84%. We deploy the trained model on a high-performance ARM Cortex-M7 microcontroller achieving an inference time of only 100 ms minimizing the response latency. The overall measured power consumption is 505 mW. Finally, we fabricate a new control sensor and perform additional experiments to provide analyses on sensor degradation and slip detection. This work is a step forward in giving robotic and prosthetic devices a sense of touch and demonstrates the practicality of a smart embedded system empowered by tiny machine learning.


title: Is there a polaron signature in angle-resolved photoemission of CsPbBr3?

abstract: The formation of large polarons has been proposed as reason for the high defect tolerance, low mobility, low charge carrier trapping and low nonradiative recombination rates of lead halide perovskites. Recently, direct evidence for large-polaron formation has been reported from a 50% effective mass enhancement in angle-resolved photoemission of CsPbBr3 over theory for the orthorhombic structure. We present in-depth band dispersion measurements of CsPbBr3 and GW calculations which lead to almost identical effective masses at the valence band maximum of 0.203+/-0.016 m0 in experiment and 0.226 m0 in orthorhombic theory. We argue that the effective mass can be explained solely on the basis of electron-electron correlation and large-polaron formation cannot be concluded from photoemission data.


title: User Driven Model Adjustment via Boolean Rule Explanations

abstract: AI solutions are heavily dependant on the quality and accuracy of the input training data, however the training data may not always fully reflect the most up-to-date policy landscape or may be missing business logic. The advances in explainability have opened the possibility of allowing users to interact with interpretable explanations of ML predictions in order to inject modifications or constraints that more accurately reflect current realities of the system. In this paper, we present a solution which leverages the predictive power of ML models while allowing the user to specify modifications to decision boundaries. Our interactive overlay approach achieves this goal without requiring model retraining, making it appropriate for systems that need to apply instant changes to their decision making. We demonstrate that user feedback rules can be layered with the ML predictions to provide immediate changes which in turn supports learning with less data.


title: Semantic Motion Correction Via Iterative Nonlinear Optimization and Animation

abstract: Here, we present an end-to-end method to create 2D animation for a goalkeeper attempting to block a penalty kick, and then correct that motion using an iterative nonlinear optimization scheme. The input is a raw video that is fed into pose and object detection networks to find the skeleton of the goalkeeper and the ball. The output is a set of key frames of the skeleton associated with the corrected motion so that if the goalkeeper missed the ball, the animation will show then successfully deflecting it. Our method is robust enough correct different kinds of mistakes the goalkeeper can make, such as not lunging far enough or jumping to the incorrect side. Our method is also meant to be semantically similar to the goalkeeper's original motion, which helps keep our animation grounded with respect to actual human behavior.


title: Understanding Questions that Arise When Working with Business Documents

abstract: While digital assistants are increasingly used to help with various productivity tasks, less attention has been paid to employing them in the domain of business documents. To build an agent that can handle users' information needs in this domain, we must first understand the types of assistance that users desire when working on their documents. In this work, we present results from two user studies that characterize the information needs and queries of authors, reviewers, and readers of business documents. In the first study, we used experience sampling to collect users' questions in-situ as they were working with their documents, and in the second, we built a human-in-the-loop document Q&A system which rendered assistance with a variety of users' questions. Our results have implications for the design of document assistants that complement AI with human intelligence including whether particular skillsets or roles within the document are needed from human respondents, as well as the challenges around such systems.


title: Giotto e Galileu: novos olhares sobre o C\'eu e sobre o Livro da Natureza

abstract: In this work, an attempt is presented to understand the contribution of Galileo Galilei in the field of the History of Ideas, from the moment he points a spyglass to the sky. For that, it was previously necessary that Giotto painting the sky in blue. We reconstruct this fascinating trajectory between the 13th and 17th centuries in Europe, relating different practices and knowledges, as well as discussing the scientific and philosophical thought of that time. The main thesis of this essay is to show that Giotto, who painted the sky blue in a culture that wanted it to be golden, followed a conceptual path very similar to that followed by Galileo centuries later.


title: A Comparison of Hamming Errors of Representative Variable Selection Methods

abstract: Lasso is a celebrated method for variable selection in linear models, but it faces challenges when the variables are moderately or strongly correlated. This motivates alternative approaches such as using a non-convex penalty, adding a ridge regularization, or conducting a post-Lasso thresholding. In this paper, we compare Lasso with 5 other methods: Elastic net, SCAD, forward selection, thresholded Lasso, and forward backward selection. We measure their performances theoretically by the expected Hamming error, assuming that the regression coefficients are iid drawn from a two-point mixture and that the Gram matrix is block-wise diagonal. By deriving the rates of convergence of Hamming errors and the phase diagrams, we obtain useful conclusions about the pros and cons of different methods.


title: Neurosymbolic hybrid approach to driver collision warning

abstract: There are two main algorithmic approaches to autonomous driving systems: (1) An end-to-end system in which a single deep neural network learns to map sensory input directly into appropriate warning and driving responses. (2) A mediated hybrid recognition system in which a system is created by combining independent modules that detect each semantic feature. While some researchers believe that deep learning can solve any problem, others believe that a more engineered and symbolic approach is needed to cope with complex environments with less data. Deep learning alone has achieved state-of-the-art results in many areas, from complex gameplay to predicting protein structures. In particular, in image classification and recognition, deep learning models have achieved accuracies as high as humans. But sometimes it can be very difficult to debug if the deep learning model doesn't work. Deep learning models can be vulnerable and are very sensitive to changes in data distribution. Generalization can be problematic. It's usually hard to prove why it works or doesn't. Deep learning models can also be vulnerable to adversarial attacks. Here, we combine deep learning-based object recognition and tracking with an adaptive neurosymbolic network agent, called the Non-Axiomatic Reasoning System (NARS), that can adapt to its environment by building concepts based on perceptual sequences. We achieved an improved intersection-over-union (IOU) object recognition performance of 0.65 in the adaptive retraining model compared to IOU 0.31 in the COCO data pre-trained model. We improved the object detection limits using RADAR sensors in a simulated environment, and demonstrated the weaving car detection capability by combining deep learning-based object detection and tracking with a neurosymbolic model.


title: How to grow a flat leaf

abstract: Growing a flat lamina such as a leaf is almost impossible without some feedback to stabilize long wavelength modes that are easy to trigger since they are energetically cheap. Here we combine the physics of thin elastic plates with feedback control theory to explore how a leaf can remain flat while growing. We investigate both in-plane (metric) and out-of-plane (curvature) growth variation and account for both local and nonlocal feedback laws. We show that a linearized feedback theory that accounts for both spatially nonlocal and temporally delayed effects suffices to suppress long wavelength fluctuations effectively and explains recently observed statistical features of growth in tobacco leaves. Our work provides a framework for understanding the regulation of the shape of leaves and other laminar objects.


title: CD-Net: Histopathology Representation Learning using Pyramidal Context-Detail Network

abstract: Extracting rich phenotype information, such as cell density and arrangement, from whole slide histology images (WSIs), requires analysis of large field of view, i.e more contexual information. This can be achieved through analyzing the digital slides at lower resolution. A potential drawback is missing out on details present at a higher resolution. To jointly leverage complementary information from multiple resolutions, we present a novel transformer based Pyramidal Context-Detail Network (CD-Net). CD-Net exploits the WSI pyramidal structure through co-training of proposed Context and Detail Modules, which operate on inputs from multiple resolutions. The residual connections between the modules enable the joint training paradigm while learning self-supervised representation for WSIs. The efficacy of CD-Net is demonstrated in classifying Lung Adenocarcinoma from Squamous cell carcinoma.


title: Rotor-Routing Induces the Only Consistent Sandpile Torsor Structure on Plane Graphs

abstract: We make precise and prove a conjecture of Klivans about actions of the sandpile group on spanning trees. More specifically, the conjecture states that there exists a unique ``suitably nice'' sandpile torsor structure on plane graphs which is induced by rotor-routing. First, we rigorously define a sandpile torsor algorithm (on plane graphs) to be a map which associates each plane graph (i.e., planar graph with an appropriate ribbon structure) with a free transitive action of its sandpile group on its spanning trees. Then, we define a notion of consistency, which requires a torsor algorithm to be preserved with respect to a certain class of contractions and deletions. Using these definitions, we show that the rotor-routing sandpile torsor algorithm is consistent. Furthermore, we demonstrate that there are only three other consistent algorithms on plane graphs, which all have the same structure as rotor-routing. We also define sandpile torsor algorithms on regular matroids and suggest a notion of consistency in this context. We conjecture that the Backman-Baker-Yuen algorithm is consistent, and that there are only three other consistent sandpile torsor algorithms on regular matroids, all with the same structure.


title: Photometric and Spectroscopic Analysis of the SX Phe Star BL Cam

abstract: In the present paper, we report the photometric and spectroscopic observations obtained by the 1.88 m telescope at the Kottamia astronomical observatory of the pulsating star BL Cam. Fourier analysis of the light curves reveals that the fundamental mode has two harmonics. The O-C method is used to establish the period changes. So far, the analysis has been very successful in mapping the pulsation amplitude of the star across the instability strip. By using the formalism of Eddington and Plakidis (1929), we found significant results and strong indications of the evolutionary period change. A total of 55 new maximum light timings are reported. New values of (1/P) dP/dt are estimated using the O-C diagram based on all newly obtained times of maximum light combined with those taken from the literature, assuming the periods are decreasing and changing smoothly. To compute the effective temperature and surface gravity of the star, we performed model atmosphere analysis on its spectra. The physical parameters of the star are calculated and compared with the evolutionary models.


title: Word Discovery in Visually Grounded, Self-Supervised Speech Models

abstract: We present a method for visually-grounded spoken term discovery. After training either a HuBERT or wav2vec2.0 model to associate spoken captions with natural images, we show that powerful word segmentation and clustering capability emerges within the model's self-attention heads. Our experiments reveal that this ability is not present to nearly the same extent in the base HuBERT and wav2vec2.0 models, suggesting that the visual grounding task is a crucial component of the word discovery capability we observe. We also evaluate our method on the Buckeye word segmentation and ZeroSpeech spoken term discovery tasks, where we perform on par with or better than currently published methods on several metrics. Code and model weights are available at https://github.com/jasonppy/word-discovery.


title: Iterative, Deep Synthetic Aperture Sonar Image Segmentation

abstract: Synthetic aperture sonar (SAS) systems produce high-resolution images of the seabed environment. Moreover, deep learning has demonstrated superior ability in finding robust features for automating imagery analysis. However, the success of deep learning is conditioned on having lots of labeled training data, but obtaining generous pixel-level annotations of SAS imagery is often practically infeasible. This challenge has thus far limited the adoption of deep learning methods for SAS segmentation. Algorithms exist to segment SAS imagery in an unsupervised manner, but they lack the benefit of state-of-the-art learning methods and the results present significant room for improvement. In view of the above, we propose a new iterative algorithm for unsupervised SAS image segmentation combining superpixel formation, deep learning, and traditional clustering methods. We call our method Iterative Deep Unsupervised Segmentation (IDUS). IDUS is an unsupervised learning framework that can be divided into four main steps: 1) A deep network estimates class assignments. 2) Low-level image features from the deep network are clustered into superpixels. 3) Superpixels are clustered into class assignments (which we call pseudo-labels) using $k$-means. 4) Resulting pseudo-labels are used for loss backpropagation of the deep network prediction. These four steps are performed iteratively until convergence. A comparison of IDUS to current state-of-the-art methods on a realistic benchmark dataset for SAS image segmentation demonstrates the benefits of our proposal even as the IDUS incurs a much lower computational burden during inference (actual labeling of a test image). Finally, we also develop a semi-supervised (SS) extension of IDUS called IDSS and demonstrate experimentally that it can further enhance performance while outperforming supervised alternatives that exploit the same labeled training imagery.


title: Observing and braiding topological Majorana modes on programmable quantum simulators

abstract: Electrons are indivisible elementary particles, yet paradoxically a collection of them can act as a fraction of a single electron, exhibiting exotic and useful properties. One such collective excitation, known as a topological Majorana mode, is naturally stable against perturbations, such as unwanted local noise, and can thereby robustly store quantum information. As such, Majorana modes serve as the basic primitive of topological quantum computing, providing resilience to errors. However, their demonstration on quantum hardware has remained elusive. Here, we demonstrate a verifiable identification and braiding of topological Majorana modes using a superconducting quantum processor as a quantum simulator. By simulating fermions on a one-dimensional lattice subject to a periodic drive, we confirm the existence of Majorana modes localized at the edges, and distinguish them from other trivial modes. To simulate a basic logical operation of topological quantum computing known as braiding, we propose a non-adiabatic technique, whose implementation reveals correct braiding statistics in our experiments. This work could further be used to study topological models of matter using circuit-based simulations, and shows that long-sought quantum phenomena can be realized by anyone in cloud-run quantum simulations, whereby accelerating fundamental discoveries in quantum science and technology.


title: Symmetric ordering and Weyl realizations for quantum Minkowski spaces

abstract: Symmetric ordering and Weyl realizations for non commutative quantum Minkowski spaces are reviewed. Weyl realizations of Lie deformed spaces and corresponding star products, as well as twist corresponding to Weyl realization and coproduct of momenta are presented. Drinfeld twists understood in Hopf algebroid sense are also discussed. A few examples of corresponding Weyl realizations are given. We show that for the original Snyder space there exists symmetric ordering, but no Weyl realization. Quadratic deformations of Minkowski space are considered and it is demonstrated that symmetric ordering is deformed and a generalized Weyl realization can be defined.


title: Efficient and flexible causal mediation with time-varying mediators, treatments, and confounders

abstract: Interventional effects have been proposed as a solution to the unidentifiability of natural (in)direct effects under mediator-outcome confounders affected by the exposure. Such confounders are an intrinsic characteristic of studies with time-varying exposures and mediators, yet the generalization of the interventional effect framework to the time-varying case has received little attention in the literature. We present an identification result for interventional effects in a general longitudinal data structure that allows flexibility in the specification of treatment-outcome, treatment-mediator, and mediator-outcome relationships. Identification is achieved under the standard no-unmeasured-confounders and positivity assumptions. We also present a theoretical and computational study of the properties of the identifying functional based on the efficient influence function (EIF). We use the EIF to propose a sequential regression estimation algorithm that yields doubly robust, $\sqrt{n}$-consistent, asymptotically Gaussian, and efficient estimators under slow convergence rates for the regression algorithms used. This allows the use of flexible machine learning for regression while permitting uncertainty quantification through confidence intervals and p-values. A free and open source \texttt{R} package implementing our proposed estimators is made available on GitHub. We apply the proposed estimator to an application from a comparative effectiveness trial of two medications for opioid use disorder. In the application, we estimate the extent to which differences between the two treatments' on subsequent risk of opioid use is mediated by craving symptoms.


title: X-Pool: Cross-Modal Language-Video Attention for Text-Video Retrieval

abstract: In text-video retrieval, the objective is to learn a cross-modal similarity function between a text and a video that ranks relevant text-video pairs higher than irrelevant pairs. However, videos inherently express a much wider gamut of information than texts. Instead, texts often capture sub-regions of entire videos and are most semantically similar to certain frames within videos. Therefore, for a given text, a retrieval model should focus on the text's most semantically similar video sub-regions to make a more relevant comparison. Yet, most existing works aggregate entire videos without directly considering text. Common text-agnostic aggregations schemes include mean-pooling or self-attention over the frames, but these are likely to encode misleading visual information not described in the given text. To address this, we propose a cross-modal attention model called X-Pool that reasons between a text and the frames of a video. Our core mechanism is a scaled dot product attention for a text to attend to its most semantically similar frames. We then generate an aggregated video representation conditioned on the text's attention weights over the frames. We evaluate our method on three benchmark datasets of MSR-VTT, MSVD and LSMDC, achieving new state-of-the-art results by up to 12% in relative improvement in Recall@1. Our findings thereby highlight the importance of joint text-video reasoning to extract important visual cues according to text. Full code and demo can be found at: https://layer6ai-labs.github.io/xpool/


title: The glass-forming ability of binary Lennard-Jones systems

abstract: The glass-forming ability (GFA) of alloys, colloidal dispersions, and other particulate materials, as measured by the critical cooling rate $R_c$, can span more than ten orders of magnitude. Even after numerous previous studies, the physical features that control the GFA are still not well understood. For example, it is well-known that mixtures are better glass-formers than monodisperse systems and that particle size and cohesive energy differences among constituents improve the GFA, but it is not currently known how particle size differences couple to cohesive energy differences to determine the GFA. We perform molecular dynamics simulations to determine the GFA of equimolar, binary Lennard-Jones (LJ) mixtures versus the normalized cohesive energy difference $\epsilon_\_$ and mixing energy $\bar \epsilon_{AB}$ between particles A and B. We find several important results. First, the $\log_{10} R_c$ contours in the $\bar \epsilon_{AB}$-$\epsilon_\_$ plane are ellipsoidal for all diameter ratios, and thus $R_c$ is determined by the Mahalanobis distance $d_M$ from a given point in the $\bar \epsilon_{AB}$-$\epsilon_\_$ plane to the center of the ellipsoidal contours. Second, LJ systems for which the larger particles have larger cohesive energy are generally better glass formers than those for which the larger particles have smaller cohesive energy. Third, $d_M(\epsilon_\_,\bar \epsilon_{AB})$ is determined by the relative Voronoi volume difference between particles and local chemical order $S_{AB}$, which gives the average fraction of nearest-neighbor B particles surrounding an A particle and vice-versa. In particular, the shifted Mahalanobis distance $d_M - d^0_M$ versus the shifted chemical order $S_{AB}-S_{AB}^0$ collapses onto a hyperbolic master curve for all diameter ratios.


title: Surface-induced decoherence and heating of charged particles

abstract: Levitating charged particles in ultra-high vacuum provides a preeminent platform for quantum information processing, for quantum-enhanced force and torque sensing, for probing physics beyond the standard model, and for high-mass tests of the quantum superposition principle. Existing setups range from single atomic ions, to ion chains and crystals, to charged molecules and nanoparticles. Future technological applications of such quantum systems will be crucially affected by fluctuating electric fields emanating from nearby electrodes, which interact with the levitated particles' monopole and higher charge moments. In this article, we provide a theoretical toolbox for describing how the rotational and translational quantum dynamics of charged nano- to microscale objects is affected by near metallic and dielectric surfaces, as characterized by their macroscopic dielectric response. The resulting quantum master equations describe the coherent surface-particle interaction, due to image charges and Casimir-Polder potentials, as well as surface-induced decoherence and heating, with the experimentally observed frequency and distance scaling. We explicitly evaluate the master equations for typical charge distributions and types of motion, thereby providing the tools required for describing and mitigating surface-induced decoherence in a variety of experiments with charged objects.


title: Learning Optical Flow, Depth, and Scene Flow without Real-World Labels

abstract: Self-supervised monocular depth estimation enables robots to learn 3D perception from raw video streams. This scalable approach leverages projective geometry and ego-motion to learn via view synthesis, assuming the world is mostly static. Dynamic scenes, which are common in autonomous driving and human-robot interaction, violate this assumption. Therefore, they require modeling dynamic objects explicitly, for instance via estimating pixel-wise 3D motion, i.e. scene flow. However, the simultaneous self-supervised learning of depth and scene flow is ill-posed, as there are infinitely many combinations that result in the same 3D point. In this paper we propose DRAFT, a new method capable of jointly learning depth, optical flow, and scene flow by combining synthetic data with geometric self-supervision. Building upon the RAFT architecture, we learn optical flow as an intermediate task to bootstrap depth and scene flow learning via triangulation. Our algorithm also leverages temporal and geometric consistency losses across tasks to improve multi-task learning. Our DRAFT architecture simultaneously establishes a new state of the art in all three tasks in the self-supervised monocular setting on the standard KITTI benchmark. Project page: https://sites.google.com/tri.global/draft.


title: New pyramidal hybrid textural and deep features based automatic skin cancer classification model: Ensemble DarkNet and textural feature extractor

abstract: Background: Skin cancer is one of the widely seen cancer worldwide and automatic classification of skin cancer can be benefited dermatology clinics for an accurate diagnosis. Hence, a machine learning-based automatic skin cancer detection model must be developed. Material and Method: This research interests to overcome automatic skin cancer detection problem. A colored skin cancer image dataset is used. This dataset contains 3297 images with two classes. An automatic multilevel textural and deep features-based model is presented. Multilevel fuse feature generation using discrete wavelet transform (DWT), local phase quantization (LPQ), local binary pattern (LBP), pre-trained DarkNet19, and DarkNet53 are utilized to generate features of the skin cancer images, top 1000 features are selected threshold value-based neighborhood component analysis (NCA). The chosen top 1000 features are classified using the 10-fold cross-validation technique. Results: To obtain results, ten-fold cross-validation is used and 91.54% classification accuracy results are obtained by using the recommended pyramidal hybrid feature generator and NCA selector-based model. Further, various training and testing separation ratios (90:10, 80:20, 70:30, 60:40, 50:50) are used and the maximum classification rate is calculated as 95.74% using the 90:10 separation ratio. Conclusions: The findings and accuracies calculated are denoted that this model can be used in dermatology and pathology clinics to simplify the skin cancer detection process and help physicians.


title: Hydrodynamics for one-dimensional ASEP in contact with a class of reservoirs

abstract: We study the hydrodynamic behaviour of the asymmetric simple exclusion process on the lattice of size $n$. In the bulk, the exclusion dynamics performs rightward flux. At the boundaries, the dynamics is attached to reservoirs. We investigate two types of reservoirs: (1) the reservoirs that are weakened by $n^\theta$ for some $\theta<0$ and (2) the reservoirs that create particles only at the right boundary and annihilate particles only at the left boundary. We prove that the spatial density of particles, under the hyperbolic time scale, evolves with the entropy solution to a scalar conservation law on $[0,1]$ with boundary conditions. The boundary conditions are characterised by the boundary traces at $x=0$ and $x=1$ which take values from $\{0,1\}$.


title: Improved singing voice separation with chromagram-based pitch-aware remixing

abstract: Singing voice separation aims to separate music into vocals and accompaniment components. One of the major constraints for the task is the limited amount of training data with separated vocals. Data augmentation techniques such as random source mixing have been shown to make better use of existing data and mildly improve model performance. We propose a novel data augmentation technique, chromagram-based pitch-aware remixing, where music segments with high pitch alignment are mixed. By performing controlled experiments in both supervised and semi-supervised settings, we demonstrate that training models with pitch-aware remixing significantly improves the test signal-to-distortion ratio (SDR)


title: Guns, Zombies, and Steelhead Axes: cost-effective recommendations for surviving human societies

abstract: In pop culture, there are many strategies to curtail zombie apocalypses. However, it remains unclear what routes we should take to eliminate zombies effectively and affordably. So, we created a mathematical model to examine interventions that armed adults with steelhead axes or provided enough ammunition and a 9mm handgun to kill zombies in either a "single-tap" or "double-tap". We investigate each case over two years under slow, moderate speed, and fast zombies scenarios. We quantify health burden by zombies averted, disability-adjusted life-years averted, and determine cost-effectiveness using the incremental cost-effectiveness ratio. Our predictions show the single=tap intervention is the best for stopping the zombie apocalypse, as it would avert hundreds of millions of zombies and deaths while also being the most cost-effective intervention. Altogether, this suggests conserving ammunition and supplying ranged weapons would be an effective use of limited resources in the event of a zombie uprising.


title: Matroid schemes and geometric posets

abstract: The intersection data of a hyperplane arrangement is described by a geometric lattice, or equivalently a simple matroid. There is a rich interplay between this combinatorial structure and the topology of the arrangement complement. In this paper, we characterize the combinatorial structure underlying an abelian arrangement (such as a toric or elliptic arrangement) by defining a class of geometric posets and a generalization of matroids called matroid schemes. The intersection data of an abelian arrangement is encoded in a geometric poset, and we prove that a geometric poset is equivalent to a simple matroid scheme. We lay foundations for the theory of matroid schemes, discussing rank, flats, and independence. We also extend the definition of the Tutte polynomial to this setting and prove that it satisfies a deletion-contraction recurrence.


title: Robust Speaker Recognition with Transformers Using wav2vec 2.0

abstract: Recent advances in unsupervised speech representation learning discover new approaches and provide new state-of-the-art for diverse types of speech processing tasks. This paper presents an investigation of using wav2vec 2.0 deep speech representations for the speaker recognition task. The proposed fine-tuning procedure of wav2vec 2.0 with simple TDNN and statistic pooling back-end using additive angular margin loss allows to obtain deep speaker embedding extractor that is well-generalized across different domains. It is concluded that Contrastive Predictive Coding pretraining scheme efficiently utilizes the power of unlabeled data, and thus opens the door to powerful transformer-based speaker recognition systems. The experimental results obtained in this study demonstrate that fine-tuning can be done on relatively small sets and a clean version of data. Using data augmentation during fine-tuning provides additional performance gains in speaker verification. In this study speaker recognition systems were analyzed on a wide range of well-known verification protocols: VoxCeleb1 cleaned test set, NIST SRE 18 development set, NIST SRE 2016 and NIST SRE 2019 evaluation set, VOiCES evaluation set, NIST 2021 SRE, and CTS challenges sets.


title: Exactness of limits and colimits in abelian categories revisited

abstract: Let $\Sigma$ be a small category and $\mathcal{A}$ be a $\Sigma$-co-complete (resp. $\Sigma$-complete) abelian category. It is a well-known fact that the category $\operatorname{Fun}(\Sigma,\mathcal{A})$ of functors of $\Sigma$ in $\mathcal{A}$ is an abelian category, and that the functor $\mathsf{colim}_\Sigma(-):\operatorname{Fun}(\Sigma,\mathcal{A})\rightarrow\mathcal{A}$ (resp. $\mathsf{lim}_{\Sigma}(-):\operatorname{Fun}(\Sigma,\mathcal{A})\rightarrow\mathcal{A}$) is left (resp. right) adjoint to $\kappa^{\Sigma}:\mathcal{A}\rightarrow\operatorname{Fun}(\Sigma,\mathcal{A})$, where $\kappa^{\Sigma}$ is the associated constant diagram functor. In this paper we will show that the functor $\mathsf{colim}_\Sigma(-)$ (resp. $\mathsf{lim}_{\Sigma}(-)$) is exact if and only if the pair of functors $\left(\mathsf{colim}_\Sigma(-),\kappa^{\Sigma}\right)$ (resp. $\left(\kappa^{\Sigma},\mathsf{lim}_{\Sigma}(-)\right)$) is Ext-adjoint. As an application of our findings, we will give new proofs of known results on the exactness of limits and colimits in abelian categories.


title: Dissipation-preserving discretization of the Cahn--Hilliard equation with dynamic boundary conditions

abstract: This paper deals with time stepping schemes for the Cahn--Hilliard equation with three different types of dynamic boundary conditions. The proposed schemes of first and second order are mass-conservative and energy-dissipative and -- as they are based on a formulation as a coupled system of partial differential equations -- allow different spatial discretizations in the bulk and on the boundary. The latter enables refinements on the boundary without an adaptation of the mesh in the interior of the domain. The resulting computational gain is illustrated in numerical experiments.


title: Poincar\'e dualization and Massey products

abstract: We study the rational homotopy theoretic and geometric properties of a construction which extends any cohomologically connected, finite type cdga to one satisfying cohomological Poincar\'e duality. Using this construction we show that non-trivial quadruple Massey products can pull back trivially under non-zero degree maps of Poincar\'e duality spaces, unlike the case of triple Massey products as studied by Taylor. We also show that a non-zero degree map between formal rational Poincar\'e duality spaces need not be formal. Our consideration of Massey products naturally ties in with cyclic $A_\infty$-algebras modelling Poincar\'e duality spaces.


title: LogicInference: A New Dataset for Teaching Logical Inference to seq2seq Models

abstract: Machine learning models such as Transformers or LSTMs struggle with tasks that are compositional in nature such as those involving reasoning/inference. Although many datasets exist to evaluate compositional generalization, when it comes to evaluating inference abilities, options are more limited. This paper presents LogicInference, a new dataset to evaluate the ability of models to perform logical inference. The dataset focuses on inference using propositional logic and a small subset of first-order logic, represented both in semi-formal logical notation, as well as in natural language. We also report initial results using a collection of machine learning models to establish an initial baseline in this dataset.


title: Understanding out-of-distribution accuracies through quantifying difficulty of test samples

abstract: Existing works show that although modern neural networks achieve remarkable generalization performance on the in-distribution (ID) dataset, the accuracy drops significantly on the out-of-distribution (OOD) datasets \cite{recht2018cifar, recht2019imagenet}. To understand why a variety of models consistently make more mistakes in the OOD datasets, we propose a new metric to quantify the difficulty of the test images (either ID or OOD) that depends on the interaction of the training dataset and the model. In particular, we introduce \textit{confusion score} as a label-free measure of image difficulty which quantifies the amount of disagreement on a given test image based on the class conditional probabilities estimated by an ensemble of trained models. Using the confusion score, we investigate CIFAR-10 and its OOD derivatives. Next, by partitioning test and OOD datasets via their confusion scores, we predict the relationship between ID and OOD accuracies for various architectures. This allows us to obtain an estimator of the OOD accuracy of a given model only using ID test labels. Our observations indicate that the biggest contribution to the accuracy drop comes from images with high confusion scores. Upon further inspection, we report on the nature of the misclassified images grouped by their confusion scores: \textit{(i)} images with high confusion scores contain \textit{weak spurious correlations} that appear in multiple classes in the training data and lack clear \textit{class-specific features}, and \textit{(ii)} images with low confusion scores exhibit spurious correlations that belong to another class, namely \textit{class-specific spurious correlations}.


title: Federated Named Entity Recognition

abstract: We present an analysis of the performance of Federated Learning in a paradigmatic natural-language processing task: Named-Entity Recognition (NER). For our evaluation, we use the language-independent CoNLL-2003 dataset as our benchmark dataset and a Bi-LSTM-CRF model as our benchmark NER model. We show that federated training reaches almost the same performance as the centralized model, though with some performance degradation as the learning environments become more heterogeneous. We also show the convergence rate of federated models for NER. Finally, we discuss existing challenges of Federated Learning for NLP applications that can foster future research directions.


title: Rethinking Semantic Segmentation: A Prototype View

abstract: Prevalent semantic segmentation solutions, despite their different network designs (FCN based or attention based) and mask decoding strategies (parametric softmax based or pixel-query based), can be placed in one category, by considering the softmax weights or query vectors as learnable class prototypes. In light of this prototype view, this study uncovers several limitations of such parametric segmentation regime, and proposes a nonparametric alternative based on non-learnable prototypes. Instead of prior methods learning a single weight/query vector for each class in a fully parametric manner, our model represents each class as a set of non-learnable prototypes, relying solely on the mean features of several training pixels within that class. The dense prediction is thus achieved by nonparametric nearest prototype retrieving. This allows our model to directly shape the pixel embedding space, by optimizing the arrangement between embedded pixels and anchored prototypes. It is able to handle arbitrary number of classes with a constant amount of learnable parameters. We empirically show that, with FCN based and attention based segmentation models (i.e., HRNet, Swin, SegFormer) and backbones (i.e., ResNet, HRNet, Swin, MiT), our nonparametric framework yields compelling results over several datasets (i.e., ADE20K, Cityscapes, COCO-Stuff), and performs well in the large-vocabulary situation. We expect this work will provoke a rethink of the current de facto semantic segmentation model design.


title: Adversarial Motion Priors Make Good Substitutes for Complex Reward Functions

abstract: Training a high-dimensional simulated agent with an under-specified reward function often leads the agent to learn physically infeasible strategies that are ineffective when deployed in the real world. To mitigate these unnatural behaviors, reinforcement learning practitioners often utilize complex reward functions that encourage physically plausible behaviors. However, a tedious labor-intensive tuning process is often required to create hand-designed rewards which might not easily generalize across platforms and tasks. We propose substituting complex reward functions with "style rewards" learned from a dataset of motion capture demonstrations. A learned style reward can be combined with an arbitrary task reward to train policies that perform tasks using naturalistic strategies. These natural strategies can also facilitate transfer to the real world. We build upon Adversarial Motion Priors -- an approach from the computer graphics domain that encodes a style reward from a dataset of reference motions -- to demonstrate that an adversarial approach to training policies can produce behaviors that transfer to a real quadrupedal robot without requiring complex reward functions. We also demonstrate that an effective style reward can be learned from a few seconds of motion capture data gathered from a German Shepherd and leads to energy-efficient locomotion strategies with natural gait transitions.


title: FedADMM: A Federated Primal-Dual Algorithm Allowing Partial Participation

abstract: Federated learning is a framework for distributed optimization that places emphasis on communication efficiency. In particular, it follows a client-server broadcast model and is particularly appealing because of its ability to accommodate heterogeneity in client compute and storage resources, non-i.i.d. data assumptions, and data privacy. Our contribution is to offer a new federated learning algorithm, FedADMM, for solving non-convex composite optimization problems with non-smooth regularizers. We prove converges of FedADMM for the case when not all clients are able to participate in a given communication round under a very general sampling model.


title: In search of the ground state crystal structure of Ta$_2$O$_5$ from ab-initio and Monte Carlo simulations

abstract: Tantalum oxides (Ta$_2$O$_5$) are characterised by attractive physical and chemical properties, such as high dielectric constants and anti-reflection behaviour. Recently, Ta$_2$O$_5$ nanoparticles have also been proposed as possible enhancers of the relative biological effectiveness in hadrontherapy for cancer treatment. In principle, their electronic properties can be accurately investigated from first-principles simulations. However, the existence of several stable polymorphs of these oxides represents a major difficulty in order to calculate and disentangle their respective spectral features. To assess this problem, we use linear-response time-dependent density functional to investigate the energy loss function $\mbox{Im} (-1/\bar{\epsilon})$, which is a unique fingerprint of the material, in the optical limit for various polymorphs. We show that the experimental reflection energy loss signals can be rationalized and interpreted by assuming that the $\gamma$-phase of Ta$_2$O$_5$ represents the underlying structural model. We notice that both the inclusion of local field effects and spin-orbit coupling are crucial to compute the energy loss functions of this material. Finally, to further validate the $\gamma$-Ta$_2$O$_5$ polymorph as a model for experimental tantalum oxide, we compute the reflection energy loss spectra using a Monte Carlo approach, finding an excellent agreement with the experimental data.


title: Investigation of Different Calibration Methods for Deep Speaker Embedding based Verification Systems

abstract: Deep speaker embedding extractors have already become new state-of-the-art systems in the speaker verification field. However, the problem of verification score calibration for such systems often remains out of focus. An irrelevant score calibration leads to serious issues, especially in the case of unknown acoustic conditions, even if we use a strong speaker verification system in terms of threshold-free metrics. This paper presents an investigation over several methods of score calibration: a classical approach based on the logistic regression model; the recently presented magnitude estimation network MagnetO that uses activations from the pooling layer of the trained deep speaker extractor and generalization of such approach based on separate scale and offset prediction neural networks. An additional focus of this research is to estimate the impact of score normalization on the calibration performance of the system. The obtained results demonstrate that there are no serious problems if in-domain development data are used for calibration tuning. Otherwise, a trade-off between good calibration performance and threshold-free system quality arises. In most cases using adaptive s-norm helps to stabilize score distributions and to improve system performance. Meanwhile, some experiments demonstrate that novel approaches have their limits in score stabilization on several datasets.


title: Motion Planning for Agile Legged Locomotion using Failure Margin Constraints

abstract: The complex dynamics of agile robotic legged locomotion requires motion planning to intelligently adjust footstep locations. Often, bipedal footstep and motion planning use mathematically simple models such as the linear inverted pendulum, instead of dynamically-rich models that do not have closed-form solutions. We propose a real-time optimization method to plan for dynamical models that do not have closed form solutions and experience irrecoverable failure. Our method uses a data-driven approximation of the step-to-step dynamics and of a failure margin function. This failure margin function is an oriented distance function in state-action space where it describes the signed distance to success or failure. The motion planning problem is formed as a nonlinear program with constraints that enforce the approximated forward dynamics and the validity of state-action pairs. For illustration, this method is applied to create a planner for an actuated spring-loaded inverted pendulum model. In an ablation study, the failure margin constraints decreased the number of invalid solutions by between 24 and 47 percentage points across different objectives and horizon lengths. While we demonstrate the method on a canonical model of locomotion, we also discuss how this can be applied to data-driven models and full-order robot models.


title: A Well-Composed Text is Half Done! Composition Sampling for Diverse Conditional Generation

abstract: We propose Composition Sampling, a simple but effective method to generate diverse outputs for conditional generation of higher quality compared to previous stochastic decoding strategies. It builds on recently proposed plan-based neural generation models (Narayan et al, 2021) that are trained to first create a composition of the output and then generate by conditioning on it and the input. Our approach avoids text degeneration by first sampling a composition in the form of an entity chain and then using beam search to generate the best possible text grounded to this entity chain. Experiments on summarization (CNN/DailyMail and XSum) and question generation (SQuAD), using existing and newly proposed automatic metrics together with human-based evaluation, demonstrate that Composition Sampling is currently the best available decoding strategy for generating diverse meaningful outputs.


title: 27 Open Problems in Kolmogorov Complexity

abstract: The paper proposes open problems in classical Kolmogorov complexity. Each problem is presented with background information and thus the article also surveys some recent studies in the area.


title: The State of Fortran

abstract: A community of developers has formed to modernize the Fortran ecosystem. In this article, we describe the high-level features of Fortran that continue to make it a good choice for scientists and engineers in the 21st century. Ongoing efforts include the development of a Fortran standard library and package manager, the fostering of a friendly and welcoming online community, improved compiler support, and language feature development. The lessons learned are common across contemporary programming languages and help reduce the learning curve and increase adoption of Fortran.


title: Multi-constrained topology optimization via the topological sensitivity

abstract: The objective of this paper is to introduce and demonstrate a robust method for multi-constrained topology optimization. The method is derived by combining the topological sensitivity with the classic augmented Lagrangian formulation. The primary advantages of the proposed method are: (1) it rests on well-established augmented Lagrangian formulation for constrained optimization, (2) the augmented topological level-set can be derived systematically for an arbitrary set of loads and constraints, and (3) the level-set can be updated efficiently. The method is illustrated through numerical experiments.


title: Domain Knowledge Driven Pseudo Labels for Interpretable Goal-Conditioned Interactive Trajectory Prediction

abstract: Motion forecasting in highly interactive scenarios is a challenging problem in autonomous driving. In such scenarios, we need to accurately predict the joint behavior of interacting agents to ensure the safe and efficient navigation of autonomous vehicles. Recently, goal-conditioned methods have gained increasing attention due to their advantage in performance and their ability to capture the multimodality in trajectory distribution. In this work, we study the joint trajectory prediction problem with the goal-conditioned framework. In particular, we introduce a conditional-variational-autoencoder-based (CVAE) model to explicitly encode different interaction modes into the latent space. However, we discover that the vanilla model suffers from posterior collapse and cannot induce an informative latent space as desired. To address these issues, we propose a novel approach to avoid KL vanishing and induce an interpretable interactive latent space with pseudo labels. The proposed pseudo labels allow us to incorporate domain knowledge on interaction in a flexible manner. We motivate the proposed method using an illustrative toy example. In addition, we validate our framework on the Waymo Open Motion Dataset with both quantitative and qualitative evaluations.


title: Stefan problem with surface tension: global existence of physical solutions under radial symmetry

abstract: We consider the Stefan problem with surface tension, also known as the Stefan-Gibbs-Thomson problem, in an ambient space of arbitrary dimension. Assuming the radial symmetry of the initial data we introduce a novel "probabilistic" notion of solution, which can accommodate the discontinuities in time (of the radius) of the evolving aggregate. Our main result establishes the global existence of a probabilistic solution satisfying the natural upper bound on the sizes of the discontinuities. Moreover, we prove that the upper bound is sharp in dimensions d>2, in the sense that none of the discontinuities in the solution can be decreased in magnitude. The detailed analysis of the discontinuities, via appropriate stochastic representations, differentiates this work from the previous literature on weak solutions to the Stefan problem with surface tension.


title: Type IIA embeddings of $D=5$ minimal gauged supergravity via Non-Abelian T-duality

abstract: In this note, we construct explicit Type IIA uplifts of $D=5$ minimal gauged supergravity, by T-dualising known Type IIB uplifts on $N_5 = S^5$, $T^{1,1}$ and $Y^{p,q}$ along their $SU(2)$ isometries. When the $D=5$ gauge field is set to zero, our uplifts recover precisely the known non-Abelian T-duals of the $AdS_5\times N_5$ solutions. As an application, we obtain new supersymmetric $AdS_3\times\Sigma\times M_5$ solutions in Type IIA, where $\Sigma = \mathbb{WCP}^1_{[n_-,n_+]}$ is a weighted projective space. Existing holographic results of T-dualised AdS solutions suggest that our solutions capture features of $d = 2$ SCFTs with $\mathcal{N}=(0, 2)$ supersymmetry.


title: Multi-constrained 3D topology optimization via augmented topological level-set

abstract: The objective of this paper is to introduce and demonstrate a robust methodology for solving multi-constrained 3D topology optimization problems. The proposed methodology is a combination of the topological level-set formulation, augmented Lagrangian algorithm, and assembly-free deflated finite element analysis (FEA). The salient features of the proposed method include: (1) it exploits the topological sensitivity fields that can be derived for a variety of constraints, (2) it rests on well-established augmented Lagrangian formulation to solve constrained problems, and (3) it overcomes the computational challenges by employing assembly-free deflated FEA. The proposed method is illustrated through several 3D numerical experiments.


title: Rotation Distributions around the Kraft Break with TESS and Kepler: The Influences of Age, Metallicity, and Binarity

abstract: Stellar rotation is a complex function of mass, metallicity, and age and can be altered by binarity. To understand the importance of these parameters in main sequence stars, we have assembled a sample of observations that spans a range of these parameters using a combination of observations from The Transiting Exoplanet Survey Satellite (TESS) and the Kepler Space Telescope. We find that while we can measure rotation periods and identify other classes of stellar variability (e.g., pulsations) from TESS lightcurves, instrument systematics prevent the detection of rotation signals longer than the TESS orbital period of 13.7 days. Due to this detection limit, we also utilize rotation periods constrained using rotational velocities measured by the APOGEE spectroscopic survey and radii estimated using the Gaia mission for both TESS and Kepler stars. From these rotation periods, we 1) find we can track rotational evolution along discrete mass tracks as a function of stellar age, 2) find we are unable to recover trends between rotation and metallicity that were observed by previous studies, and 3) note that our sample reveals that wide binary companions do not affect rotation, while close binary companions cause stars to exhibit more rapid rotation than single stars.


title: Stress constrained thermo-elastic topology optimization with varying temperature fields via augmented topological sensitivity based level-set

abstract: Engineering structures must often be designed to resist thermally induced stresses. Significant progress has been made on the design of such structures through thermo-elastic topology optimization. However, a computationally efficient framework to handle stress-constrained large-scale problems is lacking. The main contribution of this paper is to address this limitation. In particular, a unified topological-sensitivity (TS) based level-set approach is presented in this paper for optimizing thermo-elastic structures subject to non-uniform temperatures. The TS fields for various thermo-elastic objectives are derived, and, to address multiple constraints, an augmented Lagrangian method is developed to explore Pareto topologies. Numerical examples demonstrate the capability of the proposed framework to solve large-scale design problems. Comparison is made between pure elastic problems, and its thermo-elastic counterpart, shedding light on the influence of thermo-elastic coupling on optimized topologies.


title: LiDAR Snowfall Simulation for Robust 3D Object Detection

abstract: 3D object detection is a central task for applications such as autonomous driving, in which the system needs to localize and classify surrounding traffic agents, even in the presence of adverse weather. In this paper, we address the problem of LiDAR-based 3D object detection under snowfall. Due to the difficulty of collecting and annotating training data in this setting, we propose a physically based method to simulate the effect of snowfall on real clear-weather LiDAR point clouds. Our method samples snow particles in 2D space for each LiDAR line and uses the induced geometry to modify the measurement for each LiDAR beam accordingly. Moreover, as snowfall often causes wetness on the ground, we also simulate ground wetness on LiDAR point clouds. We use our simulation to generate partially synthetic snowy LiDAR data and leverage these data for training 3D object detection models that are robust to snowfall. We conduct an extensive evaluation using several state-of-the-art 3D object detection methods and show that our simulation consistently yields significant performance gains on the real snowy STF dataset compared to clear-weather baselines and competing simulation approaches, while not sacrificing performance in clear weather. Our code is available at www.github.com/SysCV/LiDAR_snow_sim.


title: Visual Odometry for RGB-D Cameras

abstract: Visual odometry is the process of estimating the position and orientation of a camera by analyzing the images associated to it. This paper develops a quick and accurate approach to visual odometry of a moving RGB-D camera navigating on a static environment. The proposed algorithm uses SURF (Speeded Up Robust Features) as feature extractor, RANSAC (Random Sample Consensus) to filter the results and Minimum Mean Square to estimate the rigid transformation of six parameters between successive video frames. Data from a Kinect camera were used in the tests. The results show that this approach is feasible and promising, surpassing in performance the algorithms ICP (Interactive Closest Point) and SfM (Structure from Motion) in tests using a publicly available dataset.


title: The...Tinderverse?: Opportunities and Challenges for User Safety in Extended Reality (XR) Dating Apps

abstract: Dating apps such as Tinder have announced plans for a dating metaverse: the incorporation of XR technologies into the online dating process to augment interactions between potential sexual partners across virtual and physical worlds. While the dating metaverse is still in conceptual stages we can forecast significant harms that it may expose daters to given prior research into the frequency and severity of sexual harms facilitated by dating apps as well as harms within social VR environments. In this workshop paper we envision how XR could enrich virtual-to-physical interaction between potential sexual partners and outline harms that it will likely perpetuate as well. We then introduce our ongoing research to preempt such harms: a participatory design study with sexual violence experts and demographics at disproportionate risk of sexual violence to produce mitigative solutions to sexual violence perpetuated by XR-enabled dating apps.


title: Tightly Seal Your Sensitive Pointers with PACTight

abstract: ARM is becoming more popular in desktops and data centers, opening a new realm in terms of security attacks against ARM. ARM has released Pointer Authentication, a new hardware security feature that is intended to ensure pointer integrity with cryptographic primitives. In this paper, we utilize Pointer Authentication (PA) to build a novel scheme to completely prevent any misuse of security-sensitive pointers. We propose PACTight to tightly seal these pointers. PACTight utilizes a strong and unique modifier that addresses the current issues with the state-of-the-art PA defense mechanisms. We implement four defenses based on the PACTight mechanism. Our security and performance evaluation results show that PACTight defenses are more efficient and secure. Using real PA instructions, we evaluated PACTight on 30 different applications, including NGINX web server, with an average performance overhead of 4.07% even when enforcing our strongest defense. PACTight demonstrates its effectiveness and efficiency with real PA instructions on real hardware.


title: Multiple Riemann wave solutions of the general form of quasilinear hyperbolic systems

abstract: The objective of this paper is to construct geometrically Riemann $k$-wave solutions of the general form of first-order quasilinear hyperbolic systems of partial differential equations. To this end, we adapt and combine elements of two approaches to the construction of Riemann $k$-waves, namely the symmetry reduction method and the generalized method of characteristics. We formulate a geometrical setting for the general form of the $k$-wave problem and discuss in detail the conditions for the existence of $k$-wave solutions. An auxiliary result concerning the Frobenius theorem is established. We use it to obtain formulae describing the $k$-wave solutions in closed form. Our theoretical considerations are illustrated by examples of hydrodynamic type systems including the Brownian motion equation.


title: Continuity of coordinate functionals of filter bases in Banach spaces

abstract: We prove that the coordinate functionals associated with filter bases in Banach spaces are continuous as long as the underlying filter is analytic. This removes the large-cardinal hypothesis from the result established by the two last-named authors ([Bull. Lond. Math. Soc. 53 (2021)]) at the expense of reducing the generality from projective to analytic. In particular, we obtain a ZFC solution to Kadets' problem of continuity of coordinate functionals associated with bases with respect to the filter of statistical convergence. Even though the automatic continuity of coordinate functionals beyond the projective class remains a mystery, we prove that a basis with respect to an arbitrary filter that has continuous coordinate functionals is also a basis with respect to a filter that is analytic.


title: Toward Deep Learning Based Access Control

abstract: A common trait of current access control approaches is the challenging need to engineer abstract and intuitive access control models. This entails designing access control information in the form of roles (RBAC), attributes (ABAC), or relationships (ReBAC) as the case may be, and subsequently, designing access control rules. This framework has its benefits but has significant limitations in the context of modern systems that are dynamic, complex, and large-scale, due to which it is difficult to maintain an accurate access control state in the system for a human administrator. This paper proposes Deep Learning Based Access Control (DLBAC) by leveraging significant advances in deep learning technology as a potential solution to this problem. We envision that DLBAC could complement and, in the long-term, has the potential to even replace, classical access control models with a neural network that reduces the burden of access control model engineering and updates. Without loss of generality, we conduct a thorough investigation of a candidate DLBAC model, called DLBAC_alpha, using both real-world and synthetic datasets. We demonstrate the feasibility of the proposed approach by addressing issues related to accuracy, generalization, and explainability. We also discuss challenges and future research directions.


title: Text2Pos: Text-to-Point-Cloud Cross-Modal Localization

abstract: Natural language-based communication with mobile devices and home appliances is becoming increasingly popular and has the potential to become natural for communicating with mobile robots in the future. Towards this goal, we investigate cross-modal text-to-point-cloud localization that will allow us to specify, for example, a vehicle pick-up or goods delivery location. In particular, we propose Text2Pos, a cross-modal localization module that learns to align textual descriptions with localization cues in a coarse- to-fine manner. Given a point cloud of the environment, Text2Pos locates a position that is specified via a natural language-based description of the immediate surroundings. To train Text2Pos and study its performance, we construct KITTI360Pose, the first dataset for this task based on the recently introduced KITTI360 dataset. Our experiments show that we can localize 65% of textual queries within 15m distance to query locations for top-10 retrieved locations. This is a starting point that we hope will spark future developments towards language-based navigation.


title: Network Performance Estimator with Applications to Route Selection for IoT Multimedia Applications

abstract: Estimating the performance of multimedia traffic is important in numerous contexts, including routing and forwarding, QoS provisioning, and adaptive video streaming. This paper proposes a network performance estimator which aims at providing, in quasi real-time, network performance estimates for IoT multimedia traffic in IEEE 802.11 multihop wireless networks. To our knowledge, the proposed multimedia-aware performance estimator, or MAPE, is the first deterministic simulation-based estimator that provides real-time per-flow throughput, packet loss and delay estimates while considering inter-flow interference and multi-rate flows, typical of multimedia traffic. Our experimental results indicate that MAPE is able to provide network performance estimates that can be used by IoT multimedia services, notably to inform real-time route selection in IoT video transmission, at a fraction of the execution time when compared to stochastic network simulators. When compared to existing deterministic simulators, MAPE yields higher accuracy at comparable execution times due to its ability to consider multi-rate flows.


title: An Online Approach to Solve the Dynamic Vehicle Routing Problem with Stochastic Trip Requests for Paratransit Services

abstract: Many transit agencies operating paratransit and microtransit services have to respond to trip requests that arrive in real-time, which entails solving hard combinatorial and sequential decision-making problems under uncertainty. To avoid decisions that lead to significant inefficiency in the long term, vehicles should be allocated to requests by optimizing a non-myopic utility function or by batching requests together and optimizing a myopic utility function. While the former approach is typically offline, the latter can be performed online. We point out two major issues with such approaches when applied to paratransit services in practice. First, it is difficult to batch paratransit requests together as they are temporally sparse. Second, the environment in which transit agencies operate changes dynamically (e.g., traffic conditions), causing estimates that are learned offline to become stale. To address these challenges, we propose a fully online approach to solve the dynamic vehicle routing problem (DVRP) with time windows and stochastic trip requests that is robust to changing environmental dynamics by construction. We focus on scenarios where requests are relatively sparse - our problem is motivated by applications to paratransit services. We formulate DVRP as a Markov decision process and use Monte Carlo tree search to evaluate actions for any given state. Accounting for stochastic requests while optimizing a non-myopic utility function is computationally challenging; indeed, the action space for such a problem is intractably large in practice. To tackle the large action space, we leverage the structure of the problem to design heuristics that can sample promising actions for the tree search. Our experiments using real-world data from our partner agency show that the proposed approach outperforms existing state-of-the-art approaches both in terms of performance and robustness.


title: Programs Enabling Deep Technology Transfer from National Labs

abstract: To maximize the technology transfer potential, it is important to create an ecosystem for the inventors to adapt the technologies developed for basic science to successful commercial ventures. In this white paper we present a brief overview of technology transfer programs at high energy physics (HEP) laboratories with a focus on the programs at Fermilab and KEK, and identify opportunities and recommendations for increasing partnerships and commercialization at HEP-centric laboratories.


title: A Study of Reinforcement Learning Algorithms for Aggregates of Minimalistic Robots

abstract: The aim of this paper is to study how to apply deep reinforcement learning for the control of aggregates of minimalistic robots. We define aggregates as groups of robots with a physical connection that compels them to form a specified shape. In our case, the robots are pre-attached to an object that must be collectively transported to a known location. Minimalism, in our setting, stems from the barebone capabilities we assume: The robots can sense the target location and the immediate obstacles, but lack the means to communicate explicitly through, e.g., message-passing. In our setting, communication is implicit, i.e., mediated by aggregated push-and-pull on the object exerted by each robot. We analyze the ability to reach coordinated behavior of four well-known algorithms for deep reinforcement learning (DQN, DDQN, DDPG, and TD3). Our experiments include robot failures and different types of environmental obstacles. We compare the performance of the best control strategies found, highlighting strengths and weaknesses of each of the considered training algorithms.