title: Equivalence of 1-loop RG flows in 4d Chern-Simons and integrable 2d sigma-models

abstract: We argue for the matching of 1-loop divergences between 4d Chern-Simons theory with Disorder defects and the corresponding integrable 2d sigma-models of non-ultralocal type. Starting from the 4d path integral, we show under general assumptions that the 1-loop divergences localise to the 2d defects. They match the 'universal' formulae developed in [arXiv:2209.05502] for the 1-loop RG flows of integrable 2d sigma-models. Our argument uses an alternate path integral representation for the 1-loop effective action and the known classical equivalence between the 4d and 2d theories.


title: An Object Condensation Pipeline for Charged Particle Tracking at the High Luminosity LHC

abstract: Recent work has demonstrated that graph neural networks (GNNs) trained for charged particle tracking can match the performance of traditional algorithms while improving scalability to prepare for the High Luminosity LHC experiment. Most approaches are based on the edge classification (EC) paradigm, wherein tracker hits are connected by edges, and a GNN is trained to prune edges, resulting in a collection of connected components representing tracks. These connected components are usually collected by a clustering algorithm and the resulting hit clusters are passed to downstream modules that may assess track quality or fit track parameters. In this work, we consider an alternative approach based on object condensation (OC), a multi-objective learning framework designed to cluster points belonging to an arbitrary number of objects, in this context tracks, and regress the properties of each object. We demonstrate that OC shows very promising results when applied to the pixel detector of the trackML dataset and can, in some cases, recover tracks that are not reconstructable when relying on the output of an EC alone. The results have been obtained with a modular and extensible open-source implementation that allows us to efficiently train and evaluate the performance of various OC architectures and related approaches.


title: Gravitational Waves from Composite Dark Sectors

abstract: We study under which conditions a first-order phase transition in a composite dark sector can yield an observable stochastic gravitational-wave signal. To this end, we employ the Linear-Sigma model featuring $N_f=3,4,5$ flavours and perform a Cornwall-Jackiw-Tomboulis computation also accounting for the effects of the Polyakov loop. The model allows us to investigate the chiral phase transition in regimes that can mimic QCD-like theories incorporating in addition composite dynamics associated with the effects of confinement-deconfinement phase transition. A further benefit of this approach is that it allows to study the limit in which the effective interactions are weak. We show that strong first-order phase transitions occur for weak effective couplings of the composite sector leading to gravitational-wave signals potentially detectable at future experimental facilities.


title: Evaluating analytic gradients of pulse programs on quantum computers

abstract: Parametrized pulse programs running on quantum hardware can be differentiated via the stochastic parameter-shift (SPS) rule. We overcome the intrinsically approximate nature of SPS by introducing a new analytic method for computing gradients of pulse programs, that we coin ODEgen. In this new method, we find effective generators of pulse gates using a differentiable ordinary differential equation (ODE) solver. These effective generators inform parameter-shift rules that can be evaluated on quantum hardware. We showcase simulated VQE examples with realistic superconducting transmon systems, for which we obtain lower energies with fewer quantum resources using ODEgen over SPS. We further demonstrate a pulse VQE run with gradients computed via ODEgen entirely on quantum hardware.


title: A SPectroscopic survey of biased halos In the Reionization Era (ASPIRE): JWST Discovers an Overdensity around a Metal Absorption-selected Galaxy at $z\sim5.5$

abstract: The launch of ${\it JWST}$ opens a new window for studying the connection between metal-line absorbers and galaxies at the end of the Epoch of Reionization (EoR). Previous studies have detected absorber-galaxy pairs in limited quantities through ground-based observations. To enhance our understanding of the relationship between absorbers and their host galaxies at $z>5$, we utilized the NIRCam Wide Field Slitless Spectroscopy (WFSS) to search for absorber-associated galaxies by detecting their rest-frame optical emission lines (e.g., [OIII] + H$\beta$). We report the discovery of a MgII-associated galaxy at $z=5.428$ using data from the ${\it JWST}$ ASPIRE program. The MgII absorber is detected on the spectrum of quasar J0305--3150 with a rest-frame equivalent width of 0.74$\mathring{A}$. The associated galaxy has an [OIII] luminosity of $10^{42.5}\ {\rm erg\ s^{-1}}$ with an impact parameter of 24.9 proper kiloparsecs (pkpc). The joint ${\it HST}$-${\it JWST}$ spectral energy distribution (SED) implies a stellar mass and star-formation rate of ${\rm M_* \approx 10^{8.8}}$ ${\rm M_{\odot}}$, ${\rm SFR}\approx 10\ {\rm M_{\odot}\ yr^{-1}}$. Its [OIII] equivalent width and stellar mass are typical of [OIII] emitters at this redshift. Furthermore, connecting the outflow starting time to the SED-derived stellar age, the outflow velocity of this galaxy is $\sim300\ {\rm km\ s^{-1}}$, consistent with theoretical expectations. We identified six additional [OIII] emitters with impact parameters of up to $\sim300$ pkpc at similar redshifts ($|dv|<1000\ {\rm km\ s^{-1}}$). The observed number is consistent with that in cosmological simulations. This pilot study suggests that systematically investigating the absorber-galaxy connection within the ASPIRE program will provide insights into the metal-enrichment history in the early universe.


title: SMEFT chromomagnetic dipole operator contributions to $t{\bar t}$ production at approximate NNLO in QCD

abstract: We study higher-order QCD corrections for the production of a top-antitop quark pair ($t{\bar t}$ production) at the Large Hadron Collider in the Standard Model Effective Field Theory. We consider effects of new physics parametrized by the top-quark chromomagnetic dipole operator. We calculate new physics contributions to the total cross section at approximate NNLO, with second-order soft-gluon corrections added to the complete NLO result, including uncertainties from scale dependence and from parton distributions. We also calculate new physics contributions at approximate NNLO for differential distributions in top-quark transverse momentum.


title: Higgs interference effects in top-quark pair production in the 1HSM

abstract: We present a next-to-leading-order (NLO) study of the process $pp \; ( \to \{ h_1, h_2 \}) \to t\bar{t} + X$ in the 1-Higgs-singlet extension of the Standard Model with an additional heavy Higgs boson $h_2$ that mixes with the light Higgs boson $h_1$. This process is subject to large interference effects between loop-induced Higgs-mediated amplitudes and the QCD continuum background which tend to overcompensate any resonance contributions. A reliable modelling of the resulting top-pair invariant mass shapes requires the inclusion of higher-order QCD corrections, which are presented here. The computation of these NLO corrections is exact in all contributions but in the class of non-factorisable two-loop diagrams which are included in an approximate way such that all infrared singular limits are preserved. We present numerical results for several benchmark points with heavy Higgs masses in the range $700$--$3000$ GeV considering the production of stable top quarks. We find that the interference effects dominate the BSM signal yielding sharp dip structures instead of resonance peaks. The significance and excludability of the BSM effect is explored for the LHC Run 2, Run 3 and HL-LHC.


title: A note on the Hamiltonian structure of transgression forms

abstract: By incorporating two gauge connections, transgression forms provide a generalization of Chern-Simons actions that are genuinely gauge-invariant on bounded manifolds. In this work, we show that, when defined on a manifold with a boundary, the Hamiltonian formulation of a transgression field theory can be consistently carried out without the need to implement regularizing boundary terms at the level of first-class constraints. By considering boundary variations of the relevant functionals in the Poisson brackets, the surface integral in the very definition of a transgression action can be translated into boundary contributions in the generators of gauge transformations and diffeomorphisms. This prescription systematically leads to the corresponding surface charges of the theory, reducing to the general expression for conserved charges in (higher-dimensional) Chern-Simons theories when one of the gauge connections in the transgression form is set to zero.


title: A Lagrangian theory for galaxy shape statistics

abstract: We formulate the Lagrangian perturbation theory of galaxy intrinsic alignments and compute the resulting auto and cross power spectra of galaxy shapes, densities and matter to 1-loop order. Our model represents a consistent effective-theory description of galaxy shape including the resummation of long-wavelength displacements which damp baryon acoustic oscillations, and includes one linear, three quadratic and two cubic dimensionless bias coefficients at this order, along with counterterms and stochastic contributions whose structure we derive. We compare this Lagrangian model against the three-dimensional helicity spectra of halo shapes measured in N-body simulations by Akitsu et al (2023) and find excellent agreement on perturbative scales while testing a number of more restrictive bias parametrizations. The calculations presented are immediately relevant to analyses of both cosmic shear surveys and spectroscopic shape measurements, and we make a fast FFTLog-based code spinosaurus publicly available with this publication.


title: A short proof of Tomita's theorem

abstract: Tomita-Takesaki theory associates a positive operator called the "modular operator" with a von Neumann algebra and a cyclic-separating vector. Tomita's theorem says that the unitary flow generated by the modular operator leaves the algebra invariant. I give a new, short proof of this theorem which only uses the analytic structure of unitary flows, and which avoids operator-valued Fourier transforms (as in van Daele's proof) and operator-valued Mellin transforms (as in Zsid\'{o}'s and Woronowicz's proofs). The proof is similar to one given by Bratteli and Robinson in the special case that the modular operator is bounded.


title: Higher multiplier ideals

abstract: We associate a family of ideal sheaves to any Q-effective divisor on a complex manifold, called the higher multiplier ideals, using the theory of mixed Hodge modules and V-filtrations. This family is indexed by two parameters, an integer indicating the Hodge level and a rational number, and these ideals admit a weight filtration. When the Hodge level is zero, they recover the usual multiplier ideals. We study the local and global properties of higher multiplier ideals systematically. In particular, we prove vanishing theorems and restriction theorems, and provide criteria for the nontriviality of the new ideals. The main idea is to exploit the global structure of the V-filtration along an effective divisor using the notion of twisted Hodge modules. In the local theory, we introduce the notion of the center of minimal exponent, which generalizes the notion of minimal log canonical center. As applications, we prove some cases of conjectures by Debarre, Casalaina-Martin and Grushevsky on singularities of theta divisors on principally polarized abelian varieties and the geometric Riemann-Schottky problem.


title: Compact groups from semi-analytical models of galaxy formation -- IV: effect of group assembly on the evolution of their galaxies

abstract: Using over 3000 compact groups (CGs) of galaxies extracted from mock catalogues built from semi-analytical models of galaxy formation (SAMs), we study whether the CG assembly channel affects the z=0 properties of galaxies and their evolution. The evolution of CG galaxy properties with time is a clear function of their stellar masses. For instance, high-stellar-mass CG galaxies have lived their last 8 Gyr with little cold gas content while maintaining their reservoir of hot gas, while low-mass CG galaxies still preserve some of their cold gas content at the present but they have completely drained their hot gas reservoir. Beyond that, we find that the evolution of CG galaxies is also a function of the assembly history of the CGs: with more extreme losses of gas content, faster mass gain rates for black holes and more marked suppression of star formation as a function of cosmic time as we go from recent to early CG assembly. Thus, CGs constitute another laboratory for galaxy assembly bias, as the later assembling groups have later star formation. Our results show that classifying CGs according to their assembly channel is a way of distinguishing different paths by which galaxies transform their properties throughout their history.


title: Using low-frequency scatter-broadening measurements for precision estimates of dispersion measures

abstract: A pulsar's pulse profile gets broadened at low frequencies due to dispersion along the line of sight or due to multi-path propagation. The dynamic nature of the interstellar medium makes both of these effects time-dependent and introduces slowly varying time delays in the measured times-of-arrival similar to those introduced by passing gravitational waves. In this article, we present a new method to correct for such delays by obtaining unbiased dispersion measure (DM) measurements by using low-frequency estimates of the scattering parameters. We evaluate this method by comparing the obtained DM estimates with those, where scatter-broadening is ignored using simulated data. A bias is seen in the estimated DMs for simulated data with pulse-broadening with a larger variability for a data set with a variable frequency scaling index, $\alpha$, as compared to that assuming a Kolmogorov turbulence. Application of the proposed method removes this bias robustly for data with band averaged signal-to-noise ratio larger than 100. We report, for the first time, the measurements of the scatter-broadening time and $\alpha$ from analysis of PSR J1643$-$1224, observed with upgraded Giant Metrewave Radio Telescope as part of the Indian Pulsar Timing Array experiment. These scattering parameters were found to vary with epoch and $\alpha$ was different from that expected for Kolmogorov turbulence. Finally, we present the DM time-series after application of the new technique to PSR J1643$-$1224.


title: An intuitive construction of modular flow

abstract: The theory of modular flow has proved extremely useful for applying thermodynamic reasoning to out-of-equilibrium states in quantum field theory. However, the standard proofs of the fundamental theorems of modular flow use machinery from Fourier analysis on Banach spaces, and as such are not especially transparent to an audience of physicists. In this article, I present a construction of modular flow that differs from existing treatments. The main pedagogical contribution is that I start with thermal physics via the KMS condition, and derive the modular operator as the only operator that could generate a thermal time-evolution map, rather than starting with the modular operator as the fundamental object of the theory. The main technical contribution is a new proof of the fundamental theorem stating that modular flow is a symmetry. The new proof circumvents the delicate issues of Fourier analysis that appear in previous treatments, but is still mathematically rigorous.


title: Sp1149 I: Constraints on the Balmer L-sigma Relation for HII Regions in a Spiral Galaxy at Redshift z=1.49 Strongly Lensed by the MACS J1149 Cluster

abstract: The luminosities and velocity dispersions of the extinction-corrected Balmer emission lines of giant HII regions in nearby galaxies exhibit a tight correlation (~0.35 dex scatter). There are few constraints, however, on whether giant HII regions at significant lookback times follow an L-sigma relation, given the angular resolution and sensitivity required to study them individually. We measure the luminosities and velocity dispersions of H-alpha and H-beta emission from 11 HII regions in Sp1149, a spiral galaxy at redshift z=1.49 multiply imaged by the MACS J1149 galaxy cluster. Sp1149 is also the host galaxy of the first-known strongly lensed supernova with resolved images, SN Refsdal. We employ archival Keck-I OSIRIS observations, and newly acquired Keck-I MOSFIRE and Large Binocular Telescope LUCI long-slit spectra of Sp1149. When we use the GLAFIC simply parameterized lens model, we find that the H-alpha luminosities of the HII regions at z=1.49 are a factor of 6.4+2.9-2.0 brighter than predicted by the low-redshift L-sigma relation we measure from Very Large Telescope MUSE spectroscopy. If the lens model is accurate, then the HII regions in Sp1149 differ from their low-redshift counterparts. We identify an HII region in Sp1149 that is dramatically brighter (by 2.03+-0.44 dex) than our low-redshift L-sigma relation predicts given its low velocity dispersion. Finally, the HII regions in Sp1149 are consistent, perhaps surprisingly, with the z=0 star-forming locus on the Baldwin-Phillips-Terlevich diagram.


title: Encountered-Type Haptic Display via Tracking Calibrated Robot

abstract: In the past decades, a variety of haptic devices have been developed to facilitate high-fidelity human-computer interaction (HCI) in virtual reality (VR). In particular, passive haptic feedback can create a compelling sensation based on real objects spatially overlapping with their virtual counterparts. However, these approaches require pre-deployment efforts, hindering their democratizing use in practice. We propose the Tracking Calibrated Robot (TCR), a novel and general haptic approach to free developers from deployment efforts, which can be potentially deployed in any scenario. Specifically, we augment the VR with a collaborative robot that renders haptic contact in the real world while the user touches a virtual object in the virtual world. The distance between the user's finger and the robot end-effector is controlled over time. The distance starts to smoothly reduce to zero when the user intends to touch the virtual object. A mock user study tested users' perception of three virtual objects, and the result shows that TCR is effective in terms of conveying discriminative shape information.


title: Sp1149 II: Spectroscopy of HII Regions Near the Critical Curve of MACS J1149 and Cluster Lens Models

abstract: Galaxy-cluster gravitational lenses enable the study of faint galaxies even at large lookback times, and, recently, time-delay constraints on the Hubble constant. There have been few tests, however, of lens model predictions adjacent to the critical curve (<8") where the magnification is greatest. In a companion paper, we use the GLAFIC lens model to constrain the Balmer L-sigma relation for HII regions in a galaxy at redshift z=1.49 strongly lensed by the MACS J1149 galaxy cluster. Here we perform a detailed comparison between the predictions of ten cluster lens models which employ multiple modeling assumptions with our measurements of 11 magnified giant HII regions. We find that that the models predict magnifications an average factor of 6.2 smaller, a 2-sigma tension, than that inferred from the HII regions under the assumption that they follow the low-redshift L-sigma relation. To evaluate the possibility that the lens model magnifications are strongly biased, we next consider the flux ratios among knots in three images of Sp1149, and find that these are consistent with model predictions. Moreover, while the mass-sheet degeneracy could in principle account for a factor of ~6 discrepancy in magnification, the value of H0 inferred from SN Refsdal's time delay would become implausibly small. We conclude that the lens models are not likely to be highly biased, and that instead the HII regions in Sp1149 are substantially more luminous than the low-redshift Balmer L-sigma relation predicts.


title: Persona-Coded Poly-Encoder: Persona-Guided Multi-Stream Conversational Sentence Scoring

abstract: Recent advances in machine learning and deep learning have led to the widespread use of Conversational AI in many practical applications. However, it is still very challenging to leverage auxiliary information that can provide conversational context or personalized tuning to improve the quality of conversations. For example, there has only been limited research on using an individuals persona information to improve conversation quality, and even state-of-the-art conversational AI techniques are unable to effectively leverage signals from heterogeneous sources of auxiliary data, such as multi-modal interaction data, demographics, SDOH data, etc. In this paper, we present a novel Persona-Coded Poly-Encoder method that leverages persona information in a multi-stream encoding scheme to improve the quality of response generation for conversations. To show the efficacy of the proposed method, we evaluate our method on two different persona-based conversational datasets, and compared against two state-of-the-art methods. Our experimental results and analysis demonstrate that our method can improve conversation quality over the baseline method Poly-Encoder by 3.32% and 2.94% in terms of BLEU score and HR@1, respectively. More significantly, our method offers a path to better utilization of multi-modal data in conversational tasks. Lastly, our study outlines several challenges and future research directions for advancing personalized conversational AI technology.


title: Topological properties of closed $\widetilde{\mathrm{G}}_2$, $\mathrm{SL}(3;\mathbb{C})$ and $\mathrm{SL}(3;\mathbb{R})^2$ forms on manifolds

abstract: This paper uses algebro-topological techniques such as characteristic classes and obstruction theory, together with the $h$-principles for $\widetilde{\mathrm{G}}_2$ and $\mathrm{SL}(3;\mathbb{R})^2$ forms recently established by the author and the $h$-principle for $\mathrm{SL}(3;\mathbb{C})$ forms established by Donaldson, to prove results on the topological properties of closed $\widetilde{\mathrm{G}}_2$, $\mathrm{SL}(3;\mathbb{C})$ and $\mathrm{SL}(3;\mathbb{R})^2$ forms on oriented 6- and 7-manifolds. Specifically, a criterion for an arbitrary oriented 7-manifold to admit a closed (resp. coclosed) $\widetilde{\mathrm{G}}_2$-structure is obtained, proving a conjecture of L\^{e}; a generalisation of Donaldson's '$\mathrm{G}_2$-cobordisms' to $\widetilde{\mathrm{G}}_2$, $\mathrm{SL}(3;\mathbb{C})$ and $\mathrm{SL}(3;\mathbb{R})^2$ forms is introduced, with homotopic $\mathrm{SL}(3;\mathbb{C})$ and $\mathrm{SL}(3;\mathbb{R})^2$ forms in a given cohomology class shown to be $\widetilde{\mathrm{G}}_2$-cobordant, a result which currently has no analogue in the $\mathrm{G}_2$ case; and a complete classification of closed $\mathrm{SL}(3;\mathbb{C})$ forms up to homotopy is provided. Additionally, a lower bound on the number of homotopy classes of closed $\mathrm{SL}(3;\mathbb{R})^2$ forms on a given manifold is obtained, and the question of which closed $\mathrm{SL}(3;\mathbb{C})$ or $\mathrm{SL}(3;\mathbb{R})^2$ forms arise as the boundary values of closed $\widetilde{\mathrm{G}}_2$-structures on oriented 7-manifolds is investigated.


title: XVO: Generalized Visual Odometry via Cross-Modal Self-Training

abstract: We propose XVO, a semi-supervised learning method for training generalized monocular Visual Odometry (VO) models with robust off-the-self operation across diverse datasets and settings. In contrast to standard monocular VO approaches which often study a known calibration within a single dataset, XVO efficiently learns to recover relative pose with real-world scale from visual scene semantics, i.e., without relying on any known camera parameters. We optimize the motion estimation model via self-training from large amounts of unconstrained and heterogeneous dash camera videos available on YouTube. Our key contribution is twofold. First, we empirically demonstrate the benefits of semi-supervised training for learning a general-purpose direct VO regression network. Second, we demonstrate multi-modal supervision, including segmentation, flow, depth, and audio auxiliary prediction tasks, to facilitate generalized representations for the VO task. Specifically, we find audio prediction task to significantly enhance the semi-supervised learning process while alleviating noisy pseudo-labels, particularly in highly dynamic and out-of-domain video data. Our proposed teacher network achieves state-of-the-art performance on the commonly used KITTI benchmark despite no multi-frame optimization or knowledge of camera parameters. Combined with the proposed semi-supervised step, XVO demonstrates off-the-shelf knowledge transfer across diverse conditions on KITTI, nuScenes, and Argoverse without fine-tuning.


title: Neural scaling laws for phenotypic drug discovery

abstract: Recent breakthroughs by deep neural networks (DNNs) in natural language processing (NLP) and computer vision have been driven by a scale-up of models and data rather than the discovery of novel computing paradigms. Here, we investigate if scale can have a similar impact for models designed to aid small molecule drug discovery. We address this question through a large-scale and systematic analysis of how DNN size, data diet, and learning routines interact to impact accuracy on our Phenotypic Chemistry Arena (Pheno-CA) benchmark: a diverse set of drug development tasks posed on image-based high content screening data. Surprisingly, we find that DNNs explicitly supervised to solve tasks in the Pheno-CA do not continuously improve as their data and model size is scaled-up. To address this issue, we introduce a novel precursor task, the Inverse Biological Process (IBP), which is designed to resemble the causal objective functions that have proven successful for NLP. We indeed find that DNNs first trained with IBP then probed for performance on the Pheno-CA significantly outperform task-supervised DNNs. More importantly, the performance of these IBP-trained DNNs monotonically improves with data and model scale. Our findings reveal that the DNN ingredients needed to accurately solve small molecule drug development tasks are already in our hands, and project how much more experimental data is needed to achieve any desired level of improvement. We release our Pheno-CA benchmark and code to encourage further study of neural scaling laws for small molecule drug discovery.


title: Subset-Reach Estimation in Cross-Media Measurement

abstract: We propose two novel approaches to address a critical problem of reach measurement across multiple media -- how to estimate the reach of an unobserved subset of buying groups (BGs) based on the observed reach of other subsets of BGs. Specifically, we propose a model-free approach and a model-based approach. The former provides a coarse estimate for the reach of any subset by leveraging the consistency among the reach of different subsets. Linear programming is used to capture the constraints of the reach consistency. This produces an upper and a lower bound for the reach of any subset. The latter provides a point estimate for the reach of any subset. The key idea behind the latter is to exploit the conditional independence model. In particular, the groups of the model are created by assuming each BG has either high or low reach probability in a group, and the weights of each group are determined through solving a non-negative least squares (NNLS) problem. In addition, we also provide a framework to give both confidence interval and point estimates by integrating these two approaches with training points selection and parameter fine-tuning through cross-validation. Finally, we evaluate the two approaches through experiments on synthetic data.


title: Deciphering Pre-solar-storm Features Of September-2017 Storm From Global And Local Dynamics

abstract: We investigate whether global toroid patterns and the local magnetic field topology of solar active region AR12673 together can hindcast occurrence of the biggest X-flare of solar cycle (SC)-24. Magnetic toroid patterns (narrow latitude-belts warped in longitude, in which active regions are tightly bound) derived from surface distributions of active regions, prior/during AR12673 emergence, reveal that the portions of the South-toroid containing AR12673 was not tipped-away from its north-toroid counterpart at that longitude, unlike the 2003 Halloween storms scenario. During the minimum-phase there were too few emergences to determine multi-mode longitudinal toroid patterns. A new emergence within AR12673 produced a complex/non-potential structure, which led to rapid build-up of helicity/winding that triggered the biggest X-flare of SC-24, suggesting that this minimum-phase storm can be anticipated several hours before its occurrence. However, global patterns and local dynamics for a peak-phase storm, such as that from AR11263, behaved like 2003 Halloween storms, producing the third biggest X-flare of SC-24. AR11263 was present at the longitude where the North/South toroids tipped-away from each other. While global toroid patterns indicate that pre-storm features can be forecast with a lead-time of a few months, its application on observational data can be complicated by complex interactions with turbulent flows. Complex/non-potential field structure development hours before the storm are necessary for short term prediction. We infer that minimum-phase storms cannot be forecast accurately more than a few hours ahead, while flare-prone active regions in peak-phase may be anticipated much earlier, possibly months ahead from global toroid patterns.


title: BRST invariant scalar and vector operators in the $SU\left(2\right)\times U\left(1\right)$ Higgs model

abstract: We present a set of BRST invariant composite operators in the $SU\left(2\right)\times U\left(1\right)$ Higgs model which exhibit an overlap with the observable scalar and vector particle states of the theory. Some of these operators are non-local in the standard formulation of the Higgs model, however, we show that they can be localized using the Stuckelberg trick, this without changing the physical content. These operators provide thus a BRST invariant resolution of the physical spectrum of the theory, thereby giving the next step in constructing a manifestly BRST invariant formulation of the particle spectrum of the Electroweak and Standard model.


title: How many words does ChatGPT know? The answer is ChatWords

abstract: The introduction of ChatGPT has put Artificial Intelligence (AI) Natural Language Processing (NLP) in the spotlight. ChatGPT adoption has been exponential with millions of users experimenting with it in a myriad of tasks and application domains with impressive results. However, ChatGPT has limitations and suffers hallucinations, for example producing answers that look plausible but they are completely wrong. Evaluating the performance of ChatGPT and similar AI tools is a complex issue that is being explored from different perspectives. In this work, we contribute to those efforts with ChatWords, an automated test system, to evaluate ChatGPT knowledge of an arbitrary set of words. ChatWords is designed to be extensible, easy to use, and adaptable to evaluate also other NLP AI tools. ChatWords is publicly available and its main goal is to facilitate research on the lexical knowledge of AI tools. The benefits of ChatWords are illustrated with two case studies: evaluating the knowledge that ChatGPT has of the Spanish lexicon (taken from the official dictionary of the "Real Academia Espa\~nola") and of the words that appear in the Quixote, the well-known novel written by Miguel de Cervantes. The results show that ChatGPT is only able to recognize approximately 80% of the words in the dictionary and 90% of the words in the Quixote, in some cases with an incorrect meaning. The implications of the lexical knowledge of NLP AI tools and potential applications of ChatWords are also discussed providing directions for further work on the study of the lexical knowledge of AI tools.


title: Coupled Active Perception and Manipulation Planning for a Mobile Manipulator in Precision Agriculture Applications

abstract: A mobile manipulator often finds itself in an application where it needs to take a close-up view before performing a manipulation task. Named this as a coupled active perception and manipulation (CAPM) problem, we model the uncertainty in the perception process and devise a key state/task planning approach that considers reachability conditions as task constraints of both perception and manipulation tasks for the mobile platform. By minimizing the expected energy usage in the body key state planning while satisfying task constraints, our algorithm achieves the best balance between the task success rate and energy usage. We have implemented the algorithm and tested it in both simulation and physical experiments. The results have confirmed that our algorithm has a lower energy consumption compared to a two-stage decoupled approach, while still maintaining a success rate of 100\% for the task.


title: Intriguing properties of generative classifiers

abstract: What is the best paradigm to recognize objects -- discriminative inference (fast but potentially prone to shortcut learning) or using a generative model (slow but potentially more robust)? We build on recent advances in generative modeling that turn text-to-image models into classifiers. This allows us to study their behavior and to compare them against discriminative models and human psychophysical data. We report four intriguing emergent properties of generative classifiers: they show a record-breaking human-like shape bias (99% for Imagen), near human-level out-of-distribution accuracy, state-of-the-art alignment with human classification errors, and they understand certain perceptual illusions. Our results indicate that while the current dominant paradigm for modeling human object recognition is discriminative inference, zero-shot generative models approximate human object recognition data surprisingly well.


title: Isospectral Potentials and Quantum Mechanical Functions for Neutron-Neutron Scattering

abstract: In this paper we have constructed inverse isospectral potentials for 1S0-nn state by fitting the experimental SPS using Variational Monte-Carlo technique in tandem with PFM technique. The isospectral potentials are obtained such that the cost measure i.e., mean absolute error (MAE) between the obtained and experimental SPS are less than 1 and the parameters give the low energy scattering parameters (`a' and `re') very close to the experimental values. The S-channel SPS for 1S0-nn have been obtained, with a MAE with respect to experimental data for lab energies up to 350 MeV, to less than 1.


title: Hallucination Reduction in Long Input Text Summarization

abstract: Hallucination in text summarization refers to the phenomenon where the model generates information that is not supported by the input source document. Hallucination poses significant obstacles to the accuracy and reliability of the generated summaries. In this paper, we aim to reduce hallucinated outputs or hallucinations in summaries of long-form text documents. We have used the PubMed dataset, which contains long scientific research documents and their abstracts. We have incorporated the techniques of data filtering and joint entity and summary generation (JAENS) in the fine-tuning of the Longformer Encoder-Decoder (LED) model to minimize hallucinations and thereby improve the quality of the generated summary. We have used the following metrics to measure factual consistency at the entity level: precision-source, and F1-target. Our experiments show that the fine-tuned LED model performs well in generating the paper abstract. Data filtering techniques based on some preprocessing steps reduce entity-level hallucinations in the generated summaries in terms of some of the factual consistency metrics.


title: Surgical Tattoos in Infrared: A Dataset for Quantifying Tissue Tracking and Mapping

abstract: Quantifying performance of methods for tracking and mapping tissue in endoscopic environments is essential for enabling image guidance and automation of medical interventions and surgery. Datasets developed so far either use rigid environments, visible markers, or require annotators to label salient points in videos after collection. These are respectively: not general, visible to algorithms, or costly and error-prone. We introduce a novel labeling methodology along with a dataset that uses said methodology, Surgical Tattoos in Infrared (STIR). STIR has labels that are persistent but invisible to visible spectrum algorithms. This is done by labelling tissue points with IR-fluorescent dye, indocyanine green (ICG), and then collecting visible light video clips. STIR comprises hundreds of stereo video clips in both in-vivo and ex-vivo scenes with start and end points labelled in the IR spectrum. With over 3,000 labelled points, STIR will help to quantify and enable better analysis of tracking and mapping methods. After introducing STIR, we analyze multiple different frame-based tracking methods on STIR using both 3D and 2D endpoint error and accuracy metrics. STIR is available at https://dx.doi.org/10.21227/w8g4-g548


title: Photonic Accelerators for Image Segmentation in Autonomous Driving and Defect Detection

abstract: Photonic computing promises faster and more energy-efficient deep neural network (DNN) inference than traditional digital hardware. Advances in photonic computing can have profound impacts on applications such as autonomous driving and defect detection that depend on fast, accurate and energy efficient execution of image segmentation models. In this paper, we investigate image segmentation on photonic accelerators to explore: a) the types of image segmentation DNN architectures that are best suited for photonic accelerators, and b) the throughput and energy efficiency of executing the different image segmentation models on photonic accelerators, along with the trade-offs involved therein. Specifically, we demonstrate that certain segmentation models exhibit negligible loss in accuracy (compared to digital float32 models) when executed on photonic accelerators, and explore the empirical reasoning for their robustness. We also discuss techniques for recovering accuracy in the case of models that do not perform well. Further, we compare throughput (inferences-per-second) and energy consumption estimates for different image segmentation workloads on photonic accelerators. We discuss the challenges and potential optimizations that can help improve the application of photonic accelerators to such computer vision tasks.


title: Coregularity of smooth Fano threefolds

abstract: We study the coregularity of smooth Fano threefolds. We prove that for 100 out of 105 families of smooth Fano threefolds, a general member in the family has coregularity 0; moreover, for 92 families out of these 100, any member in the family has coregularity 0; for the remaining 5 families, we obtain some partial results. In particular, we show that there exist families of smooth Fano threefolds whose general elements have positive coregularity.


title: Optical and spin coherence of Er$^{3+}$ in epitaxial CeO$_2$ on silicon

abstract: Solid-state atomic defects with optical transitions in the telecommunication bands, potentially in a nuclear spin free environment, are important for applications in fiber-based quantum networks. Erbium ions doped in CeO$_2$ offer such a desired combination. Here we report on the optical homogeneous linewidth and electron spin coherence of Er$^{3+}$ ions doped in CeO$_2$ epitaxial film grown on a Si(111) substrate. The long-lived optical transition near 1530 nm in the environmentally-protected 4f shell of Er$^{3+}$ shows a narrow homogeneous linewidth of 440 kHz with an optical coherence time of 0.72 $\mu$s at 3.6 K. The reduced nuclear spin noise in the host allows for Er$^{3+}$ electron spin polarization at 3.6 K, yielding an electron spin coherence of 0.66 $\mu$s (in the isolated ion limit) and a spin relaxation of 2.5 ms. These findings indicate the potential of Er$^{3+}$:CeO$_2$ film as a valuable platform for quantum networks and communication applications.


title: Super-Carrollian and Super-Galilean Field Theories

abstract: The exploration of scalar field theories that exhibit Carroll and Galilei symmetries has attracted a lot of attention. In this paper, we generalize these studies to fermionic field theories and construct consistent electric and magnetic descriptions of Carrollian and Galilean spin $\tfrac{1}{2}$ fermions. We showcase various methods that offer complementary perspectives into the limiting process of the underlying relativistic theories. Moreover, we extend our study to $\mathcal{N}=1$ off-shell supersymmetric field theories in four dimensions. By introducing suitable Grassmann-analyticity conditions, we formulate the corresponding super-Carrollian and super-Galilean theories. These theories combine the established Carroll/Galilei scalars with the Carroll/Galilei fermions and a range of auxiliary fields into supermultiplets.


title: Surface plasmon-polaritons in graphene, embedded into medium with gain and losses

abstract: The paper deals with the theoretical consideration of surface plasmon-polaritons in the graphene monolayer, embedded into dielectric with spatially separated gain and losses. It is demonstrated, that presence of gain and losses in the system leads to the formation of additional mode of graphene surface plasmon-polaritons, which does not have its counterpart in the conservative system. When the gain and losses are mutually balanced, the position of exceptional point -- transition point between unbroken and broken $\mathcal{PT}$-symmetry -- can be effectively tuned by graphene's doping. In the case of unbalanced gain and losses the spectrum of surface plasmon-polaritons contains spectral singularity, whose frequency is also adjustable through the electrostatic gating of graphene.


title: Quantum Computing, Math, and Physics (QCaMP): Introducing quantum computing in high schools

abstract: The nascent but rapidly growing field of Quantum Information Science and Technology has led to an increased demand for skilled quantum workers and an opportunity to build a diverse workforce at the outset. In order to meet this demand and encourage women and underrepresented minorities in STEM to consider a career in QIST, we have developed a curriculum for introducing quantum computing to teachers and students at the high school level with no prerequisites. In 2022, this curriculum was delivered over the course of two one-week summer camps, one targeting teachers and another targeting students. Here, we present an overview of the objectives, curriculum, and activities, as well as results from the formal evaluation of both camps and the outlook for expanding QCaMP in future years.


title: Extensible Consent Management Architectures for Data Trusts

abstract: Sensitive personal information of individuals and non-personal information of organizations or communities often needs to be legitimately exchanged among different stakeholders, to provide services, maintain public health, law and order, and so on. While such exchanges are necessary, they also impose enormous privacy and security challenges. Data protection laws like GDPR for personal data and Indian Non-personal data protection draft specify conditions and the \textit{legal capacity} in which personal and non-personal information can be solicited and disseminated further. But there is a dearth of formalisms for specifying legal capacities and jurisdictional boundaries, so that open-ended exchange of such data can be implemented. This paper proposes an extensible framework for consent management in Data Trusts in which data can flow across a network through "role tunnels" established based on corresponding legal capacities.


title: Low-depth Gaussian State Energy Estimation

abstract: Recent progress in quantum computing is paving the way for the realization of early fault-tolerant quantum computers. To maximize the utility of these devices, it is important to develop quantum algorithms that match their capabilities and limitations. Motivated by this, recent work has developed low-depth quantum algorithms for ground state energy estimation (GSEE), an important subroutine in quantum chemistry and materials. We detail a new GSEE algorithm which, like recent work, uses a number of operations scaling as $O(1/\Delta)$ as opposed to the typical $O(1/\epsilon)$, at the cost of an increase in the number of circuit repetitions from $O(1)$ to $O(1/\epsilon^2)$. The relevant features of this algorithm come about from using a Gaussian window, which exponentially reduces contamination from excited states over the simplest GSEE algorithm based on the Quantum Fourier Transform (QFT). We adapt this algorithm to interpolate between the low-depth and full-depth regime by replacing $\Delta$ with anything between $\Delta$ and $\epsilon$. At the cost of increasing the number of ancilla qubits from $1$ to $O(\log\Delta)$, our method reduces the upper bound on the number of circuit repetitions by a factor of four compared to previous methods.


title: Group rings and hyperbolic geometry

abstract: For a group acting on a hyperbolic space, we set up an algorithm in the group algebra showing that ideals generated by few elements are free, where few is a function of the minimal displacement of the action, and derive algebraic, geometric, and topological consequences.


title: Agent Coordination via Contextual Regression (AgentCONCUR) for Data Center Flexibility

abstract: A network of spatially distributed data centers can provide operational flexibility to power systems by shifting computing tasks among electrically remote locations. However, harnessing this flexibility in real-time through the standard optimization techniques is challenged by the need for sensitive operational datasets and substantial computational resources. To alleviate the data and computational requirements, this paper introduces a coordination mechanism based on contextual regression. This mechanism, abbreviated as AgentCONCUR, associates cost-optimal task shifts with public and trusted contextual data (e.g., real-time prices) and uses regression on this data as a coordination policy. Notably, regression-based coordination does not learn the optimal coordination actions from a labeled dataset. Instead, it exploits the optimization structure of the coordination problem to ensure feasible and cost-effective actions. A NYISO-based study reveals large coordination gains and the optimal features for the successful regression-based coordination.


title: Software-Intensive Product Engineering in Start-Ups: A Taxonomy

abstract: Software start-ups are new companies aiming to launch an innovative product to mass markets fast with minimal resources. However, most start-ups fail before realizing their potential. Poor software engineering, among other factors, could be a significant contributor to the challenges that start-ups experience. Little is known about the engineering context in start-up companies. On the surface, start-ups are characterized by uncertainty, high risk, and minimal resources. However, such a characterization isn't granular enough to support identification of specific engineering challenges and to devise start-up-specific engineering practices. The first step toward an understanding of software engineering in start-ups is the definition of a Start-Up Context Map - a taxonomy of engineering practices, environment factors, and goals influencing the engineering process. This map aims to support further research on the field and serve as an engineering decision support tool for start-ups. This article is part of a theme issue on Process Improvement.


title: Electroweak Precision Measurements of a Nearly-Degenerate $Z^\prime$-$Z$ System

abstract: In this paper, we discuss the possibility to probe a nearly-degenerate $Z^{\prime}$-$Z$ system by analyzing the $Z$-lineshape at an electron-positron collider. Compared with the usual $Z^{\prime}$ in the literature well separated with the standard model (SM) $Z$ boson in mass, the nearly-degenerate $Z^{\prime}$-$Z$ mixing affects the observed effective ``oblique parameters'' $\tilde{S}$, $\tilde{T}$, $\tilde{U}$, and the effective deviation of ``number of neutrino species'' $\delta \tilde{N}_{\nu}$ in a more complicated way and cannot be simply computed perturbatively up to a particular order. Aiming at solving this problem, we write down a general simplified effective Lagrangian and enumerate some parameter spaces corresponding to some typical models, and suggest a method to extract the constraints by looking into the line-shape of the $Z$-like resonance at an electron-positron collider.


title: Ultra-low-power Image Classification on Neuromorphic Hardware

abstract: Spiking neural networks (SNNs) promise ultra-low-power applications by exploiting temporal and spatial sparsity. The number of binary activations, called spikes, is proportional to the power consumed when executed on neuromorphic hardware. Training such SNNs using backpropagation through time for vision tasks that rely mainly on spatial features is computationally costly. Training a stateless artificial neural network (ANN) to then convert the weights to an SNN is a straightforward alternative when it comes to image recognition datasets. Most conversion methods rely on rate coding in the SNN to represent ANN activation, which uses enormous amounts of spikes and, therefore, energy to encode information. Recently, temporal conversion methods have shown promising results requiring significantly fewer spikes per neuron, but sometimes complex neuron models. We propose a temporal ANN-to-SNN conversion method, which we call Quartz, that is based on the time to first spike (TTFS). Quartz achieves high classification accuracy and can be easily implemented on neuromorphic hardware while using the least amount of synaptic operations and memory accesses. It incurs a cost of two additional synapses per neuron compared to previous temporal conversion methods, which are readily available on neuromorphic hardware. We benchmark Quartz on MNIST, CIFAR10, and ImageNet in simulation to show the benefits of our method and follow up with an implementation on Loihi, a neuromorphic chip by Intel. We provide evidence that temporal coding has advantages in terms of power consumption, throughput, and latency for similar classification accuracy. Our code and models are publicly available.


title: Benchmarking Metaheuristic-Integrated QAOA against Quantum Annealing

abstract: The Quantum Approximate Optimization Algorithm (QAOA) is one of the most promising Noisy Intermediate Quantum Algorithms (NISQ) in solving combinatorial optimizations and displays potential over classical heuristic techniques. Unfortunately, QAOA performance depends on the choice of parameters and standard optimizers often fail to identify key parameters due to the complexity and mystery of these optimization functions. In this paper, we benchmark QAOA circuits modified with metaheuristic optimizers against classical and quantum heuristics to identify QAOA parameters. The experimental results reveal insights into the strengths and limitations of both Quantum Annealing and metaheuristic-integrated QAOA across different problem domains. The findings suggest that the hybrid approach can leverage classical optimization strategies to enhance the solution quality and convergence speed of QAOA, particularly for problems with rugged landscapes and limited quantum resources. Furthermore, the study provides guidelines for selecting the most appropriate approach based on the specific characteristics of the optimization problem at hand.


title: Promptbreeder: Self-Referential Self-Improvement Via Prompt Evolution

abstract: Popular prompt strategies like Chain-of-Thought Prompting can dramatically improve the reasoning abilities of Large Language Models (LLMs) in various domains. However, such hand-crafted prompt-strategies are often sub-optimal. In this paper, we present Promptbreeder, a general-purpose self-referential self-improvement mechanism that evolves and adapts prompts for a given domain. Driven by an LLM, Promptbreeder mutates a population of task-prompts, and subsequently evaluates them for fitness on a training set. Crucially, the mutation of these task-prompts is governed by mutation-prompts that the LLM generates and improves throughout evolution in a self-referential way. That is, Promptbreeder is not just improving task-prompts, but it is also improving the mutationprompts that improve these task-prompts. Promptbreeder outperforms state-of-the-art prompt strategies such as Chain-of-Thought and Plan-and-Solve Prompting on commonly used arithmetic and commonsense reasoning benchmarks. Furthermore, Promptbreeder is able to evolve intricate task-prompts for the challenging problem of hate speech classification.


title: Expert-sourcing Domain-specific Knowledge: The Case of Synonym Validation

abstract: One prerequisite for supervised machine learning is high quality labelled data. Acquiring such data is, particularly if expert knowledge is required, costly or even impossible if the task needs to be performed by a single expert. In this paper, we illustrate tool support that we adopted and extended to source domain-specific knowledge from experts. We provide insight in design decisions that aim at motivating experts to dedicate their time at performing the labelling task. We are currently using the approach to identify true synonyms from a list of candidate synonyms. The identification of synonyms is important in scenarios were stakeholders from different companies and background need to collaborate, for example when defining and negotiating requirements. We foresee that the approach of expert-sourcing is applicable to any data labelling task in software engineering. The discussed design decisions and implementation are an initial draft that can be extended, refined and validated with further application.


title: Induced supersolidity in a Dy-Er mixture

abstract: Recent experimental realization of the heteronuclear dipolar mixture of Dy and Er atoms opens fascinating prospects for creating intriguing novel phases in dipolar quantum gases. The experimentally measured value of intra-species $s$-wave scattering length of $^{166}$Er condensate in a $^{164}$Dy-$^{166}$Er mixture is larger than its intra-species dipolar length, implies that the $^{166}$Er condensate itself will not be in a regime of dominated dipole-dipole interaction (DDI). However, we find that the presence of $^{164}$Dy atoms with high magnetic moment induces droplet nucleation and supersolidity in $^{166}$Er condensate via the long-range and anisotropic inter-species DDI. Remarkably, we find that the imbalance in the magnetic dipole moment combined with its strong anisotropic coupling led to the emergence of unique ground state phases. The emerging phases include doubly superfluid states, a mixture of insulating droplets and supersolid states, binary supersolids with uniform and alternating domains and a combination of supersolid-superfluid mixed states. We delineate the properties of all these ground state phases and construct a phase diagram. We also explore the dynamical evolution across these phase boundaries via a linear quench of inter-species scattering length. Although we have demonstrated the result for the $^{164}$Dy-$^{166}$Er mixture, our results are generally valid for other dipolar bosonic mixtures of different Dy-Er isotope combinations and may become an important benchmark for future experimental scenarios.


title: Resolved star formation in TNG100 central and satellite galaxies

abstract: Recent cosmological hydrodynamical simulations have produced populations of numerical galaxies whose global star-forming properties are in good agreement with those of observed galaxies. Proper modeling of energetic feedback from supernovae and active galactic nuclei is critical to the ability of simulations to reproduce observed galaxy properties and, historically, such modelling has proven to be a challenge. Here, we analyze local properties of central and satellite galaxies in the $z=0$ snapshot of the TNG100 simulation as a test of feedback models. We generate a face-on projection of stellar particles in TNG100 galaxies, from which we demonstrate the existence of a resolved star-forming main sequence ($\Sigma_{SFR}$--$\Sigma_*$ relation) with a slope and normalization that is in reasonable agreement with previous studies. We also present radial profiles of various galaxy populations for two parameters: the distance from the resolved main sequence line ($\Delta\Sigma_{SFR}$) and the luminosity-weighted stellar age ($age_L$). We find that, on average, high-mass central and satellite galaxies quench from the inside-out, while low-mass central and satellite galaxies have similar, flatter profiles.


title: Test-Case Quality -- Understanding Practitioners' Perspectives

abstract: Background: Test-case quality has always been one of the major concerns in software testing. To improve test-case quality, it is important to better understand how practitioners perceive the quality of test-cases. Objective: Motivated by that need, we investigated how practitioners define test-case quality and which aspects of test-cases are important for quality assessment. Method: We conducted semi-structured interviews with professional developers, testers and test architects from a multinational software company in Sweden. Before the interviews, we asked participants for actual test cases (written in natural language) that they perceive as good, normal, and bad respectively together with rationales for their assessment. We also compared their opinions on shared test cases and contrasted their views with the relevant literature. Results: We present a quality model which consists of 11 test-case quality attributes. We also identify a misalignment in defining test-case quality among practitioners and between academia and industry, along with suggestions for improving test-case quality in industry. Conclusion: The results show that practitioners' background, including roles and working experience, are critical dimensions of how test-case quality is defined and assessed.


title: Axisymmetric hybrid Vlasov equilibria with applications to tokamak plasmas

abstract: We derive axisymmetric equilibrium equations in the context of the hybrid Vlasov model with kinetic ions and massless fluid electrons, assuming isothermal electrons and deformed Maxwellian distribution functions for the kinetic ions. The equilibrium system comprises a Grad-Shafranov partial differential equation and an integral equation. These equations can be utilized to calculate the equilibrium magnetic field and ion distribution function, respectively, for given particle density or given ion and electron toroidal current density profiles. The resulting solutions describe states characterized by toroidal plasma rotation and toroidal electric current density. Additionally, due to the presence of fluid electrons, these equilibria also exhibit a poloidal current density component. This is in contrast to the fully kinetic Vlasov model, where axisymmetric Jeans equilibria can only accommodate toroidal currents and flows, given the absence of a third integral of the microscopic motion.


title: Local boundedness of minimizers under unbalanced Orlicz growth conditions

abstract: Local minimizers of integral functionals of the calculus of variations are analyzed under growth conditions dictated by different lower and upper bounds for the integrand. Growths of non-necessarily power type are allowed. The local boundedness of the relevant minimizers is established under a suitable balance between the lower and the upper bounds. Classical minimizers, as well as quasi-minimizers are included in our discussion. Functionals subject to so-called $p,q$-growth conditions are embraced as special cases and the corresponding sharp results available in the literature are recovered.


title: Curriculum-Driven Edubot: A Framework for Developing Language Learning Chatbots Through Synthesizing Conversational Data

abstract: Chatbots have become popular in educational settings, revolutionizing how students interact with material and how teachers teach. We present Curriculum-Driven EduBot, a framework for developing a chatbot that combines the interactive features of chatbots with the systematic material of English textbooks to assist students in enhancing their conversational skills. We begin by extracting pertinent topics from textbooks and then using large language models to generate dialogues related to these topics. We then fine-tune an open-source LLM using our generated conversational data to create our curriculum-driven chatbot. User studies demonstrate that our chatbot outperforms ChatGPT in leading curriculum-based dialogues and adapting its dialogue to match the user's English proficiency level. By combining traditional textbook methodologies with conversational AI, our approach offers learners an interactive tool that aligns with their curriculum and provides user-tailored conversation practice. This facilitates meaningful student-bot dialogues and enriches the overall learning experience within the curriculum's pedagogical framework.


title: Cascaded Nonlinear Control Design for Highly Underactuated Balance Robots

abstract: This paper presents a nonlinear control design for highly underactuated balance robots, which possess more numbers of unactuated degree-of-freedom (DOF) than actuated ones. To address the challenge of simultaneously trajectory tracking of actuated coordinates and balancing of unactuated coordinates, the proposed control converts a robot dynamics into a series of cascaded subsystems and each of them is considered virtually actuated. To achieve the control goal, we sequentially design and update the virtual and actual control inputs to incorporate the balance task such that the unactuated coordinates are balanced to their instantaneous equilibrium. The closed-loop dynamics are shown to be stable and the tracking errors exponentially converge towards a neighborhood near the origin. The simulation results demonstrate the effectiveness of the proposed control design by using a triple-inverted pendulum cart system.


title: Towards Sustainable Horizons: A Comprehensive Blueprint for Mars Colonization

abstract: Establishing a human colony on Mars is one of the most ambitious endeavors of our time. This paper provides a comprehensive assessment of the challenges and solutions related to Mars colonization, emphasizing sustainability, efficiency, and the well-being of colonists. We begin by analyzing the Martian environment, focusing on challenges such as radiation, dust storms, temperature variations, and low atmospheric pressure. The discourse then transitions into technological solutions, exploring innovations in infrastructure, energy production, transportation, and life support systems. Special attention is paid to harnessing in-situ resources and recent advancements like Martian concrete, aeroponics, and algae bioreactors. The human dimension is addressed, from the psychological implications of prolonged isolation to physiological considerations in reduced gravity. Economic considerations encapsulate the cost-benefit analysis of in-situ resource utilization versus Earth transport and the potential incentives for private sector investment. The paper culminates in recommendations for future research, highlighting areas pivotal for refining the blueprint of Mars colonization. This work serves as a foundational guide for researchers, policymakers, and visionaries aiming to make humanity's interplanetary future a reality.


title: A self-consistent Hamiltonian model of the ponderomotive force and its structure preserving discretization

abstract: In the presence of an inhomogeneous oscillatory electric field, charged particles experience a net force, averaged over the oscillatory timescale, known as the ponderomotive force. We derive a one-dimensional Hamiltonian model which self-consistently couples the electromagnetic field to a plasma which experiences the ponderomotive force. We derive a family of structure preserving discretizations of the model of varying order in space and time using conforming and broken finite element exterior calculus spectral element methods. In all variants of our discretization framework, the method is found to conserve the Casimir invariants of the continuous model to machine precision and the energy to the order of the splitting method used.


title: Granularity at Scale: Estimating Neighborhood Socioeconomic Indicators from High-Resolution Orthographic Imagery and Hybrid Learning

abstract: Many areas of the world are without basic information on the socioeconomic well-being of the residing population due to limitations in existing data collection methods. Overhead images obtained remotely, such as from satellite or aircraft, can help serve as windows into the state of life on the ground and help "fill in the gaps" where community information is sparse, with estimates at smaller geographic scales requiring higher resolution sensors. Concurrent with improved sensor resolutions, recent advancements in machine learning and computer vision have made it possible to quickly extract features from and detect patterns in image data, in the process correlating these features with other information. In this work, we explore how well two approaches, a supervised convolutional neural network and semi-supervised clustering based on bag-of-visual-words, estimate population density, median household income, and educational attainment of individual neighborhoods from publicly available high-resolution imagery of cities throughout the United States. Results and analyses indicate that features extracted from the imagery can accurately estimate the density (R$^2$ up to 0.81) of neighborhoods, with the supervised approach able to explain about half the variation in a population's income and education. In addition to the presented approaches serving as a basis for further geographic generalization, the novel semi-supervised approach provides a foundation for future work seeking to estimate fine-scale information from aerial imagery without the need for label data.


title: GraB-sampler: Optimal Permutation-based SGD Data Sampler for PyTorch

abstract: The online Gradient Balancing (GraB) algorithm greedily choosing the examples ordering by solving the herding problem using per-sample gradients is proved to be the theoretically optimal solution that guarantees to outperform Random Reshuffling. However, there is currently no efficient implementation of GraB for the community to easily use it. This work presents an efficient Python library, $\textit{GraB-sampler}$, that allows the community to easily use GraB algorithms and proposes 5 variants of the GraB algorithm. The best performance result of the GraB-sampler reproduces the training loss and test accuracy results while only in the cost of 8.7% training time overhead and 0.85% peak GPU memory usage overhead.


title: Componentwise linearity of edge ideals of weighted oriented graphs

abstract: In this paper, we study the componentwise linearity of edge ideals of weighted oriented graphs. We show that if $D$ is a weighted oriented graph whose edge ideal $I(D)$ is componentwise linear, then the underlying simple graph $G$ of $D$ is co-chordal. This is an analogue of Fr\"oberg's theorem for weighted oriented graphs. We give combinatorial characterizations of componentwise linearity of $I(D)$ if $V^+$ are sinks or $\vert V^+ \vert\leq 1$. Furthermore, if $G$ is chordal or bipartite or $V^+$ are sinks or $\vert V^+ \vert\leq 1$, then we show the following equivalence for $I(D)$: $$ \text{Vertex splittable}\,\, \Longleftrightarrow\,\, \text{Linear quotient}\,\, \Longleftrightarrow\,\, \text{Componentwise linear}.$$


title: Bar formation and destruction in the FIRE-2 simulations

abstract: The physical mechanisms responsible for bar formation and destruction in galaxies remain a subject of debate. While we have gained valuable insight into how bars form and evolve from isolated idealized simulations, in the cosmological domain, galactic bars evolve in complex environments with mergers, gas accretion events, in presence of turbulent Inter Stellar Medium (ISM) with multiple star formation episodes, in addition to coupling to their host galaxies' dark matter halos. We investigate bar formation in 13 Milky Way-mass galaxies from the FIRE-2 (Feedback in Realistic Environments) cosmological zoom-in simulations. 8 of the 13 simulated galaxies form bars at some point during their history: three from tidal interactions and five from internal evolution of the disk. The bars in FIRE-2 are generally shorter than the corotation radius (mean bar radius $\sim 1.53$ kpc), have a wide range of pattern speeds (36--97 km s$^{-1}$kpc$^{-1}$), and live for a wide range of dynamical times (2--160 bar rotations). We find that bar formation in FIRE-2 galaxies is influenced by satellite interactions and the stellar-to-dark matter mass ratio in the inner galaxy, but neither is a sufficient condition for bar formation. Bar formation is more likely to occur, and the bars formed are stronger and longer-lived, if the disks are kinematically cold; galaxies with high central gas fractions and/or vigorous star formation, on the other hand, tend to form weaker bars. In the case of the FIRE-2 galaxies these properties combine to produce ellipsoidal bars with strengths $A_2/A_0 \sim$ 0.1--0.2.


title: SatDM: Synthesizing Realistic Satellite Image with Semantic Layout Conditioning using Diffusion Models

abstract: Deep learning models in the Earth Observation domain heavily rely on the availability of large-scale accurately labeled satellite imagery. However, obtaining and labeling satellite imagery is a resource-intensive endeavor. While generative models offer a promising solution to address data scarcity, their potential remains underexplored. Recently, Denoising Diffusion Probabilistic Models (DDPMs) have demonstrated significant promise in synthesizing realistic images from semantic layouts. In this paper, a conditional DDPM model capable of taking a semantic map and generating high-quality, diverse, and correspondingly accurate satellite images is implemented. Additionally, a comprehensive illustration of the optimization dynamics is provided. The proposed methodology integrates cutting-edge techniques such as variance learning, classifier-free guidance, and improved noise scheduling. The denoising network architecture is further complemented by the incorporation of adaptive normalization and self-attention mechanisms, enhancing the model's capabilities. The effectiveness of our proposed model is validated using a meticulously labeled dataset introduced within the context of this study. Validation encompasses both algorithmic methods such as Frechet Inception Distance (FID) and Intersection over Union (IoU), as well as a human opinion study. Our findings indicate that the generated samples exhibit minimal deviation from real ones, opening doors for practical applications such as data augmentation. We look forward to further explorations of DDPMs in a wider variety of settings and data modalities. An open-source reference implementation of the algorithm and a link to the benchmarked dataset are provided at https://github.com/obaghirli/syn10-diffusion.


title: Wi-Fi 8: Embracing the Millimeter-Wave Era

abstract: With the increasing demands in communication, Wi-Fi technology is advancing towards its next generation. Building on the foundation of Wi-Fi 7, millimeter-wave technology is anticipated to converge with Wi-Fi 8 in the near future. In this paper, we look into the millimeter-wave technology and other potential feasible features, providing a comprehensive perspective on the future of Wi-Fi 8. Our simulation results demonstrate that significant performance gains can be achieved, even in the presence of hardware impairments.


title: Extraordinary physical properties of superconducting YBa$_{1.4}$Sr$_{0.6}$Cu$_3$O$_6$Se$_{0.51}$ in a multiphase ceramic material

abstract: We report on a novel material obtained by modifying pristine YBCO superconductor in solid phase synthesis via simultaneous partial substitution of Ba by Sr and O by Se. Simultaneous application of EDX and EBSD confirmed that Se atoms indeed enter the crystalline lattice cell. The detailed XRD analysis further confirmed this conclusion and revealed that the obtained polycrystalline material contains 5 phases, with the major phase ($>$30\%) being a cuprate YBa$_{1.4}$Sr$_{0.6}$Cu$_{3}$O$_{6}$Se$% _{0.51}$. The obtained superconductor demonstrates unique properties, including i) two superconducting transitions with $T_{c1}\approx$ 35 K (granular surface phase) and $T_{c2}\approx$ 13 K (bulk granular phase) - this granular phase arrangement naturally yields the Wohlleben effect; ii) reentrant diamagnetism and resistive state; iii) strong paramagnetism with Curie-Weiss behavior (% $\theta_{CW} \approx$ 4 K) and the ferromagnetic phase overruled by superconductivity; iv) Schottky anomaly visible in the heat capacity data and most likely delivered by small clusters of magnetic moments. Thorough analysis of the heat capacity data reveals a strong-coupling $d-$wave pairing in its bulk phase (with $2\Delta /T_{c}\approx 5$), and, most importantly, a very unusual anomaly in this cuprate. There are reasons to associate this anomaly with the quantum criticality observed in traditional cuprate superconductors at much higher fields (achievable only in certain laboratories). In our case, the fields leading to quantum criticality are much weaker ($\sim $7-9 T) thus opening avenues for exploration of the interplay between superconductivity and pair density waves by the wider research community.


title: Diquarks and $\Lambda^0/\pi^+$, $\Xi^-/\pi^+$ ratios in the framework of the EPNJL model

abstract: The applicability of the effective models to the description of baryons and the behaviour of ratios of strange baryons to pions is discussed. In the framework of the EPNJL model, the Bethe - Salpeter equation is used to find masses of baryons, which are considered as diquark-quark state. Baryon melting is discussed at a finite chemical potential and a flavor dependence of the hadronic deconfinement temperature is pointed. It is shown that the description of the diquark-quark state at finite chemical potential is limited due to the occurrence of the Bose condensate. This effect is strongly manifested in the description of light diquarks and baryons. Both $\Lambda^0/\pi^+$ and $\Xi^-/\pi^+$ ratios show a sharp behaviour as functions of $T/\mu_B$ variable, where T and $\mu_B$ are calculated along the melting lines.


title: PROSE: Predicting Operators and Symbolic Expressions using Multimodal Transformers

abstract: Approximating nonlinear differential equations using a neural network provides a robust and efficient tool for various scientific computing tasks, including real-time predictions, inverse problems, optimal controls, and surrogate modeling. Previous works have focused on embedding dynamical systems into networks through two approaches: learning a single solution operator (i.e., the mapping from input parametrized functions to solutions) or learning the governing system of equations (i.e., the constitutive model relative to the state variables). Both of these approaches yield different representations for the same underlying data or function. Additionally, observing that families of differential equations often share key characteristics, we seek one network representation across a wide range of equations. Our method, called Predicting Operators and Symbolic Expressions (PROSE), learns maps from multimodal inputs to multimodal outputs, capable of generating both numerical predictions and mathematical equations. By using a transformer structure and a feature fusion approach, our network can simultaneously embed sets of solution operators for various parametric differential equations using a single trained network. Detailed experiments demonstrate that the network benefits from its multimodal nature, resulting in improved prediction accuracy and better generalization. The network is shown to be able to handle noise in the data and errors in the symbolic representation, including noisy numerical values, model misspecification, and erroneous addition or deletion of terms. PROSE provides a new neural network framework for differential equations which allows for more flexibility and generality in learning operators and governing equations from data.


title: Safe Non-Stochastic Control of Control-Affine Systems: An Online Convex Optimization Approach

abstract: We study how to safely control nonlinear control-affine systems that are corrupted with bounded non-stochastic noise, i.e., noise that is unknown a priori and that is not necessarily governed by a stochastic model. We focus on safety constraints that take the form of time-varying convex constraints such as collision-avoidance and control-effort constraints. We provide an algorithm with bounded dynamic regret, i.e., bounded suboptimality against an optimal clairvoyant controller that knows the realization of the noise a prior. We are motivated by the future of autonomy where robots will autonomously perform complex tasks despite real-world unpredictable disturbances such as wind gusts. To develop the algorithm, we capture our problem as a sequential game between a controller and an adversary, where the controller plays first, choosing the control input, whereas the adversary plays second, choosing the noise's realization. The controller aims to minimize its cumulative tracking error despite being unable to know the noise's realization a prior. We validate our algorithm in simulated scenarios of (i) an inverted pendulum aiming to stay upright, and (ii) a quadrotor aiming to fly to a goal location through an unknown cluttered environment.


title: MEM: Multi-Modal Elevation Mapping for Robotics and Learning

abstract: Elevation maps are commonly used to represent the environment of mobile robots and are instrumental for locomotion and navigation tasks. However, pure geometric information is insufficient for many field applications that require appearance or semantic information, which limits their applicability to other platforms or domains. In this work, we extend a 2.5D robot-centric elevation mapping framework by fusing multi-modal information from multiple sources into a popular map representation. The framework allows inputting data contained in point clouds or images in a unified manner. To manage the different nature of the data, we also present a set of fusion algorithms that can be selected based on the information type and user requirements. Our system is designed to run on the GPU, making it real-time capable for various robotic and learning tasks. We demonstrate the capabilities of our framework by deploying it on multiple robots with varying sensor configurations and showcasing a range of applications that utilize multi-modal layers, including line detection, human detection, and colorization.


title: Multi-Bellman operator for convergence of $Q$-learning with linear function approximation

abstract: We study the convergence of $Q$-learning with linear function approximation. Our key contribution is the introduction of a novel multi-Bellman operator that extends the traditional Bellman operator. By exploring the properties of this operator, we identify conditions under which the projected multi-Bellman operator becomes contractive, providing improved fixed-point guarantees compared to the Bellman operator. To leverage these insights, we propose the multi $Q$-learning algorithm with linear function approximation. We demonstrate that this algorithm converges to the fixed-point of the projected multi-Bellman operator, yielding solutions of arbitrary accuracy. Finally, we validate our approach by applying it to well-known environments, showcasing the effectiveness and applicability of our findings.


title: Metric stretching and the period map for smooth 4-manifolds

abstract: The period map for a smooth closed 4-manifold assigns to a Riemannian metric the space of self-dual harmonic 2-forms. This map is from the space of metrics to the Grassmannian of maximal positive subspaces in the second cohomology, where positivity is defined by cup product. We show that the period map has dense image for every 4-manifold, and that it is surjective if $b^+=1$. Similar results hold for manifolds of dimension a multiple of four. The proofs involve families of metrics constructed by stretching along various hypersurfaces.


title: Europa's Coupled Ice-Ocean System: Temporal Evolution of a Pure Ice Shell

abstract: Europa's icy surface likely overlies an ocean, but the ice thickness is not known. Here we model the temporal growth of a Europan shell of pure ice subject to varying ice-ocean heat fluxes, ice rheologies, and internal heating rates. Both constant and viscosity-dependent internal heating rates are included, yielding similar results for particular viscosities. A growing shell starting from an ice-free initial state transitions from conduction to convection at O(10$^5$) to O(10$^7$) years, with thicknesses O(1-10) km. For low ice-ocean heat fluxes and larger viscosities, the time to reach a steady-state thickness exceeds the estimated age of Europa's surface, whence the shell may still be growing. We conclude by presenting a method for inferring ice-ocean heat fluxes and vertical ocean velocities from the ice-thickness measurements expected from the upcoming Clipper mission, assuming the shell is in a conductive steady state.


title: Twist Angle Dependence of Exciton Resonances in WSe$_2$/MoSe$_2$ Moir\'e Heterostructures

abstract: Van der Waals heterostructures based on TMDC semiconducting materials have emerged as promising materials due to their spin-valley properties efficiently contrived by the stacking-twist angle. The twist angle drastically alters the interlayer excitonic response by determining the spatial modulation, confining moir\'e potential, and atomic reconstruction in those systems. Nonetheless, the impact of the interlayer twist angle on the band alignment of the monolayers composing the heterostructure has received scant attention in the current research. Here, we systematically investigate the twist-angle dependence of intra- and inter-layer excitons in twisted WSe2/MoSe2 heterobilayers. By performing photoluminescence excitation spectroscopy, we identify the twist-angle dependence of interlayer emission response, where an energy redshift of about 100 meV was observed for increasing twist angles. The applied microscopic theory predicts, on the contrary, a blueshift, which suggests that additional features, such as atomic reconstruction, may also surpass the moir\'e potential confinement. Those findings also prompt the effects of dielectric screening by addressing the redshift response to the stacking layer order. Furthermore, our findings support the evidence of a band offset dependence on the twist angle for the adjacent monolayers composing the heterobilayer system. Our fundamental study of exciton resonances deepens the current understanding of the physics of twisted TMDC heterostructures and paves the way for future experiments and theoretical works.


title: Search for supersymmetry in final states with disappearing tracks in proton-proton collisions at $\sqrt{s}$ = 13 TeV

abstract: A search is presented for charged, long-lived supersymmetric particles in final states with one or more disappearing tracks. The search is based on data from proton-proton collisions at a center-of-mass energy of 13 TeV collected with the CMS detector at the CERN LHC between 2016 and 2018, corresponding to an integrated luminosity of 137 fb$^{-1}$. The search is performed over final states characterized by varying numbers of jets, b-tagged jets, electrons, and muons. The length of signal-candidate tracks in the plane perpendicular to the beam axis is used to characterize the lifetimes of wino- and higgsino-like charginos produced in the context of the minimal supersymmetric standard model. The d$E$/d$x$ energy loss of signal-candidate tracks is used to increase the sensitivity to charginos with a large mass and thus a small Lorentz boost. The observed results are found to be statistically consistent with the background-only hypothesis. Limits on the pair production cross section of gluinos and squarks are presented in the framework of simplified models of supersymmetric particle production and decay, and for electroweakino production based on models of wino and higgsino dark matter. The limits presented are the most stringent to date for scenarios with light third-generation squarks and a wino- or higgsino-like dark matter candidate capable of explaining the known dark matter relic density.


title: The fork and its role in unification of closure algebras

abstract: We consider the two-pronged fork frame $F$ and the variety $\mathbf{Eq}(B_F)$ generated by its dual closure algebra $B_F$. We describe the finite projective algebras in $\mathbf{Eq}(B_F)$ and give a purely semantic proof that unification in $\mathbf{Eq}(B_F)$ is finitary and not unitary.


title: FENDA-FL: Personalized Federated Learning on Heterogeneous Clinical Datasets

abstract: Federated learning (FL) is increasingly being recognized as a key approach to overcoming the data silos that so frequently obstruct the training and deployment of machine-learning models in clinical settings. This work contributes to a growing body of FL research specifically focused on clinical applications along three important directions. First, we expand the FLamby benchmark (du Terrail et al., 2022a) to include evaluation of personalized FL methods and demonstrate substantive performance improvements over the original results. Next, we advocate for a comprehensive checkpointing and evaluation framework for FL to reflect practical settings and provide multiple comparison baselines. Finally, we study an important ablation of PerFCL (Zhang et al., 2022). This ablation is a natural extension of FENDA (Kim et al., 2016) to the FL setting. Experiments conducted on the FLamby benchmarks and GEMINI datasets (Verma et al., 2017) show that the approach is robust to heterogeneous clinical data and often outperforms existing global and personalized FL techniques, including PerFCL.


title: An Attentional Recurrent Neural Network for Occlusion-Aware Proactive Anomaly Detection in Field Robot Navigation

abstract: The use of mobile robots in unstructured environments like the agricultural field is becoming increasingly common. The ability for such field robots to proactively identify and avoid failures is thus crucial for ensuring efficiency and avoiding damage. However, the cluttered field environment introduces various sources of noise (such as sensor occlusions) that make proactive anomaly detection difficult. Existing approaches can show poor performance in sensor occlusion scenarios as they typically do not explicitly model occlusions and only leverage current sensory inputs. In this work, we present an attention-based recurrent neural network architecture for proactive anomaly detection that fuses current sensory inputs and planned control actions with a latent representation of prior robot state. We enhance our model with an explicitly-learned model of sensor occlusion that is used to modulate the use of our latent representation of prior robot state. Our method shows improved anomaly detection performance and enables mobile field robots to display increased resilience to predicting false positives regarding navigation failure during periods of sensor occlusion, particularly in cases where all sensors are briefly occluded. Our code is available at: https://github.com/andreschreiber/roar


title: Post-Training Overfitting Mitigation in DNN Classifiers

abstract: Well-known (non-malicious) sources of overfitting in deep neural net (DNN) classifiers include: i) large class imbalances; ii) insufficient training-set diversity; and iii) over-training. In recent work, it was shown that backdoor data-poisoning also induces overfitting, with unusually large classification margins to the attacker's target class, mediated particularly by (unbounded) ReLU activations that allow large signals to propagate in the DNN. Thus, an effective post-training (with no knowledge of the training set or training process) mitigation approach against backdoors was proposed, leveraging a small clean dataset, based on bounding neural activations. Improving upon that work, we threshold activations specifically to limit maximum margins (MMs), which yields performance gains in backdoor mitigation. We also provide some analytical support for this mitigation approach. Most importantly, we show that post-training MM-based regularization substantially mitigates non-malicious overfitting due to class imbalances and overtraining. Thus, unlike adversarial training, which provides some resilience against attacks but which harms clean (attack-free) generalization, we demonstrate an approach originating from adversarial learning that helps clean generalization accuracy. Experiments on CIFAR-10 and CIFAR-100, in comparison with peer methods, demonstrate strong performance of our methods.


title: Insight from the Kullback--Leibler divergence into adaptive importance sampling schemes for rare event analysis in high dimension

abstract: We study two adaptive importance sampling schemes for estimating the probability of a rare event in the high-dimensional regime $d \to \infty$ with $d$ the dimension. The first scheme, motivated by recent results, seeks to use as auxiliary distribution a projection of the optimal auxiliary distribution (optimal among Gaussian distributions, and in the sense of the Kullback--Leibler divergence); the second scheme is the prominent cross-entropy method. In these schemes, two samples are used: the first one to learn the auxiliary distribution and the second one, drawn according to the learnt distribution, to perform the final probability estimation. Contrary to the common belief that the sample size needs to grow exponentially in the dimension to make the estimator consistent and avoid the weight degeneracy phenomenon, we find that a polynomial sample size in the first learning step is enough. We prove this result assuming that the sought probability is bounded away from $0$. For the first scheme, we show that the sample size only needs to grow like $rd$ with $r$ the effective dimension of the projection, while for cross-entropy, the polynomial growth rate remains implicit although insight on its value is provided. In addition to proving consistency, we also prove that in the regimes studied, the importance sampling weights do not degenerate.


title: An analysis of the derivative-free loss method for solving PDEs

abstract: This study analyzes the derivative-free loss method to solve a certain class of elliptic PDEs using neural networks. The derivative-free loss method uses the Feynman-Kac formulation, incorporating stochastic walkers and their corresponding average values. We investigate the effect of the time interval related to the Feynman-Kac formulation and the walker size in the context of computational efficiency, trainability, and sampling errors. Our analysis shows that the training loss bias is proportional to the time interval and the spatial gradient of the neural network while inversely proportional to the walker size. We also show that the time interval must be sufficiently long to train the network. These analytic results tell that we can choose the walker size as small as possible based on the optimal lower bound of the time interval. We also provide numerical tests supporting our analysis.


title: Robust Safe Control with Multi-Modal Uncertainty

abstract: Safety in dynamic systems with prevalent uncertainties is crucial. Current robust safe controllers, designed primarily for uni-modal uncertainties, may be either overly conservative or unsafe when handling multi-modal uncertainties. To address the problem, we introduce a novel framework for robust safe control, tailored to accommodate multi-modal Gaussian dynamics uncertainties and control limits. We first present an innovative method for deriving the least conservative robust safe control under additive multi-modal uncertainties. Next, we propose a strategy to identify a locally least-conservative robust safe control under multiplicative uncertainties. Following these, we introduce a unique safety index synthesis method. This provides the foundation for a robust safe controller that ensures a high probability of realizability under control limits and multi-modal uncertainties. Experiments on a simulated Segway validate our approach, showing consistent realizability and less conservatism than controllers designed using uni-modal uncertainty methods. The framework offers significant potential for enhancing safety and performance in robotic applications.


title: Propagation and Attribution of Uncertainty in Medical Imaging Pipelines

abstract: Uncertainty estimation, which provides a means of building explainable neural networks for medical imaging applications, have mostly been studied for single deep learning models that focus on a specific task. In this paper, we propose a method to propagate uncertainty through cascades of deep learning models in medical imaging pipelines. This allows us to aggregate the uncertainty in later stages of the pipeline and to obtain a joint uncertainty measure for the predictions of later models. Additionally, we can separately report contributions of the aleatoric, data-based, uncertainty of every component in the pipeline. We demonstrate the utility of our method on a realistic imaging pipeline that reconstructs undersampled brain and knee magnetic resonance (MR) images and subsequently predicts quantitative information from the images, such as the brain volume, or knee side or patient's sex. We quantitatively show that the propagated uncertainty is correlated with input uncertainty and compare the proportions of contributions of pipeline stages to the joint uncertainty measure.


title: ALMA Lensing Cluster Survey: average dust, gas, and star formation properties of cluster and field galaxies from stacking analysis

abstract: We develop new tools for continuum and spectral stacking of ALMA data, and apply these to the ALMA Lensing Cluster Survey (ALCS). We derive average dust masses, gas masses and star formation rates (SFR) from the stacked observed 260~GHz continuum of 3402 individually undetected star-forming galaxies, of which 1450 are cluster galaxies and 1952 field galaxies, over three redshift and stellar mass bins (over $z = 0$-1.6 and log $M_{*} [M_{\odot}] = 8$-11.7), and derive the average molecular gas content by stacking the emission line spectra in a SFR-selected subsample. The average SFRs and specific SFRs of both cluster and field galaxies are lower than those expected for Main Sequence (MS) star-forming galaxies, and only galaxies with stellar mass of log $M_{*} [M_{\odot}] = 9.35$-10.6 show dust and gas fractions comparable to those in the MS. The ALMA-traced average `highly obscured' SFRs are typically lower than the SFRs observed from optical to near-IR spectral analysis. Cluster and field galaxies show similar trends in their contents of dust and gas, even when field galaxies were brighter in the stacked maps. From spectral stacking we find a potential CO ($J=4\to3$) line emission (SNR $\sim4$) when stacking cluster and field galaxies with the highest SFRs.


title: Models for gaps $g=2p_1$

abstract: We have shown previously that at each stage of Eratosthenes sieve there is a corresponding cycle of gaps $\mathcal{G}(p_0^\#)$. We can view these cycles of gaps as a discrete dynamic system, and from this system we can obtain exact models for the populations and relative populations of gaps $g < 2p_1$ if we can get the initial conditions from $\mathcal{G}(p_0^\#)$. In this addendum we have shown that we can produce the model for $g=2p_1$ from these initial conditions. This model requires one special iteration to track the count from $\mathcal{G}(p_0^\#)$ to $\mathcal{G}(p_1^\#)$, after which we can use the general model for these populations. As a specific example we exhibit the model for the gap $g=82$ using $\mathcal{G}(37^\#)$ for initial conditions. We show further that in order to produce the models for $g=2p_1+2$ and beyond from initial conditions in $\mathcal{G}(p_0^\#)$, we would have to track subpopulations of the driving terms until the general model applies, that is until $g < 2p_{k+1}$. This work serves as an addendum to the existing references "Patterns among the Primes" and "Combinatorics of the gaps between primes". We do not duplicate that background here, beyond summarizing a few needed results.


title: Energy Optimal Control of a Harmonic Oscillator with a State Inequality Constraint

abstract: In this article, the optimal control problem for a harmonic oscillator with an inequality constraint is considered. The applied energy of the oscillator during a fixed final time period is used as the performance criterion. The analytical solution with both small and large terminal time is found for a special case when the undriven oscillator system is initially at rest. For other initial states of the Harmonic oscillator, the optimal solution is found to have three modes: wait-move, move-wait, and move-wait-move given a longer terminal time.