title: A Systems Theoretic Approach to Online Machine Learning

abstract: The machine learning formulation of online learning is incomplete from a systems theoretic perspective. Typically, machine learning research emphasizes domains and tasks, and a problem solving worldview. It focuses on algorithm parameters, features, and samples, and neglects the perspective offered by considering system structure and system behavior or dynamics. Online learning is an active field of research and has been widely explored in terms of statistical theory and computational algorithms, however, in general, the literature still lacks formal system theoretical frameworks for modeling online learning systems and resolving systems-related concept drift issues. Furthermore, while the machine learning formulation serves to classify methods and literature, the systems theoretic formulation presented herein serves to provide a framework for the top-down design of online learning systems, including a novel definition of online learning and the identification of key design parameters. The framework is formulated in terms of input-output systems and is further divided into system structure and system behavior. Concept drift is a critical challenge faced in online learning, and this work formally approaches it as part of the system behavior characteristics. Healthcare provider fraud detection using machine learning is used as a case study throughout the paper to ground the discussion in a real-world online learning challenge.


title: Four-of-a-kind? Comprehensive atmospheric characterisation of the HR 8799 planets with VLTI/GRAVITY

abstract: With four companions at separations from 16 to 71 au, HR 8799 is a unique target for direct imaging, presenting an opportunity for the comparative study of exoplanets with a shared formation history. Combining new VLTI/GRAVITY observations obtained within the ExoGRAVITY program with archival data, we perform a systematic atmospheric characterisation of all four planets. We explore different levels of model flexibility to understand the temperature structure, chemistry and clouds of each planet using both petitRADTRANS atmospheric retrievals and fits to self-consistent radiative-convective equilibrium models. Using Bayesian Model Averaging to combine multiple retrievals, we find that the HR 8799 planets are highly enriched in metals, with [M/H] $\gtrsim$1, and have stellar to super-stellar C/O ratios. The C/O ratio increases with increasing separation from $0.55^{+0.12}_{-0.10}$ for d to $0.78^{+0.03}_{-0.04}$ for b, with the exception of the innermost planet which has a C/O ratio of $0.87\pm0.03$. By retrieving a quench pressure and using a disequilibrium chemistry model we derive vertical mixing strengths compatible with predictions for high-metallicity, self-luminous atmospheres. Bayesian evidence comparisons strongly favour the presence of HCN in HR 8799 c and e, as well as CH$_{4}$ in HR 8799 c, with detections at $>5\sigma$ confidence. All of the planets are cloudy, with no evidence for patchiness. The clouds of c, d and e are best fit by silicate clouds lying above a deep iron cloud layer, while the clouds of the cooler HR 8799 b are more likely composed of Na$_{2}$S. With well defined atmospheric properties, future exploration of this system is well positioned to unveil further detail in these planets, extending our understanding of the composition, structure, and formation history of these siblings.


title: Rare Event Sampling using Smooth Basin Classification

abstract: The efficiency of atomic simulations of materials and molecules can rapidly deteriorate when large free energy barriers exist between local minima. We propose smooth basin classification, a universal method to define reaction coordinates based on the internal feature representation of a graph neural network. We achieve high data efficiency by exploiting their built-in symmetry and adopting a transfer learning strategy. We benchmark our approach on challenging chemical and physical transformations, and show that it matches and even outperforms reaction coordinates defined based on human intuition.


title: Flattening the Parent Bias: Hierarchical Semantic Segmentation in the Poincar\'e Ball

abstract: Hierarchy is a natural representation of semantic taxonomies, including the ones routinely used in image segmentation. Indeed, recent work on semantic segmentation reports improved accuracy from supervised training leveraging hierarchical label structures. Encouraged by these results, we revisit the fundamental assumptions behind that work. We postulate and then empirically verify that the reasons for the observed improvement in segmentation accuracy may be entirely unrelated to the use of the semantic hierarchy. To demonstrate this, we design a range of cross-domain experiments with a representative hierarchical approach. We find that on the new testing domains, a flat (non-hierarchical) segmentation network, in which the parents are inferred from the children, has superior segmentation accuracy to the hierarchical approach across the board. Complementing these findings and inspired by the intrinsic properties of hyperbolic spaces, we study a more principled approach to hierarchical segmentation using the Poincar\'e ball model. The hyperbolic representation largely outperforms the previous (Euclidean) hierarchical approach as well and is on par with our flat Euclidean baseline in terms of segmentation accuracy. However, it additionally exhibits surprisingly strong calibration quality of the parent nodes in the semantic hierarchy, especially on the more challenging domains. Our combined analysis suggests that the established practice of hierarchical segmentation may be limited to in-domain settings, whereas flat classifiers generalize substantially better, especially if they are modeled in the hyperbolic space.


title: Primordial black holes and induced gravitational waves in non-singular matter bouncing cosmology

abstract: We present a novel model-independent generic mechanism for primordial black hole formation within the context of non-singular matter bouncing cosmology. In particular, considering a short duration transition from the matter contracting phase to the Hot Big Bang expanding Universe, we find naturally enhanced curvature perturbations on very small scales which can collapse and form primordial black holes. Interestingly, the primordial black hole masses that we find can lie within the observationally unconstrained asteroid-mass window, potentially explaining the totality of dark matter. Remarkably, the enhanced curvature perturbations, collapsing to primordial black holes, can induce as well a stochastic gravitational-wave background, being potentially detectable by future experiments, in particular by SKA, PTAs, LISA and ET, hence serving as a new portal to probe the potential bouncing nature of the initial conditions prevailed in the early Universe.


title: Authomorphic measures with negative exponents for multicritical circle maps

abstract: Authomorphic or $s$-measures for circle diffeomorphisms were introduced by R.Douady and J.-C. Yoccoz in 1999. They have multiple applications in circle dynamics, with the case $s=-1$ being particularly important for describing conjugacy classes. In arxiv:2306.13524, E. de Faria, P. Guarino and B. Nussenzveig proved existence and uniqueness of automorphic $s$-measures for multicritical circle maps for all $s>0$. The purpose of this paper is to extend these results to $s$-measures with negative values of $s$. As an application, we prove a smoothness result for irrational Arnold tongues in families of multicritical maps.


title: Signal cancellation factor analysis

abstract: Signal cancellation provides a radically new and efficient approach to exploratory factor analysis, without matrix decomposition nor presetting the required number of factors. Its current implementation requires that each factor has at least two unique indicators. Its principle is that it is always possible to combine two indicator variables exclusive to the same factor with weights that cancel their common factor information. Successful combinations, consisting of nose only, are recognized by their null correlations with all remaining variables. The optimal combinations of multifactorial indicators, though, typically retain correlations with some other variables. Their signal, however, can be cancelled through combinations with unifactorial indicators of their contributing factors. The loadings are estimated from the relative signal cancellation weights of the variables involved along with their observed correlations. The factor correlations are obtained from those of their unifactorial indicators, corrected by their factor loadings. The method is illustrated with synthetic data from a complex six-factor structure that even includes two doublet factors. Another example using actual data documents that signal cancellation can rival confirmatory factor analysis.


title: Resonance energies and linewidths of Rydberg excitons in Cu$_2$O quantum wells

abstract: Rydberg excitons are the solid-state analog of Rydberg atoms and can, e.g., for cuprous oxide, easily reach a large size in the region of $\mu$m for principal quantum numbers up to $n=25$. The fabrication of quantum well-like structures in the crystal leads to quantum confinement effects and opens the possibility to study a crossover from three-dimensional to two-dimensional excitons. For small widths of the quantum well (QW) there are several well separated Rydberg series between various scattering thresholds leading to the occurrence of electron-hole resonances with finite lifetimes above the lowest threshold. By application of the stabilization method to the parametric dependencies of the real-valued eigenvalues of the original three-dimensional Schr\"{o}dinger equation we calculate the resonance energies and linewidths for Rydberg excitons in QWs in regimes where a perturbative treatment is impossible. The positions and finite linewidths of resonances at energies above the third threshold are compared with the complex resonance energies obtained within the framework of the complex-coordinate-rotation technique. The excellent agreement between the results demonstrates the validity of both methods for intermediate sizes of the QW-like structures, and thus for arbitrary widths.


title: Coherent risk measures and uniform integrability

abstract: We establish a profound connection between coherent risk measures, a prominent object in quantitative finance, and uniform integrability, a fundamental concept in probability theory. Instead of working with absolute values of random variables, which is convenient in studying integrability, we work directly with random loses and gains, which have clear financial interpretation. We introduce a technical tool called the folding score of distortion risk measures. The analysis of the folding score allows us to convert some conditions on absolute values to those on gains and losses. As our main results, we obtain three sets of equivalent conditions for uniform integrability. In particular, a set is uniformly integrable if and only if one can find a coherent distortion risk measure that is bounded on the set, but not finite on $L^1$.


title: Layerwise Early Stopping for Test Time Adaptation

abstract: Test Time Adaptation (TTA) addresses the problem of distribution shift by enabling pretrained models to learn new features on an unseen domain at test time. However, it poses a significant challenge to maintain a balance between learning new features and retaining useful pretrained features. In this paper, we propose Layerwise EArly STopping (LEAST) for TTA to address this problem. The key idea is to stop adapting individual layers during TTA if the features being learned do not appear beneficial for the new domain. For that purpose, we propose using a novel gradient-based metric to measure the relevance of the current learnt features to the new domain without the need for supervised labels. More specifically, we propose to use this metric to determine dynamically when to stop updating each layer during TTA. This enables a more balanced adaptation, restricted to layers benefiting from it, and only for a certain number of steps. Such an approach also has the added effect of limiting the forgetting of pretrained features useful for dealing with new domains. Through extensive experiments, we demonstrate that Layerwise Early Stopping improves the performance of existing TTA approaches across multiple datasets, domain shifts, model architectures, and TTA losses.


title: The Galois group of a Special Group

abstract: In this ongoing work, we extend to a class of well-behaved pre-special hyperfields the work of J. Min\'a\v c and Spira (\cite{minac1996witt}) that describes a (pro-2)-group of a field extension that encodes the quadratic form theory of a given field $F$: in \cite{adem1999cohomology} it is shown that its associated cohomology ring contains a copy of the cohomology ring of the field $F$. Our construction, a contravariant functor into the category of "pointed" pro-2-groups, is essentially given by generators and relations of profinite-2-groups. We prove that such profinite groups $\mbox{Gal}(F)$ encode the space of orders of the special group canonically associated to the hyperfield $F$ and provide a criterion to detect when $F$ is formally real or not.


title: Non-Parametric Estimation of Multiple Periodic Components in Turkey's Electricity Consumption

abstract: Electric generation and consumption are an essential component of contemporary living, influencing diverse facets of our daily routines, convenience, and economic progress. There is a high demand for characterizing the periodic pattern of electricity consumption. VBPBB employs a bandpass filter aligned to retain the frequency of a PC component and eliminating interference from other components. This leads to a significant reduction in the size of bootstrapped confidence intervals. Furthermore, other PC bootstrap methods preserve one but not multiple periodically correlated components, resulting in superior performance compared to other methods by providing a more precise estimation of the sampling distribution for the desired characteristics. The study of the periodic means of Turkey electricity consumption using VBPBB is presented and compared with outcomes from alternative bootstrapping approaches. These findings offer significant evidence supporting the existence of daily, weekly, and annual PC patterns, along with information on their timing and confidence intervals for their effects. This information is valuable for enhancing predictions and preparations for future responses to electricity consumption.


title: Revisiting Categorical Color Perception in Scatterplots: Sequential, Diverging, and Categorical Palettes

abstract: Existing guidelines for categorical color selection are heuristic, often grounded in intuition rather than empirical studies of readers' abilities. While design conventions recommend palettes maximize hue differences, more recent exploratory findings indicate other factors, such as lightness, may play a role in effective categorical palette design. We conducted a crowdsourced experiment on mean value judgments in multi-class scatterplots using five color palette families--single-hue sequential, multi-hue sequential, perceptually-uniform multi-hue sequential, diverging, and multi-hue categorical--that differ in how they manipulate hue and lightness. Participants estimated relative mean positions in scatterplots containing 2 to 10 categories using 20 colormaps. Our results confirm heuristic guidance that hue-based categorical palettes are most effective. However, they also provide additional evidence that scalable categorical encoding relies on more than hue variance.


title: Understanding Language Modeling Paradigm Adaptations in Recommender Systems: Lessons Learned and Open Challenges

abstract: The emergence of Large Language Models (LLMs) has achieved tremendous success in the field of Natural Language Processing owing to diverse training paradigms that empower LLMs to effectively capture intricate linguistic patterns and semantic representations. In particular, the recent "pre-train, prompt and predict" training paradigm has attracted significant attention as an approach for learning generalizable models with limited labeled data. In line with this advancement, these training paradigms have recently been adapted to the recommendation domain and are seen as a promising direction in both academia and industry. This half-day tutorial aims to provide a thorough understanding of extracting and transferring knowledge from pre-trained models learned through different training paradigms to improve recommender systems from various perspectives, such as generality, sparsity, effectiveness and trustworthiness. In this tutorial, we first introduce the basic concepts and a generic architecture of the language modeling paradigm for recommendation purposes. Then, we focus on recent advancements in adapting LLM-related training strategies and optimization objectives for different recommendation tasks. After that, we will systematically introduce ethical issues in LLM-based recommender systems and discuss possible approaches to assessing and mitigating them. We will also summarize the relevant datasets, evaluation metrics, and an empirical study on the recommendation performance of training paradigms. Finally, we will conclude the tutorial with a discussion of open challenges and future directions.


title: Quantifying Uncertainty in Motion Prediction with Variational Bayesian Mixture

abstract: Safety and robustness are crucial factors in developing trustworthy autonomous vehicles. One essential aspect of addressing these factors is to equip vehicles with the capability to predict future trajectories for all moving objects in the surroundings and quantify prediction uncertainties. In this paper, we propose the Sequential Neural Variational Agent (SeNeVA), a generative model that describes the distribution of future trajectories for a single moving object. Our approach can distinguish Out-of-Distribution data while quantifying uncertainty and achieving competitive performance compared to state-of-the-art methods on the Argoverse 2 and INTERACTION datasets. Specifically, a 0.446 meters minimum Final Displacement Error, a 0.203 meters minimum Average Displacement Error, and a 5.35% Miss Rate are achieved on the INTERACTION test set. Extensive qualitative and quantitative analysis is also provided to evaluate the proposed model. Our open-source code is available at https://github.com/PurdueDigitalTwin/seneva.


title: A Bimanual Teleoperation Framework for Light Duty Underwater Vehicle-Manipulator Systems

abstract: In an effort to lower the barrier to entry in underwater manipulation, this paper presents an open-source, user-friendly framework for bimanual teleoperation of a light-duty underwater vehicle-manipulator system (UVMS). This framework allows for the control of the vehicle along with two manipulators and their end-effectors using two low-cost haptic devices. The UVMS kinematics are derived in order to create an independent resolved motion rate controller for each manipulator, which optimally controls the joint positions to achieve a desired end-effector pose. This desired pose is computed in real-time using a teleoperation controller developed to process the dual haptic device input from the user. A physics-based simulation environment is used to implement this framework for two example tasks as well as provide data for error analysis of user commands. The first task illustrates the functionality of the framework through motion control of the vehicle and manipulators using only the haptic devices. The second task is to grasp an object using both manipulators simultaneously, demonstrating precision and coordination using the framework. The framework code is available at https://github.com/stevens-armlab/uvms_bimanual_sim.


title: Accretion and Uneven Depletion of the Main Asteroid Belt

abstract: The main asteroid belt (MAB) is known to be primarily composed of objects from two distinct taxonomic classes, generically defined here as S- and C-complex. The former probably originated from the inner solar system (interior to Jupiter's orbit), while the latter probably from the outer solar system. Following this definition, (4) Vesta, a V-type residing in the inner MAB (a < 2.5 au), is the sole D > 500 km object akin to S-complex that potentially formed in-situ. This provides a useful constraint on the number of D > 500 km bodies that could have formed, or grown, within the primordial MAB. In this work we numerically simulate the accretion of objects in the MAB region during the time when gas in the protoplanetary disk still existed, while assuming different MAB primordial masses. We then accounted for the depletion of that population happening after gas disk dispersal. In our analysis, we subdivided the MAB into five sub-regions and showed that the depletion factor varies throughout the MAB. This results in uneven radial- and size-dependent depletion of the MAB. We show that the MAB primordial mass has to be $\lesssim$ 2.14$\times$10$^{-3}$ Earth masses. Larger primordial masses would lead to the accretion of tens-to-thousands of S-complex objects with D > 500 km in the MAB. Such large objects would survive depletion even in the outer sub-regions (a > 2.5 au), thus being inconsistent with observations. Our results also indicate that S-complex objects with D > 200-300 km, including (4) Vesta, are likely to be terrestrial planetesimals implanted into the MAB rather than formed in-situ.


title: Social Media Emotions and Market Behavior

abstract: I explore the relationship between investor emotions expressed on social media and asset prices. The field has seen a proliferation of models aimed at extracting firm-level sentiment from social media data, though the behavior of these models often remains uncertain. Against this backdrop, my study employs EmTract, an open-source emotion model, to test whether the emotional responses identified on social media platforms align with expectations derived from controlled laboratory settings. This step is crucial in validating the reliability of digital platforms in reflecting genuine investor sentiment. My findings reveal that firm-specific investor emotions behave similarly to lab experiments and can forecast daily asset price movements. These impacts are larger when liquidity is lower or short interest is higher. My findings on the persistent influence of sadness on subsequent returns, along with the insignificance of the one-dimensional valence metric, underscores the importance of dissecting emotional states. This approach allows for a deeper and more accurate understanding of the intricate ways in which investor sentiments drive market movements.


title: Some observations regarding the RBF-FD approximation accuracy dependence on stencil size

abstract: When solving partial differential equations on scattered nodes using the Radial Basis Function-generated Finite Difference (RBF-FD) method, one of the parameters that must be chosen is the stencil size. Focusing on Polyharmonic Spline RBFs with monomial augmentation, we observe that it affects the approximation accuracy in a particularly interesting way - the solution error oscillates under increasing stencil size. We find that we can connect this behaviour with the spatial dependence of the signed approximation error. Based on this observation we are able to introduce a numerical quantity that could indicate whether a given stencil size is locally optimal. This work is an extension of our ICCS 2023 conference paper.


title: Effect of State and Local Sexual Orientation Anti-Discrimination Laws on Labor Market Differentials

abstract: This paper presents the first quasi-experimental research examining the effect of both local and state anti-discrimination laws on sexual orientation on the labor supply and wages of lesbian, gay, and bisexual (LGB) workers. To do so, we use the American Community Survey data on household composition to infer sexual orientation and combine this with a unique panel dataset on local anti-discrimination laws. Using variation in law implementation across localities over time and between same-sex and different-sex couples, we find that anti-discrimination laws significantly reduce gaps in labor force participation rate, employment, and the wage gap for gay men relative to straight men. These laws also significantly reduce the labor force participation rate, employment, and wage premium for lesbian women relative to straight women. One explanation for the reduced labor supply and wage premium is that lesbian couples begin to have more children in response to the laws. Finally, we present evidence that state anti-discrimination laws significantly and persistently increased support for same-sex marriage. This research shows that anti-discrimination laws can be an effective policy tool for reducing labor market inequalities across sexual orientation and improving sentiment toward LGB Americans.


title: Optimization of resources for digital radio transmission over IBOC FM through max-min fairness

abstract: The equitable distribution of resources in a network is a complex process, considering that not all nodes have the same requirements, and the In-Band On-Channel (IBOC) hybrid transmission system is no exception. The IBOC system utilizes a hybrid in-band transmission to simultaneously broadcast analog and digital audio over the FM band. This article proposes the use of a Max-Min Fairness (MMF) algorithm, with a strategy to optimize resource allocation for IBOC FM transmission in a multiservice scenario. Additionally, the MMF algorithm offers low computational complexity for implementation in low-cost embedded systems, aiming to achieve fair resource distribution and provide adequate Quality of Service (QoS) levels for each node in the RF network, considering channel conditions and traffic types. The article explores a scenario under saturated traffic conditions to assess the optimization capabilities of the MMF algorithm under well-defined traffic and channel conditions. The evaluation process yielded highly favorable results, indicating that theMMF algorithm can be considered a viable alternative for bandwidth optimization in digital broadcasting over IBOC on FM with 95% confidence, and it holds potential for implementation in other digital broadcasting system.


title: Reevaluating the Origin of Detectable Cataclysmic Variables in Globular Clusters: Testing the Importance of Dynamics

abstract: Based on the current detectable cataclysmic variable (CV) population in Galactic globular clusters (GCs), we show that there is not a clear relation between the number of sources per unit of mass and the stellar encounter rate, the cluster mass, or the cluster central density. If any, only in the case of core-collapsed GCs could there be an anticorrelation with the stellar encounter rate. Our findings contrast with previous studies where clear positive correlations were identified. Our results suggest that correlations between faint X-ray sources, from which often conclusions for the CV population are drawn, and the GC parameters considered here, are likely influenced by other type of X-ray sources, including other types of compact binaries, which have X-ray luminosities similar to CVs. The findings presented here also suggest that the role of primordial systems is more important than previously believed and that dynamical formation has less influence in the current detectable CV population. The long-standing paradigm that GCs are efficient factories of CVs formed via dynamical interactions does not seem to be supported by current observations.


title: Asymptotic optimality of dynamic first-fit packing on the half-axis

abstract: We revisit a classical problem in dynamic storage allocation. Items arrive in a linear storage medium, modeled as a half-axis, at a Poisson rate $r$ and depart after an independent exponentially distributed unit mean service time. The arriving item sizes are assumed to be independent and identically distributed (i.i.d.) from a common distribution $H$. A widely employed algorithm for allocating the items is the ``first-fit'' discipline, namely, each arriving item is placed in the the left-most vacant interval large enough to accommodate it. In a seminal 1985 paper, Coffman, Kadota, and Shepp [6] proved that in the special case of unit length items (i.e. degenerate $H$), the first-fit algorithm is asymptotically optimal in the following sense: the ratio of expected empty space to expected occupied space tends towards $0$ as the occupied space tends towards infinity. In a sequel to [6], the authors of [5] conjectured that the first-fit discipline is also asymptotically optimal for non-degenerate $H$. In this paper we provide the first proof of first-fit asymptotic optimality for a non-degenerate distribution $H$, namely the case when items can be of sizes 1 and 2. Specifically, we prove that, under first-fit, the steady-state packing configuration, scaled down by $r$, converges in distribution to the optimal limiting packing configuration, i.e. the one with smaller items on the left, larger items on the right, and with no gaps between.


title: Learning to control non-equilibrium dynamics using local imperfect gradients

abstract: Standard approaches to controlling dynamical systems involve biologically implausible steps such as backpropagation of errors or intermediate model-based system representations. Recent advances in machine learning have shown that "imperfect" feedback of errors during training can yield test performance that is similar to using full backpropagated errors, provided that the two error signals are at least somewhat aligned. Inspired by such methods, we introduce an iterative, spatiotemporally local protocol to learn driving forces and control non-equilibrium dynamical systems using imperfect feedback signals. We present numerical experiments and theoretical justification for several examples. For systems in conservative force fields that are driven by external time-dependent protocols, our update rules resemble a dynamical version of contrastive divergence. We appeal to linear response theory to establish that our imperfect update rules are locally convergent for these conservative systems. For systems evolving under non-conservative dynamics, we derive a new theoretical result that makes possible the control of non-equilibrium steady-state probabilities through simple local update rules. Finally, we show that similar local update rules can also solve dynamical control problems for non-conservative systems, and we illustrate this in the non-trivial example of active nematics. Our updates allow learning spatiotemporal activity fields that pull topological defects along desired trajectories in the active nematic fluid. These imperfect feedback methods are information efficient and in principle biologically plausible, and they can help extend recent methods of decentralized training for physical materials into dynamical settings.


title: Language-Guided Instance-Aware Domain-Adaptive Panoptic Segmentation

abstract: The increasing relevance of panoptic segmentation is tied to the advancements in autonomous driving and AR/VR applications. However, the deployment of such models has been limited due to the expensive nature of dense data annotation, giving rise to unsupervised domain adaptation (UDA). A key challenge in panoptic UDA is reducing the domain gap between a labeled source and an unlabeled target domain while harmonizing the subtasks of semantic and instance segmentation to limit catastrophic interference. While considerable progress has been achieved, existing approaches mainly focus on the adaptation of semantic segmentation. In this work, we focus on incorporating instance-level adaptation via a novel instance-aware cross-domain mixing strategy IMix. IMix significantly enhances the panoptic quality by improving instance segmentation performance. Specifically, we propose inserting high-confidence predicted instances from the target domain onto source images, retaining the exhaustiveness of the resulting pseudo-labels while reducing the injected confirmation bias. Nevertheless, such an enhancement comes at the cost of degraded semantic performance, attributed to catastrophic forgetting. To mitigate this issue, we regularize our semantic branch by employing CLIP-based domain alignment (CDA), exploiting the domain-robustness of natural language prompts. Finally, we present an end-to-end model incorporating these two mechanisms called LIDAPS, achieving state-of-the-art results on all popular panoptic UDA benchmarks.


title: Learning Social Fairness Preferences from Non-Expert Stakeholder Opinions in Kidney Placement

abstract: Modern kidney placement incorporates several intelligent recommendation systems which exhibit social discrimination due to biases inherited from training data. Although initial attempts were made in the literature to study algorithmic fairness in kidney placement, these methods replace true outcomes with surgeons' decisions due to the long delays involved in recording such outcomes reliably. However, the replacement of true outcomes with surgeons' decisions disregards expert stakeholders' biases as well as social opinions of other stakeholders who do not possess medical expertise. This paper alleviates the latter concern and designs a novel fairness feedback survey to evaluate an acceptance rate predictor (ARP) that predicts a kidney's acceptance rate in a given kidney-match pair. The survey is launched on Prolific, a crowdsourcing platform, and public opinions are collected from 85 anonymous crowd participants. A novel social fairness preference learning algorithm is proposed based on minimizing social feedback regret computed using a novel logit-based fairness feedback model. The proposed model and learning algorithm are both validated using simulation experiments as well as Prolific data. Public preferences towards group fairness notions in the context of kidney placement have been estimated and discussed in detail. The specific ARP tested in the Prolific survey has been deemed fair by the participants.


title: Investigating two-dimensional adjoint QCD on the lattice

abstract: We present our investigations of SU($N$) adjoint QCD in two dimensions with one Majorana fermion on the lattice. We determine the relevant parameter range for the simulations with Wilson fermions and present results for Polyakov loop, chiral condensate, and string tension. In the theory with massive fermions, all observables we checked show qualitative agreement between numerical lattice data and theory, while the massless limit is more subtle since chiral and non-invertible symmetry of the continuum theory are explicitly broken by lattice regularization. In thermal compactification, we observe $N$ perturbative vacua for the holonomy potential at high-$T$ with instanton events connecting them, and a unique vacuum at low-$T$. At finite-$N$, this is a cross-over and it turns to a phase transition at large-$N$ thermodynamic limit. In circle compactification with periodic boundary conditions, we observe a unique center-symmetric minimum at any radius. In continuum, the instantons in the thermal case carry zero modes (for even $N$) and indeed, in the lattice simulations, we observe that chiral condensate is dominated by instanton centers, where zero modes are localized. We present lattice results on the issue of confinement vs. screening in the theory and comment on the roles of chiral symmetry and non-invertible symmetry.


title: WS$_2$ Monolayer Integration in a FAPbI$_3$-based Heterostructure

abstract: Incorporating a monolayer of WS$_2$ via interface engineering enhances the overall physical properties of a FAPbI3 perovskite based heterostructure. FAPbI$_3$/WS$_2$/TiO$_2$/ITO and FAPbI$_3$/TiO$_2$/ITO heterostructures were analyzed by UV-Vis spectroscopy, X-ray diffraction, scanning electron microscopy and atomic force microscopy. The configuration with WS$_2$ interlayer presents higher absorption in the visible region with a bandgap of {\aprox} 1.44 eV. WS$_2$ also enhances the deposition process of FAPbI$_3$, resulting in the formation of pure photoactive $\alpha$-phase without the non-photoactive $\delta$-phase nor residual plumbates. The incorporation of the monolayer improves the crystalline structure of the FAPbI$_3$, promoting a preferential growth in the [100] direction. The smooth surface of WS$_2$ favors a homogeneous morphology and an increase of the grain size to ~4.5 $\mu$m, the largest reported for similar structures. Furthermore, the work function obtained lets us propose an enhance an adequate energy band alignment between FAPbI$_3$ and the n-type layers for the electron flux to the cathode. These findings strongly suggest that the interfacial coupling of FAPbI$_3$/WS$_2$ could be a promising candidate in photovoltaic applications.


title: Scaling of quantum Fisher information for quantum exceptional point sensors

abstract: In recent years, significant progress has been made in utilizing the divergence of spectrum response rate at the exceptional point (EP) for sensing in classical systems, while the use and characterization of quantum EPs for sensing have been largely unexplored. For a quantum EP sensor, an important issue is the relation between the order of the quantum EP and the scaling of quantum Fisher information (QFI), an essential quantity for characterizing quantum sensors. Here we investigate multi-mode quadratic bosonic systems, which exhibit higher-order EP dynamics, but possess Hermitian Hamiltonians without Langevin noise, thus can be utilized for quantum sensing. We derive an exact analytic formula for the QFI, from which we establish a scaling relation between the QFI and the order of the EP. We apply the formula to study a three-mode EP sensor and a multi-mode bosonic Kitaev chain and show that the EP physics can significantly enhance the sensing sensitivity. Our work establishes the connection between two important fields: non-Hermitian EP dynamics and quantum sensing, and may find important applications in quantum information and quantum non-Hermitian physics.


title: TransformerLSR: Attentive Joint Model of Longitudinal Data, Survival, and Recurrent Events with Concurrent Latent Structure

abstract: In applications such as biomedical studies, epidemiology, and social sciences, recurrent events often co-occur with longitudinal measurements and a terminal event, such as death. Therefore, jointly modeling longitudinal measurements, recurrent events, and survival data while accounting for their dependencies is critical. While joint models for the three components exist in statistical literature, many of these approaches are limited by heavy parametric assumptions and scalability issues. Recently, incorporating deep learning techniques into joint modeling has shown promising results. However, current methods only address joint modeling of longitudinal measurements at regularly-spaced observation times and survival events, neglecting recurrent events. In this paper, we develop TransformerLSR, a flexible transformer-based deep modeling and inference framework to jointly model all three components simultaneously. TransformerLSR integrates deep temporal point processes into the joint modeling framework, treating recurrent and terminal events as two competing processes dependent on past longitudinal measurements and recurrent event times. Additionally, TransformerLSR introduces a novel trajectory representation and model architecture to potentially incorporate a priori knowledge of known latent structures among concurrent longitudinal variables. We demonstrate the effectiveness and necessity of TransformerLSR through simulation studies and analyzing a real-world medical dataset on patients after kidney transplantation.


title: Blessing of dimension in Bayesian inference on covariance matrices

abstract: Bayesian factor analysis is routinely used for dimensionality reduction in modeling of high-dimensional covariance matrices. Factor analytic decompositions express the covariance as a sum of a low rank and diagonal matrix. In practice, Gibbs sampling algorithms are typically used for posterior computation, alternating between updating the latent factors, loadings, and residual variances. In this article, we exploit a blessing of dimensionality to develop a provably accurate pseudo-posterior for the covariance matrix that bypasses the need for Gibbs or other variants of Markov chain Monte Carlo sampling. Our proposed Factor Analysis with BLEssing of dimensionality (FABLE) approach relies on a first-stage singular value decomposition (SVD) to estimate the latent factors, and then defines a jointly conjugate prior for the loadings and residual variances. The accuracy of the resulting pseudo-posterior for the covariance improves with increasing dimensionality. We show that FABLE has excellent performance in high-dimensional covariance matrix estimation, including producing well calibrated credible intervals, both theoretically and through simulation experiments. We also demonstrate the strength of our approach in terms of accurate inference and computational efficiency by applying it to a gene expression data set.


title: Time-harmonic wave propagation in junctions of two periodic half-spaces

abstract: We are interested in the Helmholtz equation in a junction of two periodic half-spaces. When the overall medium is periodic in the direction of the interface, Fliss and Joly (2019) proposed a method which consists in applying a partial Floquet-Bloch transform along the interface, to obtain a family of waveguide problems parameterized by the Floquet variable. In this paper, we consider two model configurations where the medium is no longer periodic in the direction of the interface. Inspired by the works of G\'erard-Varet and Masmoudi (2011, 2012), and Blanc, Le Bris, and Lions (2015), we use the fact that the overall medium has a so-called quasiperiodic structure, in the sense that it is the restriction of a higher dimensional periodic medium. Accordingly, the Helmholtz equation is lifted onto a higher dimensional problem with coefficients that are periodic along the interface. This periodicity property allows us to adapt the tools previously developed for periodic media. However, the augmented PDE is elliptically degenerate (in the sense of the principal part of its differential operator) and thus more delicate to analyse.


title: Asymmetric vertical transport in weakly forced shallow flows

abstract: We report on an investigation of the vertical transport of tracer particles released within a shallow, continuously-forced flow by means of numerical simulations. The investigation is motivated by the shallow flows encountered in many environmental situations and inspired by the laboratory experiments conducted in electromagnetically forced shallow fluid layers. The flow is confined to a thin fluid layer by stress-free top and no-slip bottom walls. The dynamics and the transport properties of the shallow flow are investigated under various flow conditions characterized by a Reynolds number related to the forcing, $Re_F$, and the aspect ratio of vertical and horizontal length scales $\delta$. The simulated shallow flows exhibit distinctive spatial distributions of vertical velocities: broader, weaker upwellings surrounded by narrower, stronger downwellings. These vertical flows are related to the horizontal flow structures, with updrafts occurring where the horizontal flow is vorticity-dominated, and the downdrafts where it is strain-dominated. The magnitude of the asymmetry in strength and size of the vertical flows and their correlation with horizontal structures depends on the flow conditions and significantly influences the vertical spreading of particles within the fluid volume. Under conditions leading to a large asymmetry, particles within updrafts are transported slowly upwards, while particles within downdrafts rapidly move downwards. In addition, particles are trapped for longer within the updrafts than downdrafts because of their correlation with vorticity-dominated regions. However, when the flow becomes fully three-dimensional and highly unsteady, this transport asymmetry subsides because the updrafts and downdrafts exhibit similar strength and size in such flow conditions. Consequently, similar amounts of particles are transported upwards and downwards at similar rates.


title: The Emergence of the Normal Distribution in Deterministic Chaotic Maps

abstract: The Central Limit Theorem states that, in the limit of a large number of terms, an appropriately scaled sum of independent random variables yields another random variable whose probability distribution tends to a stable distribution. The condition of independence, however, only holds in real systems as an approximation. To extend the theorem to more general situations, previous studies have derived a version of the Central Limit Theorem that also holds for variables that are not independent. Here, we present numerical results that characterize how convergence is attained when the variables being summed are deterministically related to one another by the recurrent application of an ergodic mapping. In all the explored cases, the convergence to the limit distribution is slower than for random sampling. Yet, the speed at which convergence is attained varies substantially from system to system, and these variations imply differences in the way information about the deterministic nature of the dynamics is progressively lost as the number of summands increases. Some of the identified factors in shaping the convergence process are the strength of mixing induced by the mapping and the shape of the marginal distribution of each variable, most particularly, the presence of divergences or fat tails.

categories: physics.data-an cond-mat.stat-mech math-ph math.MP math.ST stat.TH


title: SLS-BRD: A system-level approach to seeking generalised feedback Nash equilibria

abstract: This work proposes a policy learning algorithm for seeking generalised feedback Nash equilibria in $N_P$-players non-cooperative dynamic games. We consider linear-quadratic games with stochastic dynamics and design a best-response dynamics in which players update and communicate a parametrisation of their state-feedback policies. Our approach leverages the System Level Synthesis framework to formulate each player's update rule as the solution to a tractable robust optimisation problem. Under certain conditions, rates of convergence to a feedback Nash equilibrium can be established. The algorithm is showcased in exemplary problems ranging from the decentralised control of unstable systems to competition in oligopolistic markets.


title: Quantum Algorithm For Solving Nonlinear Algebraic Equations

abstract: Nonlinear equations are challenging to solve due to their inherently nonlinear nature. As analytical solutions typically do not exist, numerical methods have been developed to tackle their solutions. In this article, we give a quantum algorithm for solving a system of nonlinear algebraic equations, in which each equation is a multivariate polynomial of known coefficients. Building upon the classical Newton method and some recent works on quantum algorithm plus block encoding from the quantum singular value transformation, we show how to invert the Jacobian matrix to execute Newton's iterative method for solving nonlinear equations, where each contributing equation is a homogeneous polynomial of an even degree. A detailed analysis are then carried out to reveal that our method achieves polylogarithmic time in relative to the number of variables. Furthermore, the number of required qubits is logarithmic in the number of variables. In particular, we also show that our method can be modified with little effort to deal with polynomial of various types, thus implying the generality of our approach. Some examples coming from physical context, such as Gross-Pitaevski equation and Lotka-Volterra equations, involving nonlinear partial differential equations are provided to motivate the potential application, with a description on how to extend our algorithm with even less effort in such a scenario. Our work thus marks a further important step towards quantum advantage in nonlinear science, enabled by the framework of quantum singular value transformation.


abstract: In this paper we fully solve the Morita equivalence problem for symplectic reflection algebras associated to direct products of finite subgroups of $SL_2(\mathbb{C})$. Namely, given a pair of such symplectic reflection algebras $H_c, H_{c'}$,then $H_c$ is Morita equivalent to $H_c'$ if and only if they are related by a standard Morita equivalence. We also establish new cases for Morita classification problem for type A rational Cherednik algebras. Our approach crucially relies on the reduction modulo large primes.


title: Additive approximation algorithm for geodesic centers in $\delta$-hyperbolic graphs

abstract: For an integer $k\geq 1$, the objective of \textsc{$k$-Geodesic Center} is to find a set $\mathcal{C}$ of $k$ isometric paths such that the maximum distance between any vertex $v$ and $\mathcal{C}$ is minimised. Introduced by Gromov, \emph{$\delta$-hyperbolicity} measures how treelike a graph is from a metric point of view. Our main contribution in this paper is to provide an additive $O(\delta)$-approximation algorithm for \textsc{$k$-Geodesic Center} on $\delta$-hyperbolic graphs. On the way, we define a coarse version of the pairing property introduced by Gerstel \& Zaks (Networks, 1994) and show it holds for $\delta$-hyperbolic graphs. This result allows to reduce the \textsc{$k$-Geodesic Center} problem to its rooted counterpart, a main idea behind our algorithm. We also adapt a technique of Dragan \& Leitert, (TCS, 2017) to show that for every $k\geq 1$, $k$-\textsc{Geodesic Center} is NP-hard even on partial grids.


title: Agnostic Tomography of Stabilizer Product States

abstract: We define a quantum learning task called agnostic tomography, where given copies of an arbitrary state $\rho$ and a class of quantum states $\mathcal{C}$, the goal is to output a succinct description of a state that approximates $\rho$ at least as well as any state in $\mathcal{C}$ (up to some small error $\varepsilon$). This task generalizes ordinary quantum tomography of states in $\mathcal{C}$ and is more challenging because the learning algorithm must be robust to perturbations of $\rho$. We give an efficient agnostic tomography algorithm for the class $\mathcal{C}$ of $n$-qubit stabilizer product states. Assuming $\rho$ has fidelity at least $\tau$ with a stabilizer product state, the algorithm runs in time $n^{O(1 + \log(1/\tau))} / \varepsilon^2$. This runtime is quasipolynomial in all parameters, and polynomial if $\tau$ is a constant.


title: I Did Not Notice: A Comparison of Immersive Analytics with Augmented and Virtual Reality

abstract: Immersive environments enable users to engage in embodied interaction, enhancing the sensemaking processes involved in completing tasks such as immersive analytics. Previous comparative studies on immersive analytics using augmented and virtual realities have revealed that users employ different strategies for data interpretation and text-based analytics depending on the environment. Our study seeks to investigate how augmented and virtual reality influences sensemaking processes in quantitative immersive analytics. Our results, derived from a diverse group of participants, indicate that users demonstrate comparable performance in both environments. However, it was observed that users exhibit a higher tolerance for cognitive load in VR and travel further in AR. Based on our findings, we recommend providing users with the option to switch between AR and VR, thereby enabling them to select an environment that aligns with their preferences and task requirements.


title: Geometry from geodesics: fine-tuning Ehlers, Pirani, and Schild

abstract: Ehlers, Pirani, and Schild argued that measurements of timelike and null geodesics yield projective and Weyl connections, respectively, with compatibility giving an integrable Weyl geometry. We find greater freedom for both connections, including either a 1-parameter class of projective connections, or a conformal connection for timelike curves, and conformal symmetry for null curves. Examining the effect of every member of both the projective class and the conformal transformations on the curvature, torsion, nonmetricity, and metric, we find the changes from the original geometry. Forming invariant connections we compute both the projectively and conformally invariant forms of the curvature, torsion, and nometricity, showing that the projective and conformal tensors depend on the same gauge vector. We prove that the conditions for projective and conformal Ricci flatness imply each other and either reduces the geometry to the original form. The different transformations depend on the same monotonic, twice differentiable function on a region of spacetime. Existence of such a function requires a region foliated by order isomorphic, totally ordered, twice differentiable timelike curves in a necessarily Lorentzian geometry. To find a geometry consistent with the allowed symmetry, we develop the real, linear, 6-dim representation of the conformal connection. Taking the simplest form of the spacetime action using this connection, we show that reductions of the system lead us back to an integrable Weyl geometry.


title: Accounting for Hysteresis in the Forward Kinematics of Nonlinearly-Routed Tendon-Driven Continuum Robots via a Learned Deep Decoder Network

abstract: Tendon-driven continuum robots have been gaining popularity in medical applications due to their ability to curve around complex anatomical structures, potentially reducing the invasiveness of surgery. However, accurate modeling is required to plan and control the movements of these flexible robots. Physics-based models have limitations due to unmodeled effects, leading to mismatches between model prediction and actual robot shape. Recently proposed learning-based methods have been shown to overcome some of these limitations but do not account for hysteresis, a significant source of error for these robots. To overcome these challenges, we propose a novel deep decoder neural network that predicts the complete shape of tendon-driven robots using point clouds as the shape representation, conditioned on prior configurations to account for hysteresis. We evaluate our method on a physical tendon-driven robot and show that our network model accurately predicts the robot's shape, significantly outperforming a state-of-the-art physics-based model and a learning-based model that does not account for hysteresis.


title: Photochemistry upon charge separation in triphenylamine derivatives from fs to $\mathrm{\mu}$s

abstract: Quantum chemical methods and time-resolved laser spectroscopy are employed to elucidate ultrafast charge separation processes in triphenylamine (TPA) derivatives upon photoexcitation. When changing the ambient solvent from generic ones to those capable of accepting electrons, such as chloroform, a vastly extended and multifaceted photochemistry is observed. Following the initial excitation, two concurrent charge transfer processes are identified. Firstly, when the TPA derivative and solvent molecules are correctly positioned, an electron transfer to the solvent molecule with immediate charge separation takes place. Consequently, this process gives rise to the formation of the corresponding radical cation of the TPA derivative. This highly reactive species can subsequently combine with other TPA derivative molecules to yield dimeric species. Secondly, when the molecular positioning upon photoexcitation is not optimal, relaxation back to the $\mathrm{S_1}$ state occurs. From this state, an electron transfer process leads to the formation of a charge transfer complex. In this complex, the negatively charged solvent molecule remains closely associated with the positively charged TPA derivative. Within 30 picoseconds, the charges within this complex recombine, yielding a triplet state. This transition to the triplet state is driven by a lower reaction barrier for charge separation compared to the formation of the singlet state.


title: PRobELM: Plausibility Ranking Evaluation for Language Models

abstract: This paper introduces PRobELM (Plausibility Ranking Evaluation for Language Models), a benchmark designed to assess language models' ability to discern more plausible from less plausible scenarios through their parametric knowledge. While benchmarks such as TruthfulQA emphasise factual accuracy or truthfulness, and others such as COPA explore plausible scenarios without explicitly incorporating world knowledge, PRobELM seeks to bridge this gap by evaluating models' capabilities to prioritise plausible scenarios that leverage world knowledge over less plausible alternatives. This design allows us to assess the potential of language models for downstream use cases such as literature-based discovery where the focus is on identifying information that is likely but not yet known. Our benchmark is constructed from a dataset curated from Wikidata edit histories, tailored to align the temporal bounds of the training data for the evaluated models. PRobELM facilitates the evaluation of language models across multiple prompting types, including statement, text completion, and question-answering. Experiments with 10 models of various sizes and architectures on the relationship between model scales, training recency, and plausibility performance, reveal that factual accuracy does not directly correlate with plausibility performance and that up-to-date training data enhances plausibility assessment across different model architectures.


title: Effective Lymph Nodes Detection in CT Scans Using Location Debiased Query Selection and Contrastive Query Representation in Transformer

abstract: Lymph node (LN) assessment is a critical, indispensable yet very challenging task in the routine clinical workflow of radiology and oncology. Accurate LN analysis is essential for cancer diagnosis, staging, and treatment planning. Finding scatteredly distributed, low-contrast clinically relevant LNs in 3D CT is difficult even for experienced physicians under high inter-observer variations. Previous automatic LN detection works typically yield limited recall and high false positives (FPs) due to adjacent anatomies with similar image intensities, shapes, or textures (vessels, muscles, esophagus, etc). In this work, we propose a new LN DEtection TRansformer, named LN-DETR, to achieve more accurate performance. By enhancing the 2D backbone with a multi-scale 2.5D feature fusion to incorporate 3D context explicitly, more importantly, we make two main contributions to improve the representation quality of LN queries. 1) Considering that LN boundaries are often unclear, an IoU prediction head and a location debiased query selection are proposed to select LN queries of higher localization accuracy as the decoder query's initialization. 2) To reduce FPs, query contrastive learning is employed to explicitly reinforce LN queries towards their best-matched ground-truth queries over unmatched query predictions. Trained and tested on 3D CT scans of 1067 patients (with 10,000+ labeled LNs) via combining seven LN datasets from different body parts (neck, chest, and abdomen) and pathologies/cancers, our method significantly improves the performance of previous leading methods by > 4-5% average recall at the same FP rates in both internal and external testing. We further evaluate on the universal lesion detection task using NIH DeepLesion benchmark, and our method achieves the top performance of 88.46% averaged recall across 0.5 to 4 FPs per image, compared with other leading reported results.


title: CantTalkAboutThis: Aligning Language Models to Stay on Topic in Dialogues

abstract: Recent advancements in instruction-tuning datasets have predominantly focused on specific tasks like mathematical or logical reasoning. There has been a notable gap in data designed for aligning language models to maintain topic relevance in conversations - a critical aspect for deploying chatbots to production. We introduce the CantTalkAboutThis dataset to help language models remain focused on the subject at hand during task-oriented interactions. It consists of synthetic dialogues on a wide range of conversation topics from different domains. These dialogues are interspersed with distractor turns that intentionally divert the chatbot from the predefined topic. Fine-tuning language models on this dataset helps make them resilient to deviating from the role assigned and improves their ability to maintain topical coherence compared to general-purpose instruction-tuned LLMs like GPT-4-turbo and Mixtral-Instruct. Additionally, preliminary observations suggest that training models on this dataset also enhance their performance on fine-grained instruction following tasks, including safety alignment.


title: The Critical Mass Ratio for W UMa-type Contact Binary Systems

abstract: Contact binaries are close binary systems in which both components fill their inner Roche lobes so that the stars are in direct contact and in potential mass and energy exchange. The most common such systems of low-mass are the so-called W UMa-type. In the last few years, there is a growing interest of the astronomical community in stellar mergers, primarily due to the detection of gravitational waves (mergers of black holes and neutron stars), but also because of an alternative model for type Ia supernovae (merger of two white dwarfs), which are again particularly important in cosmology where they played an important role in the discovery of dark energy and the accelerated expansion of the Universe. In that sense, contact systems of W UMa-type with extremely low mass ratio are especially interesting because there are indications that in their case, too, stars can merge and possible form fast-rotating stars such as FC Com stars and the blue-stragglers, and (luminous) red novae such as V1309 Sco. Namely, previous theoretical research has shown that in the cases when the orbital angular momentum of the system is only about three times larger than the rotational angular momentum of the primary, a tidal Darwin's instability occurs, the components can no longer remain in synchronous rotation, orbit continue to shrink fast and they finally merge into a single star. The above stability condition for contact systems can be linked to some critical mass ratio below which we expect a system to be unstable. We give an overview of this condition and show how it can be used to identify potential mergers. Finally, we discuss a number of known extreme mass ratio binaries from the literature and prospect for future research on this topic.


title: Relativistic generalised uncertainty and the corrected vacuum energy

abstract: In this short paper we make use of the recent covariant extension of the generalised uncertainty principle to study the corrections to the vacuum energy of the simplest scalar quantum field theory. We then calculate the modifications to the Casimir effect that such a correction to the vacuum energy would bring about. We emphasise that these corrections are indeed physical.


title: An Investigation into Misuse of Java Security APIs by Large Language Models

abstract: The increasing trend of using Large Language Models (LLMs) for code generation raises the question of their capability to generate trustworthy code. While many researchers are exploring the utility of code generation for uncovering software vulnerabilities, one crucial but often overlooked aspect is the security Application Programming Interfaces (APIs). APIs play an integral role in upholding software security, yet effectively integrating security APIs presents substantial challenges. This leads to inadvertent misuse by developers, thereby exposing software to vulnerabilities. To overcome these challenges, developers may seek assistance from LLMs. In this paper, we systematically assess ChatGPT's trustworthiness in code generation for security API use cases in Java. To conduct a thorough evaluation, we compile an extensive collection of 48 programming tasks for 5 widely used security APIs. We employ both automated and manual approaches to effectively detect security API misuse in the code generated by ChatGPT for these tasks. Our findings are concerning: around 70% of the code instances across 30 attempts per task contain security API misuse, with 20 distinct misuse types identified. Moreover, for roughly half of the tasks, this rate reaches 100%, indicating that there is a long way to go before developers can rely on ChatGPT to securely implement security API code.


title: Magnetic-field oscillation model of pulsar radio emission: prediction of an observable effect

abstract: Since the discovery of pulsars, the rotating-lighthouse model has been the choice of model to explain the radiation pulsation of pulsars. After discovering that some main sequence stars (e.g., CU Virginis) and ultracool dwarfs (e.g., TVLM 513-46546) also behave like pulsars, the lighthouse model was again adopted to explain their pulse signals. Our research found that if we use the magnetic-field oscillation (MO) model, we can explain the pulse radiation results better regardless of whether its source is a neutron star, a main-sequence star or an ultracool dwarf. We propose a verifiable prediction that can be used to evaluate the MO model. Our prediction is that there is a 90 degree phase lag between the magnetic field and radio signal of TVLM 513-46546, and the zero-crossing point of the magnetic field is the moment when the direction of the light's circular polarization is reversed. No new observations are needed to check this prediction, but certain existing data needs to be re-mined.


title: Parametricity via Cohesion

abstract: Parametricity is a key metatheoretic property of type systems, which implies strong uniformity & modularity properties of the structure of types within systems possessing it. In recent years, various systems of dependent type theory have emerged with the aim of expressing such parametric reasoning in their internal logic, toward the end of solving various problems arising from the complexity of higher-dimensional coherence conditions in type theory. This paper presents a first step toward the unification, simplification, and extension of these various methods for internalizing parametricity. Specifically, I argue that there is an essentially modal aspect of parametricity, which is intimately connected with the category-theoretic concept of cohesion. On this basis, I describe a general categorical semantics for modal parametricity, develop a corresponding framework of axioms (with computational interpretations) in dependent type theory that can be used to internally represent and reason about such parametricity, and show this in practice by implementing these axioms in Agda and using them to verify parametricity theorems therein. I then demonstrate the utility of these axioms in managing the complexity of higher-dimensional coherence by deriving induction principles for higher inductive types, and in closing, I sketch the outlines of a more general synthetic theory of parametricity, with applications in domains ranging from homotopy type theory to the analysis of program modules.


title: Integral non-group-theoretical modular categories of dimension $p^2q^2$

abstract: We construct all integral non-group-theoretical modular categories of dimension $p^2q^2$, where $p$ and $q$ are distinct prime numbers, establishing that a necessary and sufficient condition for their existence is that $p \mid q+1$, and their rank is $p^2 + \frac{q^2 - 1}{p}$.


title: Uniform Memory Retrieval with Larger Capacity for Modern Hopfield Models

abstract: We propose a two-stage memory retrieval dynamics for modern Hopfield models, termed $\mathtt{U\text{-}Hop}$, with enhanced memory capacity. Our key contribution is a learnable feature map $\Phi$ which transforms the Hopfield energy function into kernel space. This transformation ensures convergence between the local minima of energy and the fixed points of retrieval dynamics within the kernel space. Consequently, the kernel norm induced by $\Phi$ serves as a novel similarity measure. It utilizes the stored memory patterns as learning data to enhance memory capacity across all modern Hopfield models. Specifically, we accomplish this by constructing a separation loss $\mathcal{L}_\Phi$ that separates the local minima of kernelized energy by separating stored memory patterns in kernel space. Methodologically, $\mathtt{U\text{-}Hop}$ memory retrieval process consists of: (Stage I) minimizing separation loss for a more uniform memory (local minimum) distribution, followed by (Stage II) standard Hopfield energy minimization for memory retrieval. This results in a significant reduction of possible metastable states in the Hopfield energy function, thus enhancing memory capacity by preventing memory confusion. Empirically, with real-world datasets, we demonstrate that $\mathtt{U\text{-}Hop}$ outperforms all existing modern Hopfield models and state-of-the-art similarity measures, achieving substantial improvements in both associative memory retrieval and deep learning tasks. Code is available at https://github.com/MAGICS-LAB/UHop ; future updates are on arXiv:2404.03827


title: Outlier-Efficient Hopfield Layers for Large Transformer-Based Models

abstract: We introduce an Outlier-Efficient Modern Hopfield Model (termed $\mathrm{OutEffHop}$) and use it to address the outlier inefficiency problem of {training} gigantic transformer-based models. Our main contribution is a novel associative memory model facilitating \textit{outlier-efficient} associative memory retrievals. Interestingly, this memory model manifests a model-based interpretation of an outlier-efficient attention mechanism (${\rm Softmax}_1$): it is an approximation of the memory retrieval process of $\mathrm{OutEffHop}$. Methodologically, this allows us to introduce novel outlier-efficient Hopfield layers as powerful alternatives to traditional attention mechanisms, with superior post-quantization performance. Theoretically, the Outlier-Efficient Modern Hopfield Model retains and improves the desirable properties of standard modern Hopfield models, including fixed point convergence and exponential storage capacity. Empirically, we demonstrate the efficacy of the proposed model across large-scale transformer-based and Hopfield-based models (including BERT, OPT, ViT, and STanHop-Net), benchmarking against state-of-the-art methods like $\mathtt{Clipped\_Softmax}$ and $\mathtt{Gated\_Attention}$. Notably, $\mathrm{OutEffHop}$ achieves an average reduction of 22+\% in average kurtosis and 26+\% in the maximum infinity norm of model outputs across four models. Code is available at \href{https://github.com/MAGICS-LAB/OutEffHop}{GitHub}; models are on \href{https://huggingface.co/collections/magicslabnu/outeffhop-6610fcede8d2cda23009a98f}{Hugging Face Hub}; future updates are on \href{https://arxiv.org/abs/2404.03828}{arXiv}.


title: Spin dynamics and possible topological magnons in non-stoichiometric pyrochlore iridate Tb$_2$Ir$_2$O$_7$ studied by RIXS

abstract: We report a resonant inelastic X-ray scattering study on a single crystal of a non-stoichiometric pyrochlore iridate Tb$_{2+x}$Ir$_{2-x}$O$_{7-y}$ ($x \simeq 0.25$) that magnetically orders at $T_{\rm{N}}\simeq 50$ K. We find that the strength of the spin-orbit coupling and the trigonal distortion of the IrO$_6$ octahedra are comparable with the ones obtained in other pyrochlore iridates. We observe a propagating gapped magnon mode at low energy, and model it using a Hamiltonian consisting of a Heisenberg exchange [$J = 16.2(9)$ meV] and Dzyaloshinskii-Moriya interactions [$D = 5.2(3)$ meV], which shows the robustness of interactions despite Tb-stuffing at the Ir-site. Strikingly, the ratio $D/J = 0.32(3)$ supports possible non-trivial topological magnon band crossing. This material may thus host coexisting fermionic and bosonic topology, with potential for manipulating electronic and magnonic topological bands thanks to the $d-f$ interaction.


title: BiSHop: Bi-Directional Cellular Learning for Tabular Data with Generalized Sparse Modern Hopfield Model

abstract: We introduce the \textbf{B}i-Directional \textbf{S}parse \textbf{Hop}field Network (\textbf{BiSHop}), a novel end-to-end framework for deep tabular learning. BiSHop handles the two major challenges of deep tabular learning: non-rotationally invariant data structure and feature sparsity in tabular data. Our key motivation comes from the recent established connection between associative memory and attention mechanisms. Consequently, BiSHop uses a dual-component approach, sequentially processing data both column-wise and row-wise through two interconnected directional learning modules. Computationally, these modules house layers of generalized sparse modern Hopfield layers, a sparse extension of the modern Hopfield model with adaptable sparsity. Methodologically, BiSHop facilitates multi-scale representation learning, capturing both intra-feature and inter-feature interactions, with adaptive sparsity at each scale. Empirically, through experiments on diverse real-world datasets, we demonstrate that BiSHop surpasses current SOTA methods with significantly less HPO runs, marking it a robust solution for deep tabular learning.


title: SleepVST: Sleep Staging from Near-Infrared Video Signals using Pre-Trained Transformers

abstract: Advances in camera-based physiological monitoring have enabled the robust, non-contact measurement of respiration and the cardiac pulse, which are known to be indicative of the sleep stage. This has led to research into camera-based sleep monitoring as a promising alternative to "gold-standard" polysomnography, which is cumbersome, expensive to administer, and hence unsuitable for longer-term clinical studies. In this paper, we introduce SleepVST, a transformer model which enables state-of-the-art performance in camera-based sleep stage classification (sleep staging). After pre-training on contact sensor data, SleepVST outperforms existing methods for cardio-respiratory sleep staging on the SHHS and MESA datasets, achieving total Cohen's kappa scores of 0.75 and 0.77 respectively. We then show that SleepVST can be successfully transferred to cardio-respiratory waveforms extracted from video, enabling fully contact-free sleep staging. Using a video dataset of 50 nights, we achieve a total accuracy of 78.8\% and a Cohen's $\kappa$ of 0.71 in four-class video-based sleep staging, setting a new state-of-the-art in the domain.


title: Light-element and purely charge-based topological materials

abstract: We examine a class of Hamiltonians characterized by interatomic, interorbital even-odd parity hybridization as a model for a family of topological insulators without the need for spin-orbit coupling. Non-trivial properties of these materials are exemplified by studying the topologically-protected edge states of s-p hybridized alkali and alkaline earth atoms in one and two-dimensional lattices. In 1D the topological features are analogous to the canonical Su-Schrieffer-Heeger model but, remarkably, occur in the absence of dimerization. Alkaline earth chains, with Be standing out due to its gap size and near particle-hole symmetry, are of particular experimental interest since their Fermi energy without doping lies directly at the level of topological edge stats. Similar physics is demonstrated to occur in a 2D honeycomb lattice system of s-p bonded atoms, where dispersive edge states emerge. Lighter elements are predicted using this model to host topological states in contrast to spin-orbit coupling-induced band inversion favoring heaving atoms.


title: An ExplainableFair Framework for Prediction of Substance Use Disorder Treatment Completion

abstract: Fairness of machine learning models in healthcare has drawn increasing attention from clinicians, researchers, and even at the highest level of government. On the other hand, the importance of developing and deploying interpretable or explainable models has been demonstrated, and is essential to increasing the trustworthiness and likelihood of adoption of these models. The objective of this study was to develop and implement a framework for addressing both these issues - fairness and explainability. We propose an explainable fairness framework, first developing a model with optimized performance, and then using an in-processing approach to mitigate model biases relative to the sensitive attributes of race and sex. We then explore and visualize explanations of the model changes that lead to the fairness enhancement process through exploring the changes in importance of features. Our resulting-fairness enhanced models retain high sensitivity with improved fairness and explanations of the fairness-enhancement that may provide helpful insights for healthcare providers to guide clinical decision-making and resource allocation.


title: Fast k-connectivity Restoration in Multi-Robot Systems for Robust Communication Maintenance

abstract: Maintaining a robust communication network plays an important role in the success of a multi-robot team jointly performing an optimization task. A key characteristic of a robust cooperative multi-robot system is the ability to repair the communication topology in the case of robot failure. In this paper, we focus on the Fast k-connectivity Restoration (FCR) problem, which aims to repair a network to make it k-connected with minimum robot movement. We develop a Quadratically Constrained Program (QCP) formulation of the FCR problem, which provides a way to optimally solve the problem, but cannot handle large instances due to high computational overhead. We therefore present a scalable algorithm, called EA-SCR, for the FCR problem using graph theoretic concepts. By conducting empirical studies, we demonstrate that the EA-SCR algorithm performs within 10 percent of the optimal while being orders of magnitude faster. We also show that EA-SCR outperforms existing solutions by 30 percent in terms of the FCR distance metric.


title: Quantile-respectful density estimation based on the Harrell-Davis quantile estimator

abstract: Traditional density and quantile estimators are often inconsistent with each other. Their simultaneous usage may lead to inconsistent results. To address this issue, we propose a novel smooth density estimator that is naturally consistent with the Harrell-Davis quantile estimator. We also provide a jittering implementation to support discrete-continuous mixture distributions.


title: PARIS3D: Reasoning-based 3D Part Segmentation Using Large Multimodal Model

abstract: Recent advancements in 3D perception systems have significantly improved their ability to perform visual recognition tasks such as segmentation. However, these systems still heavily rely on explicit human instruction to identify target objects or categories, lacking the capability to actively reason and comprehend implicit user intentions. We introduce a novel segmentation task known as reasoning part segmentation for 3D objects, aiming to output a segmentation mask based on complex and implicit textual queries about specific parts of a 3D object. To facilitate evaluation and benchmarking, we present a large 3D dataset comprising over 60k instructions paired with corresponding ground-truth part segmentation annotations specifically curated for reasoning-based 3D part segmentation. We propose a model that is capable of segmenting parts of 3D objects based on implicit textual queries and generating natural language explanations corresponding to 3D object segmentation requests. Experiments show that our method achieves competitive performance to models that use explicit queries, with the additional abilities to identify part concepts, reason about them, and complement them with world knowledge. Our source code, dataset, and trained models are available at https://github.com/AmrinKareem/PARIS3D.


title: Inference for non-stationary time series quantile regression with inequality constraints

abstract: We consider parameter inference for linear quantile regression with non-stationary predictors and errors, where the regression parameters are subject to inequality constraints. We show that the constrained quantile coefficient estimators are asymptotically equivalent to the metric projections of the unconstrained estimator onto the constrained parameter space. Utilizing a geometry-invariant property of this projection operation, we propose inference procedures - the Wald, likelihood ratio, and rank-based methods - that are consistent regardless of whether the true parameters lie on the boundary of the constrained parameter space. We also illustrate the advantages of considering the inequality constraints in analyses through simulations and an application to an electricity demand dataset.


title: A Block-Coordinate Descent EMO Algorithm: Theoretical and Empirical Analysis

abstract: We consider whether conditions exist under which block-coordinate descent is asymptotically efficient in evolutionary multi-objective optimization, addressing an open problem. Block-coordinate descent, where an optimization problem is decomposed into $k$ blocks of decision variables and each of the blocks is optimized (with the others fixed) in a sequence, is a technique used in some large-scale optimization problems such as airline scheduling, however its use in multi-objective optimization is less studied. We propose a block-coordinate version of GSEMO and compare its running time to the standard GSEMO algorithm. Theoretical and empirical results on a bi-objective test function, a variant of LOTZ, serve to demonstrate the existence of cases where block-coordinate descent is faster. The result may yield wider insights into this class of algorithms.


title: A Complete Mathematical Model For Trichoderma Fungi Kinetics

abstract: We develop an unstructured mathematical model describing the growth kinetics of the Trichoderma fungus and the production of enzymes (cellulase) by degradation of a substrate (cellulose) in the rhizosphere. We integrate into this model the hydrolysis step of the organic matter and analyze the asymptotic behaviour of the obtained system. We show that our system evolves towards a global attractor consisting of infinite non-hyperbolic equilibria.


title: FarView: An In-Situ Manufactured Lunar Far Side Radio Array Concept for 21-cm Dark Ages Cosmology

abstract: FarView is an early-stage concept for a large, low-frequency radio observatory, manufactured in-situ on the lunar far side using metals extracted from the lunar regolith. It consists of 100,000 dipole antennas in compact subarrays distributed over a large area but with empty space between subarrays in a core-halo structure. FarView covers a total area of ~200 km2, has a dense core within the inner ~36 km2, and a ~power-law falloff of antenna density out to ~14 km from the center. With this design, it is relatively easy to identify multiple viable build sites on the lunar far side. The science case for FarView emphasizes the unique capabilities to probe the unexplored Cosmic Dark Ages - identified by the 2020 Astrophysics Decadal Survey as the discovery area for cosmology. FarView will deliver power spectra and tomographic maps tracing the evolution of the Universe from before the birth of the first stars to the beginning of Cosmic Dawn, and potentially provide unique insights into dark matter, early dark energy, neutrino masses, and the physics of inflation. What makes FarView feasible and affordable in the timeframe of the 2030s is that it is manufactured in-situ, utilizing space industrial technologies. This in-situ manufacturing architecture utilizes Earth-built equipment that is transported to the lunar surface to extract metals from the regolith and will use those metals to manufacture most of the array components: dipole antennas, power lines, and silicon solar cell power systems. This approach also enables a long functional lifetime, by permitting servicing and repair of the observatory. The full 100,000 dipole FarView observatory will take 4 - 8 years to build, depending on the realized performance of the manufacturing elements and the lunar delivery scenario.


title: Integral closure and local cohomology

abstract: Let $A$ be a Noetherian ring and let $I$ be an ideal in $A$. Let $\mathcal{F} = \{ J_n \}_{n \geq 0}$ be a multiplicative filtration of ideals in $A$ such that $\mathcal{R}(\mathcal{F}) = \bigoplus_{n \geq 0} J_n$ is a finitely generated $A$-algebra. Let $\mathcal{R} = A[It]$ and assume $I^n \subseteq J_n$ for all $n \geq 1$. We show the following two assertions are equivalent: (1) For all $i \geq 0$ we have $H^i_{\mathcal{R}_+}(\mathcal{R}(\mathcal{F}))_n = 0$ for all $n \gg 0$. (2) $J_n \subseteq \overline{I^n}$ for all $n \geq 1$. Here $\overline{I^n}$ is the integral closure of $I^n$.


title: The Low-Degree Hardness of Finding Large Independent Sets in Sparse Random Hypergraphs

abstract: We study the algorithmic task of finding large independent sets in Erdos-Renyi $r$-uniform hypergraphs on $n$ vertices having average degree $d$. Krivelevich and Sudakov showed that the maximum independent set has density $\left(\frac{r\log d}{(r-1)d}\right)^{1/(r-1)}$. We show that the class of low-degree polynomial algorithms can find independent sets of density $\left(\frac{\log d}{(r-1)d}\right)^{1/(r-1)}$ but no larger. This extends and generalizes earlier results of Gamarnik and Sudan, Rahman and Virag, and Wein on graphs, and answers a question of Bal and Bennett. We conjecture that this statistical-computational gap holds for this problem. Additionally, we explore the universality of this gap by examining $r$-partite hypergraphs. A hypergraph $H=(V,E)$ is $r$-partite if there is a partition $V=V_1\cup\cdots\cup V_r$ such that each edge contains exactly one vertex from each set $V_i$. We consider the problem of finding large balanced independent sets (independent sets containing the same number of vertices in each partition) in random $r$-partite hypergraphs with $n$ vertices in each partition and average degree $d$. We prove that the maximum balanced independent set has density $\left(\frac{r\log d}{(r-1)d}\right)^{1/(r-1)}$ asymptotically. Furthermore, we prove an analogous low-degree computational threshold of $\left(\frac{\log d}{(r-1)d}\right)^{1/(r-1)}$. Our results recover and generalize recent work of Perkins and the second author on bipartite graphs. While the graph case has been extensively studied, this work is the first to consider statistical-computational gaps of optimization problems on random hypergraphs. Our results suggest that these gaps persist for larger uniformities as well as across many models. A somewhat surprising aspect of the gap for balanced independent sets is that the algorithm achieving the lower bound is a simple degree-1 polynomial.


title: Scaling Motion Forecasting Models with Ensemble Distillation

abstract: Motion forecasting has become an increasingly critical component of autonomous robotic systems. Onboard compute budgets typically limit the accuracy of real-time systems. In this work we propose methods of improving motion forecasting systems subject to limited compute budgets by combining model ensemble and distillation techniques. The use of ensembles of deep neural networks has been shown to improve generalization accuracy in many application domains. We first demonstrate significant performance gains by creating a large ensemble of optimized single models. We then develop a generalized framework to distill motion forecasting model ensembles into small student models which retain high performance with a fraction of the computing cost. For this study we focus on the task of motion forecasting using real world data from autonomous driving systems. We develop ensemble models that are very competitive on the Waymo Open Motion Dataset (WOMD) and Argoverse leaderboards. From these ensembles, we train distilled student models which have high performance at a fraction of the compute costs. These experiments demonstrate distillation from ensembles as an effective method for improving accuracy of predictive models for robotic systems with limited compute budgets.


title: $\Pi_{2}^{P}$ vs PSpace Dichotomy for the Quantified Constraint Satisfaction Problem

abstract: The Quantified Constraint Satisfaction Problem is the problem of evaluating a sentence with both quantifiers, over relations from some constraint language, with conjunction as the only connective. We show that for any constraint language on a finite domain the Quantified Constraint Satisfaction Problem is either in $\Pi_{2}^{P}$, or PSpace-complete. Additionally, we build a constraint language on a 6-element domain such that the Quantified Constraint Satisfaction Problem over this language is $\Pi_{2}^{P}$-complete.


title: Buck You: Designing Easy-to-Onboard Blockchain Applications with Zero-Knowledge Login and Sponsored Transactions on Sui

abstract: In this paper, we developed a blockchain application to demonstrate the functionality of Sui's recent innovations: Zero Knowledge Login and Sponsored Transactions. Zero Knowledge Login allows users to create and access their blockchain wallets just with their OAuth accounts (e.g., Google, Facebook, Twitch), while Sponsored Transactions eliminate the need for users to prepare transaction fees, as they can delegate fees to sponsors' accounts. Additionally, thanks to Sui's Storage Rebate feature, sponsors in Sponsored Transactions can profit from the sponsorship, achieving a win-win and sustainable service model. Zero Knowledge Login and Sponsored Transactions are pivotal in overcoming key challenges novice blockchain users face, particularly in managing private keys and depositing initial transaction fees. By addressing these challenges in the user experience of blockchain, Sui makes the blockchain more accessible and engaging for novice users and paves the way for the broader adoption of blockchain applications in everyday life.


title: Spin fluctuations in the ultranodal superconducting state of Fe(Se,S)

abstract: The iron-based superconductor FeSe isovalently substituted with S displays an abundance of remarkable phenomena that have not been fully understood, at the center of which are apparent zero-energy excitations in the superconducting state in the tetragonal phase. The phenomenology has been generally consistent with the proposal of the so-called ultranodal states where Bogoliubov Fermi surfaces are present. Recently, nuclear magnetic resonance measurements have seen unusually large upturns in the relaxation rate as temperature decreases to nearly zero in these systems, calling for theoretical investigations. In this paper, we calculate the spin susceptibility of an ultranodal superconductor including correlation effects within the random phase approximation. Although the non-interacting mean-field calculation rarely gives an upturn in the low temperature relaxation rate within our model, we found that correlation strongly enhances scattering between coherent parts of the Bogoliubov Fermi surface, resulting in robust upturns when the interaction is strong. Our results suggest that in addition to the presence of Bogoliubov Fermi surfaces, correlation and multiband physics also play important roles in the system's low energy excitations.


title: Optimal quantile estimation: beyond the comparison model

abstract: Estimating quantiles is one of the foundational problems of data sketching. Given $n$ elements $x_1, x_2, \dots, x_n$ from some universe of size $U$ arriving in a data stream, a quantile sketch estimates the rank of any element with additive error at most $\varepsilon n$. A low-space algorithm solving this task has applications in database systems, network measurement, load balancing, and many other practical scenarios. Current quantile estimation algorithms described as optimal include the GK sketch (Greenwald and Khanna 2001) using $O(\varepsilon^{-1} \log n)$ words (deterministic) and the KLL sketch (Karnin, Lang, and Liberty 2016) using $O(\varepsilon^{-1} \log\log(1/\delta))$ words (randomized, with failure probability $\delta$). However, both algorithms are only optimal in the comparison-based model, whereas most typical applications involve streams of integers that the sketch can use aside from making comparisons. If we go beyond the comparison-based model, the deterministic q-digest sketch (Shrivastava, Buragohain, Agrawal, and Suri 2004) achieves a space complexity of $O(\varepsilon^{-1}\log U)$ words, which is incomparable to the previously-mentioned sketches. It has long been asked whether there is a quantile sketch using $O(\varepsilon^{-1})$ words of space (which is optimal as long as $n \leq \mathrm{poly}(U)$). In this work, we present a deterministic algorithm using $O(\varepsilon^{-1})$ words, resolving this line of work.


title: On sncc-inheritance of pointwise almost periodicity in flows

abstract: Let $H$ be a subnormal co-compact closed subgroup of a Hausdorff topological group $T$ and $X$ a compact Hausdorff space. We prove the inheritance theorem: A point of $X$ is almost periodic (a.p.) for $T\curvearrowright X$ iff it is a.p. for $H\curvearrowright X$. Moreover, if $T\curvearrowright X$ is minimal with $H\lhd T$, then $\mathscr{O}_H\colon X\rightarrow2^X$, ${x\mapsto\overline{Hx}}$ is a continuous mapping, and, $T\curvearrowright X/H$ is an a.p. nontrivial factor of $T\curvearrowright X$ iff $T\curvearrowright X\times T/H$ is not minimal.


title: Intrinsic process for upconversion photoluminescence via $K$-momentum phonon coupling in carbon nanotubes

abstract: We investigate the intrinsic microscopic mechanism of photon upconversion in air-suspended single-walled carbon nanotubes through photoluminescence and upconversion photoluminescence spectroscopy. Nearly linear excitation power dependence of upconversion photoluminescence intensity is observed, indicating a one-photon process as the underlying mechanism. In addition, we find a strongly anisotropic response to the excitation polarization which reflects the intrinsic nature of the upconversion process. In upconversion photoluminescence excitation spectra, three peaks are observed which are similar to photoluminescence sidebands of the $K$-momentum dark singlet exciton. The features in the upconversion photoluminescence excitation spectra are well reproduced by our second-order exciton-phonon interaction model, enabling the determination of phonon energies and relative amplitudes. The analysis reveals that the upconversion photoluminescence can be described as a reverse process of the sideband emission linked to the $K$-momentum phonon modes. The validity of our model is further reinforced by temperature-dependent upconversion photoluminescence excitation measurements reflecting variations in the phonon population. Our findings underscore the pivotal role of the resonant exciton-phonon coupling in pristine carbon nanotubes and presents potential for advanced optothermal technologies by engineering the excitation pathways.


title: Are High $\Sigma_1$ Massive Blue Spiral Galaxies Rejuvenated Systems?

abstract: Quiescent galaxies generally possess denser cores than star-forming galaxies with similar mass. As a measurement of the core density, the central stellar mass surface density within a radius of 1 kpc ($\Sigma_1$) was thus suggested to be closely related to galaxy quenching. Massive star-forming galaxies with high $\Sigma_1$ do not fit into this picture. To understand the origin of such galaxies, we compare the spatially-resolved stellar population and star formation properties of massive ($ > 10^{10.5}{\rm M}_{\odot}$) blue spiral galaxies with high and low $\Sigma_1$, divided by $\Sigma_1 = 10^{9.4} M_\odot \, {\rm kpc}^{-2}$, based on the final release of MaNGA IFU data. We find that both high $\Sigma_1$ and low $\Sigma_1$ blue spirals show large diversities in stellar population and star formation properties. Despite the diversities, high $\Sigma_1$ blue spirals are statistically different from the low $\Sigma_1$ ones. Specifically, the radial profiles of the luminosity-weighted age and Mgb/${\rm \langle Fe \rangle}$ show that high $\Sigma_1$ blue spirals consist of a larger fraction of galaxies with younger and less $\alpha$-element enhanced centers than their low $\Sigma_1$ counterparts, $\sim 55\%$ versus $\sim 30\%$. The galaxies with younger centers mostly have higher central specific star formation rates, which still follow the spaxel-based star formation main sequence relation though. Examinations of the H$\alpha$ velocity field and the optical structures suggest that galactic bars or galaxy interactions should be responsible for the rejuvenation of these galaxies. The remaining $\sim 45\% $ of high $\Sigma_1$ blue spirals are consistent with the inside-out growth scenario.


title: Remarks on the conjectures of Capparelli, Meurman, Primc and Primc

abstract: In a sequence of two papers, S. Capparelli, A. Meurman, A. Primc, M. Primc (CMPP) and then M. Primc put forth three remarkable sets of conjectures, stating that the generating functions of coloured integer partition in which the parts satisfy restrictions on the multiplicities admit simple infinite product forms. While CMPP related one set of conjectures to the principally specialised characters of standard modules for the affine Lie algebra $\mathrm{C}_n^{(1)}$, finding a Lie-algebraic interpretation for the remaining two sets remained an open problem. In this paper, we use the work of Griffin, Ono and the fourth author on Rogers-Ramanujan identities for affine Lie algebras to solve this problem, relating the remaining two sets of conjectures to non-standard specialisations of standard modules for $\mathrm{A}_{2n}^{(2)}$ and $\mathrm{D}_{n+1}^{(2)}$. We also use their work to formulate conjectures for the bivariate generating function of one-parameter families of CMPP partitions in terms of Hall-Littlewood symmetric functions. We make a detailed study of several further aspects of CMPP partitions, obtaining (i) functional equations for bivariate generating functions which generalise the well-known Rogers-Selberg equations, (ii) a partial level-rank duality in the $\mathrm{A}_{2n}^{(2)}$ case, and (iii) (conjectural) identities of the Rogers-Ramanujan type for $\mathrm{D}_3^{(2)}$.