title: Main-belt and Trojan Asteroid Phase Curves from the ATLAS Survey

abstract: Sparse and serendipitous asteroid photometry obtained by wide field surveys such as the Asteroid Terrestrial-impact Last Alert System (\ATLAS) is a valuable resource for studying the properties of large numbers of small Solar System bodies. We have gathered a large database of \ATLAS photometry in wideband optical cyan and orange filters, consisting of 9.6\e{7} observations of 4.5\e{5} main belt asteroids and Jupiter Trojans. We conduct a phase curve analysis of these asteroids considering each apparition separately, allowing us to accurately reject outlying observations and to remove apparitions and asteroids not suitable for phase curve determination. We obtain a dataset of absolute magnitudes and phase parameters for over 100,000 selected asteroids observed by \ATLAS, $\sim66,000$ of which had sufficient measurements to derive colours in the \ATLAS filters. To demonstrate the power of our dataset we consider the properties of the Nysa-Polana complex, for which the \ATLAS colours and phase parameters trace the S-like and C-like compositions amongst family members. We also compare the properties of the leading and trailing groups of Jupiter Trojans, finding no significant differences in their phase parameters or colours as measured by \ATLAS, supporting the consensus that these groups were captured from a common source population during planetary migration. Furthermore, we identify $\sim9000$ asteroids that exhibit large shifts in derived absolute magnitude between apparitions, indicating that these objects have both elongated shapes and spin axes with obliquity $\sim 90$ degrees.


title: Characterization of the weighted Sobolev space $H_{\beta}^{s}(\Omega)$ in $\mathbb{R}^{2}$ in terms of the decay rate of Fourier-Jacobi coefficients

abstract: In this paper, motivated by the analysis of the fractional Laplace equation on the unit disk in $\mathbb{R}^{2}$, we establish a characterization of the weighted Sobolev space $H_{\beta}^{s}(\Omega)$ in terms of the decay rate of Fourier-Jacobi coefficients. This framework is then used to give a precise analysis of the solution to the fractional Laplace equation on the unit disk.


title: Multilingual Pretraining and Instruction Tuning Improve Cross-Lingual Knowledge Alignment, But Only Shallowly

abstract: Despite their strong ability to retrieve knowledge in English, current large language models show imbalance abilities in different languages. Two approaches are proposed to address this, i.e., multilingual pretraining and multilingual instruction tuning. However, whether and how do such methods contribute to the cross-lingual knowledge alignment inside the models is unknown. In this paper, we propose CLiKA, a systematic framework to assess the cross-lingual knowledge alignment of LLMs in the Performance, Consistency and Conductivity levels, and explored the effect of multilingual pretraining and instruction tuning on the degree of alignment. Results show that: while both multilingual pretraining and instruction tuning are beneficial for cross-lingual knowledge alignment, the training strategy needs to be carefully designed. Namely, continued pretraining improves the alignment of the target language at the cost of other languages, while mixed pretraining affect other languages less. Also, the overall cross-lingual knowledge alignment, especially in the conductivity level, is unsatisfactory for all tested LLMs, and neither multilingual pretraining nor instruction tuning can substantially improve the cross-lingual knowledge conductivity.


title: The study of periphery uniqueness and balance in ecological networks

abstract: The study of ecological networks is crucial for modern conservation biology, addressing habitat fragmentation and biodiversity loss, especially in complex regions. These networks, including corridors, sources, and nodes, are key for species movement and ecosystem functioning. The Periphery Analysis Model (PAM) is introduced as a new approach to study the periphery of these networks, focusing on peripheral nodes' role in environmental change response and network resilience. PAM, drawing from graph theory, complex network analysis, and landscape ecology, uses the Periphery Uniqueness Index (PuI) and the Periphery Balance Index (PbI) to measure peripheral nodes' attributes and balance. It also offers derived indices for a detailed understanding of the periphery's influence. By revealing the periphery's defining characteristics, PAM enhances knowledge of ecological networks' structural features, providing insights for biodiversity, connectivity, and ecosystem health. The research encourages integrating PAM into conservation strategies to inform policy for ecosystem preservation amid environmental challenges.


title: Transform then Explore: a Simple and Effective Technique for Exploratory Combinatorial Optimization with Reinforcement Learning

abstract: Many complex problems encountered in both production and daily life can be conceptualized as combinatorial optimization problems (COPs) over graphs. Recent years, reinforcement learning (RL) based models have emerged as a promising direction, which treat the COPs solving as a heuristic learning problem. However, current finite-horizon-MDP based RL models have inherent limitations. They are not allowed to explore adquately for improving solutions at test time, which may be necessary given the complexity of NP-hard optimization tasks. Some recent attempts solve this issue by focusing on reward design and state feature engineering, which are tedious and ad-hoc. In this work, we instead propose a much simpler but more effective technique, named gauge transformation (GT). The technique is originated from physics, but is very effective in enabling RL agents to explore to continuously improve the solutions during test. Morever, GT is very simple, which can be implemented with less than 10 lines of Python codes, and can be applied to a vast majority of RL models. Experimentally, we show that traditional RL models with GT technique produce the state-of-the-art performances on the MaxCut problem. Furthermore, since GT is independent of any RL models, it can be seamlessly integrated into various RL frameworks, paving the way of these models for more effective explorations in the solving of general COPs.


title: Learning Minimal NAP Specifications for Neural Network Verification

abstract: Specifications play a crucial role in neural network verification. They define the precise input regions we aim to verify, typically represented as L-infinity norm balls. While recent research suggests using neural activation patterns (NAPs) as specifications for verifying unseen test set data, it focuses on computing the most refined NAPs, often limited to very small regions in the input space. In this paper, we study the following problem: Given a neural network, find a minimal (coarsest) NAP that is sufficient for formal verification of the network's robustness. Finding the minimal NAP specification not only expands verifiable bounds but also provides insights into which neurons contribute to the model's robustness. To address this problem, we propose several exact and approximate approaches. Our exact approaches leverage the verification tool to find minimal NAP specifications in either a deterministic or statistical manner. Whereas the approximate methods efficiently estimate minimal NAPs using adversarial examples and local gradients, without making calls to the verification tool. This allows us to inspect potential causal links between neurons and the robustness of state-of-the-art neural networks, a task for which existing verification frameworks fail to scale. Our experimental results suggest that minimal NAP specifications require much smaller fractions of neurons compared to the most refined NAP specifications, yet they can significantly expand the verifiable boundaries to several orders of magnitude larger.


title: Focused Active Learning for Histopathological Image Classification

abstract: Active Learning (AL) has the potential to solve a major problem of digital pathology: the efficient acquisition of labeled data for machine learning algorithms. However, existing AL methods often struggle in realistic settings with artifacts, ambiguities, and class imbalances, as commonly seen in the medical field. The lack of precise uncertainty estimations leads to the acquisition of images with a low informative value. To address these challenges, we propose Focused Active Learning (FocAL), which combines a Bayesian Neural Network with Out-of-Distribution detection to estimate different uncertainties for the acquisition function. Specifically, the weighted epistemic uncertainty accounts for the class imbalance, aleatoric uncertainty for ambiguous images, and an OoD score for artifacts. We perform extensive experiments to validate our method on MNIST and the real-world Panda dataset for the classification of prostate cancer. The results confirm that other AL methods are 'distracted' by ambiguities and artifacts which harm the performance. FocAL effectively focuses on the most informative images, avoiding ambiguities and artifacts during acquisition. For both experiments, FocAL outperforms existing AL approaches, reaching a Cohen's kappa of 0.764 with only 0.69% of the labeled Panda data.


title: Global well-posedness and numerical justification of an effective micro-macro model for reactive transport in elastic perforated media

abstract: In this paper, we investigate an effective model for reactive transport in elastically deformable perforated media. This model was derived by formal asymptotic expansions in [25], starting from a microscopic model consisting of a linear elasticity problem on a fixed domain, i.e. in the Lagrangian framework, and a problem for reactive transport on the current deformed domain, i.e. in the Eulerian framework. The effective model is of micro-macro type and features strong non-linear couplings. Here, we prove global existence in time and uniqueness for the effective micro-macro model under a smallness assumption for the data of the macroscopic elasticity subproblem. Moreover, we show numerically the convergence of microscopic solutions towards the solution of the effective model when the scale parameter {\epsilon} > 0 becomes smaller and smaller, and also compute the approximation error. The numerical justification of the formally derived effective micro-macro model is particularly important, as rigorous analytical convergence proofs or error estimates are not available so far. Finally, we compare the effective micro-macro model with alternative, simpler effective descriptions of transport in elastic perforated media.


title: Adaptive Intra-Class Variation Contrastive Learning for Unsupervised Person Re-Identification

abstract: The memory dictionary-based contrastive learning method has achieved remarkable results in the field of unsupervised person Re-ID. However, The method of updating memory based on all samples does not fully utilize the hardest sample to improve the generalization ability of the model, and the method based on hardest sample mining will inevitably introduce false-positive samples that are incorrectly clustered in the early stages of the model. Clustering-based methods usually discard a significant number of outliers, leading to the loss of valuable information. In order to address the issues mentioned before, we propose an adaptive intra-class variation contrastive learning algorithm for unsupervised Re-ID, called AdaInCV. And the algorithm quantitatively evaluates the learning ability of the model for each class by considering the intra-class variations after clustering, which helps in selecting appropriate samples during the training process of the model. To be more specific, two new strategies are proposed: Adaptive Sample Mining (AdaSaM) and Adaptive Outlier Filter (AdaOF). The first one gradually creates more reliable clusters to dynamically refine the memory, while the second can identify and filter out valuable outliers as negative samples.


title: An explicit formula for the orbital integrals on the spherical Hecke algebra of $\mathrm{GL}_3$

abstract: We provide the explicit formula for orbital integrals associated with elliptic regular semisimple elements in $\mathrm{GL}_n(F) \cap \mathrm{M}_n(\mathfrak{o})$ and associated with arbitrary elements of the spherical Hecke algebra of $\mathrm{GL}_n(F)$ when $n=2, 3$, using results of [CKL]. Here $F$ is a non-Archimedean local field of any characteristic with $\mathfrak{o}$ its ring of integers.


title: Autonomous Artificial Intelligence Agents for Clinical Decision Making in Oncology

abstract: Multimodal artificial intelligence (AI) systems have the potential to enhance clinical decision-making by interpreting various types of medical data. However, the effectiveness of these models across all medical fields is uncertain. Each discipline presents unique challenges that need to be addressed for optimal performance. This complexity is further increased when attempting to integrate different fields into a single model. Here, we introduce an alternative approach to multimodal medical AI that utilizes the generalist capabilities of a large language model (LLM) as a central reasoning engine. This engine autonomously coordinates and deploys a set of specialized medical AI tools. These tools include text, radiology and histopathology image interpretation, genomic data processing, web searches, and document retrieval from medical guidelines. We validate our system across a series of clinical oncology scenarios that closely resemble typical patient care workflows. We show that the system has a high capability in employing appropriate tools (97%), drawing correct conclusions (93.6%), and providing complete (94%), and helpful (89.2%) recommendations for individual patient cases while consistently referencing relevant literature (82.5%) upon instruction. This work provides evidence that LLMs can effectively plan and execute domain-specific models to retrieve or synthesize new information when used as autonomous agents. This enables them to function as specialist, patient-tailored clinical assistants. It also simplifies regulatory compliance by allowing each component tool to be individually validated and approved. We believe, that our work can serve as a proof-of-concept for more advanced LLM-agents in the medical domain.


title: Spectral Independence Beyond Total Influence on Trees and Related Graphs

abstract: We study how to establish $\textit{spectral independence}$, a key concept in sampling, without relying on total influence bounds, by applying an $\textit{approximate inverse}$ of the influence matrix. Our method gives constant upper bounds on spectral independence for two foundational Gibbs distributions known to have unbounded total influences: $\bullet$ The monomer-dimer model on graphs with large girth (including trees). Prior to our work, such results were only known for graphs with constant maximum degrees or infinite regular trees, as shown by Chen, Liu, and Vigoda (STOC '21). $\bullet$ The hardcore model on trees with fugacity $\lambda < \mathrm{e}^2$. This remarkably surpasses the well-known $\lambda_r>\mathrm{e}-1$ lower bound for the reconstruction threshold on trees, significantly improving upon the current threshold $\lambda < 1.3$, established in a prior work by Efthymiou, Hayes, \v{S}tefankovi\v{c}, and Vigoda (RANDOM '23). Consequently, we establish optimal $\Omega(n^{-1})$ spectral gaps of the Glauber dynamics for these models on arbitrary trees, regardless of the maximum degree $\Delta$.


title: Domain Generalisation via Imprecise Learning

abstract: Out-of-distribution (OOD) generalisation is challenging because it involves not only learning from empirical data, but also deciding among various notions of generalisation, e.g., optimising the average-case risk, worst-case risk, or interpolations thereof. While this choice should in principle be made by the model operator like medical doctors, this information might not always be available at training time. The institutional separation between machine learners and model operators leads to arbitrary commitments to specific generalisation strategies by machine learners due to these deployment uncertainties. We introduce the Imprecise Domain Generalisation framework to mitigate this, featuring an imprecise risk optimisation that allows learners to stay imprecise by optimising against a continuous spectrum of generalisation strategies during training, and a model framework that allows operators to specify their generalisation preference at deployment. Supported by both theoretical and empirical evidence, our work showcases the benefits of integrating imprecision into domain generalisation.


title: Collective charge excitations studied by electron energy-loss spectroscopy

abstract: The dynamic charge susceptibility, $\chi(q,\omega)$, is a fundamental observable of all materials, in one, two, and three dimensions, quantifying the collective charge modes, the ability of a material to screen charge, as well as its electronic compressibility. Here, we review the current state of efforts to measure this quantity using inelastic electron scattering, which historically has been called electron energy-loss spectroscopy (EELS). We focus on comparison between transmission (T-EELS) and reflection (R-EELS) geometries as applied to a selection of 3D conductors. While a great deal is understood about simple metals, measurements of more strongly interacting and strange metals are currently contradictory, with different groups obtaining fundamentally conflicting results, emphasizing the importance of improved EELS measurements. Further, current opportunities for improvement in EELS techniques are vast, with the most promising future developments being in hemispherical and time-of-flight analyzers, as well as STEM instruments configured for high momentum resolution. We conclude that, despite more than half a century of work, EELS techniques are currently still in their infancy


title: PhyloLM : Inferring the Phylogeny of Large Language Models and Predicting their Performances in Benchmarks

abstract: This paper introduces PhyloLM, a method adapting phylogenetic algorithms to Large Language Models (LLMs) to explore whether and how they relate to each other and to predict their performance characteristics. Our method calculates a phylogenetic distance metrics based on the similarity of LLMs' output. The resulting metric is then used to construct dendrograms, which satisfactorily capture known relationships across a set of 111 open-source and 45 closed models. Furthermore, our phylogenetic distance predicts performance in standard benchmarks, thus demonstrating its functional validity and paving the way for a time and cost-effective estimation of LLM capabilities. To sum up, by translating population genetic concepts to machine learning, we propose and validate a tool to evaluate LLM development, relationships and capabilities, even in the absence of transparent training information.


title: Hidden order in dielectrics: string condensation, solitons, and the charge-vortex duality

abstract: Description of electrons as solitons of the polarization field implies that an ordinary dielectric has a hidden order, associated with the invariance with respect to adding loops of quantized electric flux. We describe the mechanism by which the finite polarizability of the medium renders the interaction between the solitons short-ranged (prior to their coupling to electromagnetism) and argue that the structure of the solitons allows them to be quantized as either fermions or bosons. At the quantum level, the theory has, in addition to the solitonic electric, elementary magnetic excitations, suggesting that small dielectrics may host quantized magnetic vortices carrying circular polarization currents.


title: Neural-ABC: Neural Parametric Models for Articulated Body with Clothes

abstract: In this paper, we introduce Neural-ABC, a novel parametric model based on neural implicit functions that can represent clothed human bodies with disentangled latent spaces for identity, clothing, shape, and pose. Traditional mesh-based representations struggle to represent articulated bodies with clothes due to the diversity of human body shapes and clothing styles, as well as the complexity of poses. Our proposed model provides a unified framework for parametric modeling, which can represent the identity, clothing, shape and pose of the clothed human body. Our proposed approach utilizes the power of neural implicit functions as the underlying representation and integrates well-designed structures to meet the necessary requirements. Specifically, we represent the underlying body as a signed distance function and clothing as an unsigned distance function, and they can be uniformly represented as unsigned distance fields. Different types of clothing do not require predefined topological structures or classifications, and can follow changes in the underlying body to fit the body. Additionally, we construct poses using a controllable articulated structure. The model is trained on both open and newly constructed datasets, and our decoupling strategy is carefully designed to ensure optimal performance. Our model excels at disentangling clothing and identity in different shape and poses while preserving the style of the clothing. We demonstrate that Neural-ABC fits new observations of different types of clothing. Compared to other state-of-the-art parametric models, Neural-ABC demonstrates powerful advantages in the reconstruction of clothed human bodies, as evidenced by fitting raw scans, depth maps and images. We show that the attributes of the fitted results can be further edited by adjusting their identities, clothing, shape and pose codes.


title: Study of Adaptive Reweighted Sparse Belief Propagation Decoders for Polar Codes

abstract: In this paper, we present an adaptive reweighted sparse belief propagation (AR-SBP) decoder for polar codes. The AR-SBP technique is inspired by decoders that employ the sum-product algorithm for low-density parity-check codes. In particular, the AR-SBP decoding strategy introduces reweighting of the exchanged log-likelihood-ratio in order to refine the message passing, improving the performance of the decoder and reducing the number of required iterations. An analysis of the convergence of AR-SBP is carried out along with a study of the complexity of the analyzed decoders. Numerical examples show that the AR-SBP decoder outperforms existing decoding algorithms for a reduced number of iterations, enabling low-latency applications.


title: Spectral Tuning of Polarization Selective Reflections Bands in GLAD deposited HfAlN chiral sculptured thin films

abstract: We present the first report on fabrication of Hafnium aluminum nitride chiral sculptured thin films (CSTFs) using reactive magnetron sputtering in a glancing angle deposition configuration, and the analysis of its optical polarization properties. The resulting CSTFs were designed to give interference extrema or so-called circular Bragg (CB) resonances at desired wavelengths in the region from 370 to 690 nm. This was achieved by tailoring the growth of the chiral thin films to obtain a dielectric pitch between 87 and 260.9 nm. The spectral positions of the obtained CB resonances were compared to values from analytical expressions. Contrary to the common case where the dielectric pitch is half of the growth-related rotational pitch due to a 180{\deg} symmetry, this pitch was shown to be the same as the rotational pitch. It is concluded that this is due to the c-axis of the CSTF being tilted about 45{\deg} from the substrate normal. The morphology and crystallographic characterizations were done using scanning electron microscopy and X-ray diffraction, respectively, while the tilt of the crystal lattice was corroborated using X-ray diffraction pole figures. The optical response from the CSTFs was analyzed using Mueller matrix spectroscopic ellipsometry from which the degree of circular polarization at the CB resonances was obtained. In addition, a strong non-reciprocal reflection was observed which could be attributed to the helicoidal morphology and the intrinsic crystal tilt. An optical layered model of the chiral structure including azimuthal twist and using the Cauchy dispersion relations was used to simulate the Mueller matrix elements and compare with the ellipsometry measurements. The correlation between the simulated and experimental data gave information of the morphological parameters of the CSTF and its optical properties.


title: Order-Based Pre-training Strategies for Procedural Text Understanding

abstract: In this paper, we propose sequence-based pretraining methods to enhance procedural understanding in natural language processing. Procedural text, containing sequential instructions to accomplish a task, is difficult to understand due to the changing attributes of entities in the context. We focus on recipes, which are commonly represented as ordered instructions, and use this order as a supervision signal. Our work is one of the first to compare several 'order as-supervision' transformer pre-training methods, including Permutation Classification, Embedding Regression, and Skip-Clip, and shows that these methods give improved results compared to the baselines and SoTA LLMs on two downstream Entity-Tracking datasets: NPN-Cooking dataset in recipe domain and ProPara dataset in open domain. Our proposed methods address the non-trivial Entity Tracking Task that requires prediction of entity states across procedure steps, which requires understanding the order of steps. These methods show an improvement over the best baseline by 1.6% and 7-9% on NPN-Cooking and ProPara Datasets respectively across metrics.


title: Salient Sparse Visual Odometry With Pose-Only Supervision

abstract: Visual Odometry (VO) is vital for the navigation of autonomous systems, providing accurate position and orientation estimates at reasonable costs. While traditional VO methods excel in some conditions, they struggle with challenges like variable lighting and motion blur. Deep learning-based VO, though more adaptable, can face generalization problems in new environments. Addressing these drawbacks, this paper presents a novel hybrid visual odometry (VO) framework that leverages pose-only supervision, offering a balanced solution between robustness and the need for extensive labeling. We propose two cost-effective and innovative designs: a self-supervised homographic pre-training for enhancing optical flow learning from pose-only labels and a random patch-based salient point detection strategy for more accurate optical flow patch extraction. These designs eliminate the need for dense optical flow labels for training and significantly improve the generalization capability of the system in diverse and challenging environments. Our pose-only supervised method achieves competitive performance on standard datasets and greater robustness and generalization ability in extreme and unseen scenarios, even compared to dense optical flow-supervised state-of-the-art methods.


title: Automatic Gradient Estimation for Calibrating Crowd Models with Discrete Decision Making

abstract: Recently proposed gradient estimators enable gradient descent over stochastic programs with discrete jumps in the response surface, which are not covered by automatic differentiation (AD) alone. Although these estimators' capability to guide a swift local search has been shown for certain problems, their applicability to models relevant to real-world applications remains largely unexplored. As the gradients governing the choice in candidate solutions are calculated from sampled simulation trajectories, the optimization procedure bears similarities to metaheuristics such as particle swarm optimization, which puts the focus on the different methods' calibration progress per function evaluation. Here, we consider the calibration of force-based crowd evacuation models based on the popular Social Force model augmented by discrete decision making. After studying the ability of an AD-based estimator for branching programs to capture the simulation's rugged response surface, calibration problems are tackled using gradient descent and two metaheuristics. As our main insights, we find 1) that the estimation's fidelity benefits from disregarding jumps of large magnitude inherent to the Social Force model, and 2) that the common problem of calibration by adjusting a simulation input distribution obviates the need for AD across the Social Force calculations, allowing gradient descent to excel.


title: Branch-cut in the shear-stress response function of massless $\lambda \varphi^4$ with Boltzmann statistics

abstract: Using an analytical result for the eigensystem of the linearized collision term for a classical system of massless scalar particles with quartic self-interactions, we show that the shear-stress linear response function possesses a branch-cut singularity that covers the whole positive imaginary semi-axis. This is demonstrated in two ways: (1) by truncating the exact, infinite linear system of linear equations for the rank-two tensor modes, which reveals the cut touching the origin; and (2) by employing the Trotterization techniques to invert the linear response problem. The former shows that the first pole tends towards the origin and the average separation between consecutive poles tends towards zero as power laws in the dimension of the basis. The latter allows one to obtain the response function in closed form in terms of Tricomi hypergeometrical functions, which possess a branch-cut on the above-mentioned semi-axis. This suggests that the presence of a cut along the imaginary frequency axis of the shear stress correlator, inferred from previous numerical analyses of weakly coupled scalar $\lambda \varphi^4$ theories, does not arise due to quantum statistics but instead emerges from the fundamental properties of this system's interactions.


title: On bipartite biregular large graphs

abstract: A bipartite graph $G=(V,E)$ with $V=V_1\cup V_2$ is biregular if all the vertices of each stable set, $V_1$ and $V_2$, have the same degree, $r$ and $s$, respectively. This paper studies difference sets derived from both Abelian and non-Abelian groups. From them, we propose some constructions of bipartite biregular graphs with diameter $d=3$ and asymptotically optimal order for given degrees $r$ and $s$. Moreover, we find some biMoore graphs, that is, bipartite biregular graphs that attain the Moore bound.


title: Computation and Critical Transitions of Rate-Distortion-Perception Functions With Wasserstein Barycenter

abstract: The information rate-distortion-perception (RDP) function characterizes the three-way trade-off between description rate, average distortion, and perceptual quality measured by discrepancy between probability distributions. We study several variants of the RDP functions through the lens of optimal transport. By transforming the information RDP function into a Wasserstein Barycenter problem, we identify the critical transitions when one of the constraints becomes inactive and demonstrate several critical transition properties of the RDP variants. Further, the non-strictly convexity brought by the perceptual constraint can be regularized by an entropy regularization term. We prove that the entropy regularized model converges to the original problem and propose an alternating iteration method based on the Sinkhorn algorithm to numerically solve the regularized optimization problem. Experimental results demonstrate the effectiveness and accuracy of the proposed algorithms. As a practical application of our theory, we incorporate our numerical method into a reverse data hiding problem, where a secret message is imperceptibly embedded into the image with guarantees of the perceptual fidelity.


title: Compositional Conservatism: A Transductive Approach in Offline Reinforcement Learning

abstract: Offline reinforcement learning (RL) is a compelling framework for learning optimal policies from past experiences without additional interaction with the environment. Nevertheless, offline RL inevitably faces the problem of distributional shifts, where the states and actions encountered during policy execution may not be in the training dataset distribution. A common solution involves incorporating conservatism into the policy or the value function to safeguard against uncertainties and unknowns. In this work, we focus on achieving the same objectives of conservatism but from a different perspective. We propose COmpositional COnservatism with Anchor-seeking (COCOA) for offline RL, an approach that pursues conservatism in a compositional manner on top of the transductive reparameterization (Netanyahu et al., 2023), which decomposes the input variable (the state in our case) into an anchor and its difference from the original input. Our COCOA seeks both in-distribution anchors and differences by utilizing the learned reverse dynamics model, encouraging conservatism in the compositional input space for the policy or value function. Such compositional conservatism is independent of and agnostic to the prevalent behavioral conservatism in offline RL. We apply COCOA to four state-of-the-art offline RL algorithms and evaluate them on the D4RL benchmark, where COCOA generally improves the performance of each algorithm. The code is available at https://github.com/runamu/compositional-conservatism.


title: Hawking-Page transition in holographic QCD at finite density

abstract: We study the confinement/deconfinement transition of QCD matter for a quark-gluon plasma at finite density using AdS/QCD duality. In order to determine the critical temperature and its dependence on the quark chemical potential, the semi-classical Hawking-Page approach is considered for a charged AdS black hole. The result obtained is consistent with the QCD phase diagram, with the critical temperature decreasing as the chemical potential increases. Using the soft wall holographic model, the value of quark density in which the phase transition occurs at zero temperature is estimated. For higher densities the QCD matter is deconfined, independent of the temperature.


title: Algorithmic Misjudgement in Google Search Results: Evidence from Auditing the US Online Electoral Information Environment

abstract: Google Search is an important way that people seek information about politics, and Google states that it is ``committed to providing timely and authoritative information on Google Search to help voters understand, navigate, and participate in democratic processes.'' This paper studies the extent to which government-maintained web domains are represented in the online electoral information environment, as captured through 3.45 Google Search result pages collected during the 2022 US midterm elections for 786 locations across the United States. Focusing on state, county, and local government domains that provide locality-specific information, we study not only the extent to which these sources appear in organic search results, but also the extent to which these sources are correctly targeted to their respective constituents. We label misalignment between the geographic area that non-federal domains serve and the locations for which they appear in search results as algorithmic mistargeting, a subtype of algorithmic misjudgement in which the search algorithm targets locality-specific information to users in different (incorrect) locations. In the context of the 2022 US midterm elections, we find that 71% of all occurrences of state, county, and local government sources were mistargeted, with some domains appearing disproportionately often among organic results despite providing locality-specific information that may not be relevant to all voters. However, we also find that mistargeting often occurs in low ranks. We conclude by considering the potential consequences of extensive mistargeting of non-federal government sources and argue that ensuring the correct targeting of these sources to their respective constituents is a critical part of Google's role in facilitating access to authoritative and locally-relevant electoral information.


title: Recent Advances in Nanophotonics for Optofluidics

abstract: Optofluidics is dedicated to achieving integrated control of particle and fluid motion, particularly on the micrometer scale, by utilizing light to direct fluid flow and particle motion. The field has seen significant growth recently, driven by the concerted efforts of researchers across various scientific disciplines, notably for its successful applications in biomedical science. In this review, we explore a range of optofluidic architectures developed over the past decade, with a primary focus on mechanisms for precise control of micro and nanoscale biological objects and their applications in sensing. Regarding nanoparticle manipulation, we delve into mechanisms based on optical nanotweezers using nanolocalized light fields and light-based hybrid effects with dramatically improved performance and capabilities. In the context of sensing, we emphasize those works that used optofluidics to aggregate molecules or particles to promote sensing and detection. Additionally, we highlight emerging research directions, encompassing both fundamental principles and practical applications in the field.


title: Predictive Modeling for Breast Cancer Classification in the Context of Bangladeshi Patients: A Supervised Machine Learning Approach with Explainable AI

abstract: Breast cancer has rapidly increased in prevalence in recent years, making it one of the leading causes of mortality worldwide. Among all cancers, it is by far the most common. Diagnosing this illness manually requires significant time and expertise. Since detecting breast cancer is a time-consuming process, preventing its further spread can be aided by creating machine-based forecasts. Machine learning and Explainable AI are crucial in classification as they not only provide accurate predictions but also offer insights into how the model arrives at its decisions, aiding in the understanding and trustworthiness of the classification results. In this study, we evaluate and compare the classification accuracy, precision, recall, and F-1 scores of five different machine learning methods using a primary dataset (500 patients from Dhaka Medical College Hospital). Five different supervised machine learning techniques, including decision tree, random forest, logistic regression, naive bayes, and XGBoost, have been used to achieve optimal results on our dataset. Additionally, this study applied SHAP analysis to the XGBoost model to interpret the model's predictions and understand the impact of each feature on the model's output. We compared the accuracy with which several algorithms classified the data, as well as contrasted with other literature in this field. After final evaluation, this study found that XGBoost achieved the best model accuracy, which is 97%.


title: Z-Splat: Z-Axis Gaussian Splatting for Camera-Sonar Fusion

abstract: Differentiable 3D-Gaussian splatting (GS) is emerging as a prominent technique in computer vision and graphics for reconstructing 3D scenes. GS represents a scene as a set of 3D Gaussians with varying opacities and employs a computationally efficient splatting operation along with analytical derivatives to compute the 3D Gaussian parameters given scene images captured from various viewpoints. Unfortunately, capturing surround view ($360^{\circ}$ viewpoint) images is impossible or impractical in many real-world imaging scenarios, including underwater imaging, rooms inside a building, and autonomous navigation. In these restricted baseline imaging scenarios, the GS algorithm suffers from a well-known 'missing cone' problem, which results in poor reconstruction along the depth axis. In this manuscript, we demonstrate that using transient data (from sonars) allows us to address the missing cone problem by sampling high-frequency data along the depth axis. We extend the Gaussian splatting algorithms for two commonly used sonars and propose fusion algorithms that simultaneously utilize RGB camera data and sonar data. Through simulations, emulations, and hardware experiments across various imaging scenarios, we show that the proposed fusion algorithms lead to significantly better novel view synthesis (5 dB improvement in PSNR) and 3D geometry reconstruction (60% lower Chamfer distance).


title: Search-based Automated Program Repair of CPS Controllers Modeled in Simulink-Stateflow

abstract: Stateflow models are widely used in the industry to model the high-level control logic of Cyber-Physical Systems (CPSs) in Simulink--the defacto CPS simulator. Many approaches exist to test Simulink models, but once a fault is detected, the process to repair it remains manual. Such a manual process increases the software development cost, making it paramount to develop novel techniques that reduce this cost. Automated Program Repair (APR) techniques can significantly reduce the time for fixing bugs by automatically generating patches. However, current approaches face scalability issues to be applicable in the CPS context. To deal with this problem, we propose an automated search-based approach called FlowRepair, explicitly designed to repair Stateflow models. The novelty of FlowRepair includes, (1) a new algorithm that combines global and local search for patch generation; (2) a definition of novel repair objectives (e.g., the time a fault remained active) specifically designed for repairing CPSs; and (3) a set of mutation operators to repair Stateflow models automatically. We evaluated FlowRepair with three different case study systems and a total of nine faulty stateflow models. Our experiments suggest that (1) Flo wRepaircan fix bugs in stateflow models, including models with multiple faults; (2) FlowRepair surpasses or performs similarly to a baseline APR technique inspired by a well-known CPS program repair approach. Besides, we provide both a replication package and a live repository, paving the way towards the APR of CPSs modeled in Simulink.


title: Multicalibration for Confidence Scoring in LLMs

abstract: This paper proposes the use of "multicalibration" to yield interpretable and reliable confidence scores for outputs generated by large language models (LLMs). Multicalibration asks for calibration not just marginally, but simultaneously across various intersecting groupings of the data. We show how to form groupings for prompt/completion pairs that are correlated with the probability of correctness via two techniques: clustering within an embedding space, and "self-annotation" - querying the LLM by asking it various yes-or-no questions about the prompt. We also develop novel variants of multicalibration algorithms that offer performance improvements by reducing their tendency to overfit. Through systematic benchmarking across various question answering datasets and LLMs, we show how our techniques can yield confidence scores that provide substantial improvements in fine-grained measures of both calibration and accuracy compared to existing methods.


title: The Identification and Categorization of Anemia Through Artificial Neural Networks: A Comparative Analysis of Three Models

abstract: This paper presents different neural network-based classifier algorithms for diagnosing and classifying Anemia. The study compares these classifiers with established models such as Feed Forward Neural Network (FFNN), Elman network, and Non-linear Auto-Regressive Exogenous model (NARX). Experimental evaluations were conducted using data from clinical laboratory test results for 230 patients. The proposed neural network features nine inputs (age, gender, RBC, HGB, HCT, MCV, MCH, MCHC, WBCs) and one output. The simulation outcomes for diverse patients demonstrate that the suggested artificial neural network rapidly and accurately detects the presence of the disease. Consequently, the network could be seamlessly integrated into clinical laboratories for automatic generation of Anemia patients' reports Additionally, the suggested method is affordable and can be deployed on hardware at low costs.


title: Rotating and accelerating AdS black holes in Einstein-Gauss-Bonnet Gravity

abstract: We present new, exact, rotating and accelerating solutions within the framework of five-dimensional Einstein-Gauss-Bonnet theory at the Chern-Simons point. The rotating solutions describe black holes characterized by a single rotation parameter, a mass parameter, and two extra integration constants that can be interpreted as hairs of a gravitational nature. It is noteworthy that the rotation cannot be removed by a large diffeomorphism. We also extend our procedure to dimension seven, providing a new rotating black hole solution with two rotation parameters pertaining to cubic Lovelock theory with a unique vacuum.


title: Securing the Skies: An IRS-Assisted AoI-Aware Secure Multi-UAV System with Efficient Task Offloading

abstract: Unmanned Aerial Vehicles (UAVs) are integral in various sectors like agriculture, surveillance, and logistics, driven by advancements in 5G. However, existing research lacks a comprehensive approach addressing both data freshness and security concerns. In this paper, we address the intricate challenges of data freshness, and security, especially in the context of eavesdropping and jamming in modern UAV networks. Our framework incorporates exponential AoI metrics and emphasizes secrecy rate to tackle eavesdropping and jamming threats. We introduce a transformer-enhanced Deep Reinforcement Learning (DRL) approach to optimize task offloading processes. Comparative analysis with existing algorithms showcases the superiority of our scheme, indicating its promising advancements in UAV network management.


title: OmniColor: A Global Camera Pose Optimization Approach of LiDAR-360Camera Fusion for Colorizing Point Clouds

abstract: A Colored point cloud, as a simple and efficient 3D representation, has many advantages in various fields, including robotic navigation and scene reconstruction. This representation is now commonly used in 3D reconstruction tasks relying on cameras and LiDARs. However, fusing data from these two types of sensors is poorly performed in many existing frameworks, leading to unsatisfactory mapping results, mainly due to inaccurate camera poses. This paper presents OmniColor, a novel and efficient algorithm to colorize point clouds using an independent 360-degree camera. Given a LiDAR-based point cloud and a sequence of panorama images with initial coarse camera poses, our objective is to jointly optimize the poses of all frames for mapping images onto geometric reconstructions. Our pipeline works in an off-the-shelf manner that does not require any feature extraction or matching process. Instead, we find optimal poses by directly maximizing the photometric consistency of LiDAR maps. In experiments, we show that our method can overcome the severe visual distortion of omnidirectional images and greatly benefit from the wide field of view (FOV) of 360-degree cameras to reconstruct various scenarios with accuracy and stability. The code will be released at https://github.com/liubonan123/OmniColor/.


title: Maximal noncompactness of embeddings into Marcinkiewicz spaces

abstract: We develop a new functional-analytic technique for investigating the degree of noncompactness of an operator defined on a quasinormed space and taking values in a Marcinkiewicz space. The main result is a general principle from which it can be derived that such operators are almost always maximally noncompact in the sense that their ball measure of noncompactness coincides with their operator norm. We point out specifications of the universal principle to the case of the identity operator.


title: "Don't Step on My Toes": Resolving Editing Conflicts in Real-Time Collaboration in Computational Notebooks

abstract: Real-time collaborative editing in computational notebooks can improve the efficiency of teamwork for data scientists. However, working together through synchronous editing of notebooks introduces new challenges. Data scientists may inadvertently interfere with each others' work by altering the shared codebase and runtime state if they do not set up a social protocol for working together and monitoring their collaborators' progress. In this paper, we propose a real-time collaborative editing model for resolving conflict edits in computational notebooks that introduces three levels of edit protection to help collaborators avoid introducing errors to both the program source code and changes to the runtime state.


title: Dynamic Treatment Regimes with Replicated Observations Available for Error-prone Covariates: a Q-learning Approach

abstract: Dynamic treatment regimes (DTRs) have received an increasing interest in recent years. DTRs are sequences of treatment decision rules tailored to patient-level information. The main goal of the DTR study is to identify an optimal DTR, a sequence of treatment decision rules that yields the best expected clinical outcome. Q-learning has been considered as one of the most popular regression-based methods to estimate the optimal DTR. However, it is rarely studied in an error-prone setting, where the patient information is contaminated with measurement error. In this paper, we study the effect of covariate measurement error on Q-learning and propose a correction method to correct the measurement error in Q-learning. Simulation studies are conducted to assess the performance of the proposed method in Q-learning. We illustrate the use of the proposed method in an application to the sequenced treatment alternatives to relieve depression data.


title: Q-learning in Dynamic Treatment Regimes with Misclassified Binary Outcome

abstract: The study of precision medicine involves dynamic treatment regimes (DTRs), which are sequences of treatment decision rules recommended by taking patient-level information as input. The primary goal of the DTR study is to identify an optimal DTR, a sequence of treatment decision rules that leads to the best expected clinical outcome. Statistical methods have been developed in recent years to estimate an optimal DTR, including Q-learning, a regression-based method in the DTR literature. Although there are many studies concerning Q-learning, little attention has been given in the presence of noisy data, such as misclassified outcomes. In this paper, we investigate the effect of outcome misclassification on Q-learning and propose a correction method to accommodate the misclassification effect. Simulation studies are conducted to demonstrate the satisfactory performance of the proposed method. We illustrate the proposed method in two examples from the National Health and Nutrition Examination Survey Data I Epidemiologic Follow-up Study and the smoking cessation program.


title: CEAR: Comprehensive Event Camera Dataset for Rapid Perception of Agile Quadruped Robots

abstract: When legged robots perform agile movements, traditional RGB cameras often produce blurred images, posing a challenge for rapid perception. Event cameras have emerged as a promising solution for capturing rapid perception and coping with challenging lighting conditions thanks to their low latency, high temporal resolution, and high dynamic range. However, integrating event cameras into agile-legged robots is still largely unexplored. Notably, no dataset including event cameras has yet been developed for the context of agile quadruped robots. To bridge this gap, we introduce CEAR, a dataset comprising data from an event camera, an RGB-D camera, an IMU, a LiDAR, and joint encoders, all mounted on a dynamic quadruped, Mini Cheetah robot. This comprehensive dataset features more than 100 sequences from real-world environments, encompassing various indoor and outdoor environments, different lighting conditions, a range of robot gaits (e.g., trotting, bounding, pronking), as well as acrobatic movements like backflip. To our knowledge, this is the first event camera dataset capturing the dynamic and diverse quadruped robot motions under various setups, developed to advance research in rapid perception for quadruped robots.


title: Deep Reinforcement Learning Control for Disturbance Rejection in a Nonlinear Dynamic System with Parametric Uncertainty

abstract: This work describes a technique for active rejection of multiple independent and time-correlated stochastic disturbances for a nonlinear flexible inverted pendulum with cart system with uncertain model parameters. The control law is determined through deep reinforcement learning, specifically with a continuous actor-critic variant of deep Q-learning known as Deep Deterministic Policy Gradient, while the disturbance magnitudes evolve via independent stochastic processes. Simulation results are then compared with those from a classical control system.


title: Stratifying on Treatment Status

abstract: We investigate the estimation of treatment effects from a sample that is stratified on the binary treatment status. In the case of unconfounded assignment where the potential outcomes are independent of the treatment given covariates, we show that standard estimators of the average treatment effect are inconsistent. In the case of an endogenous treatment and a binary instrument, we show that the IV estimator is inconsistent for the local average treatment effect. In both cases, we propose simple alternative estimators that are consistent in stratified samples, assuming that the fraction treated in the population is known or can be estimated.


title: Flat-Band Enhanced Antiferromagnetic Fluctuations and Unconventional Superconductivity in Pressurized CsCr$_3$Sb$_5$

abstract: The interrelationship between flat bands and correlated phenomena such as unconventional superconductivity stands as an intriguing subject in condensed matter physics. Here, by first-principles calculations and random phase approximation analyses, we investigate the electronic structure, superconducting instability, as well as roles of the incipient flat bands in kagome superconductor CsCr$_3$Sb$_5$. Our calculations reveal strong antiferromagnetic spin fluctuations in CsCr$_3$Sb$_5$, which mediates two sets of spin-singlet superconducting orders with $s_{\pm}$- and ($d_{xy}$, $d_{x^2-y^2}$)-wave symmetries. Under the dominance of local Coulomb interactions, the unoccupied incipient flat bands are shown to be crucial for the momentum dependence of spin fluctuations and thus the superconductivity. Our further analyses unveil a sublattice-momentum-coupling-driven mechanism for this momentum-dependent enhancement of the fluctuations, which provides us a new perspective for future studies of geometrically frustrated systems.


title: Topological data analysis for random sets and its application in detecting outliers and goodness of fit testing

abstract: In this paper we present the methodology for detecting outliers and testing the goodness-of-fit of random sets using topological data analysis. We construct the filtration from level sets of the signed distance function and consider various summary functions of the persistence diagram derived from the obtained persistence homology. The outliers are detected using functional depths for the summary functions. Global envelope tests using the summary statistics as test statistics were used to construct the goodness-of-fit test. The procedures were justified by a simulation study using germ-grain random set models.


title: Aleph Filter: To Infinity in Constant Time

abstract: Filter data structures are widely used in various areas of computer science to answer approximate set-membership queries. In many applications, the data grows dynamically, requiring their filters to expand along with the data that they represent. However, existing methods for expanding filters cannot maintain stable performance, memory footprint, and false positive rate at the same time. We address this problem with Aleph Filter, which makes the following contributions. (1) It supports all operations (insertions, queries, deletes, etc.) in constant time, no matter how much the data grows. (2) Given any rough estimate of how much the data will ultimately grow, Aleph Filter provides far superior memory vs. false positive rate trade-offs, even if the estimate is off by orders of magnitude.


title: Dark photon emission in elastic proton bremsstrahlung

abstract: We study the production of dark photons with masses in range 0.4-1.5\,GeV in elastic proton bremsstrahlung. In contrast to the known approaches to calculating the bremsstrahlung cross section, we consider the non-zero momentum transfer between protons. The numerical estimates show that the refined result agrees well with the generalized Weizsacker-Williams approximation, although it significantly differs from the result obtained by Blumlein and Brunner which is widely used in proton beam-dump phenomenology.


title: Twisted conjugacy in dihedral Artin groups II: Baumslag Solitar groups $\mathrm{BS}(n,n)$

abstract: In this second paper we solve the twisted conjugacy problem for even dihedral Artin groups, that is, groups with presentation $G(m) = \langle a,b \mid {}_{m}(a,b) = {}_{m}(b,a) \rangle$, where $m \geq 2$ is even, and $_{m}(a,b)$ is the word $abab\dots$ of length $m$. Similar to odd dihedral Artin groups, we prove orbit decidability for all subgroups $A \leq \mathrm{Aut}(G(m))$, which then implies that the conjugacy problem is solvable in extensions of even dihedral Artin groups.


title: Advances in Differential Privacy and Differentially Private Machine Learning

abstract: There has been an explosion of research on differential privacy (DP) and its various applications in recent years, ranging from novel variants and accounting techniques in differential privacy to the thriving field of differentially private machine learning (DPML) to newer implementations in practice, like those by various companies and organisations such as census bureaus. Most recent surveys focus on the applications of differential privacy in particular contexts like data publishing, specific machine learning tasks, analysis of unstructured data, location privacy, etc. This work thus seeks to fill the gap for a survey that primarily discusses recent developments in the theory of differential privacy along with newer DP variants, viz. Renyi DP and Concentrated DP, novel mechanisms and techniques, and the theoretical developments in differentially private machine learning in proper detail. In addition, this survey discusses its applications to privacy-preserving machine learning in practice and a few practical implementations of DP.


title: Gender Bias in Emerging New Research Topics: The Impact of COVID-19 on Women in Science

abstract: We investigate the impact of new research opportunities on the long-standing under-representation of women in medical and academic leadership by assessing the impact of the emergence of COVID-19 as a new research topic in the life sciences on women's authorship. After collecting publication data from 2019 and 2020 on biomedical publications, where the position of first and last author is most important for future career development, we use the major Medical Subject Heading (MeSH) terms to identify the main research area of each publication and measure the relation of each paper to COVID-19. Using a Difference-in-Difference approach, we find that although the general female authorship trend is upwards, papers in areas related to COVID-19 are less likely to have a woman as first or last author compared to research areas not related to COVID-19. Conversely, new publication opportunities in the COVID-19 research field increase the proportion of women in middle, less-relevant, author positions. Stay-at-home mandates, journal importance, and access to new funds do not fully explain the drop in women's outcomes. The decline in female first authorship is related to the increase of teams in which both lead authors have no prior experience in the COVID-related research field. In addition, pre-existing publishing teams show reduced bias in female key authorship with respect to new teams specifically formed for COVID-related research. This suggests that opportunistic teams, transitioning into research areas with emerging interests, possess greater flexibility in choosing the primary and final authors, potentially reducing uncertainties associated with engaging in productions divergent from their past scientific experiences by excluding women scientists from key authorship positions.


title: Efficient Sparse Processing-in-Memory Architecture (ESPIM) for Machine Learning Inference

abstract: Emerging machine learning (ML) models (e.g., transformers) involve memory pin bandwidth-bound matrix-vector (MV) computation in inference. By avoiding pin crossings, processing in memory (PIM) can improve performance and energy for pin-bound workloads, as evidenced by recent commercial efforts in (digital) PIM. Sparse models can improve performance and energy of inference without losing much accuracy. However, unstructured sparse inference injects the key challenges of uncertainty, irregularity, and load imbalance into a dense PIM's operation across all the banks. The dense PIM reads the matrix cells from each bank and broadcasts the vector elements to all the banks exploiting DRAM organization. To address these challenges efficiently, we propose ESPIM which makes four contributions: (1) Because matrix sparsity increases the vector broadcast bandwidth demand per matrix column-read, ESPIM employs a fine-grained interleaving of the matrix cells so that each vector broadcast is shared among multiple rows in each bank, cutting the bandwidth demand. (2) ESPIM mostly avoids on-chip control's area and energy despite sparsity's uncertainties by exploiting the observation that the sparsity is data-dependent but static and known before inference. Accordingly, ESPIM employs static data-dependent scheduling (SDDS) (3) ESPIM decouples the matrix cell values and their indices, placing the indices ahead of the values to enable prefetching of the vector elements. We extend SDDS for performance and correctness with the decoupled prefetching. (4) Finally, we simplify the switch required to select the vector elements that match the matrix cells. We extend SDDS to improve performance by reducing conflicts in the simplified switch. In our simulations, ESPIM achieves 2x average (up to 4.2x) speedup over and 34% average (up to 63%) lower energy than Newton while incurring under 5% area.


title: Two-Sided Flexibility in Platforms

abstract: Flexibility is a cornerstone of operations management, crucial to hedge stochasticity in product demands, service requirements, and resource allocation. In two-sided platforms, flexibility is also two-sided and can be viewed as the compatibility of agents on one side with agents on the other side. Platform actions often influence the flexibility on either the demand or the supply side. But how should flexibility be jointly allocated across different sides? Whereas the literature has traditionally focused on only one side at a time, our work initiates the study of two-sided flexibility in matching platforms. We propose a parsimonious matching model in random graphs and identify the flexibility allocation that optimizes the expected size of a maximum matching. Our findings reveal that flexibility allocation is a first-order issue: for a given flexibility budget, the resulting matching size can vary greatly depending on how the budget is allocated. Moreover, even in the simple and symmetric settings we study, the quest for the optimal allocation is complicated. In particular, easy and costly mistakes can be made if the flexibility decisions on the demand and supply side are optimized independently (e.g., by two different teams in the company), rather than jointly. To guide the search for optimal flexibility allocation, we uncover two effects, flexibility cannibalization, and flexibility abundance, that govern when the optimal design places the flexibility budget only on one side or equally on both sides. In doing so we identify the study of two-sided flexibility as a significant aspect of platform efficiency.


title: Explaining Indian Stock Market through Geometry of Scale free Networks

abstract: This paper presents an analysis of the Indian stock market using a method based on embedding the network in a hyperbolic space using Machine learning techniques. We claim novelty on four counts. First, it is demonstrated that the hyperbolic clusters resemble the topological network communities more closely than the Euclidean clusters. Second, we are able to clearly distinguish between periods of market stability and volatility through a statistical analysis of hyperbolic distance and hyperbolic shortest path distance corresponding to the embedded network. Third, we demonstrate that using the modularity of the embedded network significant market changes can be spotted early. Lastly, the coalescent embedding is able to segregate the certain market sectors thereby underscoring its natural clustering ability.


title: On the Uniqueness and Orbital Stability of Slow and Fast Solitary Wave Solutions of the Benjamin Equation

abstract: This paper is devoted to the study of existence and properties of solitary waves of the Benjamin equation. The studied equation includes a parameter $\gamma$ in front of the Benjamin-Ono term. We show the existence, uniqueness, decay and orbital stability of solitary wave solutions obtained as a solution to a certain minimization problem, associated either with high speeds without a sign condition on the parameter $\gamma$ or with low speeds for the appropriate sign.


title: Helicity-dependent parton distribution functions at next-to-next-to-leading order accuracy from inclusive and semi-inclusive deep-inelastic scattering data

abstract: We present MAPPDFpol1.0, a new determination of the helicity-dependent parton distribution functions (PDFs) of the proton from a set of longitudinally polarised inclusive and semi-inclusive deep-inelastic scattering data. The determination includes, for the first time, next-to-next-to-leading order QCD corrections to both processes, and is carried out in a framework that combines a neural-network parametrisation of PDFs with a Monte Carlo representation of their uncertainties. We discuss the quality of the determination, in particular its dependence on higher-order corrections, on the choice of data set, and on theoretical constraints.


title: Faster Algorithms for Fair Max-Min Diversification in $\mathbb{R}^d$

abstract: The task of extracting a diverse subset from a dataset, often referred to as maximum diversification, plays a pivotal role in various real-world applications that have far-reaching consequences. In this work, we delve into the realm of fairness-aware data subset selection, specifically focusing on the problem of selecting a diverse set of size $k$ from a large collection of $n$ data points (FairDiv). The FairDiv problem is well-studied in the data management and theory community. In this work, we develop the first constant approximation algorithm for FairDiv that runs in near-linear time using only linear space. In contrast, all previously known constant approximation algorithms run in super-linear time (with respect to $n$ or $k$) and use super-linear space. Our approach achieves this efficiency by employing a novel combination of the Multiplicative Weight Update method and advanced geometric data structures to implicitly and approximately solve a linear program. Furthermore, we improve the efficiency of our techniques by constructing a coreset. Using our coreset, we also propose the first efficient streaming algorithm for the FairDiv problem whose efficiency does not depend on the distribution of data points. Empirical evaluation on million-sized datasets demonstrates that our algorithm achieves the best diversity within a minute. All prior techniques are either highly inefficient or do not generate a good solution.


title: Data Poisoning Attacks on Off-Policy Policy Evaluation Methods

abstract: Off-policy Evaluation (OPE) methods are a crucial tool for evaluating policies in high-stakes domains such as healthcare, where exploration is often infeasible, unethical, or expensive. However, the extent to which such methods can be trusted under adversarial threats to data quality is largely unexplored. In this work, we make the first attempt at investigating the sensitivity of OPE methods to marginal adversarial perturbations to the data. We design a generic data poisoning attack framework leveraging influence functions from robust statistics to carefully construct perturbations that maximize error in the policy value estimates. We carry out extensive experimentation with multiple healthcare and control datasets. Our results demonstrate that many existing OPE methods are highly prone to generating value estimates with large errors when subject to data poisoning attacks, even for small adversarial perturbations. These findings question the reliability of policy values derived using OPE methods and motivate the need for developing OPE methods that are statistically robust to train-time data poisoning attacks.


title: Information propagation in one-dimensional XY-$\Gamma$ chains

abstract: The bond-dependent Kitaev model offers a playground in which one can search for quantum spin liquids. In these Kitaev materials, a symmetric off-diagonal $\Gamma$ term emerges, hosting a number of remarkable features, which has been particularly challenging to fully understand. One primary question that arises after recognizing a new phase is how information will spread in it. Out-of-time-ordered commutators and entanglement entropy describe processes whereby information about the initial condition of a unitarily evolving system propagates over the system. A possible way to investigate dynamics in such systems is by considering one-dimensional models. We investigate here the one-dimensional spin-1/2 XY model in a transverse field with a $\Gamma$ interaction with periodic boundary conditions imposed. We will show that the $\Gamma$ interaction constructs an asymmetric "light-cone" with different butterfly velocities. In addition, it leads to faster information propagation in the spiral phase and slower propagation in the ferromagnetic and paramagnetic phases. Interestingly, we observe a pronounced effect in the entanglement entropy, explicitly showing up as a two-stage linear growth in time as fast/slow then slow/fast for quenches originating from the spiral phase. We hope our work paves the way for studying more about the spreading of information in one-dimensional Kitaev materials, which can in turn help to discover unknown aspects of higher-dimensional models.


title: Consistent Second-Order Treatment of Spin-Orbit Coupling and Dynamic Correlation in Quasidegenerate N-Electron Valence Perturbation Theory

abstract: We present a formulation and implementation of second-order quasidegenerate N-electron valence perturbation theory (QDNEVPT2) that provides a balanced and accurate description of spin-orbit coupling and dynamic correlation effects in multiconfigurational electronic states. In our approach, the energies and wavefunctions of electronic states are computed by treating electron repulsion and spin-orbit coupling operators as equal perturbations to the non-relativistic complete active-space wavefunctions and their contributions are incorporated fully up to the second order. The spin-orbit effects are described using the Breit-Pauli (BP) or exact two-component Douglas-Kroll-Hess (DKH) Hamiltonians within spin-orbit mean-field approximation. The resulting second-order methods (BP2- and DKH2-QDNEVPT2) are capable of treating spin-orbit coupling effects in nearly degenerate electronic states by diagonalizing an effective Hamiltonian expanded in a compact non-relativistic basis. For a variety of atoms and small molecules across the entire periodic table, we demonstrate that DKH2-QDNEVPT2 is competitive in accuracy with variational two-component relativistic theories. BP2-QDNEVPT2 shows high accuracy for the second- and third-period elements, but its performance deteriorates for heavier atoms and molecules. We also consider the first-order spin-orbit QDNEVPT2 approximations (BP1- and DKH1-QDNEVPT2), among which DKH1-QDNEVPT2 is reliable but less accurate than DKH2-QDNEVPT2. Both DKH1- and DKH2-QDNEVPT2 hold promise as efficient and accurate electronic structure methods for treating electron correlation and spin-orbit coupling in a variety of applications.


title: Constraints on the $X17$ boson from IceCube searches for non-standard interactions of neutrinos

abstract: We explain the ATOMKI anomaly with a very light $Z'$ state that features non-anomalous and non-flavour-universal vector and axial-vector couplings to all leptons. This $Z'$ comes from a theoretical framework with a spontaneously broken $U(1)'$ symmetry in addition to the Standard Model (SM) gauge group and is compliant with current measurements of the anomalous magnetic moments of the electron and the muon as well as beam dump experiments. The lepton flavour structure of this model allows for $Z'$ couplings to all light neutrinos, suggesting the possibility of $Z'$-mediated Non-Standard Interactions (NSIs) of neutrinos in matter, so that measurements of the strength parameters of the NSIs can constrain the value of the couplings. We use experimental constraints on NSIs of neutrinos using older TEXONO data and newer IceCube data. The IceCube data, in particular, strongly constrain the flavour universality of the leptonic vector current. The constraints enable us to define the region of parameter space of this theoretical scenario that can be pursued in further phenomenological analyses.


title: Interpretable Multimodal Learning for Cardiovascular Hemodynamics Assessment

abstract: Pulmonary Arterial Wedge Pressure (PAWP) is an essential cardiovascular hemodynamics marker to detect heart failure. In clinical practice, Right Heart Catheterization is considered a gold standard for assessing cardiac hemodynamics while non-invasive methods are often needed to screen high-risk patients from a large population. In this paper, we propose a multimodal learning pipeline to predict PAWP marker. We utilize complementary information from Cardiac Magnetic Resonance Imaging (CMR) scans (short-axis and four-chamber) and Electronic Health Records (EHRs). We extract spatio-temporal features from CMR scans using tensor-based learning. We propose a graph attention network to select important EHR features for prediction, where we model subjects as graph nodes and feature relationships as graph edges using the attention mechanism. We design four feature fusion strategies: early, intermediate, late, and hybrid fusion. With a linear classifier and linear fusion strategies, our pipeline is interpretable. We validate our pipeline on a large dataset of $2,641$ subjects from our ASPIRE registry. The comparative study against state-of-the-art methods confirms the superiority of our pipeline. The decision curve analysis further validates that our pipeline can be applied to screen a large population. The code is available at https://github.com/prasunc/hemodynamics.


title: Generative Model for Change Point Detection in Dynamic Graphs

abstract: This paper proposes a generative model to detect change points in time series of graphs. The proposed framework consists of learnable prior distributions for low-dimensional graph representations and of a decoder that can generate graphs from the latent representations. The informative prior distributions in the latent spaces are learned from the observed data as empirical Bayes, and the expressive power of generative model is exploited to assist multiple change point detection. Specifically, the model parameters are learned via maximum approximate likelihood, with a Group Fused Lasso regularization on the prior parameters. The optimization problem is then solved via Alternating Direction Method of Multipliers (ADMM), and Langevin Dynamics are recruited for posterior inference. Experiments in both simulated and real data demonstrate the ability of the generative model in supporting change point detection with good performance.


title: On Exploring PDE Modeling for Point Cloud Video Representation Learning

abstract: Point cloud video representation learning is challenging due to complex structures and unordered spatial arrangement. Traditional methods struggle with frame-to-frame correlations and point-wise correspondence tracking. Recently, partial differential equations (PDE) have provided a new perspective in uniformly solving spatial-temporal data information within certain constraints. While tracking tangible point correspondence remains challenging, we propose to formalize point cloud video representation learning as a PDE-solving problem. Inspired by fluid analysis, where PDEs are used to solve the deformation of spatial shape over time, we employ PDE to solve the variations of spatial points affected by temporal information. By modeling spatial-temporal correlations, we aim to regularize spatial variations with temporal features, thereby enhancing representation learning in point cloud videos. We introduce Motion PointNet composed of a PointNet-like encoder and a PDE-solving module. Initially, we construct a lightweight yet effective encoder to model an initial state of the spatial variations. Subsequently, we develop our PDE-solving module in a parameterized latent space, tailored to address the spatio-temporal correlations inherent in point cloud video. The process of solving PDE is guided and refined by a contrastive learning structure, which is pivotal in reshaping the feature distribution, thereby optimizing the feature representation within point cloud video data. Remarkably, our Motion PointNet achieves an impressive accuracy of 97.52% on the MSRAction-3D dataset, surpassing the current state-of-the-art in all aspects while consuming minimal resources (only 0.72M parameters and 0.82G FLOPs).


title: A Nearly Finitary Matroid that is not $k$-Nearly Finitary

abstract: The class of $k$-nearly finitary matroids for some natural number $k$ is a subclass of the class of nearly finitary matroids. A natural question is whether this inclusion is proper. We answer this question affirmatively by constructing a nearly finitary matroid that is not $k$-nearly finitary for any $k \in \mathbb{N}$.


title: PoLLMgraph: Unraveling Hallucinations in Large Language Models via State Transition Dynamics

abstract: Despite tremendous advancements in large language models (LLMs) over recent years, a notably urgent challenge for their practical deployment is the phenomenon of hallucination, where the model fabricates facts and produces non-factual statements. In response, we propose PoLLMgraph, a Polygraph for LLMs, as an effective model-based white-box detection and forecasting approach. PoLLMgraph distinctly differs from the large body of existing research that concentrates on addressing such challenges through black-box evaluations. In particular, we demonstrate that hallucination can be effectively detected by analyzing the LLM's internal state transition dynamics during generation via tractable probabilistic models. Experimental results on various open-source LLMs confirm the efficacy of PoLLMgraph, outperforming state-of-the-art methods by a considerable margin, evidenced by over 20% improvement in AUC-ROC on common benchmarking datasets like TruthfulQA. Our work paves a new way for model-based white-box analysis of LLMs, motivating the research community to further explore, understand, and refine the intricate dynamics of LLM behaviors.


title: Does nematic order allow groups of elongated cells to sense electric fields better?

abstract: Collective response to external directional cues like electric fields plays a pivotal role in processes such as tissue development, regeneration, and wound healing. In this study we focus on the impact of anisotropy in cell shape and local cell alignment on the collective response to electric fields. We model elongated cells that have a different accuracy sensing the field depending on their orientation with respect to the field. Elongated cells often line up with their long axes in the same direction - "nematic order" - does this help the group of cells sense the field more accurately? We use simulations of a simple model to show that if cells orient themselves perpendicular to their average velocity, alignment of a cell's long axis to its nearest neighbors' orientation can enhance the directional response to electric fields. However, for cells to benefit from aligning, their accuracy of sensing must be strongly dependent on cell orientation. We also show that cell-cell adhesion modulates the accuracy of cells in the group.


title: Extrapolation of Type Ia Supernova Spectra into the Near-Infrared Using PCA

abstract: We present a method of extrapolating the spectroscopic behavior of Type Ia supernovae (SNe Ia) in the near-infrared (NIR) wavelength regime up to 2.30 $\mu$m using optical spectroscopy. Such a process is useful for accurately estimating K-corrections and other photometric quantities of SNe Ia in the NIR. Principal component analysis is performed on data consisting of Carnegie Supernova Project I & II optical and near-infrared FIRE spectra to produce models capable of making these extrapolations. This method differs from previous spectral template methods by not parameterizing models strictly by photometric light-curve properties of SNe Ia, allowing for more flexibility of the resulting extrapolated NIR flux. A difference of around -3.1% to -2.7% in the total integrated NIR flux between these extrapolations and the observations is seen here for most test cases including Branch core-normal and shallow-silicon subtypes. However, larger deviations from the observation are found for other tests, likely due to the limited high-velocity and broad-line SNe Ia in the training sample. Maximum-light principal components are shown to allow for spectroscopic predictions of the color-stretch light-curve parameter, $s_{BV}$, within approximately $\pm$0.1 units of the value measured with photometry. We also show these results compare well with NIR templates, although in most cases the templates are marginally more fitting to observations, illustrating a need for more concurrent optical+NIR spectroscopic observations to truly understand the diversity of SNe Ia in the NIR.


title: We need to aim at the top: Factors associated with cybersecurity awareness of cyber and information security decision-makers

abstract: Cyberattacks pose a significant business risk to organizations. Although there is ample literature focusing on why people pose a major risk to organizational cybersecurity and how to deal with it, there is surprisingly little we know about cyber and information security decision-makers who are essentially the people in charge of setting up and maintaining organizational cybersecurity. In this paper, we study cybersecurity awareness of cyber and information security decision-makers, and investigate factors associated with it. We conducted an online survey among Slovenian cyber and information security decision-makers (N=283) to (1) determine whether their cybersecurity awareness is associated with adoption of antimalware solutions in their organizations, and (2) explore which organizational factors and personal characteristics are associated with their cybersecurity awareness. Our findings indicate that awareness of well-known threats and solutions seems to be quite low for individuals in decision-making roles. They also provide insights into which threats and solutions are cyber and information security decision-makers the least aware of. We uncovered that awareness of certain threats and solutions is positively associated with either adoption of advanced antimalware solutions with EDR/XDR capabilities or adoption of SOC. Additionally, we identified significant organizational factors (organizational role type) and personal characteristics (gender, age, experience with information security and experience with IT) related to cybersecurity awareness of cyber and information security decision-makers. Organization size and formal education were not significant. These results offer insights that can be leveraged in targeted cybersecurity training tailored to the needs of groups of cyber and information security decision-makers based on these key factors.


title: Convolutional Neural Network Transformer (CNNT) for Fluorescence Microscopy image Denoising with Improved Generalization and Fast Adaptation

abstract: Deep neural networks have been applied to improve the image quality of fluorescence microscopy imaging. Previous methods are based on convolutional neural networks (CNNs) which generally require more time-consuming training of separate models for each new imaging experiment, impairing the applicability and generalization. Once the model is trained (typically with tens to hundreds of image pairs) it can then be used to enhance new images that are like the training data. In this study, we proposed a novel imaging-transformer based model, Convolutional Neural Network Transformer (CNNT), to outperform the CNN networks for image denoising. In our scheme we have trained a single CNNT based backbone model from pairwise high-low SNR images for one type of fluorescence microscope (instance structured illumination, iSim). Fast adaption to new applications was achieved by fine-tuning the backbone on only 5-10 sample pairs per new experiment. Results show the CNNT backbone and fine-tuning scheme significantly reduces the training time and improves the image quality, outperformed training separate models using CNN approaches such as - RCAN and Noise2Fast. Here we show three examples of the efficacy of this approach on denoising wide-field, two-photon and confocal fluorescence data. In the confocal experiment, which is a 5 by 5 tiled acquisition, the fine-tuned CNNT model reduces the scan time form one hour to eight minutes, with improved quality.


title: A code-driven tutorial on encrypted control: From pioneering realizations to modern implementations

abstract: The growing interconnectivity in control systems due to robust wireless communication and cloud usage paves the way for exciting new opportunities such as data-driven control and service-based decision-making. At the same time, connected systems are susceptible to cyberattacks and data leakages. Against this background, encrypted control aims to increase the security and safety of cyber-physical systems. A central goal is to ensure confidentiality of process data during networked controller evaluations, which is enabled by, e.g., homomorphic encryption. However, the integration of advanced cryptographic systems renders the design of encrypted controllers an interdisciplinary challenge. This code-driven tutorial paper aims to facilitate the access to encrypted control by providing exemplary realizations based on popular homomorphic cryptosystems. In particular, we discuss the encrypted implementation of state feedback and PI controllers using the Paillier, GSW, and CKKS cryptosystem.


title: Navigating the Landscape of Hint Generation Research: From the Past to the Future

abstract: Digital education has gained popularity in the last decade, especially after the COVID-19 pandemic. With the improving capabilities of large language models to reason and communicate with users, envisioning intelligent tutoring systems (ITSs) that can facilitate self-learning is not very far-fetched. One integral component to fulfill this vision is the ability to give accurate and effective feedback via hints to scaffold the learning process. In this survey article, we present a comprehensive review of prior research on hint generation, aiming to bridge the gap between research in education and cognitive science, and research in AI and Natural Language Processing. Informed by our findings, we propose a formal definition of the hint generation task, and discuss the roadmap of building an effective hint generation system aligned with the formal definition, including open challenges, future directions and ethical considerations.


title: Towards a low carbon proof-of-work blockchain

abstract: Proof of Work (PoW) blockchains burn a lot of energy. Proof-of-work algorithms are expensive by design and often only serve to compute blockchains. In some sense, carbon-based and non-carbon based regional electric power is fungible. So the total carbon and non-carbon electric power mix plays a role. Thus, generally PoW algorithms have large CO$_2$ footprints solely for computing blockchains. A proof of technology is described towards replacing hashcash or other PoW methods with a lottery and proof-of-VM (PoVM) emulation. PoVM emulation is a form of PoW where an autonomous blockchain miner gets a lottery ticket in exchange for providing a VM (virtual Machine) for a specified period. These VMs get their jobs from a job queue. Managing and ensuring, by concensus, that autonomous PoVMs are properly configured and running as expected gives several gaps for a complete practical system. These gaps are discussed. Our system is similar to a number of other blockchain systems. We briefly survey these systems. This paper along with our proof of technology was done as a senior design project.


title: Projective Geometries and Simple Pointed Matroids as $\mathbb{F}_1$-modules

abstract: We describe a fully faithful embedding of projective geometries, given in terms of closure operators, into $\mathbb{F}_1$-modules, in the sense of Connes and Consani. This factors through a faithful functor out of simple pointed matroids. This follows from our construction of a fully faithful embedding of weakly unital, commutative hypermagmas into $\fun$-modules. This embedding is of independent interest as it generalizes the classical Eilenberg-MacLane embedding for commutative monoids and recovers Segal's nerve construction for commutative partial monoids. For this reason, we spend some time elaborating its structure.


title: SAT-DIFF: A Tree Diffing Framework Using SAT Solving

abstract: Computing differences between tree-structured data is a critical but challenging problem in software analysis. In this paper, we propose a novel tree diffing approach called SatDiff, which reformulates the structural diffing problem into a MaxSAT problem. By encoding the necessary transformations from the source tree to the target tree, SatDiff generates correct, minimal, and type safe low-level edit scripts with formal guarantees. We then synthesize concise high-level edit scripts by effectively merging low-level edits in the appropriate topological order. Our empirical results demonstrate that SatDiff outperforms existing heuristic-based approaches by a significant margin in terms of conciseness while maintaining a reasonable runtime.


title: Ultrafast dynamic beam steering with optical frequency comb arrays

abstract: Efficient spatiotemporal control of optical beams is of paramount importance in diverse technological domains. Conventional systems focusing on quasi-static beam control demand precise phase or wavelength tuning for steering. This work presents a time-efficient solution for dynamic beam steering, emphasizing high-duty-cycle operation with fast scan rates, and eliminating the need for active tuning of the beam direction. We achieve 100%-duty-cycle scans at a rate of $\sim$9.8 GHz within an angular range of $\sim$1$^\circ$. Furthermore, leveraging the dispersion characteristics of a virtually imaged phased array (VIPA), we devise a broadband source array that seamlessly transitions from continuous-angular steering to pulsed discrete-angular operation, unlocking possibilities for high-sensitivity angle-, range-, and time-resolved imaging. We also elucidate the adaptability of integrated photonic designs incorporating wavelength-selective switches and spectral dispersers, for enabling a versatile on-chip realization of the proposed beam steering schemes.


title: Exploring the MMRD Relation for Novae in M31

abstract: The results of a two decade long $R$-band photometric survey of novae in M31 are presented. From these data, $R$-band light curves have been determined for 180 novae with data sufficient for estimating peak brightness and subsequent rate of decline. The data show a weak correlation of peak brightness with fade rate consistent with the well-known Maximum Magnitude versus Rate of Decline (MMRD) relation. As generally appreciated for Galactic novae, the large scatter in the MMRD relation precludes its use in determining distances to individual novae. The novae at maximum light are distributed with standard deviation $\sigma=0.89$ mag about a mean $R$-band absolute magnitude given by $\langle M_R \rangle=-7.57\pm0.07$. The overall M31 luminosity distribution is in excellent agreement with that found for Galactic novae suggesting that the nova populations in M31 and the Galaxy are quite similar. The notion that all novae can be characterized by a standard luminosity 15 d after maximum light ($M_{15}$) is also explored. Surprisingly, the distribution of $M_{15}$ values is characterized by a standard deviation only slightly smaller than that for novae at maximum light and thus offers little promise for precise extragalactic distance determinations. A dozen faint and fast novae that are likely to be previously unidentified recurrent novae have been identified from their position in the MMRD plot and in the $M_{15}$ distribution.


title: Towards Generalized Entropic Sparsification for Convolutional Neural Networks

abstract: Convolutional neural networks (CNNs) are reported to be overparametrized. The search for optimal (minimal) and sufficient architecture is an NP-hard problem as the hyperparameter space for possible network configurations is vast. Here, we introduce a layer-by-layer data-driven pruning method based on the mathematical idea aiming at a computationally-scalable entropic relaxation of the pruning problem. The sparse subnetwork is found from the pre-trained (full) CNN using the network entropy minimization as a sparsity constraint. This allows deploying a numerically scalable algorithm with a sublinear scaling cost. The method is validated on several benchmarks (architectures): (i) MNIST (LeNet) with sparsity 55%-84% and loss in accuracy 0.1%-0.5%, and (ii) CIFAR-10 (VGG-16, ResNet18) with sparsity 73-89% and loss in accuracy 0.1%-0.5%.


title: MACM: Utilizing a Multi-Agent System for Condition Mining in Solving Complex Mathematical Problems

abstract: Recent advancements in large language models, such as GPT-4, have demonstrated remarkable capabilities in processing standard queries. Despite these advancements, their performance substantially declines in \textbf{advanced mathematical problems requiring complex, multi-step logical reasoning}. To enhance their inferential capabilities, current research has delved into \textit{prompting engineering}, exemplified by methodologies such as the Tree of Thought and Graph of Thought. Nonetheless, these existing approaches encounter two significant limitations. Firstly, their effectiveness in tackling complex mathematical problems is somewhat constrained. Secondly, the necessity to design distinct prompts for individual problems hampers their generalizability. In response to these limitations, this paper introduces the \textit{Multi-Agent System for conditional Mining} (\textbf{MACM}) prompting method. It not only resolves intricate mathematical problems but also demonstrates strong generalization capabilities across various mathematical contexts. With the assistance of MACM, the accuracy of GPT-4 Turbo on the most challenging level five mathematical problems in the MATH dataset increase from $\mathbf{54.68\%} \text{ to } \mathbf{76.73\%}$. The code is available in \url{https://github.com/bin123apple/MACM}.


title: ProtoAL: Interpretable Deep Active Learning with prototypes for medical imaging

abstract: The adoption of Deep Learning algorithms in the medical imaging field is a prominent area of research, with high potential for advancing AI-based Computer-aided diagnosis (AI-CAD) solutions. However, current solutions face challenges due to a lack of interpretability features and high data demands, prompting recent efforts to address these issues. In this study, we propose the ProtoAL method, where we integrate an interpretable DL model into the Deep Active Learning (DAL) framework. This approach aims to address both challenges by focusing on the medical imaging context and utilizing an inherently interpretable model based on prototypes. We evaluated ProtoAL on the Messidor dataset, achieving an area under the precision-recall curve of 0.79 while utilizing only 76.54\% of the available labeled data. These capabilities can enhances the practical usability of a DL model in the medical field, providing a means of trust calibration in domain experts and a suitable solution for learning in the data scarcity context often found.


title: A free boundary problem for an immersed filament in 3D Stokes flow

abstract: We consider a simplified extensible version of a dynamic free boundary problem for a thin filament with radius $\epsilon>0$ immersed in 3D Stokes flow. The 3D fluid is coupled to the quasi-1D filament dynamics via a novel type of angle-averaged Neumann-to-Dirichlet operator for the Stokes equations, and much of the difficulty in the analysis lies in understanding this operator. Here we show that the main part of this angle-averaged NtD map about a closed, curved filament is the corresponding operator about a straight filament, for which we can derive an explicit symbol. Remainder terms due to curvature are lower order with respect to regularity or size in $\epsilon$. Using this operator decomposition, it is then possible to show that the simplified free boundary evolution is a third-order parabolic equation and is locally well posed. This establishes a more complete mathematical foundation for the myriad computational results based on slender body approximations for thin immersed elastic structures.


title: BARMPy: Bayesian Additive Regression Models Python Package

abstract: We make Bayesian Additive Regression Networks (BARN) available as a Python package, \texttt{barmpy}, with documentation at \url{https://dvbuntu.github.io/barmpy/} for general machine learning practitioners. Our object-oriented design is compatible with SciKit-Learn, allowing usage of their tools like cross-validation. To ease learning to use \texttt{barmpy}, we produce a companion tutorial that expands on reference information in the documentation. Any interested user can \texttt{pip install barmpy} from the official PyPi repository. \texttt{barmpy} also serves as a baseline Python library for generic Bayesian Additive Regression Models.