title: On spaces with a $\pi$-base whose elements have an H-closed closure

abstract: We deal with the class of Hausdorff spaces having a $\pi$-base whose elements have an H-closed closure. Carlson proved that $|X|\leq 2^{wL(X)\psi_c(X)t(X)}$ for every quasiregular space $X$ with a $\pi$-base whose elements have an H-closed closure. We provide an example of a space $X$ having a $\pi$-base whose elements have an H-closed closure which is not quasiregular (neither Urysohn) such that $|X|> 2^{wL(X)\chi(X)}$ (then $|X|> 2^{wL(X)\psi_c(X)t(X)}$). Still in the class of spaces with a $\pi$-base whose elements have an H-closed closure, we establish the bound $|X|\leq2^{wL(X)k(X)}$ for Urysohn spaces and we give an example of an Urysohn space $Z$ such that $k(Z)<\chi(Z)$. Lastly, we present some equivalent conditions to the Martin's Axiom involving spaces with a $\pi$-base whose elements have an H-closed closure and, additionally, we prove that if a quasiregular space has a $\pi$-base whose elements have an H-closed closure then such space is Baire.


title: Hybrid Tendon and Ball Chain Continuum Robots for Enhanced Dexterity in Medical Interventions

abstract: A hybrid continuum robot design is introduced that combines a proximal tendon-actuated section with a distal telescoping section comprised of permanent-magnet spheres actuated using an external magnet. While, individually, each section can approach a point in its workspace from one or at most several orientations, the two-section combination possesses a dexterous workspace. The paper describes kinematic modeling of the hybrid design and provides a description of the dexterous workspace. We present experimental validation which shows that a simplified kinematic model produces tip position mean and maximum errors of 3% and 7% of total robot length, respectively.


title: Vanishing of Dimits Shift in Realistic Fusion Plasmas with Negative Magnetic Shear

abstract: This study employs gyrokinetic simulations to investigate ion temperature gradient (ITG) turbulence in realistic fusion plasmas featuring reverse magnetic shear. Negative magnetic shear is found to suppress the ITG instability due to the scarcity of mode rational surfaces, as evidenced by a comparison of instabilities for different magnetic shears. This suppression effect remains observable in nonlinear turbulence with zonal flow artificially eliminated, where the emergence of turbulence solitons aligns with mode rational surface peaks. However, the suppression effect diminishes in the presence of self-consistently generated zonal flow, along with the occurance of turbulence solitons. The zonal flow is found to originated from a force driven process by the primary instability, instead of the conventional modulational instability. The study further reveals a remarkable phenomenon that the Dimits shift no longer exists for negative magnetic shear, which are attributed to the weakness of zonal flow around marginal stability. However, away from marginal stability, the turbulent transport is primarily regulated by the zonal flow regardless of different magnetic shears.


title: Learning Agent-based Modeling with LLM Companions: Experiences of Novices and Experts Using ChatGPT & NetLogo Chat

abstract: Large Language Models (LLMs) have the potential to fundamentally change the way people engage in computer programming. Agent-based modeling (ABM) has become ubiquitous in natural and social sciences and education, yet no prior studies have explored the potential of LLMs to assist it. We designed NetLogo Chat to support the learning and practice of NetLogo, a programming language for ABM. To understand how users perceive, use, and need LLM-based interfaces, we interviewed 30 participants from global academia, industry, and graduate schools. Experts reported more perceived benefits than novices and were more inclined to adopt LLMs in their workflow. We found significant differences between experts and novices in their perceptions, behaviors, and needs for human-AI collaboration. We surfaced a knowledge gap between experts and novices as a possible reason for the benefit gap. We identified guidance, personalization, and integration as major needs for LLM-based interfaces to support the programming of ABM.


title: An analytic approach for understanding mechanisms driving breakthrough infections

abstract: Real world data is an increasingly utilized resource for post-market monitoring of vaccines and provides insight into real world effectiveness. However, outside of the setting of a clinical trial, heterogeneous mechanisms may drive observed breakthrough infection rates among vaccinated individuals; for instance, waning vaccine-induced immunity as time passes and the emergence of a new strain against which the vaccine has reduced protection. Analyses of infection incidence rates are typically predicated on a presumed mechanism in their choice of an "analytic time zero" after which infection rates are modeled. In this work, we propose an explicit test for driving mechanism situated in a standard Cox proportional hazards framework. We explore the test's performance in simulation studies and in an illustrative application to real world data. We additionally introduce subgroup differences in infection incidence and evaluate the impact of time zero misspecification on bias and coverage of model estimates. In this study we observe strong power and controlled type I error of the test to detect the correct infection-driving mechanism under various settings. Similar to previous studies, we find mitigated bias and greater coverage of estimates when the analytic time zero is correctly specified or accounted for.


title: Search for pair-production of vector-like quarks in lepton+jets final states containing at least one $b$-tagged jet using the Run 2 data from the ATLAS experiment

abstract: A search is presented for the pair-production of heavy vector-like quarks in the lepton+jets final state using 140 fb$^{-1}$ of proton-proton collisions at $\sqrt{s}= 13$ TeV collected with the ATLAS detector. The search is optimised for vector-like top-quarks ($T$) that decay into a $W$ boson and a $b$-quark, with one $W$ boson decaying leptonically and the other hadronically. Other vector-like quark flavours and decay modes are also considered. Events are selected with one high transverse-momentum electron or muon, large missing transverse momentum, a large-radius jet identified as a $W$ boson, and multiple small-radius jets, at least one of which is $b$-tagged. Vector-like $T$-quarks with 100% branching ratio to $Wb$ are excluded at 95% CL for masses below 1700 GeV. These limits are also applied to vector-like $Y$-quarks, which decay exclusively into a $W$ boson and a $b$-quark. Isospin singlets with $ {\cal B}(T \to Wb:Ht:Zt)={1/2}:{1/4}:{1/4}$ are excluded for masses below 1360 GeV.


title: Biophotons: A Hard Problem

abstract: About a hundred years ago the Russian biologist A. Gurwitsch, based on his experiments with onion plants by measuring their growth rate, made the hypothesis that plants emitted a weak electromagnetic field which somehow influenced cell growth. This interesting observation remained fundamentally ignored by the scientific community and only in the 1950s the electromagnetic emission from some plants was measured using a photomultiplier used in single counting mode. Later, in the 80s several groups in the world started some extensive work to understand the origin and role of this ultra-weak emission, hereby called biophotons, coming from living organisms. Biophotons are an endogenous very small production of photons in the visible energy range in and from cells and organism, and this emission is characteristic of alive organisms. Today there is no doubt that biophotons really exist, this emission has in fact been measured by many groups and on many different living organisms, from humans to bacteria. On the contrary, the origin of biophotons and whether organisms use them in some way to exchange information is not yet well known; no model proposed since now is really capable of reproducing and interpreting the great variety of experimental data coming from the many different living systems measured so far. In this brief review we present our experimental work on biophotons coming from germinating seeds, the main experimental results and some methods we are using to analyze the data in order to open the door for interpretative models of this phenomenon and clarifying its function in the regulation and communication between cells and living organisms. We also discuss some ideas on how to increase the signal-to-noise ratio of the measured signal to have new experimental possibilities that allow the measurement and the characterization of currently unmeasurable quantities.


title: Planning, Creation, Usage: Benchmarking LLMs for Comprehensive Tool Utilization in Real-World Complex Scenarios

abstract: The recent trend of using Large Language Models (LLMs) as tool agents in real-world applications underscores the necessity for comprehensive evaluations of their capabilities, particularly in complex scenarios involving planning, creating, and using tools. However, existing benchmarks typically focus on simple synthesized queries that do not reflect real-world complexity, thereby offering limited perspectives in evaluating tool utilization. To address this issue, we present UltraTool, a novel benchmark designed to improve and evaluate LLMs' ability in tool utilization within real-world scenarios. UltraTool focuses on the entire process of using tools - from planning and creating to applying them in complex tasks. It emphasizes real-world complexities, demanding accurate, multi-step planning for effective problem-solving. A key feature of UltraTool is its independent evaluation of planning with natural language, which happens before tool usage and simplifies the task solving by mapping out the intermediate steps. Thus, unlike previous work, it eliminates the restriction of pre-defined toolset. Through extensive experiments on various LLMs, we offer novel insights into the evaluation of capabilities of LLMs in tool utilization, thereby contributing a fresh perspective to this rapidly evolving field. The benchmark is publicly available at https://github.com/JoeYing1019/UltraTool.


title: Stale Profile Matching

abstract: Profile-guided optimizations rely on profile data for directing compilers to generate optimized code. To achieve the maximum performance boost, profile data needs to be collected on the same version of the binary that is being optimized. In practice however, there is typically a gap between the profile collection and the release, which makes a portion of the profile invalid for optimizations. This phenomenon is known as profile staleness, and it is a serious practical problem for data-center workloads both for compilers and binary optimizers. In this paper we thoroughly study the staleness problem and propose the first practical solution for utilizing profiles collected on binaries built from several revisions behind the release. Our algorithm is developed and implemented in a mainstream open-source post-link optimizer, BOLT. An extensive evaluation on a variety of standalone benchmarks and production services indicates that the new method recovers up to $0.8$ of the maximum BOLT benefit, even when most of the input profile data is stale and would have been discarded by the optimizer otherwise.


title: Conditional and Modal Reasoning in Large Language Models

abstract: The reasoning abilities of large language models (LLMs) are the topic of a growing body of research in artificial intelligence and cognitive science. In this paper, we probe the extent to which a dozen LLMs are able to distinguish logically correct inferences from logically fallacious ones. We focus on inference patterns involving conditionals (e.g., 'If Ann has a queen, then Bob has a jack') and epistemic modals (e.g., 'Ann might have an ace', 'Bob must have a king'). These inference patterns have been of special interest to logicians, philosophers, and linguists, since they plausibly play a central role in human reasoning. Assessing LLMs on these inference patterns is thus highly relevant to the question of how much the reasoning abilities of LLMs match those of humans. Among the LLMs we tested, all but GPT-4 often make basic mistakes with conditionals. Moreover, even GPT-4 displays logically inconsistent judgments across inference patterns involving epistemic modals.


title: Formation of Thin GaAs Buffer Layers on Silicon for Light-Emitting Devices

abstract: This paper presents the experimental results on research of growth processes of GaAs layers on silicon substrates by molecular beam epitaxy. The formation of buffer Si layer in a single growth process has been found to significantly improve the crystalline quality of the GaAs layers formed on its surface, as well as to prevent the formation of anti-phase domains both on offcutted towards the [110] direction and on singular Si(100) substrates. It has been demonstrated that the use of cyclic thermal annealing at temperatures 350-660{\deg}C in the flow of arsenic atoms makes it possible to reduce the number of threading dislocations and increase the smoothness of the GaAs layers surface. At the same time, the article considers possible mechanisms that lead to an improvement in the quality of the surface layers of GaAs. It is shown that the thus obtained GaAs layers of submicron thickness on the singular Si(100) substrates have a mean square value of surface roughness 1.9 nm. The principal possibility of using thin GaAs layers on silicon as templates for forming on them light-emitting semiconductor heterostructures with active area based on self-organizing InAs quantum dots and InGaAs quantum well is presented. They are shown to exhibit photoluminescence at 1.2 um at room temperature.


title: The magnetic field in the Flame nebula

abstract: Star formation is essential in galaxy evolution and the cycling of matter. The support of interstellar clouds against gravitational collapse by magnetic (B-) fields has been proposed to explain the low observed star formation efficiency in galaxies and the Milky Way. Despite the Planck satellite providing a 5-15' all-sky map of the B-field geometry in the diffuse interstellar medium, higher spatial resolution observations are required to understand the transition from diffuse gas to gravitationally unstable filaments. NGC 2024, the Flame Nebula, in the nearby Orion B molecular cloud, contains a young, expanding HII region and a dense filament that harbors embedded protostellar objects. Therefore, NGC 2024 is an excellent opportunity to study the role of B-fields in the formation, evolution, and collapse of filaments, as well as the dynamics and effects of young HII regions on the surrounding molecular gas. We combine new 154 and 216 micron dust polarization measurements carried out using the HAWC+ instrument aboard SOFIA with molecular line observations of 12CN(1-0) and HCO+(1-0) from the IRAM 30-meter telescope to determine the B-field geometry and to estimate the plane of the sky magnetic field strength across the NGC 2024. The HAWC+ observations show an ordered B-field geometry in NGC 2024 that follows the morphology of the expanding HII region and the direction of the main filament. The derived plane of the sky B-field strength is moderate, ranging from 30 to 80 micro G. The strongest B-field is found at the northern-west edge of the HII region, characterized by the highest gas densities and molecular line widths. In contrast, the weakest field is found toward the filament in NGC 2024. The B-field has a non-negligible influence on the gas stability at the edges of the expanding HII shell (gas impacted by the stellar feedback) and the filament (site of the current star formation).


title: Learning Domain-Independent Green's Function For Elliptic Partial Differential Equations

abstract: Green's function characterizes a partial differential equation (PDE) and maps its solution in the entire domain as integrals. Finding the analytical form of Green's function is a non-trivial exercise, especially for a PDE defined on a complex domain or a PDE with variable coefficients. In this paper, we propose a novel boundary integral network to learn the domain-independent Green's function, referred to as BIN-G. We evaluate the Green's function in the BIN-G using a radial basis function (RBF) kernel-based neural network. We train the BIN-G by minimizing the residual of the PDE and the mean squared errors of the solutions to the boundary integral equations for prescribed test functions. By leveraging the symmetry of the Green's function and controlling refinements of the RBF kernel near the singularity of the Green function, we demonstrate that our numerical scheme enables fast training and accurate evaluation of the Green's function for PDEs with variable coefficients. The learned Green's function is independent of the domain geometries, forcing terms, and boundary conditions in the boundary integral formulation. Numerical experiments verify the desired properties of the method and the expected accuracy for the two-dimensional Poisson and Helmholtz equations with variable coefficients.


title: Zero-Shot Reinforcement Learning via Function Encoders

abstract: Although reinforcement learning (RL) can solve many challenging sequential decision making problems, achieving zero-shot transfer across related tasks remains a challenge. The difficulty lies in finding a good representation for the current task so that the agent understands how it relates to previously seen tasks. To achieve zero-shot transfer, we introduce the function encoder, a representation learning algorithm which represents a function as a weighted combination of learned, non-linear basis functions. By using a function encoder to represent the reward function or the transition function, the agent has information on how the current task relates to previously seen tasks via a coherent vector representation. Thus, the agent is able to achieve transfer between related tasks at run time with no additional training. We demonstrate state-of-the-art data efficiency, asymptotic performance, and training stability in three RL fields by augmenting basic RL algorithms with a function encoder task representation.


title: A large dataset curation and benchmark for drug target interaction

abstract: Bioactivity data plays a key role in drug discovery and repurposing. The resource-demanding nature of \textit{in vitro} and \textit{in vivo} experiments, as well as the recent advances in data-driven computational biochemistry research, highlight the importance of \textit{in silico} drug target interaction (DTI) prediction approaches. While numerous large public bioactivity data sources exist, research in the field could benefit from better standardization of existing data resources. At present, different research works that share similar goals are often difficult to compare properly because of different choices of data sources and train/validation/test split strategies. Additionally, many works are based on small data subsets, leading to results and insights of possible limited validity. In this paper we propose a way to standardize and represent efficiently a very large dataset curated from multiple public sources, split the data into train, validation and test sets based on different meaningful strategies, and provide a concrete evaluation protocol to accomplish a benchmark. We analyze the proposed data curation, prove its usefulness and validate the proposed benchmark through experimental studies based on an existing neural network model.


title: Integrable Frame Fields using Odeco Tensors

abstract: We propose a method for computing integrable orthogonal frame fields on planar surfaces. Frames and their symmetries are implicitly represented using orthogonally decomposable (odeco) tensors. To formulate an integrability criterion, we express the frame field's Lie bracket solely in terms of the tensor representation; this is made possible by studying the sensitivity of the frame with respect to perturbations in the tensor. We construct an energy formulation that computes smooth and integrable frame fields, in both isotropic and anisotropic settings. The user can prescribe any size and orientation constraints in input, and the solver creates and places the singularities required to fit the constraints with the correct topology. The computed frame field can be integrated to a seamless parametrization that is aligned with the frame field.


title: A Hamilton-Jacobi approach to nonlocal kinetic equations

abstract: Highly concentrated patterns have been observed in a spatially heterogeneous, nonlocal, model of BGK type implementing a velocity-jump process. We study both a linear and a nonlinear case and describe the concentration profile. In particular, we analyse a hyperbolic (or high frequency) regime that can be interpreted both as a local (microscopic) or as a nonlocal (macroscopic) rescaling. We consider a Hopf-Cole transform and derive a Hamilton-Jacobi equation. The concentrations are then explained as a consequence of the stationary points of the Hamiltonian that is spatially heterogeneous like the velocity-jump process. After revising the classical hydrodynamic limits for the aggregate quantities and the eikonal equation that can be derived from those with a Hopf-Cole transform, we find that the Hamilton-Jacobi equation is a second order approximation of the eikonal equation in the limit of small diffusivity. For nonlinear turning kernels, the Hopf-Cole transform allows to study the stability of the possible homogeneous configurations and of patterns and the results of a linear stability analysis previously obtained are found and extended to a nonlinear regime. In particular, it is shown that instability (pattern formation) occurs when the Hamiltonian is convex-concave.


title: Data-Driven Discovery of PDEs via the Adjoint Method

abstract: In this work, we present an adjoint-based method for discovering the underlying governing partial differential equations (PDEs) given data. The idea is to consider a parameterized PDE in a general form and formulate a PDE-constrained optimization problem aimed at minimizing the error of the PDE solution from data. Using variational calculus, we obtain an evolution equation for the Lagrange multipliers (adjoint equations) allowing us to compute the gradient of the objective function with respect to the parameters of PDEs given data in a straightforward manner. In particular, we consider a family of parameterized PDEs encompassing linear, nonlinear, and spatial derivative candidate terms, and elegantly derive the corresponding adjoint equations. We show the efficacy of the proposed approach in identifying the form of the PDE up to machine accuracy, enabling the accurate discovery of PDEs from data. We also compare its performance with the famous PDE Functional Identification of Nonlinear Dynamics method known as PDE-FIND (Rudy et al., 2017), on both smooth and noisy data sets. Even though the proposed adjoint method relies on forward/backward solvers, it outperforms PDE-FIND for large data sets thanks to the analytic expressions for gradients of the cost function with respect to each PDE parameter.


title: GraphViz2Vec: A Structure-aware Feature Generation Model to Improve Classification in GNNs

abstract: GNNs are widely used to solve various tasks including node classification and link prediction. Most of the GNN architectures assume the initial embedding to be random or generated from popular distributions. These initial embeddings require multiple layers of transformation to converge into a meaningful latent representation. While number of layers allow accumulation of larger neighbourhood of a node it also introduce the problem of over-smoothing. In addition, GNNs are inept at representing structural information. For example, the output embedding of a node does not capture its triangles participation. In this paper, we presented a novel feature extraction methodology GraphViz2Vec that can capture the structural information of a node's local neighbourhood to create meaningful initial embeddings for a GNN model. These initial embeddings helps existing models achieve state-of-the-art results in various classification tasks. Further, these initial embeddings help the model to produce desired results with only two layers which in turn reduce the problem of over-smoothing. The initial encoding of a node is obtained from an image classification model trained on multiple energy diagrams of its local neighbourhood. These energy diagrams are generated with the induced sub-graph of the nodes traversed by multiple random walks. The generated encodings increase the performance of existing models on classification tasks (with a mean increase of $4.65\%$ and $2.58\%$ for the node and link classification tasks, respectively), with some models achieving state-of-the-art results.


title: A few topics on total variation flows

abstract: Total variation gradient flows are important in several applied fields, including image analysis and materials science. In this paper, we review a few basic topics including definition of a solution, explicit examples and the notion of calibrability, finite time extinction, and some regularity properties of solutions. We focus on the second-order flow (possibly with weights) and the fourth-order flow. We also discuss the fractional cases.


title: Channel Characterization of UAV-RIS-aided Systems with Adaptive Phase-shift Configuration

abstract: This letter considers a UAV aiding communication between a ground transmitter and a ground receiver in the presence of co-channel interference. A discrete-time Markov process is adopted to model the complex nature of the Air-to-Ground (A2G) channel, including the occurrence of Line-of-Sight, Non-Line-of-Sight, and blockage events. Moreover, an adaptive phase-shift-enabled Reconfigurable Intelligent Surface (RIS) is deployed to combat A2G blockage events. Novel frameworks based on the shadowed Rician distribution are proposed to derive closed-form expressions for Ground-to-Air/A2G SINR' distributions. Numerical results show that RISs with large numbers of elements, e.g., 256 RIS elements, improve end-to-end Outage Probability (OP) and reduce blockages.


title: Transfer Learning for Text Diffusion Models

abstract: In this report, we explore the potential for text diffusion to replace autoregressive (AR) decoding for the training and deployment of large language models (LLMs). We are particularly interested to see whether pretrained AR models can be transformed into text diffusion models through a lightweight adaptation procedure we call ``AR2Diff''. We begin by establishing a strong baseline setup for training text diffusion models. Comparing across multiple architectures and pretraining objectives, we find that training a decoder-only model with a prefix LM objective is best or near-best across several tasks. Building on this finding, we test various transfer learning setups for text diffusion models. On machine translation, we find that text diffusion underperforms the standard AR approach. However, on code synthesis and extractive QA, we find diffusion models trained from scratch outperform AR models in many cases. We also observe quality gains from AR2Diff -- adapting AR models to use diffusion decoding. These results are promising given that text diffusion is relatively underexplored and can be significantly faster than AR decoding for long text generation.


title: Detailed Error Analysis of the HHL Algorithm

abstract: We reiterate the contribution made by Harrow, Hassidim, and Llyod to the quantum matrix equation solver with the emphasis on the algorithm description and the error analysis derivation details. Moreover, the behavior of the amplitudes of the phase register on the completion of the Quantum Phase Estimation is studied. This study is beneficial for the comprehension of the choice of the phase register size and its interrelation with the Hamiltonian simulation duration in the algorithm setup phase.


title: Volumetric Lattice Boltzmann Models in General Curvilinear Coordinates: Theoretical Formulation

abstract: A theoretical formulation of lattice Boltzmann models on a general curvilinear coordinate system is presented. It is based on a volumetric representation so that mass and momentum are exactly conserved as in the conventional lattice Boltzmann on a Cartesian lattice. In contrast to some previously existing approaches for arbitrary meshes involving interpolation approximations among multiple neighboring cells, the current formulation preserves the fundamental one-to-one advection feature of a standard lattice Boltzmann method on a uniform Cartesian lattice. The new approach is built on the concept that a particle is moving along a curved path. A discrete space-time inertial force is derived so that the momentum conservation is exactly ensured for the underlying Euclidean space. We theoretically show that the new scheme recovers the Navier-Stokes equation in general curvilinear coordinates in the hydrodynamic limit, along with the correct mass continuity equation.


title: Rigorous Error Analysis for Logarithmic Number Systems

abstract: Logarithmic Number Systems (LNS) hold considerable promise in helping reduce the number of bits needed to represent a high dynamic range of real-numbers with finite precision, and also efficiently support multiplication and division. However, under LNS, addition and subtraction turn into non-linear functions that must be approximated - typically using precomputed table-based functions. Additionally, multiple layers of error correction are typically needed to improve result accuracy. Unfortunately, previous efforts have not characterized the resulting error bound. We provide the first rigorous analysis of LNS, covering detailed techniques such as co-transformation that are crucial to implementing subtraction with reasonable accuracy. We provide theorems capturing the error due to table interpolations, the finite precision of pre-computed values in the tables, and the error introduced by fix-point multiplications involved in LNS implementations. We empirically validate our analysis using a Python implementation, showing that our analytical bounds are tight, and that our testing campaign generates inputs diverse-enough to almost match (but not exceed) the analytical bounds. We close with discussions on how to adapt our analysis to LNS systems with different bases and also discuss many pragmatic ramifications of our work in the broader arena of scientific computing and machine learning.


title: Multi-Camera Asynchronous Ball Localization and Trajectory Prediction with Factor Graphs and Human Poses

abstract: The rapid and precise localization and prediction of a ball are critical for developing agile robots in ball sports, particularly in sports like tennis characterized by high-speed ball movements and powerful spins. The Magnus effect induced by spin adds complexity to trajectory prediction during flight and bounce dynamics upon contact with the ground. In this study, we introduce an innovative approach that combines a multi-camera system with factor graphs for real-time and asynchronous 3D tennis ball localization. Additionally, we estimate hidden states like velocity and spin for trajectory prediction. Furthermore, to enhance spin inference early in the ball's flight, where limited observations are available, we integrate human pose data using a temporal convolutional network (TCN) to compute spin priors within the factor graph. This refinement provides more accurate spin priors at the beginning of the factor graph, leading to improved early-stage hidden state inference for prediction. Our result shows the trained TCN can predict the spin priors with RMSE of 5.27 Hz. Integrating TCN into the factor graph reduces the prediction error of landing positions by over 63.6% compared to a baseline method that utilized an adaptive extended Kalman filter.


title: Embracing Language Inclusivity and Diversity in CLIP through Continual Language Learning

abstract: While vision-language pre-trained models (VL-PTMs) have advanced multimodal research in recent years, their mastery in a few languages like English restricts their applicability in broader communities. To this end, there is an increasing interest in developing multilingual VL models via a joint-learning setup, which, however, could be unrealistic due to expensive costs and data availability. In this work, we propose to extend VL-PTMs' language capacity by continual language learning (CLL), where a model needs to update its linguistic knowledge incrementally without suffering from catastrophic forgetting (CF). We begin our study by introducing a model dubbed CLL-CLIP, which builds upon CLIP, a prevailing VL-PTM that has acquired image-English text alignment. Specifically, CLL-CLIP contains an expandable token embedding layer to handle linguistic differences. It solely trains token embeddings to improve memory stability and is optimized under cross-modal and cross-lingual objectives to learn the alignment between images and multilingual texts. To alleviate CF raised by covariate shift and lexical overlap, we further propose a novel approach that ensures the identical distribution of all token embeddings during initialization and regularizes token embedding learning during training. We construct a CLL benchmark covering 36 languages based on MSCOCO and XM3600 datasets and then evaluate multilingual image-text retrieval performance. Extensive experiments verify the effectiveness of CLL-CLIP and show that our approach can boost CLL-CLIP, e.g., by 6.7% in text-to-image average Recall@1 on XM3600, and improve various state-of-the-art methods consistently. Our code and data are available at \url{https://github.com/yangbang18/CLFM}.


title: Formal Synthesis of Uncertainty Reduction Controllers

abstract: In its quest for approaches to taming uncertainty in self-adaptive systems (SAS), the research community has largely focused on solutions that adapt the SAS architecture or behaviour in response to uncertainty. By comparison, solutions that reduce the uncertainty affecting SAS (other than through the blanket monitoring of their components and environment) remain underexplored. Our paper proposes a more nuanced, adaptive approach to SAS uncertainty reduction. To that end, we introduce a SAS architecture comprising an uncertainty reduction controller that drives the adaptive acquisition of new information within the SAS adaptation loop, and a tool-supported method that uses probabilistic model checking to synthesise such controllers. The controllers generated by our method deliver optimal trade-offs between SAS uncertainty reduction benefits and new information acquisition costs. We illustrate the use and evaluate the effectiveness of our approach for mobile robot navigation and server infrastructure management SAS.


title: Nested Construction of Polar Codes via Transformers

abstract: Tailoring polar code construction for decoding algorithms beyond successive cancellation has remained a topic of significant interest in the field. However, despite the inherent nested structure of polar codes, the use of sequence models in polar code construction is understudied. In this work, we propose using a sequence modeling framework to iteratively construct a polar code for any given length and rate under various channel conditions. Simulations show that polar codes designed via sequential modeling using transformers outperform both 5G-NR sequence and Density Evolution based approaches for both AWGN and Rayleigh fading channels.


title: Exceptional points and ground-state entanglement spectrum of a fermionic extension of the Swanson oscillator

abstract: Motivated by the structure of the Swanson oscillator, which is a well-known example of a non-hermitian quantum system consisting of a general representation of a quadratic Hamiltonian, we propose a fermionic extension of such a scheme which incorporates two fermionic oscillators, together with bilinear-coupling terms that do not conserve particle number. We determine the eigenvalues and eigenvectors, and expose the appearance of exceptional points where two of the eigenstates coalesce with the corresponding eigenvectors exhibiting the self-orthogonality relation. We compute the entanglement spectrum and entanglement entropy of the ground state in two different ways, with one of them being via the Gelfand-Naimark-Segal construction. In addition to the approach involving the usual bi-normalization of the eigenvectors of the non-hermitian Hamiltonian, we also discuss the case where the eigenvectors are normalized with respect to the Dirac norms. It is found that the model exhibits a quantum phase transition due to the presence of a ground-state crossing.


title: Improving robustness of quantum feedback control with reinforcement learning

abstract: Obtaining reliable state preparation protocols is a key step towards practical implementation of many quantum technologies, and one of the main tasks in quantum control. In this work, different reinforcement learning approaches are used to derive a feedback law for state preparation of a desired state in a target system. In particular, we focus on the robustness of the obtained strategies with respect to different types and amount of noise. Comparing the results indicates that the learned controls are more robust to unmodeled perturbations with respect to simple feedback strategy based on optimized population transfer, and that training on simulated nominal model retain the same advantages displayed by controllers trained on real data. The possibility of effective off-line training of robust controllers promises significant advantages towards practical implementation.


title: Semantic Belief Behavior Graph: Enabling Autonomous Robot Inspection in Unknown Environments

abstract: This paper addresses the problem of autonomous robotic inspection in complex and unknown environments. This capability is crucial for efficient and precise inspections in various real-world scenarios, even when faced with perceptual uncertainty and lack of prior knowledge of the environment. Existing methods for real-world autonomous inspections typically rely on predefined targets and waypoints and often fail to adapt to dynamic or unknown settings. In this work, we introduce the Semantic Belief Behavior Graph (SB2G) framework as a novel approach to semantic-aware autonomous robot inspection. SB2G generates a control policy for the robot, featuring behavior nodes that encapsulate various semantic-based policies designed for inspecting different classes of objects. We design an active semantic search behavior to guide the robot in locating objects for inspection while reducing semantic information uncertainty. The edges in the SB2G encode transitions between these behaviors. We validate our approach through simulation and real-world urban inspections using a legged robotic platform. Our results show that SB2G enables a more efficient inspection policy, exhibiting performance comparable to human-operated inspections.


title: Massive clumps in W43-main: Structure formation in an extensively shocked molecular cloud

abstract: W43-main is a massive molecular complex located at the interaction of the Scutum arm and the Galactic bar undergoing starburst activities. We aim to investigate the gas dynamics, in particular, the prevailing shock signatures from the cloud to clump scale and assess the impact of shocks on the formation of dense gas and early-stage cores. We have carried out NOEMA and IRAM-30m observations at 3 mm with an angular resolution of $\sim$0.1 pc towards five massive clumps in W43 main. We use CH$_{3}$CCH and H$_{2}$CS lines to trace the extended gas temperature and CH$_{3}$OH lines to probe the volume density of the dense gas ($\gtrsim$10$^{5}$ cm$^{-3}$). The emission of SiO (2-1) is extensive across the region ($\sim$4 pc) and is mostly contained within a low-velocity regime, hinting at a large-scale origin of the shocks. The position-velocity maps of multiple tracers show systematic spatio-kinematic offsets supporting the cloud-cloud collision/merging scenario. We identify an additional extended velocity component in CCH emission, which coincides with one of the velocity components of the larger scale $^{13}$CO (2-1) emission, likely representing an outer, less dense gas layer in the cloud merging process. We find that the V-shaped, asymmetric SiO wings are tightly correlated with localised gas density enhancements, which is direct evidence of dense gas formation and accumulation in shocks. We resolve two categories of NH$_{2}$D cores: ones exhibiting only subsonic to transonic velocity dispersion, and the others with an additional supersonic velocity dispersion. The centroid velocities of the latter cores are correlated with the shock front seen by SiO. The kinematics of the $\sim$0.1 pc NH$_{2}$D cores are heavily imprinted by shock activities, and may represent a population of early-stage cores forming around the shock interface.


title: Widths of links via diagram colorings

abstract: In this paper, we define invariants of links in terms of colorings of link diagrams and prove that these invariants coincide with various notions of widths of links with respect to the standard Morse function. Our formulations are advantageous because they are algorithmic and suitable for program implementations. As an application, we calculate the max-width of over 10000 links up to 14 crossings from the link table.


title: Mixed State Variational Quantum Eigensolver for the Estimation of Expectation Values at Finite Temperature

abstract: We introduce a novel hybrid quantum-classical algorithm for the near-term computation of expectation values in quantum systems at finite temperatures. This is based on two stages: on the first one, a mixed state approximating a fiducial truncated density matrix is prepared through Variational Quantum Eigensolving (VQE) techniques; this is then followed by a reweighting stage where the expectation values for observables of interest are computed. These two stages can then be iterated again with different hyperparameters to achieve arbitrary accuracy. Resource and time scalability of the algorithm is discussed with a near-term perspective.


title: The point scatterer approximation for wave dynamics

abstract: Given an open, bounded and connected set $\Omega\subset\mathbb{R}^{3}$ and its rescaling $\Omega_{\varepsilon}$ of size $\varepsilon\ll 1$, we consider the solutions of the Cauchy problem for the inhomogeneous wave equation $$ (\varepsilon^{-2}\chi_{\Omega_{\varepsilon}}+\chi_{\mathbb{R}^{3}\backslash\Omega_{\varepsilon}})\partial_{tt}u=\Delta u+f $$ with initial data and source supported outside $\Omega_{\varepsilon}$; here, $\chi_{S}$ denotes the characteristic function of a set $S$. We provide the first-order $\varepsilon$-corrections with respect to the solutions of the inhomogeneous free wave equation and give space-time estimates on the remainders in the $L^{\infty}((0,1/\varepsilon^{\tau}),L^{2}(\mathbb{R}^{3})) $-norm. Such corrections are explicitly expressed in terms of the eigenvalues and eigenfunctions of the Newton potential operator in $L^{2}(\Omega)$ and provide an effective dynamics describing a legitimate point scatterer approximation in the time domain.


title: Single Word Change is All You Need: Designing Attacks and Defenses for Text Classifiers

abstract: In text classification, creating an adversarial example means subtly perturbing a few words in a sentence without changing its meaning, causing it to be misclassified by a classifier. A concerning observation is that a significant portion of adversarial examples generated by existing methods change only one word. This single-word perturbation vulnerability represents a significant weakness in classifiers, which malicious users can exploit to efficiently create a multitude of adversarial examples. This paper studies this problem and makes the following key contributions: (1) We introduce a novel metric \r{ho} to quantitatively assess a classifier's robustness against single-word perturbation. (2) We present the SP-Attack, designed to exploit the single-word perturbation vulnerability, achieving a higher attack success rate, better preserving sentence meaning, while reducing computation costs compared to state-of-the-art adversarial methods. (3) We propose SP-Defense, which aims to improve \r{ho} by applying data augmentation in learning. Experimental results on 4 datasets and BERT and distilBERT classifiers show that SP-Defense improves \r{ho} by 14.6% and 13.9% and decreases the attack success rate of SP-Attack by 30.4% and 21.2% on two classifiers respectively, and decreases the attack success rate of existing attack methods that involve multiple-word perturbations.


title: Data-efficient Fine-tuning for LLM-based Recommendation

abstract: Leveraging Large Language Models (LLMs) for recommendation has recently garnered considerable attention, where fine-tuning plays a key role in LLMs' adaptation. However, the cost of fine-tuning LLMs on rapidly expanding recommendation data limits their practical application. To address this challenge, few-shot fine-tuning offers a promising approach to quickly adapt LLMs to new recommendation data. We propose the task of data pruning for efficient LLM-based recommendation, aimed at identifying representative samples tailored for LLMs' few-shot fine-tuning. While coreset selection is closely related to the proposed task, existing coreset selection methods often rely on suboptimal heuristic metrics or entail costly optimization on large-scale recommendation data. To tackle these issues, we introduce two objectives for the data pruning task in the context of LLM-based recommendation: 1) high accuracy aims to identify the influential samples that can lead to high overall performance; and 2) high efficiency underlines the low costs of the data pruning process. To pursue the two objectives, we propose a novel data pruning method based on two scores, i.e., influence score and effort score, to efficiently identify the influential samples. Particularly, the influence score is introduced to accurately estimate the influence of sample removal on the overall performance. To achieve low costs of the data pruning process, we use a small-sized surrogate model to replace LLMs to obtain the influence score. Considering the potential gap between the surrogate model and LLMs, we further propose an effort score to prioritize some hard samples specifically for LLMs. Empirical results on three real-world datasets validate the effectiveness of our proposed method. In particular, the proposed method uses only 2% samples to surpass the full data fine-tuning, reducing time costs by 97%.


title: Euler transformation for multiple $q$-hypergeometric series from wall-crossing formula of $K$-theoretic vortex partition function

abstract: We show that transformation formulas of multiple $q$-hypergeometric series agree with wall-crossing formulas of $K$-theoretic vortex partition functions obtained by Hwang, Yi and the author \cite{Hwang:2017kmk}. For the vortex partition function in 3d $\mathcal{N}=2$ gauge theory, we show that the wall-crossing formula agrees with the Kajihara transformation \cite{kajihara2004euler}. For the vortex partition function in 3d $\mathcal{N}=4$ gauge theory, we show that the wall-crossing formula agrees with the transformation formula by Halln\"as, Langmann, Noumi and Rosengren \cite{Halln_s_2022}. Since the $K$-theoretic vortex partition functions are related with indices such as the $\chi_t$-genus of the handsaw quiver variety, we discuss geometric interpretation of Euler transformations in terms of wall-crossing formulas of handsaw quiver variety.


title: A Mixed Linear and Graded Logic: Proofs, Terms, and Models

abstract: Graded modal logics generalise standard modal logics via families of modalities indexed by an algebraic structure whose operations mediate between the different modalities. The graded "of-course" modality $!_r$ captures how many times a proposition is used and has an analogous interpretation to the of-course modality from linear logic; the of-course modality from linear logic can be modelled by a linear exponential comonad and graded of-course can be modelled by a graded linear exponential comonad. Benton showed in his seminal paper on Linear/Non-Linear logic that the of-course modality can be split into two modalities connecting intuitionistic logic with linear logic, forming a symmetric monoidal adjunction. Later, Fujii et al. demonstrated that every graded comonad can be decomposed into an adjunction and a 'strict action'. We give a similar result to Benton, leveraging Fujii et al.'s decomposition, showing that graded modalities can be split into two modalities connecting a graded logic with a graded linear logic. We propose a sequent calculus, its proof theory and categorical model, and a natural deduction system which we show is isomorphic to the sequent calculus. Interestingly, our system can also be understood as Linear/Non-Linear logic composed with an action that adds the grading, further illuminating the shared principles between linear logic and a class of graded modal logics.


title: NormEnsembleXAI: Unveiling the Strengths and Weaknesses of XAI Ensemble Techniques

abstract: This paper presents a comprehensive comparative analysis of explainable artificial intelligence (XAI) ensembling methods. Our research brings three significant contributions. Firstly, we introduce a novel ensembling method, NormEnsembleXAI, that leverages minimum, maximum, and average functions in conjunction with normalization techniques to enhance interpretability. Secondly, we offer insights into the strengths and weaknesses of XAI ensemble methods. Lastly, we provide a library, facilitating the practical implementation of XAI ensembling, thus promoting the adoption of transparent and interpretable deep learning models.


title: Optimal quantum teleportation of collaboration

abstract: We consider a network of three spatially separated labs of Alice, Bob, and Charlie, with a two-qubit state shared between Alice-Bob and Bob-Charlie, and all of them can collaborate through LOCC. We focus on the problem of optimal and deterministic distribution of a quantum teleportation channel (QTC) between Alice and Charlie. This involves distributing a two-qubit entangled state between Alice and Charlie with an optimized fully entangled fraction (FEF) over all three-party trace-preserving (TP) LOCC, exceeding the classical bound. However, we find that the optimal distribution of QTC generally has no one-to-one correspondence with the optimal distribution of entanglement. For some specific class of pre-shared two-qubit states, we identify the set of sufficient TP LOCC strategies that optimally distribute QTC. In this context, the mentioned set is restricted, with Bob initiating operations and subsequently sharing the outcomes with Alice and Charlie. Following Bob's contribution and after it is discarded, Alice and Charlie have the freedom of local post-processing. It seems that if one of the pre-shared entangled states is noisy, the optimal distribution may not necessarily require the other one to be most resourceful, i.e., a maximally entangled state (MES). Furthermore, when both of the pre-shared entangled states are noisy, there are instances where an efficient Bob-assisted protocol (generally a suboptimal protocol distributing a channel with FEF larger than the classical bound) necessarily requires Bob's joint measurement to be either performing projective measurement (PVM) in partially entangled pure states or performing POVM. In this regard, our study also reveals that the RPBES protocol introduced in Ref. [Phys. Rev. Lett. 93. 260501] for efficient entanglement distribution (even optimally for some cases), is not an efficient protocol in general.


title: Comparison of user interfaces for measuring the matrix sentence test on a smartphone

abstract: Using smartphones for mobile self-testing could provide easy access to speech intelligibility testing for a large proportion of the world population. The matrix sentence test (MST) is an ideal candidate in this context, as it is a repeatable and accurate speech test currently available in 20 languages. In clinical practice, an experimenter uses professional audiological equipment and supervises the MST, which is infeasible for smartphone-based self-testing. Therefore, it is crucial to investigate the feasibility of self-conducting the MST on a smartphone, given its restricted screen size. We compared the traditional closed matrix user interface, displaying all 50 words of the MST in a 10x5 matrix, and three alternative, newly-developed interfaces (slide, type, wheel) regarding SRT consistency, user preference, and completion time, across younger normal hearing (N=15) and older hearing impaired participants (N=14). The slide interface is most suitable for mobile implementation. While the traditional matrix interface works well for most participants, not every participant could perform the task with this interface. The newly-introduced slide interface could serve as a plausible alternative on the small screen of a smartphone. This might be more attractive for elderly patients that may exhibit more tactile and visual impairments than our test subjects employed here.


title: CPR++: Object Localization via Single Coarse Point Supervision

abstract: Point-based object localization (POL), which pursues high-performance object sensing under low-cost data annotation, has attracted increased attention. However, the point annotation mode inevitably introduces semantic variance due to the inconsistency of annotated points. Existing POL heavily rely on strict annotation rules, which are difficult to define and apply, to handle the problem. In this study, we propose coarse point refinement (CPR), which to our best knowledge is the first attempt to alleviate semantic variance from an algorithmic perspective. CPR reduces the semantic variance by selecting a semantic centre point in a neighbourhood region to replace the initial annotated point. Furthermore, We design a sampling region estimation module to dynamically compute a sampling region for each object and use a cascaded structure to achieve end-to-end optimization. We further integrate a variance regularization into the structure to concentrate the predicted scores, yielding CPR++. We observe that CPR++ can obtain scale information and further reduce the semantic variance in a global region, thus guaranteeing high-performance object localization. Extensive experiments on four challenging datasets validate the effectiveness of both CPR and CPR++. We hope our work can inspire more research on designing algorithms rather than annotation rules to address the semantic variance problem in POL. The dataset and code will be public at github.com/ucas-vg/PointTinyBenchmark.


title: A canonical realization of the alt $\nu$-associahedron

abstract: Given a lattice path $\nu$, the alt $\nu$-Tamari lattice is a partial order recently introduced by Ceballos and Chenevi\`ere, which generalizes the $\nu$-Tamari lattice and the $\nu$-Dyck lattice. All these posets are defined on the set of lattice paths that lie weakly above $\nu$, and posses a rich combinatorial structure. In this paper, we study the geometric structure of these posets. We show that their Hasse diagram is the edge graph of a polytopal complex induced by a tropical hyperplane arrangement, which we call the alt $\nu$-associahedron. This generalizes the realization of $\nu$-associahedra by Ceballos, Padrol and Sarmiento. Our approach leads to an elegant construction, in terms of areas below lattice paths, which we call the canonical realization. Surprisingly, in the case of the classical associahedron, our canonical realization magically recovers Loday's ubiquitous realization, via a simple affine transformation.


title: Adaptive Experiment Design with Synthetic Controls

abstract: Clinical trials are typically run in order to understand the effects of a new treatment on a given population of patients. However, patients in large populations rarely respond the same way to the same treatment. This heterogeneity in patient responses necessitates trials that investigate effects on multiple subpopulations - especially when a treatment has marginal or no benefit for the overall population but might have significant benefit for a particular subpopulation. Motivated by this need, we propose Syntax, an exploratory trial design that identifies subpopulations with positive treatment effect among many subpopulations. Syntax is sample efficient as it (i) recruits and allocates patients adaptively and (ii) estimates treatment effects by forming synthetic controls for each subpopulation that combines control samples from other subpopulations. We validate the performance of Syntax and provide insights into when it might have an advantage over conventional trial designs through experiments.


title: Gazetteer-Enhanced Bangla Named Entity Recognition with BanglaBERT Semantic Embeddings K-Means-Infused CRF Model

abstract: Named Entity Recognition (NER) is a sub-task of Natural Language Processing (NLP) that distinguishes entities from unorganized text into predefined categorization. In recent years, a lot of Bangla NLP subtasks have received quite a lot of attention; but Named Entity Recognition in Bangla still lags behind. In this research, we explored the existing state of research in Bangla Named Entity Recognition. We tried to figure out the limitations that current techniques and datasets face, and we would like to address these limitations in our research. Additionally, We developed a Gazetteer that has the ability to significantly boost the performance of NER. We also proposed a new NER solution by taking advantage of state-of-the-art NLP tools that outperform conventional techniques.


title: Self-Supervised Representation Learning for Nerve Fiber Distribution Patterns in 3D-PLI

abstract: A comprehensive understanding of the organizational principles in the human brain requires, among other factors, well-quantifiable descriptors of nerve fiber architecture. Three-dimensional polarized light imaging (3D-PLI) is a microscopic imaging technique that enables insights into the fine-grained organization of myelinated nerve fibers with high resolution. Descriptors characterizing the fiber architecture observed in 3D-PLI would enable downstream analysis tasks such as multimodal correlation studies, clustering, and mapping. However, best practices for observer-independent characterization of fiber architecture in 3D-PLI are not yet available. To this end, we propose the application of a fully data-driven approach to characterize nerve fiber architecture in 3D-PLI images using self-supervised representation learning. We introduce a 3D-Context Contrastive Learning (CL-3D) objective that utilizes the spatial neighborhood of texture examples across histological brain sections of a 3D reconstructed volume to sample positive pairs for contrastive learning. We combine this sampling strategy with specifically designed image augmentations to gain robustness to typical variations in 3D-PLI parameter maps. The approach is demonstrated for the 3D reconstructed occipital lobe of a vervet monkey brain. We show that extracted features are highly sensitive to different configurations of nerve fibers, yet robust to variations between consecutive brain sections arising from histological processing. We demonstrate their practical applicability for retrieving clusters of homogeneous fiber architecture and performing data mining for interactively selected templates of specific components of fiber architecture such as U-fibers.


title: Inequalities and enumerative formulas for flags of Pfaff systems

abstract: In this work, we study inequalities and enumerative formulas for flags of Pfaff systems on $\mathbb{P}^n_{\mathbb{C}}$. More specifically, we find the number of independent Pfaff systems that leave invariant a one-dimensional holomorphic foliation and deduce inequalities relating the degrees in the flags, which can be interpreted as the Poincar\'e problem for flags. Moreover, restricting to a flag of specific holomorphic foliations/distributions, we obtain inequalities involving the degrees. As a consequence, we prove stability results for the tangent sheaf of some rank two holomorphic foliations/distributions.


title: Unveiling new perspectives of hypergeometric functions using umbral techniques

abstract: The umbral restyling of hypergeometric functions is shown to be a useful and efficient approach in simplifying the associated computational technicalities. In this article, the authors provide a general introduction to the umbral version of Gauss hypergeometric functions and extend the formalism to certain generalized forms of these functions. It is shown that suggested approach is particularly efficient for evaluating integrals involving hypergeometric functions and their combination with other special functions.


title: Random walks on Coxeter interchange graphs

abstract: A tournament is an orientation of a graph. Vertices are players and edges are games, directed away from the winner. Kannan, Tetali and Vempala and McShine showed that tournaments with given score sequence can be rapidly sampled, via simple random walks on the interchange graphs of Brualdi and Li. These graphs are generated by the cyclically directed triangle, in the sense that traversing an edge corresponds to the reversal of such a triangle in a tournament. We study Coxeter tournaments on Zaslavsky's signed graphs. These tournaments involve collaborative and solitaire games, as well as the usual competitive games. The interchange graphs are richer in complexity, as a variety of other generators are involved. We prove rapid mixing by an intricate application of Bubley and Dyer's method of path coupling, using a delicate re-weighting of the graph metric. Geometric connections with the Coxeter permutahedra introduced by Ardila, Castillo, Eur and Postnikov are discussed.


title: Quantum dynamics in one and two dimensions via recursion method

abstract: We report an implementation of the recursion method that addresses quantum many-body dynamics in the nonperturbative regime. The method essentially amounts to constructing a Lanczos basis in the space of operators and solving coupled Heisenberg equations in this basis. The reported implementation has two key ingredients: a computer-algebraic routine for symbolic calculation of nested commutators and a procedure to extrapolate the sequence of Lanczos coefficients according to the universal operator growth hypothesis. We apply the method to calculate infinite-temperature correlation functions for spin-$1/2$ systems on one- and two-dimensional lattices. In two dimensions the accessible timescale is large enough to essentially embrace the relaxation to equilibrium. The method allows one to accurately calculate transport coefficients. As an illustration, we compute the diffusion constant for the transverse-field Ising model on a square lattice.


title: ContactGen: Contact-Guided Interactive 3D Human Generation for Partners

abstract: Among various interactions between humans, such as eye contact and gestures, physical interactions by contact can act as an essential moment in understanding human behaviors. Inspired by this fact, given a 3D partner human with the desired interaction label, we introduce a new task of 3D human generation in terms of physical contact. Unlike previous works of interacting with static objects or scenes, a given partner human can have diverse poses and different contact regions according to the type of interaction. To handle this challenge, we propose a novel method of generating interactive 3D humans for a given partner human based on a guided diffusion framework. Specifically, we newly present a contact prediction module that adaptively estimates potential contact regions between two input humans according to the interaction label. Using the estimated potential contact regions as complementary guidances, we dynamically enforce ContactGen to generate interactive 3D humans for a given partner human within a guided diffusion model. We demonstrate ContactGen on the CHI3D dataset, where our method generates physically plausible and diverse poses compared to comparison methods.


title: Ptycho-endoscopy on a lensless ultrathin fiber bundle tip

abstract: Synthetic aperture radar (SAR) utilizes an aircraft-carried antenna to emit electromagnetic pulses and detect the returning echoes. As the aircraft travels across a designated area, it synthesizes a large virtual aperture to improve image resolution. Inspired by SAR, we introduce synthetic aperture ptycho-endoscopy (SAPE) for micro-endoscopic imaging beyond the diffraction limit. SAPE operates by hand-holding a lensless fiber bundle tip to record coherent diffraction patterns from specimens. The fiber cores at the distal tip modulate the diffracted wavefield within a confined area, emulating the role of the 'airborne antenna' in SAR. The handheld operation introduces positional shifts to the tip, analogous to the aircraft's movement. These shifts facilitate the acquisition of a ptychogram and synthesize a large virtual aperture extending beyond the bundle's physical limit. We mitigate the influences of hand motion and fiber bending through a low-rank spatiotemporal decomposition of the bundle's modulation profile. Our tests demonstrate the ability to resolve a 548-nm linewidth on a resolution target. Furthermore, SAPE's refocusing capability enables imaging over an extended depth of field exceeding 2 cm. The aperture synthesizing process in SAPE surpasses the diffraction limit set by the probe's maximum collection angle, heralding new opportunities for both fiber-based and distal-chip endoscopy.


title: Multi-FLEX: An Automatic Task Sequence Execution Framework to Enable Reactive Motion Planning for Multi-Robot Applications

abstract: In this letter, an integrated task planning and reactive motion planning framework termed Multi-FLEX is presented that targets real-world, industrial multi-robot applications. Reactive motion planning has been attractive for the purposes of collision avoidance, particularly when there are sources of uncertainty and variation. Most industrial applications, though, typically require parts of motion to be at least partially non-reactive in order to achieve functional objectives. Multi-FLEX resolves this dissonance and enables such applications to take advantage of reactive motion planning. The Multi-FLEX framework achieves 1) coordination of motion requests to resolve task-level conflicts and overlaps, 2) incorporation of application-specific task constraints into online motion planning using the new concepts of task dependency accommodation, task decomposition, and task bundling, and 3) online generation of robot trajectories using a custom, online reactive motion planner. This planner combines fast-to-create, sparse dynamic roadmaps (to find a complete path to the goal) with fast-to-execute, short-horizon, online, optimization-based local planning (for collision avoidance and high performance). To demonstrate, we use two six-degree-of-freedom, high-speed industrial robots in a deburring application to show the ability of this approach to not just handle collision avoidance and task variations, but to also achieve industrial applications.


title: Electrical properties of highly-doped MBE-grown gallium phosphide nanowires

abstract: Efficient doping of semiconductor nanowires remains a major challenge towards the commercialization of nanowire-based devices. In this work we investigate the growth regimes and electrical properties of MBE-grown p- and n-type gallium phosphide nanowires doped with Be and Si respectively. Electrical conductivity of individual nanowires is quantitatively studied via atomic force microscopy supported with numerical analysis. Based on conductivity measurements, we provide growth strategies for achieving the doping level up to 5E18 and 2E19 $cm^{-3}$ for GaP:Si and GaP:Be nanowires respectively, which is high enough to be demanded for technological applications.


title: The effect of surface topography on benthic boundary layer flow: implications for marine larval transport and settlement

abstract: The effect of substrate topography on the settlement of coral larvae in wave-driven oscillatory flow is investigated using computational fluid dynamics coupled to a 2D agent-based simulation of individual larvae. Substrate topography modifies the boundary layer flow by generating vortices within roughness features that can be ejected into the bulk flow, directly influencing larval transport and settlement. In agreement with recent experimental findings, millimeter-scale ridged topographies were found to increase settlement compared to sub-mm feature heights. At this length scale, ridge spacing-to-height ratios of 10 to 20, spacings of more than 30 coral larval body lengths, resulted in the highest settlement rates. These optimal topographies produce a high averaged vertical velocity variance in the bulk flow, indicating that vertical larval movement to benthic surfaces is dominated by passive transport driven by recirculatory flow structures. Indeed, larval settlement was found to be positively correlated with mean vertical velocity variance, and settlement results with substrates comprising complex multiscale roughness were quantitatively similar to those with a simple rectangular model. Our findings reveal how substrates can be designed with surface features to promote larval settlement in natural flow conditions above shallow coral reefs independent of biological cues and substrate material composition.


title: GazeGPT: Augmenting Human Capabilities using Gaze-contingent Contextual AI for Smart Eyewear

abstract: Multimodal large language models (LMMs) excel in world knowledge and problem-solving abilities. Through the use of a world-facing camera and contextual AI, emerging smart accessories aim to provide a seamless interface between humans and LMMs. Yet, these wearable computing systems lack an understanding of the user's attention. We introduce GazeGPT as a new user interaction paradigm for contextual AI. GazeGPT uses eye tracking to help the LMM understand which object in the world-facing camera view a user is paying attention to. Using extensive user evaluations, we show that this gaze-contingent mechanism is a faster and more accurate pointing mechanism than alternatives; that it augments human capabilities by significantly improving their accuracy in a dog-breed classification task; and that it is consistently ranked as more natural than head- or body-driven selection mechanisms for contextual AI. Moreover, we prototype a variety of application scenarios that suggest GazeGPT could be of significant value to users as part of future AI-driven personal assistants.


title: On sequential versions of distributional topological complexity

abstract: We define a (non-decreasing) sequence $\{d\mathsf{TC}_m(X)\}_{m\ge 2}$ of higher versions of distributional topological complexity ($d\mathsf{TC}$) of a space $X$ introduced by Dranishnikov and Jauhari. This sequence generalizes $d\mathsf{TC}(X)$ in the sense that $d\mathsf{TC}_2(X) = d\mathsf{TC}(X)$, and is a direct analog to the classical sequence $\{\mathsf{TC}_m(X)\}_{m\ge 2}$. We show that like $\mathsf{TC}_m$ and $d\mathsf{TC}$, the sequential versions $d\mathsf{TC}_m$ are also homotopy invariants. Also, $d\mathsf{TC}_m(X)$ relates with the distributional LS-category ($d\mathsf{cat}$) of products of $X$ in the same way as $\mathsf{TC}_m(X)$ relates with the classical LS-category ($\mathsf{cat}$) of products of $X$. We show that in general, $d\mathsf{TC}_m$ is a different concept than $\mathsf{TC}_m$ for each $m \ge 2$, but we also provide various examples of spaces $X$ for which the sequences $\{\mathsf{TC}_m(X)\}_{m\ge 2}$ and $\{d\mathsf{TC}_m(X)\}_{m\ge 2}$ coincide.


title: A criterion for Andr\'{a}sfai--Erd\H{o}s--S\'{o}s type theorems and applications

abstract: The classical Andr\'{a}sfai--Erd\H{o}s--S\'{o}s Theorem states that for $\ell\ge 2$, every $n$-vertex $K_{\ell+1}$-free graph with minimum degree greater than $\frac{3\ell-4}{3\ell-1}n$ must be $\ell$-partite. We establish a simple criterion for $r$-graphs, $r \geq 2$, to exhibit an Andr\'{a}sfai--Erd\H{o}s--S\'{o}s type property, also known as degree-stability. This leads to a classification of most previously studied hypergraph families with this property. An immediate application of this result, combined with a general theorem by Keevash--Lenz--Mubayi, solves the spectral Tur\'{a}n problems for a large class of hypergraphs. For every $r$-graph $F$ with degree-stability, there is a simple algorithm to decide the $F$-freeness of an $n$-vertex $r$-graph with minimum degree greater than $(\pi(F) - \varepsilon_F)\binom{n}{r-1}$ in time $O(n^r)$, where $\varepsilon_F >0$ is a constant. In particular, for the complete graph $K_{\ell+1}$, we can take $\varepsilon_{K_{\ell+1}} = (3\ell^2-\ell)^{-1}$, and this bound is tight up to some multiplicative constant factor unless $\mathbf{W[1]} = \mathbf{FPT}$. Based on a result by Chen--Huang--Kanj--Xia, we further show that for every fixed $C > 0$, this problem cannot be solved in time $n^{o(\ell)}$ if we replace $\varepsilon_{K_{\ell+1}}$ with $(C\ell)^{-1}$ unless $\mathbf{ETH}$ fails. Furthermore, we apply the degree-stability of $K_{\ell+1}$ to decide the $K_{\ell+1}$-freeness of graphs whose size is close to the Tur\'{a}n bound in time $(\ell+1)n^2$, partially improving a recent result by Fomin--Golovach--Sagunov--Simonov. As an intermediate step, we show that for a specific class of $r$-graphs $F$, the (surjective) $F$-coloring problem can be solved in time $O(n^r)$, provided the input $r$-graph has $n$ vertices and a large minimum degree, refining several previous results.


title: Leading coefficient in the Hankel determinants related to binomial and $q$-binomial transforms

abstract: It is a standard result that the Hankel determinants for a sequence stay invariant after performing the binomial transform on this sequence. In this work, we extend the scenario to $q$-binomial transforms and study the behavior of the leading coefficient in such Hankel determinants. We also investigate the leading coefficient in the Hankel determinants for even-indexed Bernoulli polynomials with recourse to a curious binomial transform. In particular, the degrees of these Hankel determinants share the same nature as those in one of the $q$-binomial cases.


title: MouSi: Poly-Visual-Expert Vision-Language Models

abstract: Current large vision-language models (VLMs) often encounter challenges such as insufficient capabilities of a single visual component and excessively long visual tokens. These issues can limit the model's effectiveness in accurately interpreting complex visual information and over-lengthy contextual information. Addressing these challenges is crucial for enhancing the performance and applicability of VLMs. This paper proposes the use of ensemble experts technique to synergizes the capabilities of individual visual encoders, including those skilled in image-text matching, OCR, image segmentation, etc. This technique introduces a fusion network to unify the processing of outputs from different visual experts, while bridging the gap between image encoders and pre-trained LLMs. In addition, we explore different positional encoding schemes to alleviate the waste of positional encoding caused by lengthy image feature sequences, effectively addressing the issue of position overflow and length limitations. For instance, in our implementation, this technique significantly reduces the positional occupancy in models like SAM, from a substantial 4096 to a more efficient and manageable 64 or even down to 1. Experimental results demonstrate that VLMs with multiple experts exhibit consistently superior performance over isolated visual encoders and mark a significant performance boost as more experts are integrated. We have open-sourced the training code used in this report. All of these resources can be found on our project website.


title: Stress and Alignment Response to Curved Obstacles in Growing Bacterial Monolayers

abstract: Monolayers of growing bacteria, confined within channel geometries, exhibit self-organization into a highly aligned laminar state along the axis of the channel. Although this phenomenon has been observed in experiments and simulations under various boundary conditions, the underlying physical mechanism driving this alignment remains unclear. In this study, we conduct simulations of growing bacteria in 2D channel geometries perturbed by fixed obstacles, either circular or arc-shaped, placed at the channel's center. Our findings reveal that even sizable obstacles cause only short-ranged disruptions to the baseline laminar state. These disruptions arise from a competition between local planar anchoring and bulk laminar alignment. At smaller obstacle sizes, bulk alignment fully dominates, while at larger sizes, planar anchoring induces increasing local disruptions. Furthermore, our analysis indicates that the resulting configurations of the bacterial system display a striking resemblance to the arrangement of hard-rod smectic liquid crystals around circular obstacles. This suggests that modeling hard-rod bacterial monolayers as smectic, rather than nematic, liquid crystals may yield successful outcomes. The insights gained from our study contribute to the expanding body of research on bacterial growth in channels. Our work provides new perspectives on the stability of the laminar state and extends our understanding to encompass more intricate confinement schemes.


title: A compact formula for the symmetric Macdonald polynomials

abstract: We give a compact tableau formula for the symmetric Macdonald polynomials $P_{\lambda}(X;q,t)$ in terms of a queue inversion statistic on certain sorted non-attacking tableaux. The nonsymmetric components of our formula are the ASEP polynomials, which specialize to the probabilities of the asymmetric simple exclusion process (ASEP) on a circle. Moreover, the statistics in our formula are naturally related to the dynamics of the ASEP. Our tableaux are in bijection with Martin's multiline queues (arXiv:1810.10650), from which we obtain an alternative multiline queue formula for $P_{\lambda}$.


title: Evolvable Agents, a Fine Grained Approach for Distributed Evolutionary Computing: Walking towards the Peer-to-Peer Computing Frontiers

abstract: In this work we propose a fine grained approach with self-adaptive migration rate for distributed evolutionary computation. Our target is to gain some insights on the effects caused by communication when the algorithm scales. To this end, we consider a set of basic topologies in order to avoid the overlapping of algorithmic effects between communication and topological structures. We analyse the approach viability by comparing how solution quality and algorithm speed change when the number of processors increases and compare it with an Island model based implementation. A finer-grained approach implies a better chance of achieving a larger scalable system; such a feature is crucial concerning large-scale parallel architectures such as Peer-to-Peer systems. In order to check scalability, we perform a threefold experimental evaluation of this model: First, we concentrate on the algorithmic results when the problem scales up to eight nodes in comparison with how it does following the Island model. Second, we analyse the computing time speedup of the approach while scaling. Finally, we analyse the network performance with the proposed self-adaptive migration rate policy that depends on the link latency and bandwidth. With this experimental setup, our approach shows better scalability than the Island model and a equivalent robustness on the average of the three test functions under study.


title: The Binary Broadening Function

abstract: We propose an extended formalism for the spectral broadening function (BF) based on the multiplication rule of block matrices. The formalism, which we named the binary broadening function (BBF), can produce decomposed BFs for individual components of a binary star system by using two spectral templates. The decomposed BFs can be used to derive precise rotational profiles and radial velocities for individual components. We test the BBF on simulated spectra and actual observational spectra to show that the method is feasible on spectroscopic binaries, even when the spectral lines of two stellar components are heavily blended. To demonstrate the capability of the method, we conduct a simulation of `sketching' (imaging) a transiting circumbinary exoplanet using the BBF. We also discuss issues of implementation such as the variation of BBF with biased templates, the pros and cons of BBF, and cases when the method is not applicable.


title: Knowledge Problems in Protocol Analysis: Extending the Notion of Subterm Convergent

abstract: We introduce a new form of restricted term rewrite system, the graph-embedded term rewrite system. These systems, and thus the name, are inspired by the graph minor relation and are more flexible extensions of the well-known homeomorphic-embedded property of term rewrite systems. As a motivating application area, we consider the symbolic analysis of security protocols, and more precisely the two knowledge problems defined by the deduction problem and the static equivalence problem. In this field restricted term rewrite systems, such as subterm convergent ones, have proven useful since the knowledge problems are decidable for such systems. Many of the same decision procedures still work for examples of systems which are "beyond subterm convergent". However, the applicability of the corresponding decision procedures to these examples must often be proven on an individual basis. This is due to the problem that they don't fit into an existing syntactic definition for which the procedures are known to work. Here we show that many of these systems belong to a particular subclass of graph-embedded convergent systems, called contracting convergent systems. On the one hand, we show that the knowledge problems are decidable for the subclass of contracting convergent systems. On the other hand, we show that the knowledge problems are undecidable for the class of graph-embedded systems. Going further, we compare and contrast these graph embedded systems with several notions and properties already known in the protocol analysis literature. Finally, we provide several combination results, both for the combination of multiple contracting convergent systems, and then for the combination of contracting convergent systems with particular permutative equational theories.


title: Ensemble Density-Functional Perturbation Theory: Spatial Dispersion in Metals

abstract: We present a first-principles methodology, within the context of linear-response theory, that greatly facilitates the perturbative study of physical properties of metallic crystals. Our approach builds on ensemble density-functional theory [Phys. Rev. Lett. 79, 1337 (1997)] to write the adiabatic second-order energy as an unconstrained variational functional of both the wave functions and their occupancies. Thereby, it enables the application of standard tools of density-functional perturbation theory (most notably, the "$2n+1$" theorem) in metals, opening the way to an efficient and accurate calculation of their nonlinear and spatially dispersive responses. We apply our methodology to phonons and strain gradients and demonstrate the accuracy of our implementation by computing the spatial dispersion coefficients of zone-center optical phonons and the flexoelectric force-response tensor of selected metal structures.


title: Morality is Non-Binary: Building a Pluralist Moral Sentence Embedding Space using Contrastive Learning

abstract: Recent advances in NLP show that language models retain a discernible level of knowledge in deontological ethics and moral norms. However, existing works often treat morality as binary, ranging from right to wrong. This simplistic view does not capture the nuances of moral judgment. Pluralist moral philosophers argue that human morality can be deconstructed into a finite number of elements, respecting individual differences in moral judgment. In line with this view, we build a pluralist moral sentence embedding space via a state-of-the-art contrastive learning approach. We systematically investigate the embedding space by studying the emergence of relationships among moral elements, both quantitatively and qualitatively. Our results show that a pluralist approach to morality can be captured in an embedding space. However, moral pluralism is challenging to deduce via self-supervision alone and requires a supervised approach with human labels.


title: Average turbulence dynamics from a one-parameter kinetic theory

abstract: We show theoretically that the mean turbulent dynamics can be described by a kinetic theory representation with a single free relaxation time that depends on space and time. A proper kinetic equation is constructed from averaging the Klimontovich-type equation for fluid elements satisfying the Navier-Stokes hydrodynamics exactly. The turbulent kinetic energy plays the role of temperature in standard molecular thermodynamics. We show that the dynamics of turbulent fluctuations resembles a collision process that asymptotically drives the mean distribution towards a Gaussian (Maxwell-Boltzmann) equilibrium form. Non-Gaussianity arises directly from non-equilibrium shear effects. The present framework overcomes the bane of most conventional turbulence models and theoretical frameworks arising from the lack of scale separation between the mean and fluctuating scales of the Navier-Stokes equation with an eddy viscous term. An averaged turbulent flow in the present framework behaves more like a flow of finite Knudsen number with finite relaxation time, and is thus more suitably described in a kinetic theory representation.


title: ESPnet-SPK: full pipeline speaker embedding toolkit with reproducible recipes, self-supervised front-ends, and off-the-shelf models

abstract: This paper introduces ESPnet-SPK, a toolkit designed with several objectives for training speaker embedding extractors. First, we provide an open-source platform for researchers in the speaker recognition community to effortlessly build models. We provide several models, ranging from x-vector to recent SKA-TDNN. Through the modularized architecture design, variants can be developed easily. We also aspire to bridge developed models with other domains, facilitating the broad research community to effortlessly incorporate state-of-the-art embedding extractors. Pre-trained embedding extractors can be accessed in an off-the-shelf manner and we demonstrate the toolkit's versatility by showcasing its integration with two tasks. Another goal is to integrate with diverse self-supervised learning features. We release a reproducible recipe that achieves an equal error rate of 0.39% on the Vox1-O evaluation protocol using WavLM-Large with ECAPA-TDNN.


title: Achieving More Human Brain-Like Vision via Human EEG Representational Alignment

abstract: Despite advancements in artificial intelligence, object recognition models still lag behind in emulating visual information processing in human brains. Recent studies have highlighted the potential of using neural data to mimic brain processing; however, these often rely on invasive neural recordings from non-human subjects, leaving a critical gap in understanding human visual perception. Addressing this gap, we present, for the first time, 'Re(presentational)Al(ignment)net', a vision model aligned with human brain activity based on non-invasive EEG, demonstrating a significantly higher similarity to human brain representations. Our innovative image-to-brain multi-layer encoding framework advances human neural alignment by optimizing multiple model layers and enabling the model to efficiently learn and mimic human brain's visual representational patterns across object categories and different modalities. Our findings suggest that ReAlnet represents a breakthrough in bridging the gap between artificial and human vision, and paving the way for more brain-like artificial intelligence systems.


title: Active Fluidification of Entangled Polymers by Loop Extrusion

abstract: Loop extrusion is one of the main processes shaping chromosome organisation across the cell cycle, yet its role in regulating DNA entanglement and nucleoplasm viscoelasticty remains overlooked. We simulate entangled solutions of linear polymers under the action of generic Loop Extruding Factors (LEF) with a model that fully accounts for topological constraints and LEF-DNA uncrossability. We discover that extrusion drives the formation of bottle-brush-like structures which significantly lower the entanglement and effective viscosity of the system through an active fluidification mechanism. Interestingly, this fluidification displays an optimum at one LEF every 300-3000 basepairs. In marked contrast with entangled linear chains, the viscosity of extruded chains scales linearly with polymer length, yielding up to 1000-fold fluidification. Our results illuminate how loop extrusion contributes to actively modulate genome entanglement and viscoelasticity in vivo.


title: Inf-Sup neural networks for high-dimensional elliptic PDE problems

abstract: Solving high dimensional partial differential equations (PDEs) has historically posed a considerable challenge when utilizing conventional numerical methods, such as those involving domain meshes. Recent advancements in the field have seen the emergence of neural PDE solvers, leveraging deep networks to effectively tackle high dimensional PDE problems. This study introduces Inf-SupNet, a model-based unsupervised learning approach designed to acquire solutions for a specific category of elliptic PDEs. The fundamental concept behind Inf-SupNet involves incorporating the inf-sup formulation of the underlying PDE into the loss function. The analysis reveals that the global solution error can be bounded by the sum of three distinct errors: the numerical integration error, the duality gap of the loss function (training error), and the neural network approximation error for functions within Sobolev spaces. To validate the efficacy of the proposed method, numerical experiments conducted in high dimensions demonstrate its stability and accuracy across various boundary conditions, as well as for both semi-linear and nonlinear PDEs.


title: Asynchronous Distributed Genetic Algorithms with Javascript and JSON

abstract: In a connected world, spare CPU cycles are up for grabs, if you only make its obtention easy enough. In this paper we present a distributed evolutionary computation system that uses the computational capabilities of the ubiquituous web browser. Using Asynchronous Javascript and JSON (Javascript Object Notation, a serialization protocol) allows anybody with a web browser (that is, mostly everybody connected to the Internet) to participate in a genetic algorithm experiment with little effort, or none at all. Since, in this case, computing becomes a social activity and is inherently impredictable, in this paper we will explore the performance of this kind of virtual computer by solving simple problems such as the Royal Road function and analyzing how many machines and evaluations it yields. We will also examine possible performance bottlenecks and how to solve them, and, finally, issue some advice on how to set up this kind of experiments to maximize turnout and, thus, performance.


title: Explicit Good Codes Approaching Distance 1 in Ulam Metric

abstract: The Ulam distance of two permutations on $[n]$ is $n$ minus the length of their longest common subsequence. In this paper, we show that for every $\varepsilon>0$, there exists some $\alpha>0$, and an infinite set $\Gamma\subseteq \mathbb{N}$, such that for all $n\in\Gamma$, there is an explicit set $C_n$ of $(n!)^{\alpha}$ many permutations on $[n]$, such that every pair of permutations in $C_n$ has pairwise Ulam distance at least $(1-\varepsilon)\cdot n$. Moreover, we can compute the $i^{\text{th}}$ permutation in $C_n$ in poly$(n)$ time and can also decode in poly$(n)$ time, a permutation $\pi$ on $[n]$ to its closest permutation $\pi^*$ in $C_n$, if the Ulam distance of $\pi$ and $\pi^*$ is less than $ \frac{(1-\varepsilon)\cdot n}{4} $. Previously, it was implicitly known by combining works of Goldreich and Wigderson [Israel Journal of Mathematics'23] and Farnoud, Skachek, and Milenkovic [IEEE Transactions on Information Theory'13] in a black-box manner, that it is possible to explicitly construct $(n!)^{\Omega(1)}$ many permutations on $[n]$, such that every pair of them have pairwise Ulam distance at least $\frac{n}{6}\cdot (1-\varepsilon)$, for any $\varepsilon>0$, and the bound on the distance can be improved to $\frac{n}{4}\cdot (1-\varepsilon)$ if the construction of Goldreich and Wigderson is directly analyzed in the Ulam metric.


title: Revealing Callisto's carbon-rich surface and CO2 atmosphere with JWST

abstract: We analyzed spectral cubes of Callisto's leading and trailing hemispheres, collected with the NIRSpec Integrated Field Unit (G395H) on the James Webb Space Telescope. These spatially resolved data show strong 4.25-micron absorption bands resulting from solid-state 12CO2, with the strongest spectral features at low latitudes near the center of its trailing hemisphere, consistent with radiolytic production spurred by magnetospheric plasma interacting with native H2O mixed with carbonaceous compounds. We detected CO2 rovibrational emission lines between 4.2 and 4.3 microns over both hemispheres, confirming the global presence of CO2 gas in Callisto's tenuous atmosphere. These results represent the first detection of CO2 gas over Callisto's trailing side. The distribution of CO2 gas is offset from the subsolar region on either hemisphere, suggesting that sputtering, radiolysis, and geologic processes help sustain Callisto's atmosphere. We detected a 4.38-micron absorption band that likely results from solid-state 13CO2. A prominent 4.57-micron absorption band that might result from CN-bearing organics is present and significantly stronger on Callisto's leading hemisphere, unlike 12CO2, suggesting these two spectral features are spatially anti-associated. The distribution of the 4.57-micron band is more consistent with a native origin and/or accumulation of dust from Jupiter's irregular satellites. Other, more subtle absorption features could result from CH-bearing organics, CO, carbonyl sulfide (OCS), and Na-bearing minerals. These results highlight the need for preparatory laboratory work and improved surface-atmosphere interaction models to better understand carbon chemistry on the icy Galilean moons before the arrival of NASA's Europa Clipper and ESA's JUICE spacecraft.


title: Goal Oriented Adaptive Space Time Finite Element Methods Applied to Touching Domains

abstract: We consider goal-oriented adaptive space-time finite-element discretizations of the parabolic heat equation on completely unstructured simplicial space-time meshes. In some applications, we are interested in an accurate computation of some possibly nonlinear functionals at the solution, so called goal functionals. This motivates the use of adaptive mesh refinements driven by the dual-weighted residual (DWR) method. The DWR method requires the numerical solution of a linear adjoint problem that provides the sensitivities for the mesh refinement. This can be done by means of the same full space-time finite element discretization as used for the primal linear problem. The numerical experiment presented demonstrates that this goal-oriented, full space-time finite element solver efficiently provides accurate numerical results for a model problem with moving domains and a linear goal functional, where we know the exact value.


title: Mapping thermal emission in the synchrotron-dominated SNRs 330.2+1.0, 3C58, and RX J1713.7-3946

abstract: Since the discovery of synchrotron X-ray emission from the shell of the supernova remnant (SNR) SN 1006, multiple observations from Chandra and XMM-Newton have shown that many young SNRs produce synchrotron emission in X-rays. Among those, a few peculiar SNRs have their X-ray emission largely dominated by synchrotron radiation, showing no or only faint traces of thermal emission. In this paper, we report our mapping of the thermal emission in three emblematic synchrotron-dominated SNRs: G330.2+1.0, 3C58, and RX J1713.7-3946. We used a blind source separation method able to retrieve faint components from X-ray data in the form of Chandra and XMM-Newton observations. The thermal candidates disentangled by the algorithm were then used to select regions of extraction. We then analyzed the extracted spectra to assess their physical nature. We conclude that the components retrieved by the algorithm indeed represent the spatial distribution of the thermal emission in G330.2+1.0 and 3C58, and a likely thermal candidate in RX J1713.7-3946. Our findings confirm and expand on past studies.