title: Scaling Opponent Shaping to High Dimensional Games

abstract: In multi-agent settings with mixed incentives, methods developed for zero-sum games have been shown to lead to detrimental outcomes. To address this issue, opponent shaping (OS) methods explicitly learn to influence the learning dynamics of co-players and empirically lead to improved individual and collective outcomes. However, OS methods have only been evaluated in low-dimensional environments due to the challenges associated with estimating higher-order derivatives or scaling model-free meta-learning. Alternative methods that scale to more complex settings either converge to undesirable solutions or rely on unrealistic assumptions about the environment or co-players. In this paper, we successfully scale an OS-based approach to general-sum games with temporally-extended actions and long-time horizons for the first time. After analysing the representations of the meta-state and history used by previous algorithms, we propose a simplified version called Shaper. We show empirically that Shaper leads to improved individual and collective outcomes in a range of challenging settings from literature. We further formalize a technique previously implicit in the literature, and analyse its contribution to opponent shaping. We show empirically that this technique is helpful for the functioning of prior methods in certain environments. Lastly, we show that previous environments, such as the CoinGame, are inadequate for analysing temporally-extended general-sum interactions.


title: Large-$N$ Solution and Effective Action of "Twisted-Mass'' Deformed $\mathbb{CP}(N-1)$ Model

abstract: We study effective dynamics of the non-supersymmetric two-dimensional $\mathbb{CP}(N-1)$ model in the large $N$ limit. This model is deformed by a mass term $m$ preserving $\mathbb{Z}_N$ symmetry of the Lagrangian. At small $m$ the theory is strongly coupled and resembles the undeformed $\mathbb{CP}(N-1)$ model, while at large $m$ it is in a weakly coupled Higgs phase with spontaneously broken $\mathbb{Z}_N$. We find the phase transition point and discuss the fate of the kink-antikink ``mesons'' at strong coupling. We also resolve an issue of instability that arose in previous studies of this model.


title: Cascades transition in generalised two-dimensional turbulence

abstract: The generalised two-dimensional (2D) fluid is characterised by a relationship between a scalar field $q$, called generalised vorticity, and the stream function $\psi$, namely $q = -(-\nabla^2)^\frac{\alpha}{2} \psi$. We study the transition of cascades in generalised 2D turbulence by systematically varying the parameter $\alpha$ and investigating its influential role in determining the directionality (inverse, forward, or bidirectional) of these cascades. We identify a finite critical threshold $\alpha_c$, where a transition occurs in cascade directionality, emphasising that $\alpha = 0$ signifies a laminar flow state with a vanishing nonlinear term. At a critical value of $\alpha_c$ a small wavelength instability is induced in the laminar flow. Using perturbation analysis we obtain that $\alpha_c$ is inversely proportional to the square of the Reynolds number -- a scaling validated through numerical simulations. We derive upper bounds for the dimensionless dissipation rates of generalised energy $E_G$ and enstrophy $\Omega_G$ as the Reynolds number tends to infinity. These findings corroborate numerical simulations, illustrating the inverse cascade of $E_G$ and forward cascade of $\Omega_G$ for $\alpha > 0$, contrasting with the reverse behaviour for $\alpha < 0$. The dependence of dissipation rates on system parameters reinforces these observed transitions, substantiated by spectral fluxes and energy spectra, which hint at Kolmogorov-like scalings at large scales but discrepancies at smaller scales. These discrepancies are possibly due to nonlocal transfers, which dominate the dynamics as we go from positive to negative values of $\alpha$. Intriguingly, the forward cascade of $E_G$ for $\alpha < 0$ reveals similarities to three-dimensional turbulence, notably the emergence of vortex filaments within a 2D framework, marking a unique feature of this generalised model.


title: A degenerate trion liquid in atomic double layers

abstract: Trions are a three-particle bound state of electrons and holes. Experimental realization of a trion liquid in the degenerate quantum limit would open a wide range of phenomena in quantum many-body physics. However, trions have been observed only as optically excited states in doped semiconductors to date. Here we report the emergence of a degenerate trion liquid in a Bose-Fermi mixture of holes and excitons in Coulomb-coupled MoSe2/WSe2 monolayers. By electrically tuning the hole density in WSe2 to be two times the electron density in MoSe2, we generate equilibrium interlayer trions with binding energy about 1 meV at temperatures two orders of magnitude below the Fermi temperature. We further demonstrate a density-tuned phase transition to an electron-hole plasma, spin-singlet correlations for the constituent holes and Zeeman-field-induced dissociation of trions. The results pave the way for exploration of the correlated phases of composite particles in solids.


title: Li-Yau type and Harnack estimates for systems of reaction-diffusion equations via hybrid curvature-dimension condition

abstract: We prove Li-Yau and Harnack inequalities for systems of linear reaction-diffusion equations. By introducing an additional discrete spatial variable, the system is rewritten as a scalar diffusion equation with an operator sum. For such operators in a mixed continuous and discrete setting, we introduce the hybrid curvature-dimension condition $CD_{hyb} (\kappa,d)$, which is a combination of the Bakry-\'Emery condition $CD(\kappa,d)$ and one of its discrete analogues, the condition $CD_\Upsilon (\kappa,d)$. We establish a hybrid tensorisation principle and prove that under $CD_{hyb} (0,d)$ with $d<\infty$ a differential Harnack estimate of Li-Yau type holds, from which a Harnack inequality can be deduced by an integration argument.


title: SoK: Security of Cross-chain Bridges: Attack Surfaces, Defenses, and Open Problems

abstract: Cross-chain bridges are used to facilitate token and data exchanges across blockchains. Although bridges are becoming increasingly popular, they are still in their infancy and have been attacked multiple times recently, causing significant financial loss. Although there are numerous reports online explaining each of the incidents on cross-chain bridges, they are scattered over the Internet, and there is no work that analyzes the security landscape of cross-chain bridges in a holistic manner. To fill the gap, in this paper, we performed a systematic study of cross-chain bridge security issues. First, we summarize the characteristics of existing cross-chain bridges, including their usages, verification mechanisms, communication models, and three categorizations. Based on these characteristics, we identify 12 potential attack vectors that attackers may exploit. Next, we introduce a taxonomy that categorizes cross-chain attacks in the past two years into 10 distinct types, and then provide explanations for each vulnerability type, accompanied by Solidity code examples. We also discuss existing and potential defenses, as well as open questions and future research directions on cross-chain bridges. We believe that this systematization can shed light on designing and implementing cross-chain bridges with higher security and, more importantly, facilitating future research on building a better cross-chain bridge ecosystem.


title: Generator Assisted Mixture of Experts For Feature Acquisition in Batch

abstract: Given a set of observations, feature acquisition is about finding the subset of unobserved features which would enhance accuracy. Such problems have been explored in a sequential setting in prior work. Here, the model receives feedback from every new feature acquired and chooses to explore more features or to predict. However, sequential acquisition is not feasible in some settings where time is of the essence. We consider the problem of feature acquisition in batch, where the subset of features to be queried in batch is chosen based on the currently observed features, and then acquired as a batch, followed by prediction. We solve this problem using several technical innovations. First, we use a feature generator to draw a subset of the synthetic features for some examples, which reduces the cost of oracle queries. Second, to make the feature acquisition problem tractable for the large heterogeneous observed features, we partition the data into buckets, by borrowing tools from locality sensitive hashing and then train a mixture of experts model. Third, we design a tractable lower bound of the original objective. We use a greedy algorithm combined with model training to solve the underlying problem. Experiments with four datasets show that our approach outperforms these methods in terms of trade-off between accuracy and feature acquisition cost.


title: LLMs Cannot Reliably Identify and Reason About Security Vulnerabilities (Yet?): A Comprehensive Evaluation, Framework, and Benchmarks

abstract: Large Language Models (LLMs) have been suggested for use in automated vulnerability repair, but benchmarks showing they can consistently identify security-related bugs are lacking. We thus develop SecLLMHolmes, a fully automated evaluation framework that performs the most detailed investigation to date on whether LLMs can reliably identify and reason about security-related bugs. We construct a set of 228 code scenarios and analyze eight of the most capable LLMs across eight different investigative dimensions using our framework. Our evaluation shows LLMs provide non-deterministic responses, incorrect and unfaithful reasoning, and perform poorly in real-world scenarios. Most importantly, our findings reveal significant non-robustness in even the most advanced models like `PaLM2' and `GPT-4': by merely changing function or variable names, or by the addition of library functions in the source code, these models can yield incorrect answers in 26% and 17% of cases, respectively. These findings demonstrate that further LLM advances are needed before LLMs can be used as general purpose security assistants.


title: Level Repulsion in $\mathcal{N} = 4$ super-Yang-Mills via Integrability, Holography, and the Bootstrap

abstract: We combine supersymmetric localization with the numerical conformal bootstrap to bound the scaling dimension and OPE coefficient of the lowest-dimension operator in $\mathcal{N} = 4$ $\text{SU}(N)$ super-Yang-Mills theory for a wide range of $N$ and Yang-Mills couplings $g_\text{YM}$. We find that our bounds are approximately saturated by weak coupling results at small $g_\text{YM}$. Furthermore, at large $N$ our bounds interpolate between integrability results for the Konishi operator at small $g_\text{YM}$ and strong-coupling results, including the first few stringy corrections, for the lowest-dimension double-trace operator at large $g_\text{YM}$. In particular, our scaling dimension bounds describe the level splitting between the single- and double-trace operators at intermediate coupling.


title: An integrated EOS, pore-crush, strength and damage model framework for near-field ground-shock

abstract: An integrated Equation of State (EOS) and strength/pore-crush/damage model framework is provided for modeling near to source (near-field) ground-shock response, where large deformations and pressures necessitate coupling EOS with pressure-dependent plastic yield and damage. Nonlinear pressure-dependence of strength up to high-pressures is combined with a Modified Cam-Clay-like cap-plasticity model in a way to allow degradation of strength from pore-crush damage, what we call the "Yp-Cap" model. Nonlinear hardening under compaction allows modeling the crush-out of pores in combination with a fully saturated EOS, i.e., for modeling partially saturated ground-shock response, where air-filled voids crush. Attention is given to algorithmic clarity and efficiency of the provided model, and the model is employed in example numerical simulations, including finite element simulations of underground explosions to exemplify its robustness and utility.


title: Improving the Expressive Power of Deep Neural Networks through Integral Activation Transform

abstract: The impressive expressive power of deep neural networks (DNNs) underlies their widespread applicability. However, while the theoretical capacity of deep architectures is high, the practical expressive power achieved through successful training often falls short. Building on the insights gained from Neural ODEs, which explore the depth of DNNs as a continuous variable, in this work, we generalize the traditional fully connected DNN through the concept of continuous width. In the Generalized Deep Neural Network (GDNN), the traditional notion of neurons in each layer is replaced by a continuous state function. Using the finite rank parameterization of the weight integral kernel, we establish that GDNN can be obtained by employing the Integral Activation Transform (IAT) as activation layers within the traditional DNN framework. The IAT maps the input vector to a function space using some basis functions, followed by nonlinear activation in the function space, and then extracts information through the integration with another collection of basis functions. A specific variant, IAT-ReLU, featuring the ReLU nonlinearity, serves as a smooth generalization of the scalar ReLU activation. Notably, IAT-ReLU exhibits a continuous activation pattern when continuous basis functions are employed, making it smooth and enhancing the trainability of the DNN. Our numerical experiments demonstrate that IAT-ReLU outperforms regular ReLU in terms of trainability and better smoothness.


title: Human-System Interface Style Guide for ACORN Digital Control System

abstract: The purpose of this style guide is to assist developers in designing effective and consistent-looking user interfaces for accelerator control rooms. A similar purpose is to help developers avoid the creation of user interfaces that needlessly stray from the accepted standard set forth in this document. This way, all interfaces combined will look congruous. This is especially beneficial for development that spans multiple years by many different contributors. This document is intended as a ready reference source for all user interface design for the Fermilab accelerator complex.


title: Initial-state and final-state effects on hadron production in small collision systems

abstract: Heavy meson production in reactions with nuclei is an active new frontier to understand QCD dynamics and the process of hadronization in nuclear matter. Measurements in various colliding systems at RHIC and LHC, including Pb-Pb, Xe-Xe, O-O, p-Pb, and p-O, enable precision tests of the medium-size, temperature, and mass dependencies of the in-medium parton propagation and shower formation. We employ a coupled DGLAP evolution framework that takes advantage of splitting functions recently obtained in soft-collinear effective theory with Glauber gluons (SCET$_{\rm G}$) and hard thermal loop (HTL) motivated collisional energy loss effects. With jet quenching effects constrained to the nuclear modification factor of charged hadrons in Pb-Pb collisions at 5.02 TeV, we present predictions for light and heavy-meson in Xe-Xe, O-O and p-Pb collisions at the LHC. We find that the nuclear modification scales non-trivially with the quark mass and medium properties. In particular, there can be sizeable collision-induced attenuation of heavy mesons in small systems such as oxygen-oxygen and high-multiplicity p-Pb events. Finally, we analyze the impact of different models of initial-state parton dynamics on the search for QGP signatures in small colliding systems.


title: Wireless, Customizable Coaxially-shielded Coils for Magnetic Resonance Imaging

abstract: Anatomy-specific RF receive coil arrays routinely adopted in magnetic resonance imaging (MRI) for signal acquisition, are commonly burdened by their bulky, fixed, and rigid configurations, which may impose patient discomfort, bothersome positioning, and suboptimal sensitivity in certain situations. Herein, leveraging coaxial cables' inherent flexibility and electric field confining property, for the first time, we present wireless, ultra-lightweight, coaxially-shielded MRI coils achieving a signal-to-noise ratio (SNR) comparable to or surpassing that of commercially available cutting-edge receive coil arrays with the potential for improved patient comfort, ease of implementation, and significantly reduced costs. The proposed coils demonstrate versatility by functioning both independently in form-fitting configurations, closely adapting to relatively small anatomical sites, and collectively by inductively coupling together as metamaterials, allowing for extension of the field-of-view of their coverage to encompass larger anatomical regions without compromising coil sensitivity. The wireless, coaxially-shielded MRI coils reported herein pave the way toward next generation MRI coils.


title: A Discontinuous Galerkin Method for Optimal Control of the Obstacle Problem

abstract: This article provides quasi-optimal a priori error estimates for an optimal control problem constrained by an elliptic obstacle problem where the finite element discretization is carried out using the symmetric interior penalty discontinuous Galerkin method. The main proofs are based on the improved $L^2$-error estimates for the obstacle problem, the discrete maximum principle, and a well-known quadratic growth property. The standard (restrictive) assumptions on mesh are not assumed here.


title: Observation-Augmented Contextual Multi-Armed Bandits for Robotic Exploration with Uncertain Semantic Data

abstract: For robotic decision-making under uncertainty, the balance between exploitation and exploration of available options must be carefully taken into account. In this study, we introduce a new variant of contextual multi-armed bandits called observation-augmented CMABs (OA-CMABs) wherein a decision-making agent can utilize extra outcome observations from an external information source. CMABs model the expected option outcomes as a function of context features and hidden parameters, which are inferred from previous option outcomes. In OA-CMABs, external observations are also a function of context features and thus provide additional evidence about the hidden parameters. Yet, if an external information source is error-prone, the resulting posterior updates can harm decision-making performance unless the presence of errors is considered. To this end, we propose a robust Bayesian inference process for OA-CMABs that is based on the concept of probabilistic data validation. Our approach handles complex mixture model parameter priors and hybrid observation likelihoods for semantic data sources, allowing us to develop validation algorithms based on recently develop probabilistic semantic data association techniques. Furthermore, to more effectively cope with the combined sources of uncertainty in OA-CMABs, we derive a new active inference algorithm for option selection based on expected free energy minimization. This generalizes previous work on active inference for bandit-based robotic decision-making by accounting for faulty observations and non-Gaussian inference. Our approaches are demonstrated on a simulated asynchronous search site selection problem for space exploration. The results show that even if incorrect observations are provided by external information sources, efficient decision-making and robust parameter inference are still achieved in a wide variety of experimental conditions.


title: A Faster Combinatorial Algorithm for Maximum Bipartite Matching

abstract: The maximum bipartite matching problem is among the most fundamental and well-studied problems in combinatorial optimization. A beautiful and celebrated combinatorial algorithm of Hopcroft and Karp (1973) shows that maximum bipartite matching can be solved in $O(m \sqrt{n})$ time on a graph with $n$ vertices and $m$ edges. For the case of very dense graphs, a fast matrix multiplication based approach gives a running time of $O(n^{2.371})$. These results represented the fastest known algorithms for the problem until 2013, when Madry introduced a new approach based on continuous techniques achieving much faster runtime in sparse graphs. This line of research has culminated in a spectacular recent breakthrough due to Chen et al. (2022) that gives an $m^{1+o(1)}$ time algorithm for maximum bipartite matching (and more generally, for min cost flows). This raises a natural question: are continuous techniques essential to obtaining fast algorithms for the bipartite matching problem? Our work makes progress on this question by presenting a new, purely combinatorial algorithm for bipartite matching, that runs in $\tilde{O}(m^{1/3}n^{5/3})$ time, and hence outperforms both Hopcroft-Karp and the fast matrix multiplication based algorithms on moderately dense graphs. Using a standard reduction, we also obtain an $\tilde{O}(m^{1/3}n^{5/3})$ time deterministic algorithm for maximum vertex-capacitated $s$-$t$ flow in directed graphs when all vertex capacities are identical.


title: BadRL: Sparse Targeted Backdoor Attack Against Reinforcement Learning

abstract: Backdoor attacks in reinforcement learning (RL) have previously employed intense attack strategies to ensure attack success. However, these methods suffer from high attack costs and increased detectability. In this work, we propose a novel approach, BadRL, which focuses on conducting highly sparse backdoor poisoning efforts during training and testing while maintaining successful attacks. Our algorithm, BadRL, strategically chooses state observations with high attack values to inject triggers during training and testing, thereby reducing the chances of detection. In contrast to the previous methods that utilize sample-agnostic trigger patterns, BadRL dynamically generates distinct trigger patterns based on targeted state observations, thereby enhancing its effectiveness. Theoretical analysis shows that the targeted backdoor attack is always viable and remains stealthy under specific assumptions. Empirical results on various classic RL tasks illustrate that BadRL can substantially degrade the performance of a victim agent with minimal poisoning efforts 0.003% of total training steps) during training and infrequent attacks during testing.


title: Towards dynamic Narrow path walking on NU's Husky

abstract: This research focuses on enabling Northeastern University's Husky, a multi-modal quadrupedal robot, to navigate narrow paths akin to various animals in nature. The Husky is equipped with thrusters to stabilize its body during dynamic maneuvers, addressing challenges inherent in aerial-legged systems. The approach involves modeling the robot as HROM (Husky Reduced Model) and creating an optimal control framework using linearized dynamics for narrow path walking. The thesis introduces a gait scheduling method to generate an open-loop walking gait and validates these gaits through a high-fidelity Simscape simulation. Experimental results of the open-loop walking are presented, accompanied by potential directions for advancing this robotic system.


title: Real-Time Diagnostic Integrity Meets Efficiency: A Novel Platform-Agnostic Architecture for Physiological Signal Compression

abstract: Head-based signals such as EEG, EMG, EOG, and ECG collected by wearable systems will play a pivotal role in clinical diagnosis, monitoring, and treatment of important brain disorder diseases. However, the real-time transmission of the significant corpus physiological signals over extended periods consumes substantial power and time, limiting the viability of battery-dependent physiological monitoring wearables. This paper presents a novel deep-learning framework employing a variational autoencoder (VAE) for physiological signal compression to reduce wearables' computational complexity and energy consumption. Our approach achieves an impressive compression ratio of 1:293 specifically for spectrogram data, surpassing state-of-the-art compression techniques such as JPEG2000, H.264, Direct Cosine Transform (DCT), and Huffman Encoding, which do not excel in handling physiological signals. We validate the efficacy of the compressed algorithms using collected physiological signals from real patients in the Hospital and deploy the solution on commonly used embedded AI chips (i.e., ARM Cortex V8 and Jetson Nano). The proposed framework achieves a 91% seizure detection accuracy using XGBoost, confirming the approach's reliability, practicality, and scalability.


title: An Empirical study of Unsupervised Neural Machine Translation: analyzing NMT output, model's behavior and sentences' contribution

abstract: Unsupervised Neural Machine Translation (UNMT) focuses on improving NMT results under the assumption there is no human translated parallel data, yet little work has been done so far in highlighting its advantages compared to supervised methods and analyzing its output in aspects other than translation accuracy. We focus on three very diverse languages, French, Gujarati, and Kazakh, and train bilingual NMT models, to and from English, with various levels of supervision, in high- and low- resource setups, measure quality of the NMT output and compare the generated sequences' word order and semantic similarity to source and reference sentences. We also use Layer-wise Relevance Propagation to evaluate the source and target sentences' contribution to the result, expanding the findings of previous works to the UNMT paradigm.


title: 400Gbps benchmark of XRootD HTTP-TPC

abstract: Due to the increased demand of network traffic expected during the HL-LHC era, the T2 sites in the USA will be required to have 400Gbps of available bandwidth to their storage solution. With the above in mind we are pursuing a scale test of XRootD software when used to perform Third Party Copy transfers using the HTTP protocol. Our main objective is to understand the possible limitations in the software stack to achieve the target transfer rate; to that end we have set up a testbed of multiple XRootD servers in both UCSD and Caltech which are connected through a dedicated link capable of 400 Gbps end-to-end. Building upon our experience deploying containerized XRootD servers, we use Kubernetes to easily deploy and test different configurations of our testbed. In this work, we will present our experience doing these tests and the lessons learned.


title: Explaining mountain pine beetle dynamics: From life history traits to large, episodic outbreaks

abstract: The Mountain pine beetle (MPB) is a destructive forest pest that undergoes boom-bust cycles every 20-40 years. It also has unusual life-history traits, including a chemosensory affinity for large pine trees, coordinated attacks facilitated by aggregation and anti-aggregation pheromones, and variable dispersal that increases in the absence of trees. Using an empirically calibrated model, we show that MPB's distinctive life-history characteristics are responsible for its distinctive population dynamics. Specifically, three life-history traits are necessary for episodic boom-bust dynamics: density-dependent dispersal, where beetles disperse once most of the large trees have been killed; an Allee effect, which requires a threshold number of beetles to overcome tree defenses; and a short generation time, notably in comparison with their pine tree hosts. In addition to explaining the qualitative behavior of MPB dynamics, these three ingredients explain residual tree density, the duration of outbreaks, and the average waiting time between outbreaks. The peak number of beetles, believed to be the primary factor driving range expansion, is mostly a consequence of MPB's constitutive high fecundity. However, two life history traits -- MPB's size-dependent fecundity and preference for large trees -- are responsible for 25% of the peak number of beetles. By identifying patterns across the extensive MPB literature, and by integrating data across multiple sources, we develop a highly accurate description of MPB's density-dependent interactions with lodgepole pine. We conclude with a simplified mechanistic model, distilled to two difference equations, effectively capturing the essence of MPB outbreak dynamics.


title: Acceleration is the Key to Drag Reduction in Turbulent Flow

abstract: A turbulent pipe flow experiment was conducted where the surface of the pipe was oscillated azimuthally over a wide range of frequencies, amplitudes and Reynolds number. The drag was reduced by as much as 30\%. Past work has suggested that the drag reduction scales with the velocity amplitude of the motion, its period, or the Reynolds number. Here, we find that the key parameter is simply the acceleration, which reduces the complexity of the phenomenon by two orders of magnitude. This insight opens new potential avenues for reducing fuel consumption by large vehicles and for reducing energy costs in large piping systems.


title: Three Point Amplitudes in Matrix Theory

abstract: We compute the three graviton amplitude in the Banks-Fischler-Shenker-Susskind matrix model for M-theory. Even though the three point amplitude is determined by super Poincare invariance in eleven dimensional M-theory, it requires a non-trivial computation in the matrix model. We consider a configuration where all three gravitons carry non-zero longitudinal momentum. To simplify the problem, we compactify one additional dimension and relate the amplitude to a supersymmetric index computation. We find agreement with the expected answer even at finite values of $N$.


title: Spread complexity in saddle-dominated scrambling

abstract: Recently, the concept of spread complexity, Krylov complexity for states, has been introduced as a measure of the complexity and chaoticity of quantum systems. In this paper, we study the spread complexity of the thermofield double state within \emph{integrable} systems that exhibit saddle-dominated scrambling. Specifically, we focus on the Lipkin-Meshkov-Glick model and the inverted harmonic oscillator as representative examples of quantum mechanical systems featuring saddle-dominated scrambling. Applying the Lanczos algorithm, our numerical investigation reveals that the spread complexity in these systems exhibits features reminiscent of \emph{chaotic} systems, displaying a distinctive ramp-peak-slope-plateau pattern. Our results indicate that, although spread complexity serves as a valuable probe, accurately diagnosing true quantum chaos generally necessitates additional physical input. We also explore the relationship between spread complexity, the spectral form factor, and the transition probability within the Krylov space. We provide analytical confirmation of our numerical results, validating the Ehrenfest theorem of complexity and identifying a distinct quadratic behavior in the early-time regime of spread complexity.


title: Double Higgs Boson Production via Photon Fusion at Muon Colliders within the Triplet Higgs Model

abstract: In this paper, we present predictions for scattering cross-section the of Higgs boson pair production via photon fusion at future muon colliders, focusing specifically the production processes $\mu^+\mu^- \rightarrow \gamma\gamma \rightarrow h^0h^0, A^0A^0$. We investigated the impact of three choices the photon structure functions on cross-section predictions for a range model input parameters within the theoretical framework of the Higgs Triplet Model.


title: The role of longitudinal decorrelations for measurements of anisotropic flow in small collision systems

abstract: Within a (3+1)D viscous hydrodynamic model we compute anisotropic flow in small system collisions as performed at the Relativistic Heavy Ion Collider and measured by the STAR and PHENIX Collaborations. We emphasize the importance of the rapidity dependence of the geometry for interpreting the differences encountered in measurements by the two collaborations.


title: Quantum Gravity in 2+1 Dimensions

abstract: General relativity becomes vastly simpler in three spacetime dimensions: all vacuum solutions have constant curvature, and the moduli space of solutions can be almost completely characterized. As a result, this lower dimensional setting becomes an ideal test bed for a wide range of approaches to quantum gravity, from reduced phase phase space quantization to covariant canonical quantization to path integral methods to asymptotic quantization of "edge states." Here I review a variety of classical descriptions of the moduli space of solutions and a broad range of quantizations, with special attention to implications for realistic quantum gravity in four spacetime dimensions.


title: Robust Machine Learning by Transforming and Augmenting Imperfect Training Data

abstract: Machine Learning (ML) is an expressive framework for turning data into computer programs. Across many problem domains -- both in industry and policy settings -- the types of computer programs needed for accurate prediction or optimal control are difficult to write by hand. On the other hand, collecting instances of desired system behavior may be relatively more feasible. This makes ML broadly appealing, but also induces data sensitivities that often manifest as unexpected failure modes during deployment. In this sense, the training data available tend to be imperfect for the task at hand. This thesis explores several data sensitivities of modern machine learning and how to address them. We begin by discussing how to prevent ML from codifying prior human discrimination measured in the training data, where we take a fair representation learning approach. We then discuss the problem of learning from data containing spurious features, which provide predictive fidelity during training but are unreliable upon deployment. Here we observe that insofar as standard training methods tend to learn such features, this propensity can be leveraged to search for partitions of training data that expose this inconsistency, ultimately promoting learning algorithms invariant to spurious features. Finally, we turn our attention to reinforcement learning from data with insufficient coverage over all possible states and actions. To address the coverage issue, we discuss how causal priors can be used to model the single-step dynamics of the setting where data are collected. This enables a new type of data augmentation where observed trajectories are stitched together to produce new but plausible counterfactual trajectories.


title: A Case Study on Test Case Construction with Large Language Models: Unveiling Practical Insights and Challenges

abstract: This paper presents a detailed case study examining the application of Large Language Models (LLMs) in the construction of test cases within the context of software engineering. LLMs, characterized by their advanced natural language processing capabilities, are increasingly garnering attention as tools to automate and enhance various aspects of the software development life cycle. Leveraging a case study methodology, we systematically explore the integration of LLMs in the test case construction process, aiming to shed light on their practical efficacy, challenges encountered, and implications for software quality assurance. The study encompasses the selection of a representative software application, the formulation of test case construction methodologies employing LLMs, and the subsequent evaluation of outcomes. Through a blend of qualitative and quantitative analyses, this study assesses the impact of LLMs on test case comprehensiveness, accuracy, and efficiency. Additionally, delves into challenges such as model interpretability and adaptation to diverse software contexts. The findings from this case study contributes with nuanced insights into the practical utility of LLMs in the domain of test case construction, elucidating their potential benefits and limitations. By addressing real-world scenarios and complexities, this research aims to inform software practitioners and researchers alike about the tangible implications of incorporating LLMs into the software testing landscape, fostering a more comprehensive understanding of their role in optimizing the software development process.


title: Unsupervised Segmentation of Colonoscopy Images

abstract: Colonoscopy plays a crucial role in the diagnosis and prognosis of various gastrointestinal diseases. Due to the challenges of collecting large-scale high-quality ground truth annotations for colonoscopy images, and more generally medical images, we explore using self-supervised features from vision transformers in three challenging tasks for colonoscopy images. Our results indicate that image-level features learned from DINO models achieve image classification performance comparable to fully supervised models, and patch-level features contain rich semantic information for object detection. Furthermore, we demonstrate that self-supervised features combined with unsupervised segmentation can be used to discover multiple clinically relevant structures in a fully unsupervised manner, demonstrating the tremendous potential of applying these methods in medical image analysis.


title: Behind the Intent of Extract Method Refactoring: A Systematic Literature Review

abstract: Code refactoring is widely recognized as an essential software engineering practice to improve the understandability and maintainability of the source code. The Extract Method refactoring is considered as "Swiss army knife" of refactorings, as developers often apply it to improve their code quality. In recent years, several studies attempted to recommend Extract Method refactorings allowing the collection, analysis, and revelation of actionable data-driven insights about refactoring practices within software projects. In this paper, we aim at reviewing the current body of knowledge on existing Extract Method refactoring research and explore their limitations and potential improvement opportunities for future research efforts. Hence, researchers and practitioners begin to be aware of the state-of-the-art and identify new research opportunities in this context. We review the body of knowledge related to Extract Method refactoring in the form of a systematic literature review (SLR). After compiling an initial pool of 1,367 papers, we conducted a systematic selection and our final pool included 83 primary studies. We define three sets of research questions and systematically develop and refine a classification schema based on several criteria including their methodology, applicability, and degree of automation. The results construct a catalog of 83 Extract Method approaches indicating that several techniques have been proposed in the literature. Our results show that: (i) 38.6% of Extract Method refactoring studies primarily focus on addressing code clones; (ii) Several of the Extract Method tools incorporate the developer's involvement in the decision-making process when applying the method extraction, and (iii) the existing benchmarks are heterogeneous and do not contain the same type of information, making standardizing them for the purpose of benchmarking difficult.


title: Diagonalizing the Born-Oppenheimer Hamiltonian via Moyal Perturbation Theory, Nonadiabatic Corrections and Translational Degrees of Freedom

abstract: This article describes a method for calculating higher order or nonadiabatic corrections in Born-Oppenheimer theory and its interaction with the translational degrees of freedom. The method uses the Wigner-Weyl correspondence to map nuclear operators into functions on the classical phase space and the Moyal star product to represent operator multiplication on those functions. The result is a power series in $\kappa^2$, where $\kappa =(m/M)^{1/4}$ is the usual Born-Oppenheimer parameter. The lowest order term is the usual Born-Oppenheimer approximation while higher order terms are nonadiabatic corrections. These are needed in calculations of electronic currents, momenta and densities. The method was applied to Born-Oppenheimer theory by Littlejohn and Weigert (1993), in a treatment that notably produced the correction $K_{22}$ to the Born-Oppenheimer Hamiltonian (see {\em infra}). Recently Matyus and Teufel (2019) have applied an improved and more elegant version of the method to Born-Oppenheimer theory, and have calculated the Born-Oppenheimer Hamiltonian for multiple potential energy surfaces to order $\kappa^6$. One of the shortcomings of earlier methods is that the separation of nuclear and electronic degrees of freedom takes place in the context of the exact symmetries (for an isolated molecule) of translations and rotations, and these need to be a part of the discussion. This article presents an independent derivation of the Moyal expansion in molecular Born-Oppenheimer theory, with special attention to the translational degrees of freedom. We show how electronic currents and momenta can be calculated within the framework of Moyal perturbation theory; we derive the transformation laws of the electronic Hamiltonian, the electronic eigenstates, and the derivative couplings under translations.


title: Magnetism of noncolinear amorphous DyCo3 and TbCo3 thin films

abstract: The magnetization of amorphous DyCo3 and TbCo3 is studied by magnetometry, anomalous Hall effect and magneto-optic Kerr effect to understand the temperature-dependent magnetic structure. A square magnetic hysteresis loop with perpendicular magnetic anisotropy and coercivity that reaches 3.5 T in the vicinity of the compensation temperature is seen in thin films. An anhysteretic soft component, seen in the magnetization of some films but not in their Hall or Kerr loops is an artefact due to sputter-deposition on the sides of the substrate. The temperature-dependence of the net rare earth moment from 4-300K is deduced, using the cobalt moment in amorphous YxCo1-x. The single-ion anisotropy of the quadrupole moments of the 4f atoms in the randomly-oriented local electrostatic field gradient overcomes their exchange coupling to the cobalt subnetwork, resulting in a sperimagnetic ground state where spins of the noncollinear rare-earth subnetwork are modelled by a distribution of rare earth moments within a cone whose axis is antiparallel to the ferromagnetic axis z of the cobalt subnetwork. The reduced magnetization (Jz)/J at T=0 is calculated from an atomic Hamiltonian as a function of the ratio of anisotropy to exchange energy per rare-earth atom for a range of angles between the local anisotropy axis and -z and then averaged over all directions in a hemisphere. The experimental and calculated values of (J-z)/J are close to 0.7 at low temperature for both Dy and Tb. On increasing temperature, the magnitude of the rare earth moment and the local random anisotropy that creates the cone are reduced; the cone closes and the structure approaches collinear ferrimagnetism well above ambient temperature. An asymmetric spin flop of the exchange-coupled subnetworks appears in the vicinity of the magnetization compensation temperatures of 175K for amorphous Dy0.25Co0.75 and 200 K for amorphous TbCo3.


title: Bounded Connected Components of Polynomial Lemniscates

abstract: We consider families of polynomial lemniscates in the complex plane and determine if they bound a Jordan domain. This allows us to find examples of regions for which we can calculate the projection of $\bar{z}$ to the Bergman space of the bounded region. Such knowledge has applications to the calculation of torsional rigidity.


title: Studying the Practices of Testing Machine Learning Software in the Wild

abstract: Background: We are witnessing an increasing adoption of machine learning (ML), especially deep learning (DL) algorithms in many software systems, including safety-critical systems such as health care systems or autonomous driving vehicles. Ensuring the software quality of these systems is yet an open challenge for the research community, mainly due to the inductive nature of ML software systems. Traditionally, software systems were constructed deductively, by writing down the rules that govern the behavior of the system as program code. However, for ML software, these rules are inferred from training data. Few recent research advances in the quality assurance of ML systems have adapted different concepts from traditional software testing, such as mutation testing, to help improve the reliability of ML software systems. However, it is unclear if any of these proposed testing techniques from research are adopted in practice. There is little empirical evidence about the testing strategies of ML engineers. Aims: To fill this gap, we perform the first fine-grained empirical study on ML testing practices in the wild, to identify the ML properties being tested, the followed testing strategies, and their implementation throughout the ML workflow. Method: First, we systematically summarized the different testing strategies (e.g., Oracle Approximation), the tested ML properties (e.g., Correctness, Bias, and Fairness), and the testing methods (e.g., Unit test) from the literature. Then, we conducted a study to understand the practices of testing ML software. Results: In our findings: 1) we identified four (4) major categories of testing strategy including Grey-box, White-box, Black-box, and Heuristic-based techniques that are used by the ML engineers to find software bugs. 2) We identified 16 ML properties that are tested in the ML workflow.


title: Impact of SeaQuest data on sea-quark PDFs at large $x$

abstract: We investigate the impact of the recently released FNAL-E906 (SeaQuest) data on the ratio of proton-deuteron and proton-proton Drell-Yan production cross-sections on the sea quark PDFs. We find that they have constraining power on the light-quark sea isospin asymmetry $(\bar{d}-\bar{u})(x)$ and on the $(\bar{d}/\bar{u})(x)$ ratio at large longitudinal momentum fraction $x$ values, and that their constraints turn out to be compatible with those from Drell-Yan data in collider experiments (Tevatron and Large Hadron Collider) and in the old fixed-target experiment by the FNAL-E866 collaboration. We study the impact of nuclear corrections due to the deuteron target, finding them within 1% in most of the kinematic region covered by SeaQuest. We perform a new proton PDF fit, including SeaQuest data, using the ABMP16 methodology and we compare it to the ABMP16 baseline.


title: Optimizing Neural Networks with Gradient Lexicase Selection

abstract: One potential drawback of using aggregated performance measurement in machine learning is that models may learn to accept higher errors on some training cases as compromises for lower errors on others, with the lower errors actually being instances of overfitting. This can lead to both stagnation at local optima and poor generalization. Lexicase selection is an uncompromising method developed in evolutionary computation, which selects models on the basis of sequences of individual training case errors instead of using aggregated metrics such as loss and accuracy. In this paper, we investigate how lexicase selection, in its general form, can be integrated into the context of deep learning to enhance generalization. We propose Gradient Lexicase Selection, an optimization framework that combines gradient descent and lexicase selection in an evolutionary fashion. Our experimental results demonstrate that the proposed method improves the generalization performance of various widely-used deep neural network architectures across three image classification benchmarks. Additionally, qualitative analysis suggests that our method assists networks in learning more diverse representations. Our source code is available on GitHub: https://github.com/ld-ing/gradient-lexicase.


title: Graph Theorem for Chiral Exact Flat Bands at Charge Neutrality

abstract: Chiral exact flat bands (FBs) at charge neutrality have attracted much recent interest, presenting an intriguing condensed-matter system to realize exact many-body phenomena, as specifically shown in "magic angle" twisted bilayer graphene for superconductivity and triangulene-based superatomic graphene for excitonic condensation. Yet, no generic physical model to realize such FBs has been developed. Here we present a new mathematical theorem, called bipartite double cover (BDC) theorem, and prove that the BDC of line-graph (LG) lattices hosts at least two chiral exact FBs of opposite chirality, i.e., yin-yang FBs, centered-around/at charge neutrality (E = 0) akin to the "chiral limit" of twisted bilayer graphene. We illustrate this theorem by mapping it exactly onto tight-binding lattice models of the BDC of LGs of hexagonal lattice for strong topological and of triangular lattice for fragile topological FBs, respectively. Moreover, we use orbital design principle to realize such exotic yin-yang FBs in non-BDC lattices to instigate their real material discovery. This work not only enables the search for exact chiral FBs at zero energy beyond moir\'e heterostructures, but also opens the door to discovering quantum semiconductor features with FB-enabled strongly correlated carriers.


title: Trust, But Verify: A Survey of Randomized Smoothing Techniques

abstract: Machine learning models have demonstrated remarkable success across diverse domains but remain vulnerable to adversarial attacks. Empirical defence mechanisms often fall short, as new attacks constantly emerge, rendering existing defences obsolete. A paradigm shift from empirical defences to certification-based defences has been observed in response. Randomized smoothing has emerged as a promising technique among notable advancements. This study reviews the theoretical foundations, empirical effectiveness, and applications of randomized smoothing in verifying machine learning classifiers. We provide an in-depth exploration of the fundamental concepts underlying randomized smoothing, highlighting its theoretical guarantees in certifying robustness against adversarial perturbations. Additionally, we discuss the challenges of existing methodologies and offer insightful perspectives on potential solutions. This paper is novel in its attempt to systemise the existing knowledge in the context of randomized smoothing.


title: Three-photon electron spin resonances

abstract: We report the observation of a three-photon resonant transition of charge-carrier spins in an organic light-emitting diode using electrically detected magnetic resonance (EDMR) spectroscopy at room temperature. Under strong magnetic-resonant drive (drive field $B_1$ ~ static magnetic field $B_0$), a $B_0$-field swept EDMR line emerges when $B_0$ is approximately threefold the one-photon resonance field. Ratios of drive-induced shifts of this line to those of two- and one-photon shifts agree with analytical expressions derived from the Floquet Hamiltonian and confirm the nature of these three-photon transitions, enabling access of spin physics to a hitherto inaccessible domain of quantum mechanics.


title: Enhancing predictive capabilities in fusion burning plasmas through surrogate-based optimization in core transport solvers

abstract: This work presents the PORTALS framework, which leverages surrogate modeling and optimization techniques to enable the prediction of core plasma profiles and performance with nonlinear gyrokinetic simulations at significantly reduced cost, with no loss of accuracy. The efficiency of PORTALS is benchmarked against standard methods, and its full potential is demonstrated on a unique, simultaneous 5-channel (electron temperature, ion temperature, electron density, impurity density and angular rotation) prediction of steady-state profiles in a DIII-D ITER Similar Shape plasma with GPU-accelerated, nonlinear CGYRO. This paper also provides general guidelines for accurate performance predictions in burning plasmas and the impact of transport modeling in fusion pilot plants studies.


title: A Semi-Analytical Approach for State-Space Electromagnetic Transient Simulation Using the Differential Transformation

abstract: Electromagnetic transient (EMT) simulation is a crucial tool for power system dynamic analysis because of its detailed component modeling and high simulation accuracy. However, it suffers from computational burdens for large power grids since a tiny time step is typically required for accuracy. This paper proposes an efficient and accurate semi-analytical approach for state-space EMT simulations of power grids. It employs high-order semi-analytical solutions derived using the differential transformation from the state-space EMT grid model. The approach incorporates a proposed variable time step strategy based on equation imbalance, leveraging structural information of the grid model, to enlarge the time step and accelerate simulations, while high resolution is maintained by reconstructing detailed fast EMT dynamics through an efficient dense output mechanism. It also addresses limit-induced switches during large time steps by using a binary search-enhanced quadratic interpolation algorithm. Case studies are conducted on EMT models of the IEEE 39-bus system and a synthetic 390-bus system to demonstrate the merits of the new simulation approach against traditional methods.


title: Stochastic Control Barrier Functions for Economics

abstract: Control barrier functions (CBFs) and safety-critical control have seen a rapid increase in popularity in recent years, predominantly applied to systems in aerospace, robotics and neural network controllers. Control barrier functions can provide a computationally efficient method to monitor arbitrary primary controllers and enforce state constraints to ensure overall system safety. One area that has yet to take advantage of the benefits offered by CBFs is the field of finance and economics. This manuscript re-introduces three applications of traditional control to economics, and develops and implements CBFs for such problems. We consider the problem of optimal advertising for the deterministic and stochastic case and Merton's portfolio optimization problem. Numerical simulations are used to demonstrate the effectiveness of using traditional control solutions in tandem with CBFs and stochastic CBFs to solve such problems in the presence of state constraints.


title: Toward coherent quantum computation of scattering amplitudes with a measurement-based photonic quantum processor

abstract: In recent years, applications of quantum simulation have been developed to study properties of strongly interacting theories. This has been driven by two factors: on the one hand, needs from theorists to have access to physical observables that are prohibitively difficult to study using classical computing; on the other hand, quantum hardware becoming increasingly reliable and scalable to larger systems. In this work, we discuss the feasibility of using quantum optical simulation for studying scattering observables that are presently inaccessible via lattice QCD and are at the core of the experimental program at Jefferson Lab, the future Electron-Ion Collider, and other accelerator facilities. We show that recent progress in measurement-based photonic quantum computing can be leveraged to provide deterministic generation of required exotic gates and implementation in a single photonic quantum processor.


title: Making Existing Quantum Position Verification Protocols Secure Against Arbitrary Transmission Loss

abstract: Signal loss poses a significant threat to the security of quantum cryptography when the chosen protocol lacks loss-tolerance. In quantum position verification (QPV) protocols, even relatively small loss rates can compromise security. The goal is thus to find protocols that remain secure under practically achievable loss rates. In this work, we modify the usual structure of QPV protocols and prove that this modification makes the potentially high transmission loss between the verifiers and the prover security-irrelevant for a class of protocols that includes a practically-interesting candidate protocol inspired by the BB84 protocol ($\mathrm{QPV}_{\mathrm{BB84}}^{f}$). This modification, which involves photon presence detection, a small time delay at the prover, and a commitment to play before proceeding, reduces the overall loss rate to just the prover's laboratory. The adapted protocol c-$\mathrm{QPV}_{\mathrm{BB84}}^{f}$ then becomes a practically feasible QPV protocol with strong security guarantees, even against attackers using adaptive strategies. As the loss rate between the verifiers and prover is mainly dictated by the distance between them, secure QPV over longer distances becomes possible. We also show possible implementations of the required photon presence detection, making c-$\mathrm{QPV}_{\mathrm{BB84}}^{f}$ a protocol that solves all major practical issues in QPV. Finally, we discuss experimental aspects and give parameter estimations.


title: Some frustrating questions on dimensions of products of posets

abstract: For $P$ a poset, the dimension of $P$ is defined to be the least cardinal $\kappa$ such that $P$ is embeddable in a direct product of $\kappa$ totally ordered sets. We study the behavior of this function on finite-dimensional (not necessarily finite) posets. In general, the dimension dim($P$ x $Q$) of a product of two posets can be smaller than dim($P$) + dim($Q$), though no cases are known where the discrepancy is greater than 2. We obtain a result that gives upper bounds on the dimensions of certain products of posets, including cases where the discrepancy 2 is achieved. But the paper is mainly devoted to stating questions, old and new, about dimensions of product posets, noting implications among their possible answers, and introducing some related concepts that might be helpful in tackling these questions.


title: Online Variational Sequential Monte Carlo

abstract: Being the most classical generative model for serial data, state-space models (SSM) are fundamental in AI and statistical machine learning. In SSM, any form of parameter learning or latent state inference typically involves the computation of complex latent-state posteriors. In this work, we build upon the variational sequential Monte Carlo (VSMC) method, which provides computationally efficient and accurate model parameter estimation and Bayesian latent-state inference by combining particle methods and variational inference. While standard VSMC operates in the offline mode, by re-processing repeatedly a given batch of data, we distribute the approximation of the gradient of the VSMC surrogate ELBO in time using stochastic approximation, allowing for online learning in the presence of streams of data. This results in an algorithm, online VSMC, that is capable of performing efficiently, entirely on-the-fly, both parameter estimation and particle proposal adaptation. In addition, we provide rigorous theoretical results describing the algorithm's convergence properties as the number of data tends to infinity as well as numerical illustrations of its excellent convergence properties and usefulness also in batch-processing settings.


title: Enhanced optical vector bottle beams with obscured nodal surfaces

abstract: Optical bottle beams, characterized by their unique three-dimensional dark core, have garnered substantial interest due to their potential applications across multiple domains of science and technology. This paper delves into the current methods used to create these beams and provides a method to obscure their nodal planes through coaxial non-interfering orthogonally polarized beams to generate bottle beams with enhanced uniformity. Experimental and theoretical results show the enhanced vector bottle beam maintains a smaller, more spherically uniform potential well and interesting quasi-particle polarization characteristics.


title: Automating Weight Function Generation in Graph Pebbling

abstract: Graph pebbling is a combinatorial game played on an undirected graph with an initial configuration of pebbles. A pebbling move consists of removing two pebbles from one vertex and placing one pebble on an adjacent vertex. The pebbling number of a graph is the smallest number of pebbles necessary such that, given any initial configuration of pebbles, at least one pebble can be moved to a specified root vertex. Recent lines of inquiry apply computational techniques to pebbling bound generation and improvement. Along these lines, we present a computational framework that produces a set of tree strategy weight functions that are capable of proving pebbling number upper bounds on a connected graph. Our mixed-integer linear programming approach automates the generation of large sets of such functions and provides verifiable certificates of pebbling number upper bounds. The framework is capable of producing verifiable pebbling bounds on any connected graph, regardless of its structure or pebbling properties. We apply the model to the 4th weak Bruhat to prove $\pi(B_4) \leq 66$ and to the Lemke square graph to produce a set of certificates that verify $\pi(L x L) \leq 96$.


title: Hierarchical Vision Transformers for Context-Aware Prostate Cancer Grading in Whole Slide Images

abstract: Vision Transformers (ViTs) have ushered in a new era in computer vision, showcasing unparalleled performance in many challenging tasks. However, their practical deployment in computational pathology has largely been constrained by the sheer size of whole slide images (WSIs), which result in lengthy input sequences. Transformers faced a similar limitation when applied to long documents, and Hierarchical Transformers were introduced to circumvent it. Given the analogous challenge with WSIs and their inherent hierarchical structure, Hierarchical Vision Transformers (H-ViTs) emerge as a promising solution in computational pathology. This work delves into the capabilities of H-ViTs, evaluating their efficiency for prostate cancer grading in WSIs. Our results show that they achieve competitive performance against existing state-of-the-art solutions.


title: "It Can Relate to Real Lives": Attitudes and Expectations in Justice-Centered Data Structures & Algorithms for Non-Majors

abstract: Prior work has argued for a more justice-centered approach to postsecondary computing education by emphasizing ethics, identity, and political vision. In this experience report, we examine how postsecondary students of diverse gender and racial identities experience a justice-centered Data Structures and Algorithms designed for undergraduate non-computer science majors. Through a quantitative and qualitative analysis of two quarters of student survey data collected at the start and end of each quarter, we report on student attitudes and expectations. Across the class, we found a significant increase in the following attitudes: computing confidence and sense of belonging. While women, non-binary, and other students not identifying as men (WNB+) also increased in these areas, they still reported significantly lower confidence and sense of belonging than men at the end of the quarter. Black, Latinx, Middle Eastern and North African, Native American, and Pacific Islander (BLMNPI) students had no significant differences compared to white and Asian students. We also analyzed end-of-quarter student self-reflections on their fulfillment of expectations prior to taking the course. While the majority of students reported a positive overall sentiment about the course and many students specifically appreciated the justice-centered approach, some desired more practice with program implementation and interview preparation. We discuss implications for practice and articulate a political vision for holding both appreciation for computing ethics and a desire for professional preparation together through iterative design.


title: Blox: A Modular Toolkit for Deep Learning Schedulers

abstract: Deep Learning (DL) workloads have rapidly increased in popularity in enterprise clusters and several new cluster schedulers have been proposed in recent years to support these workloads. With rapidly evolving DL workloads, it is challenging to quickly prototype and compare scheduling policies across workloads. Further, as prior systems target different aspects of scheduling (resource allocation, placement, elasticity etc.), it is also challenging to combine these techniques and understand the overall benefits. To address these challenges we propose Blox, a modular toolkit which allows developers to compose individual components and realize diverse scheduling frameworks. We identify a set of core abstractions for DL scheduling, implement several existing schedulers using these abstractions, and verify the fidelity of these implementations by reproducing results from prior research. We also highlight how we can evaluate and compare existing schedulers in new settings: different workload traces, higher cluster load, change in DNN workloads and deployment characteristics. Finally, we showcase Blox's extensibility by composing policies from different schedulers, and implementing novel policies with minimal code changes. Blox is available at \url{https://github.com/msr-fiddle/blox}.


title: Searching for WIMPs with TREX-DM: achievements and challenges

abstract: The TREX-DM detector, a low background chamber with microbulk Micromegas readout, was commissioned in the underground laboratory of Canfranc (LSC) in 2018. Since then, data taking campaigns have been carried out with Argon and Neon mixtures, at different pressures from 1 to 4 bar. By achieving a low energy threshold of 1 keV$_{ee}$ and a background level of 80 counts keV$^{-1}$ Kg$^{-1}$ day$^{-1}$ in the region from 1 to 7 keV$_{ee}$, the experiment demonstrates its potential to search for low-mass WIMPs. Two of the most important challenges currently faced are the reduction of both, background level and energy threshold. With respect to the energy threshold, recently a new readout plane is being developed, based on the combination of Micromegas and GEM technologies, aiming to have a pre-amplification stage that would permit very low energy thresholds, close to the single-electron ionization energy. With respect to the background reduction, apart from studies to identify and minimize contamination population, a high sensitivity alpha detector is being developed in order to allow a proper material selection for the TREX-DM detector components. Both challenges, together with the optimization of the gas mixture used as target for the WIMP detection, will take TREX-DM to explore regions of WIMP's mass below 1 GeV c$^{-2}$.


title: Detection of gamma-ray quasi-periodic oscillations in non-blazar AGN PKS 0521-36

abstract: Quasi-periodic oscillations (QPOs) have been detected in many Fermi-detected bright blazars. In this letter, we report multiple QPOs detected in a non-blazar AGN PKS 0521-36 searched over the entire 15 years of Fermi-LAT data. QPOs are detected at 268 days, at 295 days, and at 806 days timescales with more than 3$\sigma$ significance. The QPO detected at 806 days happens to be the third harmonic of QPO at 268 days. The time scales are consistent in both Lomb-Scargle and Wavelet analysis. Furthermore, the Gaussian Process modeling of the light curve is performed with stochastically driven damped harmonic oscillator (SHO) and damped random walk (DRW) modeling to uncover the presence of QPOs. The constructed power spectral density (PSD) exhibits two QPOs, with observed timescales of approximately 283 days and 886 days. This is the first non-blazar AGN where the long-term QPO is detected. Earlier studies show this source has a weak beamed jet. The exact cause for these QPOs remains unclear. We also assembled the $\gamma$-ray QPO detected in various blazar and tested the QPO time scale dependent on the black hole mass. No significant correlation is found.


title: Building a Llama2-finetuned LLM for Odia Language Utilizing Domain Knowledge Instruction Set

abstract: Building LLMs for languages other than English is in great demand due to the unavailability and performance of multilingual LLMs, such as understanding the local context. The problem is critical for low-resource languages due to the need for instruction sets. In a multilingual country like India, there is a need for LLMs supporting Indic languages to provide generative AI and LLM-based technologies and services to its citizens. This paper presents our approach of i) generating a large Odia instruction set, including domain knowledge data suitable for LLM fine-tuning, and ii) building a Llama2-finetuned model tailored for enhanced performance in the Odia domain. The proposed work will help researchers build an instruction set and LLM, particularly for Indic languages. We will release the model and instruction set for the public for research and noncommercial purposes.


title: Calibrating Wireless Ray Tracing for Digital Twinning using Local Phase Error Estimates

abstract: Embodying the principle of simulation intelligence, digital twin (DT) systems construct and maintain a high-fidelity virtual model of a physical system. This paper focuses on ray tracing (RT), which is widely seen as an enabling technology for DTs of the radio access network (RAN) segment of next-generation disaggregated wireless systems. RT makes it possible to simulate channel conditions, enabling data augmentation and prediction-based transmission. However, the effectiveness of RT hinges on the adaptation of the electromagnetic properties assumed by the RT to actual channel conditions, a process known as calibration. The main challenge of RT calibration is the fact that small discrepancies in the geometric model fed to the RT software hinder the accuracy of the predicted phases of the simulated propagation paths. Existing solutions to this problem either rely on the channel power profile, hence disregarding phase information, or they operate on the channel responses by assuming the simulated phases to be sufficiently accurate for calibration. This paper proposes a novel channel response-based scheme that, unlike the state of the art, estimates and compensates for the phase errors in the RT-generated channel responses. The proposed approach builds on the variational expectation maximization algorithm with a flexible choice of the prior phase-error distribution that bridges between a deterministic model with no phase errors and a stochastic model with uniform phase errors. The algorithm is computationally efficient, and is demonstrated, by leveraging the open-source differentiable RT software available within the Sionna library, to outperform existing methods in terms of the accuracy of RT predictions.


title: On the sparsity of non-diagonalisable integer matrices and matrices with a given discriminant

abstract: We consider the set $\mathcal M_n(\mathbb Z; H)$ of $n\times n$-matrices with integer elements of size at most $H$ and obtain upper bounds on the number of matrices from $\mathcal M_n(\mathbb Z; H)$, for which the characteristic polynomial has a fixed discriminant $d$. When $d=0$, this corresponds to counting matrices with a repeated eigenvalue, and thus is related to counting non-diagonalisable matrices. For $d\ne 0$, this problem seems not to have been studied previously, while for $d=0$, both our approach and the final result improve on those of A. J. Hetzel, J. S. Liew and K. Morrison (2007).


title: The BMS group in $D= 6$ spacetime dimensions

abstract: The asymptotic structure of gravity in $D=6$ spacetime dimensions is described at spatial infinity in the asymptotically flat context through Hamiltonian (ADM) methods. Special focus is given on the BMS supertranslation subgroup. It is known from previous studies that the BMS group contains more supertranslations as one goes from $D=4$ to $D=5$. Indeed, while the supertranslations are described by one single function of the angles in $D=4$, four such functions are neeeded in $D=5$. We consider the case $D=6$ with the aim of determining whether the number of supertranslations keeps increasing with the dimension or remains equal to the number found in $D=5$. We show that even though there is apparent room for more supertranslations, their number remains equal to the $D=5$ value (four): the potentially new supertranslations turn out to define proper gauge transformations corresponding to a redundancy in the description of the system. Critical in the analysis are the boundary conditions chosen to yield a well-defined canonical formalism. Given the computational (but not conceptual) complexity as one increases the dimension, we explicitly discuss the linearized theory and argue that asymptotically, this analysis provides the correct picture. We conclude by considering higher spacetime dimensions where we indicate that the number of physically relevant supertranslations remains equal to four independently of the dimension $\geq 5$.


title: Structural maturation of myofilaments in engineered 3D cardiac microtissues characterized using small angle X-ray scattering

abstract: Understanding the structural and functional development of human-induced pluripotent stem-cell-derived cardiomyocytes is essential to engineering cardiac tissue that enables pharmaceutical testing, modeling diseases, and designing therapies. Here we use a method not commonly applied to biological materials, small angle X-ray scattering, to characterize the structural development of human-induced pluripotent stem-cell-derived cardiomyocytes within 3D engineered tissues during their preliminary stages of maturation. An X-ray scattering experimental method enables the reliable characterization of the cardiomyocyte myofilament spacing with maturation time. The myofilament lattice spacing monotonically decreases as the tissue matures from its initial post-seeding state over the span of ten days. Visualization of the spacing at a grid of positions in the tissue provides an approach to characterizing the maturation and organization of cardiomyocyte myofilaments and has the potential to help elucidate mechanisms of pathophysiology, and disease progression, thereby stimulating new biological hypotheses in stem cell engineering.


title: Quantum geometry and mock modularity

abstract: In previous work, we used new mathematical relations between Gopakumar-Vafa (GV) invariants and rank 0 Donaldson-Thomas (DT) invariants to determine the first few terms in the generating series of Abelian D4-D2-D0 indices for a class of compact one-parameter Calabi-Yau threefolds. This allowed us to obtain striking checks of S-duality, namely the prediction that these series should be vector-valued weakly holomorphic modular forms under $SL(2,\mathbb{Z})$. In this work, we extend this analysis to the case of D4-D2-D0 indices with two units of D4-brane charge, where S-duality instead predicts that the corresponding generating series should be mock modular with a specific shadow. For the degree 10 hypersurface in weighted projective space $\mathbb{P}_{5,2,1,1,1}$, and the degree 8 hypersurface in $\\mathbb{P}_{4,1,1,1,1}$, where GV invariants can be computed to sufficiently high genus, we find that the first few terms indeed match a unique mock modular form with the required properties, which we determine explicitly. Turning the argument around, we obtain new boundary conditions on the holomorphic ambiguity of the topological string amplitude, which in principle allow to determine it completely up to genus 95 and 112, respectively, i.e. almost twice the maximal genus obtainable using gap and ordinary Castelnuovo vanishing conditions.


title: Data-driven discovery with Limited Data Acquisition for fluid flow across cylinder

abstract: One of the central challenge for extracting governing principles of dynamical system via Dynamic Mode Decomposition (DMD) is about the limit data availability or formally called as Limited Data Acquisition in the present paper. In the interest of discovering the governing principles for a dynamical system with limited data acquisition, we provide a variant of Kernelized Extended DMD (KeDMD) based on the Koopman operator which employ the notion of Gaussian random matrix to recover the dominant Koopman modes for the standard fluid flow across cylinder experiment. It turns out that the traditional kernel function, Gaussian Radial Basis Function Kernel, unfortunately, is not able to generate the desired Koopman modes in the scenario of executing KeDMD with limited data acquisition. However, the Laplacian Kernel Function successfully generates the desired Koopman modes when limited data is provided in terms of data-set snapshot for the aforementioned experiment and this manuscripts serves the purpose of reporting these exciting experimental insights. This paper also explores the functionality of the Koopman operator when it interacts with the reproducing kernel Hilbert space (RKHS) that arises from the normalized probability Lebesgue measure $d\mu_{\sigma,1,\mathbb{C}^n}(z)=(2\pi\sigma^2)^{-n}\exp\left(-\frac{\|z\|_2}{\sigma}\right)dV(z)$ when it is embedded in $L^2-$sense for the holomorphic functions over $\mathbb{C}^n$, in the aim of determining the Koopman modes for fluid flow across cylinder experiment. We explore the operator-theoretic characterizations of the Koopman operator on the RKHS generated by the normalized Laplacian measure $d\mu_{\sigma,1,\mathbb{C}^n}(z)$ in the $L^2-$sense. In doing so, we provide the compactification & closable characterization of Koopman operator over the RKHS generated by the normalized Laplacian measure in the $L^2-$sense.


title: The Curves of Elliptic Nodes on K3 Surfaces

abstract: Let $(X,L)$ be a polarized K3 surface of genus $g$ and $C_{en} \subset X$ be the curve of singular points of nodal elliptic curves in $|L|$. When $(X,L)$ is generic of genus two, Huybrechts observed that the curve $C_{en}$ is a constant cycle curve and conjectured that this remains true for higher genus cases. In this note, we show that the conjecture holds true for polarized K3 surfaces $(X,L)$ lying in a locus of codimension one in the moduli space of polarized K3 surfaces of genus $g$ for every $g > 2$.


title: Cavity Continuum

abstract: We experimentally demonstrate and numerically analyze large arrays of whispering gallery resonators. Using fluorescent mapping, we measure the spatial distribution of the cavity-ensemble's resonances, revealing that light reaches distant resonators in various ways, including while passing through dark gaps, resonator groups, or resonator lines. Energy spatially decays exponentially in the cavities. Our practically infinite periodic array of resonators, with a quality factor [Q] exceeding 10^7, might impact a new type of photonic ensembles for nonlinear optics and lasers using our cavity continuum that is distributed, while having high-Q resonators as unit cells.


title: Long-run Behaviour of Multi-fidelity Bayesian Optimisation

abstract: Multi-fidelity Bayesian Optimisation (MFBO) has been shown to generally converge faster than single-fidelity Bayesian Optimisation (SFBO) (Poloczek et al. (2017)). Inspired by recent benchmark papers, we are investigating the long-run behaviour of MFBO, based on observations in the literature that it might under-perform in certain scenarios (Mikkola et al. (2023), Eggensperger et al. (2021)). An under-performance of MBFO in the long-run could significantly undermine its application to many research tasks, especially when we are not able to identify when the under-performance begins. We create a simple benchmark study, showcase empirical results and discuss scenarios and possible reasons of under-performance.


title: MotionScript: Natural Language Descriptions for Expressive 3D Human Motions

abstract: This paper proposes MotionScript, a motion-to-text conversion algorithm and natural language representation for human body motions. MotionScript aims to describe movements in greater detail and with more accuracy than previous natural language approaches. Many motion datasets describe relatively objective and simple actions with little variation on the way they are expressed (e.g. sitting, walking, dribbling a ball). But for expressive actions that contain a diversity of movements in the class (e.g. being sad, dancing), or for actions outside the domain of standard motion capture datasets (e.g. stylistic walking, sign-language), more specific and granular natural language descriptions are needed. Our proposed MotionScript descriptions differ from existing natural language representations in that it provides direct descriptions in natural language instead of simple action labels or high-level human captions. To the best of our knowledge, this is the first attempt at translating 3D motions to natural language descriptions without requiring training data. Our experiments show that when MotionScript representations are used in a text-to-motion neural task, body movements are more accurately reconstructed, and large language models can be used to generate unseen complex motions.


title: RealCraft: Attention Control as A Tool for Zero-Shot Consistent Video Editing

abstract: Even though large-scale text-to-image generative models show promising performance in synthesizing high-quality images, applying these models directly to image editing remains a significant challenge. This challenge is further amplified in video editing due to the additional dimension of time. This is especially the case for editing real-world videos as it necessitates maintaining a stable structural layout across frames while executing localized edits without disrupting the existing content. In this paper, we propose RealCraft, an attention-control-based method for zero-shot real-world video editing. By swapping cross-attention for new feature injection and relaxing spatial-temporal attention of the editing object, we achieve localized shape-wise edit along with enhanced temporal consistency. Our model directly uses Stable Diffusion and operates without the need for additional information. We showcase the proposed zero-shot attention-control-based method across a range of videos, demonstrating shape-wise, time-consistent and parameter-free editing in videos of up to 64 frames.


title: Mitigating a discrete sign problem with extreme learning machines

abstract: An extreme learning machine is a neural network in which only the weights in the last layer are changed during training; for such networks training can be performed efficiently and deterministically. We use an extreme learning machine to construct a control variate that tames the sign problem in the classical Ising model at imaginary external magnetic field. Using this control variate, we directly compute the partition function at imaginary magnetic field in two and three dimensions, yielding information on the positions of Lee-Yang zeros.


title: Domain-Independent Disperse and Pick method for Robotic Grasping

abstract: Picking unseen objects from clutter is a difficult problem because of the variability in objects (shape, size, and material) and occlusion due to clutter. As a result, it becomes difficult for grasping methods to segment the objects properly and they fail to singulate the object to be picked. This may result in grasp failure or picking of multiple objects together in a single attempt. A push-to-move action by the robot will be beneficial to disperse the objects in the workspace and thus assist the grasping and vision algorithm. We propose a disperse and pick method for domain-independent robotic grasping in a highly cluttered heap of objects. The novel contribution of our framework is the introduction of a heuristic clutter removal method that does not require deep learning and can work on unseen objects. At each iteration of the algorithm, the robot either performs a push-to-move action or a grasp action based on the estimated clutter profile. For grasp planning, we present an improved and adaptive version of a recent domain-independent grasping method. The efficacy of the integrated system is demonstrated in simulation as well as in the real-world.


title: Using Exact Tests from Algebraic Statistics in Sparse Multi-way Analyses: An Application to Analyzing Differential Item Functioning

abstract: Asymptotic goodness-of-fit methods in contingency table analysis can struggle with sparse data, especially in multi-way tables where it can be infeasible to meet sample size requirements for a robust application of distributional assumptions. However, algebraic statistics provides exact alternatives to these classical asymptotic methods that remain viable even with sparse data. We apply these methods to a context in psychometrics and education research that leads naturally to multi-way contingency tables: the analysis of differential item functioning (DIF). We explain concretely how to apply the exact methods of algebraic statistics to DIF analysis using the R package algstat, and we compare their performance to that of classical asymptotic methods.


title: Collective Anomaly Perception During Multi-Robot Patrol: Constrained Interactions Can Promote Accurate Consensus

abstract: An important real-world application of multi-robot systems is multi-robot patrolling (MRP), where robots must carry out the activity of going through an area at regular intervals. Motivations for MRP include the detection of anomalies that may represent security threats. While MRP algorithms show some maturity in development, a key potential advantage has been unexamined: the ability to exploit collective perception of detected anomalies to prioritize the location ordering of security checks. This is because noisy individual-level detection of an anomaly may be compensated for by group-level consensus formation regarding whether an anomaly is likely to be truly present. Here, we examine the performance of unmodified idleness-based patrolling algorithms when given the additional objective of reaching an environmental perception consensus via local pairwise communication and a quorum threshold. We find that generally, MRP algorithms that promote physical mixing of robots, as measured by a higher connectivity of their emergent communication network, reach consensus more quickly. However, when there is noise present in anomaly detection, a more moderate (constrained) level of connectivity is preferable because it reduces the spread of false positive detections, as measured by a group-level F-score. These findings can inform user choice of MRP algorithm and future algorithm development.


title: Enhancing the Study of Quantal Exocytotic Events: Combining Diamond Multi-Electrode Arrays with Amperometric PEak Analysis (APE) an Automated Analysis Code

abstract: MicroGraphited-Diamond-Multi Electrode Arrays ({\mu}G-D-MEAs) can be successfully used to reveal, in real time, quantal exocytotic events occurring from many individual neurosecretory cells and/or from many neurons within a network. As {\mu}G-D-MEAs arrays are patterned with up to 16 sensing microelectrodes, each of them recording large amounts of data revealing the exocytotic activity, the aim of this work was to support an adequate analysis code to speed up the signal detection. The cutting-edge technology of microGraphited-Diamond-Multi Electrode Arrays ({\mu}G-D-MEAs) has been implemented with an automated analysis code (APE, Amperometric Peak Analysis) developed using Matlab R2022a software to provide easy and accurate detection of amperometric spike parameters, including the analysis of the pre-spike foot that sometimes precedes the complete fusion pore dilatation. Data have been acquired from cultured PC12 cells, either collecting events during spontaneous exocytosis or after L-DOPA incubation. Validation of the APE code was performed by comparing the acquired spike parameters with those obtained using Quanta Analysis (Igor macro) by Mosharov et al.


title: Robust Point Matching with Distance Profiles

abstract: While matching procedures based on pairwise distances are conceptually appealing and thus favored in practice, theoretical guarantees for such procedures are rarely found in the literature. We propose and analyze matching procedures based on distance profiles that are easily implementable in practice, showing these procedures are robust to outliers and noise. We demonstrate the performance of the proposed method using a real data example and provide simulation studies to complement the theoretical findings.


title: LoLa: Low-Latency Realtime Video Conferencing over Multiple Cellular Carriers

abstract: LoLa is a novel multi-path system for video conferencing applications over cellular networks. It provides significant gains over single link solutions when the link quality over different cellular networks fluctuate dramatically and independently over time, or when aggregating the throughput across different cellular links improves the perceived video quality. LoLa achieves this by continuously estimating the quality of available cellular links to decide how to strip video packets across them without inducing delays or packet drops. It is also tightly coupled with state-of-the-art video codec to dynamically adapt video frame size to respond quickly to changing network conditions. Using multiple traces collected over 4 different cellular operators in a large metropolitan city, we demonstrate that LoLa provides significant gains in terms of throughput and delays compared to state-of-the-art real-time video conferencing solution.


title: Quantifying the magnetic noise power spectrum for ensembles of P1 and NV centers in diamond

abstract: We use Carr-Purcell-Meiboom-Gill (CPMG) dynamical decoupling to measure the magnetic noise power spectra for ensembles of P1 and NV centers in diamond using pulsed electron paramagnetic resonance (pEPR) at 2.5 GHz. The stroboscopically detected pEPR experiments on NV centers were performed on an HPHT (high pressure, high temperature) diamond sample at 13 mT and 190 mT, while the experiments on P1 centers were performed on a CVD (chemical vapor deposition) diamond sample at 89 mT. All power spectra show two distinct features, a broad component that is observed to scale as approximately $1/\omega$, and a prominent peak at the $^{13}$C Larmor precession frequency. The broad $1/\omega$ behavior is consistent with an inhomogeneous distribution of Lorentzian spectra due to clustering of P1 centers, which has recently been shown to be prevalent in HPHT diamond. However, it is unknown if such clustering occurs in CVD diamond. The maximum rate at which we can apply $\pi$ pulses is higher than the $^{13}$C frequency at 13 mT, but is lower than the $^{13}$C frequency at 89 mT and 190 mT. We develop techniques that utilize the higher harmonics of the CPMG filter function to improve our estimate of the $^{13}$C contribution to the power spectrum at the higher fields. Surprisingly, the $^{13}$C peak, when measured with higher harmonics of the CPMG filter, appears larger than expected based on measurements with the lower harmonics. We assess the robustness of our methods in the presence of finite pulse widths and flip angle errors. These techniques could be used in a variety of ac magnetometry and noise spectroscopy measurements such as chemical sensing and nanoscale nuclear magnetic resonance.


title: Rotational Augmented Noise2Inverse for Low-dose Computed Tomography Reconstruction

abstract: In this work, we present a novel self-supervised method for Low Dose Computed Tomography (LDCT) reconstruction. Reducing the radiation dose to patients during a CT scan is a crucial challenge since the quality of the reconstruction highly degrades because of low photons or limited measurements. Supervised deep learning methods have shown the ability to remove noise in images but require accurate ground truth which can be obtained only by performing additional high-radiation CT scans. Therefore, we propose a novel self-supervised framework for LDCT, in which ground truth is not required for training the convolutional neural network (CNN). Based on the Noise2Inverse (N2I) method, we enforce in the training loss the equivariant property of rotation transformation, which is induced by the CT imaging system, to improve the quality of the CT image in a lower dose. Numerical and experimental results show that the reconstruction accuracy of N2I with sparse views is degrading while the proposed rotational augmented Noise2Inverse (RAN2I) method keeps better image quality over a different range of sampling angles. Finally, the quantitative results demonstrate that RAN2I achieves higher image quality compared to N2I, and experimental results of RAN2I on real projection data show comparable performance to supervised learning.


title: Revisiting the effect of greediness on the efficacy of exchange algorithms for generating exact optimal experimental designs

abstract: Coordinate exchange (CEXCH) is a popular algorithm for generating exact optimal experimental designs. The authors of CEXCH advocated for a highly greedy implementation - one that exchanges and optimizes single element coordinates of the design matrix. We revisit the effect of greediness on CEXCHs efficacy for generating highly efficient designs. We implement the single-element CEXCH (most greedy), a design-row (medium greedy) optimization exchange, and particle swarm optimization (PSO; least greedy) on 21 exact response surface design scenarios, under the $D$- and $I-$criterion, which have well-known optimal designs that have been reproduced by several researchers. We found essentially no difference in performance of the most greedy CEXCH and the medium greedy CEXCH. PSO did exhibit better efficacy for generating $D$-optimal designs, and for most $I$-optimal designs than CEXCH, but not to a strong degree under our parametrization. This work suggests that further investigation of the greediness dimension and its effect on CEXCH efficacy on a wider suite of models and criterion is warranted.


title: Disentangling Multiple Emitting Components in Molecular Observations with Non-negative Matrix Factorization

abstract: Molecular emission from the galactic and extragalactic interstellar medium (ISM) is often used to determine the physical conditions of the dense gas. However, even from spatially resolved regions, the observed molecules are not necessarily arising from a single component. Disentangling multiple gas components is often a degenerate problem in radiative transfer studies. In this paper we investigate the use of the non-negative matrix factorization (NMF) approach as a means to recover gas components from a set of blended line intensity maps of molecular transitions which may trace different physical conditions. We run a series of experiments on synthetic datasets designed to replicate conditions in two very different environments: galactic pre-stellar cores and the ISM in high redshift galaxies. We find that the NMF algorithm often recovers the multiple components resembling those used in the data-generating process, provided that the different components have similar column densities. When NMF fails to recover all the individual components it does however group together the most similarly emitting ones. We further found that initialisation and regularisation are key factors in the efficiency of the NMF algorithm.


title: A comprehensive study of the effect of thermally induced surface terminations on nanodiamonds electrical properties

abstract: Nanodiamonds (NDs) gained increasing attention in multiple research areas due to the possibility of tuning their physical and chemical features by functionalizing their surface. This has a crucial impact on their electrical properties, which are essential in applications such as the development of innovative sensors and in the biomedical field. The great interest in electrical conduction in NDs has driven the scientific community to its extensive investigation. The role of various functionalities has been considered and different conduction mechanisms have been proposed. In this work, we reported on a systematic study of the modification of the electrical properties of differently sized NDs, as a function of different thermal treatments in air, hydrogen or inert atmosphere. Samples were electrically characterized in controlled humidity conditions to consider the influence of water on conductivity. NDs electrical properties were interpreted in connection with their surface chemistry and structural features, probed with infrared and Raman spectroscopies. The presence of surface graphite, hydrogen terminations or water adsorbed on hydrophilic oxygen-containing functional groups rendered NDs more conductive. These moieties indeed enabled different conduction mechanisms, which were respectively graphite-mediated conduction, water-induced transfer doping and Grotthus mechanism in surface-adsorbed water. The effect of particles size on conductivity has also been evaluated and discussed. Our experimental findings shed light on the link between surface modifications and electrical properties of NDs, providing at the same time an interpretative key to understanding the effect of particles dimensions.


title: IS-DARTS: Stabilizing DARTS through Precise Measurement on Candidate Importance

abstract: Among existing Neural Architecture Search methods, DARTS is known for its efficiency and simplicity. This approach applies continuous relaxation of network representation to construct a weight-sharing supernet and enables the identification of excellent subnets in just a few GPU days. However, performance collapse in DARTS results in deteriorating architectures filled with parameter-free operations and remains a great challenge to the robustness. To resolve this problem, we reveal that the fundamental reason is the biased estimation of the candidate importance in the search space through theoretical and experimental analysis, and more precisely select operations via information-based measurements. Furthermore, we demonstrate that the excessive concern over the supernet and inefficient utilization of data in bi-level optimization also account for suboptimal results. We adopt a more realistic objective focusing on the performance of subnets and simplify it with the help of the information-based measurements. Finally, we explain theoretically why progressively shrinking the width of the supernet is necessary and reduce the approximation error of optimal weights in DARTS. Our proposed method, named IS-DARTS, comprehensively improves DARTS and resolves the aforementioned problems. Extensive experiments on NAS-Bench-201 and DARTS-based search space demonstrate the effectiveness of IS-DARTS.