title: Conditional Energy-Based Models for Implicit Policies: The Gap between Theory and Practice

abstract: We present our findings in the gap between theory and practice of using conditional energy-based models (EBM) as an implicit representation for behavior-cloned policies. We also clarify several subtle, and potentially confusing, details in previous work in an attempt to help future research in this area. We point out key differences between unconditional and conditional EBMs, and warn that blindly applying training methods for one to the other could lead to undesirable results that do not generalize well. Finally, we emphasize the importance of the Maximum Mutual Information principle as a necessary condition to achieve good generalization in conditional EBMs as implicit models for regression tasks.


title: Solving Bilevel Optimal Bidding Problems Using Deep Convolutional Neural Networks

abstract: Current state-of-the-art solution techniques for solving bilevel optimization problems either assume strong problem regularity criteria or are computationally intractable. In this paper we address power system problems of bilevel structure, commonly arising after the deregulation of the power industry. Such problems are predominantly solved by converting the lower-level problem into a set of equivalent constraints using the Karush-Kuhn-Tucker optimality conditions at an expense of binary variables. Furthermore, in case the lower-level problem is nonconvex, the strong duality does not hold rendering the single-level reduction techniques inapplicable. To overcome this, we propose an effective numerical scheme based on bypassing the lower level completely using an approximation function that replicates the relevant lower level effect on the upper level. The approximation function is constructed by training a deep convolutional neural network. The numerical procedure is run iteratively to enhance the accuracy. As a case study, the proposed method is applied to a price-maker energy storage optimal bidding problem that considers an AC power flow-based market clearing in the lower level. The results indicate that greater actual profits are achieved as compared to the less accurate DC market representation.


title: Multistable Topological Mechanical Metamaterials

abstract: Concepts from quantum topological states of matter have been extensively utilized in the past decade in creating mechanical metamaterials with topologically protected features, such as one-way edge states and topologically polarized elasticity. Maxwell lattices represent a class of topological mechanical metamaterials that exhibit distinct robust mechanical properties at edges/interfaces when they are topologically polarized. Realizing topological phase transitions in these materials would enable on-and-off switching of these edge states, opening unprecedented opportunities to program mechanical response and wave propagation. However, such transitions are extremely challenging to experimentally control in Maxwell topological metamaterials due to mechanical and geometric constraints. Here we create a Maxwell lattice with bistable units to implement synchronized transitions between topological states and demonstrate dramatically different stiffnesses as the lattice transforms between topological phases both theoretically and experimentally. By combining multistability with topological phase transitions, for the first time, this metamaterial not only exhibits topologically protected mechanical properties that swiftly and reversibly change, but also offers a rich design space for innovating mechanical computing architectures and reprogrammable neuromorphic metamaterials. Moreover, we design and fabricate a topological Maxwell lattice using multi-material 3D printing and demonstrate the potential for miniaturization via additive manufacturing. These design principles are applicable to transformable topological metamaterials for a variety of tasks such as switchable energy absorption, impact mitigation, wave tailoring, neuromorphic metamaterials, and controlled morphing systems.


title: Differentially Private Linear Bandits with Partial Distributed Feedback

abstract: In this paper, we study the problem of global reward maximization with only partial distributed feedback. This problem is motivated by several real-world applications (e.g., cellular network configuration, dynamic pricing, and policy selection) where an action taken by a central entity influences a large population that contributes to the global reward. However, collecting such reward feedback from the entire population not only incurs a prohibitively high cost but often leads to privacy concerns. To tackle this problem, we consider differentially private distributed linear bandits, where only a subset of users from the population are selected (called clients) to participate in the learning process and the central server learns the global model from such partial feedback by iteratively aggregating these clients' local feedback in a differentially private fashion. We then propose a unified algorithmic learning framework, called differentially private distributed phased elimination (DP-DPE), which can be naturally integrated with popular differential privacy (DP) models (including central DP, local DP, and shuffle DP). Furthermore, we prove that DP-DPE achieves both sublinear regret and sublinear communication cost. Interestingly, DP-DPE also achieves privacy protection ``for free'' in the sense that the additional cost due to privacy guarantees is a lower-order additive term. In addition, as a by-product of our techniques, the same results of ``free" privacy can also be achieved for the standard differentially private linear bandits. Finally, we conduct simulations to corroborate our theoretical results and demonstrate the effectiveness of DP-DPE.


title: Muon $g-2$ anomaly in a left-right model with an inverse seesaw mechanism

abstract: We investigate the possibility of explanation for the muon anomalous magnetic moment $g_\mu-2$ in a left-right model with an inverse seesaw mechanism. We emphasize that the observed deviation from the Standard Model predictions can be accommodated in a large part of the parameter space of this class of models, where loops with massive neutrinos and charged Higgs boson as well as the weak $W$ boson contribute significantly to $g_\mu-2$. Stringent constraints due to lepton flavor violation $\mu\to{e}\gamma$, $\mu$-${e}$~conversion and the electron anomalous magnetic moment $g_e-2$ are considered, and the results are compatible.


title: Dark matter from primordial black holes would hold charge

abstract: We explore the possibility that primordial black holes (PBHs) contain electric charge down to the present day. We find that PBHs should hold a non-zero net charge at their formation, due to either Poisson fluctuations at horizon crossing or high-energy particle collisions. Although initial charge configurations are subject to fast discharge processes through particle accretion or quantum particle emission, we show that maximally rotating PBHs could produce magnetic fields able to shield them from discharge. Moreover, given that electrons are the lightest and fastest charge carriers, we show that the plasma within virialised dark matter haloes can endow PBHs with net negative charge. We report charge-to-mass ratios between $10^{-31}\,C/\mbox{kg}$ and $10^{-15}\,C/\mbox{kg}$ for PBHs within the mass windows that allow them to constitute the entirety of the dark matter in the Universe.


title: Spectral equivalence of smooth group schemes over principal ideal local rings

abstract: Let $\mathcal{G}$ be a smooth linear group scheme of finite type. For any positive integer $k$ and a finite field $\mathbb{F}$, let $W_k(\mathbb{F})$ be the ring of Witt vectors of length $k$ over $\mathbb{F}$. We show that the group algebras of $\mathcal{G}(\mathbb{F}[t]/(t^k))$ and $\mathcal{G}(W_k(\mathbb{F}))$ are isomorphic (i.e. the multi-sets of the dimensions of the irreducible representations are equal) for any positive integer $k$ and finite field $\mathbb{F}$ with large enough characteristic. We also prove that if $\mathrm{char}\mathbb{F}$ is large enough, then the cardinality of the set $\{\dim\rho\big|\rho\in \mathrm{irr}(\mathcal{G}(\mathbb{F}))\}$ is bounded uniformly in $\mathbb{F}$.


title: New recurrences for divisor sum functions and triangular numbers

abstract: Euler discovered recurrence for divisor sum functions as a consequence of the pentagonal numbers theorem. With similar idea and also motivated by Ewell's work in 1977, we prove new recurrences for certain divisor sum functions and triangular numbers.


title: Quantum de Finetti Theorems as Categorical Limits, and Limits of State Spaces of C*-algebras

abstract: De Finetti theorems tell us that if we expect the likelihood of outcomes to be independent of their order, then these sequences of outcomes could be equivalently generated by drawing an experiment at random from a distribution, and repeating it over and over. In particular, the quantum de Finetti theorem says that exchangeable sequences of quantum states are always represented by distributions over a single state produced over and over. The main result of this paper is that this quantum de Finetti construction has a universal property as a categorical limit. This allows us to pass canonically between categorical treatments of finite dimensional quantum theory and the infinite dimensional. The treatment here is through understanding properties of (co)limits with respect to the contravariant functor which takes a C*-algebra describing a physical system to its convex, compact space of states, and through discussion of the Radon probability monad. We also show that the same categorical analysis also justifies a continuous de Finetti theorem for classical probability.


title: Earthformer: Exploring Space-Time Transformers for Earth System Forecasting

abstract: Conventionally, Earth system (e.g., weather and climate) forecasting relies on numerical simulation with complex physical models and are hence both expensive in computation and demanding on domain expertise. With the explosive growth of the spatiotemporal Earth observation data in the past decade, data-driven models that apply Deep Learning (DL) are demonstrating impressive potential for various Earth system forecasting tasks. The Transformer as an emerging DL architecture, despite its broad success in other domains, has limited adoption in this area. In this paper, we propose Earthformer, a space-time Transformer for Earth system forecasting. Earthformer is based on a generic, flexible and efficient space-time attention block, named Cuboid Attention. The idea is to decompose the data into cuboids and apply cuboid-level self-attention in parallel. These cuboids are further connected with a collection of global vectors. We conduct experiments on the MovingMNIST dataset and a newly proposed chaotic N-body MNIST dataset to verify the effectiveness of cuboid attention and figure out the best design of Earthformer. Experiments on two real-world benchmarks about precipitation nowcasting and El Nino/Southern Oscillation (ENSO) forecasting show Earthformer achieves state-of-the-art performance. Code is available: https://github.com/amazon-science/earth-forecasting-transformer .


title: A multi-simulation study of relativistic SZ temperature scalings in galaxy clusters and groups

abstract: The Sunyaev-Zeldovich (SZ) effect is a powerful tool in modern cosmology. With future observations promising ever improving SZ measurements, the relativistic corrections to the SZ signals from galaxy groups and clusters are increasingly relevant. As such, it is important to understand the differences between three temperature measures: (a) the average relativistic SZ (rSZ) temperature, (b) the mass-weighted temperature relevant for the thermal SZ (tSZ) effect, and (c) the X-ray spectroscopic temperature. In this work, we compare these cluster temperatures, as predicted by the {\sc Bahamas} \& {\sc Macsis}, {\sc Illustris-TNG}, {\sc Magneticum}, and {\sc The Three Hundred Project} simulations. Despite the wide range of simulation parameters, we find the SZ temperatures are consistent across the simulations. We estimate a $\simeq 10\%$ level correction from rSZ to clusters with $Y\simeq10^{-4}$~Mpc$^{-2}$. Our analysis confirms a systematic offset between the three temperature measures; with the rSZ temperature $\simeq 20\%$ larger than the other measures, and diverging further at higher redshifts. We demonstrate that these measures depart from simple self-similar evolution and explore how they vary with the defined radius of haloes. We investigate how different feedback prescriptions and resolution affect the observed temperatures, and discover the SZ temperatures are rather insensitive to these details. The agreement between simulations indicates an exciting avenue for observational and theoretical exploration, determining the extent of relativistic SZ corrections. We provide multiple simulation-based fits to the scaling relations for use in future SZ modelling.


title: Logistics, Graphs, and Transformers: Towards improving Travel Time Estimation

abstract: The problem of travel time estimation is widely considered as the fundamental challenge of modern logistics. The complex nature of interconnections between spatial aspects of roads and temporal dynamics of ground transport still preserves an area to experiment with. However, the total volume of currently accumulated data encourages the construction of the learning models which have the perspective to significantly outperform earlier solutions. In order to address the problems of travel time estimation, we propose a new method based on transformer architecture - TransTTE.


title: Contextual Bandits with Large Action Spaces: Made Practical

abstract: A central problem in sequential decision making is to develop algorithms that are practical and computationally efficient, yet support the use of flexible, general-purpose models. Focusing on the contextual bandit problem, recent progress provides provably efficient algorithms with strong empirical performance when the number of possible alternatives ("actions") is small, but guarantees for decision making in large, continuous action spaces have remained elusive, leading to a significant gap between theory and practice. We present the first efficient, general-purpose algorithm for contextual bandits with continuous, linearly structured action spaces. Our algorithm makes use of computational oracles for (i) supervised learning, and (ii) optimization over the action space, and achieves sample complexity, runtime, and memory independent of the size of the action space. In addition, it is simple and practical. We perform a large-scale empirical evaluation, and show that our approach typically enjoys superior performance and efficiency compared to standard baselines.


title: Learning Bellman Complete Representations for Offline Policy Evaluation

abstract: We study representation learning for Offline Reinforcement Learning (RL), focusing on the important task of Offline Policy Evaluation (OPE). Recent work shows that, in contrast to supervised learning, realizability of the Q-function is not enough for learning it. Two sufficient conditions for sample-efficient OPE are Bellman completeness and coverage. Prior work often assumes that representations satisfying these conditions are given, with results being mostly theoretical in nature. In this work, we propose BCRL, which directly learns from data an approximately linear Bellman complete representation with good coverage. With this learned representation, we perform OPE using Least Square Policy Evaluation (LSPE) with linear functions in our learned representation. We present an end-to-end theoretical analysis, showing that our two-stage algorithm enjoys polynomial sample complexity provided some representation in the rich class considered is linear Bellman complete. Empirically, we extensively evaluate our algorithm on challenging, image-based continuous control tasks from the Deepmind Control Suite. We show our representation enables better OPE compared to previous representation learning methods developed for off-policy RL (e.g., CURL, SPR). BCRL achieve competitive OPE error with the state-of-the-art method Fitted Q-Evaluation (FQE), and beats FQE when evaluating beyond the initial state distribution. Our ablations show that both linear Bellman complete and coverage components of our method are crucial.


title: Fano plasmonics goes nonlinear

abstract: We investigate the process of the second harmonic generation by plasmonic nano-antennas that exhibit Fano-like resonances. A rigorous fully vectorial Maxwell-hydrodynamics approach is employed to directly calculate the second order susceptibilities as function of the pump frequency, considering a periodic array of nanodolmens comprised of three Au nanorods. The results of the numerical simulations demonstrate noticeable enhancement of the second harmonic efficiency by the antisymmetric mode. Additionally, a simple analytical model based on two coupled nonlinear oscillators is proposed. It is shown that the second order optical response can be significantly enhanced at the frequency of the antisymmetric normal mode thus supporting our numerical results.


title: Jets, Disks and Winds from Spinning Black Holes: Nature or Nurture?

abstract: A brief summary is given of an alternative interpretation of the Event Horizon Telescope observations of the massive black hole in the nucleus of the nearby galaxy M87. It is proposed that the flow is primarily powered by the black hole rotation, not the release of gravitational energy by the infalling gas. Consequently, the observed millimetre emission is produced by an "ergomagnetosphere" that connects the black hole horizon to an "ejection disk" from which most of the gas supplied at a remote "magnetopause" is lost through a magnetocentrifugal wind. It is argued that the boundary conditions at high latitude on the magnetopause play a crucial role in the collimation of the relativistic jets. The application of these ideas to other types of source is briefly discussed.


title: Erd\H os--Hajnal problem for $H$-free hypergraphs

abstract: This paper deals with the minimum number $m_H(r)$ of edges in an $H$-free graph with the chromatic number more than $r$. We show how bounds on Ramsey and Tur\'an numbers imply bounds on $m_H(r)$.


title: The Reissner-Nordstr\"om-Tangherlini solution from scattering amplitudes of charged scalars

abstract: The metric and the electromagnetic potential generated by a static, spherically symmetric charged massive object in any dimension are given by the Reissner-Nordstr\"om-Tangherlini solution. We derive the expansion of this solution up to third post-Minkowskian order by computing the classical contribution of scattering amplitudes describing the emission of either a graviton or a photon from a massive charged scalar field up to two loops. In four and five dimensions these amplitudes develop ultraviolet divergences that are cancelled by higher-derivative counterterms in a way that generalises what was recently shown to happen in the chargeless case. This renormalisation procedure produces logarithmic terms that match exactly those produced in the post-Minkowskian expansion of the classical solution in de Donder gauge.


title: RZCR: Zero-shot Character Recognition via Radical-based Reasoning

abstract: The long-tail effect is a common issue that limits the performance of deep learning models on real-world datasets. Character image datasets are also affected by such unbalanced data distribution due to differences in character usage frequency. Thus, current character recognition methods are limited when applied in the real world, especially for the categories in the tail that lack training samples, e.g., uncommon characters. In this paper, we propose a zero-shot character recognition framework via radical-based reasoning, called RZCR, to improve the recognition performance of few-sample character categories in the tail. Specifically, we exploit radicals, the graphical units of characters, by decomposing and reconstructing characters according to orthography. RZCR consists of a visual semantic fusion-based radical information extractor (RIE) and a knowledge graph character reasoner (KGR). RIE aims to recognize candidate radicals and their possible structural relations from character images in parallel. The results are then fed into KGR to recognize the target character by reasoning with a knowledge graph. We validate our method on multiple datasets, and RZCR shows promising experimental results, especially on few-sample character datasets.


title: A new hope for network model generalization

abstract: Generalizing machine learning (ML) models for network traffic dynamics tends to be considered a lost cause. Hence for every new task, we design new models and train them on model-specific datasets closely mimicking the deployment environments. Yet, an ML architecture called_Transformer_ has enabled previously unimaginable generalization in other domains. Nowadays, one can download a model pre-trained on massive datasets and only fine-tune it for a specific task and context with comparatively little time and data. These fine-tuned models are now state-of-the-art for many benchmarks. We believe this progress could translate to networking and propose a Network Traffic Transformer (NTT), a transformer adapted to learn network dynamics from packet traces. Our initial results are promising: NTT seems able to generalize to new prediction tasks and environments. This study suggests there is still hope for generalization, though it calls for a lot of future research.


title: Wayformer: Motion Forecasting via Simple & Efficient Attention Networks

abstract: Motion forecasting for autonomous driving is a challenging task because complex driving scenarios result in a heterogeneous mix of static and dynamic inputs. It is an open problem how best to represent and fuse information about road geometry, lane connectivity, time-varying traffic light state, and history of a dynamic set of agents and their interactions into an effective encoding. To model this diverse set of input features, many approaches proposed to design an equally complex system with a diverse set of modality specific modules. This results in systems that are difficult to scale, extend, or tune in rigorous ways to trade off quality and efficiency. In this paper, we present Wayformer, a family of attention based architectures for motion forecasting that are simple and homogeneous. Wayformer offers a compact model description consisting of an attention based scene encoder and a decoder. In the scene encoder we study the choice of early, late and hierarchical fusion of the input modalities. For each fusion type we explore strategies to tradeoff efficiency and quality via factorized attention or latent query attention. We show that early fusion, despite its simplicity of construction, is not only modality agnostic but also achieves state-of-the-art results on both Waymo Open MotionDataset (WOMD) and Argoverse leaderboards, demonstrating the effectiveness of our design philosophy


title: Learning to Estimate External Forces of Human Motion in Video

abstract: Analyzing sports performance or preventing injuries requires capturing ground reaction forces (GRFs) exerted by the human body during certain movements. Standard practice uses physical markers paired with force plates in a controlled environment, but this is marred by high costs, lengthy implementation time, and variance in repeat experiments; hence, we propose GRF inference from video. While recent work has used LSTMs to estimate GRFs from 2D viewpoints, these can be limited in their modeling and representation capacity. First, we propose using a transformer architecture to tackle the GRF from video task, being the first to do so. Then we introduce a new loss to minimize high impact peaks in regressed curves. We also show that pre-training and multi-task learning on 2D-to-3D human pose estimation improves generalization to unseen motions. And pre-training on this different task provides good initial weights when finetuning on smaller (rarer) GRF datasets. We evaluate on LAAS Parkour and a newly collected ForcePose dataset; we show up to 19% decrease in error compared to prior approaches.


title: On Partial Adoption of Vehicle-to-Vehicle Communication: When Should Cars Warn Each Other of Hazards?

abstract: The emerging technology of Vehicle-to-Vehicle (V2V) communication over vehicular ad hoc networks promises to improve road safety by allowing vehicles to autonomously warn each other of road hazards. However, research on other transportation information systems has shown that informing only a subset of drivers of road conditions may have a perverse effect of increasing congestion. In the context of a simple (yet novel) model of V2V hazard information sharing, we ask whether partial adoption of this technology can similarly lead to undesirable outcomes. In our model, drivers individually choose how recklessly to behave as a function of information received from other V2V-enabled cars, and the resulting aggregate behavior influences the likelihood of accidents (and thus the information propagated by the vehicular network). We fully characterize the game-theoretic equilibria of this model. Our model indicates that for a wide range of our parameter space, V2V information sharing surprisingly increases the equilibrium frequency of accidents relative to no V2V information sharing, and that it may increase equilibrium social cost as well.


title: Comparing fast imaging techniques for individual pulse imaging by Cherenkov in vivo from electron FLASH irradiation

abstract: Objective: In this study, a fast imaging technique was developed for the first in vivo Cherenkov emission imaging from an ultra-high dose rate (UHDR) electron beam source at single pulse (360 Hz) submillimeter resolution. Approach: A CMOS camera, gated to the UHDR LINAC, imaged the Cherenkov emission profiles pulse by pulse passively during the irradiation of mice on their limbs and intestinal region. The utility of an intensifier was investigated for its effect on image quality including signal to noise and spatial resolution. Pulse by pulse variability in Cherenkov emission profile were quantified spatially and temporally. Main results: An intensifier improved the emission profile signal to noise ratio from 15 to 280, with reduced spatial resolution. The profile extended beyond of the treatment field due to the lateral scattering of the electrons in tissue and its optical properties. The CMOS camera with an intensifier detected the changes in Cherenkov emission profile during expiration and inspiration of the respiration cycle for the mice to be about 3 mm. Significance: This fast imaging technique can be utilized for in vivo intrafraction monitoring of FLASH patient treatments at single pulse resolution. It can display delivery differences during respiration, and variability in the delivered treatment's surface profile, which may perturb from the intended UHDR treatment more for pencil beam scanning systems. The technique may leverage Cherenkov emission surface profile to gate the treatment delivery via respiratory gating systems under FLASH conditions.


title: NEC: Speaker Selective Cancellation via Neural Enhanced Ultrasound Shadowing

abstract: In this paper, we propose NEC (Neural Enhanced Cancellation), a defense mechanism, which prevents unauthorized microphones from capturing a target speaker's voice. Compared with the existing scrambling-based audio cancellation approaches, NEC can selectively remove a target speaker's voice from a mixed speech without causing interference to others. Specifically, for a target speaker, we design a Deep Neural Network (DNN) model to extract high-level speaker-specific but utterance-independent vocal features from his/her reference audios. When the microphone is recording, the DNN generates a shadow sound to cancel the target voice in real-time. Moreover, we modulate the audible shadow sound onto an ultrasound frequency, making it inaudible for humans. By leveraging the non-linearity of the microphone circuit, the microphone can accurately decode the shadow sound for target voice cancellation. We implement and evaluate NEC comprehensively with 8 smartphone microphones in different settings. The results show that NEC effectively mutes the target speaker at a microphone without interfering with other users' normal conversations.


title: Contextual Bandits with Smooth Regret: Efficient Learning in Continuous Action Spaces

abstract: Designing efficient general-purpose contextual bandit algorithms that work with large -- or even continuous -- action spaces would facilitate application to important scenarios such as information retrieval, recommendation systems, and continuous control. While obtaining standard regret guarantees can be hopeless, alternative regret notions have been proposed to tackle the large action setting. We propose a smooth regret notion for contextual bandits, which dominates previously proposed alternatives. We design a statistically and computationally efficient algorithm -- for the proposed smooth regret -- that works with general function approximation under standard supervised oracles. We also present an adaptive algorithm that automatically adapts to any smoothness level. Our algorithms can be used to recover the previous minimax/Pareto optimal guarantees under the standard regret, e.g., in bandit problems with multiple best arms and Lipschitz/H{\"o}lder bandits. We conduct large-scale empirical evaluations demonstrating the efficacy of our proposed algorithms.


title: Compactly Restrictable Metric Policy Optimization Problems

abstract: We study policy optimization problems for deterministic Markov decision processes (MDPs) with metric state and action spaces, which we refer to as Metric Policy Optimization Problems (MPOPs). Our goal is to establish theoretical results on the well-posedness of MPOPs that can characterize practically relevant continuous control systems. To do so, we define a special class of MPOPs called Compactly Restrictable MPOPs (CR-MPOPs), which are flexible enough to capture the complex behavior of robotic systems but specific enough to admit solutions using dynamic programming methods such as value iteration. We show how to arrive at CR-MPOPs using forward-invariance. We further show that our theoretical results on CR-MPOPs can be used to characterize feedback linearizable control affine systems.


title: Sockeye 3: Fast Neural Machine Translation with PyTorch

abstract: Sockeye 3 is the latest version of the Sockeye toolkit for Neural Machine Translation (NMT). Now based on PyTorch, Sockeye 3 provides faster model implementations and more advanced features with a further streamlined codebase. This enables broader experimentation with faster iteration, efficient training of stronger and faster models, and the flexibility to move new ideas quickly from research to production. When running comparable models, Sockeye 3 is up to 126% faster than other PyTorch implementations on GPUs and up to 292% faster on CPUs. Sockeye 3 is open source software released under the Apache 2.0 license.


title: Optimistic PAC Reinforcement Learning: the Instance-Dependent View

abstract: Optimistic algorithms have been extensively studied for regret minimization in episodic tabular MDPs, both from a minimax and an instance-dependent view. However, for the PAC RL problem, where the goal is to identify a near-optimal policy with high probability, little is known about their instance-dependent sample complexity. A negative result of Wagenmaker et al. (2021) suggests that optimistic sampling rules cannot be used to attain the (still elusive) optimal instance-dependent sample complexity. On the positive side, we provide the first instance-dependent bound for an optimistic algorithm for PAC RL, BPI-UCRL, for which only minimax guarantees were available (Kaufmann et al., 2021). While our bound features some minimal visitation probabilities, it also features a refined notion of sub-optimality gap compared to the value gaps that appear in prior work. Moreover, in MDPs with deterministic transitions, we show that BPI-UCRL is actually near-optimal. On the technical side, our analysis is very simple thanks to a new "target trick" of independent interest. We complement these findings with a novel hardness result explaining why the instance-dependent complexity of PAC RL cannot be easily related to that of regret minimization, unlike in the minimax regime.


title: Interaction-aware Decision-making for Automated Vehicles using Social Value Orientation

abstract: Motion control algorithms in the presence of pedestrians are critical for the development of safe and reliable Autonomous Vehicles (AVs). Traditional motion control algorithms rely on manually designed decision-making policies which neglect the mutual interactions between AVs and pedestrians. On the other hand, recent advances in Deep Reinforcement Learning allow for the automatic learning of policies without manual designs. To tackle the problem of decision-making in the presence of pedestrians, the authors introduce a framework based on Social Value Orientation and Deep Reinforcement Learning (DRL) that is capable of generating decision-making policies with different driving styles. The policy is trained using state-of-the-art DRL algorithms in a simulated environment. A novel computationally-efficient pedestrian model that is suitable for DRL training is also introduced. We perform experiments to validate our framework and we conduct a comparative analysis of the policies obtained with two different model-free Deep Reinforcement Learning Algorithms. Simulations results show how the developed model exhibits natural driving behaviours, such as short-stopping, to facilitate the pedestrian's crossing.


title: On How to Not Prove Faulty Controllers Safe in Differential Dynamic Logic

abstract: Cyber-physical systems are often safety-critical and their correctness is crucial, as in the case of automated driving. Using formal mathematical methods is one way to guarantee correctness. Though these methods have shown their usefulness, care must be taken as modeling errors might result in proving a faulty controller safe, which is potentially catastrophic in practice. This paper deals with two such modeling errors in differential dynamic logic. Differential dynamic logic is a formal specification and verification language for hybrid systems, which are mathematical models of cyber-physical systems. The main contribution is to prove conditions that when fulfilled, these two modeling errors cannot cause a faulty controller to be proven safe. The problems are illustrated with a real world example of a safety controller for automated driving, and it is shown that the formulated conditions have the intended effect both for a faulty and a correct controller. It is also shown how the formulated conditions aid in finding a loop invariant candidate to prove properties of hybrid systems with feedback loops. The results are proven using the interactive theorem prover KeYmaera X.


title: A Conceptual Framework for Using Machine Learning to Support Child Welfare Decisions

abstract: Human services systems make key decisions that impact individuals in the society. The U.S. child welfare system makes such decisions, from screening-in hotline reports of suspected abuse or neglect for child protective investigations, placing children in foster care, to returning children to permanent home settings. These complex and impactful decisions on children's lives rely on the judgment of child welfare decisionmakers. Child welfare agencies have been exploring ways to support these decisions with empirical, data-informed methods that include machine learning (ML). This paper describes a conceptual framework for ML to support child welfare decisions. The ML framework guides how child welfare agencies might conceptualize a target problem that ML can solve; vet available administrative data for building ML; formulate and develop ML specifications that mirror relevant populations and interventions the agencies are undertaking; deploy, evaluate, and monitor ML as child welfare context, policy, and practice change over time. Ethical considerations, stakeholder engagement, and avoidance of common pitfalls underpin the framework's impact and success. From abstract to concrete, we describe one application of this framework to support a child welfare decision. This ML framework, though child welfare-focused, is generalizable to solving other public policy problems.


title: SpOT: Spatiotemporal Modeling for 3D Object Tracking

abstract: 3D multi-object tracking aims to uniquely and consistently identify all mobile entities through time. Despite the rich spatiotemporal information available in this setting, current 3D tracking methods primarily rely on abstracted information and limited history, e.g. single-frame object bounding boxes. In this work, we develop a holistic representation of traffic scenes that leverages both spatial and temporal information of the actors in the scene. Specifically, we reformulate tracking as a spatiotemporal problem by representing tracked objects as sequences of time-stamped points and bounding boxes over a long temporal history. At each timestamp, we improve the location and motion estimates of our tracked objects through learned refinement over the full sequence of object history. By considering time and space jointly, our representation naturally encodes fundamental physical priors such as object permanence and consistency across time. Our spatiotemporal tracking framework achieves state-of-the-art performance on the Waymo and nuScenes benchmarks.


title: Nonlinear nonreciprocal transport in antiferromagnets free from spin-orbit coupling

abstract: We theoretically propose a realization of a nonlinear nonreciprocal transport in antiferromagnets without relying on the relativistic spin-orbit coupling. Through the symmetry and microscopic model analyses, we show that a local spin scalar chirality to induce an asymmetric band modulation becomes a source of a Drude-type nonlinear transport, while an electric polarization induced by a collinear spin configuration in a triangle unit leads to a Berry-curvature-dipole-type nonlinear transport. We demonstrate that 120$^\circ$ antiferromagnetic ordering on a triangular lattice and a breathing kagome lattice in an external magnetic field are typical examples. Our results open a new direction of designing and engineering functional materials with showing rich parity-violating transport phenomena by spontaneous magnetic phase transitions.


title: I-Love-Q in Ho\v{r}ava-Lifshitz Gravity

abstract: Ho\v{r}ava-Lifshitz gravity is an alternative theory to general relativity which breaks Lorentz invariance in order to achieve an ultraviolet complete and power-counting renormalizable theory of gravity. In the low energy limit, Ho\v{r}ava-Lifshitz gravity coincides with a vector-tensor theory known as khronometric gravity. The deviation of khronometric gravity from general relativity can be parametrized by three coupling constants: $\alpha$, $\beta$, and $\lambda$. Solar system experiments and gravitational wave observations impose stringent bounds on $\alpha$ and $\beta$, while $\lambda$ is still relatively unconstrained ($\lambda\lesssim 0.01$). In this paper, we study whether one can constrain this remaining parameter with neutron star observations through the universal I-Love-Q relations between the moment of inertia (I), the tidal Love number (Love), and the quadrupole moment (Q), which are insensitive to details in the nuclear matter equation of state. To do so, we perturbatively construct slowly-rotating and weakly tidally-deformed neutron stars in khronometric gravity. We find that the I-Love-Q relations are independent of $\lambda$ in the limit $(\alpha,\beta) \to 0$. Although some components of the field equations depend on $\lambda$, we show through induction and a post-Minkowskian analysis that slowly-rotating neutron stars do not depend on $\lambda$ at all. Tidally deformed neutron stars, on the other hand, are modified in khronometric gravity (though the usual Love number is not modified, as mentioned earlier), and there are potentially new, non-GR Love numbers, though their observability is unclear. These findings indicate that it may be difficult to constrain $\lambda$ with rotating/tidally-deformed neutron stars.


title: A note on the Lie complexity and beyond

abstract: In a recent paper, Jason P. Bell and Jeffrey Shallit introduced the notion of {\em Lie complexity} and proved that the Lie complexity function of an automatic sequence is automatic. In this note, we give more facts concerning Lie complexity and define the extended Lie complexity and the prefix Lie complexity. Further, we prove that some proprieties of Lie complexity also hold for the extended Lie complexity. Particularly, we prove that the extended Lie complexity function and the first-order difference sequence of the prefix Lie complexity function of an automatic sequence are both automatic.


title: A note on projective dimension over twisted commutative algebras

abstract: Let $M$ be a finitely generated module over a free twisted commutative algebra $A$ that is finitely generated in degree one. We show that the projective dimension of $M({\bf C}^n)$ as an $A({\bf C}^n)$-module is eventually linear as a function of $n$. This confirms a conjecture of Le, Nagel, Nguyen, and R\"omer for a special class of modules.


title: A New Approach to Post-Quantum Non-Malleability

abstract: We provide the first $\mathit{constant}$-$\mathit{round}$ construction of post-quantum non-malleable commitments under the minimal assumption that $\mathit{post}$-$\mathit{quantum}$ $\mathit{one}$-$\mathit{way}$ $\mathit{functions}$ exist. We achieve the standard notion of non-malleability with respect to commitments. Prior constructions required $\Omega(\log^*\lambda)$ rounds under the same assumption. We achieve our results through a new technique for constant-round non-malleable commitments which is easier to use in the post-quantum setting. The technique also yields an almost elementary proof of security for constant-round non-malleable commitments in the classical setting, which may be of independent interest. When combined with existing work, our results yield the first constant-round quantum-secure multiparty computation for both classical and quantum functionalities $\mathit{in}$ $\mathit{the}$ $\mathit{plain}$ $\mathit{model}$, under the $\mathit{polynomial}$ hardness of quantum fully-homomorphic encryption and quantum learning with errors.


title: Stability of Skyrmion Crystal Phase in Centrosymmetric Distorted Triangular-Lattice Antiferromagnets

abstract: The stability of a magnetic skyrmion crystal in a centrosymmetric orthorhombic lattice system is numerically investigated. By performing the simulated annealing for an effective spin model with the momentum-resolved interaction on a uniaxially distorted triangular lattice, we find that the skyrmion crystal is robustly realized when dominant interaction channels consist of the double-$Q$ structure in momentum space. Moreover, we show that an anti-type skyrmion crystal with the opposite skyrmion number is obtained by tuning the sign of the bond-dependent anisotropic exchange interaction that originates from the relativistic spin-orbit coupling.


title: A Simple and Precise Way to Determine Electrical Resistivity of Isotropic Conductors: Simplifying the Four-Probe Method

abstract: COMSOL Multiphysics software is used to describe the behavior of the electrical resistivity of several samples with rectangular shape typically used in the Montgomery method. The simulation data obtained using four isotropic conductors allowed us to understand in detail the behavior of the electric potential and electric field of the samples. The results provide an analytical method which can substitute the four-probe method with much more simplicity and precision.


title: Measurement of High Density Electrons Above a Helium Film on an Amorphous Metal Substrate

abstract: We have measured two-dimensional electron systems bound to a thin helium film supported by a metallic substrate. We report on our measurement of electron density obtained via a Kelvin probe technique. The underlying metallic substrate is an amorphous metallic alloy (TaWSi), which can support large uniform densities due to its low surface roughness and homogeneous work function. We find that this substrate is able to support high enough densities that the electrons are expected to be Fermi-degenerate.


title: Universal expressiveness of variational quantum classifiers and quantum kernels for support vector machines

abstract: Machine learning is considered to be one of the most promising applications of quantum computing. Therefore, the search for quantum advantage of the quantum analogues of machine learning models is a key research goal. Here, we show that variational quantum classifiers and support vector machines with quantum kernels can solve a classification problem based on the $k$-Forrelation problem, which is known to be PromiseBQP-complete. Because the PromiseBQP complexity class includes all Bounded-Error Quantum Polynomial-Time (BQP) decision problems, our results imply that there exists a feature map and a quantum kernel that make variational quantum classifiers and quantum kernel support vector machines efficient solvers for any BQP problem. Hence, this work implies that their feature map and quantum kernel, respectively, can be designed to have a quantum advantage for any classification problem that cannot be classically solved in polynomial time but contrariwise by a quantum computer.


title: Fast Radix-32 Approximate DFTs for 1024-Beam Digital RF Beamforming

abstract: The discrete Fourier transform (DFT) is widely employed for multi-beam digital beamforming. The DFT can be efficiently implemented through the use of fast Fourier transform (FFT) algorithms, thus reducing chip area, power consumption, processing time, and consumption of other hardware resources. This paper proposes three new hybrid DFT 1024-point DFT approximations and their respective fast algorithms. These approximate DFT (ADFT) algorithms have significantly reduced circuit complexity and power consumption compared to traditional FFT approaches while trading off a subtle loss in computational precision which is acceptable for digital beamforming applications in RF antenna implementations. ADFT algorithms have not been introduced for beamforming beyond $N = 32$, but this paper anticipates the need for massively large adaptive arrays for future 5G and 6G systems. Digital CMOS circuit designs for the ADFTs show the resulting improvements in both circuit complexity and power consumption metrics. Simulation results show similar or lower critical path delay with up to 48.5% lower chip area compared to a standard Cooley-Tukey FFT. The time-area and dynamic power metrics are reduced up to 66.0%. The 1024-point ADFT beamformers produce signal-to-noise ratio (SNR) gains between 29.2--30.1 dB, which is a loss of $\le$ 0.9 dB SNR gain compared to exact 1024-point DFT beamformers (worst case) realizable at using an FFT.

categories: eess.SP cs.NA cs.SY eess.SY math.NA physics.ins-det stat.ME


title: A fast approach to estimating Windkessel model parameters for patient-specific multi-scale CFD simulations of aortic flow

abstract: Hemodynamics in the aorta from computational fluid dynamics (CFD) simulations can provide a comprehensive analysis of relevant cardiovascular diseases. Coupling the three-element Windkessel model with the patient-specific CFD simulation to form a multi-scale model is a trending approach to capture more realistic flow fields. However, a set of parameters (e.g., R_c, R_p, and C) for the Windkessel model need to be tuned case by case to reflect patient-specific flow conditions. In this study, we propose a fast approach to estimating these parameters under both physiological and pathological conditions. The approach consists of the following steps: (1) finding geometric resistances for each branch using a steady CFD simulation; (2) using the pattern search algorithm to search the parameter spaces by solving the flow circuit system with the consideration of geometric resistances; (3) performing the multi-scale modeling of aortic flow with the optimized Windkessel model parameters. The method was validated through a series of numerical experiments to show its flexibility and robustness, including physiological and pathological flow distributions at each downstream branch from a healthy aortic geometry or a stenosed geometry. This study demonstrates a flexible and computationally efficient way to capture patient-specific hemodynamics in the aorta, facilitating the personalized biomechanical analysis of aortic flow.


title: Approximation algorithms for job scheduling with block-type conflict graphs

abstract: The problem of scheduling jobs on parallel machines (identical, uniform, or unrelated), under incompatibility relation modeled as a block graph, under the makespan optimality criterion, is considered in this paper. No two jobs that are in the relation (equivalently in the same block) may be scheduled on the same machine in this model. The presented model stems from a well-established line of research combining scheduling theory with methods relevant to graph coloring. Recently, cluster graphs and their extensions like block graphs were given additional attention. We complement hardness results provided by other researchers for block graphs by providing approximation algorithms. In particular, we provide a $2$-approximation algorithm for $P|G = block\ graph|C_{max}$ and a PTAS for the case when the jobs are unit time in addition. In the case of uniform machines, we analyze two cases. The first one is when the number of blocks is bounded, i.e. $Q|G = k-block\ graph|C_{max}$. For this case, we provide a PTAS, improving upon results presented by D. Page and R. Solis-Oba. The improvement is two-fold: we allow richer graph structure, and we allow the number of machine speeds to be part of the input. Due to strong NP-hardness of $Q|G = 2-clique\ graph|C_{max}$, the result establishes the approximation status of $Q|G = k-block\ graph|C_{max}$. The PTAS might be of independent interest because the problem is tightly related to the NUMERICAL k-DIMENSIONAL MATCHING WITH TARGET SUMS problem. The second case that we analyze is when the number of blocks is arbitrary, but the number of cut-vertices is bounded and jobs are of unit time. In this case, we present an exact algorithm. In addition, we present an FPTAS for graphs with bounded treewidth and a bounded number of unrelated machines.


title: Achieving Almost All Blockchain Functionalities with Polylogarithmic Storage

abstract: In current blockchain systems, full nodes that perform all of the available functionalities need to store the entire blockchain. In addition to the blockchain, full nodes also store a blockchain-summary, called the \emph{state}, which is used to efficiently verify transactions. With the size of popular blockchains and their states growing rapidly, full nodes require massive storage resources in order to keep up with the scaling. This leads to a tug-of-war between scaling and decentralization since fewer entities can afford expensive resources. We present \emph{hybrid nodes} for proof-of-work (PoW) cryptocurrencies which can validate transactions, validate blocks, validate states, mine, select the main chain, bootstrap new hybrid nodes, and verify payment proofs. With the use of a protocol called \emph{trimming}, hybrid nodes only retain polylogarithmic number of blocks in the chain length in order to represent the proof-of-work of the blockchain. Hybrid nodes are also optimized for the storage of the state with the use of \emph{stateless blockchain} protocols. The lowered storage requirements should enable more entities to join as hybrid nodes and improve the decentralization of the system. We define novel theoretical security models for hybrid nodes and show that they are provably secure. We also show that the storage requirement of hybrid nodes is near-optimal with respect to our security definitions.


title: RcTorch: a PyTorch Reservoir Computing Package with Automated Hyper-Parameter Optimization

abstract: Reservoir computers (RCs) are among the fastest to train of all neural networks, especially when they are compared to other recurrent neural networks. RC has this advantage while still handling sequential data exceptionally well. However, RC adoption has lagged other neural network models because of the model's sensitivity to its hyper-parameters (HPs). A modern unified software package that automatically tunes these parameters is missing from the literature. Manually tuning these numbers is very difficult, and the cost of traditional grid search methods grows exponentially with the number of HPs considered, discouraging the use of the RC and limiting the complexity of the RC models which can be devised. We address these problems by introducing RcTorch, a PyTorch based RC neural network package with automated HP tuning. Herein, we demonstrate the utility of RcTorch by using it to predict the complex dynamics of a driven pendulum being acted upon by varying forces. This work includes coding examples. Example Python Jupyter notebooks can be found on our GitHub repository https://github.com/blindedjoy/RcTorch and documentation can be found at https://rctorch.readthedocs.io/.


title: Reverse discrepancy and almost zero-sum stars

abstract: For $f$ chosen from the $\{-1,1\}$-valued functions on the edges of a hypergraph $\mathcal{H} = (V,E)$ with $\sum_{e \in E} f(e) = 0$, how large can one make $\min_{v \in V} |\sum_{e \ni v} f(e)|$? This question may be viewed as a reverse version of the hypergraph discrepancy problem or as a relaxation of the zero-sum Ramsey problem for stars. We prove exact results when $\mathcal{H}$ is a complete or equipartite hypergraph.


title: Exploring the relationship between surface features and explaining quality of YouTube explanatory videos

abstract: Physics education research on explanatory videos has experienced a boost in recent years. Due to the vast number of explanatory videos available online, e.g. on YouTube, finding videos of high explaining quality is a challenging task for learners, teachers, and lecturers alike. Prior research on the explaining quality of explanatory videos on classical mechanics topics has uncovered that the surface features provided by YouTube (e.g. number of views or likes) do not seem to be suitable indicators of the videos' explaining quality. Instead, the number of content-related comments was found to be statistically significantly correlated with the explaining quality. To date, these findings have only been observed in the context of explanatory videos on classical mechanics topics. The question arises whether similar correlations between the explaining quality and YouTube surface features can be found for videos on topics that are difficult to access visually and verbally, for example from quantum physics. Therefore, we conducted an exploratory study analyzing the explaining quality of N = 60 YouTube videos on quantum entanglement and tunnelling. To this end, we made use of a category-based measure of explanatory videos' explaining quality from the literature. We report correlations between the videos' explaining quality, and the surface features provided by YouTube. On the one hand, our results substantiate earlier findings for mechanics topics. On other hand, partial correlations shed new light on the relationship between YouTube's surface features and explaining quality of explanatory videos.


title: A search for transit timing variations in the HATS-18 planetary system

abstract: HATS-18b is a transiting planet with a large mass and a short orbital period, and is one of the best candidates for the detection of orbital decay induced by tidal effects. We present extensive photometry of HATS-18 from which we measure 27 times of mid-transit. Two further transit times were measured from data from the Transiting Exoplanet Survey Satellite (TESS) and three more taken from the literature. The transit timings were fitted with linear and quadratic ephemerides and an upper limit on orbital decay was determined. This corresponds to a lower limit on the modified stellar tidal quality factor of $Q_\star^{\,\prime} > 10^{5.11 \pm 0.04}$. This is at the cusp of constraining the presence of enhanced tidal dissipation due to internal gravity waves. We also refine the measured physical properties of the HATS-18 system, place upper limits on the masses of third bodies, and compare the relative performance of TESS and the 1.54-m Danish Telescope in measuring transit times for this system.


title: VLT, GROND and Danish Telescope observations of transits in the TRAPPIST-1 system

abstract: TRAPPIST-1 is an ultra-cool dwarf that hosts seven known transiting planets. We present photometry of the system obtained using three telescopes at ESO La Silla (the Danish 1.54-m telescope and the 2.2-m MPI telescope) and Paranal (Unit Telescope 1 of the Very Large Telescope). We obtained 18 light curves from the Danish telescope, eight from the 2.2-m and four from the VLT. From these we measure 25 times of mid-transit for four of the planets (b, c, f, g). These light curves and times of mid-transit will be useful in determining the masses and radii of the planets, which show variations in their transit times due to gravitational interactions.


title: A Novel DeBERTa-based Model for Financial Question Answering Task

abstract: As a rising star in the field of natural language processing, question answering systems (Q&A Systems) are widely used in all walks of life. Compared with other scenarios, the applicationin financial scenario has strong requirements in the traceability and interpretability of the Q&A systems. In addition, since the demand for artificial intelligence technology has gradually shifted from the initial computational intelligence to cognitive intelligence, this research mainly focuses on the financial numerical reasoning dataset - FinQA. In the shared task, the objective is to generate the reasoning program and the final answer according to the given financial report containing text and tables. We use the method based on DeBERTa pre-trained language model, with additional optimization methods including multi-model fusion, training set combination on this basis. We finally obtain an execution accuracy of 68.99 and a program accuracy of 64.53, ranking No. 4 in the 2022 FinQA Challenge.


title: Adaptive Diffusion Priors for Accelerated MRI Reconstruction

abstract: Deep MRI reconstruction is commonly performed with conditional models that de-alias undersampled acquisitions to recover images consistent with fully-sampled data. Since conditional models are trained with knowledge of the imaging operator, they can show poor generalization across variable operators. Unconditional models instead learn generative image priors decoupled from the operator to improve reliability against domain shifts related to the imaging operator. Recent diffusion models are particularly promising given their high sample fidelity. Nevertheless, inference with a static image prior can perform suboptimally. Here we propose the first adaptive diffusion prior for MRI reconstruction, AdaDiff, to improve performance and reliability against domain shifts. AdaDiff leverages an efficient diffusion prior trained via adversarial mapping over large reverse diffusion steps. A two-phase reconstruction is executed following training: a rapid-diffusion phase that produces an initial reconstruction with the trained prior, and an adaptation phase that further refines the result by updating the prior to minimize data-consistency loss. Demonstrations on multi-contrast brain MRI clearly indicate that AdaDiff outperforms competing conditional and unconditional methods under domain shifts, and achieves superior or on par within-domain performance.


title: Evidence of distant spiral arms in the Galactic disk quadrant IV from VVV red clump giants

abstract: The discovery of new clear windows in the Galactic plane using the VVV near-IR extinction maps allows the study of the structure of the Milky Way (MW) disk. The ultimate goal of this work is to map the spiral arms in the far side of the MW, which is a relatively unexplored region of our Galaxy, using red clump (RC) giants as distance indicators. We search for near-IR clear windows located at low Galactic latitudes ($|b|< 1$ deg) in the MW disk using the VVV near-IR extinction maps. We have identified two new windows named VVV WIN 1607-5258 and VVV WIN 1475-5877, respectively, that complement the previously known window VVV WIN 1713-3939. We analyse the distribution of RC stars in these three clear near-IR windows and measure their number density along the line of sight. This allows us to find overdensities in the distribution and measure their distances along the line of sight. We then use the VVV proper motions in order to measure the kinematics of the RC stars at different distances. We find enhancements in the distance distribution of RC giants in all the studied windows, interpreting them as the presence of spiral arms in the MW disk. These structures are absent in the current models of synthetic population for the same MW lines of sight. We were able to trace the end of the Galactic bar, the Norma arm, as well as the Scutum Centaurus arm in the far disk. Using the VVV proper motions, we measure the kinematics for these Galactic features, confirming that they share the bulk rotation of the Galactic disk.


title: Diffusive Persistence on Disordered Lattices and Random Networks

abstract: To better understand the temporal characteristics and the lifetime of fluctuations in stochastic processes in networks, we investigated diffusive persistence in various graphs. Global diffusive persistence is defined as the fraction of nodes for which the diffusive field at a site (or node) has not changed sign up to time $t$ (or in general, that the node remained active/inactive in discrete models). Here we investigate disordered and random networks and show that the behavior of the persistence depends on the topology of the network. In two-dimensional (2D) disordered networks, we find that above the percolation threshold diffusive persistence scales similarly as in the original 2D regular lattice, according to a power law $P(t,L)\sim t^{-\theta}$ with an exponent $\theta \simeq 0.186$, in the limit of large linear system size $L$. At the percolation threshold, however, the scaling exponent changes to $\theta \simeq 0.141$, as the result of the interplay of diffusive persistence and the underlying structural transition in the disordered lattice at the percolation threshold. Moreover, studying finite-size effects for 2D lattices at and above the percolation threshold, we find that at the percolation threshold, the long-time asymptotic value obeys a power-law $P(t,L)\sim L^{-z\theta}$ with $z\simeq 2.86$ instead of the value of $z=2$ normally associated with finite-size effects on 2D regular lattices. In contrast, we observe that in random networks without a local regular structure, such as Erd\H{o}s-R\'enyi networks, no simple power-law scaling behavior exists above the percolation threshold.


title: Improved accuracy and reproducibility of coronary artery cal-cification features using deconvolution

abstract: Our long-range goal is to improve current whole-heart CT calcium score by extracting quantitative features from individual calcifications. We performed deconvolution to improve small calcifications assessment which challenge conventional CT calcium score scanning resolution. We analyzed features of individual calcifications on repeated standard (2.5-mm) and thin (1.25-mm) slice scans from QRM-Cardio phantom, cadaver hearts, and CARDIA study participants. Pre-processing to improve resolution involved of Lucy-Richardson deconvolution with a measured PSF or 3D blind deconvolution where the PSF was iteratively optimized on high detail structures like calcifications in the images. Using QRM with inserts having known mg-calcium, we determined that both blind and conventional deconvolution improved mass measurements nearly equally well on standard images. Further, de-convolved thin images gave excellent recovery of actual mass scores, suggesting that such processing could be our gold standard. For CARDIA images, blind deconvolution greatly improved results on standard slices. Accuracy across 33 calcifications (without, with deconvolution) was (23%,9%), (18%,1%), and (-19%,-1%), for Agatston, volume, and mass scores, respectively. Reproducibility was (0.13,0.10), (0.12,0.08), and (0.11,0.06), respectively. Mass scores were more reproducible than Agatston scores or vol-ume scores. Cadaver volumes showed similar improvements in accuracy/reproducibility and slightly better results with a measured PSF. For many other calcification features in CARDIA data, blind deconvolution improved reproducibility in 21 out of 24 features. Deconvolution improves accuracy and reproducibility of multiple features extracted from individual calcifications in CT calcium score exam. Blind deconvolution improves feature assessments of coronary calcification in archived datasets.


title: Flexible Ramping Product Procurement in Day-Ahead Markets

abstract: This article puts forward a methodology for procuring flexible ramping products (FRPs) in the day-ahead market (DAM). The proposed methodology comprises two market passes, the first of which employs a stochastic unit commitment (SUC) model that explicitly evaluates the uncertainty and the intra-hourly and inter-hourly variability of net load so as to minimize the expected total operating cost. The second pass clears the DAM while imposing FRP requirements. The cornerstone of our work is to set the FRP requirements at levels that drive the DAM decisions toward the optimal SUC decisions. Our methodology provides an economic underpinning for the stipulated FRP requirements, and it brings forth DAM awards that reduce the costs toward the expected total cost under SUC, while conforming to the chief DAM design principles. By preemptively considering the dispatch costs before awarding FRPs, it can further avert unexpectedly high costs that could result with the deployment of procured FRPs. We conduct numerical studies and lay out the relative merits of the proposed methodology vis-\`a-vis selected benchmarks based on various evaluation metrics.


title: Control Allocation for Hybrid Coulomb Spacecraft Formations

abstract: This paper proposes an algorithm which can be used in hybrid Coulomb spacecraft formations to minimize propellant by maximizing the amount of force that is generated by Coulomb forces. This problem is difficult due to the nonlinearities inherent in Coulomb's law. The problem is posed as a series of matrix rank minimization problems which can be solved efficiently using a trace heuristic. A numerical example is provided which shows that, using the proposed control allocation algorithm, the amount of propellant required to perform a reconfiguration maneuver is reduced by approximately 40% compared to using solely thrusters.


title: Employing Feature Selection Algorithms to Determine the Immune State of a Mouse Model of Rheumatoid Arthritis

abstract: The immune response is a dynamic process by which the body determines whether an antigen is self or nonself. The state of this dynamic process is defined by the relative balance and population of inflammatory and regulatory actors which comprise this decision making process. The goal of immunotherapy as applied to, e.g. Rheumatoid Arthritis (RA), then, is to bias the immune state in favor of the regulatory actors - thereby shutting down autoimmune pathways in the response. While there are several known approaches to immunotherapy, the effectiveness of the therapy will depend on how this intervention alters the evolution of this state. Unfortunately, this process is determined not only by the dynamics of the process, but the state of the system at the time of intervention - a state which is difficult if not impossible to determine prior to application of the therapy. To identify such states we consider a mouse model of RA (Collagen-Induced Arthritis (CIA)) immunotherapy; collect high dimensional data on T cell markers and populations of mice after treatment with a recently developed immunotherapy for CIA; and use feature selection algorithms in order to select a lower dimensional subset of this data which can be used to predict both the full set of T cell markers and populations, along with the efficacy of immunotherapy treatment.


title: Searches for massive neutrinos with mechanical quantum sensors

abstract: The development of quantum optomechanics now allows mechanical sensors with femtogram masses to be controlled and measured in the quantum regime. If the mechanical element contains isotopes that undergo nuclear decay, measuring the recoil of the sensor following the decay allows reconstruction of the total momentum of all emitted particles, including any neutral particles that may escape detection in traditional detectors. As an example, for weak nuclear decays the momentum of the emitted neutrino can be reconstructed on an event-by-event basis. We present the concept that a single nanometer-scale, optically levitated sensor operated with sensitivity near the standard quantum limit can search for heavy sterile neutrinos in the keV-MeV mass range with sensitivity significantly beyond existing constraints. We also comment on the possibility that mechanical sensors operated well into the quantum regime might ultimately reach the sensitivities required to provide an absolute measurement of the mass of the light neutrino states.

categories: hep-ex hep-ph nucl-ex physics.ins-det quant-ph


title: Global well-posedness for a rescaled Boussinesq system in critical Fourier-Besov spaces

abstract: In this work we prove a global well-posedness result for a tridimensional rescaled Boussinesq system, with positive full viscosity and diffusivity parameters in the framework of critical Fourier-Besov spaces. This rescaled approach permits to know the behaviour of the system according to relations between both the parameters and the initial velocity and temperature; for instance, it is possible to consider, for small enough viscosity and large diffusivity, a large enough critical Fourier-Besov norm for the initial temperature and it is also possible to consider, for small enough diffusivity and large viscosity, a large enough critical Fourier-Besov norm for both the velocity and the temperature.


title: A study of HTTP/2's Server Push Performance Potential

abstract: Modern web pages have complex structures comprised of up to hundreds of different resources, such as scripts and images. Server push is an HTTP/2 feature enabling servers to preemptively send resources to clients before they realize they need them to render a page. The objective is to reduce the amount of time the browser has to wait for data to be transferred, and consequently total page load time. Our goal in this work is to quantify how much server push can actually reduce web page load times. We approach the problem from both theoretical and experimental perspectives. We start by deriving an upper bound for the load time reduction afforded by server push. Then we proceed to actually evaluate an idealized push implementation on the Alexa Top 100 global sites, against a non-push HTTP/2 baseline. Our results show a linear relationship between latency and the benefit of server push. Moreover, pages with taller dependency trees tend to benefit the most from it.


title: Reward-Sharing Relational Networks in Multi-Agent Reinforcement Learning as a Framework for Emergent Behavior

abstract: In this work, we integrate `social' interactions into the MARL setup through a user-defined relational network and examine the effects of agent-agent relations on the rise of emergent behaviors. Leveraging insights from sociology and neuroscience, our proposed framework models agent relationships using the notion of Reward-Sharing Relational Networks (RSRN), where network edge weights act as a measure of how much one agent is invested in the success of (or `cares about') another. We construct relational rewards as a function of the RSRN interaction weights to collectively train the multi-agent system via a multi-agent reinforcement learning algorithm. The performance of the system is tested for a 3-agent scenario with different relational network structures (e.g., self-interested, communitarian, and authoritarian networks). Our results indicate that reward-sharing relational networks can significantly influence learned behaviors. We posit that RSRN can act as a framework where different relational networks produce distinct emergent behaviors, often analogous to the intuited sociological understanding of such networks.


title: Tuning the Geometry of Graph Neural Networks

abstract: By recursively summing node features over entire neighborhoods, spatial graph convolution operators have been heralded as key to the success of Graph Neural Networks (GNNs). Yet, despite the multiplication of GNN methods across tasks and applications, the impact of this aggregation operation on their performance still has yet to be extensively analysed. In fact, while efforts have mostly focused on optimizing the architecture of the neural network, fewer works have attempted to characterize (a) the different classes of spatial convolution operators, (b) how the choice of a particular class relates to properties of the data , and (c) its impact on the geometry of the embedding space. In this paper, we propose to answer all three questions by dividing existing operators into two main classes ( symmetrized vs. row-normalized spatial convolutions), and show how these translate into different implicit biases on the nature of the data. Finally, we show that this aggregation operator is in fact tunable, and explicit regimes in which certain choices of operators -- and therefore, embedding geometries -- might be more appropriate.


title: A Near Sensor Edge Computing System for Point Cloud Semantic Segmentation

abstract: Point cloud semantic segmentation has attracted attentions due to its robustness to light condition. This makes it an ideal semantic solution for autonomous driving. However, considering the large computation burden and bandwidth demanding of neural networks, putting all the computing into vehicle Electronic Control Unit (ECU) is not efficient or practical. In this paper, we proposed a light weighted point cloud semantic segmentation network based on range view. Due to its simple pre-processing and standard convolution, it is efficient when running on deep learning accelerator like DPU. Furthermore, a near sensor computing system is built for autonomous vehicles. In this system, a FPGA-based deep learning accelerator core (DPU) is placed next to the LiDAR sensor, to perform point cloud pre-processing and segmentation neural network. By leaving only the post-processing step to ECU, this solution heavily alleviate the computation burden of ECU and consequently shortens the decision making and vehicles reaction latency. Our semantic segmentation network achieved 10 frame per second (fps) on Xilinx DPU with computation efficiency 42.5 GOP/W.


title: Predicting convection configurations in coupled fluid-porous systems

abstract: A ubiquitous arrangement in nature is a free-flowing fluid coupled to a porous medium, for example a river or lake lying above a porous bed. Depending on the environmental conditions, thermal convection can occur and may be confined to the clear fluid region, forming shallow convection cells, or it can penetrate into the porous medium, forming deep cells. Here, we combine three complementary approaches -- linear stability analysis, fully nonlinear numerical simulations, and a coarse-grained model -- to determine the circumstances that lead to each configuration. The coarse-grained model yields an explicit formula for the transition between deep and shallow convection in the physically relevant limit of small Darcy number. Near the onset of convection, all three of the approaches agree, validating the predictive capability of the explicit formula. The numerical simulations extend these results into the strongly nonlinear regime, revealing novel hybrid configurations in which the flow exhibits a dynamic shift from shallow to deep convection. This hybrid shallow-to-deep convection begins with small, random initial data, progresses through a metastable shallow state, and arrives at the preferred steady-state of deep convection. We construct a phase diagram that incorporates information from all three approaches and depicts the regions in parameter space that give rise to each convective state.


title: E-Tenon: An Efficient Privacy-Preserving Secure Open Data Sharing Scheme for EHR System

abstract: The transition from paper-based information to Electronic-Health-Records (EHRs) has driven various advancements in the modern healthcare-industry. In many cases, patients need to share their EHR with healthcare professionals. Given the sensitive and security-critical nature of EHRs, it is essential to consider the security and privacy issues of storing and sharing EHR. However, existing security solutions excessively encrypt the whole database, thus requiring the entire database to be decrypted for each access request, which is a time-consuming process. On the other hand, the use of EHR for medical research (e.g., development of precision-medicine, diagnostics-techniques), as well as optimisation of practices in healthcare organisations, requires the EHR to be analysed, and for that, they should be easily accessible without compromising the privacy of the patient. In this paper, we propose an efficient technique called E-Tenon that not only securely keeps all EHR publicly accessible but also provides the desirable security features. To the best of our knowledge, this is the first work in which an Open Database is used for protecting EHR. The proposed E-Tenon empowers patients to securely share their EHR under multi-level, fine-grained access policies defined by themselves. Analyses show that our system outperforms existing solutions in terms of computational-complexity.


title: Trajectory and Resource Optimization for UAV Synthetic Aperture Radar

abstract: In this paper, we study the trajectory and resource optimization for lightweight rotary-wing unmanned aerial vehicles (UAVs) equipped with a synthetic aperture radar (SAR) system. The UAV's mission is to perform SAR imaging of a given area of interest (AoI). In this setup, real-time communication with a base station (BS) is required to facilitate live mission planning for the drone. For this purpose, a non-convex mixed-integer non-linear program (MINLP) is formulated such that the UAV resources and three-dimensional (3D) trajectory are jointly optimized for maximization of the drone radar ground coverage. We present a low-complexity sub-optimal algorithm based on successive convex approximation (SCA) for solving the problem, and perform a finite search to optimize the total distance traversed by the UAV for maximal coverage. We show that the proposed 3D trajectory planning achieves at least 70% improvement in radar ground coverage compared to benchmark schemes employing constant powers for communication or radar imaging. We also show that positioning the BS near the AoI can significantly improve the radar coverage of the UAV.


title: Attochemistry Regulation of Charge Migration

abstract: Charge migration (CM) is a coherent attosecond process that involves the movement of localized holes across a molecule. To determine the relationship between a molecule's structure and the CM dynamics it exhibits, we perform systematic studies of para-functionalized bromobenzene molecules (X-C$_6$H$_4$-R) using real-time time-dependent density functional theory. We initiate valence-electron dynamics by emulating rapid strong-field ionization leading to a localized hole on the bromine atom. The resulting CM, which takes on the order of 1 fs, occurs via an X localized to C$_6$H$_4$ delocalized to R localized mechanism. Interestingly, the hole contrast on the acceptor functional group increases with increasing electron donating strength. This trend is well-described by the Hammett sigma value of the group, which is a commonly used metric for quantifying the effect of functionalization on the chemical reactivity of benzene derivatives. These results suggest that simple attochemistry principles and a density-based picture can be used to predict and understand CM.


title: Rotational pendulum dynamics of a vortex molecule in a channel geometry

abstract: A vortex molecule is a topological excitation in two coherently coupled superfluids consisting of a vortex in each superfluid connected by a domain wall of the relative phase, also known as a Josephson vortex. We investigate the dynamics of this excitation in a quasi-two-dimensional geometry with slab or channel boundary conditions using an extended point vortex framework complemented by Gross-Pitaevskii simulations. Apart from translational motion along the channel, the vortex molecule is found to exhibit intriguing internal dynamics including rotation and rotational-pendulum-like dynamics. Trajectories leading to a boundary-induced break-up of the vortex molecule are also described qualitatively by the simplified model. We classify the stable and unstable fixed points as well as separatrices that characterize the vortex molecule dynamics.


title: Hybrid Spatial-Temporal Entropy Modelling for Neural Video Compression

abstract: For neural video codec, it is critical, yet challenging, to design an efficient entropy model which can accurately predict the probability distribution of the quantized latent representation. However, most existing video codecs directly use the ready-made entropy model from image codec to encode the residual or motion, and do not fully leverage the spatial-temporal characteristics in video. To this end, this paper proposes a powerful entropy model which efficiently captures both spatial and temporal dependencies. In particular, we introduce the latent prior which exploits the correlation among the latent representation to squeeze the temporal redundancy. Meanwhile, the dual spatial prior is proposed to reduce the spatial redundancy in a parallel-friendly manner. In addition, our entropy model is also versatile. Besides estimating the probability distribution, our entropy model also generates the quantization step at spatial-channel-wise. This content-adaptive quantization mechanism not only helps our codec achieve the smooth rate adjustment in single model but also improves the final rate-distortion performance by dynamic bit allocation. Experimental results show that, powered by the proposed entropy model, our neural codec can achieve 18.2% bitrate saving on UVG dataset when compared with H.266 (VTM) using the highest compression ratio configuration. It makes a new milestone in the development of neural video codec. The codes are at https://github.com/microsoft/DCVC.


title: Color gradients and half-mass radii of galaxies out to $z=2$ in the CANDELS/3D-HST fields: further evidence for important differences in the evolution of mass-weighted and light-weighted sizes

abstract: Recent studies have indicated that the ratio between half-mass and half-light radii, $r_{\rm mass} / r_{\rm light}$, varies significantly as a function of stellar mass and redshift, complicating the interpretation of the ubiquitous $r_{\rm light}- M_*$ relation. To investigate, in this study we construct the light and color profiles of $\sim 3000$ galaxies at $1<z<2$ with $\log\, M_*/M_\odot > 10.25$ using $\texttt{imcascade}$, a Bayesian implementation of the Multi-Gaussian expansion (MGE) technique. $\texttt{imcascade}$ flexibly represents galaxy profiles using a series of Gaussians, free of any a-priori parameterization. We find that both star-forming and quiescent galaxies have on average negative color gradients. For star forming galaxies, we find steeper gradients that evolve with redshift and correlate with dust content. Using the color gradients as a proxy for gradients in the $M/L$ ratio we measure half mass radii for our sample of galaxies. There is significant scatter in individual $r_{\rm mass} / r_{\rm light}$ ratios, which is correlated with variation in the color gradients. We find that the median $r_{\rm mass} / r_{\rm light}$ ratio evolves from 0.75 at $z=2$ to 0.5 at $z=1$, consistent with previous results. We characterize the $r_{\rm mass}- M_*$ relation and we find that it has a shallower slope and shows less redshift evolution than the $r_{\rm light} - M_*$ relation. This applies both to star-forming and quiescent galaxies. We discuss some of the implications of using $r_{\rm mass}$ instead of $r_{\rm light}$, including an investigation of the size-inclination bias and a comparison to numerical simulations.


title: Safe Human-Robot Collaborative Transportation via Trust-Driven Role Adaptation

abstract: We study a human-robot collaborative transportation task in presence of obstacles. The task for each agent is to carry a rigid object to a common target position, while safely avoiding obstacles and satisfying the compliance and actuation constraints of the other agent. Human and robot do not share the local view of the environment. The human policy either assists the robot when they deem the robot actions safe based on their perception of the environment, or actively leads the task. Using estimated human inputs, the robot plans a trajectory for the transported object by solving a constrained finite time optimal control problem. Sensors on the robot measure the inputs applied by the human. The robot then appropriately applies a weighted combination of the human's applied and its own planned inputs, where the weights are chosen based on the robot's trust value on its estimates of the human's inputs. This allows for a dynamic leader-follower role adaptation of the robot throughout the task. Furthermore, under a low value of trust, if the robot approaches any obstacle potentially unknown to the human, it triggers a safe stopping policy, maintaining safety of the system and signaling a required change in the human's intent. With experimental results, we demonstrate the efficacy of the proposed approach.


title: D-CBRS: Accounting For Intra-Class Diversity in Continual Learning

abstract: Continual learning -- accumulating knowledge from a sequence of learning experiences -- is an important yet challenging problem. In this paradigm, the model's performance for previously encountered instances may substantially drop as additional data are seen. When dealing with class-imbalanced data, forgetting is further exacerbated. Prior work has proposed replay-based approaches which aim at reducing forgetting by intelligently storing instances for future replay. Although Class-Balancing Reservoir Sampling (CBRS) has been successful in dealing with imbalanced data, the intra-class diversity has not been accounted for, implicitly assuming that each instance of a class is equally informative. We present Diverse-CBRS (D-CBRS), an algorithm that allows us to consider within class diversity when storing instances in the memory. Our results show that D-CBRS outperforms state-of-the-art memory management continual learning algorithms on data sets with considerable intra-class diversity.


title: Testing and Learning Quantum Juntas Nearly Optimally

abstract: We consider the problem of testing and learning quantum $k$-juntas: $n$-qubit unitary matrices which act non-trivially on just $k$ of the $n$ qubits and as the identity on the rest. As our main algorithmic results, we give (a) a $\widetilde{O}(\sqrt{k})$-query quantum algorithm that can distinguish quantum $k$-juntas from unitary matrices that are "far" from every quantum $k$-junta; and (b) a $O(4^k)$-query algorithm to learn quantum $k$-juntas. We complement our upper bounds for testing quantum $k$-juntas and learning quantum $k$-juntas with near-matching lower bounds of $\Omega(\sqrt{k})$ and $\Omega(\frac{4^k}{k})$, respectively. Our techniques are Fourier-analytic and make use of a notion of influence of qubits on unitaries.


title: Neural Topological Ordering for Computation Graphs

abstract: Recent works on machine learning for combinatorial optimization have shown that learning based approaches can outperform heuristic methods in terms of speed and performance. In this paper, we consider the problem of finding an optimal topological order on a directed acyclic graph with focus on the memory minimization problem which arises in compilers. We propose an end-to-end machine learning based approach for topological ordering using an encoder-decoder framework. Our encoder is a novel attention based graph neural network architecture called \emph{Topoformer} which uses different topological transforms of a DAG for message passing. The node embeddings produced by the encoder are converted into node priorities which are used by the decoder to generate a probability distribution over topological orders. We train our model on a dataset of synthetically generated graphs called layered graphs. We show that our model outperforms, or is on-par, with several topological ordering baselines while being significantly faster on synthetic graphs with up to 2k nodes. We also train and test our model on a set of real-world computation graphs, showing performance improvements.


title: Bayesian approach for modeling solar active region global magnetic parameters

abstract: Context. Active regions (ARs) appear in the solar atmosphere as a consequence of the emergence of magnetic flux tubes. The presence of elongated magnetic polarities in line-of-sight (LOS) magnetograms indicates the existence of twist in the flux tubes forming them. These polarity elongations, called magnetic tongues, bias the measurement of AR characteristics obtained during their emergence phase (e.g. their tilt angle and magnetic flux, among others). In particular, obtaining a good estimation of the tilt angle evolution plays a key role in constraining flux-transport dynamo models. Aims. In this work we aim to estimate the intrinsic properties of the twisted flux tubes, or flux ropes, that form ARs by quantitatively comparing observed LOS magnetograms with synthetic ones derived from a toroidal magnetic flux tube model. Methods. For this reason, we develop a Bayesian inference method to obtain the statistical distributions of the inferred model parameters. As an example, we apply the method to NOAA AR 10268. Next, we test the results using a synthetic-AR generator to quantify the effect of small scale perturbations over the inferred parameter distributions. Results. We conclude that this method can significantly remove the effects of magnetic tongues on the derived AR global characteristics, providing a better knowledge of the intrinsic properties of the emerging flux rope. Conclusions. These results provide a framework for future analysis of the physical properties of emerging ARs using Bayesian statistics.


title: Virtual sensing of subsoil strain response in monopile-based offshore wind turbines via Gaussian process latent force models

abstract: Virtual sensing techniques have gained traction in applications to the structural health monitoring of monopile-based offshore wind turbines, as the strain response below the mudline, which is a primary indicator of fatigue damage accumulation, is impractical to measure directly with physical instrumentation. The Gaussian process latent force model (GPFLM) is a generalized Bayesian virtual sensing technique which combines a physics-driven model of the structure with a data-driven model of latent variables of the system to extrapolate unmeasured strain states. In the GPLFM, modeling of unknown sources of excitation as a Gaussian process (GP) serves to facilitate strain estimation by providing a complete stochastic characterization of the covariance relationship between input forces and states, using properties of the GP covariance kernel as well as correlation information supplied by the mechanical model. It is shown that posterior inference of the latent inputs and states is performed by Gaussian process regression of measured accelerations, computed efficiently using Kalman filtering and Rauch-Tung-Striebel smoothing in an augmented state-space model. While the GPLFM has been previously demonstrated in numerical studies to improve upon other virtual sensing techniques in terms of accuracy, robustness, and numerical stability, this work provides one of the first cases of in-situ validation of the GPLFM. The predicted strain response by the GPLFM is compared to subsoil strain data collected from an operating offshore wind turbine in the Westermeerwind Park in the Netherlands.


title: Verifying Attention Robustness of Deep Neural Networks against Semantic Perturbations

abstract: It is known that deep neural networks (DNNs) classify an input image by paying particular attention to certain specific pixels; a graphical representation of the magnitude of attention to each pixel is called a saliency-map. Saliency-maps are used to check the validity of the classification decision basis, e.g., it is not a valid basis for classification if a DNN pays more attention to the background rather than the subject of an image. Semantic perturbations can significantly change the saliency-map. In this work, we propose the first verification method for attention robustness, i.e., the local robustness of the changes in the saliency-map against combinations of semantic perturbations. Specifically, our method determines the range of the perturbation parameters (e.g., the brightness change) that maintains the difference between the actual saliency-map change and the expected saliency-map change below a given threshold value. Our method is based on activation region traversals, focusing on the outermost robust boundary for scalability on larger DNNs. Experimental results demonstrate that our method can show the extent to which DNNs can classify with the same basis regardless of semantic perturbations and report on performance and performance factors of activation region traversals.


title: A combinatorial interpretation of the noncommutative inverse Kostka matrix

abstract: We provide a combinatorial formula for the expansion of immaculate noncommutative symmetric functions into complete homogeneous noncommutative symmetric functions. To do this, we introduce generalizations of Ferrers diagrams which we call GBPR diagrams. We define tunnel hooks, which play a role similar to that of the special rim hooks appearing in the E\u{g}ecio\u{g}lu-Remmel formula for the symmetric inverse Kostka matrix. We extend this interpretation to skew shapes and fully generalize to define immaculate functions indexed by integer sequences skewed by integer sequences. Finally, as an application of our combinatorial formula, we extend Campbell's results on ribbon decompositions of immaculate functions to a larger class of shapes.


title: On Mixed Cages

abstract: Mixed graphs have both directed and undirected edges. A mixed cage is a regular mixed graph of given girth with minimum possible order. In this paper mixed cages are studied. Upper bounds are obtained by general construction methods and computer searches.


title: Buoyancy segregation suppresses viscous fingering in horizontal displacements in a porous layer

abstract: We consider the axisymmetric displacement of an ambient fluid by a second input fluid of lower density and lower viscosity in a horizontal porous layer. If the two fluids have been vertically segregated by buoyancy, the flow becomes self-similar with the input fluid preferentially flowing near the upper boundary. We show that this axisymmetric self-similar flow is stable to angular-dependent perturbations for any viscosity ratio. The Saffman-Taylor instability is suppressed due to the buoyancy segregation of the fluids. The radial extent of the segregated current is inversely proportional to the viscosity ratio. This horizontal extension of the intrusion eliminates the discontinuity in the pressure gradient between the fluids associated with the viscosity contrast. Hence, at late times viscous fingering is shut down even for arbitrarily small density differences. The stability is confirmed through numerical integration of a coupled problem for the interface shape and the pressure gradient, and through complementary asymptotic analysis, which predicts the decay rate for each mode. The results are extended to anisotropic and vertically heterogeneous layers. The interface may have steep shock-like regions but the flow is always stable when the fluids have been segregated by buoyancy, as in a uniform layer.