title: Federated Fairness without Access to Sensitive Groups

abstract: Current approaches to group fairness in federated learning assume the existence of predefined and labeled sensitive groups during training. However, due to factors ranging from emerging regulations to dynamics and location-dependency of protected groups, this assumption may be unsuitable in many real-world scenarios. In this work, we propose a new approach to guarantee group fairness that does not rely on any predefined definition of sensitive groups or additional labels. Our objective allows the federation to learn a Pareto efficient global model ensuring worst-case group fairness and it enables, via a single hyper-parameter, trade-offs between fairness and utility, subject only to a group size constraint. This implies that any sufficiently large subset of the population is guaranteed to receive at least a minimum level of utility performance from the model. The proposed objective encompasses existing approaches as special cases, such as empirical risk minimization and subgroup robustness objectives from centralized machine learning. We provide an algorithm to solve this problem in federation that enjoys convergence and excess risk guarantees. Our empirical results indicate that the proposed approach can effectively improve the worst-performing group that may be present without unnecessarily hurting the average performance, exhibits superior or comparable performance to relevant baselines, and achieves a large set of solutions with different fairness-utility trade-offs.


title: A quantum treatment of the Stern-Gerlach experiment

abstract: Most textbooks introduce the concept of spin by presenting the Stern-Gerlach experiment with the aid of Newtonian atomic trajectories. However, to understand how both spatial and spin degrees of freedom evolve over time and how the latter influence experimental outcomes, it is essential to employ a quantum approach. In this paper, we offer two simple methods, the Baker-Campbell-Hausdorff formula and the direct integration of the Schr\"odinger equation in an interaction picture, to determine the corresponding evolution operator. We not only provide an interpretation of the individual terms within this operator but also establish connections with semiclassical calculations, when feasible. Moreover, we compute the wave function and touch upon the concept of position-spin entanglement to illustrate how a full quantum description of the Stern-Gerlach experiment can open doors to topics like quantum measurement and nonlocality.


title: Notes on a short-cut to the proof of the $\mathbf{M}_3$-$\mathbf{N}_5$ Theorem

abstract: This paper presents two shortcuts to a classical proof of the $\mathbf{M}_3$-$\mathbf{N}_5$ Theorem, which can be found in B. Davey and H. Priestley [2] and S. Burris and H. Sankappanavar [1]. To be precise, the shortcuts pertain a particular step of the proof that requires showing an algebraic equality. In addition, we briefly discuss how to compare the lengths of the three proofs (the original and our two proposed shortcuts). To do so, we introduce two methods to compare the lengths of proofs based on algebraic lattice expressions. We call them the proof count method and the proof poset method. Both methods indicate that our proofs are shorter but the difference is more pronounced in the former. Keywords: lattices, posets


title: Attractors of Parikh mapping iterations

abstract: Three types of the Parikh mapping are introduced, namely, alphabetic, alphabetic-basis and basis. Explicit expressions for attractors of the k-th order in bases n >= 8, including countable ones, are found. Properties for the alphabetic, alphabetic-basis and basis Parikh vectors are given at each step of the Parikh mapping. The maximum number of iterations leading to attractors of the k-th order in the basis n is determined.


title: Path Planning based on 2D Object Bounding-box

abstract: The implementation of Autonomous Driving (AD) technologies within urban environments presents significant challenges. These challenges necessitate the development of advanced perception systems and motion planning algorithms capable of managing situations of considerable complexity. Although the end-to-end AD method utilizing LiDAR sensors has achieved significant success in this scenario, we argue that its drawbacks may hinder its practical application. Instead, we propose the vision-centric AD as a promising alternative offering a streamlined model without compromising performance. In this study, we present a path planning method that utilizes 2D bounding boxes of objects, developed through imitation learning in urban driving scenarios. This is achieved by integrating high-definition (HD) map data with images captured by surrounding cameras. Subsequent perception tasks involve bounding-box detection and tracking, while the planning phase employs both local embeddings via Graph Neural Network (GNN) and global embeddings via Transformer for temporal-spatial feature aggregation, ultimately producing optimal path planning information. We evaluated our model on the nuPlan planning task and observed that it performs competitively in comparison to existing vision-centric methods.


title: Some Lie algebra structures on symmetric powers

abstract: Let $k$ be a field of any characteristic, $V$ a finite-dimensional vector space over $k$, and $S^d(V^*)$ be the $d$-th symmetric power of the dual space $V^*$. Given a linear map $\varphi$ on $V$ and an eigenvector $w$ of $\varphi$, we prove that the pair $(\varphi, w)$ can be used to construct a new Lie algebra structure on $S^d(V^*)$. We prove that this Lie algebra structure is solvable, and in particular, it is nilpotent if $\varphi$ is a nilpotent map. We also classify the Lie algebras for all possible pairs $(\varphi, w)$, when $k=\mathbb{C}$ and $V$ is two-dimensional.


title: Linear-Quadratic Mean Field Games in Hilbert spaces

abstract: This paper represents the first attempt to develop a theory for linear-quadratic mean field games in possibly infinite dimensional Hilbert spaces. As a starting point, we study the case, considered in most finite dimensional contributions on the topic, where the dependence on the distribution enters just in the objective functional through the mean. This feature allows, similarly to the finite dimensional case, to reduce the usual mean field game system to a Riccati equation and a forward-backward coupled system of abstract evolution equations. Such system is completely new in infinite dimension and no results have been proved on it so far. We show existence and uniqueness of solutions for such system, applying a delicate approximation procedure. We apply the results to a production output planning problem with delay in the control variable.


title: A Fast Direct Solver for Elliptic PDEs on a Hierarchy of Adaptively Refined Quadtrees

abstract: We describe a fast, direct solver for elliptic partial differential equations on a two-dimensional hierarchy of adaptively refined, Cartesian meshes. Our solver, inspired by the Hierarchical Poincar\'e-Steklov (HPS) method introduced by Gillman and Martinsson (SIAM J. Sci. Comput., 2014) uses fast solvers on locally uniform Cartesian patches stored in the leaves of a quadtree and is the first such solver that works directly with the adaptive quadtree mesh managed using the grid management library \pforest (C. Burstedde, L. Wilcox, O. Ghattas, SIAM J. Sci. Comput. 2011). Within each Cartesian patch, stored in leaves of the quadtree, we use a second order finite volume discretization on cell-centered meshes. Key contributions of our algorithm include 4-to-1 merge and split implementations for the HPS build stage and solve stage, respectively. We demonstrate our solver on Poisson and Helmholtz problems with a mesh adapted to the high local curvature of the right-hand side.


title: SoK: Analyzing Adversarial Examples: A Framework to Study Adversary Knowledge

abstract: Adversarial examples are malicious inputs to machine learning models that trigger a misclassification. This type of attack has been studied for close to a decade, and we find that there is a lack of study and formalization of adversary knowledge when mounting attacks. This has yielded a complex space of attack research with hard-to-compare threat models and attacks. We focus on the image classification domain and provide a theoretical framework to study adversary knowledge inspired by work in order theory. We present an adversarial example game, inspired by cryptographic games, to standardize attacks. We survey recent attacks in the image classification domain and classify their adversary's knowledge in our framework. From this systematization, we compile results that both confirm existing beliefs about adversary knowledge, such as the potency of information about the attacked model as well as allow us to derive new conclusions on the difficulty associated with the white-box and transferable threat models, for example, that transferable attacks might not be as difficult as previously thought.


title: Contagion dynamics on higher-order networks

abstract: Understanding the dissemination of diseases, information, and behavior stands as a paramount research challenge in contemporary network and complex systems science. The COVID-19 pandemic and the proliferation of misinformation are relevant examples of the importance of these dynamic processes, which have recently gained more attention due to the potential of higher-order networks to unlock new avenues for their investigation. Despite being in its early stages, the examination of social contagion in higher-order networks has witnessed a surge of novel research and concepts, revealing different functional forms for the spreading dynamics and offering novel insights. This review presents a focused overview of this body of literature and proposes a unified formalism that covers most of these forms. The goal is to underscore the similarities and distinctions among various models, to motivate further research on the general and universal properties of such models. We also highlight that while the path for additional theoretical exploration appears clear, the empirical validation of these models through data or experiments remains scant, with an unsettled roadmap as of today. We therefore conclude with some perspectives aimed at providing possible research directions that could contribute to a better understanding of this class of dynamical processes, both from a theoretical and a data-oriented point of view.


title: Evaluating the Financial Factors Influencing Maternal, Newborn, and Child Health in Africa

abstract: The study investigated the impact of healthcare system efficiency on the delivery of maternal, newborn, and child services in Africa. Data Envelopment Analysis and Tobit regression were employed to assess the efficiency of 46 healthcare systems across the continent, utilizing the Variable Returns to Scale model with Input orientation to evaluate technical efficiency. The Tobit method was utilized to explore factors contributing to inefficiency, with inputs variables including hospital, physician, and paramedical staff, and outputs variables encompassing maternal, newborn, and child admissions, cesarean interventions, functional competency, and hospitalization days. Results revealed that only 26% of countries exhibited efficiency, highlighting a significant proportion of 74% with inefficiencies. Financial determinants such as current health expenditures, comprehensive coverage index, and current health expenditure per capita were found to have a negative impact on the efficiency of maternal-child services. These findings underscore a marginal deficiency in technical efficiency within Africa's healthcare systems, emphasizing the necessity for policymakers to reassess the roles of both human resources and financial dimensions in enhancing healthcare system performance.


title: Assessment of Technical Efficiency in the Moroccan Public Hospital Network: Using the DEA Method

abstract: Background: The public hospital network in Morocco plays a crucial role in providing healthcare services. However, this network faces challenges in terms of technical efficiency in healthcare management. Objectives: This study aimed to assess the technical efficiency of the public hospital network in Morocco. Methods: This article compares the efficiency of 77 public hospital networks from 2017 to 2020. Data were collected from the Directorate of Planning and Financial Resources (DPFR) of the Health Ministry Marocco. The Data Envelopment Analysis (DEA) method was employed, using three inputs (Hospital, Physician and Paramedical) and four outputs (Functional capacity, Hospitalization days and Admission). Additionally, the Malmquist index (MI) is utilized to analyse the factors of production, and peer modelling is incorporated to address hospital inefficiency. Results: The average technical efficiency of public hospital networks under the CRS hypothesis from 2017 to 2020 is 0.697 (71% of DMUs have a score lower than 1), indicating that these networks need to minimize their inputs by approximately 30.3%. The Malmquist index reveals a decline in productivity gain from 2017/2018 (score of 0.980) followed by improvement in 2018/2019 (score of 1.163). In terms of peer modelling, 72.7% of the DMUs should emulate the most effective DMUs beginning in 2020, whereas the lowest score was observed in 2019. Conclusion: These findings highlight the need for the public hospital network in Morocco to enhance the effective and efficient utilization of inputs, such as the number of hospitals and medical and paramedical staff, to produce the same outputs, including the number of surgical procedures, hospitalization days, admissions, and functional capacity.


title: Density Functional Theory Calculations of the thermochemistry of the dehydration of 2-propanol

abstract: Electronic structure theory provides a foundation for understanding chemical transformations and processes in complex chemical environments. Our work is focused on the NWChemEx project that has selected two interrelated science challenges that address the production of advanced biomass-derived fuels and other value-added chemical compounds. One of which is the dehydration of 2-propanol over a zeolite catalyst. Aqueous phase dehydration of 2-propanol was investigated using density functional theory (DFT) calculations. We considered and analyzed the thermochemistry of the dehydration of 2-propanol using NWChem calculations while the NWChemEx code is still under development. Realistically modeling the reaction in this study properly requires simulations using extended atomistic models. We validated our computational models by comparing the predicted outcomes for 2-propanol dehydration with the calculated results from 1-propanol dehydration studies. We used the first-principles DFT calculations to investigate aqueous phase dehydration of 2-propanol, examine the enthalpy of the 2-propanol reaction and computed the energy for geometry optimization for increasingly better basis sets: cc-pVDZ, cc-pVTZ, cc-pVQZ, cc-pV5Z, and cc-pV6Z. The various transition states and minima along the reaction pathway are critical to inform the NWChemEx science challenge calculations. In this work, we established how the accuracy of the calculations depends on the basis sets, and we determined what basis sets are needed to achieve sufficient accurate results. We also calculated the reaction free energy as a function of temperature as thermodynamic parameter. We found that at low temperature the reaction is thermodynamically unfavorable. Nevertheless, dehydrating 2-propanol increases entropy, underscoring the need for high temperatures to facilitate the reaction.


title: On Identification of Dynamic Treatment Regimes with Proxies of Hidden Confounders

abstract: We consider identification of optimal dynamic treatment regimes in a setting where time-varying treatments are confounded by hidden time-varying confounders, but proxy variables of the unmeasured confounders are available. We show that, with two independent proxy variables at each time point that are sufficiently relevant for the hidden confounders, identification of the joint distribution of counterfactuals is possible, thereby facilitating identification of an optimal treatment regime.


title: Hydrogenated amorphous carbon grains as an alternative carrier of the 9$-$13$\mu$m plateau feature in the fullerene planetary nebula Tc 1

abstract: Fullerenes have been observed in several astronomical objects since the discovery of C$_{60}$ in the mid-infrared (mid-IR) spectrum of the planetary nebula (PN) Tc 1. It has been suggested that the carriers of the broad unidentified infrared (UIR) plateau features, such as the 9$-$13$\mu$m emission feature (12$\mu$m hereafter), may be related to the formation of fullerenes. In particular, their carriers have been suggested to be mixed aromatic or aliphatic hydrocarbons such as hydrogenated amorphous carbon (HAC-like hereafter) grains. For this study, we modeled the mid-IR emission of the C$_{60}$-PN Tc 1 with a photoionization code, including for the first time the laboratory optical constants ($n$ and $k$ indices) of HAC-like dust at 300 K. Interestingly, we find that the broad 12$\mu$m plateau feature in Tc 1 is well reproduced by using a distribution of canonical HAC grains, while at the same time they provide an important fraction of the IR dust continuum emission and are consistent with the other UIR features observed (e.g., the broad 6$-$9$\mu$m plateau feature). This finding suggests that HAC-like grains may be possible carriers of the 12$\mu$m plateau feature, being likely related to the fullerene formation mechanism in PNe. More laboratory experiments, to obtain the optical constants of HAC-like dust with several structures or a composition at different physical conditions, are strongly encouraged -- that is, in order to extend this pilot study to more fullerene PNe, and to unveil the details of fullerene formation and of the potential carriers of the elusive UIR plateau features.


title: Non-Invertible Duality Interfaces in Field Theories with Exotic Symmetries

abstract: In recent years, the concept of global symmetry has generalized considerably. Two dramatic examples of this generalization are the exotic symmetries that govern theories with fractons and non-invertible symmetries, which do not fuse according to a group law. Only recently has the interplay between these two been examined. In this paper, we provide further examples of the interplay in the XY plaquette model, XY cube model, 1+1 d theory with global dipole symmetry, and the 2+1 d Lifshitz theory. They are analogs of the duality symmetries in 2d CTFs and are constructed by first gauging a finite subgroup of the momentum symmetry on half of spacetime and then performing a duality transformation. We analyze the fusion rules of the symmetries and find that they are condensation defects from an analog of higher gauging exotic symmetries. We also address their dependence on the UV cutoff when relevant.


title: An image-based transfer learning approach for using in situ processing data to predict laser powder bed fusion additively manufactured Ti-6Al-4V mechanical properties

abstract: The mitigation of material defects from additive manufacturing (AM) processes is critical to reliability in their fabricated parts and is enabled by modeling the complex relations between available build monitoring signals and final mechanical performance. To this end, the present study investigates a machine learning approach for predicting mechanical properties for Ti-6Al-4V fabricated through laser powder bed fusion (PBF-LB) AM using in situ photodiode processing signals. Samples were fabricated under different processing parameters, varying laser powers and scan speeds for the purpose of probing a wide range of microstructure and property variations. Photodiode data were collected during fabrication, later to be arranged in image format and extracted to information-dense vectors by the transferal of deep convolutional neural network (DCNN) structures and weights pre-trained on a large computer vision benchmark image database. The extracted features were then used to train and test a newly designed regression model for mechanical properties. Average cross-validation accuracies were found to be 98.7% (r2 value of 0.89) for the prediction of ultimate tensile strength, which ranged from 900 to 1150 MPa in the samples studied, and 93.1% (r2 value of 0.96) for the prediction of elongation to fracture, which ranged from 0 to 17%. Thus, with high accuracy and hardware accelerated inference speeds, we demonstrate that a transfer learning framework can be used to predict strength and ductility of metal AM components based on processing signals in PBF-LB, illustrating a potential route toward real-time closed-loop control and process optimization of PBF-LB in industrial applications.


title: Dynamic control of 2D non-Hermitian photonic corner states in synthetic dimensions

abstract: Non-Hermitian models describe the physics of ubiquitous open systems with gain and loss. One intriguing aspect of non-Hermitian models is their inherent topology that can produce intriguing boundary phenomena like resilient higher-order topological insulators (HOTIs) and non-Hermitian skin effects (NHSE). Recently, time-multiplexed lattices in synthetic dimensions have emerged as a versatile platform for the investigation of these effects free of geometric restrictions. Despite holding broad applications, studies of these effects have been limited to static cases so far, and full dynamical control over the non-Hermitian effects has remained elusive. Here, we demonstrate the emergence of topological non-Hermitian corner states with remarkable temporal controllability and robustness in a two-dimensional photonic synthetic time lattice. Specifically, we showcase various dynamic control mechanisms for light confinement and flow, including spatial mode tapering, sequential non-Hermiticity on-off switching, dynamical corner state relocation, and light steering. Moreover, we establish the corner state's robustness in the presence of intensity modulation randomness and quantitatively determine its breakdown regime. Our findings extend non-Hermitian and topological photonic effects into higher synthetic dimensions, offering remarkable flexibility and real-time control possibilities. This opens avenues for topological classification, quantum walk simulations of many-body dynamics, and robust Floquet engineering, free from the limitations of physical geometries.


title: An Avalanche of Images on Telegram Preceded Russia's Full-Scale Invasion of Ukraine

abstract: Governments use propaganda, including through visual content -- or Politically Salient Image Patterns (PSIP) -- on social media, to influence and manipulate public opinion. In the present work, we collected Telegram post-history of from 989 Russian milbloggers to better understand the social and political narratives that circulated online in the months surrounding Russia's 2022 full-scale invasion of Ukraine. Overall, we found an 8,925% increase (p<0.001) in the number of posts and a 5,352% increase (p<0.001) in the number of images posted by these accounts in the two weeks prior to the invasion. We also observed a similar increase in the number and intensity of politically salient manipulated images that circulated on Telegram. Although this paper does not evaluate malice or coordination in these activities, we do conclude with a call for further research into the role that manipulated visual media has in the lead-up to instability events and armed conflict.


title: Re-Examine Distantly Supervised NER: A New Benchmark and a Simple Approach

abstract: This paper delves into Named Entity Recognition (NER) under the framework of Distant Supervision (DS-NER), where the main challenge lies in the compromised quality of labels due to inherent errors such as false positives, false negatives, and positive type errors. We critically assess the efficacy of current DS-NER methodologies using a real-world benchmark dataset named QTL, revealing that their performance often does not meet expectations. To tackle the prevalent issue of label noise, we introduce a simple yet effective approach, Curriculum-based Positive-Unlabeled Learning CuPUL, which strategically starts on "easy" and cleaner samples during the training process to enhance model resilience to noisy samples. Our empirical results highlight the capability of CuPUL to significantly reduce the impact of noisy labels and outperform existing methods. QTL dataset and our code is available on GitHub.


title: Enhancing Power Quality Event Classification with AI Transformer Models

abstract: Recently, there has been a growing interest in utilizing machine learning for accurate classification of power quality events (PQEs). However, most of these studies are performed assuming an ideal situation, while in reality, we can have measurement noise, DC offset, and variations in the voltage signal's amplitude and frequency. Building on the prior PQE classification works using deep learning, this paper proposes a deep-learning framework that leverages attention-enabled Transformers as a tool to accurately classify PQEs under the aforementioned considerations. The proposed framework can operate directly on the voltage signals with no need for a separate feature extraction or calculation phase. Our results show that the proposed framework outperforms recently proposed learning-based techniques. It can accurately classify PQEs under the aforementioned conditions with an accuracy varying between 99.81%$-$91.43% depending on the signal-to-noise ratio, DC offsets, and variations in the signal amplitude and frequency.


title: Parallel Approximate Maximum Flows in Near-Linear Work and Polylogarithmic Depth

abstract: We present a parallel algorithm for the $(1-\epsilon)$-approximate maximum flow problem in capacitated, undirected graphs with $n$ vertices and $m$ edges, achieving $O(\epsilon^{-3}\text{polylog} n)$ depth and $O(m \epsilon^{-3} \text{polylog} n)$ work in the PRAM model. Although near-linear time sequential algorithms for this problem have been known for almost a decade, no parallel algorithms that simultaneously achieved polylogarithmic depth and near-linear work were known. At the heart of our result is a polylogarithmic depth, near-linear work recursive algorithm for computing congestion approximators. Our algorithm involves a recursive step to obtain a low-quality congestion approximator followed by a "boosting" step to improve its quality which prevents a multiplicative blow-up in error. Similar to Peng [SODA'16], our boosting step builds upon the hierarchical decomposition scheme of R\"acke, Shah, and T\"aubig [SODA'14]. A direct implementation of this approach, however, leads only to an algorithm with $n^{o(1)}$ depth and $m^{1+o(1)}$ work. To get around this, we introduce a new hierarchical decomposition scheme, in which we only need to solve maximum flows on subgraphs obtained by contracting vertices, as opposed to vertex-induced subgraphs used in R\"acke, Shah, and T\"aubig [SODA'14]. In particular, we are able to directly extract congestion approximators for the subgraphs from a congestion approximator for the entire graph, thereby avoiding additional recursion on those subgraphs. Along the way, we also develop a parallel flow-decomposition algorithm that is crucial to achieving polylogarithmic depth and may be of independent interest.


title: In-Context Learning of a Linear Transformer Block: Benefits of the MLP Component and One-Step GD Initialization

abstract: We study the \emph{in-context learning} (ICL) ability of a \emph{Linear Transformer Block} (LTB) that combines a linear attention component and a linear multi-layer perceptron (MLP) component. For ICL of linear regression with a Gaussian prior and a \emph{non-zero mean}, we show that LTB can achieve nearly Bayes optimal ICL risk. In contrast, using only linear attention must incur an irreducible additive approximation error. Furthermore, we establish a correspondence between LTB and one-step gradient descent estimators with learnable initialization ($\mathsf{GD}\text{-}\mathbf{\beta}$), in the sense that every $\mathsf{GD}\text{-}\mathbf{\beta}$ estimator can be implemented by an LTB estimator and every optimal LTB estimator that minimizes the in-class ICL risk is effectively a $\mathsf{GD}\text{-}\mathbf{\beta}$ estimator. Finally, we show that $\mathsf{GD}\text{-}\mathbf{\beta}$ estimators can be efficiently optimized with gradient flow, despite a non-convex training objective. Our results reveal that LTB achieves ICL by implementing $\mathsf{GD}\text{-}\mathbf{\beta}$, and they highlight the role of MLP layers in reducing approximation error.


title: Implementations of Cooperative Games Under Non-Cooperative Solution Concepts

abstract: Cooperative games can be distinguished as non-cooperative games in which players can freely sign binding agreements to form coalitions. These coalitions inherit a joint strategy set and seek to maximize collective payoffs. When the payoffs to each coalition under some non-cooperative solution concept coincide with their value in the cooperative game, the cooperative game is said to be implementable and the non-cooperative game its implementation. This paper proves that all strictly superadditive partition function form games are implementable under Nash equilibrium and rationalizability; that all weakly superadditive characteristic function form games are implementable under Nash equilibrium; and that all weakly superadditive partition function form games are implementable under trembling hand perfect equilibrium. Discussion then proceeds on the appropriate choice of non-cooperative solution concept for the implementation.


title: Dot Product Representations of Graphs Using Tropical Arithmetic

abstract: A dot-product representation of a graph is a mapping of its vertices to vectors of length $k$ so that vertices are adjacent if and only if the inner product (a.k.a. dot product) of their corresponding vertices exceeds some threshold. Minimizing dimension of the vector space into which the vectors must be mapped is a typical focus. We investigate this and structural characterizations of graphs whose dot product representations are mappings into the tropical semi-rings of min-plus and max-plus. We also observe that the minimum dimension required to represent a graph using a \emph{tropical representation} is equal to the better-known threshold dimension of the graph; that is, the minimum number of subgraphs that are threshold graphs whose union is the graph being represented.


title: Methods for the detection of stellar rotation periods in individual TESS sectors and results from the Prime mission

abstract: For ongoing studies of the role of rotation in stellar evolution, we require large catalogs of rotation periods for testing and refining gyrochronology. While there is a wealth of data from the Kepler and K2 missions, TESS presents both an opportunity and a challenge: despite its all-sky coverage, rotation periods remain hard to detect. We analyzed individual TESS sectors to detect short-period stellar rotation, using only parameters measured from light curves for a robust and unbiased method of evaluating detections. We used random forest classifiers for vetting, trained on a large corpus of period measurements in KELT data from the Oelkers et al. (2018) catalog and using TESS full-frame image light curves generated by eleanor (Feinstein et al. 2019). Finally, using data from the first 26 sectors of TESS, we analyzed 432,704 2-minute cadence single-sector light curves for FGKM dwarfs. We detected 16,800 periods in individual sector light curves, covering 10,909 distinct targets, and we present a catalog of the median period for each target as measured by a Lomb-Scargle periodogram.


title: Quantile Regression Tree

abstract: This study introduces and evaluates the Quantile Regressor Tree (QRT), a novel methodology merging the robust characteristics of quantile regression with the versatility of decision trees. The quantile regressor tree introduces non-linearity to the quantile regression due to the splitting by features in the decision tree, enhancing flexibility while maintaining interpretability. The quantile regression tree gives a parametric and non-parametric mixture of estimating conditional quantiles for high-dimensional predictor variables.


title: Robust mass lumping and outlier removal strategies in isogeometric analysis

abstract: Mass lumping techniques are commonly employed in explicit time integration schemes for problems in structural dynamics and both avoid solving costly linear systems with the consistent mass matrix and increase the critical time step. In isogeometric analysis, the critical time step is constrained by so-called "outlier" frequencies, representing the inaccurate high frequency part of the spectrum. Removing or dampening these high frequencies is paramount for fast explicit solution techniques. In this work, we propose robust mass lumping and outlier removal techniques for nontrivial geometries, including multipatch and trimmed geometries. Our lumping strategies provably do not deteriorate (and often improve) the CFL condition of the original problem and are combined with deflation techniques to remove persistent outlier frequencies. Numerical experiments reveal the advantages of the method, especially for simulations covering large time spans where they may halve the number of iterations with little or no effect on the numerical solution.


title: The Common Stability Mechanism behind most Self-Supervised Learning Approaches

abstract: Last couple of years have witnessed a tremendous progress in self-supervised learning (SSL), the success of which can be attributed to the introduction of useful inductive biases in the learning process to learn meaningful visual representations while avoiding collapse. These inductive biases and constraints manifest themselves in the form of different optimization formulations in the SSL techniques, e.g. by utilizing negative examples in a contrastive formulation, or exponential moving average and predictor in BYOL and SimSiam. In this paper, we provide a framework to explain the stability mechanism of these different SSL techniques: i) we discuss the working mechanism of contrastive techniques like SimCLR, non-contrastive techniques like BYOL, SWAV, SimSiam, Barlow Twins, and DINO; ii) we provide an argument that despite different formulations these methods implicitly optimize a similar objective function, i.e. minimizing the magnitude of the expected representation over all data samples, or the mean of the data distribution, while maximizing the magnitude of the expected representation of individual samples over different data augmentations; iii) we provide mathematical and empirical evidence to support our framework. We formulate different hypotheses and test them using the Imagenet100 dataset.


title: EE3P: Event-based Estimation of Periodic Phenomena Properties

abstract: We introduce a novel method for measuring properties of periodic phenomena with an event camera, a device asynchronously reporting brightness changes at independently operating pixels. The approach assumes that for fast periodic phenomena, in any spatial window where it occurs, a very similar set of events is generated at the time difference corresponding to the frequency of the motion. To estimate the frequency, we compute correlations of spatio-temporal windows in the event space. The period is calculated from the time differences between the peaks of the correlation responses. The method is contactless, eliminating the need for markers, and does not need distinguishable landmarks. We evaluate the proposed method on three instances of periodic phenomena: (i) light flashes, (ii) vibration, and (iii) rotational speed. In all experiments, our method achieves a relative error lower than 0.04%, which is within the error margin of ground truth measurements.


title: A Causal Framework to Evaluate Racial Bias in Law Enforcement Systems

abstract: We are interested in developing a data-driven method to evaluate race-induced biases in law enforcement systems. While the recent works have addressed this question in the context of police-civilian interactions using police stop data, they have two key limitations. First, bias can only be properly quantified if true criminality is accounted for in addition to race, but it is absent in prior works. Second, law enforcement systems are multi-stage and hence it is important to isolate the true source of bias within the "causal chain of interactions" rather than simply focusing on the end outcome; this can help guide reforms. In this work, we address these challenges by presenting a multi-stage causal framework incorporating criminality. We provide a theoretical characterization and an associated data-driven method to evaluate (a) the presence of any form of racial bias, and (b) if so, the primary source of such a bias in terms of race and criminality. Our framework identifies three canonical scenarios with distinct characteristics: in settings like (1) airport security, the primary source of observed bias against a race is likely to be bias in law enforcement against innocents of that race; (2) AI-empowered policing, the primary source of observed bias against a race is likely to be bias in law enforcement against criminals of that race; and (3) police-civilian interaction, the primary source of observed bias against a race could be bias in law enforcement against that race or bias from the general public in reporting against the other race. Through an extensive empirical study using police-civilian interaction data and 911 call data, we find an instance of such a counter-intuitive phenomenon: in New Orleans, the observed bias is against the majority race and the likely reason for it is the over-reporting (via 911 calls) of incidents involving the minority race by the general public.


title: The Gaia white dwarf revolution

abstract: This review highlights the role of the Gaia space mission in transforming white dwarf research. These stellar remnants constitute 5-7% of the local stellar population in volume, yet before Gaia the lack of trigonometric parallaxes hindered their identification. The mission's Data Release 2 in 2018 provided the first unbiased colour-absolute magnitude diagram of the local stellar population, identifying 260,000 white dwarfs, with the number later increasing to over 355,000 in Data Release 3. Since then, more than 400 white dwarf studies have made critical use of Gaia data, establishing it as a fundamental resource for white dwarf identification, fundamental parameter determination and more recently spectral type characterisation. The review underscores the routine reliance on Gaia parallaxes and extensive use of its photometry in white dwarf surveys. We also discuss recent discoveries firmly grounded in Gaia data, including white dwarf mergers, exotic compact binaries and evolved planetary systems.


title: Reinforcement Learning with Elastic Time Steps

abstract: Traditional Reinforcement Learning (RL) algorithms are usually applied in robotics to learn controllers that act with a fixed control rate. Given the discrete nature of RL algorithms, they are oblivious to the effects of the choice of control rate: finding the correct control rate can be difficult and mistakes often result in excessive use of computing resources or even lack of convergence. We propose Soft Elastic Actor-Critic (SEAC), a novel off-policy actor-critic algorithm to address this issue. SEAC implements elastic time steps, time steps with a known, variable duration, which allow the agent to change its control frequency to adapt to the situation. In practice, SEAC applies control only when necessary, minimizing computational resources and data usage. We evaluate SEAC's capabilities in simulation in a Newtonian kinematics maze navigation task and on a 3D racing video game, Trackmania. SEAC outperforms the SAC baseline in terms of energy efficiency and overall time management, and most importantly without the need to identify a control frequency for the learned controller. SEAC demonstrated faster and more stable training speeds than SAC, especially at control rates where SAC struggled to converge. We also compared SEAC with a similar approach, the Continuous-Time Continuous-Options (CTCO) model, and SEAC resulted in better task performance. These findings highlight the potential of SEAC for practical, real-world RL applications in robotics.


title: The Neural Network First-Level Hardware Track Trigger of the Belle II Experiment

abstract: We describe the principles and performance of the first-level ("L1") hardware track trigger of Belle II, based on neural networks. The networks use as input the results from the standard Belle II trigger, which provides "2D" track candidates in the plane transverse to the electron-positron beams. The networks then provide estimates for the origin of the 2D track candidates in direction of the colliding beams ("$z$-vertex"), as well as their polar emission angles $\theta$. Given the $z$-vertices of the "neural" tracks allows identifying events coming from the collision region ($z \approx 0$), and suppressing the overwhelming background from outside by a suitable cut $d$. Requiring $|z| < d$ for at least one neural track in an event with two or more 2D candidates will set an L1 trigger. The networks also enable a minimum bias trigger, requiring a single 2D track candidate validated by a neural track with a momentum larger than 0.7 GeV in addition to the $|z|$ condition. The momentum of the neural track is derived with the help of the polar angle $\theta$.


title: Mirror: A Multiple-perspective Self-Reflection Method for Knowledge-rich Reasoning

abstract: While Large language models (LLMs) have the capability to iteratively reflect on their own outputs, recent studies have observed their struggles with knowledge-rich problems without access to external resources. In addition to the inefficiency of LLMs in self-assessment, we also observe that LLMs struggle to revisit their predictions despite receiving explicit negative feedback. Therefore, We propose Mirror, a Multiple-perspective self-reflection method for knowledge-rich reasoning, to avoid getting stuck at a particular reflection iteration. Mirror enables LLMs to reflect from multiple-perspective clues, achieved through a heuristic interaction between a Navigator and a Reasoner. It guides agents toward diverse yet plausibly reliable reasoning trajectory without access to ground truth by encouraging (1) diversity of directions generated by Navigator and (2) agreement among strategically induced perturbations in responses generated by the Reasoner. The experiments on five reasoning datasets demonstrate that Mirror's superiority over several contemporary self-reflection approaches. Additionally, the ablation study studies clearly indicate that our strategies alleviate the aforementioned challenges.


title: Pairing enhancement through the photography of the intermediate nucleus spectrum in a two-nucleon transfer process

abstract: While forming an ($A$+2) nucleus from a nucleus $A$ via a two-neutron transfer reaction, the constructive interference of the many possible reaction channels favors significant pairing enhancement through the continuum of the intermediate ($A$+1) nucleus [Phys. Lett. B 834, 137413 (2022)]. I analyse this situation in more detail, from the point of view of a varying pairing field leading to the formation of ($A$+2) nucleus $^6$He, described as housing two-neutrons in orbitals of $^5$He. The naturally unbound scenario of the intermediate $^5$He is compared with two hypothetically bound cases. The different possible situations manifest that the continuum correlations are extremely crucial to the extension of the pairing enhancement observed in the system.


title: Folding polyominoes into cubes

abstract: Which polyominoes can be folded into a cube, using only creases along edges of the square lattice underlying the polyomino, with fold angles of $\pm 90^\circ$ and $\pm 180^\circ$, and allowing faces of the cube to be covered multiple times? Prior results studied tree-shaped polyominoes and polyominoes with holes and gave partial classifications for these cases. We show that there is an algorithm deciding whether a given polyomino can be folded into a cube. This algorithm essentially amounts to trying all possible ways of mapping faces of the polyomino to faces of the cube, but (perhaps surprisingly) checking whether such a mapping corresponds to a valid folding is equivalent to the unlink recognition problem from topology. We also give further results on classes of polyominoes which can or cannot be folded into cubes. Our results include (1) a full characterisation of all tree-shaped polyominoes that can be folded into the cube (2) that any rectangular polyomino which contains only one simple hole (out of five different types) does not fold into a cube, (3) a complete characterisation when a rectangular polyomino with two or more unit square holes (but no other holes) can be folded into a cube, and (4) a sufficient condition when a simply-connected polyomino can be folded to a cube. These results answer several open problems of previous work and close the cases of tree-shaped polyominoes and rectangular polyominoes with just one simple hole.


title: Smoothness Adaptive Hypothesis Transfer Learning

abstract: Many existing two-phase kernel-based hypothesis transfer learning algorithms employ the same kernel regularization across phases and rely on the known smoothness of functions to obtain optimality. Therefore, they fail to adapt to the varying and unknown smoothness between the target/source and their offset in practice. In this paper, we address these problems by proposing Smoothness Adaptive Transfer Learning (SATL), a two-phase kernel ridge regression(KRR)-based algorithm. We first prove that employing the misspecified fixed bandwidth Gaussian kernel in target-only KRR learning can achieve minimax optimality and derive an adaptive procedure to the unknown Sobolev smoothness. Leveraging these results, SATL employs Gaussian kernels in both phases so that the estimators can adapt to the unknown smoothness of the target/source and their offset function. We derive the minimax lower bound of the learning problem in excess risk and show that SATL enjoys a matching upper bound up to a logarithmic factor. The minimax convergence rate sheds light on the factors influencing transfer dynamics and demonstrates the superiority of SATL compared to non-transfer learning settings. While our main objective is a theoretical analysis, we also conduct several experiments to confirm our results.


title: Regularizing effect for conservation laws with a Lipschitz convex flux

abstract: This paper studies the smoothing effect for entropy solutions of conservation laws with general nonlinear convex fluxes on $\mathbb{R}$. Beside convexity, no additional regularity is assumed on the flux. Thus, we generalize the well-known $\mathrm{BV}$ smoothing effect for $\mathrm{C}^2$ uniformly convex fluxes discovered independently by P. D. Lax and O. Oleinik, while in the present paper the flux is only locally Lipschitz. Therefore, the wave velocity can be dicontinuous and the one-sided Oleinik inequality is lost. This inequality is usually the fundamental tool to get a sharp regularizing effect for the entropy solution. We modify the wave velocity in order to get an Oleinik inequality useful for the wave front tracking algorithm. Then, we prove that the unique entropy solution belongs to a generalized $\mathrm{BV}$ space, $\mathrm{BV}^\Phi$.


title: Mitigating Fine-tuning based Jailbreak Attack with Backdoor Enhanced Safety Alignment

abstract: Despite the general capabilities of Large Language Models (LLM), these models still request fine-tuning or adaptation with customized data when meeting specific business demands. However, this process inevitably introduces new threats, particularly against the Fine-tuning based Jailbreak Attack (FJAttack) under the setting of Language-Model-as-a-Service (LMaaS), where the model's safety has been significantly compromised by fine-tuning users' uploaded examples contain just a few harmful examples. Though potential defenses have been proposed that the service providers can integrate safety examples into the fine-tuning dataset to reduce safety issues, such approaches require incorporating a substantial amount of data, making it inefficient. To effectively defend against the FJAttack with limited safety examples under LMaaS, we propose the Backdoor Enhanced Safety Alignment method inspired by an analogy with the concept of backdoor attacks. In particular, service providers will construct prefixed safety examples with a secret prompt, acting as a "backdoor trigger". By integrating prefixed safety examples into the fine-tuning dataset, the subsequent fine-tuning process effectively acts as the "backdoor attack", establishing a strong correlation between the secret prompt and safety generations. Consequently, safe responses are ensured once service providers prepend this secret prompt ahead of any user input during inference. Our comprehensive experiments demonstrate that through the Backdoor Enhanced Safety Alignment with adding as few as 11 prefixed safety examples, the maliciously fine-tuned LLMs will achieve similar safety performance as the original aligned models without harming the benign performance. Furthermore, we also present the effectiveness of our method in a more practical setting where the fine-tuning data consists of both FJAttack examples and the fine-tuning task data.


title: Turning non-smooth points into rational points

abstract: In a recent paper, the author and St\"ohr established a bound on the number of iterated Frobenius pullbacks needed to transform a non-smooth non-decomposed point on a regular geometrically integral curve into a rational point. In this note we improve this result, by establishing a new bound that is sharp in every characteristic $p > 0$.


title: What comes after optical-bypass network? A study on optical-computing-enabled network

abstract: A new architectural paradigm, named, optical-computing-enabled network, is proposed as a potential evolution of the currently used optical-bypass framework. The main idea is to leverage the optical computing capabilities performed on transitional lightpaths at intermediate nodes and such proposal reverses the conventional wisdom in optical-bypass network, that is, separating in-transit lightpaths in avoidance of unwanted interference. In optical-computing-enabled network, the optical nodes are therefore upgraded from conventional functions of add-drop and cross-connect to include optical computing / processing capabilities. This is enabled by exploiting the superposition of in-transit lightpaths for computing purposes to achieve greater capacity efficiency. While traditional network design and planning algorithms have been well-developed for optical-bypass framework in which the routing and resource allocation is dedicated to each optical channel (lightpath), more complicated problems arise in optical-computing-enabled architecture as a consequence of intricate interaction between optical channels and hence resulting into the establishment of the so-called integrated / computed lightpaths. This necessitates for a different framework of network design and planning to maximize the impact of optical computing opportunities. In highlighting this critical point, a detailed case study exploiting the optical aggregation operation to re-design the optical core network is investigated in this paper. Numerical results obtained from extensive simulations on the COST239 network are presented to quantify the efficacy of optical-computing-enabled approach versus the conventional optical-bypass-enabled one.


title: Non-coherent evolution of closed weakly interacting system leads to equidistribution of probabilities of microstates

abstract: We introduce a concept of non-coherent evolution of macroscopic quantum systems. We show that for weakly interacting systems such evolution is a Markovian stochastic process. The rates of transitions between states of the system, that characterize the process, are found by Fermi's golden rule. Such evolution is time-irreversible and leads to the equidistribution of probabilities across every state of the system. Further, we search for time dependence of mean numbers of particles in single-particle states and find that under made assumptions it is governed by Boltzmann collision integral. In this theory, the non-coherence is the mechanism that transforms time-reversible unitary evolution into time-irreversible stochastic evolution. Thus we present the possible solution for the famous time-arrow problem.


title: MultiLS: A Multi-task Lexical Simplification Framework

abstract: Lexical Simplification (LS) automatically replaces difficult to read words for easier alternatives while preserving a sentence's original meaning. LS is a precursor to Text Simplification with the aim of improving text accessibility to various target demographics, including children, second language learners, individuals with reading disabilities or low literacy. Several datasets exist for LS. These LS datasets specialize on one or two sub-tasks within the LS pipeline. However, as of this moment, no single LS dataset has been developed that covers all LS sub-tasks. We present MultiLS, the first LS framework that allows for the creation of a multi-task LS dataset. We also present MultiLS-PT, the first dataset to be created using the MultiLS framework. We demonstrate the potential of MultiLS-PT by carrying out all LS sub-tasks of (1). lexical complexity prediction (LCP), (2). substitute generation, and (3). substitute ranking for Portuguese. Model performances are reported, ranging from transformer-based models to more recent large language models (LLMs).


title: Introducing GenCeption for Multimodal LLM Benchmarking: You May Bypass Annotations

abstract: Multimodal Large Language Models (MLLMs) are commonly evaluated using costly annotated multimodal benchmarks. However, these benchmarks often struggle to keep pace with the rapidly advancing requirements of MLLM evaluation. We propose GenCeption, a novel and annotation-free MLLM evaluation framework that merely requires unimodal data to assess inter-modality semantic coherence and inversely reflects the models' inclination to hallucinate. Analogous to the popular DrawCeption game, GenCeption initiates with a non-textual sample and undergoes a series of iterative description and generation steps. Semantic drift across iterations is quantified using the GC@T metric. Our empirical findings validate GenCeption's efficacy, showing strong correlations with popular MLLM benchmarking results. GenCeption may be extended to mitigate training data contamination by utilizing ubiquitous, previously unseen unimodal data.


title: Towards Spatially-Lucid AI Classification in Non-Euclidean Space: An Application for MxIF Oncology Data

abstract: Given multi-category point sets from different place-types, our goal is to develop a spatially-lucid classifier that can distinguish between two classes based on the arrangements of their points. This problem is important for many applications, such as oncology, for analyzing immune-tumor relationships and designing new immunotherapies. It is challenging due to spatial variability and interpretability needs. Previously proposed techniques require dense training data or have limited ability to handle significant spatial variability within a single place-type. Most importantly, these deep neural network (DNN) approaches are not designed to work in non-Euclidean space, particularly point sets. Existing non-Euclidean DNN methods are limited to one-size-fits-all approaches. We explore a spatial ensemble framework that explicitly uses different training strategies, including weighted-distance learning rate and spatial domain adaptation, on various place-types for spatially-lucid classification. Experimental results on real-world datasets (e.g., MxIF oncology data) show that the proposed framework provides higher prediction accuracy than baseline methods.


title: Modification of $\chi_{c1}$(3872) and $\psi$(2$S$) production in $p$Pb collisions at $\sqrt{s_{NN}} = 8.16$ TeV

abstract: The LHCb collaboration measures production of the exotic hadron $\chi_{c1}$(3872) in proton-nucleus collisions for the first time. Comparison with the charmonium state $\psi$(2$S$) suggests that the exotic $\chi_{c1}$(3872) experiences different dynamics in the nuclear medium than conventional hadrons, and comparison with data from proton-proton collisions indicates that the presence of the nucleus may modify $\chi_{c1}$(3872) production rates. This is the first measurement of the nuclear modification factor of an exotic hadron.


title: Unsupervised Domain Adaptation within Deep Foundation Latent Spaces

abstract: The vision transformer-based foundation models, such as ViT or Dino-V2, are aimed at solving problems with little or no finetuning of features. Using a setting of prototypical networks, we analyse to what extent such foundation models can solve unsupervised domain adaptation without finetuning over the source or target domain. Through quantitative analysis, as well as qualitative interpretations of decision making, we demonstrate that the suggested method can improve upon existing baselines, as well as showcase the limitations of such approach yet to be solved.


title: Mudjacking: Patching Backdoor Vulnerabilities in Foundation Models

abstract: Foundation model has become the backbone of the AI ecosystem. In particular, a foundation model can be used as a general-purpose feature extractor to build various downstream classifiers. However, foundation models are vulnerable to backdoor attacks and a backdoored foundation model is a single-point-of-failure of the AI ecosystem, e.g., multiple downstream classifiers inherit the backdoor vulnerabilities simultaneously. In this work, we propose Mudjacking, the first method to patch foundation models to remove backdoors. Specifically, given a misclassified trigger-embedded input detected after a backdoored foundation model is deployed, Mudjacking adjusts the parameters of the foundation model to remove the backdoor. We formulate patching a foundation model as an optimization problem and propose a gradient descent based method to solve it. We evaluate Mudjacking on both vision and language foundation models, eleven benchmark datasets, five existing backdoor attacks, and thirteen adaptive backdoor attacks. Our results show that Mudjacking can remove backdoor from a foundation model while maintaining its utility.


title: AI-Augmented Brainwriting: Investigating the use of LLMs in group ideation

abstract: The growing availability of generative AI technologies such as large language models (LLMs) has significant implications for creative work. This paper explores twofold aspects of integrating LLMs into the creative process - the divergence stage of idea generation, and the convergence stage of evaluation and selection of ideas. We devised a collaborative group-AI Brainwriting ideation framework, which incorporated an LLM as an enhancement into the group ideation process, and evaluated the idea generation process and the resulted solution space. To assess the potential of using LLMs in the idea evaluation process, we design an evaluation engine and compared it to idea ratings assigned by three expert and six novice evaluators. Our findings suggest that integrating LLM in Brainwriting could enhance both the ideation process and its outcome. We also provide evidence that LLMs can support idea evaluation. We conclude by discussing implications for HCI education and practice.


title: Optimizing Language Models for Human Preferences is a Causal Inference Problem

abstract: As large language models (LLMs) see greater use in academic and commercial settings, there is increasing interest in methods that allow language models to generate texts aligned with human preferences. In this paper, we present an initial exploration of language model optimization for human preferences from direct outcome datasets, where each sample consists of a text and an associated numerical outcome measuring the reader's response. We first propose that language model optimization should be viewed as a causal problem to ensure that the model correctly learns the relationship between the text and the outcome. We formalize this causal language optimization problem, and we develop a method--causal preference optimization (CPO)--that solves an unbiased surrogate objective for the problem. We further extend CPO with doubly robust CPO (DR-CPO), which reduces the variance of the surrogate objective while retaining provably strong guarantees on bias. Finally, we empirically demonstrate the effectiveness of (DR-)CPO in optimizing state-of-the-art LLMs for human preferences on direct outcome data, and we validate the robustness of DR-CPO under difficult confounding conditions.


title: Comparative Analysis of Data Preprocessing Methods, Feature Selection Techniques and Machine Learning Models for Improved Classification and Regression Performance on Imbalanced Genetic Data

abstract: Rapid advancements in genome sequencing have led to the collection of vast amounts of genomics data. Researchers may be interested in using machine learning models on such data to predict the pathogenicity or clinical significance of a genetic mutation. However, many genetic datasets contain imbalanced target variables that pose challenges to machine learning models: observations are skewed/imbalanced in regression tasks or class-imbalanced in classification tasks. Genetic datasets are also often high-cardinal and contain skewed predictor variables, which poses further challenges. We aimed to investigate the effects of data preprocessing, feature selection techniques, and model selection on the performance of models trained on these datasets. We measured performance with 5-fold cross-validation and compared averaged r-squared and accuracy metrics across different combinations of techniques. We found that outliers/skew in predictor or target variables did not pose a challenge to regression models. We also found that class-imbalanced target variables and skewed predictors had little to no impact on classification performance. Random forest was the best model to use for imbalanced regression tasks. While our study uses a genetic dataset as an example of a real-world application, our findings can be generalized to any similar datasets.


title: Bounded fractional intersecting families are linear in size

abstract: Using the sunflower method, we show that if $\theta \in (0,1) \cap \mathbb{Q}$ and $\mathcal{F}$ is a $O(n^{1/3})$-bounded $\theta$-intersecting family over $[n]$, then $\lvert \mathcal{F} \rvert = O(n)$, and that if $\mathcal{F}$ is $o(n^{1/3})$-bounded, then $\lvert \mathcal{F} \rvert \leq (\frac{3}{2} + o(1))n$. This partially solves a conjecture raised in (Balachandran et al., Electron J. Combin. 26 (2019), #P2.40) that any $\theta$-intersecting family over $[n]$ has size at most linear in $n$, in the regime where we have no very large sets.


title: Human Brain Exhibits Distinct Patterns When Listening to Fake Versus Real Audio: Preliminary Evidence

abstract: In this paper we study the variations in human brain activity when listening to real and fake audio. Our preliminary results suggest that the representations learned by a state-of-the-art deepfake audio detection algorithm, do not exhibit clear distinct patterns between real and fake audio. In contrast, human brain activity, as measured by EEG, displays distinct patterns when individuals are exposed to fake versus real audio. This preliminary evidence enables future research directions in areas such as deepfake audio detection.


title: Privacy-Enhancing Collaborative Information Sharing through Federated Learning -- A Case of the Insurance Industry

abstract: The report demonstrates the benefits (in terms of improved claims loss modeling) of harnessing the value of Federated Learning (FL) to learn a single model across multiple insurance industry datasets without requiring the datasets themselves to be shared from one company to another. The application of FL addresses two of the most pressing concerns: limited data volume and data variety, which are caused by privacy concerns, the rarity of claim events, the lack of informative rating factors, etc.. During each round of FL, collaborators compute improvements on the model using their local private data, and these insights are combined to update a global model. Such aggregation of insights allows for an increase to the effectiveness in forecasting claims losses compared to models individually trained at each collaborator. Critically, this approach enables machine learning collaboration without the need for raw data to leave the compute infrastructure of each respective data owner. Additionally, the open-source framework, OpenFL, that is used in our experiments is designed so that it can be run using confidential computing as well as with additional algorithmic protections against leakage of information via the shared model updates. In such a way, FL is implemented as a privacy-enhancing collaborative learning technique that addresses the challenges posed by the sensitivity and privacy of data in traditional machine learning solutions. This paper's application of FL can also be expanded to other areas including fraud detection, catastrophe modeling, etc., that have a similar need to incorporate data privacy into machine learning collaborations. Our framework and empirical results provide a foundation for future collaborations among insurers, regulators, academic researchers, and InsurTech experts.


title: Correlations between Ca II H&K Emission and the Gaia M dwarf Gap

abstract: The Gaia M dwarf gap, also known as the Jao Gap, is a novel feature discovered in the Gaia DR2 G vs. BP-RP color magnitude diagram. This gap represents a 17 percent decrease in stellar density in a thin magnitude band around the convective transition mass ($\sim 0.35 M_{\odot}$) on the main sequence. Previous work has demonstrated a paucity of Hydrogen Alpha emission coincident with the G magnitude of the Jao Gap in the solar neighborhood. The exact mechanism which results in this paucity is as of yet unknown; however, the authors of the originating paper suggest that it may be the result of complex variations to a star's magnetic topology driven by the Jao Gap's characteristic formation and breakdown of stars' radiative transition zones. We present a follow up investigating another widely used magnetic activity metric, Calcium II H\&K emission. Ca II H\&K activity appears to share a similar anomalous behavior as H$\alpha$ does near the Jao Gap magnitude. We observe an increase in star-to-star variation of magnetic activity near the Jao Gap. We present a toy model of a stars magnetic field evolution which demonstrates that this increase may be due to stochastic disruptions to the magnetic field originating from the periodic mixing events characteristic of the convective kissing instabilities which drive the formation of the Jao Gap.


title: Nonsmooth Nonparametric Regression via Fractional Laplacian Eigenmaps

abstract: We develop nonparametric regression methods for the case when the true regression function is not necessarily smooth. More specifically, our approach is using the fractional Laplacian and is designed to handle the case when the true regression function lies in an $L_2$-fractional Sobolev space with order $s\in (0,1)$. This function class is a Hilbert space lying between the space of square-integrable functions and the first-order Sobolev space consisting of differentiable functions. It contains fractional power functions, piecewise constant or polynomial functions and bump function as canonical examples. For the proposed approach, we prove upper bounds on the in-sample mean-squared estimation error of order $n^{-\frac{2s}{2s+d}}$, where $d$ is the dimension, $s$ is the aforementioned order parameter and $n$ is the number of observations. We also provide preliminary empirical results validating the practical performance of the developed estimators.


title: A combinatorial $K$-theory perspective on the Edge Reconstruction Conjecture in graph theory

abstract: We provide a framework for abstract reconstruction problems using the $K$-theory of categories with covering families, which we then apply to reformulate the edge reconstruction conjecture in graph theory. Along the way, we state some fundamental theorems for the $K$-theory of categories with covering families.


title: On the Performance of Empirical Risk Minimization with Smoothed Data

abstract: In order to circumvent statistical and computational hardness results in sequential decision-making, recent work has considered smoothed online learning, where the distribution of data at each time is assumed to have bounded likeliehood ratio with respect to a base measure when conditioned on the history. While previous works have demonstrated the benefits of smoothness, they have either assumed that the base measure is known to the learner or have presented computationally inefficient algorithms applying only in special cases. This work investigates the more general setting where the base measure is \emph{unknown} to the learner, focusing in particular on the performance of Empirical Risk Minimization (ERM) with square loss when the data are well-specified and smooth. We show that in this setting, ERM is able to achieve sublinear error whenever a class is learnable with iid data; in particular, ERM achieves error scaling as $\tilde O( \sqrt{\mathrm{comp}(\mathcal F)\cdot T} )$, where $\mathrm{comp}(\mathcal F)$ is the statistical complexity of learning $\mathcal F$ with iid data. In so doing, we prove a novel norm comparison bound for smoothed data that comprises the first sharp norm comparison for dependent data applying to arbitrary, nonlinear function classes. We complement these results with a lower bound indicating that our analysis of ERM is essentially tight, establishing a separation in the performance of ERM between smoothed and iid data.


title: Verifiable Boosted Tree Ensembles

abstract: Verifiable learning advocates for training machine learning models amenable to efficient security verification. Prior research demonstrated that specific classes of decision tree ensembles -- called large-spread ensembles -- allow for robustness verification in polynomial time against any norm-based attacker. This study expands prior work on verifiable learning from basic ensemble methods (i.e., hard majority voting) to advanced boosted tree ensembles, such as those trained using XGBoost or LightGBM. Our formal results indicate that robustness verification is achievable in polynomial time when considering attackers based on the $L_\infty$-norm, but remains NP-hard for other norm-based attackers. Nevertheless, we present a pseudo-polynomial time algorithm to verify robustness against attackers based on the $L_p$-norm for any $p \in \mathbb{N} \cup \{0\}$, which in practice grants excellent performance. Our experimental evaluation shows that large-spread boosted ensembles are accurate enough for practical adoption, while being amenable to efficient security verification.


title: Stable Neural Stochastic Differential Equations in Analyzing Irregular Time Series Data

abstract: Irregular sampling intervals and missing values in real-world time series data present challenges for conventional methods that assume consistent intervals and complete data. Neural Ordinary Differential Equations (Neural ODEs) offer an alternative approach, utilizing neural networks combined with ODE solvers to learn continuous latent representations through parameterized vector fields. Neural Stochastic Differential Equations (Neural SDEs) extend Neural ODEs by incorporating a diffusion term, although this addition is not trivial, particularly when addressing irregular intervals and missing values. Consequently, careful design of drift and diffusion functions is crucial for maintaining stability and enhancing performance, while incautious choices can result in adverse properties such as the absence of strong solutions, stochastic destabilization, or unstable Euler discretizations, significantly affecting Neural SDEs' performance. In this study, we propose three stable classes of Neural SDEs: Langevin-type SDE, Linear Noise SDE, and Geometric SDE. Then, we rigorously demonstrate their robustness in maintaining excellent performance under distribution shift, while effectively preventing overfitting. To assess the effectiveness of our approach, we conduct extensive experiments on four benchmark datasets for interpolation, forecasting, and classification tasks, and analyze the robustness of our methods with 30 public datasets under different missing rates. Our results demonstrate the efficacy of the proposed method in handling real-world irregular time series data.


title: Binary origin of blue straggler stars in Galactic star clusters

abstract: Building on the recent release of a new \emph{Gaia}-based blue straggler star catalog in Galactic open star clusters (OCs), we explored the properties of these stars in a cluster sample spanning a wide range in fundamental parameters. We employed \emph{Gaia} EDR3 to assess the membership of any individual blue or yellow straggler to their parent cluster. We then made use of the \texttt{ASteCA} code to estimate the fundamental parameters of the selected clusters, in particular, the binary fraction. With all this at hand, we critically revisited the relation of the blue straggler population and the latter. For the first time, we found a correlation between the number of blue stragglers and the host cluster binary fraction and binaries. This supports the hypothesis that binary evolution is the most viable scenario of straggler formation in Galactic star clusters. The distribution of blue stragglers in the Gaia color-magnitude diagram was then compared with a suite of composite evolutionary sequences derived from binary evolutionary models that were run by exploring a range of binary parameters: age, mass ratio, period, and so forth. The excellent comparison between the bulk distribution of blue stragglers and the composite evolutionary sequences loci further supports the binary origin of most stragglers in OCs and paves the way for a detailed study of individual blue stragglers


title: Quantum Theory and Application of Contextual Optimal Transport

abstract: Optimal Transport (OT) has fueled machine learning (ML) across many domains. When paired data measurements $(\boldsymbol{\mu}, \boldsymbol{\nu})$ are coupled to covariates, a challenging conditional distribution learning setting arises. Existing approaches for learning a $\textit{global}$ transport map parameterized through a potentially unseen context utilize Neural OT and largely rely on Brenier's theorem. Here, we propose a first-of-its-kind quantum computing formulation for amortized optimization of contextualized transportation plans. We exploit a direct link between doubly stochastic matrices and unitary operators thus unravelling a natural connection between OT and quantum computation. We verify our method (QontOT) on synthetic and real data by predicting variations in cell type distributions conditioned on drug dosage. Importantly we conduct a 24-qubit hardware experiment on a task challenging for classical computers and report a performance that cannot be matched with our classical neural OT approach. In sum, this is a first step toward learning to predict contextualized transportation plans through quantum computing.


title: tinyBenchmarks: evaluating LLMs with fewer examples

abstract: The versatility of large language models (LLMs) led to the creation of diverse benchmarks that thoroughly test a variety of language models' abilities. These benchmarks consist of tens of thousands of examples making evaluation of LLMs very expensive. In this paper, we investigate strategies to reduce the number of evaluations needed to assess the performance of an LLM on several key benchmarks. For example, we show that to accurately estimate the performance of an LLM on MMLU, a popular multiple-choice QA benchmark consisting of 14K examples, it is sufficient to evaluate this LLM on 100 curated examples. We release evaluation tools and tiny versions of popular benchmarks: Open LLM Leaderboard, MMLU, HELM, and AlpacaEval 2.0. Our empirical analysis demonstrates that these tools and tiny benchmarks are sufficient to reliably and efficiently reproduce the original evaluation results.


title: Laser-to-Vehicle Extrinsic Calibration in Low-Observability Scenarios for Subsea Mapping

abstract: Laser line scanners are increasingly being used in the subsea industry for high-resolution mapping and infrastructure inspection. However, calibrating the 3D pose of the scanner relative to the vehicle is a perennial source of confusion and frustration for industrial surveyors. This work describes three novel algorithms for laser-to-vehicle extrinsic calibration using naturally occurring features. Each algorithm makes a different assumption on the quality of the vehicle trajectory estimate, enabling good calibration results in a wide range of situations. A regularization technique is used to address low-observability scenarios frequently encountered in practice with large, rotationally stable subsea vehicles. Experimental results are provided for two field datasets, including the recently discovered wreck of the Endurance.


title: Energy-Efficient Active Element Selection in RIS-aided Massive MIMO Systems

abstract: This chapter delves into the critical aspects of optimizing energy efficiency (EE) in active reconfigurable intelligent surface (RIS)-assisted massive MIMO (M-MIMO) wireless communication systems. We develop a comprehensive and unified theoretical framework to analyze the boundaries of EE within M-MIMO systems integrated with active RIS while adhering to practical constraints. Our research focuses on a formulated EE optimization problem aiming to maximize the EE for active RIS-assisted M-MIMO communication systems. Our goal is to strategically find the number of active RIS elements for outperforming the EE attainable by an entirely passive RIS. Besides, the proposed novel solution has been tailored to the innovative problem. The formulation and solution design consider analytical optimization techniques, such as lagrangian dual transform (LDT) and fractional programming (FP) optimization, facilitating the effective implementation of RIS-aided M-MIMO applications in real-world settings. In particular, our results show that the proposed algorithm can provide up to 120% higher EE than the entirely passive RIS. Besides, we found that the active RIS can operate with less than half of the reflecting elements for the entirely passive RIS. Finally, in view of active RIS achieving the complete utilization of amplification power available, it should be equipped with a reasonable number of reflecting elements above N = 49.


title: Conjugations of Unitary operators, I

abstract: If $U$ is a unitary operator on a separable complex Hilbert space $\mathcal{H}$, an application of the spectral theorem says there is a conjugation $C$ on $\mathcal{H}$ (an antilinear, involutive, isometry on $\mathcal{H}$) for which $ C U C = U^{*}.$ In this paper, we fix a unitary operator $U$ and describe all of the conjugations $C$ which satisfy this property. As a consequence of our results, we show that a subspace is hyperinvariant for $U$ if and only if it is invariant for any conjugation $C$ for which $CUC = U^{*}$.


title: On the Fairness of Normalized p-Means for Allocating Goods and Chores

abstract: Allocating items in a fair and economically efficient manner is a central problem in fair division. We study this problem for agents with additive preferences, when items are all goods or all chores, divisible or indivisible. The celebrated notion of Nash welfare is known to produce fair and efficient allocations for both divisible and indivisible goods; there is no known analogue for dividing chores. The Nash welfare objective belongs to a large, parameterized family of objectives called the p-mean welfare functions, which includes other notable members, like social welfare and egalitarian welfare. However, among the members of this family, only the Nash welfare produces fair allocations for goods. Incidentally, Nash welfare is also the only member that satisfies the axiom of scale invariance, which is crucially associated with its fairness properties. We define the class of "normalized p-mean" objectives, which imparts the missing key axiom of scale invariance to the p-mean family. Our results show that optimizing the normalized p-mean objectives produces fair and efficient allocations when the items are goods or chores, divisible or indivisible. For instance, the normalized p-means gives us an infinite class of objectives that produce (i) proportional and Pareto efficient allocations for divisible goods, (ii) approximately proportional and Pareto efficient allocations for divisible chores, (iii) EF1 and Pareto efficient allocations for indivisible goods for two agents, and (iv) EF1 and Pareto efficient allocations for indivisible chores for two agents.


title: Conjugations of Unitary Operators, II

abstract: For a given unitary operator $U$ on a separable complex Hilbert space $\h$, we describe the set $\mathscr{C}_{c}(U)$ of all conjugations $C$ (antilinear, isometric, and involutive maps) on $\h$ for which $C U C = U$. As this set might be empty, we also show that $\mathscr{C}_{c}(U) \not = \varnothing$ if and only if $U$ is unitarily equivalent to $U^{*}$.


title: A Modified T-Mixer Simulation, Fabrication, and Characterization For 1D Diffusion Controlled Studies

abstract: Here, we describe a simple and unique architecture of a microfluidic mixer that can mix two streams (Water and Fluorescein Isothiocyanate (FITC) buffer) with 30% efficiency. The overall mixing in this design is dominated by 1D diffusion, and to enhance mixing, we used three different types of geometric obstacles inside the channel. Comsol multiphysics simulation software was used to validate the theoretical mixing efficiency (at Reynolds Number, Re ~ 0.1, 1, and 10) of this device. We utilized soft lithography and replica molding techniques to fabricate the device out of Polydimethylsiloxane (PDMS, a commonly used polymer) on a glass substrate. The effective length of our microfluidic mixer is 5mm, and the channel width is about 200 microns with 50 micron height. It is composed of three different shapes of obstacles (e.g., 6 cones, 3 arrays of rectangular bars, and 5 circular posts), and all of these are placed inside the main channel. FITC buffer (Diffusion co-efficient, D = 0.5 x 10-9 m2/s) and DI water were used to investigate the mixer performance at Re~1. Simulated and experimental results are based on approximately 1.1 mm2 flow area and suggest that 30% mixing is achievable with the current design.


title: Wave turbulence: A solvable problem applied to Navier-Stokes

abstract: Wave turbulence and eddy turbulence are the two regimes that we may encounter in nature. The attention of fluid mechanics being mainly focused on incompressible hydrodynamics, it is usually the second regime that is treated in books, whereas waves are often present in geophysics and astrophysics. In these lecture notes, I present the theory of wave turbulence which is free from the closure problem encountered in eddy turbulence. Basically, the wave amplitude is introduced in a multiple time scale method as a small parameter to derive the so-called kinetic equations from which exact results can be obtained (power-law spectra, direction of the cascade, Kolmogorov's constant) and compared with the data. Two hydrodynamic applications are considered with capillary waves and inertial waves, the first leading to isotropic turbulence and the second to anisotropic turbulence.


title: Divide-or-Conquer? Which Part Should You Distill Your LLM?

abstract: Recent methods have demonstrated that Large Language Models (LLMs) can solve reasoning tasks better when they are encouraged to solve subtasks of the main task first. In this paper we devise a similar strategy that breaks down reasoning tasks into a problem decomposition phase and a problem solving phase and show that the strategy is able to outperform a single stage solution. Further, we hypothesize that the decomposition should be easier to distill into a smaller model compared to the problem solving because the latter requires large amounts of domain knowledge while the former only requires learning general problem solving strategies. We propose methods to distill these two capabilities and evaluate their impact on reasoning outcomes and inference cost. We find that we can distill the problem decomposition phase and at the same time achieve good generalization across tasks, datasets, and models. However, it is harder to distill the problem solving capability without losing performance and the resulting distilled model struggles with generalization. These results indicate that by using smaller, distilled problem decomposition models in combination with problem solving LLMs we can achieve reasoning with cost-efficient inference and local adaptation.


title: Multiple Patchy Cloud Layers in the Planetary Mass Object SIMP0136+0933

abstract: Multi-wavelength photometry of brown dwarfs and planetary-mass objects provides insight into their atmospheres and cloud layers. We present near-simultaneous $J-$ and $K_s-$band multi-wavelength observations of the highly variable T2.5 planetary-mass object, SIMP J013656.5+093347. We reanalyze observations acquired over a single night in 2015 using a recently developed data reduction pipeline. For the first time, we detect a phase shift between $J-$ and $K_s-$band light curves, which we measure to be $39.9^{\circ +3.6}_{ -1.1}$. Previously, phase shifts between near-infrared and mid-infrared observations of this object were detected and attributed to probing different depths of the atmosphere, and thus different cloud layers. Using the Sonora Bobcat models, we expand on this idea to show that at least two different patchy cloud layers must be present to explain the measured phase shift. Our results are generally consistent with recent atmospheric retrievals of this object and other similar L/T transition objects.


title: CommVQA: Situating Visual Question Answering in Communicative Contexts

abstract: Current visual question answering (VQA) models tend to be trained and evaluated on image-question pairs in isolation. However, the questions people ask are dependent on their informational needs and prior knowledge about the image content. To evaluate how situating images within naturalistic contexts shapes visual questions, we introduce CommVQA, a VQA dataset consisting of images, image descriptions, real-world communicative scenarios where the image might appear (e.g., a travel website), and follow-up questions and answers conditioned on the scenario. We show that CommVQA poses a challenge for current models. Providing contextual information to VQA models improves performance broadly, highlighting the relevance of situating systems within a communicative scenario.


title: Generalized angle-orbital-angular-momentum Talbot effect and modulo mode sorting

abstract: The Talbot effect describes periodic revivals of field patterns and is ubiquitous across wave systems. In optics, it is mostly known for its manifestations in space and time, but is also observed in the wavevector and frequency spectra owing to the Fourier duality. Recently, the Talbot self-imaging has been shown separately in the azimuthal angle and orbital angular momentum (OAM) domains. Here, we unveil the missing link between them and demonstrate the generalized angle-OAM Talbot effect. Versatile transformations of petal fields and OAM spectra are experimentally showcased, based on the synergy of angular Talbot phase modulation and light propagation in a ring-core fiber. Moreover, the generalized self-imaging concept leads to new realizations in mode sorting, which separate OAM modes in a modulo manner, theoretically free from any crosstalk within the congruence classes of OAM modes. We design and experimentally construct various mode sorters with excellent performance, and show the unconventional behavior of Talbot-based sorters where neighboring OAM modes can be mapped to positions far apart. Besides its fundamental interest, our work finds applications in OAM-based information processing, and implies that the physical phenomena in time-frequency and angle-OAM domains are broadly connected as well as their processing techniques may be borrowed interchangeably.


title: Repro Samples Method for a Performance Guaranteed Inference in General and Irregular Inference Problems

abstract: Rapid advancements in data science require us to have fundamentally new frameworks to tackle prevalent but highly non-trivial "irregular" inference problems, to which the large sample central limit theorem does not apply. Typical examples are those involving discrete or non-numerical parameters and those involving non-numerical data, etc. In this article, we present an innovative, wide-reaching, and effective approach, called "repro samples method," to conduct statistical inference for these irregular problems plus more. The development relates to but improves several existing simulation-inspired inference approaches, and we provide both exact and approximate theories to support our development. Moreover, the proposed approach is broadly applicable and subsumes the classical Neyman-Pearson framework as a special case. For the often-seen irregular inference problems that involve both discrete/non-numerical and continuous parameters, we propose an effective three-step procedure to make inferences for all parameters. We also develop a unique matching scheme that turns the discreteness of discrete/non-numerical parameters from an obstacle for forming inferential theories into a beneficial attribute for improving computational efficiency. We demonstrate the effectiveness of the proposed general methodology using various examples, including a case study example on a Gaussian mixture model with unknown number of components. This case study example provides a solution to a long-standing open inference question in statistics on how to quantify the estimation uncertainty for the unknown number of components and other associated parameters. Real data and simulation studies, with comparisons to existing approaches, demonstrate the far superior performance of the proposed method.


title: Comparison of Machine Learning Classification Algorithms and Application to the Framingham Heart Study

abstract: The use of machine learning algorithms in healthcare can amplify social injustices and health inequities. While the exacerbation of biases can occur and compound during the problem selection, data collection, and outcome definition, this research pertains to some generalizability impediments that occur during the development and the post-deployment of machine learning classification algorithms. Using the Framingham coronary heart disease data as a case study, we show how to effectively select a probability cutoff to convert a regression model for a dichotomous variable into a classifier. We then compare the sampling distribution of the predictive performance of eight machine learning classification algorithms under four training/testing scenarios to test their generalizability and their potential to perpetuate biases. We show that both the Extreme Gradient Boosting, and Support Vector Machine are flawed when trained on an unbalanced dataset. We introduced and show that the double discriminant scoring of type I is the most generalizable as it consistently outperforms the other classification algorithms regardless of the training/testing scenario. Finally, we introduce a methodology to extract an optimal variable hierarchy for a classification algorithm, and illustrate it on the overall, male and female Framingham coronary heart disease data.


title: opp/ai: Optimistic Privacy-Preserving AI on Blockchain

abstract: The convergence of Artificial Intelligence (AI) and blockchain technology is reshaping the digital world, offering decentralized, secure, and efficient AI services on blockchain platforms. Despite the promise, the high computational demands of AI on blockchain raise significant privacy and efficiency concerns. The Optimistic Privacy-Preserving AI (opp/ai) framework is introduced as a pioneering solution to these issues, striking a balance between privacy protection and computational efficiency. The framework integrates Zero-Knowledge Machine Learning (zkML) for privacy with Optimistic Machine Learning (opML) for efficiency, creating a hybrid model tailored for blockchain AI services. This study presents the opp/ai framework, delves into the privacy features of zkML, and assesses the framework's performance and adaptability across different scenarios.


title: Explicit bounds for a Gaussian decomposition Lemma of Sellke

abstract: In arXiv:2212.14023 a decomposition of Gaussian measures on finite-dimensional spaces was introduced, which turned out to be a central technical tool to improve currently known bounds on a long standing conjecture in statistical mechanics called the Polaron problem. This note slightly generalizes this decomposition and provides numerical values for all occurring constants.


title: Radiation Surveys in Active Nuclear Facilities with Heterogeneous Collaborative Mobile Robots

abstract: Nuclear facilities must routinely survey their infrastructure for radiation contamination. Generally, this is done by trained professionals, wearing personal protective equipment (PPE) that swipe potentially contaminated surfaces and test the wipes under detectors. This approach leaves personnel vulnerable to radiation exposure and is not comprehensive. Robots address these inadequacies, offering a cost-effective solution with negligible downtime. We present a Robot Radiation Survey System (RRSS): a heterogeneous robot team to perform comprehensive alpha/beta/gamma radiation surveys. The RRSS system members, core capabilities, and comprehensive survey plan are addresses in this paper.


title: Microscopic bell-shape nonlocality: the case of proton scattering off $^{40}$Ca at 200 MeV

abstract: This work is part of an ongoing effort to build microscopically-driven nonlocal optical potentials easily tracktable in scattering codes. Based on the separable `$JvH$' structure proposed recently \cite{arellano_22}, where the potential can be cast as the product of a radial and nonlocality form factors, we investigate its angular dependence in momentum space. We find that scattering observables have a weak angular dependence between the momentum transfer {$\bm q=\bm k-\bm k'$}, and {$\bm K=(\bm k+\bm k')/2$}. The study is focussed on proton elastic scattering off $^{40}$Ca at 200 MeV, where the $JvH$ structure is found to be inadequate. We conclude that any improvement of the $JvH$ structure of the potential can be made to the lowest order in multipole expansions in $Kq-$representation of the potential.


title: How Important Is Tokenization in French Medical Masked Language Models?

abstract: Subword tokenization has become the prevailing standard in the field of natural language processing (NLP) over recent years, primarily due to the widespread utilization of pre-trained language models. This shift began with Byte-Pair Encoding (BPE) and was later followed by the adoption of SentencePiece and WordPiece. While subword tokenization consistently outperforms character and word-level tokenization, the precise factors contributing to its success remain unclear. Key aspects such as the optimal segmentation granularity for diverse tasks and languages, the influence of data sources on tokenizers, and the role of morphological information in Indo-European languages remain insufficiently explored. This is particularly pertinent for biomedical terminology, characterized by specific rules governing morpheme combinations. Despite the agglutinative nature of biomedical terminology, existing language models do not explicitly incorporate this knowledge, leading to inconsistent tokenization strategies for common terms. In this paper, we seek to delve into the complexities of subword tokenization in French biomedical domain across a variety of NLP tasks and pinpoint areas where further enhancements can be made. We analyze classical tokenization algorithms, including BPE and SentencePiece, and introduce an original tokenization strategy that integrates morpheme-enriched word segmentation into existing tokenization methods.


title: A Conversational Brain-Artificial Intelligence Interface

abstract: We introduce Brain-Artificial Intelligence Interfaces (BAIs) as a new class of Brain-Computer Interfaces (BCIs). Unlike conventional BCIs, which rely on intact cognitive capabilities, BAIs leverage the power of artificial intelligence to replace parts of the neuro-cognitive processing pipeline. BAIs allow users to accomplish complex tasks by providing high-level intentions, while a pre-trained AI agent determines low-level details. This approach enlarges the target audience of BCIs to individuals with cognitive impairments, a population often excluded from the benefits of conventional BCIs. We present the general concept of BAIs and illustrate the potential of this new approach with a Conversational BAI based on EEG. In particular, we show in an experiment with simulated phone conversations that the Conversational BAI enables complex communication without the need to generate language. Our work thus demonstrates, for the first time, the ability of a speech neuroprosthesis to enable fluent communication in realistic scenarios with non-invasive technologies.