title: Constraining Axion-Gluon Coupling in Mono-hadron Processes

abstract: The axion-gluon coupling can be constrained directly through hard exclusive processes at the LHC. Specifically, we study the associated production of a long-lived axion with a $\rho^0$ meson in ultra-peripheral $AA$ collisions and in $pp$ collisions. With the axion escaped from the detector, the final state is characterized by a mono-hadron signature. The main background in our analysis originates from the $\rho^0+\pi^0$ process, where the photons from the $\pi^0$ decay are undetected due to limited detector performance. Our analysis yields an exclusion limit of the axion-gluon coupling that is comparable to the limit obtained from the mono-jet process at the LHC.


title: A Survey on Modern Code Review: Progresses, Challenges and Opportunities

abstract: Over the past decade, modern code review (MCR) has been deemed as a crucial practice of software quality assurance, which is applied to improve software quality and transfer development knowledge within a software team. Despite its importance, MCR is often a complicated and time-consuming activity for practitioners. In recent years, many studies that are dedicated to the comprehension and the improvement of MCR have been explored so that the MCR activity can be carried out more conveniently and efficiently. To provide researchers and practitioners a clear understanding of the current research status on MCR, this paper conducts a systematic literature review of the past years. Given the collected 231 surveyed papers, this paper makes the following five contributions: First, we analyze the research trends of related MCR studies. Second, we provide a taxonomy for the current MCR, encompassing both Improvement Techniques and Understanding Studies. Third, we present the concrete research progress of each novel MCR methodology and prototype tool. Fourth, we exploit the main empirical insights from empirical study and user study that are helpful to improve MCR. Finally, we sum up unsolved challenges and outline several possible research opportunities in the future.


title: Understanding Inter-Concept Relationships in Concept-Based Models

abstract: Concept-based explainability methods provide insight into deep learning systems by constructing explanations using human-understandable concepts. While the literature on human reasoning demonstrates that we exploit relationships between concepts when solving tasks, it is unclear whether concept-based methods incorporate the rich structure of inter-concept relationships. We analyse the concept representations learnt by concept-based models to understand whether these models correctly capture inter-concept relationships. First, we empirically demonstrate that state-of-the-art concept-based models produce representations that lack stability and robustness, and such methods fail to capture inter-concept relationships. Then, we develop a novel algorithm which leverages inter-concept relationships to improve concept intervention accuracy, demonstrating how correctly capturing inter-concept relationships can improve downstream tasks.


title: FinerCut: Finer-grained Interpretable Layer Pruning for Large Language Models

abstract: Overparametrized transformer networks are the state-of-the-art architecture for Large Language Models (LLMs). However, such models contain billions of parameters making large compute a necessity, while raising environmental concerns. To address these issues, we propose FinerCut, a new form of fine-grained layer pruning, which in contrast to prior work at the transformer block level, considers all self-attention and feed-forward network (FFN) layers within blocks as individual pruning candidates. FinerCut prunes layers whose removal causes minimal alternation to the model's output -- contributing to a new, lean, interpretable, and task-agnostic pruning method. Tested across 9 benchmarks, our approach retains 90% performance of Llama3-8B with 25% layers removed, and 95% performance of Llama3-70B with 30% layers removed, all without fine-tuning or post-pruning reconstruction. Strikingly, we observe intriguing results with FinerCut: 42% (34 out of 80) of the self-attention layers in Llama3-70B can be removed while preserving 99% of its performance -- without additional fine-tuning after removal. Moreover, FinerCut provides a tool to inspect the types and locations of pruned layers, allowing to observe interesting pruning behaviors. For instance, we observe a preference for pruning self-attention layers, often at deeper consecutive decoder layers. We hope our insights inspire future efficient LLM architecture designs.


title: Conceptual Design of a Doppler Spectrometer for 10$^2$ m/s Cross-Field Flows in Tokamak Divertors

abstract: It has been theoretically predicted that the \ExB drift caused by the spontaneously generated potential in scrape-off-layers (SOLs) and divertors in tokamaks is of a similar size to the poloidal component of the parallel flow and turbulent flow, thereby it significantly impacts on the plasma transport there. Many experiments indeed have implied the role of the electric potential, however, its direct observation through its \ExB flow measurement has never been realized because the drift velocity ($10^2$--$10^3$ m/s) is significantly below the detection limit of existing diagnostics. To realize a cross-field ion flow measurement, variety of systematic uncertainties of the system must be narrowed down. Here, we develop a conceptual design of the Doppler spectrometry that enables to measure the impurity flows with $10^2$-m/s accuracy, based on an in-situ wavelength-calibration techniques developed in astrophysics field, the iodine-cell method. We discuss its properties and applicability. In particular, the scaling relation of the wavelength accuracy and various spectroscopic parameters is newly presented, which suggests the high importance of the wavelength resolution of the system. Based on transport simulations for the JT-60SA divertor, the feasibility of the system is assessed.


title: Non-negative Tensor Mixture Learning for Discrete Density Estimation

abstract: We present an expectation-maximization (EM) based unified framework for non-negative tensor decomposition that optimizes the Kullback-Leibler divergence. To avoid iterations in each M-step and learning rate tuning, we establish a general relationship between low-rank decomposition and many-body approximation. Using this connection, we exploit that the closed-form solution of the many-body approximation can be used to update all parameters simultaneously in the M-step. Our framework not only offers a unified methodology for a variety of low-rank structures, including CP, Tucker, and Train decompositions, but also their combinations forming mixtures of tensors as well as robust adaptive noise modeling. Empirically, we demonstrate that our framework provides superior generalization for discrete density estimation compared to conventional tensor-based approaches.


title: Recurrent Natural Policy Gradient for POMDPs

abstract: In this paper, we study a natural policy gradient method based on recurrent neural networks (RNNs) for partially-observable Markov decision processes, whereby RNNs are used for policy parameterization and policy evaluation to address curse of dimensionality in non-Markovian reinforcement learning. We present finite-time and finite-width analyses for both the critic (recurrent temporal difference learning), and correspondingly-operated recurrent natural policy gradient method in the near-initialization regime. Our analysis demonstrates the efficiency of RNNs for problems with short-term memory with explicit bounds on the required network widths and sample complexity, and points out the challenges in the case of long-term dependencies.


title: From Learning to Optimize to Learning Optimization Algorithms

abstract: Towards designing learned optimization algorithms that are usable beyond their training setting, we identify key principles that classical algorithms obey, but have up to now, not been used for Learning to Optimize (L2O). Following these principles, we provide a general design pipeline, taking into account data, architecture and learning strategy, and thereby enabling a synergy between classical optimization and L2O, resulting in a philosophy of Learning Optimization Algorithms. As a consequence our learned algorithms perform well far beyond problems from the training distribution. We demonstrate the success of these novel principles by designing a new learning-enhanced BFGS algorithm and provide numerical experiments evidencing its adaptation to many settings at test time.


title: A path towards constraining the evolution of the interstellar medium and outflows in the Milky Way using APOGEE

abstract: In recent years, the study of the Milky Way has significantly advanced due to extensive spectroscopic surveys of its stars, complemented by astroseismic and astrometric data. However, it remains disjoint from recent advancements in understanding the physics of the Galactic interstellar medium (ISM). This paper introduces a new model for the chemical evolution of the Milky Way that can be constrained on stellar data, because it combines a state-of-the-art ISM model with a Milky Way stellar disc model. Utilizing a dataset of red clump stars from APOGEE, known for their precise ages and metallicities, we concentrate on the last 6 billion years -- a period marked by Milky Way's secular evolution. We examine the oxygen abundance in the low-$\alpha$ disc stars relative to their ages and birth radii, validating or constraining critical ISM parameters that remain largely unexplored in extragalactic observations. The models that successfully reproduce the radius -- metallicity distribution and the age -- metallicity distribution of stars without violating existing ISM observations indicate a need for modest differential oxygen enrichment in Galactic outflows, meaning that the oxygen abundance of outflows is higher than the local ISM abundance, irrespective of outflow mass loading. The models also suggest somewhat elevated ISM gas velocity dispersion levels over the past 6 billion years compared to galaxies of similar mass. The extra turbulence necessary could result from energy from gas accretion onto the Galaxy, supernovae clustering in the ISM, or increased star formation efficiency per freefall time. This work provides a novel approach to constraining the Galactic ISM and outflows, leveraging the detailed insights available from contemporary Milky Way surveys.


title: SSLChange: A Self-supervised Change Detection Framework Based on Domain Adaptation

abstract: In conventional remote sensing change detection (RS CD) procedures, extensive manual labeling for bi-temporal images is first required to maintain the performance of subsequent fully supervised training. However, pixel-level labeling for CD tasks is very complex and time-consuming. In this paper, we explore a novel self-supervised contrastive framework applicable to the RS CD task, which promotes the model to accurately capture spatial, structural, and semantic information through domain adapter and hierarchical contrastive head. The proposed SSLChange framework accomplishes self-learning only by taking a single-temporal sample and can be flexibly transferred to main-stream CD baselines. With self-supervised contrastive learning, feature representation pre-training can be performed directly based on the original data even without labeling. After a certain amount of labels are subsequently obtained, the pre-trained features will be aligned with the labels for fully supervised fine-tuning. Without introducing any additional data or labels, the performance of downstream baselines will experience a significant enhancement. Experimental results on 2 entire datasets and 6 diluted datasets show that our proposed SSLChange improves the performance and stability of CD baseline in data-limited situations. The code of SSLChange will be released at \url{https://github.com/MarsZhaoYT/SSLChange}


title: On practical sets and $A$-practical numbers

abstract: Let $A$ be a set of positive integers. We define a positive integer $n$ as an $A$-practical number if every positive integer from the set $\left\{1,\ldots ,\sum_{d\in A, d\mid n}d\right\}$ can be written as a sum of distinct divisors of $n$ that belong to $A$. Denote the set of $A$-practical numbers as $\text{Pr}(A)$. The aim of the paper is to explore the properties of the sets $\text{Pr}(A)$ (the form of the elements, cardinality) as $A$ varies over the power set of $\mathbb{N}$. We are also interested in the set-theoretic and dynamic properties of the mapping $\mathcal{PR}:\mathcal{P}(\mathbb{N})\ni A\mapsto\text{Pr}(A)\in\mathcal{P}(\mathbb{N})$.


title: Theoretical bounds on dark Higgs mass in a self-interacting dark matter model with $U(1)'$

abstract: Motivated by the null results of current dark matter searches and the small-scale problems, we study a dark sector charged by a spontaneous broken gauge $U(1)'$. To explore the parameter space of this model, in addition to the consideration of the small-scale data, we also consider the theoretical bounds on the dark Higgs mass, with the upper bound coming from the tree-level perturbative unitarity and the lower bound from the one-loop Linde-Weinberg bound. We deeply examine the dependence of the Linde-Weinberg bound on gauge choice and energy scale. Combining the theoretical and observational constraints, we obtain the following ranges for the parameter space: the dark matter mass is 10-500 GeV, the mediator (dark photon) mass is 0.5-5 MeV, the dark Higgs mass is 0.05-50 MeV, the dark fine-structure constant is 0.001-0.5. We conclude that the dark Higgs in this model cannot be ignored in the phenomenological study of the dark sector.


title: Concurrent Particle Acceleration and Pitch-Angle Anisotropy Driven by Magnetic Reconnection: Ion-Electron Plasmas

abstract: Particle acceleration and pitch-angle anisotropy resulting from magnetic reconnection are investigated in highly magnetized ion-electron plasmas. By means of fully kinetic particle-in-cell simulations, we demonstrate that magnetic reconnection generates anisotropic particle distributions $f_s \left( {|\cos \alpha|,\varepsilon} \right)$, characterized by broken power laws in the particle energy spectrum $f_s (\varepsilon) \propto \varepsilon^{-p}$ and pitch angle $\langle \sin^2 \alpha \rangle \propto \varepsilon^m$. Their characteristics are determined by the ratio of the guide field to the reconnecting field ($B_g/B_0$) and the plasma magnetization ($\sigma_0$). Below the break energy $\varepsilon_0$, ion and electron energy spectra are extremely hard ($p_<\lesssim 1$) for any $B_g/B_0$ and $\sigma_0 \gtrsim 1$, while above $\varepsilon_0$, the spectral index steepens ($p_> \gtrsim 2$), displaying high sensitivity to both $B_g/B_0$ and $\sigma_0$. The pitch angle displays power-law ranges with negative slopes ($m_<$) below and positive slopes ($m_>$) above $\varepsilon_{\min \alpha}$, steepening with increasing $B_g/B_0$ and $\sigma_0$. The ratio $B_g/B_0$ regulates the redistribution of magnetic energy between ions ($\Delta E_i$) and electrons ($\Delta E_e$), with $\Delta E_i \gg \Delta E_e$ for $B_g/B_0 \ll 1$, $\Delta E_i \sim \Delta E_e$ for $B_g/B_0 \sim 1$, and $\Delta E_i \ll \Delta E_e$ for $B_g/B_0 \gg 1$, with $\Delta E_i/\Delta E_e$ approaching unity when $\sigma_0 \gg 1$. The anisotropic distribution of accelerated particles results in an optically thin synchrotron power spectrum $F_\nu(\nu) \propto\nu^{(2-2p+m)/(4+m)}$ and a linear polarization degree $\Pi_{\rm lin} = (p+1)/(p+7/3+m/3)$. Pitch-angle anisotropy also induces temperature anisotropy and eases synchrotron cooling, along with producing beamed radiation, potentially responsible for frequency-dependent variability.


title: FAST Discovery of Eight Isolated Millisecond Pulsars in NGC 6517

abstract: We present the discovery of 8 isolated millisecond pulsars in Globular Cluster (GC) NGC 6517 using the Five-Hundred-meter Aperture Spherical radio Telescope (FAST). The spin periods of those pulsars (namely PSR J1801-0857K to R, or, NGC 6517K to R) are all shorter than 10 ms. With these discoveries, NGC 6517 is currently the GC with the most known pulsars in the FAST sky. The largest difference in dispersion measure of the pulsars in NGC 6517 is 11.2 cm$^{-3}$ pc, the second among all GCs. The fraction of isolated pulsars in this GC (16 of 17, 94$\%$) is consistent with previous studies indicating an overabundance of isolated pulsars in the densest GCs, especially in those undergoing cluster core collapse. Considering the FAST GC pulsar discoveries, we modeled the GC pulsar population using the empirical Bayesian method described by Turk and Lorimer with the recent counts. Using this approach, we find that the expected number of potential pulsars in GCs seems to be correlated with the central escape velocity, hence, the GCs Liller 1, NGC 6441, M54 (NGC 6715), and $\omega$-Cen (NGC 5139) are expected to host the largest numbers of pulsars.


title: Triple-top-gate technique for studying the strongly-interacting 2D electron systems in heterostructures

abstract: We develop a technique that dramatically reduces the contact resistances and depletes a shunting channel between the contacts in the ungated area outside the Hall bar in ultra-high mobility SiGe/Si/SiGe heterostructures. It involves the creation of three overlapping independent gates deposited on top of the structure and allows transport measurements to be performed at millikelvin temperatures in the strongly interacting limit at low electron densities, where the energy of the electron-electron interactions dominates all other energy scales. This design allows one to observe the two-threshold voltage-current characteristics that are a signature for the collective depinning and sliding of the electron solid.


title: Quantum Active Learning

abstract: Quantum machine learning, as an extension of classical machine learning that harnesses quantum mechanics, facilitates effiient learning from data encoded in quantum states. Training a quantum neural network typically demands a substantial labeled training set for supervised learning. Human annotators, often experts, provide labels for samples through additional experiments, adding to the training cost. To mitigate this expense, there is a quest for methods that maintain model performance over fully labeled datasets while requiring fewer labeled samples in practice, thereby extending few-shot learning to the quantum realm. Quantum active learning estimates the uncertainty of quantum data to select the most informative samples from a pool for labeling. Consequently, a QML model is supposed to accumulate maximal knowledge as the training set comprises labeled samples selected via sampling strategies. Notably, the QML models trained within the QAL framework are not restricted to specific types, enabling performance enhancement from the model architecture's perspective towards few-shot learning. Recognizing symmetry as a fundamental concept in physics ubiquitous across various domains, we leverage the symmetry inherent in quantum states induced by the embedding of classical data for model design. We employ an equivariant QNN capable of generalizing from fewer data with geometric priors. We benchmark the performance of QAL on two classification problems, observing both positive and negative results. QAL effectively trains the model, achieving performance comparable to that on fully labeled datasets by labeling less than 7\% of the samples in the pool with unbiased sampling behavior. Furthermore, we elucidate the negative result of QAL being overtaken by random sampling baseline through miscellaneous numerical experiments. (character count limit, see the main text)


title: Relative Langlands Duality of Toric Periods

abstract: The relative Langlands program introduced by Ben-Zvi--Sakellaridis--Venkatesh posits a duality structure exchanging automorphic periods and L-functions, which can be encoded by pairs of dual Hamiltonian actions. In work of the author and Venkatesh, an extension of the definitions to certain singular spaces was made with the objective of restoring duality in some well-known automorphic integrals. In this companion article we apply these definitions to establish duality in the context of affine toric varieties, and study finer structures regarding regularization and stabilizers that are instructive for the general case.


title: Guidelines and Best Practices to Share Deidentified Data and Code

abstract: In 2022, the Journal of Statistics and Data Science Education (JSDSE) instituted augmented requirements for authors to post deidentified data and code underlying their papers. These changes were prompted by an increased focus on reproducibility and open science (NASEM 2019). A recent review of data availability practices noted that "such policies help increase the reproducibility of the published literature, as well as make a larger body of data available for reuse and re-analysis" (PLOS ONE, 2024). JSDSE values accessibility as it endeavors to share knowledge that can improve educational approaches to teaching statistics and data science. Because institution, environment, and students differ across readers of the journal, it is especially important to facilitate the transfer of a journal article's findings to new contexts. This process may require digging into more of the details, including the deidentified data and code. Our goal is to provide our readers and authors with a review of why the requirements for code and data sharing were instituted, summarize ongoing trends and developments in open science, discuss options for data and code sharing, and share advice for authors.


title: First Eigenvalue of Jacobi operator and Rigidity Results for Constant Mean Curvature Hypersurfaces

abstract: In this paper, we obtain geometric upper bounds for the first eigenvalue $\lambda_1^J$ of the Jacobi operator for both closed and compact with boundary hypersurfaces having constant mean curvature (CMC). As an application, we derive new rigidity results for the area of CMC hypersurfaces under suitable conditions on $\lambda_1^J$ and the curvature of the ambient space. We also address the Jacobi-Steklov problem, proving geometric upper bounds for its first eigenvalue $\sigma_1^J$ and deriving rigidity results related to the length of the boundary. Additionally, we present some results in higher dimensions related to the Yamabe invariants.


title: Cooperative Relative Localization in MAV Swarms with Ultra-wideband Ranging

abstract: Relative localization (RL) is essential for the successful operation of micro air vehicle (MAV) swarms. Achieving accurate 3-D RL in infrastructure-free and GPS-denied environments with only distance information is a challenging problem that has not been satisfactorily solved. In this work, based on the range-based peer-to-peer RL using the ultra-wideband (UWB) ranging technique, we develop a novel UWB-based cooperative relative localization (CRL) solution that integrates the relative motion dynamics of each host-neighbor pair to build a unified dynamic model and takes the distances between the neighbors as \textit{bonus information}. Observability analysis using differential geometry shows that the proposed CRL scheme can expand the observable subspace compared to other alternatives using only direct distances between the host agent and its neighbors. In addition, we apply the kernel-induced extended Kalman filter (EKF) to the CRL state estimation problem with the novel-designed Logarithmic-Versoria (LV) kernel to tackle heavy-tailed UWB noise. Sufficient conditions for the convergence of the fixed-point iteration involved in the estimation algorithm are also derived. Comparative Monte Carlo simulations demonstrate that the proposed CRL scheme combined with the LV-kernel EKF significantly improves the estimation accuracy owing to its robustness against both measurement outliers and incorrect measurement covariance matrix initialization. Moreover, with the LV kernel, the estimation is still satisfactory when performing the fixed-point iteration only once for reduced computational complexity.


title: Selector form of Weaver's conjecture, Feichtinger's conjecture, and frame sparsification

abstract: We show an extension of a probabilistic result of Marcus, Spielman, and Srivastava, which resolved the Kadison-Singer problem, for block diagonal positive semidefinite random matrices. We use this result to show several selector results, which generalize their partition counterparts. This includes a selector form of Weaver's KS$_r$ conjecture for block diagonal trace class operators, which extends a selector result for Bessel sequences, or equivalently rank one matrices, due to Londner and the author. We also show a selector variant of Feichtinger's conjecture for a (possibly infinite) collection of Bessel sequences, extending earlier results for a single Bessel sequence. We prove a generalization of the $R_\epsilon$ conjecture of Casazza, Tremain, and Vershynin for infinite collection of equal norm Bessel sequences. In particular, our selector result yields a conjectured asymptotically optimal bound for a single Bessel sequence in terms of Riesz sequence tightness parameter. We establish an iterated selector form of Weaver's KS$_2$ conjecture and show its applications. This includes a solution of an open problem on nearly unit norm Parseval frames of exponentials, which was posed by Londner and the author. We generalize a discretization result for continuous frames by Freeman and Speegle in two ways. First, we extend their result from the setting of rank one operators to positive trace operator valued measures. Second, we establish a nearly tight discretization of bounded continuous Parseval frames. In particular, our selector result yields an improvement of the result of Nitzan, Olevskii, and Ulanovskii and implies the existence of nearly tight exponential frames for unbounded sets with an explicit control on their frame redundancy.


title: Position Paper: Think Globally, React Locally -- Bringing Real-time Reference-based Website Phishing Detection on macOS

abstract: Background. The recent surge in phishing attacks keeps undermining the effectiveness of the traditional anti-phishing blacklist approaches. On-device anti-phishing solutions are gaining popularity as they offer faster phishing detection locally. Aim. We aim to eliminate the delay in recognizing and recording phishing campaigns in databases via on-device solutions that identify phishing sites immediately when encountered by the user rather than waiting for a web crawler's scan to finish. Additionally, utilizing operating system-specific resources and frameworks, we aim to minimize the impact on system performance and depend on local processing to protect user privacy. Method. We propose a phishing detection solution that uses a combination of computer vision and on-device machine learning models to analyze websites in real time. Our reference-based approach analyzes the visual content of webpages, identifying phishing attempts through layout analysis, credential input areas detection, and brand impersonation criteria combination. Results. Our case study shows it's feasible to perform background processing on-device continuously, for the case of the web browser requiring the resource use of 16% of a single CPU core and less than 84MB of RAM on Apple M1 while maintaining the accuracy of brand logo detection at 46.6% (comparable with baselines), and of Credential Requiring Page detection at 98.1% (improving the baseline by 3.1%), within the test dataset. Conclusions. Our results demonstrate the potential of on-device, real-time phishing detection systems to enhance cybersecurity defensive technologies and extend the scope of phishing detection to more similar regions of interest, e.g., email clients and messenger windows.


title: Unveiling the Cycloid Trajectory of EM Iterations in Mixed Linear Regression

abstract: We study the trajectory of iterations and the convergence rates of the Expectation-Maximization (EM) algorithm for two-component Mixed Linear Regression (2MLR). The fundamental goal of MLR is to learn the regression models from unlabeled observations. The EM algorithm finds extensive applications in solving the mixture of linear regressions. Recent results have established the super-linear convergence of EM for 2MLR in the noiseless and high SNR settings under some assumptions and its global convergence rate with random initialization has been affirmed. However, the exponent of convergence has not been theoretically estimated and the geometric properties of the trajectory of EM iterations are not well-understood. In this paper, first, using Bessel functions we provide explicit closed-form expressions for the EM updates under all SNR regimes. Then, in the noiseless setting, we completely characterize the behavior of EM iterations by deriving a recurrence relation at the population level and notably show that all the iterations lie on a certain cycloid. Based on this new trajectory-based analysis, we exhibit the theoretical estimate for the exponent of super-linear convergence and further improve the statistical error bound at the finite-sample level. Our analysis provides a new framework for studying the behavior of EM for Mixed Linear Regression.


title: Nucleon Helicity Parton Distribution Function in the Continuum Limit with Self-Renormalization

abstract: We present the first lattice calculation of the nucleon isovector helicity parton distribution function (PDF) in the framework of large-momentum effective theory (LaMET) that uses the hybrid scheme with self-renormalization. We use ensembles generated by the MILC collaboration at lattice spacings $a=\{0.1207,0.0888,0.0582\}$ fm, with $N_f=2+1+1$ flavors of highly improved staggered quarks at sea pion mass of $M_{\pi}\approx 315$ MeV. We use clover-improved action for our valence quarks with nucleon boost momentum $P_z\approx 1.75$ GeV and high-statistics measurements for the LaMET matrix elements. We perform an extrapolation to the continuum limit and improve the handling of systematic errors using renormalization-group resummation (RGR) and leading-renormalon resummation (LRR). Our final nucleon helicity PDF is renormalized in the $\overline{\text{MS}}$ scheme at energy scale $\mu=2.0$ GeV. We compare our results with and without the two systematic improvements of RGR and LRR at each lattice spacing as well as the continuum limit, and we see that the application of RGR and LRR greatly reduces the systematic errors across the whole $x$ range. Our continuum results with both RGR and LRR show a small positive antiquark region for the nucleon helicity PDF as well as a change of as much as a factor of two in the central values compared to results with neither RGR or LRR. By contrast, the application of RGR and LRR only changes the central values by about 5\% in the quark region. We compare our lattice results with the global fits by the JAM, NNPDF and DSSV collaborations, and we observe some tension between our results.


title: The CoExplorer Technology Probe: A Generative AI-Powered Adaptive Interface to Support Intentionality in Planning and Running Video Meetings

abstract: Effective meetings are effortful, but traditional videoconferencing systems offer little support for reducing this effort across the meeting lifecycle. Generative AI (GenAI) has the potential to radically redefine meetings by augmenting intentional meeting behaviors. CoExplorer, our novel adaptive meeting prototype, preemptively generates likely phases that meetings would undergo, tools that allow capturing attendees' thoughts before the meeting, and for each phase, window layouts, and appropriate applications and files. Using CoExplorer as a technology probe in a guided walkthrough, we studied its potential in a sample of participants from a global technology company. Our findings suggest that GenAI has the potential to help meetings stay on track and reduce workload, although concerns were raised about users' agency, trust, and possible disruption to traditional meeting norms. We discuss these concerns and their design implications for the development of GenAI meeting technology.


title: MSPE: Multi-Scale Patch Embedding Prompts Vision Transformers to Any Resolution

abstract: Although Vision Transformers (ViTs) have recently advanced computer vision tasks significantly, an important real-world problem was overlooked: adapting to variable input resolutions. Typically, images are resized to a fixed resolution, such as 224x224, for efficiency during training and inference. However, uniform input size conflicts with real-world scenarios where images naturally vary in resolution. Modifying the preset resolution of a model may severely degrade the performance. In this work, we propose to enhance the model adaptability to resolution variation by optimizing the patch embedding. The proposed method, called Multi-Scale Patch Embedding (MSPE), substitutes the standard patch embedding with multiple variable-sized patch kernels and selects the best parameters for different resolutions, eliminating the need to resize the original image. Our method does not require high-cost training or modifications to other parts, making it easy to apply to most ViT models. Experiments in image classification, segmentation, and detection tasks demonstrate the effectiveness of MSPE, yielding superior performance on low-resolution inputs and performing comparably on high-resolution inputs with existing methods.


title: Active Use of Latent Constituency Representation in both Humans and Large Language Models

abstract: Understanding how sentences are internally represented in the human brain, as well as in large language models (LLMs) such as ChatGPT, is a major challenge for cognitive science. Classic linguistic theories propose that the brain represents a sentence by parsing it into hierarchically organized constituents. In contrast, LLMs do not explicitly parse linguistic constituents and their latent representations remains poorly explained. Here, we demonstrate that humans and LLMs construct similar latent representations of hierarchical linguistic constituents by analyzing their behaviors during a novel one-shot learning task, in which they infer which words should be deleted from a sentence. Both humans and LLMs tend to delete a constituent, instead of a nonconstituent word string. In contrast, a naive sequence processing model that has access to word properties and ordinal positions does not show this property. Based on the word deletion behaviors, we can reconstruct the latent constituency tree representation of a sentence for both humans and LLMs. These results demonstrate that a latent tree-structured constituency representation can emerge in both the human brain and LLMs.


title: Compiling with Arrays

abstract: Linear algebra computations are foundational for neural networks and machine learning, often handled through arrays. While many functional programming languages feature lists and recursion, arrays in linear algebra demand constant-time access and bulk operations. To bridge this gap, some languages represent arrays as (eager) functions instead of lists. In this paper, we connect this idea to a formal logical foundation by interpreting functions as the usual negative types from polarized type theory, and arrays as the corresponding dual positive version of the function type. Positive types are defined to have a single elimination form whose computational interpretation is pattern matching. Just like (positive) product types bind two variables during pattern matching, (positive) array types bind variables with multiplicity during pattern matching. We follow a similar approach for Booleans by introducing conditionally-defined variables. The positive formulation for the array type enables us to combine typed partial evaluation and common subexpression elimination into an elegant algorithm whose result enjoys a property we call maximal fission, which we argue can be beneficial for further optimizations. For this purpose, we present the novel intermediate representation indexed administrative normal form (AiNF), which relies on the formal logical foundation of the positive formulation for the array type to facilitate maximal loop fission and subsequent optimizations. AiNF is normal with regard to commuting conversion for both let-bindings and for-loops, leading to flat and maximally fissioned terms. We mechanize the translation and normalization from a simple surface language to AiNF, establishing that the process terminates, preserves types, and produces maximally fissioned terms.


title: Compatible Associative Algebras and Some Invariants

abstract: A compatible associative algebra is a vector space equipped with two associative multiplication structures that interact in a certain natural way. This article presents the classification of these algebras with dimension less than four, as well as the classifications of their corresponding derivations, centroids, automorphisms, and quasi-centroids. We then characterize a selection of further invariants such as Rota-Baxter operators and second cohomology for some specific examples.


title: Tunable magnetism of Boron Imidazolate-based Metal-Organic Frameworks

abstract: Magnetic metal-organic frameworks (MMOFs), where magnetic metal nodes are connected into a crystal structure by organic linkers, have a potential to host exotic magnetic states. We present a study of bulk magnetic properties of four metal-organic frameworks with boron imidazolate linkers, Zn-BIF, Cu-BIF, Co-BIF, and Ni-BIF, displaying a variety of lattice structures and nontrivial magnetic behaviors. While non-magnetic Zn-BIF provides an offset of magnetic response, magnetic susceptibility measurements of the other three magnetic materials demonstrate the presence of weak magnetic interactions in these MOFs, which differ between materials by sign and size. Cu-MOF, where magnetic nodes are connected into octahedral cages, shows simple paramagnetic behavior. Triangular lattice Co-MOF shows antiferromagnetic interactions on the order of 1 K, and a spin-crossover-like effect in magnetic susceptibility due to thermal depopulation of excited crystal electric field levels. Magnetic properties of Ni-BIF suggest sizable ferromagnetic interactions. Using DC/AC susceptibility and variable-field DC magnetization, we detect behavior that resembles that of superparamagnetic single-magnetic-domain nanoparticles, but with particle sizes on the scale of the unit cell, and discuss possible microscopic origins of this behavior. This work demonstrates the variety of magnetic properties that are possible with a single organic ligand, and establishes the low energy scale of magnetic interactions through superexchange in boron imidazolate frameworks.


title: Prismatic $F$-crystals and Wach modules

abstract: We show a direct equivalence between the category of analytic/completed prismatic $F$-crystals on the absolute prismatic site of a small (unramified at $p$) base ring and the category of relative Wach modules from the theory of $(\varphi, \Gamma)$-modules. The result is obtained by showing that the data of the Galois action on a Wach module is equivalent to the data of a prismatic stratification on the underlying $\varphi$-module.


title: Utilitarian Algorithm Configuration for Infinite Parameter Spaces

abstract: Utilitarian algorithm configuration is a general-purpose technique for automatically searching the parameter space of a given algorithm to optimize its performance, as measured by a given utility function, on a given set of inputs. Recently introduced utilitarian configuration procedures offer optimality guarantees about the returned parameterization while provably adapting to the hardness of the underlying problem. However, the applicability of these approaches is severely limited by the fact that they only search a finite, relatively small set of parameters. They cannot effectively search the configuration space of algorithms with continuous or uncountable parameters. In this paper we introduce a new procedure, which we dub COUP (Continuous, Optimistic Utilitarian Procrastination). COUP is designed to search infinite parameter spaces efficiently to find good configurations quickly. Furthermore, COUP maintains the theoretical benefits of previous utilitarian configuration procedures when applied to finite parameter spaces but is significantly faster, both provably and experimentally.


title: Generating Print-Ready Personalized AI Art Products from Minimal User Inputs

abstract: We present a novel framework to advance generative artificial intelligence (AI) applications in the realm of printed art products, specifically addressing large-format products that require high-resolution artworks. The framework consists of a pipeline that addresses two major challenges in the domain: the high complexity of generating effective prompts, and the low native resolution of images produced by diffusion models. By integrating AI-enhanced prompt generations with AI-powered upscaling techniques, our framework can efficiently produce high-quality, diverse artistic images suitable for many new commercial use cases. Our work represents a significant step towards democratizing high-quality AI art, opening new avenues for consumers, artists, designers, and businesses.


title: Extreme Value Monte Carlo Tree Search

abstract: Despite being successful in board games and reinforcement learning (RL), UCT, a Monte-Carlo Tree Search (MCTS) combined with UCB1 Multi-Armed Bandit (MAB), has had limited success in domain-independent planning until recently. Previous work showed that UCB1, designed for $[0,1]$-bounded rewards, is not appropriate for estimating the distance-to-go which are potentially unbounded in $\mathbb{R}$, such as heuristic functions used in classical planning, then proposed combining MCTS with MABs designed for Gaussian reward distributions and successfully improved the performance. In this paper, we further sharpen our understanding of ideal bandits for planning tasks. Existing work has two issues: First, while Gaussian MABs no longer over-specify the distances as $h\in [0,1]$, they under-specify them as $h\in [-\infty,\infty]$ while they are non-negative and can be further bounded in some cases. Second, there is no theoretical justifications for Full-Bellman backup (Schulte & Keller, 2014) that backpropagates minimum/maximum of samples. We identified \emph{extreme value} statistics as a theoretical framework that resolves both issues at once and propose two bandits, UCB1-Uniform/Power, and apply them to MCTS for classical planning. We formally prove their regret bounds and empirically demonstrate their performance in classical planning.


title: Strange quark stars: the role of excluded volume effects

abstract: We study cold strange quark stars employing an enhanced version of the quark-mass density-dependent model which incorporates excluded volume effects to address non-perturbative QCD repulsive interactions. We provide a comparative analysis of our mass formula parametrization with previous models from the literature. We identify the regions within the parameter space where three-flavor quark matter is more stable than the most tightly bound atomic nucleus (stability window). Specifically, we show that excluded volume effects do not change the Gibbs free energy per baryon at zero pressure, rendering the stability window unaffected. The curves of pressure versus energy density exhibit various shapes -- convex upward, concave downward, or nearly linear -- depending on the mass parametrization. This behavior results in different patterns of increase, decrease, or constancy in the speed of sound as a function of baryon number density. We analyze the mass-radius relationship of strange quark stars, revealing a significant increase in maximum gravitational mass and a shift in the curves towards larger radii as the excluded volume effect intensifies. Excluded volume effects render our models compatible with all modern astrophysical constraints, including the properties of the recently observed low-mass compact object HESSJ1731.


title: Spontaneous flows in active smectics with dislocations

abstract: We construct a hydrodynamic theory of active smectics A in two-dimensional space, including the creation/annihilation and motility of dislocations with Burgers' number $\pm1$. We derive analytical criteria on the set of parameters that lead to flows. We show that the motility of dislocations can lead to flow transitions with distinct features from the previously reported active Helfrich--Hurault shear instability with, notably, a first-order transition in the velocity from quiescence to turbulence.


title: Sensor-Based Distributionally Robust Control for Safe Robot Navigation in Dynamic Environments

abstract: We introduce a novel method for safe mobile robot navigation in dynamic, unknown environments, utilizing onboard sensing to impose safety constraints without the need for accurate map reconstruction. Traditional methods typically rely on detailed map information to synthesize safe stabilizing controls for mobile robots, which can be computationally demanding and less effective, particularly in dynamic operational conditions. By leveraging recent advances in distributionally robust optimization, we develop a distributionally robust control barrier function (DR-CBF) constraint that directly processes range sensor data to impose safety constraints. Coupling this with a control Lyapunov function (CLF) for path tracking, we demonstrate that our CLF-DR-CBF control synthesis method achieves safe, efficient, and robust navigation in uncertain dynamic environments. We demonstrate the effectiveness of our approach in simulated and real autonomous robot navigation experiments, marking a substantial advancement in real-time safety guarantees for mobile robots.


title: On the Analysis of Quantum Repeater Chains with Sequential Swaps

abstract: We evaluate the performance of two-way quantum repeater chains with sequential entanglement swapping. Within the analysis we consider memory decoherence, gate imperfections, and imperfect link-level entanglement generation. Our main results include closed-form expressions for the average entanglement fidelity of the generated end-to-end entangled states. We generalize previous findings for the one-shot fidelity analysis and study the case where repeater chains serve end-to-end requests continuously. We provide solutions to the continuous request scenario by combining results from quantum information theory and queuing theory. Finally, we apply the formulas obtained to analyze the impacts of hardware parameters, i.e., coherence times and gate fidelity, and distance on the entanglement fidelity and secret key rate of homogeneous quantum repeater chains.


title: Truthful Dataset Valuation by Pointwise Mutual Information

abstract: A common way to evaluate a dataset in ML involves training a model on this dataset and assessing the model's performance on a test set. However, this approach has two issues: (1) it may incentivize undesirable data manipulation in data marketplaces, as the self-interested data providers seek to modify the dataset to maximize their evaluation scores; (2) it may select datasets that overfit to potentially small test sets. We propose a new data valuation method that provably guarantees the following: data providers always maximize their expected score by truthfully reporting their observed data. Any manipulation of the data, including but not limited to data duplication, adding random data, data removal, or re-weighting data from different groups, cannot increase their expected score. Our method, following the paradigm of proper scoring rules, measures the pointwise mutual information (PMI) of the test dataset and the evaluated dataset. However, computing the PMI of two datasets is challenging. We introduce a novel PMI measuring method that greatly improves tractability within Bayesian machine learning contexts. This is accomplished through a new characterization of PMI that relies solely on the posterior probabilities of the model parameter at an arbitrarily selected value. Finally, we support our theoretical results with simulations and further test the effectiveness of our data valuation method in identifying the top datasets among multiple data providers. Interestingly, our method outperforms the standard approach of selecting datasets based on the trained model's test performance, suggesting that our truthful valuation score can also be more robust to overfitting.


title: Model Dependent Analysis of D_((s))^+ arrows {\eta}^((')) l^+ {\nu}_l Decays in Beyond Standard Model

abstract: Motivated by the recent experimental results of branching fractions for D_((s))^+ arrows {\eta}^((')) l^+ {\nu}_l decays, which deviate from their SM predictions, we have investigated these decays in W' model and scalar leptoquark model to find possible signatures of new physics (NP) in semileptonic charm decays induced by c arrow(s,d)l {nu}_l transitions. Using recent experimental results of branching fractions for semileptonic D meson decays, new coupling parameters are predicted for the above NP models. Branching fraction, forward-backward asymmetry and lepton polarization asymmetry are studied taking the predicted NP coupling parameters. Results of branching fractions in scalar leptoquark model are found very close to the experimental results and exist around the range 1{sigma} deviation. We have presented a comparative study of the NP models to check their sensitivity on these decays. We anticipate that further research on these decays will significantly support our findings.


title: Channel Reciprocity Based Attack Detection for Securing UWB Ranging by Autoencoder

abstract: A variety of ranging threats represented by Ghost Peak attack have raised concerns regarding the security performance of Ultra-Wide Band (UWB) systems with the finalization of the IEEE 802.15.4z standard. Based on channel reciprocity, this paper proposes a low complexity attack detection scheme that compares Channel Impulse Response (CIR) features of both ranging sides utilizing an autoencoder with the capability of data compression and feature extraction. Taking Ghost Peak attack as an example, this paper demonstrates the effectiveness, feasibility and generalizability of the proposed attack detection scheme through simulation and experimental validation. The proposed scheme achieves an attack detection success rate of over 99% and can be implemented in current systems at low cost.


title: Electrical Control Grain Dimensionality with Multilevel Magnetic Anisotropy

abstract: In alignment with the increasing demand for larger storage capacity and longer data retention, electrical control of magnetic anisotropy has been a research focus in the realm of spintronics. Typically, magnetic anisotropy is determined by grain dimensionality, which is set during the fabrication of magnetic thin films. Despite the intrinsic correlation between magnetic anisotropy and grain dimensionality, there is a lack of experimental evidence for electrically controlling grain dimensionality, thereby impeding the efficiency of magnetic anisotropy modulation. Here, we demonstrate an electric field control of grain dimensionality and prove it as the active mechanism for tuning interfacial magnetism. The reduction in grain dimensionality is associated with a transition from ferromagnetic to superparamagnetic behavior. We achieve a non-volatile and reversible modulation of the coercivity in both the ferromagnetic and superparamagnetic regimes. Subsequent electrical and elemental analysis confirms the variation in grain dimensionality upon the application of gate voltages, revealing a transition from a multidomain to a single-domain state accompanied by a reduction in grain dimensionality. Furthermore, we exploit the influence of grain dimensionality on domain wall motion, extending its applicability to multilevel magnetic memory and synaptic devices. Our results provide a strategy for tuning interfacial magnetism through grain size engineering for advancements in high-performance spintronics.


title: SubDLe: identification of substructures in cosmological simulations with deep learning

abstract: The identification of substructures within halos in cosmological hydrodynamical simulations is a fundamental step to identify the simulated counterparts of real objects, namely galaxies. For this reason, substructure finders play a crucial role in extracting relevant information from the simulation outputs. They are based on physically-motivated definitions of substructures, performing multiple steps of particle-by-particle operations, thus computationally expensive. The purpose of this work is to develop a fast algorithm to identify substructures in simulations. The final aim, besides a faster production of subhalo catalogues, is to provide an algorithm fast enough to be applied with a fine time-cadence during the evolution of the simulations. We chose to apply the architecture of a well known Fully Convolutional Network, U-Net, to the identification of substructures within the mass density field of the simulation. We have developed SubDLe (Substructure identification with Deep Learning), an algorithm which combines a 3D generalization of U-Net and a Friends-of-Friends algorithm, and trained it to reproduce the identification of substructures performed by the SubFind algorithm in a set of zoom-in cosmological hydrodynamical simulations of galaxy clusters. For the feasibility study presented in this work, we have trained and tested SubDLe on galaxy clusters at $z=0$, using a NVIDIA P100 GPU. We focused our tests on the version of the algorithm working on the identification of purely stellar substructures, stellar SubDLe. Our stellar SubDLe is capable of identifying the majority of galaxies in the challenging high-density environment of galaxy clusters in short computing times. This result has interesting implications in view of the possibility of integrating fast subhalo finders within simulation codes, that can take advantage of accelerators available on state-of-art computing nodes.


abstract: From paired image-text training to text-only training for image captioning, the pursuit of relaxing the requirements for high-cost and large-scale annotation of good quality data remains consistent. In this paper, we propose Text-only Synthesis for Image Captioning (ToCa), which further advances this relaxation with fewer human labor and less computing time. Specifically, we deconstruct caption text into structures and lexical words, which serve as the fundamental components of the caption. By combining different structures and lexical words as inputs to the large language model, massive captions that contain various patterns of lexical words are generated. This method not only approaches the target domain but also surpasses it by generating new captions, thereby enhancing the zero-shot generalization ability of the model. Considering the different levels of data access in the real world, we define three synthesis scenarios: cross-domain synthesis, in-domain synthesis, and data-efficient synthesis. Experiments in these scenarios demonstrate the generalizability, transferability and practicability of ToCa with a nearly 5 CIDEr improvement for zero-shot cross-domain captioning and a maximum increase of over 20 CIDEr for data-efficient captioning.


title: Ranking with Ties based on Noisy Performance Data

abstract: We consider the problem of ranking a set of objects based on their performance when the measurement of said performance is subject to noise. In this scenario, the performance is measured repeatedly, resulting in a range of measurements for each object. If the ranges of two objects do not overlap, then we consider one object as 'better' than the other, and we expect it to receive a higher rank; if, however, the ranges overlap, then the objects are incomparable, and we wish them to be assigned the same rank. Unfortunately, the incomparability relation of ranges is in general not transitive; as a consequence, in general the two requirements cannot be satisfied simultaneously, i.e., it is not possible to guarantee both distinct ranks for objects with separated ranges, and same rank for objects with overlapping ranges. This conflict leads to more than one reasonable way to rank a set of objects. In this paper, we explore the ambiguities that arise when ranking with ties, and define a set of reasonable rankings, which we call partial rankings. We develop and analyse three different methodologies to compute a partial ranking. Finally, we show how performance differences among objects can be investigated with the help of partial ranking.


title: A Vlogger-augmented Graph Neural Network Model for Micro-video Recommendation

abstract: Existing micro-video recommendation models exploit the interactions between users and micro-videos and/or multi-modal information of micro-videos to predict the next micro-video a user will watch, ignoring the information related to vloggers, i.e., the producers of micro-videos. However, in micro-video scenarios, vloggers play a significant role in user-video interactions, since vloggers generally focus on specific topics and users tend to follow the vloggers they are interested in. Therefore, in the paper, we propose a vlogger-augmented graph neural network model VA-GNN, which takes the effect of vloggers into consideration. Specifically, we construct a tripartite graph with users, micro-videos, and vloggers as nodes, capturing user preferences from different views, i.e., the video-view and the vlogger-view. Moreover, we conduct cross-view contrastive learning to keep the consistency between node embeddings from the two different views. Besides, when predicting the next user-video interaction, we adaptively combine the user preferences for a video itself and its vlogger. We conduct extensive experiments on two real-world datasets. The experimental results show that VA-GNN outperforms multiple existing GNN-based recommendation models.


title: Error-Free and Current-Driven Synthetic Antiferromagnetic Domain Wall Memory Enabled by Channel Meandering

abstract: We propose a new type of multi-bit and energy-efficient magnetic memory based on current-driven, field-free, and highly controlled domain wall motion. A meandering domain wall channel with precisely interspersed pinning regions provides the multi-bit capability of a magnetic tunnel junction. The magnetic free layer of the memory device has perpendicular magnetic anisotropy and interfacial Dzyaloshinskii-Moriya interaction, so that spin-orbit torques induce efficient domain wall motion. Using micromagnetic simulations, we find two pinning mechanisms that lead to different cell designs: two-way switching and four-way switching. The memory cell design choices and the physics behind these pinning mechanisms are discussed in detail. Furthermore, we show that switching reliability and speed may be significantly improved by replacing the ferromagnetic free layer with a synthetic antiferromagnetic layer. Switching behavior and material choices will be discussed for the two implementations.

categories: cs.ET cond-mat.mes-hall cond-mat.mtrl-sci physics.app-ph


title: Filter-induced entailment relations in paraconsistent G\"{o}del logics

abstract: We consider two expansions of G\"{o}del logic $\mathsf{G}$ with two versions of paraconsistent negation. The first one is $\mathsf{G_{inv}}$ -- the expansion of $\mathsf{G}$ with an involuitive negation ${\sim_\mathsf{i}}$ defined via $v({\sim_\mathsf{i}}\phi)=1-v(\phi)$. The second one is $\mathsf{G}^2_{(\rightarrow,-\!<)}$ -- an expansion with a so-called strong negation $\neg$. This logic utilises two independent valuations on $[0,1]$ -- $v_1$ (support of truth or positive support) and $v_2$ (support of falsity or negative support) that are connected with $\neg$. Two valuations in $\mathsf{G}^2_{(\rightarrow,-\!<)}$ can be combined into one valuation $v$ on $[0,1]^{\Join}$ -- the twisted product of $[0,1]$ with itself -- with two components $v_1$ and $v_2$. The two logics are closely connected as ${\sim_\mathsf{i}}$ and $\neg$ allow for similar definitions of co-implication -- $\phi-\!<\chi:={\sim_\mathsf{i}}({\sim_\mathsf{i}}\chi\rightarrow{\sim_\mathsf{i}}\phi)$ and $\phi-\!<\chi:=\neg(\neg\chi\rightarrow\neg\phi)$ -- but do not coincide since the set of values of $\mathsf{G}^2_{(\rightarrow,-\!<)}$ is not ordered linearly. Our main goal is to study different entailment relations in $\mathsf{G_{inv}}$ and $\mathsf{G}^2_{(\rightarrow,-\!<)}$ that are induced by filters on $[0,1]$ and $[0,1]^{\Join}$, respectively. In particular, we determine the exact number of such relations in both cases, establish whether any of them coincide with the entailment defined via the order on $[0,1]$ and $[0,1]^{\Join}$, and obtain their hierarchy. We also construct reductions of filter-induced entailment relations to the ones defined via the order.


title: The influence of solvent on surface adsorption and desorption

abstract: The adsorption and desorption of reactants and products from a solid surface is essential for achieving sustained surface chemical reactions. At a liquid-solid interface, these processes can involve the collective reorganization of interfacial solvent molecules in order to accommodate the adsorbing or desorbing species. Identifying the role of solvent in adsorption and desorption is important for advancing our understanding of surface chemical rates and mechanisms and for enabling the rational design and optimization of surface chemical systems. In this manuscript we use all-atom molecular dynamics simulation and transition path sampling to identify water's role in the desorption of CO from a Pt(100) surface in contact with liquid water. We demonstrate that the solvation of CO, as quantified by the water coordination number, is an essential component of the desorption reaction coordinate. We use meta dynamics to compute the desorption free energy surface and conclude based on its features that desorption proceeds via a two-step mechanism whereby the final detachment of CO from the surface is preceded by the formation of a nascent solvation shell.


title: Bollob\'{a}s-Erd\H{o}s-Tuza conjecture for graphs with no induced $K_{s,t}$

abstract: A widely open conjecture proposed by Bollob\'as, Erd\H{o}s, and Tuza in the early 1990s states that for any $n$-vertex graph $G$, if the independence number $\alpha(G) = \Omega(n)$, then there is a subset $T \subseteq V(G)$ with $|T| = o(n)$ such that $T$ intersects all maximum independent sets of $G$. In this paper, we prove that this conjecture holds for graphs that do not contain an induced $K_{s,t}$ for fixed $t \ge s$. Our proof leverages the probabilistic method at an appropriate juncture.


title: Population III star formation in the presence of turbulence, magnetic fields and ionizing radiation feedback

abstract: Turbulence, magnetic fields and radiation feedback are key components that shape the formation of stars, especially in the metal-free environments at high redshifts where Population III stars form. Yet no 3D numerical simulations exist that simultaneously take all of these into account. We present the first suite of radiation-magnetohydrodynamics (RMHD) simulations of Population III star formation using the adaptive mesh refinement (AMR) code FLASH. We include both turbulent magnetic fields and ionizing radiation feedback coupled to primordial chemistry, and resolve the collapse of primordial clouds down to few au. We find that dynamically strong magnetic fields significantly slow down accretion onto protostars, while ionizing feedback is largely unable to regulate gas accretion because the partially ionized \ion{H}{ii} region gets trapped near the star due to insufficient radiative outputs from the star. The maximum stellar mass in the HD and RHD simulations that only yield one star exceeds $100\,\rm{M_{\odot}}$ within the first $5000\,\rm{yr}$. However, in the corresponding MHD and RMHD runs, the maximum mass of Population III star is only $60\,\rm{M_{\odot}}$. In other realizations where we observe widespread fragmentation leading to the formation of Population III star clusters, the maximum stellar mass is further reduced by a factor of few due to fragmentation-induced starvation. We thus conclude that magnetic fields are more important than ionizing feedback in regulating the mass of the star, at least during the earliest stages of Population III star formation, in typical dark matter minihaloes at $z \approx 30$.


title: Boron depletion in Galactic early B-type stars reveals two different main sequence star populations

abstract: The evolution and fate of massive stars are thought to be affected by rotationally induced internal mixing. The surface boron abundance is a sensitive tracer of this in early B-type main sequence stars. We test current stellar evolution models of massive main sequence stars which include rotational mixing through a systematic study of their predicted surface boron depletion. We construct a dense grid of rotating single star models using MESA, for which we employ a new nuclear network which follows all the stable isotopes up to silicon, including lithium, beryllium, boron, as well as the radioactive isotope aluminium-26. We also compile the measured physical parameters of the 90 Galactic early B-type stars with boron abundance information. We then compare each observed stars with our models through a Bayesian analysis, which yields the mixing efficiency parameter with which the star is reproduced the best, and the probability that it is represented by the stellar models. We find that about two-thirds of the sample stars are well represented by the stellar models, with the best agreement achieved for a rotational mixing efficiency of ~50% compared to the widely adopted value. The remaining one third of the stars, of which many are strongly boron depleted slow rotators, are largely incompatible with our models, for any rotational mixing efficiency. We investigate the observational incidence of binary companions and surface magnetic fields, and discuss their evolutionary implications. Our results confirm the concept of rotational mixing in radiative stellar envelopes. On the other hand, we find that a different boron depletion mechanism, and likely a different formation path, is required to explain about one-third of the sample stars. The large spread in the surface boron abundances of these stars may hold a clue to understanding their origin.


title: CT-based brain ventricle segmentation via diffusion Schr\"odinger Bridge without target domain ground truths

abstract: Efficient and accurate brain ventricle segmentation from clinical CT scans is critical for emergency surgeries like ventriculostomy. With the challenges in poor soft tissue contrast and a scarcity of well-annotated databases for clinical brain CTs, we introduce a novel uncertainty-aware ventricle segmentation technique without the need of CT segmentation ground truths by leveraging diffusion-model-based domain adaptation. Specifically, our method employs the diffusion Schr\"odinger Bridge and an attention recurrent residual U-Net to capitalize on unpaired CT and MRI scans to derive automatic CT segmentation from those of the MRIs, which are more accessible. Importantly, we propose an end-to-end, joint training framework of image translation and segmentation tasks, and demonstrate its benefit over training individual tasks separately. By comparing the proposed method against similar setups using two different GAN models for domain adaptation (CycleGAN and CUT), we also reveal the advantage of diffusion models towards improved segmentation and image translation quality. With a Dice score of 0.78$\pm$0.27, our proposed method outperformed the compared methods, including SynSeg-Net, while providing intuitive uncertainty measures to further facilitate quality control of the automatic segmentation outcomes.


title: Motivic realization of rigid G-local systems on curves and tamely ramified geometric Langlands

abstract: For a reductive group $G$, we prove that complex irreducible rigid $G$-local systems with quasi-unipotent monodromies and finite order abelianization on a smooth curve are motivic, generalizing a theorem of Katz for $GL_n$. We do so by showing that the Hecke eigensheaf corresponding to such a local system is itself motivic. Unlike other works in the subject, we work entirely over the complex numbers. In the setting of de Rham geometric Langlands, we prove the existence of Hecke eigensheaves associated to any irreducible $G$-local system with regular singularities. We also provide a spectral decomposition of a naturally defined automorphic category over the stack of regular singular local systems with prescribed eigenvalues of the local monodromies at infinity. Finally, we establish a relationship between rigidity for complex local systems and automorphic rigidity, answering a conjecture of Yun in the tame complex setting.


title: Continuous Transition between Bosonic Fractional Chern Insulator and Superfluid

abstract: The properties of fractional Chern insulator (FCI) phase and the phase transitions between FCI and Mott insulators (MI) in bosonic systems are well studied. The continuous transitions between FCI and superfluid (SF), however, despite the inspiring field theoretical predictions, have not been directly verified. The existing numerical results of FCI-SF transition are either indirect or clearly first-order. Here, by simply tuning the bandwidth of Haldane honeycomb lattice model, we find direct transitions from a bosonic FCI at $\nu$ = 1/2 filling of a flat Chern band to two SF states with bosons condensed at momenta $M$ and $\Gamma$, respectively. While the FCI-SF($M$) transition is first-order, the FCI-SF($\Gamma$) transition is found continuous. Through finite size criticality analysis, the obtained critical exponents $\beta\approx$0.35(5) and $\nu\approx$0.62(12) are both compatible with those of the 3D XY universality class and more exotic beyond-Landau ones. Our work thence presents a direct numerical evidence of a continuous FCI-SF transition between topological ordered phase and spontaneous continuous symmetry-breaking phase, and further indicates the zero-field bosonic FCI might be realized from a SF state by gradually flattening the dispersion of Chern band, through the (quasi)adiabatic preparation in ultracold atom systems.


title: The Quadratic Variation of Gauss-Markov Semimartingales

abstract: The covariance function of a Gauss-Markov process evaluated at points $(s,t)$ admits a representation as a product of a function of $\min(s,t)$ and a function of $\max(s,t)$. We call these functions the covariance factors of a Gauss-Markov process, and give the expression of the quadratic variation of a Gauss-Markov semimartingale in terms of its covariance factors.


title: Unraveling Factors Influencing Shooting Incidents: Preliminary Analysis and Insights

abstract: The following is a write up of the progress of modeling data from the K12 organization \cite{Riedman_2023}. Data was characterized and investigated for statistically significant factors. The incident data was spilt into three sets: the entire set of incidents, incidents from 1966 - 2017, and incidents from 2018 - 2023. This was done in an attempt to discern key factors for the acceleration of incidents over the last several years. The data set was cleaned and processed primarily through RStudio. The individual factors were studied and subjected to statistical analysis where appropriate. As it turns out, there are differences between media portrayals of shooters and actual shooters. Then, multiple regression techniques were performed then followed by ANOVA of the models to determine statistically significant independent variables and their influence on casualties. Thus far, linear regression and negative binomial regression have been attempted. Further refining of the methods will be necessary for Poisson regression and logistic regression to be viably attempted. At this point in time a common theme among each of the models is the presence of targeted attacks affecting casualties. Further study can lead to improved safe guarding strategies to eliminate or minimize casualties. Further, increased understanding of shooter demographics can also lead to outreach and prevention programs.


title: Metaheuristics and Large Language Models Join Forces: Towards an Integrated Optimization Approach

abstract: Since the rise of Large Language Models (LLMs) a couple of years ago, researchers in metaheuristics (MHs) have wondered how to use their power in a beneficial way within their algorithms. This paper introduces a novel approach that leverages LLMs as pattern recognition tools to improve MHs. The resulting hybrid method, tested in the context of a social network-based combinatorial optimization problem, outperforms existing state-of-the-art approaches that combine machine learning with MHs regarding the obtained solution quality. By carefully designing prompts, we demonstrate that the output obtained from LLMs can be used as problem knowledge, leading to improved results. Lastly, we acknowledge LLMs' potential drawbacks and limitations and consider it essential to examine them to advance this type of research further.


title: Synchronization on circles and spheres with nonlinear interactions

abstract: We consider the dynamics of $n$ points on a sphere in $\mathbb{R}^d$ ($d \geq 2$) which attract each other according to a function $\varphi$ of their inner products. When $\varphi$ is linear ($\varphi(t) = t$), the points converge to a common value (i.e., synchronize) in various connectivity scenarios: this is part of classical work on Kuramoto oscillator networks. When $\varphi$ is exponential ($\varphi(t) = e^{\beta t}$), these dynamics correspond to a limit of how idealized transformers process data, as described by Geshkovski et al. (2024). Accordingly, they ask whether synchronization occurs for exponential $\varphi$. In the context of consensus for multi-agent control, Markdahl et al. (2018) show that for $d \geq 3$ (spheres), if the interaction graph is connected and $\varphi$ is increasing and convex, then the system synchronizes. What is the situation on circles ($d=2$)? First, we show that $\varphi$ being increasing and convex is no longer sufficient. Then we identify a new condition (that the Taylor coefficients of $\varphi'$ are decreasing) under which we do have synchronization on the circle. In so doing, we provide some answers to the open problems posed by Geshkovski et al. (2024).


title: Signal-Plus-Noise Decomposition of Nonlinear Spiked Random Matrix Models

abstract: In this paper, we study a nonlinear spiked random matrix model where a nonlinear function is applied element-wise to a noise matrix perturbed by a rank-one signal. We establish a signal-plus-noise decomposition for this model and identify precise phase transitions in the structure of the signal components at critical thresholds of signal strength. To demonstrate the applicability of this decomposition, we then utilize it to study new phenomena in the problems of signed signal recovery in nonlinear models and community detection in transformed stochastic block models. Finally, we validate our results through a series of numerical simulations.


title: The Round Complexity of Proofs in the Bounded Quantum Storage Model

abstract: The round complexity of interactive proof systems is a key question of practical and theoretical relevance in complexity theory and cryptography. Moreover, results such as QIP = QIP(3) (STOC'00) show that quantum resources significantly help in such a task. In this work, we initiate the study of round compression of protocols in the bounded quantum storage model (BQSM). In this model, the malicious parties have a bounded quantum memory and they cannot store the all the qubits that are transmitted in the protocol. Our main results in this setting are the following: 1. There is a non-interactive (statistical) witness indistinguishable proof for any language in NP (and even QMA) in BQSM in the plain model. We notice that in this protocol, only the memory of the verifier is bounded. 2. Any classical proof system can be compressed in a two-message quantum proof system in BQSM. Moreover, if the original proof system is zero-knowledge, the quantum protocol is zero-knowledge too. In this result, we assume that the prover has bounded memory. Finally, we give evidence towards the "tightness" of our results. First, we show that NIZK in the plain model against BQS adversaries is unlikely with standard techniques. Second, we prove that without the BQS model there is no 2-message zero-knowledge quantum interactive proof, even under computational assumptions.


title: Can We Trust Recommender System Fairness Evaluation? The Role of Fairness and Relevance

abstract: Relevance and fairness are two major objectives of recommender systems (RSs). Recent work proposes measures of RS fairness that are either independent from relevance (fairness-only) or conditioned on relevance (joint measures). While fairness-only measures have been studied extensively, we look into whether joint measures can be trusted. We collect all joint evaluation measures of RS relevance and fairness, and ask: How much do they agree with each other? To what extent do they agree with relevance/fairness measures? How sensitive are they to changes in rank position, or to increasingly fair and relevant recommendations? We empirically study for the first time the behaviour of these measures across 4 real-world datasets and 4 recommenders. We find that most of these measures: i) correlate weakly with one another and even contradict each other at times; ii) are less sensitive to rank position changes than relevance- and fairness-only measures, meaning that they are less granular than traditional RS measures; and iii) tend to compress scores at the low end of their range, meaning that they are not very expressive. We counter the above limitations with a set of guidelines on the appropriate usage of such measures, i.e., they should be used with caution due to their tendency to contradict each other and of having a very small empirical range.


title: Signatures of gravitational wave memory in the radiative process of entangled quantum probes

abstract: In this article, we examine entangled quantum probes in geodesic trajectories in a background with gravitational wave (GW) burst. In particular, these quantum probes are prepared initially either in the symmetric or anti-symmetric Bell's states and we study the radiative process as the GW burst passes. Our considered GW burst backgrounds have the profiles of -- Heaviside-theta, $tanh$, Gaussian, and $sech$-squared functions respectively. The first two burst profiles have an asymmetric nature and thus result in non-zero gravitational wave memory. Whereas, for the last two symmetric profiles there is no asymptotic memory. For eternal switching, our observations suggest that the collective transition rate for the entangled probes due to symmetric GW bursts remains the same as obtained in the flat space. Whereas, for asymmetric bursts with memory, there is a finite change, indicating a direct possibility to distinguish between the two above-mentioned scenarios. We also consider finite switching in terms of Gaussian functions and observe characteristic differences in the radiative process between the GW backgrounds with and without memory. Notably, if the Gaussian switching is peaked much later compared to the passing of GW, only memory profiles contribute to the radiative process. We further discuss the physical implications of our findings.


title: NotPlaNET: Removing False Positives from Planet Hunters TESS with Machine Learning

abstract: Differentiating between real transit events and false positive signals in photometric time series data is a bottleneck in the identification of transiting exoplanets, particularly long-period planets. This differentiation typically requires visual inspection of a large number of transit-like signals to rule out instrumental and astrophysical false positives that mimic planetary transit signals. We build a one-dimensional convolutional neural network (CNN) to separate eclipsing binaries and other false positives from potential planet candidates, reducing the number of light curves that require human vetting. Our CNN is trained using the TESS light curves that were identified by Planet Hunters citizen scientists as likely containing a transit. We also include the background flux and centroid information. The light curves are visually inspected and labeled by project scientists and are minimally pre-processed, with only normalization and data augmentation taking place before training. The median percentage of contaminants flagged across the test sectors is 18% with a maximum of 37% and a minimum of 10%. Our model keeps 100% of the planets for 16 of the 18 test sectors, while incorrectly flagging one planet candidate (0.3%) for one sector and two (0.6%) for the remaining sector. Our method shows potential to reduce the number of light curves requiring manual vetting by up to a third with minimal misclassification of planet candidates.


title: Identifiability, Observability, Uncertainty and Bayesian System Identification of Epidemiological Models

abstract: In this project, identifiability, observability and uncertainty properties of the deterministic and Chain Binomial stochastic SIR, SEIR and SEIAR epidemiological models are studied. Techniques for modeling overdispersion are investigated and used to compare simulated trajectories for moderately sized, homogenous populations. With the chosen model parameters overdispersion was found to have small impact, but larger impact on smaller populations and simulations closer to the initial outbreak of an epidemic. Using a software tool for model identifiability and observability (DAISY[Bellu et al. 2007]), the deterministic SIR and SEIR models was found to be structurally identifiable and observable under mild conditions, while SEIAR in general remains structurally unidentifiable and unobservable. Sequential Monte Carlo and Markov Chain Monte Carlo methods were implemented in a custom C++ library and applied to stochastic SIR, SEIR and SEIAR models in order to generate parameter distributions. With the chosen model parameters overdispersion was found to have a small impact on parameter distributions for SIR and SEIR models. For SEIAR, the algorithm did not converge around the true parameters of the deterministic model. The custom C++ library was found to be computationally efficient, and is very likely to be used in future projects.


title: Diameter estimates in K\"ahler geometry II: removing the small degeneracy assumption

abstract: In this short note, we remove the small degeneracy assumption in our earlier works [10, 11]. This is achieved by a technical improvement of Corollary 5.1 in [10]. As a consequence, we establish the same geometric estimates for diameter, Green's functions and Sobolev inequalities under an entropy bound for the K\"ahler metrics, without any small degeneracy assumption.


title: MODL: Multilearner Online Deep Learning

abstract: Online deep learning solves the problem of learning from streams of data, reconciling two opposing objectives: learn fast and learn deep. Existing work focuses almost exclusively on exploring pure deep learning solutions, which are much better suited to handle the "deep" than the "fast" part of the online learning equation. In our work, we propose a different paradigm, based on a hybrid multilearner approach. First, we develop a fast online logistic regression learner. This learner does not rely on backpropagation. Instead, it uses closed form recursive updates of model parameters, handling the fast learning part of the online learning problem. We then analyze the existing online deep learning theory and show that the widespread ODL approach, currently operating at complexity $O(L^2)$ in terms of the number of layers $L$, can be equivalently implemented in $O(L)$ complexity. This further leads us to the cascaded multilearner design, in which multiple shallow and deep learners are co-trained to solve the online learning problem in a cooperative, synergistic fashion. We show that this approach achieves state-of-the-art results on common online learning datasets, while also being able to handle missing features gracefully. Our code is publicly available at https://github.com/AntonValk/MODL.


title: A Topological Approach to Simple Descriptions of Convex Hulls of Sets Defined by Three Quadrics

abstract: We study the convex hull of a set $S\subset \mathbb{R}^n$ defined by three quadratic inequalities. A simple way of generating inequalities valid on $S$ is to take nonnegative linear combinations of the defining inequalities of $S$. We call such inequalities aggregations. We introduce a new technique relating aggregations to properties of the spectral curve, i.e. the curve defined by the vanishing of the determinant polynomial, and utilizing known spectral sequences (Agrachev and Lerario, 2012). We find new families beyond those identified in (Dey, Mu\~noz, and Serrano, 2022; Blekherman, Dey, and Sun, 2024), where the convex hull is defined by aggregations. We also prove a characterization of the emptiness of the projective variety defined by $3$ homogeneous quadratics in terms of the spectral curve generalizing results of (Agrachev, 1988).


title: Minimal hypersurfaces in $\mathbb{S}^{4}(1)$ by doubling the equatorial $\mathbb{S}^{3}$

abstract: For each large enough $m\in\mathbb{N}$ we construct by PDE gluing methods a closed embedded minimal hypersurface ${\breve{M}_m}$ doubling the equatorial three-sphere $\mathbb{S}_{eq}^3$ in $\mathbb{S}^4(1)$, with ${\breve{M}_m}$ containing $m^2$ bridges modelled after the three-dimensional catenoid and centered at the points of a square $m\times m$ lattice $L$ contained in the Clifford torus $\mathbb{T}^2\subset \mathbb{S}_{eq}^3$. The construction respects the symmetries of the lattice $L$ as a subset of $\mathbb{S}^4(1)$ and is based on the Linearized Doubling (LD) methodology which was first introduced in the construction of minimal surface doublings of $\mathbb{S}_{eq}^2$ in $\mathbb{S}^3(1)$.


title: Adaptive debiased SGD in high-dimensional GLMs with streaming data

abstract: Online statistical inference facilitates real-time analysis of sequentially collected data, making it different from traditional methods that rely on static datasets. This paper introduces a novel approach to online inference in high-dimensional generalized linear models, where we update regression coefficient estimates and their standard errors upon each new data arrival. In contrast to existing methods that either require full dataset access or large-dimensional summary statistics storage, our method operates in a single-pass mode, significantly reducing both time and space complexity. The core of our methodological innovation lies in an adaptive stochastic gradient descent algorithm tailored for dynamic objective functions, coupled with a novel online debiasing procedure. This allows us to maintain low-dimensional summary statistics while effectively controlling optimization errors introduced by the dynamically changing loss functions. We demonstrate that our method, termed the Approximated Debiased Lasso (ADL), not only mitigates the need for the bounded individual probability condition but also significantly improves numerical performance. Numerical experiments demonstrate that the proposed ADL method consistently exhibits robust performance across various covariance matrix structures.


title: A fully-implicit solving approach to an adaptive multi-scale model -- coupling a vertical-equilibrium and full-dimensional model for compressible, multi-phase flow in porous media

abstract: Vertical equilibrium models have proven to be well suited for simulating fluid flow in subsurface porous media such as saline aquifers with caprocks. However, in most cases the dimensionally reduced model lacks the accuracy to capture the dynamics of a system. While conventional full-dimensional models have the ability to represent dynamics, they come at the cost of high computational effort. We aim to combine the efficiency of the vertical equilibrium model and the accuracy of the full-dimensional model by coupling the two models adaptively in a unified framework and solving the emerging system of equations in a monolithic, fully-implicit approach. The model domains are coupled via mass-conserving fluxes while the model adaptivity is ruled by adaption criteria. Overall, the adaptive model shows an excellent behaviour both in terms of accuracy as well as efficiency, especially for elongated geometries of storage systems with large aspect ratios.


title: Full and approximated NLO predictions for like-sign W-boson scattering at the LHC

abstract: We report on a recent calculation of next-to-leading-order (NLO) QCD and electroweak corrections to like-sign W-boson scattering at the Large Hadron Collider, including all partonic channels and W-boson decays in the process $pp \to e^+ \nu_e \mu^+ \nu_\mu jj + X$. The calculation is implemented in the Monte Carlo integrator Bonsay and comprises the full tower of NLO contributions of the orders $\alpha_s^3\alpha^4$, $\alpha_s^2\alpha^5$, $\alpha_s\alpha^6$, and $\alpha^7$. Our numerical results confirm and extend previous results, in particular the occurrence of large purely electroweak corrections of the order of $\sim-12\%$ for integrated cross sections, which get even larger in distributions. We construct a "VBS approximation" for the NLO prediction based on partonic channels and gauge-invariant (sub)matrix elements potentially containing the vector-boson scattering (VBS) subprocess and on resonance expansions of the Wdecays. The VBS approximation reproduces the full NLO predictions within $\sim1.5\%$ in the most important regions of phase space. Moreover, we discuss results from different versions of "effective vector-boson approximations" at leading order, based on the collinear emission of W bosons of incoming (anti)quarks. However, owing to the only mild collinear enhancement and the design of VBS analysis cuts, the quality of this approximation turns out to be only qualitative at the LHC.


title: Stable finiteness of monoid algebras and surjunctivity

abstract: A monoid $M$ is said to be surjunctive if every injective cellular automaton with finite alphabet over $M$ is surjective. We show that monoid algebras of surjunctive monoids are stably finite. In other words, given any field $K$ and any surjunctive monoid $M$, every one-sided invertible square matrix with entries in the monoid algebra $K[M]$ is two-sided invertible. Our proof uses first-order model theory.


title: Stagewise Boosting Distributional Regression

abstract: Forward stagewise regression is a simple algorithm that can be used to estimate regularized models. The updating rule adds a small constant to a regression coefficient in each iteration, such that the underlying optimization problem is solved slowly with small improvements. This is similar to gradient boosting, with the essential difference that the step size is determined by the product of the gradient and a step length parameter in the latter algorithm. One often overlooked challenge in gradient boosting for distributional regression is the issue of a vanishing small gradient, which practically halts the algorithm's progress. We show that gradient boosting in this case oftentimes results in suboptimal models, especially for complex problems certain distributional parameters are never updated due to the vanishing gradient. Therefore, we propose a stagewise boosting-type algorithm for distributional regression, combining stagewise regression ideas with gradient boosting. Additionally, we extend it with a novel regularization method, correlation filtering, to provide additional stability when the problem involves a large number of covariates. Furthermore, the algorithm includes best-subset selection for parameters and can be applied to big data problems by leveraging stochastic approximations of the updating steps. Besides the advantage of processing large datasets, the stochastic nature of the approximations can lead to better results, especially for complex distributions, by reducing the risk of being trapped in a local optimum. The performance of our proposed stagewise boosting distributional regression approach is investigated in an extensive simulation study and by estimating a full probabilistic model for lightning counts with data of more than 9.1 million observations and 672 covariates.


title: Highway Reinforcement Learning

abstract: Learning from multi-step off-policy data collected by a set of policies is a core problem of reinforcement learning (RL). Approaches based on importance sampling (IS) often suffer from large variances due to products of IS ratios. Typical IS-free methods, such as $n$-step Q-learning, look ahead for $n$ time steps along the trajectory of actions (where $n$ is called the lookahead depth) and utilize off-policy data directly without any additional adjustment. They work well for proper choices of $n$. We show, however, that such IS-free methods underestimate the optimal value function (VF), especially for large $n$, restricting their capacity to efficiently utilize information from distant future time steps. To overcome this problem, we introduce a novel, IS-free, multi-step off-policy method that avoids the underestimation issue and converges to the optimal VF. At its core lies a simple but non-trivial \emph{highway gate}, which controls the information flow from the distant future by comparing it to a threshold. The highway gate guarantees convergence to the optimal VF for arbitrary $n$ and arbitrary behavioral policies. It gives rise to a novel family of off-policy RL algorithms that safely learn even when $n$ is very large, facilitating rapid credit assignment from the far future to the past. On tasks with greatly delayed rewards, including video games where the reward is given only at the end of the game, our new methods outperform many existing multi-step off-policy algorithms.


title: Probabilistic and progressive deblended far-infrared and sub-millimetre point source catalogues I. Methodology and first application in the COSMOS field

abstract: Single-dish far-infrared (far-IR) and sub-millimetre (sub-mm) point source catalogues and their connections with catalogues at other wavelengths are of paramount importance. However, due to the large mismatch in spatial resolution, cross-matching galaxies at different wavelengths is challenging. This work aims to develop the next-generation deblended far-IR and sub-mm catalogues and present the first application in the COSMOS field. Our progressive deblending used the Bayesian probabilistic framework known as XID+. The deblending started from the Spitzer/MIPS 24 micron data, using an initial prior list composed of sources selected from the COSMOS2020 catalogue and radio catalogues from the VLA and the MeerKAT surveys, based on spectral energy distribution modelling which predicts fluxes of the known sources at the deblending wavelength. To speed up flux prediction, we made use of a neural network-based emulator. After deblending the 24 micron data, we proceeded to the Herschel PACS (100 & 160 micron) and SPIRE wavebands (250, 350 & 500 micron). Each time we constructed a tailor-made prior list based on the predicted fluxes of the known sources. Using simulated far-IR and sub-mm sky, we detailed the performance of our deblending pipeline. After validation with simulations, we then deblended the real observations from 24 to 500 micron and compared with blindly extracted catalogues and previous versions of deblended catalogues. As an additional test, we deblended the SCUBA-2 850 micron map and compared our deblended fluxes with ALMA measurements, which demonstrates a higher level of flux accuracy compared to previous results.We publicly release our XID+ deblended point source catalogues. These deblended long-wavelength data are crucial for studies such as deriving the fraction of dust-obscured star formation and better separation of quiescent galaxies from dusty star-forming galaxies.


title: FedSAC: Dynamic Submodel Allocation for Collaborative Fairness in Federated Learning

abstract: Collaborative fairness stands as an essential element in federated learning to encourage client participation by equitably distributing rewards based on individual contributions. Existing methods primarily focus on adjusting gradient allocations among clients to achieve collaborative fairness. However, they frequently overlook crucial factors such as maintaining consistency across local models and catering to the diverse requirements of high-contributing clients. This oversight inevitably decreases both fairness and model accuracy in practice. To address these issues, we propose FedSAC, a novel Federated learning framework with dynamic Submodel Allocation for Collaborative fairness, backed by a theoretical convergence guarantee. First, we present the concept of "bounded collaborative fairness (BCF)", which ensures fairness by tailoring rewards to individual clients based on their contributions. Second, to implement the BCF, we design a submodel allocation module with a theoretical guarantee of fairness. This module incentivizes high-contributing clients with high-performance submodels containing a diverse range of crucial neurons, thereby preserving consistency across local models. Third, we further develop a dynamic aggregation module to adaptively aggregate submodels, ensuring the equitable treatment of low-frequency neurons and consequently enhancing overall model accuracy. Extensive experiments conducted on three public benchmarks demonstrate that FedSAC outperforms all baseline methods in both fairness and model accuracy. We see this work as a significant step towards incentivizing broader client participation in federated learning. The source code is available at https://github.com/wangzihuixmu/FedSAC.