title: Robust 1-norm periodograms for analysis of noisy non-Gaussian time series with irregular cadences: Application to VLBI astrometry of quasars

abstract: Astronomical time series often have non-uniform sampling in time, or irregular cadences, with long gaps separating clusters of observations. Some of these data sets are also explicitly non-Gaussian with respect to the expected model fit, or the simple mean. The standard Lomb-Scargle periodogram is based on the least squares solution for a set of test periods and, therefore, is easily corrupted by a subset of statistical outliers or an intrinsically non-Gaussian population. It can produce completely misleading results for heavy-tailed distribution of residuals. We propose a robust 1-norm periodogram technique, which is based on the principles of robust statistical estimation. This technique can be implemented in weighted or unweighted options. The method is described in detail and compared with the classical least squares periodogram on a set of astrometric VLBI measurements of the ICRF quasar IERS B0642+449. It is uniformly applied to a collection of 259 ICRF3 quasars each with more than 200 epoch VLBI measurements, resulting in a list of 49 objects with quasi-periodic position changes above the $3\sigma$ level, which warrant further investigation.


title: A canonical polyadic tensor basis for fast Bayesian estimation of multi-subject fMRI activation patterns

abstract: Task-evoked functional magnetic resonance imaging studies, such as the Human Connectome Project (HCP), are a powerful tool for exploring how brain activity is influenced by cognitive tasks like memory retention, decision-making, and language processing. A fast Bayesian function-on-scalar model is proposed for estimating population-level activation maps linked to the working memory task. The model is based on the canonical polyadic (CP) tensor decomposition of coefficient maps obtained for each subject. This decomposition effectively yields a tensor basis capable of extracting both common features and subject-specific features from the coefficient maps. These subject-specific features, in turn, are modeled as a function of covariates of interest using a Bayesian model that accounts for the correlation of the CP-extracted features. The dimensionality reduction achieved with the tensor basis allows for a fast MCMC estimation of population-level activation maps. This model is applied to one hundred unrelated subjects from the HCP dataset, yielding significant insights into brain signatures associated with working memory.


title: Overlap Number of Balls Model-Agnostic CounterFactuals (ONB-MACF): A Data-Morphology-based Counterfactual Generation Method for Trustworthy Artificial Intelligence

abstract: Explainable Artificial Intelligence (XAI) is a pivotal research domain aimed at understanding the operational mechanisms of AI systems, particularly those considered ``black boxes'' due to their complex, opaque nature. XAI seeks to make these AI systems more understandable and trustworthy, providing insight into their decision-making processes. By producing clear and comprehensible explanations, XAI enables users, practitioners, and stakeholders to trust a model's decisions. This work analyses the value of data morphology strategies in generating counterfactual explanations. It introduces the Overlap Number of Balls Model-Agnostic CounterFactuals (ONB-MACF) method, a model-agnostic counterfactual generator that leverages data morphology to estimate a model's decision boundaries. The ONB-MACF method constructs hyperspheres in the data space whose covered points share a class, mapping the decision boundary. Counterfactuals are then generated by incrementally adjusting an instance's attributes towards the nearest alternate-class hypersphere, crossing the decision boundary with minimal modifications. By design, the ONB-MACF method generates feasible and sparse counterfactuals that follow the data distribution. Our comprehensive benchmark from a double perspective (quantitative and qualitative) shows that the ONB-MACF method outperforms existing state-of-the-art counterfactual generation methods across multiple quality metrics on diverse tabular datasets. This supports our hypothesis, showcasing the potential of data-morphology-based explainability strategies for trustworthy AI.


title: Diversifying by Intent in Recommender Systems

abstract: It has become increasingly clear that recommender systems overly focusing on short-term engagement can inadvertently hurt long-term user experience. However, it is challenging to optimize long-term user experience directly as the desired signal is sparse, noisy and manifests over a long horizon. In this work, we show the benefits of incorporating higher-level user understanding, specifically user intents that can persist across multiple interactions or recommendation sessions, for whole-page recommendation toward optimizing long-term user experience. User intent has primarily been investigated within the context of search, but remains largely under-explored for recommender systems. To bridge this gap, we develop a probabilistic intent-based whole-page diversification framework in the final stage of a recommender system. Starting with a prior belief of user intents, the proposed diversification framework sequentially selects items at each position based on these beliefs, and subsequently updates posterior beliefs about the intents. It ensures that different user intents are represented in a page towards optimizing long-term user experience. We experiment with the intent diversification framework on one of the world's largest content recommendation platforms, serving billions of users daily. Our framework incorporates the user's exploration intent, capturing their propensity to explore new interests and content. Live experiments show that the proposed framework leads to an increase in user retention and overall user enjoyment, validating its effectiveness in facilitating long-term planning. In particular, it enables users to consistently discover and engage with diverse contents that align with their underlying intents over time, thereby leading to an improved long-term user experience.


title: Multi-dimension Transformer with Attention-based Filtering for Medical Image Segmentation

abstract: The accurate segmentation of medical images is crucial for diagnosing and treating diseases. Recent studies demonstrate that vision transformer-based methods have significantly improved performance in medical image segmentation, primarily due to their superior ability to establish global relationships among features and adaptability to various inputs. However, these methods struggle with the low signal-to-noise ratio inherent to medical images. Additionally, the effective utilization of channel and spatial information, which are essential for medical image segmentation, is limited by the representation capacity of self-attention. To address these challenges, we propose a multi-dimension transformer with attention-based filtering (MDT-AF), which redesigns the patch embedding and self-attention mechanism for medical image segmentation. MDT-AF incorporates an attention-based feature filtering mechanism into the patch embedding blocks and employs a coarse-to-fine process to mitigate the impact of low signal-to-noise ratio. To better capture complex structures in medical images, MDT-AF extends the self-attention mechanism to incorporate spatial and channel dimensions, enriching feature representation. Moreover, we introduce an interaction mechanism to improve the feature aggregation between spatial and channel dimensions. Experimental results on three public medical image segmentation benchmarks show that MDT-AF achieves state-of-the-art (SOTA) performance.


title: Super Hayashi Quandles

abstract: Quandles are right-invertible, right-self distributive (and idempotent) algebraic structures. Therefore, right translations are quandle automorphisms. It has been interesting to look into finite quandles by way of the cycle structures their right translations may have. For each quandle, the list of these cycle structures is known as the profile of the quandle. For a connected quandle, any two right translations are conjugate so there is essentially one cycle structure per connected quandle - which we thus identify with the profile. Hayashi conjectured that, for a connected quandle, each length of its profile divides the longest length. In the present article we introduce Super Hayashi Quandles (SHQ). An SHQ is a finite connected quandle such that any two lengths in its profile are (i) distinct, and (ii) the shorter one divides the longer one. The SHQ's are latin quandles and we prove that their profiles depend only on the second shortest length and on the number of cycles. Furthermore, we prove that SHQ's have SHQ's alone for subquandles (with the same second shortest length but fewer cycles). Finally, we construct infinitely many SHQ's.


title: Orbital angular momentum enhanced laser absorption and neutron generation

abstract: We experimentally demonstrate enhanced absorption of near relativistic optical vortex beams in $\mathrm{D_2O}$ plasmas to generate a record fast-neutron yield of $1.45 \times 10^6$ n/s/sr. Beams with a topological charge of 5 were shown to deliver up to a 3.3 times enhancement of fast-neutron yield over a Gaussian focused beam of the same energy but having two orders of magnitude higher intensity. This result was achieved with laser energies of 16 mJ and a pulse duration of 67 fs. The Orbital Angular Momentum (OAM) beam-target interactions in our experiment were also investigated through Particle-in-Cell (PIC) simulations. Electron density rippling resulting in enhanced plasma wave excitation on the critical surface and significantly enhanced resonance absorption is observed.


title: An Introduction on Solar Imaging Data Analytic Challenges and Opportunities for Statisticians

abstract: We give a gentle introduction to solar imaging data, focusing on challenges and opportunities of data-driven approaches for solar eruptions. The various solar phenomena prediction problems that might benefit from statistical methods are presented. Available data and software will be described. State-of-art solar eruption forecasting with data driven approaches are summarized and discussed. Based on the characteristics of the datasets and state-of-art approaches, we point out several promising directions to explore from statistical modeling and computational perspectives.


title: Feller generators with singular drifts in the critical range

abstract: We consider diffusion operator $-\Delta + b \cdot \nabla$ in $\mathbb R^d$, $d \geq 3$, with drift $b$ in a large class of locally unbounded vector fields that can have critical-order singularities. Covering the entire range of admissible magnitudes of singularities of $b$ (but excluding the borderline value), we construct a strongly continuous Feller semigroup on the space of continuous functions vanishing at infinity, thus completing a number of results on well-posedness of SDEs with singular drifts. The previous results on Feller semigroups employed strong elliptic gradient bounds and hence required the magnitude of the singularities to be less than a small dimension-dependent constant. Our approach is different and uses De Giorgi's method ran in $L^p$ for $p$ sufficiently large, hence the gain in the assumptions on singular drift. For the critical borderline value of the magnitude of singularities of $b$, we construct a strongly continuous semigroup in a ``critical'' Orlicz space on $\mathbb R^d$ whose local topology is stronger than the local topology of $L^p$ for any $2 \leq p<\infty$ but is slightly weaker than that of $L^\infty$.


title: Efficacy of static analysis tools for software defect detection on open-source projects

abstract: In software practice, static analysis tools remain an integral part of detecting defects in software and there have been various tools designed to run the analysis in different programming languages like Java, C++, and Python. This paper presents an empirical comparison of popular static analysis tools for identifying software defects using several datasets using Java, C++, and Python code. The study used popular analysis tools such as SonarQube, PMD, Checkstyle, and FindBugs to perform the comparison based on using the datasets. The study also used various evaluation metrics such as Precision, Recall, and F1-score to determine the performance of each analysis tool. The study results show that SonarQube performs considerably well than all other tools in terms of its defect detection across the various three programming languages. These findings remain consistent with other existing studies that also agree on SonarQube being an effective tool for defect detection in software. The study contributes to much insight on static analysis tools with different programming languages and additional information to understand the strengths and weaknesses of each analysis tool. The study also discusses the implications for software development researchers and practitioners, and future directions in this area. Our research approach aim is to provide a recommendation guideline to enable software developers, practitioners, and researchers to make the right choice on static analysis tools to detect errors in their software codes. Also, for researchers to embark on investigating and improving software analysis tools to enhance the quality and reliability of the software systems and its software development processes practice.


title: On the strong DR/DZ conjecture

abstract: We establish the Miura equivalence of two integrable systems associated to a semi-simple cohomological field theory: the double ramification hierarchy of Buryak and the Dubrovin-Zhang hierarchy. This equivalence was conjectured by Buryak and further refined by Buryak, Dubrovin, Gu\'er\'e, and Rossi.


title: Close Binary Fractions in accreted and in-situ Halo Stars

abstract: The study of binary stars in the Galactic halo provides crucial insights into the dynamical history and formation processes of the Milky Way. In this work, we aim to investigate the binary fraction in a sample of accreted and in-situ halo stars, focusing on short-period binaries. Utilising data from Gaia DR3, we analysed the radial velocity (RV) uncertainty $\sigma_{\mathrm{RV}}$ distribution of a sample of main-sequence stars. We used a novel Bayesian framework to model the dependence in $\sigma_{\mathrm{RV}}$ of single and binary systems allowing us to estimate binary fractions $F$ in a sample of bright ($G_{\mathrm{RVS}}$ < 12) Gaia sources. We selected the samples of in-situ and accreted halo stars based on estimating the 6D phase space information and affiliating the stars to the different samples on an action-angle vs energy ($L_{\mathrm{z}}-E$) diagram. Our results indicate a higher, though not significant, binary fraction in accreted stars compared to the in-situ halo sample. We further explore binary fractions using cuts in $E$ and $L_z$ and find a higher binary fraction in both high-energy and prograde orbits that might be explained by differences in metallicity. By cross-matching our Gaia sample with APOGEE DR17 catalogue, we confirm the results of previous studies on higher binary fractions in metal-poor stars and find the fractions of accreted and in-situ halo stars consistent with this trend. Our finding provides new insights into binary stars' formation processes and dynamical evolution in the primordial Milky Way Galaxy and its accreted dwarf Galaxies.


title: Interoperable Provenance Authentication of Broadcast Media using Open Standards-based Metadata, Watermarking and Cryptography

abstract: The spread of false and misleading information is receiving significant attention from legislative and regulatory bodies. Consumers place trust in specific sources of information, so a scalable, interoperable method for determining the provenance and authenticity of information is needed. In this paper we analyze the posting of broadcast news content to a social media platform, the role of open standards, the interplay of cryptographic metadata and watermarks when validating provenance, and likely success and failure scenarios. We conclude that the open standards for cryptographically authenticated metadata developed by the Coalition for Provenance and Authenticity (C2PA) and for audio and video watermarking developed by the Advanced Television Systems Committee (ATSC) are well suited to address broadcast provenance. We suggest methods for using these standards for optimal success.


title: Circular orbits and chaos bound in slow-rotating curved acoustic black holes

abstract: In recent years, the incorporation of acoustic black holes into Schwarzschild spacetime has enabled the simultaneous existence of event and acoustic horizons, as derived from the Gross-Pitaevskii theory. This paper investigates the dynamics of a particle-like vortex in free fall as it approaches the horizon of a curved slowly-rotating acoustic black hole, specifically within the context of the Lens-Thirring spacetime. We analyze the circular orbits of vortices around the acoustic black hole and delve into the chaotic motion of the vortex at the unstable equilibrium in the vicinity of the horizon. Furthermore, we explore whether a universal bound exists for the Lyapunov exponent characterising this chaotic motion, drawing parallels to the known bounds for the particle motion in general relativity. We anticipate that future experiments will be able to corroborate these findings.


title: Nano-gap electrode dielectrophoresis for tether-free trapping and interferometric-scattering detection of single 20 nm particles

abstract: Accurate detection and characterization of nanoparticles within confined spaces is crucial for applications ranging from nanofluidics to biotechnology. We present a novel approach that combines interferometric scattering (iSCAT) detection with trapping by dielectrophoresis (DEP) to achieve label-free detection of nanoparticles that are trapped and/or actuated between nano-gap electrodes. DEP utilizes the interaction between the induced dipole of the particle and the applied electric field to create a trapping potential. We demonstrate our method by trapping and label-free detection of down to 20 nm polystyrene nanoparticles. Additionally, we demonstrate that the signal-to-noise ratio of our detection can be boosted up to 20-fold by periodic actuation of the nanoparticle in the trap. This is done by a digital lock-in detection scheme on the modulated scattering signal. Our method holds promise for various applications, including assembly of nanoparticles, single-particle property analysis, and nanofluidic devices.


title: Effects of Magnetic Anisotropy on 3-Qubit Antiferromagnetic Thermal Machines

abstract: This study investigates the anisotropic effects on a system of three qubits with chain and ring topology, described by the antiferromagnetic Heisenberg XXX model subjected to a homogeneous magnetic field. We explore the Stirling and Otto cycles and find that easy-axis anisotropy significantly enhances engine efficiency across all cases. At low temperatures, the ring configuration outperforms the chain on both work and efficiency during the Stirling cycle. Additionally, in both topologies, the Stirling cycle achieves Carnot efficiency with finite work at quantum critical points. In contrast, the quasistatic Otto engine also reaches Carnot efficiency at these points but yields no useful work. Notably, the Stirling cycle exhibits all thermal operational regimes engine, refrigerator, heater, and accelerator unlike the quasistatic Otto cycle, which functions only as an engine or refrigerator.


title: Cascade-based Randomization for Inferring Causal Effects under Diffusion Interference

abstract: The presence of interference, where the outcome of an individual may depend on the treatment assignment and behavior of neighboring nodes, can lead to biased causal effect estimation. Current approaches to network experiment design focus on limiting interference through cluster-based randomization, in which clusters are identified using graph clustering, and cluster randomization dictates the node assignment to treatment and control. However, cluster-based randomization approaches perform poorly when interference propagates in cascades, whereby the response of individuals to treatment propagates to their multi-hop neighbors. When we have knowledge of the cascade seed nodes, we can leverage this interference structure to mitigate the resulting causal effect estimation bias. With this goal, we propose a cascade-based network experiment design that initiates treatment assignment from the cascade seed node and propagates the assignment to their multi-hop neighbors to limit interference during cascade growth and thereby reduce the overall causal effect estimation error. Our extensive experiments on real-world and synthetic datasets demonstrate that our proposed framework outperforms the existing state-of-the-art approaches in estimating causal effects in network data.


title: On some singular graphs with non-isomorphic associated evolution algebras

abstract: A connected graph can be associated with two distinct evolution algebras. In the first case, the structural matrix is the adjacency matrix of the graph itself. In the second case, the structural matrix is the transition probabilities matrix of the symmetric random walk on the same graph. It is well-known that, for a non-singular graph, both evolution algebras are isomorphic if, and only if, the graph is regular or biregular. Moreover, through examples and partial results, it has been conjectured that the same result remains true for singular graphs. The purpose of this work is to provide new examples supporting this conjecture.


title: Probabilistic Eddy Identification with Uncertainty Quantification

abstract: Mesoscale eddies are critical in ocean circulation and the global climate system. Standard eddy identification methods are usually based on deterministic optimal point estimates of the ocean flow field, which produce a single best estimate without accounting for inherent uncertainties in the data. However, large uncertainty exists in estimating the flow field due to the use of noisy, sparse, and indirect observations, as well as turbulent flow models. When this uncertainty is overlooked, the accuracy of eddy identification is significantly affected. This paper presents a general probabilistic eddy identification framework that adapts existing methods to incorporate uncertainty into the diagnostic. The framework begins by sampling an ensemble of ocean realizations from the probabilistic state estimation, which considers uncertainty. Traditional eddy diagnostics are then applied to individual realizations, and the corresponding eddy statistics are aggregated from these diagnostic results. The framework is applied to a scenario mimicking the Beaufort Gyre marginal ice zone, where large uncertainty appears in estimating the ocean field using Lagrangian data assimilation with sparse ice floe trajectories. The probabilistic eddy identification precisely characterizes the contribution from the turbulent fluctuations and provides additional insights in comparison to its deterministic counterpart. The skills in counting the number of eddies and computing the probability of the eddy are both significantly improved under the probabilistic framework. Notably, large biases appear when estimating the eddy lifetime using deterministic methods. In contrast, probabilistic eddy identification not only provides a closer estimate but also quantifies the uncertainty in inferring such a crucial dynamical quantity.


title: Determine the Number of States in Hidden Markov Models via Marginal Likelihood

abstract: Hidden Markov models (HMM) have been widely used by scientists to model stochastic systems: the underlying process is a discrete Markov chain and the observations are noisy realizations of the underlying process. Determining the number of hidden states for an HMM is a model selection problem, which is yet to be satisfactorily solved, especially for the popular Gaussian HMM with heterogeneous covariance. In this paper, we propose a consistent method for determining the number of hidden states of HMM based on the marginal likelihood, which is obtained by integrating out both the parameters and hidden states. Moreover, we show that the model selection problem of HMM includes the order selection problem of finite mixture models as a special case. We give rigorous proof of the consistency of the proposed marginal likelihood method and provide an efficient computation method for practical implementation. We numerically compare the proposed method with the Bayesian information criterion (BIC), demonstrating the effectiveness of the proposed marginal likelihood method.


title: A Test of the Thermodynamics of Evolution

abstract: Recent research has extended methods from the fields of thermodynamics and statistical mechanics into other disciplines. Most notably, one recent work creates a unified theoretical framework to understand evolutionary biology, machine learning, and thermodynamics. We present simulations of biological evolution used to test this framework. The test simulates organisms whose behavior is determined by specific parameters that play the role of genes. These genes are passed on to new simulated organisms with the capacity to mutate, allowing adaption of the organisms to the environment. With this simulation, we are able to test the the framework in question. The results of our simulation are consistent with the work being tested, providing evidence for it.


title: Existence and uniqueness of solutions in the Lipschitz space of a functional equation and its application to the behavior of the paradise fish

abstract: In this paper, we examine the solvability of a functional equation in a Lipschitz space. As an application, we use our result to determine the existence and uniqueness of solutions to an equation describing a specific type of choice behavior model for the learning process of the paradise fish. Finally, we present some concrete examples where, using numerical techniques, we obtain approximations to the solution of the functional equation. As the straightforward Picard's iteration can be very expensive, we show that an analytical suboptimal least-squares approximation can be chosen in practice, resulting in very good accuracy.


title: Ultrafast Structured Light through Nonlinear Frequency Generation in an Optical Enhancement Cavity

abstract: The generation of shaped laser beams, or structured light, is of interest in a wide range of fields, from microscopy to fundamental physics. There are several ways to make shaped beams, most commonly using spatial light modulators comprised of pixels of liquid crystals. These methods have limitations on the wavelength, pulse duration, and average power that can be used. Here we present a method to generate shaped light that can be used at any wavelength from the UV to IR, on ultrafast pulses, and a large range of optical powers. By exploiting the frequency difference between higher order modes, a result of the Gouy phase, and cavity mode matching, we can selectively couple into a variety of pure and composite higher order modes. Optical cavities are used as a spatial filter and then combined with sum frequency generation in a nonlinear crystal as the output coupler to the cavity to create ultrafast, frequency comb structured light.


title: Self-HWDebug: Automation of LLM Self-Instructing for Hardware Security Verification

abstract: The rise of instruction-tuned Large Language Models (LLMs) marks a significant advancement in artificial intelligence (AI) (tailored to respond to specific prompts). Despite their popularity, applying such models to debug security vulnerabilities in hardware designs, i.e., register transfer language (RTL) modules, particularly at system-on-chip (SoC) level, presents considerable challenges. One of the main issues lies in the need for precisely designed instructions for pinpointing and mitigating the vulnerabilities, which requires substantial time and expertise from human experts. In response to this challenge, this paper proposes Self-HWDebug, an innovative framework that leverages LLMs to automatically create required debugging instructions. In Self-HWDebug, a set of already identified bugs from the most critical hardware common weakness enumeration (CWE) listings, along with mitigation resolutions, is provided to the framework, followed by prompting the LLMs to generate targeted instructions for such mitigation. The LLM-generated instructions are subsequently used as references to address vulnerabilities within the same CWE category but in totally different designs, effectively demonstrating the framework's ability to extend solutions across related security issues. Self-HWDebug significantly reduces human intervention by using the model's own output to guide debugging. Through comprehensive testing, Self-HWDebug proves not only to reduce experts' effort/time but also to even improve the quality of the debugging process.


title: Unveiling the Complex Circumgalactic Medium: A Comparative Study of Merging and Non-Interacting Galaxy Groups

abstract: While most galaxies live in group environments where they undergo an accelerated evolution, the characteristics of their circumgalactic medium (CGM) remain uncertain. We present an analysis of the CGM of two galaxy groups in different stages of interaction: (G1) a close pair of galaxies ($z=0.043$) separated by 87 kpc that do not show signs of interactions and (G2) four merging galaxies ($z=0.098$) separated by 10 kpc. We present spatially-resolved Keck/KCWI galaxy observations and HST/COS quasar spectra (G1 at 48 kpc and G2 at 100 kpc away) to quantify both the resolved galaxy and CGM properties in these two different group environments. G1 contains two typical star-forming galaxies with no evidence of strong outflows. G2 contains two star-forming, one post-starburst and one quiescent galaxy. Both groups have a range of CGM detected metal lines (HI, CII, SiII, SiIII, NV and OVI). Despite G2 being twice as far from the quasar, G2 has $\log (N(HI)/{\rm cm}^{-2})=17.33$, compared to $\log (N(HI)/{\rm cm}^{-2})=16.43$ for G1. We find that the CGM of the merging galaxies (G2) is more kinematically complex, is in a higher ionisation state, spans a wider range of metallicities and column densities, has smaller cloud sizes, and is inconsistent with the simple superposition model that seems to match well with G1. We conclude that the complexity of the CGM in merging galaxies surpasses that of not strongly interacting galaxies, suggesting that mergers play a significant role in shaping the intricate structure of the CGM.


title: Holomorphic projective connections on surfaces and osculating spaces

abstract: We study complex analytic projective connections on surfaces in projective n-spaces in terms of the "second" neighborhood of the surface in the ambient space, and in terms of the osculating behavior of the integral curves. We also investigate the action of a remarkable rational transformation on projective connections, and give the geometrical interpretation of joint invariants of a group closely related to the study of equivalence classes of projective connections on surfaces.


title: A framework for extraction and transformation of documents

abstract: We present a theoretical framework for the extraction and transformation of text documents. We propose to use a two-phase process where the first phase extracts span-tuples from a document, and the second phase maps the content of the span-tuples into new documents. We base the extraction phase on the framework of document spanners and the transformation phase on the theory of polyregular functions, the class of regular string-to-string functions with polynomial growth. For supporting practical extract-transform scenarios, we propose an extension of document spanners described by regex formulas from span-tuples to so-called multispan-tuples, where variables are mapped to sets of spans. We prove that this extension, called regex multispanners, has the same desirable properties as standard spanners described by regex formulas. In our framework, an Extract-Transform (ET) program is given by a regex multispanner followed by a polyregular function. In this paper, we study the expressibility and evaluation problem of ET programs when the transformation function is linear, called linear ET programs. We show that linear ET programs are equally expressive as non-deterministic streaming string transducers under bag semantics. Moreover, we show that linear ET programs are closed under composition. Finally, we present an enumeration algorithm for evaluating every linear ET program over a document with linear time preprocessing and constant delay.


title: Different kinds of accelerated propagation of relativistic electromagnetic plasma wavepackets

abstract: Relativistic electromagnetic plasma waves are described by a dynamical equation that can be solved not only in terms of plane waves, but for several different accelerating wavepacket solutions. Depending on the spatial and temporal dependence of the plasma frequency, different kinds of accelerating solution can be obtained, for example, in terms of Airy or Weber functions. Also, we show that an arbitrary accelerated wavepacket solution is possible, for example, for a system with a luminal plasma slab.


title: Exploring the Potential of Two-Dimensional Materials for Innovations in Multifunctional Electrochromic Biochemical Sensors: A Review

abstract: In this review, the current advancements in electrochromic sensors based on two-dimensional (2D) materials with rich chemical and physical properties are critically examined. By summarizing the current trends in and prospects for utilizing multifunctional electrochromic devices (ECDs) in environmental monitoring, food quality control, medical diagnosis, and life science-related investigations, we explore the potential of using 2D materials for rational design of ECDs with compelling electrical and optical properties for biochemical sensing applications.


title: TinyM$^2$Net-V3: Memory-Aware Compressed Multimodal Deep Neural Networks for Sustainable Edge Deployment

abstract: The advancement of sophisticated artificial intelligence (AI) algorithms has led to a notable increase in energy usage and carbon dioxide emissions, intensifying concerns about climate change. This growing problem has brought the environmental sustainability of AI technologies to the forefront, especially as they expand across various sectors. In response to these challenges, there is an urgent need for the development of sustainable AI solutions. These solutions must focus on energy-efficient embedded systems that are capable of handling diverse data types even in environments with limited resources, thereby ensuring both technological progress and environmental responsibility. Integrating complementary multimodal data into tiny machine learning models for edge devices is challenging due to increased complexity, latency, and power consumption. This work introduces TinyM$^2$Net-V3, a system that processes different modalities of complementary data, designs deep neural network (DNN) models, and employs model compression techniques including knowledge distillation and low bit-width quantization with memory-aware considerations to fit models within lower memory hierarchy levels, reducing latency and enhancing energy efficiency on resource-constrained devices. We evaluated TinyM$^2$Net-V3 in two multimodal case studies: COVID-19 detection using cough, speech, and breathing audios, and pose classification from depth and thermal images. With tiny inference models (6 KB and 58 KB), we achieved 92.95% and 90.7% accuracies, respectively. Our tiny machine learning models, deployed on resource limited hardware, demonstrated low latencies within milliseconds and very high power efficiency.


title: A Study on Optimization Techniques for Variational Quantum Circuits in Reinforcement Learning

abstract: Quantum Computing aims to streamline machine learning, making it more effective with fewer trainable parameters. This reduction of parameters can speed up the learning process and reduce the use of computational resources. However, in the current phase of quantum computing development, known as the noisy intermediate-scale quantum era (NISQ), learning is difficult due to a limited number of qubits and widespread quantum noise. To overcome these challenges, researchers are focusing on variational quantum circuits (VQCs). VQCs are hybrid algorithms that merge a quantum circuit, which can be adjusted through parameters, with traditional classical optimization techniques. These circuits require only few qubits for effective learning. Recent studies have presented new ways of applying VQCs to reinforcement learning, showing promising results that warrant further exploration. This study investigates the effects of various techniques -- data re-uploading, input scaling, output scaling -- and introduces exponential learning rate decay in the quantum proximal policy optimization algorithm's actor-VQC. We assess these methods in the popular Frozen Lake and Cart Pole environments. Our focus is on their ability to reduce the number of parameters in the VQC without losing effectiveness. Our findings indicate that data re-uploading and an exponential learning rate decay significantly enhance hyperparameter stability and overall performance. While input scaling does not improve parameter efficiency, output scaling effectively manages greediness, leading to increased learning speed and robustness.


title: Investigating the Impact of Choice on Deep Reinforcement Learning for Space Controls

abstract: For many space applications, traditional control methods are often used during operation. However, as the number of space assets continues to grow, autonomous operation can enable rapid development of control methods for different space related tasks. One method of developing autonomous control is Reinforcement Learning (RL), which has become increasingly popular after demonstrating promising performance and success across many complex tasks. While it is common for RL agents to learn bounded continuous control values, this may not be realistic or practical for many space tasks that traditionally prefer an on/off approach for control. This paper analyzes using discrete action spaces, where the agent must choose from a predefined list of actions. The experiments explore how the number of choices provided to the agents affects their measured performance during and after training. This analysis is conducted for an inspection task, where the agent must circumnavigate an object to inspect points on its surface, and a docking task, where the agent must move into proximity of another spacecraft and "dock" with a low relative speed. A common objective of both tasks, and most space tasks in general, is to minimize fuel usage, which motivates the agent to regularly choose an action that uses no fuel. Our results show that a limited number of discrete choices leads to optimal performance for the inspection task, while continuous control leads to optimal performance for the docking task.


title: Coarse-graining conformational dynamics with multi-dimensional generalized Langevin equation: how, when, and why

abstract: A data-driven ab initio generalized Langevin equation (AIGLE) approach is developed to learn and simulate high-dimensional, heterogeneous, coarse-grained conformational dynamics. Constrained by the fluctuation-dissipation theorem, the approach can build coarse-grained models in dynamical consistency with all-atom molecular dynamics. We also propose practical criteria for AIGLE to enforce long-term dynamical consistency. Case studies of a toy polymer, with 20 coarse-grained sites, and the alanine dipeptide, with two dihedral angles, elucidate why one should adopt AIGLE or its Markovian limit for modeling coarse-grained conformational dynamics in practice.

categories: physics.bio-ph cs.LG physics.chem-ph physics.data-an


title: Paired Conditional Generative Adversarial Network for Highly Accelerated Liver 4D MRI

abstract: Purpose: 4D MRI with high spatiotemporal resolution is desired for image-guided liver radiotherapy. Acquiring densely sampling k-space data is time-consuming. Accelerated acquisition with sparse samples is desirable but often causes degraded image quality or long reconstruction time. We propose the Reconstruct Paired Conditional Generative Adversarial Network (Re-Con-GAN) to shorten the 4D MRI reconstruction time while maintaining the reconstruction quality. Methods: Patients who underwent free-breathing liver 4D MRI were included in the study. Fully- and retrospectively under-sampled data at 3, 6 and 10 times (3x, 6x and 10x) were first reconstructed using the nuFFT algorithm. Re-Con-GAN then trained input and output in pairs. Three types of networks, ResNet9, UNet and reconstruction swin transformer, were explored as generators. PatchGAN was selected as the discriminator. Re-Con-GAN processed the data (3D+t) as temporal slices (2D+t). A total of 48 patients with 12332 temporal slices were split into training (37 patients with 10721 slices) and test (11 patients with 1611 slices). Results: Re-Con-GAN consistently achieved comparable/better PSNR, SSIM, and RMSE scores compared to CS/UNet models. The inference time of Re-Con-GAN, UNet and CS are 0.15s, 0.16s, and 120s. The GTV detection task showed that Re-Con-GAN and CS, compared to UNet, better improved the dice score (3x Re-Con-GAN 80.98%; 3x CS 80.74%; 3x UNet 79.88%) of unprocessed under-sampled images (3x 69.61%). Conclusion: A generative network with adversarial training is proposed with promising and efficient reconstruction results demonstrated on an in-house dataset. The rapid and qualitative reconstruction of 4D liver MR has the potential to facilitate online adaptive MR-guided radiotherapy for liver cancer.


title: Using Color Refinement to Boost Enumeration and Counting for Acyclic CQs of Binary Schemas

abstract: We present an index structure, called the color-index, to boost the evaluation of acyclic conjunctive queries (ACQs) over binary schemas. The color-index is based on the color refinement algorithm, a widely used subroutine for graph isomorphism testing algorithms. Given a database $D$, we use a suitable version of the color refinement algorithm to produce a stable coloring of $D$, an assignment from the active domain of $D$ to a set of colors $C_D$. The main ingredient of the color-index is a particular database $D_c$ whose active domain is $C_D$ and whose size is at most $|D|$. Using the color-index, we can evaluate any free-connex ACQ $Q$ over $D$ with preprocessing time $O(|Q| \cdot |D_c|)$ and constant delay enumeration. Furthermore, we can also count the number of results of $Q$ over $D$ in time $O(|Q| \cdot |D_c|)$. Given that $|D_c|$ could be much smaller than $|D|$ (even constant-size for some families of databases), the color-index is the first index structure for evaluating free-connex ACQs that allows efficient enumeration and counting with performance that may be strictly smaller than the database size.


title: Design and Analysis of a Detuned Series-Series IPT System with Solenoid Coil Structure for Drone Charging Applications

abstract: This paper proposes a new coil configuration that uses solenoid ferrites on the receiver side instead of planar ferrite coils that are employed in existing wireless charging systems.The solenoid ferrites are used in the drone legs to help mount the receiver on a moving truck while the two parts of the transmitter are placed on the truck.To validate this idea a detuned transmitter series-series (SS) compensated IPT prototype system has been investigated to charge the onboard battery of a drone.The proposed detuned design helps to limit the system output power and transmitter side current at even zero coupling condition and tolerates misalignment positions. Experimental results demonstrate that the system switching frequency is 245 kHz and the primary side resonates at 223.5 kHz, which is a detuned design The transmitting current is limited to 4.5 A at zero coupling condition with a low power loss of only 4.2 W at zero coupling condition. The target achievable power of the system is 50 W with a 10 mm air gap and horizontal and vertical misalignment in the range of [0, 50 mm].This system has been validated by experiments to charge an 11.1V battery at 48.2W with 88.2% efficiency.


title: DCE-Qnet: Deep Network Quantification of Dynamic Contrast Enhanced (DCE) MRI

abstract: Introduction: Quantification of dynamic contrast-enhanced (DCE)-MRI has the potential to provide valuable clinical information, but robust pharmacokinetic modeling remains a challenge for clinical adoption. Methods: A 7-layer neural network called DCE-Qnet was trained on simulated DCE-MRI signals derived from the Extended Tofts model with the Parker arterial input function. Network training incorporated B1 inhomogeneities to estimate perfusion (Ktrans, vp, ve), tissue T1 relaxation, proton density and bolus arrival time (BAT). The accuracy was tested in a digital phantom in comparison to a conventional nonlinear least-squares fitting (NLSQ). In vivo testing was conducted in 10 healthy subjects. Regions of interest in the cervix and uterine myometrium were used to calculate the inter-subject variability. The clinical utility was demonstrated on a cervical cancer patient. Test-retest experiments were used to assess reproducibility of the parameter maps in the tumor. Results: The DCE-Qnet reconstruction outperformed NLSQ in the phantom. The coefficient of variation (CV) in the healthy cervix varied between 5-51% depending on the parameter. Parameter values in the tumor agreed with previous studies despite differences in methodology. The CV in the tumor varied between 1-47%. Conclusion: The proposed approach provides comprehensive DCE-MRI quantification from a single acquisition. DCE-Qnet eliminates the need for separate T1 scan or BAT processing, leading to a reduction of 10 minutes per scan and more accurate quantification.


title: The influence of ionized gas kinematics on HII galaxies. The cases of Tol 1004-296 and Tol 0957-278

abstract: Blue Compact Galaxies (BCGs), also known as \HII\ galaxies, are dwarf, star-forming objects with relatively simple dynamics, which allows for the investigation of star formation mechanisms in a cleaner manner compared to late-type objects. In this study, we have examined various characteristics of the interstellar medium, in connection with the kinematics and dynamics of ionized gas, in Tol 1004-296 and Tol 0957-278. These two objects were observed using the SOAR Integral Field Spectrometer (SIFS) attached to the Southern Observatory for Astrophysical Research (SOAR). Both galaxies were observed with two gratings: one with medium resolution for monochromatic and abundance maps, and another with high resolution for kinematics and profile analysis. Additionally, we conducted an analysis on the velocity and velocity dispersion maps using intensity-velocity dispersion (I - $\sigma$) and velocity-velocity dispersion (Vr - $\sigma$) diagrams. Neither object exhibits a rotation pattern, and only Tol 1004-296 shows a velocity gradient between the two principal knots. However, the study reveals the significant role played by velocity dispersion in the star formation process. Specifically, we identified a relationship between monochromatic intensity, metallicity, and velocity dispersion, where high emission corresponds to low metallicity and low velocity dispersion. Tol 1004-296, in particular, exhibits a distinctive linear high velocity dispersion pattern between the two main knots, suggesting that both star formation sites are pushing the gas in opposite directions.


title: A New Asteroseismic $\textit{Kepler}$ Benchmark Constrains the Onset of Weakened Magnetic Braking in Mature Sun-Like Stars

abstract: Stellar spin down is a critical yet poorly understood component of stellar evolution. In particular, results from the Kepler Mission imply that mature age, solar-type stars have inefficient magnetic braking, resulting in a stalled spin down rate. However, a large number of precise asteroseismic ages are needed for mature ($\geq$ 3Gyr) stars in order to probe the regime where traditional and stalled spin-down models differ. In this paper, we present a new asteroseismic benchmark star for gyrochronology discovered using reprocessed Kepler short cadence data. KIC 11029516 (Papayu) is a bright ($K_{p}$ = 9.6 mag) solar-type star with well-measured rotation period (21.1$\pm$0.8 days) from spot modulation using 4 years of Kepler long cadence data. We combine asteroseismology and spectroscopy to obtain $T_{eff}=5888\pm100$ K, $\rm{[Fe/H]} = 0.30 \pm 0.06\,$ dex, $M = 1.24 \pm 0.05 M_{\odot}$, $R = 1.34 \pm 0.02 R_{\odot}$ and age of 4.0 $\pm$ 0.4 Gyr, making Papayu one of the most similar stars to the Sun in terms of temperature and radius with an asteroseismic age and a rotation period measured from spot modulation. We find that Papayu sits at the transition of where traditional and weakened spin-down models diverge. A comparison with stars of similar zero-age main-sequence temperatures supports previous findings that weakened spin-down models are required to explain the ages and rotation periods of old solar-type stars.


title: Question-Based Retrieval using Atomic Units for Enterprise RAG

abstract: Enterprise retrieval augmented generation (RAG) offers a highly flexible framework for combining powerful large language models (LLMs) with internal, possibly temporally changing, documents. In RAG, documents are first chunked. Relevant chunks are then retrieved for a specific user query, which are passed as context to a synthesizer LLM to generate the query response. However, the retrieval step can limit performance, as incorrect chunks can lead the synthesizer LLM to generate a false response. This work proposes a zero-shot adaptation of standard dense retrieval steps for more accurate chunk recall. Specifically, a chunk is first decomposed into atomic statements. A set of synthetic questions are then generated on these atoms (with the chunk as the context). Dense retrieval involves finding the closest set of synthetic questions, and associated chunks, to the user query. It is found that retrieval with the atoms leads to higher recall than retrieval with chunks. Further performance gain is observed with retrieval using the synthetic questions generated over the atoms. Higher recall at the retrieval step enables higher performance of the enterprise LLM using the RAG pipeline.


title: Communication protocols and QECC from the perspective of TQFT, Part II: QECCs as spacetimes

abstract: Topological quantum field theories (TQFTs) provide a general, minimal-assumption language for describing quantum-state preparation and measurement. They therefore provide a general language in which to express multi-agent communication protocols, e.g. local operations, classical communication (LOCC) protocols. In the accompanying Part I, we construct LOCC protocols using TQFT, and show that LOCC protocols induce quantum error-correcting codes (QECCs) on the agent-environment boundary. Such QECCs can be regarded as implementing or inducing the emergence of spacetimes on such boundaries. Here we investigate this connection between inter-agent communication and spacetime, exploiting different realizations of TQFT. We delve into TQFTs that support on their boundaries spin-networks as computational systems: these are known as topological quantum neural networks (TQNNs). TQNNs, which have a natural representation as tensor networks, implement QECC. We recognize into the HaPPY code a paradigmatic example. We then show how generic QECCs, as bulk-boundary codes, induce effective spacetimes. The effective spatial and temporal separations that take place in QECC enables LOCC protocols between spatially separated observers. We then consider the implementation of QECCs in BF and Chern-Simons theories, and show that QECC-induced spacetimes provide the classical redundancy required for LOCC. Finally, we consider topological M-theory as an implementation of QECC in higher spacetime dimensions.


title: ForeignFunctions package for Macaulay2

abstract: We introduction the ForeignFunctions package for Macaulay2, which uses libffi to provide the ability to call functions from external libraries without needing to link against them at compile time. As an example, we use the library FFTW to compute fast Fourier transforms inside Macaulay2.


title: Mimicking Negative Mass Properties

abstract: In the present work, one analyzes two systems trying to obtain physical conditions where some properties attributed to negative mass can be mimicked by positive mass particles. The first one is the well-known 1/2-spin system described by the Dirac equation in the presence of an external electromagnetic field. Assuming some physical restrictions, one obtains that the use of $e\rightarrow-e$ can lead to the same results as using $m\rightarrow-m$. In particular, for a null dielectric function, it is possible to obtain a negative mass behavior from a positive mass system composed of negatively charged particles. The second system is based on the de Broglie matter wave. The dispersion relation of such a wave can be negative (real or imaginary valued) if one assumes an imaginary wavenumber. The consequence is the emergence of a negative refractive index for positive mass particles. However, this behavior is generally attributed to a negative mass system.


title: Large-Scale Multi-Center CT and MRI Segmentation of Pancreas with Deep Learning

abstract: Automated volumetric segmentation of the pancreas on cross-sectional imaging is needed for diagnosis and follow-up of pancreatic diseases. While CT-based pancreatic segmentation is more established, MRI-based segmentation methods are understudied, largely due to a lack of publicly available datasets, benchmarking research efforts, and domain-specific deep learning methods. In this retrospective study, we collected a large dataset (767 scans from 499 participants) of T1-weighted (T1W) and T2-weighted (T2W) abdominal MRI series from five centers between March 2004 and November 2022. We also collected CT scans of 1,350 patients from publicly available sources for benchmarking purposes. We developed a new pancreas segmentation method, called PanSegNet, combining the strengths of nnUNet and a Transformer network with a new linear attention module enabling volumetric computation. We tested PanSegNet's accuracy in cross-modality (a total of 2,117 scans) and cross-center settings with Dice and Hausdorff distance (HD95) evaluation metrics. We used Cohen's kappa statistics for intra and inter-rater agreement evaluation and paired t-tests for volume and Dice comparisons, respectively. For segmentation accuracy, we achieved Dice coefficients of 88.3% (std: 7.2%, at case level) with CT, 85.0% (std: 7.9%) with T1W MRI, and 86.3% (std: 6.4%) with T2W MRI. There was a high correlation for pancreas volume prediction with R^2 of 0.91, 0.84, and 0.85 for CT, T1W, and T2W, respectively. We found moderate inter-observer (0.624 and 0.638 for T1W and T2W MRI, respectively) and high intra-observer agreement scores. All MRI data is made available at https://osf.io/kysnj/. Our source code is available at https://github.com/NUBagciLab/PaNSegNet.


title: Layout Agnostic Human Activity Recognition in Smart Homes through Textual Descriptions Of Sensor Triggers (TDOST)

abstract: Human activity recognition (HAR) using ambient sensors in smart homes has numerous applications for human healthcare and wellness. However, building general-purpose HAR models that can be deployed to new smart home environments requires a significant amount of annotated sensor data and training overhead. Most smart homes vary significantly in their layouts, i.e., floor plans and the specifics of sensors embedded, resulting in low generalizability of HAR models trained for specific homes. We address this limitation by introducing a novel, layout-agnostic modeling approach for HAR systems in smart homes that utilizes the transferrable representational capacity of natural language descriptions of raw sensor data. To this end, we generate Textual Descriptions Of Sensor Triggers (TDOST) that encapsulate the surrounding trigger conditions and provide cues for underlying activities to the activity recognition models. Leveraging textual embeddings, rather than raw sensor data, we create activity recognition systems that predict standard activities across homes without either (re-)training or adaptation on target homes. Through an extensive evaluation, we demonstrate the effectiveness of TDOST-based models in unseen smart homes through experiments on benchmarked CASAS datasets. Furthermore, we conduct a detailed analysis of how the individual components of our approach affect downstream activity recognition performance.


title: AtomGS: Atomizing Gaussian Splatting for High-Fidelity Radiance Field

abstract: 3D Gaussian Splatting (3DGS) has recently advanced radiance field reconstruction by offering superior capabilities for novel view synthesis and real-time rendering speed. However, its strategy of blending optimization and adaptive density control might lead to sub-optimal results; it can sometimes yield noisy geometry and blurry artifacts due to prioritizing optimizing large Gaussians at the cost of adequately densifying smaller ones. To address this, we introduce AtomGS, consisting of Atomized Proliferation and Geometry-Guided Optimization. The Atomized Proliferation constrains ellipsoid Gaussians of various sizes into more uniform-sized Atom Gaussians. The strategy enhances the representation of areas with fine features by placing greater emphasis on densification in accordance with scene details. In addition, we proposed a Geometry-Guided Optimization approach that incorporates an Edge-Aware Normal Loss. This optimization method effectively smooths flat surfaces while preserving intricate details. Our evaluation shows that AtomGS outperforms existing state-of-the-art methods in rendering quality. Additionally, it achieves competitive accuracy in geometry reconstruction and offers a significant improvement in training speed over other SDF-based methods. More interactive demos can be found in our website (https://rongliu-leo.github.io/AtomGS/).


title: Swift J1727.8-1613 has the Largest Resolved Continuous Jet Ever Seen in an X-ray Binary

abstract: Multi-wavelength polarimetry and radio observations of Swift J1727.8-1613 at the beginning of its recent 2023 outburst suggested the presence of a bright compact jet aligned in the north-south direction, which could not be confirmed without high angular resolution images. Using the Very Long Baseline Array and the Long Baseline Array, we imaged Swift J1727.8-1613, during the hard/hard-intermediate state, revealing a bright core and a large, two-sided, asymmetrical, resolved jet. The jet extends in the north-south direction, at a position angle of $-0.60\pm0.07\deg$ East of North. At 8.4 GHz, the entire resolved jet structure is $\sim110 (d/2.7\,\text{kpc})/\sin i$ AU long, with the southern approaching jet extending $\sim80 (d/2.7\,\text{kpc})/\sin i$ AU from the core, where $d$ is the distance to the source and $i$ is the inclination of the jet axis to the line of sight. These images reveal the most resolved continuous X-ray binary jet, and possibly the most physically extended continuous X-ray binary jet ever observed. Based on the brightness ratio of the approaching and receding jets, we put a lower limit on the intrinsic jet speed of $\beta\geq0.27$ and an upper limit on the jet inclination of $i\leq74\deg$. In our first observation we also detected a rapidly fading discrete jet knot $66.89\pm0.04$ mas south of the core, with a proper motion of $0.66\pm0.05$ mas hour$^{-1}$, which we interpret as the result of a downstream internal shock or a jet-ISM interaction, as opposed to a transient relativistic jet launched at the beginning of the outburst.


title: Algorithms for Generating Small Random Samples

abstract: This report presents algorithms for generating small random samples without replacement. It considers two cases. It presents an algorithm for sampling a pair of distinct integers, and an algorithm for sampling a triple of distinct integers. The worst case runtime of both algorithms is constant, while the worst case runtime of common algorithms for the general case of sampling $k$ elements from a set of $n$ are linear in $n$. Java implementations of both algorithms are included in the open source library $\rho\mu$.


title: DispaRisk: Assessing and Interpreting Disparity Risks in Datasets

abstract: Machine Learning algorithms (ML) impact virtually every aspect of human lives and have found use across diverse sectors, including healthcare, finance, and education. Often, ML algorithms have been found to exacerbate societal biases presented in datasets, leading to adversarial impacts on subsets/groups of individuals, in many cases minority groups. To effectively mitigate these untoward effects, it is crucial that disparities/biases are identified and assessed early in a ML pipeline. This proactive approach facilitates timely interventions to prevent bias amplification and reduce complexity at later stages of model development. In this paper, we introduce DispaRisk, a novel framework designed to proactively assess the potential risks of disparities in datasets during the initial stages of the ML pipeline. We evaluate DispaRisk's effectiveness by benchmarking it with commonly used datasets in fairness research. Our findings demonstrate the capabilities of DispaRisk to identify datasets with a high-risk of discrimination, model families prone to biases, and characteristics that heighten discrimination susceptibility in a ML pipeline. The code for our experiments is available in the following repository: https://github.com/jovasque156/disparisk


title: Identification of soft modes across the commensurate-to-incommensurate charge density wave transition in 1$T$-TaSe$_2$

abstract: 1$T$-TaSe$_2$ is a prototypical charge density wave (CDW) material for which electron-phonon coupling and associated lattice distortion play an important role in driving and stabilizing the CDW phase. Here, we investigate the lattice dynamics of bulk 1$T$-TaSe$_2$ using angle-resolved ultralow wavenumber Raman spectroscopy down to 10 cm$^{-1}$. Our high-resolution spectra allow us to identify at least 27 Raman-active modes in the commensurate (CCDW) phase. Contrary to other layered materials, we do not find evidence of interlayer breathing or shear modes, suggestive of $AA$ stacking in the bulk, or sufficiently weak interlayer coupling. Polarization dependence of the mode intensities allows the assignment of their symmetry, which is supported by first-principles calculations of the phonons for the bulk structure using density functional theory. A detailed temperature dependence in the range $T$ = 80 - 500 K allows us to identify soft modes associated with the CDW superlattice. Upon entering the incommensurate (ICCDW) phase above 473 K, we observe a dramatic loss of resolution of all modes, and significant linewidth broadening associated with a reduced phonon lifetime as the charge-order becomes incommensurate with the lattice.


title: Algebraic Constructions for the Digraph Degree-Diameter Problem

abstract: The degree-diameter problem for graphs is to find the largest number of vertices a graph can have given its diameter and maximum degree. We show we can realize this problem in terms of quasigroups, 1-factors and permutation groups. Our investigation originated from the study of graphs as the Cayley graphs of groupoids with d generators, a left identity and right cancellation; that is, a right quasigroup. This enables us to provide compact algebraic definitions for some important graphs that are either given as explicit edge lists or as the Cayley coset graphs of groups larger than the graph. One such example is a single expression for the Hoffman-Singleton graph. From there, we notice that the groupoids can be represented uniquely by a set of disjoint permutations and we explore the consequences of that observation.


title: Beyond Lithium-Ion Batteries: Are Effective Electrodes Possible for Alkaline and Other Alkali Elements? Exploring Ion Intercalation in Surface-Modified Few-Layer Graphene and Examining Layer Quantity and Stages

abstract: In the quest for better energy storage solutions, the role of designing effective electrodes is crucial. Previous research has shown that using materials like single-side fluorinated graphene can improve the stability of ion insertion in few-layer graphene (FLG), which is vital as we move beyond lithium-ion batteries. Alternatives such as sodium and potassium, which are more abundant on Earth, appear promising, but thorough studies on how these ions insert into electrodes in stages are still needed. Our research focuses on the initial three alkali (Li, Na, K) and alkaline (Be, Mg, Ca) earth metals. Using Density Functional Theory (DFT) with advanced calculations, we've investigated how these ions interact with modified graphene at various stages of insertion. This method provides more precise electrical data and has helped us understand the complex interactions involved. Specifically, we found a new site for ion insertion that is energetically favorable. We also explored how modifying the graphene surface affects ions of different sizes and charges and examined how the number of graphene layers influences these interactions. Our discoveries are crucial for developing new materials that could replace lithium-ion batteries and provide a foundation for adjusting electrical properties in battery design through ion staging and surface modifications.


title: A silicon photonics waveguide-coupled colloidal quantum dot photodiode sensitive beyond 1.6 um

abstract: Silicon photonics faces a persistent challenge in extending photodetection capabilities beyond the 1.6 um wavelength range, primarily due to the lack of appropriate epitaxial materials. Colloidal quantum dots (QDs) present a promising solution here, offering distinct advantages such as infrared wavelength tunability, cost-effectiveness, and facile deposition. Their unique properties position them as a potential candidate for enabling photodetection in silicon photonics beyond the conventional telecom wavelength, thereby expanding the potential applications and capabilities within this domain. In this study, we have successfully integrated lead sulfide (PbS) colloidal quantum dot photodiodes (QDPDs) onto silicon waveguides using standard process techniques. The integrated photodiodes exhibit a remarkable responsivity of 1.3 A/W (with an external quantum efficiency of 74.8%) at a wavelength of 2.1 um, a low dark current of only 106 nA and a bandwidth of 1.1 MHz under a -3 V bias. To demonstrate the scalability of our integration approach, we have developed a compact 8-channel spectrometer incorporating an array of QDPDs. This achievement marks a significant step toward realizing a cost-effective photodetector solution for silicon photonics, particularly tailored for a wide range of sensing applications around the 2 um wavelength range.


title: Spatio-temporal Attention-based Hidden Physics-informed Neural Network for Remaining Useful Life Prediction

abstract: Predicting the Remaining Useful Life (RUL) is essential in Prognostic Health Management (PHM) for industrial systems. Although deep learning approaches have achieved considerable success in predicting RUL, challenges such as low prediction accuracy and interpretability pose significant challenges, hindering their practical implementation. In this work, we introduce a Spatio-temporal Attention-based Hidden Physics-informed Neural Network (STA-HPINN) for RUL prediction, which can utilize the associated physics of the system degradation. The spatio-temporal attention mechanism can extract important features from the input data. With the self-attention mechanism on both the sensor dimension and time step dimension, the proposed model can effectively extract degradation information. The hidden physics-informed neural network is utilized to capture the physics mechanisms that govern the evolution of RUL. With the constraint of physics, the model can achieve higher accuracy and reasonable predictions. The approach is validated on a benchmark dataset, demonstrating exceptional performance when compared to cutting-edge methods, especially in the case of complex conditions.


title: Phase-space negativity as a computational resource for quantum kernel methods

abstract: Quantum kernel methods are a proposal for achieving quantum computational advantage in machine learning. They are based on a hybrid classical-quantum computation where a function called the quantum kernel is estimated by a quantum device while the rest of the computation is performed classically. Quantum advantages may be achieved through this method only if the quantum kernel function cannot be estimated efficiently on a classical computer. In this paper, we provide sufficient conditions for the efficient classical estimation of quantum kernel functions for bosonic systems. Specifically, we show that if the negativity in the phase-space quasi-probability distributions of data-encoding quantum states associated with the quantum kernel scales at most polynomially with the size of the quantum circuit, then the kernel function can be estimated efficiently classically. We consider quantum optical examples involving linear-optical networks with and without adaptive non-Gaussian measurements and investigate the effects of loss on the efficiency of the classical simulation. Our results underpin the role of the negativity in phase-space quasi-probability distributions as an essential resource in quantum machine learning based on kernel methods.


title: Measurement dependence can enhance security in a quantum network

abstract: Network Nonlocality is an advanced study of quantum nonlocality that comprises network structure beyond Bell's theorem. The development of quantum networks has the potential to bring a lot of technological applications in sevaral quantum information processing tasks. Here, we are focusing on how the role of the independence of the measurement choices of the end parties in a network works and can be used to enhance the security in a quantum network. In both three-parties two-sources bilocal network and four-parties three-sources star network scenarios, we are able to show, a practical way to understand the relaxation of the assumptions to enhance a real security protocol if someone wants to breach in a network communications. Theoratically, we have proved that by relaxing the independence of the measurement choices of only one end party we can create a Standard Network Nonlocality(SNN) and more stronger Full Network Nonlocality(FNN) and we can get maximum quantum violation by the classical no-signalling local model. We are able to distinguish between two types of network nonlocality in the sense that the FNN is stronger than SNN, i.e., FNN states all the sources in a network need to distribute nonlocal resources.


title: Large scale scattering using fast solvers based on neural operators

abstract: We extend a recently proposed machine-learning-based iterative solver, i.e. the hybrid iterative transferable solver (HINTS), to solve the scattering problem described by the Helmholtz equation in an exterior domain with a complex absorbing boundary condition. The HINTS method combines neural operators (NOs) with standard iterative solvers, e.g. Jacobi and Gauss-Seidel (GS), to achieve better performance by leveraging the spectral bias of neural networks. In HINTS, some iterations of the conventional iterative method are replaced by inferences of the pre-trained NO. In this work, we employ HINTS to solve the scattering problem for both 2D and 3D problems, where the standard iterative solver fails. We consider square and triangular scatterers of various sizes in 2D, and a cube and a model submarine in 3D. We explore and illustrate the extrapolation capability of HINTS in handling diverse geometries of the scatterer, which is achieved by training the NO on non-scattering scenarios and then deploying it in HINTS to solve scattering problems. The accurate results demonstrate that the NO in HINTS method remains effective without retraining or fine-tuning it whenever a new scatterer is given. Taken together, our results highlight the adaptability and versatility of the extended HINTS methodology in addressing diverse scattering problems.


title: Flow Through Porous Media at the Percolation Transition

abstract: We study low-Reynolds-number fluid flow through a two-dimensional porous medium modeled as a Lorentz gas. Using extensive finite element simulations we fully resolve the flow fields for packing fractions approaching the percolation threshold. Near the percolation transition, we find a power-law scaling of the flow rate versus the pressure drop with an exponent of $\approx 5/2$, which has been predicted earlier by mapping the macroscopic flow to a discrete flow network [Phys. Rev. Lett. 54, 1985]. Importantly, we observe a rounding of the scaling behavior at small system sizes, which can be rationalized via a finite-size scaling ansatz. Finally, we show that the distribution of the kinetic energy exhibits a power-law scaling over several decades at small energies, originating from collections of self-similar, viscous eddies in the dead-end-channels. Our results lay the foundation for unraveling critical behavior of complex fluids omnipresent in biological and geophysical systems.


title: Stochastic Reservoir Computers

abstract: Reservoir computing is a form of machine learning that utilizes nonlinear dynamical systems to perform complex tasks in a cost-effective manner when compared to typical neural networks. Many recent advancements in reservoir computing, in particular quantum reservoir computing, make use of reservoirs that are inherently stochastic. However, the theoretical justification for using these systems has not yet been well established. In this paper, we investigate the universality of stochastic reservoir computers, in which we use a stochastic system for reservoir computing using the probabilities of each reservoir state as the readout instead of the states themselves. In stochastic reservoir computing, the number of distinct states of the entire reservoir computer can potentially scale exponentially with the size of the reservoir hardware, offering the advantage of compact device size. We prove that classes of stochastic echo state networks, and therefore the class of all stochastic reservoir computers, are universal approximating classes. We also investigate the performance of two practical examples of stochastic reservoir computers in classification and chaotic time series prediction. While shot noise is a limiting factor in the performance of stochastic reservoir computing, we show significantly improved performance compared to a deterministic reservoir computer with similar hardware in cases where the effects of noise are small.

categories: cs.LG cs.NE cs.SY eess.SY nlin.AO stat.ML


title: Half-closed Discontinuous Galerkin discretisations

abstract: We introduce the concept of half-closed nodes for nodal Discontinuous Galerkin (DG) discretisations. This is in contrast to more commonly used closed nodes in DG where in each element nodes are placed on every boundary. Half-closed nodes relax this constraint by only requiring nodes on a subset of the boundaries in each element, with this extra freedom in node placement allowing for increased efficiency in the assembly of DG operators. To determine which element boundaries half-closed nodes are placed on we outline a simple procedure based on switch functions. We examine the effect on operator sparsity from using the different types of nodes and show that in particular for the Laplace operator there is no difference in the sparsity from using half-closed or closed nodes. We also discuss in this work some linear solver techniques commonly used for Finite Element or Discontinuous Galerkin methods such as static condensation and block-based methods, and how they can be applied to half-closed DG discretisations.


title: Vulnerability Detection in C/C++ Code with Deep Learning

abstract: Deep learning has been shown to be a promising tool in detecting software vulnerabilities. In this work, we train neural networks with program slices extracted from the source code of C/C++ programs to detect software vulnerabilities. The program slices capture the syntax and semantic characteristics of vulnerability-related program constructs, including API function call, array usage, pointer usage, and arithmetic expression. To achieve a strong prediction model for both vulnerable code and non-vulnerable code, we compare different types of training data, different optimizers, and different types of neural networks. Our result shows that combining different types of characteristics of source code and using a balanced number of vulnerable program slices and non-vulnerable program slices produce a balanced accuracy in predicting both vulnerable code and non-vulnerable code. Among different neural networks, BGRU with the ADAM optimizer performs the best in detecting software vulnerabilities with an accuracy of 92.49%.


title: SciJava Ops: An Improved Algorithms Framework for Fiji and Beyond

abstract: Many scientific software platforms provide plugin mechanisms that simplify the integration, deployment, and execution of externally developed functionality. One of the most widely used platforms in the imaging space is Fiji, a popular open-source application for scientific image analysis. Fiji incorporates and builds on the ImageJ and ImageJ2 platforms, which provide a powerful plugin architecture used by thousands of plugins to solve a wide variety of problems. This capability is a major part of Fiji's success, and it has become a widely used biological image analysis tool and a target for new functionality. However, a plugin-based software architecture cannot unify disparate platforms operating on incompatible data structures; interoperability necessitates the creation of adaptation or "bridge" layers to translate data and invoke functionality. As a result, while platforms like Fiji enable a high degree of interconnectivity and extensibility, they were not fundamentally designed to integrate across the many data types, programming languages, and architectural differences of various software platforms.To help address this challenge, we present SciJava Ops, a foundational software library for expressing algorithms as plugins in a unified and extensible way. Continuing the evolution of Fiji's SciJava plugin mechanism, SciJava Ops enables users to harness algorithms from various software platforms within a central execution environment. In addition, SciJava Ops automatically adapts data into the most appropriate structure for each algorithm, allowing users to freely and transparently combine algorithms from otherwise incompatible tools. While SciJava Ops is initially distributed as a Fiji update site, the framework does not require Fiji, ImageJ, or ImageJ2, and would be suitable for integration with additional image analysis platforms.


title: Particle swarm optimization with Applications to Maximum Likelihood Estimation and Penalized Negative Binomial Regression

abstract: General purpose optimization routines such as nlminb, optim (R) or nlmixed (SAS) are frequently used to estimate model parameters in nonstandard distributions. This paper presents Particle Swarm Optimization (PSO), as an alternative to many of the current algorithms used in statistics. We find that PSO can not only reproduce the same results as the above routines, it can also produce results that are more optimal or when others cannot converge. In the latter case, it can also identify the source of the problem or problems. We highlight advantages of using PSO using four examples, where: (1) some parameters in a generalized distribution are unidentified using PSO when it is not apparent or computationally manifested using routines in R or SAS; (2) PSO can produce estimation results for the log-binomial regressions when current routines may not; (3) PSO provides flexibility in the link function for binomial regression with LASSO penalty, which is unsupported by standard packages like GLM and GENMOD in Stata and SAS, respectively, and (4) PSO provides superior MLE estimates for an EE-IW distribution compared with those from the traditional statistical methods that rely on moments.


title: Conformal Counterfactual Inference under Hidden Confounding

abstract: Personalized decision making requires the knowledge of potential outcomes under different treatments, and confidence intervals about the potential outcomes further enrich this decision-making process and improve its reliability in high-stakes scenarios. Predicting potential outcomes along with its uncertainty in a counterfactual world poses the foundamental challenge in causal inference. Existing methods that construct confidence intervals for counterfactuals either rely on the assumption of strong ignorability, or need access to un-identifiable lower and upper bounds that characterize the difference between observational and interventional distributions. To overcome these limitations, we first propose a novel approach wTCP-DR based on transductive weighted conformal prediction, which provides confidence intervals for counterfactual outcomes with marginal converage guarantees, even under hidden confounding. With less restrictive assumptions, our approach requires access to a fraction of interventional data (from randomized controlled trials) to account for the covariate shift from observational distributoin to interventional distribution. Theoretical results explicitly demonstrate the conditions under which our algorithm is strictly advantageous to the naive method that only uses interventional data. After ensuring valid intervals on counterfactuals, it is straightforward to construct intervals for individual treatment effects (ITEs). We demonstrate our method across synthetic and real-world data, including recommendation systems, to verify the superiority of our methods compared against state-of-the-art baselines in terms of both coverage and efficiency


title: Widespread disruption of resonant chains during protoplanetary disk dispersal

abstract: We describe the evolution of low mass planets in a dispersing protoplanetary disk around a Solar mass star. The disk model is based on the results of Yu, Hansen & Hasegawa (2023), which describes a region of the inner disk where the direction of the migration torque is outwards due to the diffusion of the stellar magnetic field into the disk and the resultant gradual increase in surface density outwards. We demonstrate that the magnetospheric rebound phase in such a disk leads to diverging orbits for double and triple planet systems, and the disruption of a high fraction of the initial resonant chains. We present simulations of three planet systems with masses based on the observed triple planet systems observed by the Kepler satellite within the context of this model. The final distribution of nearest neighbour period ratios provides an excellent fit to the observations, provided that the initial resonant configurations are compact. The occurrence rate of planets as a function of orbital period also provides a good match to the observations, for final orbital periods P<20 days. These results suggest that the period and period ratio distributions of low mass planets are primarily set in place during the disk dispersal epoch, and may not require significant dynamical evolution thereafter.


title: Zagreb Connection indices on polyomino chains and random polyomino chains

abstract: In this manuscript, we delve into the exploration of the first and second Zagreb connection indices of both polyomino chains and random polyomino chains. Our methodology relies on the utilization of Markov chain theory. Within this framework, the article thoroughly examines precise formulas and investigates extreme values. Leveraging the derived formulas, we further explore and elucidate the long-term behavior exhibited by random polyomino chains.


title: A Metric-based Principal Curve Approach for Learning One-dimensional Manifold

abstract: Principal curve is a well-known statistical method oriented in manifold learning using concepts from differential geometry. In this paper, we propose a novel metric-based principal curve (MPC) method that learns one-dimensional manifold of spatial data. Synthetic datasets Real applications using MNIST dataset show that our method can learn the one-dimensional manifold well in terms of the shape.


title: Automated Anomaly Detection on European XFEL Klystrons

abstract: High-power multi-beam klystrons represent a key component to amplify RF to generate the accelerating field of the superconducting radio frequency (SRF) cavities at European XFEL. Exchanging these high-power components takes time and effort, thus it is necessary to minimize maintenance and downtime and at the same time maximize the device's operation. In an attempt to explore the behavior of klystrons using machine learning, we completed a series of experiments on our klystrons to determine various operational modes and conduct feature extraction and dimensionality reduction to extract the most valuable information about a normal operation. To analyze recorded data we used state-of-the-art data-driven learning techniques and recognized the most promising components that might help us better understand klystron operational states and identify early on possible faults or anomalies.


title: Integral canonical models of exceptional Shimura varieties

abstract: We prove that Shimura varieties admit integral canonical models for sufficiently large primes. In the case of abelian-type Shimura varieties, this recovers work of Kisin-Kottwitz for sufficiently large primes. We also prove the existence of integral canonical models for images of period maps corresponding to geometric families. We deduce several consequences from this, including an unramified rigid analogue of Borel's extension theorem, a version of Tate semisimplicity, CM lifting theorems, and a weakened version of Tate's isogeny theorem for ordinary points.


title: The Fuzzy Onion: An Initial Study

abstract: In our previous contribution, we introduced a matrix formulation of a three-dimensional quantum space named the fuzzy onion. The novel part of the construction is the radial derivative term, which has been defined to recover the correct continuum limit. Here, we describe a numerical simulation of the scalar field theory in this space and test some physical properties of the model with emphasis on the interaction between neighbouring layers.


title: SALTUS Probe Class Space Mission: Observatory Architecture and Mission Design

abstract: We describe the space observatory architecture and mission design of the SALTUS mission, a NASA Astrophysics Probe Explorer concept. SALTUS will address key far-infrared science using a 14-m diameter <45 K primary reflector (M1) and will provide unprecedented levels of spectral sensitivity for planet, solar system, and galactic evolution studies, and cosmic origins. Drawing from Northrop Grumman's extensive NASA mission heritage, the observatory flight system is based on the LEOStar-3 spacecraft platform to carry the SALTUS Payload. The Payload is comprised of the inflation control system (ICS), Sunshield Module (SM), Cold Corrector Module (CCM), Warm Instrument Electronics Module, and Primary Reflector Module (PRM). The 14-m M1 is an off-axis inflatable membrane radiatively cooled by a two-layer sunshield (~1,000 m2 per layer). The CCM corrects for residual aberration from M1 and delivers a focused beam to two instruments - High Resolution Receiver (HiRX) and SAFARI-Lite. The CCM and PRM reside atop a truss-based composite deck which also provides a platform for the attitude control system. The 5-year mission lifetime is driven by a two-consumable architecture: the propellant system and the ICS. The Core Interface Module (CIM), a multi-faceted composite truss structure, provides a load path with high stiffness, mechanical attachment, and thermal separation between the Payload and spacecraft. The SM attaches outside the CIM with its aft end integrating directly to the bus. The spacecraft maintains an attitude off M1's boresight with respect to the Sun line to facilitate the <45 K thermal environment. SALTUS will reside in a Sun-Earth halo L2 orbit with a maximum Earth slant range of 1.8 million km thereby reducing orbit transfer delta-v. The instantaneous field of regard provides two continuous 20-deg viewing zones around the ecliptic poles resulting in full sky coverage in six months.


title: Ultraclean suspended graphene by radiolysis of adsorbed water

abstract: Access to intrinsic properties of a 2D material is challenging due to the absence of a bulk that would dominate over surface contamination, and this lack of bulk also precludes effective conventional cleaning methods that are almost always sacrificial. Suspended graphene and carbon contaminants represent the most salient challenge. This work has achieved ultraclean graphene, attested by electron energy loss (EEL) spectra unprecedentedly exhibiting fine-structure features expected from bonding and band structure. In the cleaning process in a transmission electron microscope, radicals generated by radiolysis of intentionally adsorbed water remove organic contaminants, which would otherwise be feedstock of the notorious electron irradiation induced carbon deposition. This method can be readily adapted to other experimental settings and other materials, to enable previously inhibited undertakings that rely on the intrinsic properties or ultimate thinness of 2D materials. Importantly, the method is surprisingly simple and robust, easily implementable with common lab equipment.


title: Integration of the Baker-Campbell-Hausdorff product

abstract: In an arbitrary complete differential graded Lie algebra, we construct a group operation $\bullet$ on $L_1$ such that the differential of the product of two elements is the Baker-Campbell-Hausdorff product of their differentials, i.e., $d(x\bullet y)=dx\ast dy$. We study some properties of this new structure and some applications, especially in homotopy theory, where this operation can be used to construct a Lie model for the 4-simplex. In particular, this solves, in dimension 4, a problem proposed by Lawrence and Sullivan.


title: Time-reversed information flow through a wormhole in scalar-tensor gravity

abstract: This Letter aims to advance novel properties of a class of Closed Timelike Curves recently discovered in scalar-tensor gravity [Universe 9, 467 (2023)]. Therein, it was shown that a wormhole acts a gateway between two $\textit{time-mirrored}$ worlds, where the two asymptotically flat sheets in the Kruskal-Szekeres diagram are glued antipodally along $\textit{three}$ directions -- time $t$ and the polar and azimuth angles $(\theta,\,\varphi)$ of the 2-sphere -- to form a wormhole throat. This contrasts with the standard embedding diagram which typically glues the sheets only along the $\theta$ and $\varphi$ directions. Crucially, due to the `gluing' along the $t$ direction, the wormhole becomes a portal connecting the two spacetime sheets with $\textit{opposite}$ physical time flows, enabling the emergence of closed timelike loops which straddle the throat. We shall point out that this portal $\textit{mathematically}$ permits the possibility of backward propagation of information $\textit{against}$ time. This feature is ubiquitous for wormholes in scalar-tensor theories. In addition, we formulate the Feynman sum for transition amplitudes of microscopic particles in the proximity of a wormhole throat in which we account for timelike paths that experience time reversal.


title: ASMR: Activation-sharing Multi-resolution Coordinate Networks For Efficient Inference

abstract: Coordinate network or implicit neural representation (INR) is a fast-emerging method for encoding natural signals (such as images and videos) with the benefits of a compact neural representation. While numerous methods have been proposed to increase the encoding capabilities of an INR, an often overlooked aspect is the inference efficiency, usually measured in multiply-accumulate (MAC) count. This is particularly critical in use cases where inference throughput is greatly limited by hardware constraints. To this end, we propose the Activation-Sharing Multi-Resolution (ASMR) coordinate network that combines multi-resolution coordinate decomposition with hierarchical modulations. Specifically, an ASMR model enables the sharing of activations across grids of the data. This largely decouples its inference cost from its depth which is directly correlated to its reconstruction capability, and renders a near O(1) inference complexity irrespective of the number of layers. Experiments show that ASMR can reduce the MAC of a vanilla SIREN model by up to 500x while achieving an even higher reconstruction quality than its SIREN baseline.


title: Diffusion for World Modeling: Visual Details Matter in Atari

abstract: World models constitute a promising approach for training reinforcement learning agents in a safe and sample-efficient manner. Recent world models predominantly operate on sequences of discrete latent variables to model environment dynamics. However, this compression into a compact discrete representation may ignore visual details that are important for reinforcement learning. Concurrently, diffusion models have become a dominant approach for image generation, challenging well-established methods modeling discrete latents. Motivated by this paradigm shift, we introduce DIAMOND (DIffusion As a Model Of eNvironment Dreams), a reinforcement learning agent trained in a diffusion world model. We analyze the key design choices that are required to make diffusion suitable for world modeling, and demonstrate how improved visual details can lead to improved agent performance. DIAMOND achieves a mean human normalized score of 1.46 on the competitive Atari 100k benchmark; a new best for agents trained entirely within a world model. To foster future research on diffusion for world modeling, we release our code, agents and playable world models at https://github.com/eloialonso/diamond.


title: Probing $|V_{td}|$ in single-top production at $pe^{\mp}$ colliders

abstract: We study the consequences for top-quark physics of having electron and positron beams available at the LHeC and FCC-he, as was the case in HERA. We show that the asymmetry between top production in $pe^+$ collisions and antitop production in $pe^-$ reactions is sensitive to $|V_{td}|$. By means of detailed parton-level Monte Carlo simulations of single $t$ and $\bar{t}$ production and its backgrounds, we parametrize the asymmetry dependence on $|V_{td}|$ and estimate its uncertainties. We thus obtain limits on $|V_{td}|$ that are substantially stronger than current ones, and also smaller than current projections for the HL-LHC. We have $|V_{td}| < 1.6\times |V_{td}^\mathrm{PDG}|$ at the LHeC, at 68\% C.L.\ with $L_\mathrm{int}=2$/ab.


title: Inexact Newton-type Methods for Optimisation with Nonnegativity Constraints

abstract: We consider solving large scale nonconvex optimisation problems with nonnegativity constraints. Such problems arise frequently in machine learning, such as nonnegative least-squares, nonnegative matrix factorisation, as well as problems with sparsity-inducing regularisation. In such settings, first-order methods, despite their simplicity, can be prohibitively slow on ill-conditioned problems or become trapped near saddle regions, while most second-order alternatives involve non-trivially challenging subproblems. The two-metric projection framework, initially proposed by Bertsekas (1982), alleviates these issues and achieves the best of both worlds by combining projected gradient steps at the boundary of the feasible region with Newton steps in the interior in such a way that feasibility can be maintained by simple projection onto the nonnegative orthant. We develop extensions of the two-metric projection framework, which by inexactly solving the subproblems as well as employing non-positive curvature directions, are suitable for large scale and nonconvex settings. We obtain state-of-the-art convergence rates for various classes of non-convex problems and demonstrate competitive practical performance on a variety of problems.


title: Unifying Monopole and Center Vortex as the Semiclassical Confinement Mechanism

abstract: Magnetic excitations play a crucial role in understanding the color confinement of $4$d Yang-Mills theory, and we have the monopole and the center vortex as plausible candidates to explain its mechanism. Under suitable compactified setups of $4$d Yang-Mills theory, we can achieve different weakly-coupled descriptions of confinement phenomena: The monopole mechanism takes place on $\mathbb{R}^3\times S^1$ with the double-trace deformation, and the center-vortex mechanism is effective on $\mathbb{R}^2\times T^2$ with the 't Hooft flux. We unify these two semiclassical descriptions by showing the explicit relation between the monopole and center vortex.