title: Motif: Intrinsic Motivation from Artificial Intelligence Feedback

abstract: Exploring rich environments and evaluating one's actions without prior knowledge is immensely challenging. In this paper, we propose Motif, a general method to interface such prior knowledge from a Large Language Model (LLM) with an agent. Motif is based on the idea of grounding LLMs for decision-making without requiring them to interact with the environment: it elicits preferences from an LLM over pairs of captions to construct an intrinsic reward, which is then used to train agents with reinforcement learning. We evaluate Motif's performance and behavior on the challenging, open-ended and procedurally-generated NetHack game. Surprisingly, by only learning to maximize its intrinsic reward, Motif achieves a higher game score than an algorithm directly trained to maximize the score itself. When combining Motif's intrinsic reward with the environment reward, our method significantly outperforms existing approaches and makes progress on tasks where no advancements have ever been made without demonstrations. Finally, we show that Motif mostly generates intuitive human-aligned behaviors which can be steered easily through prompt modifications, while scaling well with the LLM size and the amount of information given in the prompt.


title: Toward Optimal Tabletop Rearrangement with Multiple Manipulation Primitives

abstract: In practice, many types of manipulation actions (e.g., pick-n-place and push) are needed to accomplish real-world manipulation tasks. Yet, limited research exists that explores the synergistic integration of different manipulation actions for optimally solving long-horizon task-and-motion planning problems. In this study, we propose and investigate planning high-quality action sequences for solving long-horizon tabletop rearrangement tasks in which multiple manipulation primitives are required. Denoting the problem rearrangement with multiple manipulation primitives (REMP), we develop two algorithms, hierarchical best-first search (HBFS) and parallel Monte Carlo tree search for multi-primitive rearrangement (PMMR) toward optimally resolving the challenge. Extensive simulation and real robot experiments demonstrate that both methods effectively tackle REMP, with HBFS excelling in planning speed and PMMR producing human-like, high-quality solutions with a nearly 100% success rate.


title: LQ-OCP: Energy-Optimal Control for LQ Problems

abstract: This article presents a method to automatically generate energy-optimal trajectories for systems with linear dynamics, linear constraints, and a quadratic cost functional (LQ systems). First, using recent advancements in optimal control, we derive the optimal motion primitive generator for LQ systems--this yields linear differential equations that describe all dynamical motion primitives that the optimal system follows. We also derive the optimality conditions where the system switches between motion primitives--a system of equations that are bilinear in the unknown junction time. Finally, we demonstrate the performance of our approach on an energy-minimizing submersible robot with state and control constraints. We compare our approach to an energy-optimizing Linear Quadratic Regulator (LQR), where we learn the optimal weights of the LQR cost function to minimize energy consumption while ensuring convergence and constraint satisfaction. Our approach converges to the optimal solution 6,400% faster than the LQR weight optimization, and that our solution is 350% more energy efficient. Finally, we disturb the initial state of the submersible to show that our approach still finds energy-efficient solutions faster than LQR when the unconstrained solution is infeasible.


title: Margulis' Inequality for translates of horospherical orbits and applications to equidistribution

abstract: In this paper we develope a quantitative non-divergence theorem for translates of horospherical orbits, using the technique of Margulis' inequality as developed by Eskin-Margulis-Mozes and Eskin-Margulis. As we use the Margulis' inequality, our results do not depend on the spectral gap of the action. As an application of our techniques, we show that given a horospherical flow over the space of lattices, the horospherical orbit of every lattice defined over a number field, not contained in a proper rational parabolic subgroup is equidistributed with an effective rate.


title: Disconnected reductive groups

abstract: In this paper, we describe the possible disconnected complex reductive algebraic groups $E$ with component group $\Gamma = E/E_0$. We show that there is a natural bijection between such groups $E$ and algebraic extensions of $\Gamma$ by $Z(E_0)$.


title: Degree Distribution Identifiability of Stochastic Kronecker Graphs

abstract: Large-scale analysis of the distributions of the network graphs observed in naturally-occurring phenomena has revealed that the degrees of such graphs follow a power-law or lognormal distribution. Seshadhri, Pinar, and Kolda (J. ACM, 2013) proved that stochastic Kronecker graph (SKG) models cannot generate graphs with degree distribution that follows a power-law or lognormal distribution. As a result, variants of the SKG model have been proposed to generate graphs which approximately follow degree distributions, without any significant oscillations. However, all existing solutions either require significant additional parameterization or have no provable guarantees on the degree distribution. -- In this work, we present statistical and computational identifiability notions which imply the separation of SKG models. Specifically, we prove that SKG models in different identifiability classes can be separated by the existence of isolated vertices and connected components in their corresponding generated graphs. This could explain the large (i.e., $>50\%$) fraction of isolated vertices in some popular graph generation benchmarks. -- We present and analyze an efficient algorithm that can get rid of oscillations in the degree distribution by mixing seeds of relative prime dimensions. For an initial $2\times 1$ and $2\times 2$ seed, a crucial subroutine of this algorithm solves a degree-2 and degree-4 optimization problem in the variables of the initial seed, respectively. We generalize this approach to solving optimization problems for $m\times n$ seeds, for any $m, n\in\mathbb{N}$. -- The use of $3\times 3$ seeds alone cannot get rid of significant oscillations. We prove that such seeds result in degree distribution that is bounded above by an exponential tail and thus cannot result in a power-law or lognormal.


title: A physics-informed deep learning approach for solving strongly degenerate parabolic problems

abstract: In recent years, Scientific Machine Learning (SciML) methods for solving partial differential equations (PDEs) have gained increasing popularity. Within such a paradigm, Physics-Informed Neural Networks (PINNs) are novel deep learning frameworks for solving initial-boundary value problems involving nonlinear PDEs. Recently, PINNs have shown promising results in several application fields. Motivated by applications to gas filtration problems, here we present and evaluate a PINN-based approach to predict solutions to strongly degenerate parabolic problems with asymptotic structure of Laplacian type. To the best of our knowledge, this is one of the first papers demonstrating the efficacy of the PINN framework for solving such kind of problems. In particular, we estimate an appropriate approximation error for some test problems whose analytical solutions are fortunately known. The numerical experiments discussed include two and three-dimensional spatial domains, emphasizing the effectiveness of this approach in predicting accurate solutions.


title: Accumulation points of normalized approximations

abstract: Building on classical aspects of the theory of Diophantine approximation, we consider the collection of all accumulation points of normalized integer vector translates of points $q\alpha$ with $\alpha\in\mathbb{R}^d$ and $q\in\mathbb{Z}$. In the first part of the paper we derive measure theoretic and Hausdorff dimension results about the set of $\alpha$ whose accumulation points are all of $\mathbb{R}^d$. In the second part we focus primarily on the case when the coordinates of $\alpha$ together with $1$ form a basis for an algebraic number field $K$. Here we show that, under the correct normalization, the set of accumulation points displays an ordered geometric structure which reflects algebraic properties of the underlying number field. For example, when $d=2$, this collection of accumulation points can be described as a countable union of dilates (by norms of elements of an order in $K$) of a single ellipse, or of a pair of hyperbolas, depending on whether or not $K$ has a non-trivial embedding into $\mathbb{C}$.


title: ADMET property prediction through combinations of molecular fingerprints

abstract: While investigating methods to predict small molecule potencies, we found random forests or support vector machines paired with extended-connectivity fingerprints (ECFP) consistently outperformed recently developed methods. A detailed investigation into regression algorithms and molecular fingerprints revealed gradient-boosted decision trees, particularly CatBoost, in conjunction with a combination of ECFP, Avalon, and ErG fingerprints, as well as 200 molecular properties, to be most effective. Incorporating a graph neural network fingerprint further enhanced performance. We successfully validated our model across 22 Therapeutics Data Commons ADMET benchmarks. Our findings underscore the significance of richer molecular representations for accurate property prediction.


title: Tight Bounds for Volumetric Spanners and Applications

abstract: Given a set of points of interest, a volumetric spanner is a subset of the points using which all the points can be expressed using "small" coefficients (measured in an appropriate norm). Formally, given a set of vectors $X = \{v_1, v_2, \dots, v_n\}$, the goal is to find $T \subseteq [n]$ such that every $v \in X$ can be expressed as $\sum_{i\in T} \alpha_i v_i$, with $\|\alpha\|$ being small. This notion, which has also been referred to as a well-conditioned basis, has found several applications, including bandit linear optimization, determinant maximization, and matrix low rank approximation. In this paper, we give almost optimal bounds on the size of volumetric spanners for all $\ell_p$ norms, and show that they can be constructed using a simple local search procedure. We then show the applications of our result to other tasks and in particular the problem of finding coresets for the Minimum Volume Enclosing Ellipsoid (MVEE) problem.


title: Universality of max-margin classifiers

abstract: Maximum margin binary classification is one of the most fundamental algorithms in machine learning, yet the role of featurization maps and the high-dimensional asymptotics of the misclassification error for non-Gaussian features are still poorly understood. We consider settings in which we observe binary labels $y_i$ and either $d$-dimensional covariates ${\boldsymbol z}_i$ that are mapped to a $p$-dimension space via a randomized featurization map ${\boldsymbol \phi}:\mathbb{R}^d \to\mathbb{R}^p$, or $p$-dimensional features of non-Gaussian independent entries. In this context, we study two fundamental questions: $(i)$ At what overparametrization ratio $p/n$ do the data become linearly separable? $(ii)$ What is the generalization error of the max-margin classifier? Working in the high-dimensional regime in which the number of features $p$, the number of samples $n$ and the input dimension $d$ (in the nonlinear featurization setting) diverge, with ratios of order one, we prove a universality result establishing that the asymptotic behavior is completely determined by the expected covariance of feature vectors and by the covariance between features and labels. In particular, the overparametrization threshold and generalization error can be computed within a simpler Gaussian model. The main technical challenge lies in the fact that max-margin is not the maximizer (or minimizer) of an empirical average, but the maximizer of a minimum over the samples. We address this by representing the classifier as an average over support vectors. Crucially, we find that in high dimensions, the support vector count is proportional to the number of samples, which ultimately yields universality.


title: A Neural-preconditioned Poisson Solver for Mixed Dirichlet and Neumann Boundary Conditions

abstract: We introduce a neural-preconditioned iterative solver for Poisson equations with mixed boundary conditions. Typical Poisson discretizations yield large, ill-conditioned linear systems. Iterative solvers can be effective for these problems, but only when equipped with powerful preconditioners. Unfortunately, effective preconditioners like multigrid require costly setup phases that must be re-executed every time domain shapes or boundary conditions change, forming a severe bottleneck for problems with evolving boundaries. In contrast, we present a neural preconditioner trained to efficiently approximate the inverse of the discrete Laplacian in the presence of such changes. Our approach generalizes to domain shapes, boundary conditions, and grid sizes outside the training set. The key to our preconditioner's success is a novel, lightweight neural network architecture featuring spatially varying convolution kernels and supporting fast inference. We demonstrate that our solver outperforms state-of-the-art methods like algebraic multigrid as well as recently proposed neural preconditioners on challenging test cases arising from incompressible fluid simulations.


title: Contextual Biasing with the Knuth-Morris-Pratt Matching Algorithm

abstract: Contextual biasing refers to the problem of biasing the automatic speech recognition (ASR) systems towards rare entities that are relevant to the specific user or application scenarios. We propose algorithms for contextual biasing based on the Knuth-Morris-Pratt algorithm for pattern matching. During beam search, we boost the score of a token extension if it extends matching into a set of biasing phrases. Our method simulates the classical approaches often implemented in the weighted finite state transducer (WFST) framework, but avoids the FST language altogether, with careful considerations on memory footprint and efficiency on tensor processing units (TPUs) by vectorization. Without introducing additional model parameters, our method achieves significant word error rate (WER) reductions on biasing test sets by itself, and yields further performance gain when combined with a model-based biasing method.


title: Network Preference Dynamics using Lattice Theory

abstract: Preferences, fundamental in all forms of strategic behavior and collective decision-making, in their raw form, are an abstract ordering on a set of alternatives. Agents, we assume, revise their preferences as they gain more information about other agents. Exploiting the ordered algebraic structure of preferences, we introduce a message-passing algorithm for heterogeneous agents distributed over a network to update their preferences based on aggregations of the preferences of their neighbors in a graph. We demonstrate the existence of equilibrium points of the resulting global dynamical system of local preference updates and provide a sufficient condition for trajectories to converge to equilibria: stable preferences. Finally, we present numerical simulations demonstrating our preliminary results.


title: MARL: Multi-scale Archetype Representation Learning for Urban Building Energy Modeling

abstract: Building archetypes, representative models of building stock, are crucial for precise energy simulations in Urban Building Energy Modeling. The current widely adopted building archetypes are developed on a nationwide scale, potentially neglecting the impact of local buildings' geometric specificities. We present Multi-scale Archetype Representation Learning (MARL), an approach that leverages representation learning to extract geometric features from a specific building stock. Built upon VQ-AE, MARL encodes building footprints and purifies geometric information into latent vectors constrained by multiple architectural downstream tasks. These tailored representations are proven valuable for further clustering and building energy modeling. The advantages of our algorithm are its adaptability with respect to the different building footprint sizes, the ability for automatic generation across multi-scale regions, and the preservation of geometric features across neighborhoods and local ecologies. In our study spanning five regions in LA County, we show MARL surpasses both conventional and VQ-AE extracted archetypes in performance. Results demonstrate that geometric feature embeddings significantly improve the accuracy and reliability of energy consumption estimates. Code, dataset and trained models are publicly available: https://github.com/ZixunHuang1997/MARL-BuildingEnergyEstimation


title: Finite groups with integer harmonic mean of element orders

abstract: In this paper, we introduce a new function computing the harmonic mean of element orders of a finite group. We present a series of properties for this function, and then we study groups for which the value of the function is an integer.


title: Topological Localized Modes In Moir\'{e} Lattices of Bilayer Elastic Plates With Resonators

abstract: We investigate the existence of higher order topological localized modes in moir\'{e} lattices of bilayer elastic plates. Each plate has a hexagonal array of discrete resonators and one of the plates is rotated an angle ($21.78^\circ$) which results in a periodic moir\'{e} lattice with the smallest area. The two plates are then coupled by inter-layer springs at discrete locations where the top and bottom plate resonators coincide. Dispersion analysis using the plane wave expansion method reveals that a bandgap opens on adding the inter-layer springs. The corresponding topological index, namely fractional corner mode, for bands below the bandgap predicts the presence of corner localized modes in a finite structure. Numerical simulations of frequency response show localization at all corners, consistent with the theoretical predictions. The considered continuous elastic bilayered moir\'{e} structures opens opportunities for novel wave phenomena, with potential applications in tunable energy localization and vibration isolation.


title: On the Equivalence of Graph Convolution and Mixup

abstract: This paper investigates the relationship between graph convolution and Mixup techniques. Graph convolution in a graph neural network involves aggregating features from neighboring samples to learn representative features for a specific node or sample. On the other hand, Mixup is a data augmentation technique that generates new examples by averaging features and one-hot labels from multiple samples. One commonality between these techniques is their utilization of information from multiple samples to derive feature representation. This study aims to explore whether a connection exists between these two approaches. Our investigation reveals that, under two mild conditions, graph convolution can be viewed as a specialized form of Mixup that is applied during both the training and testing phases. The two conditions are: 1) \textit{Homophily Relabel} - assigning the target node's label to all its neighbors, and 2) \textit{Test-Time Mixup} - Mixup the feature during the test time. We establish this equivalence mathematically by demonstrating that graph convolution networks (GCN) and simplified graph convolution (SGC) can be expressed as a form of Mixup. We also empirically verify the equivalence by training an MLP using the two conditions to achieve comparable performance.


title: NASU -- Novel Actuating Screw Unit: Origami-inspired Screw-based Propulsion on Mobile Ground Robots

abstract: Screw-based locomotion is a robust method of locomotion across a wide range of media including water, sand, and gravel. A challenge with screws is their significant number of impactful design parameters that affect locomotion performance. One crucial parameter is the angle of attack (also called the lead angle), which has been shown to significantly impact the performance of screw propellers in terms of traveling velocity, force produced, degree of slip, and sinkage. As a result, the optimal design choice may vary significantly depending on application and mission objectives. In this work, we present the Novel Actuating Screw Unit (NASU). It is the first screw-based propulsion design that enables dynamic reconfiguration of the angle of attack for optimized locomotion across multiple media and use cases. The design is inspired by the kresling unit, a mechanism from origami robotics, and the angle of attack is adjusted with a linear actuator. In contrast, the entire unit is spun on its axis to generate propulsion. NASU is integrated into a mobile test bed and experiments are conducted in various media including gravel, grass, and sand. Our experiment results indicate a trade-off between locomotive efficiency and velocity exists regarding angle of attack, and the proposed design is a promising direction for reconfigurable screws by allowing control to optimize for efficiency or velocity.


title: CARLA: Adjusted common average referencing for cortico-cortical evoked potential data

abstract: Human brain connectivity can be mapped by single pulse electrical stimulation during intracranial EEG measurements. The raw cortico-cortical evoked potentials (CCEP) are often contaminated by noise. Common average referencing (CAR) removes common noise and preserves response shapes but can introduce bias from responsive channels. We address this issue with an adjusted, adaptive CAR algorithm termed "CAR by Least Anticorrelation (CARLA)". CARLA was tested on simulated CCEP data and real CCEP data collected from four human participants. In CARLA, the channels are ordered by increasing mean cross-trial covariance, and iteratively added to the common average until anticorrelation between any single channel and all re-referenced channels reaches a minimum, as a measure of shared noise. We simulated CCEP data with true responses in 0 to 45 of 50 total channels. We quantified CARLA's error and found that it erroneously included 0 (median) truly responsive channels in the common average with less than or equal to 42 responsive channels, and erroneously excluded less than or equal to 2.5 (median) unresponsive channels at all responsiveness levels. On real CCEP data, signal quality was quantified with the mean R-squared between all pairs of channels, which represents inter-channel dependency and is low for well-referenced data. CARLA re-referencing produced significantly lower mean R-squared than standard CAR, CAR using a fixed bottom quartile of channels by covariance, and no re-referencing. CARLA minimizes bias in re-referenced CCEP data by adaptively selecting the optimal subset of non-responsive channels. It showed high specificity and sensitivity on simulated CCEP data and lowered inter-channel dependency compared to CAR on real CCEP data.


title: Polynomial functors on some categories of elements

abstract: We study the category $\mathcal{F}(\mathfrak{S}_S,\mathcal{V})$ of functors from the category $\mathfrak{S}_S$, which is the category of elements of some presheaf $S$ on the category $\mathcal{V}^f$ of finite dimensional vector spaces, to $\mathcal{V}$ the category of vector spaces of any dimension on some field $\mathbb{k}$. In the case where $S$ satisfies some noetherianity condition, we have a convenient description of the category $\mathfrak{S}_S$. In this case, we can define a notion of polynomial functors on $\mathfrak{S}_S$. And, like in the usual setting of functors from the category of finite dimensional vector spaces to the one of vector spaces of any dimension, we can describe the quotient $\mathcal{P}\mathrm{ol}_{n}(\mathfrak{S}_S,\mathcal{V})/\mathcal{P}\mathrm{ol}_{n-1}(\mathfrak{S}_S,\mathcal{V})$, where $\mathcal{P}\mathrm{ol}_{n}(\mathfrak{S}_S,\mathcal{V})$ denote the full subcategory of $\mathcal{F}(\mathfrak{S}_S,\mathcal{V})$ of polynomial functors of degree less than or equal to $n$. Finally, if $\mathbb{k}=\mathbb{F}_p$ for some prime $p$ and if $S$ satisfies the required noetherianity condition, we can compute the set of isomorphism classes of simple objects in $\mathcal{F}(\mathfrak{S}_S,\mathcal{V})$.


title: One-Bit Channel Estimation for IRS-aided Millimeter-Wave Massive MU-MISO System

abstract: Recently, intelligent reflecting surface (IRS)-assisted communication has gained considerable attention due to its advantage in extending the coverage and compensating the path loss with low-cost passive metasurface. This paper considers the uplink channel estimation for IRS-aided multiuser massive MISO communications with one-bit ADCs at the base station (BS). The use of one-bit ADC is impelled by the low-cost and power efficient implementation of massive antennas techniques. However, the passiveness of IRS and the lack of signal level information after one-bit quantization make the IRS channel estimation challenging. To tackle this problem, we exploit the structured sparsity of the user-IRS-BS cascaded channels and develop three channel estimators, each of which utilizes the structured sparsity at different levels. Specifically, the first estimator exploits the elementwise sparsity of the cascaded channel and employs the sparse Bayesian learning (SBL) to infer the channel responses via the type-II maximum likelihood (ML) estimation. However, due to the one-bit quantization, the type-II ML in general is intractable. As such, a variational expectation-maximization (EM) algorithm is custom-derived to iteratively compute an ML solution. The second estimator utilizes the common row-structured sparsity induced by the IRS-to-BS channel shared among the users, and develops another type-II ML solution via the block SBL (BSBL) and the variational EM. To further improve the performance of BSBL, a third two-stage estimator is proposed, which can utilize both the common row-structured sparsity and the column-structured sparsity arising from the limited scattering around the users. Simulation results show that the more diverse structured sparsity is exploited, the better estimation performance is achieved, and that the proposed estimators are superior to state-of-the-art one-bit estimators.


title: The adjoint double layer potential on smooth surfaces in $\mathbb{R}^3$ and the Neumann problem

abstract: We present a simple yet accurate method to compute the adjoint double layer potential, which is used to solve the Neumann boundary value problem for Laplace's equation in three dimensions. An expansion in curvilinear coordinates leads us to modify the expression for the adjoint double layer so that the singularity is reduced when evaluating the integral on the surface. We then regularize the Green's function, with a radial parameter $\delta$. We show that a natural regularization has error $O(\delta^3)$, and a simple modification improves the error to $O(\delta^5)$. The integral is evaluated numerically without the need of special coordinates. We use this treatment of the adjoint double layer to solve the classical integral equation for the interior Neumann problem and evaluate the solution on the boundary. Choosing $\delta = ch^{4/5}$, we find about $O(h^4)$ convergence in our examples, where $h$ is the spacing in a background grid.


title: Electro-nuclear dynamics of single and double ionization of H$_2$ in ultrafast intense laser pulses

abstract: We present an efficient method for modeling the single and double ionization dynamics of the H$_2$ molecule in ultrashort intense laser fields. This method is based on a semi-analytical approach to calculate the time-dependent single and double molecular ionization rates and on a numerical approach to describe the vibrational motion that takes place in the intermediate molecular ion H$_2^+$. This model allows for the prediction of the single and double ionization probabilities of the H$_2$ molecule to be made over a wide range of frequencies and laser intensities with limited computational time, while providing a realistic estimate of the energy of the products of the dissociative ionization and of the Coulomb explosion of the H$_2$ molecule. The effect of vibrational dynamics on ionization yields and proton kinetic energy release spectra is demonstrated and, in the case of the latter, discussed in terms of basic strong-field molecular fragmentation mechanisms.


title: Existence and uniqueness for reflected BSDE with multivariate point process and right upper-semi-continuous obstacle

abstract: In a noise driving by a multivariate point process $\mu$ with predictable compensator $\nu$, we prove existence and uniqueness of the reflected backward stochastic differential equation's solution with a lower obstacle $(\xi_{t})_{t\in[0,T]}$ which is assumed to be right upper-semicontinuous but not necessarily right-continuous process and a Lipschitz driver $f$. The result is established by using Mertens decomposition of optional strong (but not necessarily right continuous) super-martingales, an appropriate generalization of It\^{o}'s formula due to Gal'chouk and Lenglart and some tools from optimal stopping theory. A comparison theorem for this type of equations is given.


title: Structural Szemer\'edi-Trotter for Lattices and their Generalizations

abstract: We completely characterize point--line configurations with $\Theta(n^{4/3})$ incidences when the point set is a section of the integer lattice. This can be seen as the main special case of the structural Szemer\'edi-Trotter problem. We also derive a partial characterization for several generalizations: (i) We rule out the concurrent lines case when the point set is a Cartesian product of an arithmetic progression and an arbitrary set. (ii) We study the case of a Cartesian product where one or both sets are generalized arithmetic progression. Our proofs rely on deriving properties of multiplicative energies.


title: Tailors: Accelerating Sparse Tensor Algebra by Overbooking Buffer Capacity

abstract: Sparse tensor algebra is a challenging class of workloads to accelerate due to low arithmetic intensity and varying sparsity patterns. Prior sparse tensor algebra accelerators have explored tiling sparse data to increase exploitable data reuse and improve throughput, but typically allocate tile size in a given buffer for the worst-case data occupancy. This severely limits the utilization of available memory resources and reduces data reuse. Other accelerators employ complex tiling during preprocessing or at runtime to determine the exact tile size based on its occupancy. This paper proposes a speculative tensor tiling approach, called overbooking, to improve buffer utilization by taking advantage of the distribution of nonzero elements in sparse tensors to construct larger tiles with greater data reuse. To ensure correctness, we propose a low-overhead hardware mechanism, Tailors, that can tolerate data overflow by design while ensuring reasonable data reuse. We demonstrate that Tailors can be easily integrated into the memory hierarchy of an existing sparse tensor algebra accelerator. To ensure high buffer utilization with minimal tiling overhead, we introduce a statistical approach, Swiftiles, to pick a tile size so that tiles usually fit within the buffer's capacity, but can potentially overflow, i.e., it overbooks the buffers. Across a suite of 22 sparse tensor algebra workloads, we show that our proposed overbooking strategy introduces an average speedup of $52.7\times$ and $2.3\times$ and an average energy reduction of $22.5\times$ and $2.5\times$ over ExTensor without and with optimized tiling, respectively.


title: When is fast, implicit squaring of $A^{-1}B$ stable?

abstract: We analyze Implicit Repeated Squaring ($\textbf{IRS}$) -- an algorithm that implicitly computes $(A^{-1}B)^{2^p}$ for $A,B \in {\mathbb C}^{n \times n}$ and $p \in {\mathbb N}_+$. Originating with inverse-free divide-and-conquer eigensolvers, this routine uses only matrix multiplication and QR to produce $A_p$ and $B_p$ satisfying $A_p^{-1}B_p = (A^{-1}B)^{2^p}$. By offering the choice to work with $A_p$ and $B_p$ individually or form $A_p^{-1}B_p$, $\textbf{IRS}$ is applicable to both implicit and explicit computations involving $(A^{-1}B)^{2^p}$. Moreover, it exhibits stability. In this paper, we present the first rigorous and general analysis of the algorithm, showing that a finite-arithmetic implementation of $\textbf{IRS}$ -- using any fast matrix multiplication routine -- satisfies a mixed forward/backward stability bound provided $O(\log(1/\epsilon) + \log(\mu(n)) + (p-1) \log(\kappa_\text{IRS}(A,B,p)))$ bits of precision are used, where $\epsilon$ is the desired (sufficiently small) forward error, $\mu(n)$ is a polynomial in $n$, and $\kappa_{\text{IRS}}$ is an appropriately chosen condition number. Hence, fast $\textbf{IRS}$ is stable in relatively modest precision when $p$ is logarithmic in $n$ or smaller. We also demonstrate on a handful of examples that $\textbf{IRS}$ offers improved accuracy over a naive algorithm that explicitly forms and squares $A^{-1}B$. Along the way, we develop a spectral norm perturbation bound for full QR that may be of independent interest.


title: A Prefrontal Cortex-inspired Architecture for Planning in Large Language Models

abstract: Large language models (LLMs) demonstrate impressive performance on a wide variety of tasks, but they often struggle with tasks that require multi-step reasoning or goal-directed planning. To address this, we take inspiration from the human brain, in which planning is accomplished via the recurrent interaction of specialized modules in the prefrontal cortex (PFC). These modules perform functions such as conflict monitoring, state prediction, state evaluation, task decomposition, and task coordination. We find that LLMs are sometimes capable of carrying out these functions in isolation, but struggle to autonomously coordinate them in the service of a goal. Therefore, we propose a black box architecture with multiple LLM-based (GPT-4) modules. The architecture improves planning through the interaction of specialized PFC-inspired modules that break down a larger problem into multiple brief automated calls to the LLM. We evaluate the combined architecture on three challenging planning tasks -- graph traversal, Tower of Hanoi, and logistics -- finding that it yields significant improvements over standard LLM methods (e.g., zero-shot prompting, in-context learning, and chain-of-thought). These results demonstrate the benefit of utilizing knowledge from cognitive neuroscience to improve planning in LLMs.


title: Exploring Strategies for Modeling Sign Language Phonology

abstract: Like speech, signs are composed of discrete, recombinable features called phonemes. Prior work shows that models which can recognize phonemes are better at sign recognition, motivating deeper exploration into strategies for modeling sign language phonemes. In this work, we learn graph convolution networks to recognize the sixteen phoneme "types" found in ASL-LEX 2.0. Specifically, we explore how learning strategies like multi-task and curriculum learning can leverage mutually useful information between phoneme types to facilitate better modeling of sign language phonemes. Results on the Sem-Lex Benchmark show that curriculum learning yields an average accuracy of 87% across all phoneme types, outperforming fine-tuning and multi-task strategies for most phoneme types.


title: The Sem-Lex Benchmark: Modeling ASL Signs and Their Phonemes

abstract: Sign language recognition and translation technologies have the potential to increase access and inclusion of deaf signing communities, but research progress is bottlenecked by a lack of representative data. We introduce a new resource for American Sign Language (ASL) modeling, the Sem-Lex Benchmark. The Benchmark is the current largest of its kind, consisting of over 84k videos of isolated sign productions from deaf ASL signers who gave informed consent and received compensation. Human experts aligned these videos with other sign language resources including ASL-LEX, SignBank, and ASL Citizen, enabling useful expansions for sign and phonological feature recognition. We present a suite of experiments which make use of the linguistic information in ASL-LEX, evaluating the practicality and fairness of the Sem-Lex Benchmark for isolated sign recognition (ISR). We use an SL-GCN model to show that the phonological features are recognizable with 85% accuracy, and that they are effective as an auxiliary target to ISR. Learning to recognize phonological features alongside gloss results in a 6% improvement for few-shot ISR accuracy and a 2% improvement for ISR accuracy overall. Instructions for downloading the data can be found at https://github.com/leekezar/SemLex.


title: Identification, Impacts, and Opportunities of Three Common Measurement Considerations when using Digital Trace Data

abstract: Cataloguing specific URLs, posts, and applications with digital traces is the new best practice for measuring media use and content consumption. Despite the apparent accuracy that comes with greater granularity, however, digital traces may introduce additional ambiguity and new errors into the measurement of media use. In this note, we identify three new measurement challenges when using Digital Trace Data that were recently uncovered using a new measurement framework - Screenomics - that records media use at the granularity of individual screenshots obtained every few seconds as people interact with mobile devices. We label the considerations as follows: (1) entangling - the common measurement error introduced by proxying exposure to content by exposure to format; (2) flattening - aggregating unique segments of media interaction without incorporating temporal information, most commonly intraindividually and (3) bundling - summation of the durations of segments of media interaction, indiscriminate with respect to variations across media segments.


title: Accelerating Non-IID Federated Learning via Heterogeneity-Guided Client Sampling

abstract: Statistical heterogeneity of data present at client devices in a federated learning (FL) system renders the training of a global model in such systems difficult. Particularly challenging are the settings where due to resource constraints only a small fraction of clients can participate in any given round of FL. Recent approaches to training a global model in FL systems with non-IID data have focused on developing client selection methods that aim to sample clients with more informative updates of the model. However, existing client selection techniques either introduce significant computation overhead or perform well only in the scenarios where clients have data with similar heterogeneity profiles. In this paper, we propose HiCS-FL (Federated Learning via Hierarchical Clustered Sampling), a novel client selection method in which the server estimates statistical heterogeneity of a client's data using the client's update of the network's output layer and relies on this information to cluster and sample the clients. We analyze the ability of the proposed techniques to compare heterogeneity of different datasets, and characterize convergence of the training process that deploys the introduced client selection method. Extensive experimental results demonstrate that in non-IID settings HiCS-FL achieves faster convergence and lower training variance than state-of-the-art FL client selection schemes. Notably, HiCS-FL drastically reduces computation cost compared to existing selection schemes and is adaptable to different heterogeneity scenarios.


title: DeformUX-Net: Exploring a 3D Foundation Backbone for Medical Image Segmentation with Depthwise Deformable Convolution

abstract: The application of 3D ViTs to medical image segmentation has seen remarkable strides, somewhat overshadowing the budding advancements in Convolutional Neural Network (CNN)-based models. Large kernel depthwise convolution has emerged as a promising technique, showcasing capabilities akin to hierarchical transformers and facilitating an expansive effective receptive field (ERF) vital for dense predictions. Despite this, existing core operators, ranging from global-local attention to large kernel convolution, exhibit inherent trade-offs and limitations (e.g., global-local range trade-off, aggregating attentional features). We hypothesize that deformable convolution can be an exploratory alternative to combine all advantages from the previous operators, providing long-range dependency, adaptive spatial aggregation and computational efficiency as a foundation backbone. In this work, we introduce 3D DeformUX-Net, a pioneering volumetric CNN model that adeptly navigates the shortcomings traditionally associated with ViTs and large kernel convolution. Specifically, we revisit volumetric deformable convolution in depth-wise setting to adapt long-range dependency with computational efficiency. Inspired by the concepts of structural re-parameterization for convolution kernel weights, we further generate the deformable tri-planar offsets by adapting a parallel branch (starting from $1\times1\times1$ convolution), providing adaptive spatial aggregation across all channels. Our empirical evaluations reveal that the 3D DeformUX-Net consistently outperforms existing state-of-the-art ViTs and large kernel convolution models across four challenging public datasets, spanning various scales from organs (KiTS: 0.680 to 0.720, MSD Pancreas: 0.676 to 0.717, AMOS: 0.871 to 0.902) to vessels (e.g., MSD hepatic vessels: 0.635 to 0.671) in mean Dice.


title: An efficient and robust method to estimate halo concentration

abstract: We propose an efficient and robust method to estimate the halo concentration based on the first moment of the density distribution, which is $R_1\equiv \int_0^{r_{\rm vir}}4\pi r^3\rho(r)dr/M_{\rm vir}/r_{\rm vir}$. We find that $R_1$ has a monotonic relation with the concentration parameter of the NFW profile, and that a cubic polynomial function can fit the relation with an error $\lesssim 3\%$. Tests on ideal NFW halos show that the conventional NFW profile fitting method and the $V_{\rm max}/V_{\rm vir}$ method produce biased halo concentration estimation by $\approx 10\%$ and $\approx 30\%$, respectively, for halos with 100 particles. In contrast, the systematic error for our $R_1$ method is smaller than $0.5\%$ even for halos containing only 100 particles. Convergence tests on realistic halos in $N$-body simulations show that the NFW profile fitting method underestimates the concentration parameter for halos with $\lesssim 300$ particles by $\gtrsim 20\%$, while the error for the $R_1$ method is $\lesssim 8\%$. We also show other applications of $R_1$, including estimating $V_{\rm max}$ and the Einasto concentration $c_{\rm e}\equiv r_{\rm vir}/r_{-2}$. The calculation of $R_1$ is efficient and robust, and we recommend including it as one of the halo properties in halo catalogs of cosmological simulations.


title: Homotopy Limits and Homotopy Colimits of Chain Complexes

abstract: We prove that the homotopy limits and homotopy colimits of chain complexes can be computed by the cobar and bar constructions. We also show that the totalizations of double complexes compute the homotopy limits and homotopy colimits of simplicial and cosimplicial chain complexes.


title: Diagnosing the massive-seed pathway to high-redshift black holes: statistics of the evolving black hole to host galaxy mass ratio

abstract: Supermassive black holes (SMBHs) with masses of $\sim 10^9 {\rm M_\odot}$ within the first billion year of the universe challenge our conventional understanding of black hole formation and growth. One pathway to these SMBHs proposes that supermassive stars (SMSs) born in pristine atomic cooling haloes (ACHs) yield massive seed BHs evolving to these early SMBHs. This scenario leads to an overly massive BH galaxy (OMBG), in which the BH to stellar mass ratio is initially $M_{\rm bh}/M_* \geq 1$, well in excess of the typical values of $\sim 10^{-3}$ at low redshifts. Previously, we have investigated two massive seed BH candidates from the \texttt{Renaissance} simulation and found that they remain outliers on the $M_{\rm bh}-M_{*}$ relation until the OMBG merges with a much more massive halo at $z{=}8$. In this work, we use Monte-Carlo merger trees to investigate the evolution of the $M_{\rm bh}-M_{*}$ relation for $50,000$ protogalaxies hosting massive BH seeds, across $10,000$ trees that merge into a $10^{12} {\rm M_\odot}$ halo at $z{=}6$. We find that up to $60\%$ (depending on growth parameters) of these OMBGs remain strong outliers for several 100 Myr, down to redshifts detectable with {\it JWST} and with sensitive X-ray telescopes. This represents a way to diagnose the massive-seed formation pathway for early SMBHs. We expect to find ${\sim} 0.1{-}1$ of these objects per {\it JWST} NIRCam field per unit redshift at $z\gtrsim 6$. Recently detected SMBHs with masses of $\sim 10^7~{\rm M_\odot}$ and low inferred stellar-mass hosts may be examples of this population.


title: Photosynthetically-powered phototactic active nematic fluids and gels

abstract: One of the most ancient forms of life dating to ~3.5 billion years ago, cyanobacteria are highly abundant organisms that convert light into energy and motion, often within conjoined filaments and larger colonies. We study how gradients of light intensity trigger orderly phototactic motions and dense bacterial communities, which remained quantitatively unexplored despite being among the oldest forms of active living matter on Earth. The phototaxis drives a transition from initially polar motions of semiflexible long filaments along complex curved spatiotemporal trajectories confined within illuminated areas to their bipolar motility in the ensuing crowded environment. We demonstrate how simply shining light causes a spontaneous self-assembly of two- and three-dimensional active nematic states of cyanobacterial filaments, with a plethora of motile and static topological defects. We quantify light-controlled evolutions of orientational and velocity order parameters during the transition between disordered and orientationally ordered states of our photosynthetic active matter, as well as the subsequent active nematic's fluid-gel transformation. Patterned illumination and foreign inclusions with different shapes interact with cyanobacterial active nematics in nontrivial ways, while inducing soft interfacial boundary conditions and quasi-boojum-like defects. Commanding this cyanobacterial collective behavior could aid inhibiting generation of toxins or enhancing production of oxygen and biomaterials.


title: Finding Pragmatic Differences Between Disciplines

abstract: Scholarly documents have a great degree of variation, both in terms of content (semantics) and structure (pragmatics). Prior work in scholarly document understanding emphasizes semantics through document summarization and corpus topic modeling but tends to omit pragmatics such as document organization and flow. Using a corpus of scholarly documents across 19 disciplines and state-of-the-art language modeling techniques, we learn a fixed set of domain-agnostic descriptors for document sections and "retrofit" the corpus to these descriptors (also referred to as "normalization"). Then, we analyze the position and ordering of these descriptors across documents to understand the relationship between discipline and structure. We report within-discipline structural archetypes, variability, and between-discipline comparisons, supporting the hypothesis that scholarly communities, despite their size, diversity, and breadth, share similar avenues for expressing their work. Our findings lay the foundation for future work in assessing research quality, domain style transfer, and further pragmatic analysis.


title: An Empirical Study on the Use of Static Analysis Tools in Open Source Embedded Software

abstract: This paper performs the first study to understand the prevalence, challenges, and effectiveness of using Static Application Security Testing (SAST) tools on Open-Source Embedded Software (EMBOSS) repositories. We collect a corpus of 258 of the most popular EMBOSS projects, representing 13 distinct categories such as real-time operating systems, network stacks, and applications. To understand the current use of SAST tools on EMBOSS, we measured this corpus and surveyed developers. To understand the challenges and effectiveness of using SAST tools on EMBOSS projects, we applied these tools to the projects in our corpus. We report that almost none of these projects (just 3%) use SAST tools beyond those baked into the compiler, and developers give rationales such as ineffectiveness and false positives. In applying SAST tools ourselves, we show that minimal engineering effort and project expertise are needed to apply many tools to a given EMBOSS project. GitHub's CodeQL was the most effective SAST tool -- using its built-in security checks we found a total of 540 defects (with a false positive rate of 23%) across the 258 projects, with 399 (74%) likely security vulnerabilities, including in projects maintained by Microsoft, Amazon, and the Apache Foundation. EMBOSS engineers have confirmed 273 (51%) of these defects, mainly by accepting our pull requests. Two CVEs were issued. In summary, we urge EMBOSS engineers to adopt the current generation of SAST tools, which offer low false positive rates and are effective at finding security-relevant defects.


title: An Investigation of Multi-feature Extraction and Super-resolution with Fast Microphone Arrays

abstract: In this work, we use MEMS microphones as vibration sensors to simultaneously classify texture and estimate contact position and velocity. Vibration sensors are an important facet of both human and robotic tactile sensing, providing fast detection of contact and onset of slip. Microphones are an attractive option for implementing vibration sensing as they offer a fast response and can be sampled quickly, are affordable, and occupy a very small footprint. Our prototype sensor uses only a sparse array (8-9 mm spacing) of distributed MEMS microphones (<$1, 3.76 x 2.95 x 1.10 mm) embedded under an elastomer. We use transformer-based architectures for data analysis, taking advantage of the microphones' high sampling rate to run our models on time-series data as opposed to individual snapshots. This approach allows us to obtain 77.3% average accuracy on 4-class texture classification (84.2% when excluding the slowest drag velocity), 1.8 mm mean error on contact localization, and 5.6 mm/s mean error on contact velocity. We show that the learned texture and localization models are robust to varying velocity and generalize to unseen velocities. We also report that our sensor provides fast contact detection, an important advantage of fast transducers. This investigation illustrates the capabilities one can achieve with a MEMS microphone array alone, leaving valuable sensor real estate available for integration with complementary tactile sensing modalities.


title: Detecting Unseen Multiword Expressions in American Sign Language

abstract: Multiword expressions present unique challenges in many translation tasks. In an attempt to ultimately apply a multiword expression detection system to the translation of American Sign Language, we built and tested two systems that apply word embeddings from GloVe to determine whether or not the word embeddings of lexemes can be used to predict whether or not those lexemes compose a multiword expression. It became apparent that word embeddings carry data that can detect non-compositionality with decent accuracy.


title: On the Quantum Uncertainty of the Neutron Electric Dipole Moment

abstract: The continued interest in placing bounds on the neutron's Electric Dipole Moment (EDM) is due to the implications regarding the characteristics of the strong interaction and, in particular, its behavior under the CP symmetry. In this work, we discuss the apparent tension resulting from the discrepancy of about 13 orders of magnitude between the current bounds and the expected quantum uncertainty in the relevant quantity. We offer a resolution of the "puzzle" in terms of the notion of a weak measurement, using a version of the corresponding formalism adapted to consideration of the nEDM experiment at the Spallation Neutron Source at the Oak Ridge National Laboratory.


title: Nonlinear stability of entropy waves for the Euler equations

abstract: In this article, we consider a class of the contact discontinuity for the full compressible Euler equations, namely the entropy wave, where the velocity is continuous across the interface while the density and the entropy can have jumps. The nonlinear stability of entropy waves is a longstanding open problem in multi-dimensional hyperbolic conservation laws. The rigorous treatments are challenging due to the characteristic discontinuity nature of the problem (G.-Q. Chen and Y.-G. Wang in \textit{Nonlinear partial differential equations}, Volume 7 of \textit{Abel Symp.}(2012)). In this article, we discover that the Taylor sign condition plays an essential role in the nonlinear stability of entropy waves. By deriving the evolution equation of the interface in the Eulerian coordinates, we relate the Taylor sign condition to the hyperbolicity of this evolution equation, which reveals a stability condition of the entropy wave. With the optimal regularity estimates of the interface, we can derive the a priori estimates without loss of regularity.


title: Hartle-Hawking No-boundary Proposal and Ho\v{r}ava-Lifshitz Gravity

abstract: We study the Hartle-Hawking no-boundary proposal in the framework of Ho\v{r}ava-Lifshitz gravity. The former is a prominent hypothesis that describes the quantum creation of the universe, while the latter is a potential theory of quantum gravity that ensures renormalizability and unitarity, at least in the so-called projectable version. For simplicity, we focus on a global universe composed of a set of local universes each of which is closed, homogeneous and isotropic. Although applying the no-boundary proposal to Ho\v{r}ava-Lifshitz gravity is not straightforward, we demonstrate that the proposal can be formulated within the Ho\v{r}ava-Lifshitz gravity utilizing the Lorentzian path integral formulation of quantum gravity. In projectable Ho\v{r}ava-Lifshitz gravity, the no-boundary wave function of the global universe inevitably contains entanglement between different local universes induced by ``dark matter as integration constant''. On the other hand, in the non-projectable version, the no-boundary wave function of the global universe is simply the direct product of wave functions of each local universe. We then discuss how the no-boundary wave function is formulated under Dirichlet and Robin boundary conditions. For the Dirichlet boundary condition, we point out that its on-shell action diverges due to higher-dimensional operators, but this problem can in principle be ameliorated by taking into account the renormalization group flow. However, utilizing the Picard-Lefschetz theory to identify the relevant critical points and performing the complex lapse integration, we find that only the tunneling wave function can be obtained, as in the case of general relativity. On the other hand, for the Robin boundary condition with a particular imaginary Hubble expansion rate at the initial hypersurface, the no-boundary wave function can be achieved in the Ho\v{r}ava-Lifshitz gravity.


title: Theoretical Foundations of Ordinal Multidimensional Scaling, Including Internal and External Unfolding

abstract: We provide a comprehensive theory of multiple variants of ordinal multidimensional scaling, including external and internal unfolding. We do so in the continuous model of Shepard (1966).


title: Pairwise Proximal Policy Optimization: Harnessing Relative Feedback for LLM Alignment

abstract: Large Language Models (LLMs) can acquire extensive world knowledge through pre-training on large corpora. However, due to exposure to low-quality data, LLMs may exhibit harmful behavior without aligning with human values. The dominant approach for steering LLMs towards beneficial behavior involves Reinforcement Learning with Human Feedback (RLHF), with Proximal Policy Optimization (PPO) serving as the default RL optimizer. Despite its effectiveness, PPO has limitations when optimizing rewards trained from comparison-based loss. Primarily, PPO is not invariant to equivalent reward functions containing identical preference information due to the need to calibrate the reward scale. Additionally, PPO's necessity for token-wise updates introduces complexity in both function approximation and algorithm design compared to trajectory-wise optimization. This paper proposes a new framework, reinforcement learning with relative feedback, and a novel trajectory-wise policy gradient algorithm, Pairwise Proximal Policy Optimization (P3O) that operates directly on comparative rewards. We show theoretically that P3O is invariant to equivalent rewards and avoids the complexity of PPO. Empirical evaluations demonstrate that P3O outperforms PPO in the KL-Reward trade-off and can align with human preferences as well as or better than prior methods. In summary, this work introduces a simpler yet effective approach for aligning LLMs to human preferences through relative feedback.


title: LSOR: Longitudinally-Consistent Self-Organized Representation Learning

abstract: Interpretability is a key issue when applying deep learning models to longitudinal brain MRIs. One way to address this issue is by visualizing the high-dimensional latent spaces generated by deep learning via self-organizing maps (SOM). SOM separates the latent space into clusters and then maps the cluster centers to a discrete (typically 2D) grid preserving the high-dimensional relationship between clusters. However, learning SOM in a high-dimensional latent space tends to be unstable, especially in a self-supervision setting. Furthermore, the learned SOM grid does not necessarily capture clinically interesting information, such as brain age. To resolve these issues, we propose the first self-supervised SOM approach that derives a high-dimensional, interpretable representation stratified by brain age solely based on longitudinal brain MRIs (i.e., without demographic or cognitive information). Called Longitudinally-consistent Self-Organized Representation learning (LSOR), the method is stable during training as it relies on soft clustering (vs. the hard cluster assignments used by existing SOM). Furthermore, our approach generates a latent space stratified according to brain age by aligning trajectories inferred from longitudinal MRIs to the reference vector associated with the corresponding SOM cluster. When applied to longitudinal MRIs of the Alzheimer's Disease Neuroimaging Initiative (ADNI, N=632), LSOR generates an interpretable latent space and achieves comparable or higher accuracy than the state-of-the-art representations with respect to the downstream tasks of classification (static vs. progressive mild cognitive impairment) and regression (determining ADAS-Cog score of all subjects). The code is available at https://github.com/ouyangjiahong/longitudinal-som-single-modality.


title: Quantum MDS Codes with length $n\equiv 0,1($mod$\,\frac{q\pm1}{2})$

abstract: An important family of quantum codes is the quantum maximum-distance-separable (MDS) codes. In this paper, we construct some new classes of quantum MDS codes by generalized Reed-Solomon (GRS) codes and Hermitian construction. In addition, the length $n$ of most of the quantum MDS codes we constructed satisfies $n\equiv 0,1($mod$\,\frac{q\pm1}{2})$, which is different from previously known code lengths. At the same time, the quantum MDS codes we construct have large minimum distances that are greater than $q/2+1$.


title: Implicit collaboration with a drawing machine through dance movements

abstract: In this demonstration, we exhibit the initial results of an ongoing body of exploratory work, investigating the potential for creative machines to communicate and collaborate with people through movement as a form of implicit interaction. The paper describes a Wizard-of-Oz demo, where a hidden wizard controls an AxiDraw drawing robot while a participant collaborates with it to draw a custom postcard. This demonstration aims to gather perspectives from the computational fabrication community regarding how practitioners of fabrication with machines experience interacting with a mixed-initiative collaborative machine.


title: A Novel U-Net Architecture for Denoising of Real-world Noise Corrupted Phonocardiogram Signal

abstract: The bio-acoustic information contained within heart sound signals are utilized by physicians world-wide for auscultation purpose. However, the heart sounds are inherently susceptible to noise contamination. Various sources of noises like lung sound, coughing, sneezing, and other background noises are involved in such contamination. Such corruption of the heart sound signal often leads to inconclusive or false diagnosis. To address this issue, we have proposed a novel U-Net based deep neural network architecture for denoising of phonocardiogram (PCG) signal in this paper. For the design, development and validation of the proposed architecture, a novel approach of synthesizing real-world noise corrupted PCG signals have been proposed. For the purpose, an open-access real-world noise sample dataset and an open-access PCG dataset has been utilized. The performance of the proposed denoising methodology has been evaluated on the synthesized noisy PCG dataset. The performance of the proposed algorithm has been compared with existing state-of-the-art (SoA) denoising algorithms qualitatively and quantitatively. The proposed denoising technique has shown improvement in performance as comparison to the SoAs.


title: Regularity criteria of 3D generalized magneto-micropolar fluid system in terms of the pressure

abstract: This work focuses on regularity criteria of 3D generalized magneto-micropolar fluid system in terms of the pressure in Lorentz spaces inspired by the recent works in \cite{FS22} and \cite{LN22}.


title: Transformations of lattice polytopes and their associated dotted graphs

abstract: We consider a lattice polytope in the $xy$-plane such that each edge is parallel to the $x$-axis or the $y$-axis. In [4], we investigated transformations of certain lattice polytopes, and we considered the reduced graph that is obtained from deformations of a graph associated with a lattice polytope. In this paper, we refine the notion of the reduced graph by introducing the notion of a dotted graph. A lattice polytope is presented by an admissible dotted graph. We investigate deformations of dotted graphs, and we investigate relation between deformations of admissible dotted graphs and transformations of lattice polytopes, giving results that are refined and corrected versions of [4, Lemma 6.2, Theorem 6.3].


title: Theory of chemically driven pattern formation in phase-separating liquids and solids

abstract: Motivated by recent experimental and theoretical work on the control of phase separation by (electro-)autocatalytic reactions, we analyze pattern formation in externally driven phase separating systems described by a generalization of the Cahn-Hilliard and Allen-Cahn equations combining nonlinear reaction kinetics with diffusive transport. The theory predicts that phase separation can be suppressed by driven autoinhibitory reactions when chemically driven at a sufficiently high reaction rate and low diffusivity, while autocatalytic reactions enhance phase separation. Analytical stability criteria for predicting the critical condition of suppressed phase separation based on linear stability analysis track the history dependence of pattern formation and agree well with numerical simulations. By including chemo-mechanical coupling in the model, we extend the theory to solids, where coherency strain alters the morphology and dynamics of driven phase separation. We apply this model to lithium iron phosphate nanoparticles and simulate their rate-dependent electrochemical charging and discharging patterns, paving the way for a quantitative understanding of the effect of reaction kinetics, diffusion, and mechanics on the electrochemical performance of energy materials. The theory may also find applications to microstructure formation in hardening cement paste, as well as membraneless organelle formation in biological cells by chemically controlled liquid-liquid phase separation.


title: Optimization of Tritium Breeding Ratio in a DT and DD Submersion Tokamak Fusion Reactor

abstract: The mass of stars is enough to confine a plasma to fuse light atoms, but this is not possible to engineer on Earth. Fortunately, nuclear engineering can rely on the magnetic confinement of a plasma using superconducting coils so long as the Tritium Breeding Ratio (TBR) is optimized. This paper will investigate some of the materials which can increase the rate at which Tritium is produced within the breeding blanket layer of Submersion Tokamak reactors, a design that uses magnetic confinement of a plasma in the shape of a torus to execute nuclear fusion. Using the Paramak Python module to model several geometries and OpenMC to run a simulation, it can be observed how neutron multipliers, enrichment, and the neutron energy spectrum affect TBR. This experiment will mainly observe different material choices that have been considered and their TBR based on their cross sections, dose rate, thermal properties and safety. By altering the neutron energy spectrum to account for DD and DT plasma, the difference in these compounds' Tritium breeding efficacy is noted. Neutron energy spectra are an important factor in optimising the TBR levels as the neutrons generated by the fusion reactions in the plasma interact with the breeder material in the blanket and produce tritium through the reaction with Lithium. Since Tritium is a rare isotope of hydrogen that is used as fuel in fusion reactions and has a short half-life, it is essential to produce tritium within the fusion reactor itself. Without the tritium breeding capability, it would not be feasible to generate energy via fusion. A TBR greater than unity indicates that the reactor can generate more tritium than it consumes, ensuring self-sufficiency in the tritium inventory. Since Tritium is the most reliable and efficient fuel for these reactors, optimising the TBR is of paramount importance in the long road to commercialization of nuclear fusion.


title: Beyond Random Noise: Insights on Anonymization Strategies from a Latent Bandit Study

abstract: This paper investigates the issue of privacy in a learning scenario where users share knowledge for a recommendation task. Our study contributes to the growing body of research on privacy-preserving machine learning and underscores the need for tailored privacy techniques that address specific attack patterns rather than relying on one-size-fits-all solutions. We use the latent bandit setting to evaluate the trade-off between privacy and recommender performance by employing various aggregation strategies, such as averaging, nearest neighbor, and clustering combined with noise injection. More specifically, we simulate a linkage attack scenario leveraging publicly available auxiliary information acquired by the adversary. Our results on three open real-world datasets reveal that adding noise using the Laplace mechanism to an individual user's data record is a poor choice. It provides the highest regret for any noise level, relative to de-anonymization probability and the ADS metric. Instead, one should combine noise with appropriate aggregation strategies. For example, using averages from clusters of different sizes provides flexibility not achievable by varying the amount of noise alone. Generally, no single aggregation strategy can consistently achieve the optimum regret for a given desired level of privacy.


title: Source Inference Attacks: Beyond Membership Inference Attacks in Federated Learning

abstract: Federated learning (FL) is a popular approach to facilitate privacy-aware machine learning since it allows multiple clients to collaboratively train a global model without granting others access to their private data. It is, however, known that FL can be vulnerable to membership inference attacks (MIAs), where the training records of the global model can be distinguished from the testing records. Surprisingly, research focusing on the investigation of the source inference problem appears to be lacking. We also observe that identifying a training record's source client can result in privacy breaches extending beyond MIAs. For example, consider an FL application where multiple hospitals jointly train a COVID-19 diagnosis model, membership inference attackers can identify the medical records that have been used for training, and any additional identification of the source hospital can result the patient from the particular hospital more prone to discrimination. Seeking to contribute to the literature gap, we take the first step to investigate source privacy in FL. Specifically, we propose a new inference attack (hereafter referred to as source inference attack -- SIA), designed to facilitate an honest-but-curious server to identify the training record's source client. The proposed SIAs leverage the Bayesian theorem to allow the server to implement the attack in a non-intrusive manner without deviating from the defined FL protocol. We then evaluate SIAs in three different FL frameworks to show that in existing FL frameworks, the clients sharing gradients, model parameters, or predictions on a public dataset will leak such source information to the server. We also conduct extensive experiments on various datasets to investigate the key factors in an SIA. The experimental results validate the efficacy of the proposed SIAs.


title: A general formulation of Non-Local Dirichlet forms on infinite dimensional topological vector spaces and its applications, and corresponding subjects: Seminar at Univ. Lisboa,2023

abstract: A concise explanations on the results given by Non-local Markovian Symmetric Forms on Infinite Dimensional Spaces I, CMP 2021, by Sergio Albeverio, Minoru W. Yoshida, et.al., and Non-local Markovian Symmetric Forms on Infinite Dimensional Spaces Part 2, Potential Analysis 2022, by Sergio Albeverio, Minoru W. Yoshida, et.al.are given as a digestive fashion.


title: Steered Diffusion: A Generalized Framework for Plug-and-Play Conditional Image Synthesis

abstract: Conditional generative models typically demand large annotated training sets to achieve high-quality synthesis. As a result, there has been significant interest in designing models that perform plug-and-play generation, i.e., to use a predefined or pretrained model, which is not explicitly trained on the generative task, to guide the generative process (e.g., using language). However, such guidance is typically useful only towards synthesizing high-level semantics rather than editing fine-grained details as in image-to-image translation tasks. To this end, and capitalizing on the powerful fine-grained generative control offered by the recent diffusion-based generative models, we introduce Steered Diffusion, a generalized framework for photorealistic zero-shot conditional image generation using a diffusion model trained for unconditional generation. The key idea is to steer the image generation of the diffusion model at inference time via designing a loss using a pre-trained inverse model that characterizes the conditional task. This loss modulates the sampling trajectory of the diffusion process. Our framework allows for easy incorporation of multiple conditions during inference. We present experiments using steered diffusion on several tasks including inpainting, colorization, text-guided semantic editing, and image super-resolution. Our results demonstrate clear qualitative and quantitative improvements over state-of-the-art diffusion-based plug-and-play models while adding negligible additional computational cost.


title: Continuous-wave GeSn light emitting diodes on silicon with $2.5 \, \mu$m room-temperature emission

abstract: Silicon-compatible short- and mid-wave infrared emitters are highly sought-after for on-chip monolithic integration of electronic and photonic circuits to serve a myriad of applications in sensing and communication. To address this longstanding challenge, GeSn semiconductors have been proposed as versatile building blocks for silicon-integrated optoelectronic devices. In this regard, this work demonstrates light-emitting diodes (LEDs) consisting of a vertical PIN double heterostructure p-Ge$_{0.94}$Sn$_{0.06}$/i-Ge$_{0.91}$Sn$_{0.09}$/n-Ge$_{0.95}$Sn$_{0.05}$ grown epitaxially on a silicon wafer using germanium interlayer and multiple GeSn buffer layers. The emission from these GeSn LEDs at variable diameters in the 40-120 $\mu$m range is investigated under both DC and AC operation modes. The fabricated LEDs exhibit a room temperature emission in the extended short-wave range centered around 2.5 $\mu$m under an injected current density as low as 45 A/cm$^2$. By comparing the photoluminescence and electroluminescence signals, it is demonstrated that the LED emission wavelength is not affected by the device fabrication process or heating during the LED operation. Moreover, the measured optical power was found to increase monotonically as the duty cycle increases indicating that the DC operation yields the highest achievable optical power. The LED emission profile and bandwidth are also presented and discussed.


title: A simple GPU implementation of spectral-element methods for solving 3D Poisson type equations on rectangular domains and its applications

abstract: It is well known since 1960s that by exploring the tensor product structure of the discrete Laplacian on Cartesian meshes, one can develop a simple direct Poisson solver with an $\mathcal O(N^{\frac{d+1}d})$ complexity in d-dimension, where N is the number of the total unknowns. The GPU acceleration of numerically solving PDEs has been explored successfully around fifteen years ago and become more and more popular in the past decade, driven by significant advancement in both hardware and software technologies, especially in the recent few years. We present in this paper a simple but extremely fast MATLAB implementation on a modern GPU, which can be easily reproduced, for solving 3D Poisson type equations using a spectral-element method. In particular, it costs less than one second on a Nvidia A100 for solving a Poisson equation with one billion degree of freedoms. We also present applications of this fast solver to solve a linear (time-independent) Schr\"odinger equation and a nonlinear (time-dependent) Cahn-Hilliard equation.


title: Scaling for Training Time and Post-hoc Out-of-distribution Detection Enhancement

abstract: The capacity of a modern deep learning system to determine if a sample falls within its realm of knowledge is fundamental and important. In this paper, we offer insights and analyses of recent state-of-the-art out-of-distribution (OOD) detection methods - extremely simple activation shaping (ASH). We demonstrate that activation pruning has a detrimental effect on OOD detection, while activation scaling enhances it. Moreover, we propose SCALE, a simple yet effective post-hoc network enhancement method for OOD detection, which attains state-of-the-art OOD detection performance without compromising in-distribution (ID) accuracy. By integrating scaling concepts into the training process to capture a sample's ID characteristics, we propose Intermediate Tensor SHaping (ISH), a lightweight method for training time OOD detection enhancement. We achieve AUROC scores of +1.85\% for near-OOD and +0.74\% for far-OOD datasets on the OpenOOD v1.5 ImageNet-1K benchmark. Our code and models are available at https://github.com/kai422/SCALE.


title: King of the Hill: C2 for Next Generation Swarm Warfare

abstract: As the reliability of cheap, off-the-shelf autonomous platforms increases, so does the risk posed by intelligent multi-agent systems to military operations. In the contemporary context of the Russo-Ukrainian war alone, we have seen autonomous aerial vehicles and surface vessels deployed both individually and in multitude to deliver critical effects to both sides. While there is a large body of literature on tactical level communications and interactions between agents, the exploration of high-level command and control (C2) structures that will underpin future autonomous multi-agent military operations is a less explored area of research. We propose a quantitative game-theoretic framework to study effective C2 structures in cooperative and competitive multi-agent swarming scenarios. To test our framework, we construct a virtual environment where two adversarial swarms compete to achieve outcomes comparable to real-world scenarios. The framework we present in this paper enables us to quickly test and interrogate different C2 configurations in multi-agent systems to explore C2 as a force multiplier when at a force disadvantage.


title: Consciousness-Inspired Spatio-Temporal Abstractions for Better Generalization in Reinforcement Learning

abstract: Inspired by human conscious planning, we propose Skipper, a model-based reinforcement learning framework utilizing spatio-temporal abstractions to generalize better in novel situations. It automatically decomposes the given task into smaller, more manageable subtasks, and thus enables sparse decision-making and focused computation on the relevant parts of the environment. The decomposition relies on the extraction of an abstracted proxy problem represented as a directed graph, in which vertices and edges are learned end-to-end from hindsight. Our theoretical analyses provide performance guarantees under appropriate assumptions and establish where our approach is expected to be helpful. Generalization-focused experiments validate Skipper's significant advantage in zero-shot generalization, compared to some existing state-of-the-art hierarchical planning methods.


title: SLM: Bridge the thin gap between speech and text foundation models

abstract: We present a joint Speech and Language Model (SLM), a multitask, multilingual, and dual-modal model that takes advantage of pretrained foundational speech and language models. SLM freezes the pretrained foundation models to maximally preserves their capabilities, and only trains a simple adapter with just 1\% (156M) of the foundation models' parameters. This adaptation not only leads SLM to achieve strong performance on conventional tasks such as speech recognition (ASR) and speech translation (AST), but also introduces the novel capability of zero-shot instruction-following for more diverse tasks: given a speech input and a text instruction, SLM is able to perform unseen generation tasks including contextual biasing ASR using real-time context, dialog generation, speech continuation, and question answering, etc. Our approach demonstrates that the representational gap between pretrained speech and language models might be narrower than one would expect, and can be bridged by a simple adaptation mechanism. As a result, SLM is not only efficient to train, but also inherits strong capabilities already acquired in foundation models of different modalities.


title: The Distributional Impact of Inflation in Pakistan: A Case Study of a New Price Focused Microsimulation Framework, PRICES

abstract: This paper develops a microsimulation model to simulate the distributional impact of price changes using Household Budget Survey data, income survey data and an Input Output Model. The primary purpose is to describe the model components. The secondary purpose is to demonstrate one component of the model by assessing the distributional and welfare impact of recent price changes in Pakistan. Over the period of November 2020 to November 2022, headline inflation 41.5 percent, with food and transportation prices increasing most. The analysis shows that despite large increases in energy prices, the importance of energy prices for the welfare losses due to inflation is limited because energy budget shares are small and inflation is relatively low. The overall distributional impact of recent price changes is mildly progressive, but household welfare is impacted significantly irrespective of households position along the income distribution. The biggest driver of welfare losses at the bottom of the income distribution was food price inflation, while inflation in other goods and services was the biggest driver at the top. To compensate households for increased living costs, transfers would need to be on average 40 percent of pre-inflation expenditure, assuming constant incomes. Behavioural responses to price changes have a negligible impact on the overall welfare cost to households.


title: Unadjusted Langevin Algorithms for SDEs with Hoelder Drift

abstract: Consider the following stochastic differential equation for $(X_t)_{t\ge 0}$ on $\mathbb R^d$ and its Euler-Maruyama (EM) approximation $(Y_{t_n})_{n\in \mathbb Z^+}$: \begin{align*} &d X_t=b( X_t) d t+\sigma(X_t) d B_t, \\ & Y_{t_{n+1}}=Y_{t_{n}}+\eta_{n+1} b(Y_{t_{n}})+\sigma(Y_{t_{n}})\left(B_{t_{n+1}}-B_{t_{n}}\right), \end{align*} where $b:\mathbb{R}^d \rightarrow \mathbb{R}^d,\ \ \sigma: \mathbb R^d \rightarrow \mathbb{R}^{d \times d}$ are measurable, $B_t$ is the $d$-dimensional Brownian motion, $t_0:=0,t_{n}:=\sum_{k=1}^{n} \eta_{k}$ for constants $\eta_k>0$ satisfying $\lim_{k \rightarrow \infty} \eta_k=0$ and $\sum_{k=1}^\infty\eta_k =\infty$. Under (partial) dissipation conditions ensuring the ergodicity, we obtain explicit convergence rates of $\mathbb W_p(\mathscr{L}(Y_{t_n}), \mathscr{L}(X_{t_n}))+\mathbb W_p(\mathscr{L}(Y_{t_n}), \mu)\rightarrow 0$ as $n\rightarrow \infty$, where $\mathbb W_p$ is the $L^p$-Wasserstein distance for certain $p\in [0,\infty)$, $\mathscr{L}(\xi)$ is the distribution of random variable $\xi$, and $\mu$ is the unique invariant probability measure of $(X_t)_{t \ge 0}$. Comparing with the existing results where $b$ is at least $C^2$-smooth, our estimates apply to Hoelder continuous drift and can be sharp in several specific situations.


title: CausalImages: An R Package for Causal Inference with Earth Observation, Bio-medical, and Social Science Images

abstract: The causalimages R package enables causal inference with image and image sequence data, providing new tools for integrating novel data sources like satellite and bio-medical imagery into the study of cause and effect. One set of functions enables image-based causal inference analyses. For example, one key function decomposes treatment effect heterogeneity by images using an interpretable Bayesian framework. This allows for determining which types of images or image sequences are most responsive to interventions. A second modeling function allows researchers to control for confounding using images. The package also allows investigators to produce embeddings that serve as vector summaries of the image or video content. Finally, infrastructural functions are also provided, such as tools for writing large-scale image and image sequence data as sequentialized byte strings for more rapid image analysis. causalimages therefore opens new capabilities for causal inference in R, letting researchers use informative imagery in substantive analyses in a fast and accessible manner.


title: Pixel-Inconsistency Modeling for Image Manipulation Localization

abstract: Digital image forensics plays a crucial role in image authentication and manipulation localization. Despite the progress powered by deep neural networks, existing forgery localization methodologies exhibit limitations when deployed to unseen datasets and perturbed images (i.e., lack of generalization and robustness to real-world applications). To circumvent these problems and aid image integrity, this paper presents a generalized and robust manipulation localization model through the analysis of pixel inconsistency artifacts. The rationale is grounded on the observation that most image signal processors (ISP) involve the demosaicing process, which introduces pixel correlations in pristine images. Moreover, manipulating operations, including splicing, copy-move, and inpainting, directly affect such pixel regularity. We, therefore, first split the input image into several blocks and design masked self-attention mechanisms to model the global pixel dependency in input images. Simultaneously, we optimize another local pixel dependency stream to mine local manipulation clues within input forgery images. In addition, we design novel Learning-to-Weight Modules (LWM) to combine features from the two streams, thereby enhancing the final forgery localization performance. To improve the training process, we propose a novel Pixel-Inconsistency Data Augmentation (PIDA) strategy, driving the model to focus on capturing inherent pixel-level artifacts instead of mining semantic forgery traces. This work establishes a comprehensive benchmark integrating 15 representative detection models across 12 datasets. Extensive experiments show that our method successfully extracts inherent pixel-inconsistency forgery fingerprints and achieve state-of-the-art generalization and robustness performances in image manipulation localization.


title: Higher genus maxfaces with Enneper end

abstract: We have proven the existence of new higher-genus maxfaces with Enneper end. These maxfaces are not the companions of any existing minimal surfaces, and furthermore, the singularity set is located away from the ends. The nature of the singularities is systematically investigated.


title: Compensated sum and delayed update for time dependent wave simulations at half precision

abstract: On modern hardware, the speed of memory operation is often the limiting factor for execution time for many scientific applications, particularly for those related to PDE discretizations. This motivates us to explore the possibility of operating at half precision to reduce memory footprint and hence utilize the memory bandwidth more effectively. Specifically, we study the viability of half precision simulations for time dependent wave equations in this work. Potential pitfalls when naively switching to half precision in these simulations are illustrated. We then demonstrate that replacing the standard floating point sum with the compensated sum for solution updates can significantly improve the quality of the simulation results.


title: Galois automorphisms and a unique Jordan decomposition in the case of connected centralizer

abstract: We show that the Jordan decomposition of characters of finite reductive groups can be chosen so that if the centralizer of the relevant semisimple element is connected, then the map is Galois-equivariant. Further, in this situation, we show that there is a unique Jordan decomposition satisfying conditions analogous to those of Digne--Michel's unique Jordan decomposition in the connected center case.


title: Feasibility-Guaranteed Safety-Critical Control with Applications to Heterogeneous Platoons

abstract: This paper studies safety and feasibility guarantees for systems with tight control bounds. It has been shown that stabilizing an affine control system while optimizing a quadratic cost and satisfying state and control constraints can be mapped to a sequence of Quadratic Programs (QPs) using Control Barrier Functions (CBF) and Control Lyapunov Functions (CLF). One of the main challenges in this method is that the QP could easily become infeasible under safety constraints of high relative degree, especially under tight control bounds. Recent work focused on deriving sufficient conditions for guaranteeing feasibility. The existing results are case-dependent. In this paper, we consider the general case. We define a feasibility constraint and propose a new type of CBF to enforce it. Our method guarantees the feasibility of the above mentioned QPs, while satisfying safety requirements. We demonstrate the proposed method on an Adaptive Cruise Control (ACC) problem for a heterogeneous platoon with tight control bounds, and compare our method to existing CBF-CLF approaches. The results show that our proposed approach can generate gradually transitioned control (without abrupt changes) with guaranteed feasibility and safety.


title: AdaptNet: Policy Adaptation for Physics-Based Character Control

abstract: Motivated by humans' ability to adapt skills in the learning of new ones, this paper presents AdaptNet, an approach for modifying the latent space of existing policies to allow new behaviors to be quickly learned from like tasks in comparison to learning from scratch. Building on top of a given reinforcement learning controller, AdaptNet uses a two-tier hierarchy that augments the original state embedding to support modest changes in a behavior and further modifies the policy network layers to make more substantive changes. The technique is shown to be effective for adapting existing physics-based controllers to a wide range of new styles for locomotion, new task targets, changes in character morphology and extensive changes in environment. Furthermore, it exhibits significant increase in learning efficiency, as indicated by greatly reduced training times when compared to training from scratch or using other approaches that modify existing policies. Code is available at https://motion-lab.github.io/AdaptNet.


title: Learning Mask-aware CLIP Representations for Zero-Shot Segmentation

abstract: Recently, pre-trained vision-language models have been increasingly used to tackle the challenging zero-shot segmentation task. Typical solutions follow the paradigm of first generating mask proposals and then adopting CLIP to classify them. To maintain the CLIP's zero-shot transferability, previous practices favour to freeze CLIP during training. However, in the paper, we reveal that CLIP is insensitive to different mask proposals and tends to produce similar predictions for various mask proposals of the same image. This insensitivity results in numerous false positives when classifying mask proposals. This issue mainly relates to the fact that CLIP is trained with image-level supervision. To alleviate this issue, we propose a simple yet effective method, named Mask-aware Fine-tuning (MAFT). Specifically, Image-Proposals CLIP Encoder (IP-CLIP Encoder) is proposed to handle arbitrary numbers of image and mask proposals simultaneously. Then, mask-aware loss and self-distillation loss are designed to fine-tune IP-CLIP Encoder, ensuring CLIP is responsive to different mask proposals while not sacrificing transferability. In this way, mask-aware representations can be easily learned to make the true positives stand out. Notably, our solution can seamlessly plug into most existing methods without introducing any new parameters during the fine-tuning process. We conduct extensive experiments on the popular zero-shot benchmarks. With MAFT, the performance of the state-of-the-art methods is promoted by a large margin: 50.4% (+ 8.2%) on COCO, 81.8% (+ 3.2%) on Pascal-VOC, and 8.7% (+4.3%) on ADE20K in terms of mIoU for unseen classes. The code is available at https://github.com/jiaosiyu1999/MAFT.git.


title: The Complexity of Distance-$r$ Dominating Set Reconfiguration

abstract: For a fixed integer $r \geq 1$, a distance-$r$ dominating set (D$r$DS) of a graph $G = (V, E)$ is a vertex subset $D \subseteq V$ such that every vertex in $V$ is within distance $r$ from some member of $D$. Given two D$r$DSs $D_s, D_t$ of $G$, the Distance-$r$ Dominating Set Reconfiguration (D$r$DSR) problem asks if there is a sequence of D$r$DSs that transforms $D_s$ into $D_t$ (or vice versa) such that each intermediate member is obtained from its predecessor by applying a given reconfiguration rule exactly once. The problem for $r = 1$ has been well-studied in the literature. We consider D$r$DSR for $r \geq 2$ under two well-known reconfiguration rules: Token Jumping ($\mathsf{TJ}$, which involves replacing a member of the current D$r$DS by a non-member) and Token Sliding ($\mathsf{TS}$, which involves replacing a member of the current D$r$DS by an adjacent non-member). It is known that under any of $\mathsf{TS}$ and $\mathsf{TJ}$, the problem on split graphs is $\mathtt{PSPACE}$-complete for $r = 1$. We show that for $r \geq 2$, the problem is in $\mathtt{P}$, resulting in an interesting complexity dichotomy. Along the way, we prove some non-trivial bounds on the length of a shortest reconfiguration sequence on split graphs when $r = 2$ which may be of independent interest. Additionally, we design a linear-time algorithm under $\mathsf{TJ}$ on trees. On the negative side, we show that D$r$DSR for $r \geq 1$ on planar graphs of maximum degree three and bounded bandwidth is $\mathtt{PSPACE}$-complete, improving the degree bound of previously known results. We also show that the known $\mathtt{PSPACE}$-completeness results under $\mathsf{TS}$ and $\mathsf{TJ}$ for $r = 1$ on bipartite graphs and chordal graphs can be extended for $r \geq 2$.


title: Walking = Traversable? : Traversability Prediction via Multiple Human Object Tracking under Occlusion

abstract: The emerging ``Floor plan from human trails (PfH)" technique has great potential for improving indoor robot navigation by predicting the traversability of occluded floors. This study presents an innovative approach that replaces first-person-view sensors with a third-person-view monocular camera mounted on the observer robot. This approach can gather measurements from multiple humans, expanding its range of applications. The key idea is to use two types of trackers, SLAM and MOT, to monitor stationary objects and moving humans and assess their interactions. This method achieves stable predictions of traversability even in challenging visual scenarios, such as occlusions, nonlinear perspectives, depth uncertainty, and intersections involving multiple humans. Additionally, we extend map quality metrics to apply to traversability maps, facilitating future research. We validate our proposed method through fusion and comparison with established techniques.


title: Age-Optimal Multi-Flow Status Updating with Errors: A Sample-Path Approach

abstract: In this paper, we study an age of information minimization problem in continuous-time and discrete-time status updating systems that involve multiple packet flows, multiple servers, and transmission errors. Four scheduling policies are proposed. We develop a unifying sample-path approach and use it to show that, when the packet generation and arrival times are synchronized across the flows, the proposed policies are (near) optimal for minimizing any time-dependent, symmetric, and non-decreasing penalty function of the ages of the flows over time in a stochastic ordering sense.

categories: cs.NI cs.IT cs.PF cs.SI cs.SY eess.SY math.IT


title: Coordinated Rate-Splitting Multiple Access for Integrated Satellite-Terrestrial Networks with Super-Common Message

abstract: Rate-splitting multiple access (RSMA) is an emerging multiple access technique for multi-antenna networks that splits messages into common and private parts for flexible interference mitigation. Motivated by its robustness and scalability, it is promising to employ RSMA in integrated satellite-terrestrial networks (ISTN), where a satellite serves satellite users (SUs) broadly with a multibeam multicast transmission while terrestrial base station (BS) serves cellular users (CUs) with a unicast transmission, operating in the same frequency band. To avoid the data exchange between satellite/cellular networks via backhaul, we assume a coordinated ISTN relying on imperfect channel state information. We put forth a coordinated RSMA framework tailored to the coordinated ISTN by applying inter-network rate-splitting (RS) with a super-common message on top of intra-network RS with common/private messages. With the unified RS design for inter- and intra-networks, we jointly optimize the precoding and power allocation of the private/common/super-common messages to achieve max-min fairness among all SUs and CUs through successive convex approximation. By doing so, the power of the super-common message can be adjusted according to interference levels of the satellite towards CUs, thereby potentially mitigating inter-network interference. Simulation results demonstrate the superiority and robustness of our approach to cope with various interference and propagation conditions.


title: Singularities and clusters

abstract: The aim of this note is to describe a geometric relation between simple plane curve singularities classified by simply laced Cartan matrices and cluster varieties of finite type also classified by the simply laced Cartan matrices. We construct certain varieties of configurations of flags out of Dynkin diagrams and out of singularities and show that they coincide if the Dynkin diagram corresponds to the singularity.