title: Quark production and thermalization of the quark-gluon plasma

abstract: We first assemble a full set of the Boltzmann Equation in Diffusion Approximation (BEDA) for studying thermalization/hydrodynamization as well as the production of massless quarks and antiquarks in out of equilibrium systems. In the BEDA, the time evolution of a generic system is characterized by the following space-time dependent quantities: the jet quenching parameter, the effective temperature, and two more for each quark flavor that describe the conversion between gluons and quarks/antiquarks via the $2\leftrightarrow2$ processes. Out of the latter two quantities, an effective net quark chemical potential is defined, which equals the net quark chemical potential after thermal equilibration. We then study thermalization and the production of three flavors of massless quarks and antiquarks in spatially homogeneous systems initially filled only with gluons. A parametric understanding of thermalization and quark production is obtained for either initially very dense or dilute systems, which are complemented by detailed numerical simulations for intermediate values of initial gluon occupancy $f_0$. For a wide range of $f_0$, the final equilibration time is determined to be about one order of magnitude longer than that in the corresponding pure gluon systems. Moreover, during the final stage of the thermalization process for $f_0\geq 10^{-4}$, gluons are found to thermalize earlier than quarks and antiquarks, undergoing the top-down thermalization.


title: Single-photon based Quantum Key Distribution and Random Number Generation schemes and their device-independent security analysis

abstract: We present a single-photon based device-independent quantum key distribution scheme secure even against no-signaling eavesdropping, which covers quantum attacks, as well as ones beyond laws of physics but still obeying the rules for spatially separated events. The operational scheme is inspired by the Tan-Walls-Collett (1991) interferometric setup, which used the entangled state of two exit modes of a 50-50 beamsplitter resulting from a single photon entering one of its input ports, and weak homodyne measurements at two spatially separated measurement stations. The physics and non-classically of such an arrangement has been understood only recently. Our protocol links basic features of the first two emblematic protocols, BB84 and Ekert91, namely the random bits of the cryptographic key are obtained by measurements on single photon, while the security is positively tested if one observes a violation of a specific Bell inequality. The security analysis presented here is based on a decomposition of the correlations into extremal points of a no-signaling polytope which allows for identification of the optimal strategy for any eavesdropping constrained only by the no-signalling principle. For this strategy, the key rate is calculated, which is then connected with the violation of a specific Clauser-Horne inequality. We also adapt this analysis to propose a self-testing quantum random number generator.


title: Explainable Boosting Machines with Sparsity -- Maintaining Explainability in High-Dimensional Settings

abstract: Compared to "black-box" models, like random forests and deep neural networks, explainable boosting machines (EBMs) are considered "glass-box" models that can be competitively accurate while also maintaining a higher degree of transparency and explainability. However, EBMs become readily less transparent and harder to interpret in high-dimensional settings with many predictor variables; they also become more difficult to use in production due to increases in scoring time. We propose a simple solution based on the least absolute shrinkage and selection operator (LASSO) that can help introduce sparsity by reweighting the individual model terms and removing the less relevant ones, thereby allowing these models to maintain their transparency and relatively fast scoring times in higher-dimensional settings. In short, post-processing a fitted EBM with many (i.e., possibly hundreds or thousands) of terms using the LASSO can help reduce the model's complexity and drastically improve scoring time. We illustrate the basic idea using two real-world examples with code.


title: ChartCheck: Explainable Fact-Checking over Real-World Chart Images

abstract: Whilst fact verification has attracted substantial interest in the natural language processing community, verifying misinforming statements against data visualizations such as charts has so far been overlooked. Charts are commonly used in the real-world to summarize and communicate key information, but they can also be easily misused to spread misinformation and promote certain agendas. In this paper, we introduce ChartCheck, a novel, large-scale dataset for explainable fact-checking against real-world charts, consisting of 1.7k charts and 10.5k human-written claims and explanations. We systematically evaluate ChartCheck using vision-language and chart-to-table models, and propose a baseline to the community. Finally, we study chart reasoning types and visual attributes that pose a challenge to these models


title: Causal Discovery under Latent Class Confounding

abstract: An acyclic causal structure can be described using a directed acyclic graph (DAG) with arrows indicating causation. The task of learning this structure from data is known as "causal discovery." Diverse populations or changing environments can sometimes give rise to heterogeneous data. This heterogeneity can be thought of as a mixture model with multiple "sources," each exerting their own distinct signature on the observed variables. From this perspective, the source is a latent common cause for every observed variable. While some methods for causal discovery are able to work around unobserved confounding in special cases, the only known ways to deal with a global confounder (such as a latent class) involve parametric assumptions. Focusing on discrete observables, we demonstrate that globally confounded causal structures can still be identifiable without parametric assumptions, so long as the number of latent classes remains small relative to the size and sparsity of the underlying DAG.


title: A Bayesian Approach to Strong Lens Finding in the Era of Wide-area Surveys

abstract: The arrival of the Vera C. Rubin Observatory's Legacy Survey of Space and Time (LSST), Euclid-Wide and Roman wide area sensitive surveys will herald a new era in strong lens science in which the number of strong lenses known is expected to rise from $\mathcal{O}(10^3)$ to $\mathcal{O}(10^5)$. However, current lens-finding methods still require time-consuming follow-up visual inspection by strong-lens experts to remove false positives which is only set to increase with these surveys. In this work we demonstrate a range of methods to produce calibrated probabilities to help determine the veracity of any given lens candidate. To do this we use the classifications from citizen science and multiple neural networks for galaxies selected from the Hyper Suprime-Cam (HSC) survey. Our methodology is not restricted to particular classifier types and could be applied to any strong lens classifier which produces quantitative scores. Using these calibrated probabilities, we generate an ensemble classifier, combining citizen science and neural network lens finders. We find such an ensemble can provide improved classification over the individual classifiers. We find a false positive rate of $10^{-3}$ can be achieved with a completeness of $46\%$, compared to $34\%$ for the best individual classifier. Given the large number of galaxy-galaxy strong lenses anticipated in LSST, such improvement would still produce significant numbers of false positives, in which case using calibrated probabilities will be essential for population analysis of large populations of lenses.


title: NRTidalv3: A New and Robust Gravitational-Waveform Model for High-Mass-Ratio Binary Neutron Star Systems with Dynamical Tidal Effects

abstract: For the analysis of gravitational-wave signals, fast and accurate gravitational-waveform models are required. These enable us to obtain information on the system properties from compact binary mergers. In this article, we introduce the NRTidalv3 model, which contains a closed-form expression that describes tidal effects, focusing on the description of binary neutron star systems. The model improves upon previous versions by employing a larger set of numerical-relativity data for its calibration, by including high-mass ratio systems covering also a wider range of equations of state. It also takes into account dynamical tidal effects and the known post-Newtonian mass-ratio dependence of individual calibration parameters. We implemented the model in the publicly available LALSuite software library by augmenting different binary black hole waveform models (IMRPhenomD, IMRPhenomX, and SEOBNRv5_ROM). We test the validity of NRTidalv3 by comparing it with numerical-relativity waveforms, as well as other tidal models. Finally, we perform parameter estimation for GW170817 and GW190425 with the new tidal approximant and find overall consistent results with respect to previous studies.


title: Scalar susceptibility of a diluted classical XY model

abstract: We analyze the amplitude fluctuations in a diluted 3D classical XY model near the magnetic phase transition, motivated by the unusual localization properties of the amplitude (Higgs) mode recently found at the disordered superfluid-Mott glass quantum phase transition. We calculate the amplitude correlation function and the corresponding scalar susceptibility by means of Monte Carlo simulations. In contrast to the quantum case, in which the scalar susceptibility was found to violate naive scaling, we find that the scalar susceptibility of the classical system fulfills naive scaling (employing the clean critical exponents, as expected from the Harris criterion) as the temperature is varied across the phase transition for several dilutions. We discuss possible reasons for this discrepancy as well as the generality of our findings.


title: Trust in Queer Human-Robot Interaction

abstract: Human-robot interaction (HRI) systems need to build trust with people of diverse identities. This position paper argues that queer (LGBTQIA+) people must be included in the design and evaluation of HRI systems to ensure their trust in and acceptance of robots. Queer people have faced discrimination and harm from artificial intelligence and robotic systems. Despite calls for increased diversity and inclusion, HRI has not systemically addressed queer issues. This paper suggests three approaches to address trust in queer HRI: diversifying human-subject pools, centering queer people in HRI studies, and contextualizing measures of trust.


title: On homogeneous plane waves

abstract: Plane waves are a special class of Lorentzian spaces with a parallel null vector field. They are of great importance in Geometry (e.g. Lorentzian holonomy) and in Physics (General Relativity as well as alternative gravity theories). Our contribution in the present paper aims at a rigorous mathematical treatment focusing on completeness of Killing fields, and globality of coordinates. Equivalence of different approaches to plane waves is by no means easy to handle. We use here cohomogeneity one Heisenberg actions to introduce a point of view from which one can see plane waves as a deformation of Minkowski spacetime. We determine the identity component of the isometry group of a 1-connected non-flat homogeneous plane wave, which establishes a correspondence between these spaces and certain 1-parameter groups of automorphisms of the Heisenberg group. The extendibility of spacetimes (when incomplete) is a natural, important and delicate question. One of our main results is the proof of the $C^2$-inextendibility of non-flat homogeneous plane waves. We also prove that they are geodesically complete if and only if the null parallel vector field is preserved by the identity component of the isometry group. Finally, we show that a 1-connected homogeneous plane wave admits global Brinkmann coordinates.


title: KnowSafe: Combined Knowledge and Data Driven Hazard Mitigation in Artificial Pancreas Systems

abstract: Significant progress has been made in anomaly detection and run-time monitoring to improve the safety and security of cyber-physical systems (CPS). However, less attention has been paid to hazard mitigation. This paper proposes a combined knowledge and data driven approach, KnowSafe, for the design of safety engines that can predict and mitigate safety hazards resulting from safety-critical malicious attacks or accidental faults targeting a CPS controller. We integrate domain-specific knowledge of safety constraints and context-specific mitigation actions with machine learning (ML) techniques to estimate system trajectories in the far and near future, infer potential hazards, and generate optimal corrective actions to keep the system safe. Experimental evaluation on two realistic closed-loop testbeds for artificial pancreas systems (APS) and a real-world clinical trial dataset for diabetes treatment demonstrates that KnowSafe outperforms the state-of-the-art by achieving higher accuracy in predicting system state trajectories and potential hazards, a low false positive rate, and no false negatives. It also maintains the safe operation of the simulated APS despite faults or attacks without introducing any new hazards, with a hazard mitigation success rate of 92.8%, which is at least 76% higher than solely rule-based (50.9%) and data-driven (52.7%) methods.


title: On Self-Supervised Dynamic Incremental Regularised Adaptation

abstract: In this paper, we give an overview of a recently developed method for dynamic domain adaptation, named DIRA, which relies on a few samples in addition to a regularisation approach, named elastic weight consolidation, to achieve state-of-the-art (SOTA) domain adaptation results. DIRA has been previously shown to perform competitively with SOTA unsupervised adaption techniques. However, a limitation of DIRA is that it relies on labels to be provided for the few samples used in adaption. This makes it a supervised technique. In this paper, we propose a modification to the DIRA method to make it self-supervised i.e. remove the need for providing labels. Our proposed approach will be evaluated experimentally in future work.


title: Investigating Robustness in Cyber-Physical Systems: Specification-Centric Analysis in the face of System Deviations

abstract: The adoption of cyber-physical systems (CPS) is on the rise in complex physical environments, encompassing domains such as autonomous vehicles, the Internet of Things (IoT), and smart cities. A critical attribute of CPS is robustness, denoting its capacity to operate safely despite potential disruptions and uncertainties in the operating environment. This paper proposes a novel specification-based robustness, which characterizes the effectiveness of a controller in meeting a specified system requirement, articulated through Signal Temporal Logic (STL) while accounting for possible deviations in the system. This paper also proposes the robustness falsification problem based on the definition, which involves identifying minor deviations capable of violating the specified requirement. We present an innovative two-layer simulation-based analysis framework designed to identify subtle robustness violations. To assess our methodology, we devise a series of benchmark problems wherein system parameters can be adjusted to emulate various forms of uncertainties and disturbances. Initial evaluations indicate that our falsification approach proficiently identifies robustness violations, providing valuable insights for comparing robustness between conventional and reinforcement learning (RL)-based controllers


title: MEGAVERSE: Benchmarking Large Language Models Across Languages, Modalities, Models and Tasks

abstract: There has been a surge in LLM evaluation research to understand LLM capabilities and limitations. However, much of this research has been confined to English, leaving LLM building and evaluation for non-English languages relatively unexplored. Several new LLMs have been introduced recently, necessitating their evaluation on non-English languages. This study aims to perform a thorough evaluation of the non-English capabilities of SoTA LLMs (GPT-3.5-Turbo, GPT-4, PaLM2, Gemini-Pro, Mistral, Llama2, and Gemma) by comparing them on the same set of multilingual datasets. Our benchmark comprises 22 datasets covering 83 languages, including low-resource African languages. We also include two multimodal datasets in the benchmark and compare the performance of LLaVA models, GPT-4-Vision and Gemini-Pro-Vision. Our experiments show that larger models such as GPT-4, Gemini-Pro and PaLM2 outperform smaller models on various tasks, notably on low-resource languages, with GPT-4 outperforming PaLM2 and Gemini-Pro on more datasets. We also perform a study on data contamination and find that several models are likely to be contaminated with multilingual evaluation benchmarks, necessitating approaches to detect and handle contamination while assessing the multilingual performance of LLMs.


title: Consistent first order action functional for gauge theories

abstract: A novel first order action principle has been proposed as the possible foundation for a more fundamental theory of General Relativity and the Standard Model. It is shown in this article that the proposal consistently incorporates gravity and matter fields, and guides to a new and robust path towards unification of fundamental interactions.


title: Computerized Tomography and Reproducing Kernels

abstract: The X-ray transform is one of the most fundamental integral operators in image processing and reconstruction. In this article, we revisit the formalism of the X-ray transform by considering it as an operator between Reproducing Kernel Hilbert Spaces (RKHS). Within this framework, the X-ray transform can be viewed as a natural analogue of Euclidean projection. The RKHS framework considerably simplifies projection image interpolation, and leads to an analogue of the celebrated representer theorem for the problem of tomographic reconstruction. It leads to methodology that is dimension-free and stands apart from conventional filtered back-projection techniques, as it does not hinge on the Fourier transform. It also allows us to establish sharp stability results at a genuinely functional level (i.e. without recourse to discretization), but in the realistic setting where the data are discrete and noisy. The RKHS framework is versatile, accommodating any reproducing kernel on a unit ball, affording a high level of generality. When the kernel is chosen to be rotation-invariant, explicit spectral representations can be obtained, elucidating the regularity structure of the associated Hilbert spaces. Moreover, the reconstruction problem can be solved at the same computational cost as filtered back-projection.


title: On Measuring Faithfulness or Self-consistency of Natural Language Explanations

abstract: Large language models (LLMs) can explain their predictions through post-hoc or Chain-of-Thought (CoT) explanations. But an LLM could make up reasonably sounding explanations that are unfaithful to its underlying reasoning. Recent work has designed tests that aim to judge the faithfulness of post-hoc or CoT explanations. In this work we argue that these faithfulness tests do not measure faithfulness to the models' inner workings -- but rather their self-consistency at output level. Our contributions are three-fold: i) We clarify the status of faithfulness tests in view of model explainability, characterising them as self-consistency tests instead. This assessment we underline by ii) constructing a Comparative Consistency Bank for self-consistency tests that for the first time compares existing tests on a common suite of 11 open LLMs and 5 tasks -- including iii) our new self-consistency measure CC-SHAP. CC-SHAP is a fine-grained measure (not a test) of LLM self-consistency. It compares how a model's input contributes to the predicted answer and to generating the explanation. Our fine-grained CC-SHAP metric allows us iii) to compare LLM behaviour when making predictions and to analyse the effect of other consistency tests at a deeper level, which takes us one step further towards measuring faithfulness by bringing us closer to the internals of the model than strictly surface output-oriented tests. Our code is available at \url{https://github.com/Heidelberg-NLP/CC-SHAP}


title: Energetic Particle Tracing in Optimized Quasisymmetric Stellarator Equilibria

abstract: Recent developments in the design of magnetic confinement fusion devices have allowed the construction of exceptionally optimized stellarator configurations. The near-axis expansion in particular has proven to enable the construction of magnetic configurations with good confinement properties while taking only a fraction of the usual computation time to generate optimized magnetic equilibria. However, not much is known about the overall features of fast-particle orbits computed in such analytical, yet simplified, equilibria when compared to those originating from accurate equilibrium solutions. This work aims to assess and demonstrate the potential of the near-axis expansion to provide accurate information on particle orbits and to compute loss fractions in moderate to high aspect ratios. The configurations used here are all scaled to fusion-relevant parameters and approximate quasisymmetry in various degrees. This allows us to understand how deviations from quasisymmetry affect particle orbits and what are their effects on the estimation of the loss fraction. Guiding-center trajectories of fusion-born alpha particles are traced using gyronimo and SIMPLE codes under the NEAT framework, showing good numerical agreement. Discrepancies between near-axis and MHD fields have minor effects on passing particles but significant effects on trapped particles, especially in quasihelically symmetric magnetic fields. Effective expressions were found for estimating orbit widths and passing-trapped separatrix in quasisymmetric near-axis fields. Loss fractions agree in the prompt losses regime but diverge afterward.


title: Are We Falling in a Middle-Intelligence Trap? An Analysis and Mitigation of the Reversal Curse

abstract: Recent studies have highlighted a phenomenon in large language models (LLMs) known as "the reversal curse," in which the order of knowledge entities in the training data biases the models' comprehension. For example, if a model is trained on sentences where entity A consistently appears before entity B, it can respond to queries about A by providing B as the answer. However, it may encounter confusion when presented with questions concerning B. We contend that the reversal curse is partially a result of specific model training objectives, particularly evident in the prevalent use of the next-token prediction within most causal language models. For the next-token prediction, models solely focus on a token's preceding context, resulting in a restricted comprehension of the input. In contrast, we illustrate that the GLM, trained using the autoregressive blank infilling objective where tokens to be predicted have access to the entire context, exhibits better resilience against the reversal curse. We propose a novel training method, BIdirectional Casual language modeling Optimization (BICO), designed to mitigate the reversal curse when fine-tuning pretrained causal language models on new data. BICO modifies the causal attention mechanism to function bidirectionally and employs a mask denoising optimization. In the task designed to assess the reversal curse, our approach improves Llama's accuracy from the original 0% to around 70%. We hope that more attention can be focused on exploring and addressing these inherent weaknesses of the current LLMs, in order to achieve a higher level of intelligence.


title: InCA: Rethinking In-Car Conversational System Assessment Leveraging Large Language Models

abstract: The assessment of advanced generative large language models (LLMs) poses a significant challenge, given their heightened complexity in recent developments. Furthermore, evaluating the performance of LLM-based applications in various industries, as indicated by Key Performance Indicators (KPIs), is a complex undertaking. This task necessitates a profound understanding of industry use cases and the anticipated system behavior. Within the context of the automotive industry, existing evaluation metrics prove inadequate for assessing in-car conversational question answering (ConvQA) systems. The unique demands of these systems, where answers may relate to driver or car safety and are confined within the car domain, highlight the limitations of current metrics. To address these challenges, this paper introduces a set of KPIs tailored for evaluating the performance of in-car ConvQA systems, along with datasets specifically designed for these KPIs. A preliminary and comprehensive empirical evaluation substantiates the efficacy of our proposed approach. Furthermore, we investigate the impact of employing varied personas in prompts and found that it enhances the model's capacity to simulate diverse viewpoints in assessments, mirroring how individuals with different backgrounds perceive a topic.


title: Finding and Editing Multi-Modal Neurons in Pre-Trained Transformers

abstract: Understanding the internal mechanisms by which multi-modal large language models (LLMs) interpret different modalities and integrate cross-modal representations is becoming increasingly critical for continuous improvements in both academia and industry. In this paper, we propose a novel method to identify key neurons for interpretability -- how multi-modal LLMs bridge visual and textual concepts for captioning. Our method improves conventional works upon efficiency and applied range by removing needs of costly gradient computation. Based on those identified neurons, we further design a multi-modal knowledge editing method, beneficial to mitigate sensitive words or hallucination. For rationale of our design, we provide theoretical assumption. For empirical evaluation, we have conducted extensive quantitative and qualitative experiments. The results not only validate the effectiveness of our methods, but also offer insightful findings that highlight three key properties of multi-modal neurons: sensitivity, specificity and causal-effect, to shed light for future research.


title: Goldberger-Treiman relation and Wu-type experiment in the decuplet sector

abstract: The leading-order chiral Lagrangian for the baryon octet and decuplet states coupled to Goldstone bosons and external sources contains six low-energy constants. Five of them are fairly well known from phenomenology, but the sixth one is practically unknown. This coupling constant provides the strength of the (p-wave) coupling of Goldstone bosons to decuplet states. Its size and even sign are under debate. Quark model and QCD for a large number of colors provide predictions, but some recent phenomenological analyses suggest even an opposite sign for the Delta-pion coupling. The Goldberger-Treiman relation connects this coupling constant to the axial charge of the Delta baryon. This suggests a Wu-type experiment to determine the unknown low-energy constant. While this is not feasible in the Delta sector because of the large hadronic width of the Delta, there is a flavor symmetry related process that is accessible: the weak semileptonic decay of the Omega baryon to a spin 3/2 cascade baryon. A broad research program is suggested that can pin down at least the rough size and the sign of the last unknown low-energy constant of the leading-order Lagrangian. It encompasses experimental measurements, in particular the forward-backward asymmetry of the semileptonic decay, together with a determination of the quark-mass dependences using lattice QCD for the narrow decuplet states and chiral perturbation theory to extrapolate to the Delta sector. Besides discussing the strategy of the research program, the present work provides a feasibility check based on a simple leading-order calculation.


title: Invariance principle and local limit theorem for a class of random conductance models with long-range jumps

abstract: We study continuous time random walks on $\mathbb{Z}^d$ (with $d \geq 2$) among random conductances $\{ \omega(\{x,y\}) : x,y \in \mathbb{Z}^d\}$ that permit jumps of arbitrary length. The law of the random variables $\omega(\{x,y\})$, taking values in $[0, \infty)$, is assumed to be stationary and ergodic with respect to space shifts. Assuming that the first moment of $\sum_{x \in \mathbb{Z}^d} \omega(\{0,x\}) |x|^2$ and the $q$-th moment of $1/\omega(0,x)$ for $x$ neighbouring the origin are finite for some $ q >d/2$, we show a quenched invariance principle and a quenched local limit theorem, where the moment condition is optimal for the latter. We also obtain H\"older regularity estimates for solutions of the heat equation for the associated non-local discrete operator, and deduce that the pointwise spectral dimension equals $d$ almost surely. Our results apply to random walks on long-range percolation graphs with connectivity exponents larger than $d+2$ when all nearest-neighbour edges are present.


title: Temperature effects in topological insulators of transition metal dichalcogenide monolayers

abstract: We investigate the role of temperature on the topological insulating state of metal dichalcogenide monolayers, 1T$^\prime$-MX$_2$ (M=W, Mo and X=S, Se). Using first principles calculations based on density functional theory, we consider three temperature-related contributions to the topological band gap: electrons coupling with short-wavelength phonons, with long-wavelength phonons \textit{via} Fr\"ohlich coupling, and thermal expansion. We find that electron-phonon coupling promotes the topology of the electronic structures of all 1T$^\prime$-MX$_2$ monolayers, while thermal expansion acts as a counteracting effect. Additionally, we derive the band renormalization from Fr\"ohlich coupling in the two-dimensional context and observe its relatively modest contribution to 1T$^\prime$-MX$_2$ monolayers. Finally, we present a simplified physical picture to understand the "inverse Varshni" effect driven by band inversion in topological insulators. Our work reveals that, among the four 1T$^\prime$-MX$_2$ studied monolayers, MoSe$_2$ is a promising candidate for room temperature applications as its band gap displays remarkable resilience against thermal expansion, while the topological order of WS$_2$ can be tuned under the combined influence of strain and temperature. Both materials represent novel examples of temperature promoted topological insulators.

categories: cond-mat.mtrl-sci cond-mat.mes-hall cond-mat.other physics.comp-ph


title: A Federated Data Fusion-Based Prognostic Model for Applications with Multi-Stream Incomplete Signals

abstract: Most prognostic methods require a decent amount of data for model training. In reality, however, the amount of historical data owned by a single organization might be small or not large enough to train a reliable prognostic model. To address this challenge, this article proposes a federated prognostic model that allows multiple users to jointly construct a failure time prediction model using their multi-stream, high-dimensional, and incomplete data while keeping each user's data local and confidential. The prognostic model first employs multivariate functional principal component analysis to fuse the multi-stream degradation signals. Then, the fused features coupled with the times-to-failure are utilized to build a (log)-location-scale regression model for failure prediction. To estimate parameters using distributed datasets and keep the data privacy of all participants, we propose a new federated algorithm for feature extraction. Numerical studies indicate that the performance of the proposed model is the same as that of classic non-federated prognostic models and is better than that of the models constructed by each user itself.


title: Masked Face Dataset Generation and Masked Face Recognition

abstract: In the post-pandemic era, wearing face masks has posed great challenge to the ordinary face recognition. In the previous study, researchers has applied pretrained VGG16, and ResNet50 to extract features on the elaborate curated existing masked face recognition (MFR) datasets, RMFRD and SMFRD. To make the model more adaptable to the real world situation where the sample size is smaller and the camera environment has greater changes, we created a more challenging masked face dataset ourselves, by selecting 50 identities with 1702 images from Labelled Faces in the Wild (LFW) Dataset, and simulated face masks through key point detection. The another part of our study is to solve the masked face recognition problem, and we chose models by referring to the former state of the art results, instead of directly using pretrained models, we fine tuned the model on our new dataset and use the last linear layer to do the classification directly. Furthermore, we proposed using data augmentation strategy to further increase the test accuracy, and fine tuned a new networks beyond the former study, one of the most SOTA networks, Inception ResNet v1. The best test accuracy on 50 identity MFR has achieved 95%.


title: Minimal Equational Theories for Quantum Circuits

abstract: We introduce the first minimal and complete equational theory for quantum circuits. Hence, we show that any true equation on quantum circuits can be derived from simple rules, all of them being standard except a novel but intuitive one which states that a multi-control $2\pi$ rotation is nothing but the identity. Our work improves on the recent complete equational theories for quantum circuits, by getting rid of several rules including a fairly impractical one. One of our main contributions is to prove the minimality of the equational theory, i.e. none of the rules can be derived from the other ones. More generally, we demonstrate that any complete equational theory on quantum circuits (when all gates are unitary) requires rules acting on an unbounded number of qubits. Finally, we also simplify the complete equational theories for quantum circuits with ancillary qubits and/or qubit discarding.


title: Temporal Performance Prediction for Deep Convolutional Long Short-Term Memory Networks

abstract: Quantifying predictive uncertainty of deep semantic segmentation networks is essential in safety-critical tasks. In applications like autonomous driving, where video data is available, convolutional long short-term memory networks are capable of not only providing semantic segmentations but also predicting the segmentations of the next timesteps. These models use cell states to broadcast information from previous data by taking a time series of inputs to predict one or even further steps into the future. We present a temporal postprocessing method which estimates the prediction performance of convolutional long short-term memory networks by either predicting the intersection over union of predicted and ground truth segments or classifying between intersection over union being equal to zero or greater than zero. To this end, we create temporal cell state-based input metrics per segment and investigate different models for the estimation of the predictive quality based on these metrics. We further study the influence of the number of considered cell states for the proposed metrics.


title: Optimal portfolio allocation with uncertain covariance matrix

abstract: In this paper, we explore the portfolio allocation problem involving an uncertain covariance matrix. We calculate the expected value of the Constant Absolute Risk Aversion (CARA) utility function, marginalized over a distribution of covariance matrices. We show that marginalization introduces a logarithmic dependence on risk, as opposed to the linear dependence assumed in the mean-variance approach. Additionally, it leads to a decrease in the allocation level for higher uncertainties. Our proposed method extends the mean-variance approach by considering the uncertainty associated with future covariance matrices and expected returns, which is important for practical applications.


title: Towards Robotic Tree Manipulation: Leveraging Graph Representations

abstract: There is growing interest in automating agricultural tasks that require intricate and precise interaction with specialty crops, such as trees and vines. However, developing robotic solutions for crop manipulation remains a difficult challenge due to complexities involved in modeling their deformable behavior. In this study, we present a framework for learning the deformation behavior of tree-like crops under contact interaction. Our proposed method involves encoding the state of a spring-damper modeled tree crop as a graph. This representation allows us to employ graph networks to learn both a forward model for predicting resulting deformations, and a contact policy for inferring actions to manipulate tree crops. We conduct a comprehensive set of experiments in a simulated environment and demonstrate generalizability of our method on previously unseen trees. Videos can be found on the project website: https://kantor-lab.github.io/tree_gnn


title: Qualifying System F-sub

abstract: Type qualifiers offer a lightweight mechanism for enriching existing type systems to enforce additional, desirable, program invariants. They do so by offering a restricted but effective form of subtyping. While the theory of type qualifiers is well understood and present in many programming languages today, polymorphism over type qualifiers is an area that is less examined. We explore how such a polymorphic system could arise by constructing a calculus System F<:Q which combines the higher-rank bounded polymorphism of System F<: with the theory of type qualifiers. We explore how the ideas used to construct System F<:Q can be reused in situations where type qualifiers naturally arise -- in reference immutability, function colouring, and capture checking. Finally, we re-examine other qualifier systems in the literature in light of the observations presented while developing System F<:Q.


title: HESS J1809-193: Gamma-Ray Emission by Cosmic Rays from Past Explosion

abstract: The very high energy gamma-ray source HESS J1809-193 has been detected by the LHAASO and HAWC observatory beyond 100 TeV energy. It is an interesting candidate for exploring the underlying mechanisms of gamma-ray production due to the presence of supernova remnants, pulsar and molecular clouds close to it. We have considered the injection of the energetic cosmic rays from a past explosion, whose reminiscent may be SNR G011.0-00.0, which is located within the extended gamma-ray source HESS J1809-193. We explain the multi-wavelength data from the region of HESS J1809-193 with synchrotron, inverse Compton, bremsstrahlung emission of cosmic ray electrons and secondary gamma-ray production in interactions of cosmic ray protons with the cold protons in the local molecular clouds within a time-dependent framework including the diffusion loss of cosmic rays. The observational data has been modelled with the secondary photons produced by the time-evolved cosmic ray spectrum, assuming the age of the explosion is 4500 years.


title: Quieting the Static: A Study of Static Analysis Alert Suppressions

abstract: Static analysis tools are commonly used to detect defects before the code is released. Previous research has focused on their overall effectiveness and their ability to detect defects. However, little is known about the usage patterns of warning suppressions: the configurations developers set up in order to prevent the appearance of specific warnings. We address this gap by analyzing how often are warning suppression features used, which warning suppression features are used and for what purpose, and also how could the use of warning suppression annotations be avoided. To answer these questions we examine 1\,425 open-source Java-based projects that utilize Findbugs or Spotbugs for warning-suppressing configurations and source code annotations. We find that although most warnings are suppressed, only a small portion of them get frequently suppressed. Contrary to expectations, false positives account for a minor proportion of suppressions. A significant number of suppressions introduce technical debt, suggesting potential disregard for code quality or a lack of appropriate guidance from the tool. Misleading suggestions and incorrect assumptions also lead to suppressions. Findings underscore the need for better communication and education related to the use of static analysis tools, improved bug pattern definitions, and better code annotation. Future research can extend these findings to other static analysis tools, and apply them to improve the effectiveness of static analysis.


title: The galaxies missed by Hubble and ALMA: the contribution of extremely red galaxies to the cosmic census at 3<z<8

abstract: Using deep JWST imaging from JADES, JEMS and SMILES, we characterize optically-faint and extremely red galaxies at $z>3$ that were previously missing from galaxy census estimates. The data indicate the existence of abundant, dusty and post-starburst-like galaxies down to $10^8$M$_\odot$, below the sensitivity limit of Spitzer and ALMA. Modeling the NIRCam and HST photometry of these red sources can result in extreme, high values for both stellar mass and star formation rate (SFR); however, including 7 MIRI filters out to 21$\mu$m results in decreased mass (median 0.6 dex for log$_{10}$M$^*$/M$_{\odot}>$10), and SFR (median 10$\times$ for SFR$>$100 M$_{\odot}$/yr). At $z>6$, our sample includes a high fraction of little red dots (LRDs; NIRCam-selected dust-reddened AGN candidates). We significantly measure older stellar populations in the LRDs out to rest-frame 3$\mu$m (the stellar bump) and rule out a dominant contribution from hot dust emission, a signature of AGN contamination to stellar population measurements. This allows us to measure their contribution to the cosmic census at $z>3$, below the typical detection limits of ALMA ($L_{\rm IR}<10^{12}L_\odot$). We find that these sources, which are overwhelmingly missed by HST and ALMA, could effectively double the obscured fraction of the star formation rate density at $4<z<6$ compared to some estimates, showing that prior to JWST, the obscured contribution from fainter sources could be underestimated. Finally, we identify five sources with evidence for Balmer breaks and high stellar masses at $5.5<z<7.7$. While spectroscopy is required to determine their nature, we discuss possible measurement systematics to explore with future data.


title: Psychometric Predictive Power of Large Language Models

abstract: Instruction tuning aligns the response of large language models (LLMs) with human preferences. Despite such efforts in human--LLM alignment, we find that instruction tuning does not always make LLMs human-like from a cognitive modeling perspective. More specifically, next-word probabilities estimated by instruction-tuned LLMs are often worse at simulating human reading behavior than those estimated by base LLMs. In addition, we explore prompting methodologies for simulating human reading behavior with LLMs. Our results show that prompts reflecting a particular linguistic hypothesis improve psychometric predictive power, but are still inferior to small base models. These findings highlight that recent advancements in LLMs, i.e., instruction tuning and prompting, do not offer better estimates than direct probability measurements from base LLMs in cognitive modeling. In other words, pure next-word probability remains a strong predictor for human reading behavior, even in the age of LLMs.


title: EvoFed: Leveraging Evolutionary Strategies for Communication-Efficient Federated Learning

abstract: Federated Learning (FL) is a decentralized machine learning paradigm that enables collaborative model training across dispersed nodes without having to force individual nodes to share data. However, its broad adoption is hindered by the high communication costs of transmitting a large number of model parameters. This paper presents EvoFed, a novel approach that integrates Evolutionary Strategies (ES) with FL to address these challenges. EvoFed employs a concept of 'fitness-based information sharing', deviating significantly from the conventional model-based FL. Rather than exchanging the actual updated model parameters, each node transmits a distance-based similarity measure between the locally updated model and each member of the noise-perturbed model population. Each node, as well as the server, generates an identical population set of perturbed models in a completely synchronized fashion using the same random seeds. With properly chosen noise variance and population size, perturbed models can be combined to closely reflect the actual model updated using the local dataset, allowing the transmitted similarity measures (or fitness values) to carry nearly the complete information about the model parameters. As the population size is typically much smaller than the number of model parameters, the savings in communication load is large. The server aggregates these fitness values and is able to update the global model. This global fitness vector is then disseminated back to the nodes, each of which applies the same update to be synchronized to the global model. Our analysis shows that EvoFed converges, and our experimental results validate that at the cost of increased local processing loads, EvoFed achieves performance comparable to FedAvg while reducing overall communication requirements drastically in various practical settings.


title: Combing a hedgehog over a field

abstract: We investigate the question of the existence of a non-vanishing section of the tangent bundle on a smooth affine quadric hypersurface $Q^o$ over a given perfect field $k$. In case $Q^o$ admits a $k$-rational point, we give necessary and sufficient conditions for such existence. We apply these conditions in a number of examples, including the case of the algebraic $n$-sphere over $k$, $S^n_k\subset \mathbb{A}^{n+1}_k$, defined by the equation $\sum_{i=1}^{n+1}x_i^2=1$.


title: Vertiport Navigation Requirements and Multisensor Architecture Considerations for Urban Air Mobility

abstract: Communication, Navigation and Surveillance (CNS) technologies are key enablers for future safe operation of drones in urban environments. However, the design of navigation technologies for these new applications is more challenging compared to e.g., civil aviation. On the one hand, the use cases and operations in urban environments are expected to have stringent requirements in terms of accuracy, integrity, continuity and availability. On the other hand, airborne sensors may not be based on high-quality equipment as in civil aviation and solutions need to rely on tighter multisensor solutions, whose safety is difficult to assess. In this work, we first provide some initial navigation requirements related to precision approach operations based on recently proposed vertiport designs. Then, we provide an overview of a possible multisensor navigation architecture solution able to support these types of operations and we comment on the challenges of each of the subsystems. Finally, initial proof of concept for some navigation sensor subsystems is presented based on flight trials performed during the German Aerospace Center (DLR) project HorizonUAM.


title: The eROSITA view of the Abell 3391/95 field: Cluster Outskirts and Filaments

abstract: Aims. We aim to characterize the gas properties in the cluster outskirts ($R_{500}<r<R_{200}$) and in the detected inter-cluster filaments ($>R_{200}$) of the A3391/95 system and to compare them to predictions. Methods. We performed X-ray image and spectral analyses using the eROSITA PV data to assess the gas morphology and properties in the outskirts and the filaments in the directions of the previously detected Northern and Southern Filament of the A3391/95 system. We took particular care of the foreground. Results. In the filament-facing outskirts of A3391 and the Northern Clump, we find higher temperatures than typical cluster outskirts profiles, with a significance of $1.6-2.8\sigma$, suggesting heating due to their connections with the filaments. We confirm SB excess in the profiles of the Northern, Eastern, and Southern Filaments. From spectral analysis, we detect hot gas of ~1 keV for the Northern and Southern Filaments. The filament metallicities are below 10% solar metallicity and the $n_e$ range between 2.6 and $6.3\times10^{-5}~\mathrm{cm^{-3}}$. The characteristic properties of the Little Southern Clump (~1.5$R_{200}$ from A3395S in the Southern Filament) suggest that it is a small galaxy group. Excluding the LSC from the analysis of the Southern Filament decreases the gas density by 30%. This shows the importance of taking into account any clumps to avoid overestimation of the gas measurement in the outskirts and filament regions. Conclusions. The $n_e$ of the filaments are consistent with the WHIM properties as predicted by cosmological simulations, but the temperatures are higher, close to the upper WHIM temperature limit. As both filaments are short and located in a denser environment, stronger gravitational heating may be responsible for this temperature enhancement. The metallicities are low, but still within the expected range from the simulations.


title: Twisted Commutators and Internal Crossed Modules

abstract: We introduce a notion of relative commutator -- an important special case being commutators twisted by an action -- as a straightforward modification of the definition of the Higgins commutator, establish its relation with a new notion of commutativity -- also obtained as a modification of the usual notion -- and show how we can use it to characterise internal crossed modules in the context of a semi-abelian category.


title: A Guide to Evaluating the Experience of Media and Arts Technology

abstract: Evaluation is essential to understanding the value that digital creativity brings to people's experience, for example in terms of their enjoyment, creativity, and engagement. There is a substantial body of research on how to design and evaluate interactive arts and digital creativity applications. There is also extensive Human-Computer Interaction (HCI) literature on how to evaluate user interfaces and user experiences. However, it can be difficult for artists, practitioners, and researchers to navigate such a broad and disparate collection of materials when considering how to evaluate technology they create that is at the intersection of art and interaction. This chapter provides a guide to designing robust user studies of creative applications at the intersection of art, technology and interaction, which we refer to as Media and Arts Technology (MAT). We break MAT studies down into two main kinds: proof-of-concept and comparative studies. As MAT studies are exploratory in nature, their evaluation requires the collection and analysis of both qualitative data such as free text questionnaire responses, interviews, and observations, and also quantitative data such as questionnaires, number of interactions, and length of time spent interacting. This chapter draws on over 15 years of experience of designing and evaluating novel interactive systems to provide a concrete template on how to structure a study to evaluate MATs that is both rigorous and repeatable, and how to report study results that are publishable and accessible to a wide readership in art and science communities alike.


title: A Step Closer to Comprehensive Answers: Constrained Multi-Stage Question Decomposition with Large Language Models

abstract: While large language models exhibit remarkable performance in the Question Answering task, they are susceptible to hallucinations. Challenges arise when these models grapple with understanding multi-hop relations in complex questions or lack the necessary knowledge for a comprehensive response. To address this issue, we introduce the "Decompose-and-Query" framework (D&Q). This framework guides the model to think and utilize external knowledge similar to ReAct, while also restricting its thinking to reliable information, effectively mitigating the risk of hallucinations. Experiments confirm the effectiveness of D&Q: On our ChitChatQA dataset, D&Q does not lose to ChatGPT in 67% of cases; on the HotPotQA question-only setting, D&Q achieved an F1 score of 59.6%. Our code is available at https://github.com/alkaidpku/DQ-ToolQA.


title: How Physicality Enables Trust: A New Era of Trust-Centered Cyberphysical Systems

abstract: Multi-agent cyberphysical systems enable new capabilities in efficiency, resilience, and security. The unique characteristics of these systems prompt a reevaluation of their security concepts, including their vulnerabilities, and mechanisms to mitigate these vulnerabilities. This survey paper examines how advancement in wireless networking, coupled with the sensing and computing in cyberphysical systems, can foster novel security capabilities. This study delves into three main themes related to securing multi-agent cyberphysical systems. First, we discuss the threats that are particularly relevant to multi-agent cyberphysical systems given the potential lack of trust between agents. Second, we present prospects for sensing, contextual awareness, and authentication, enabling the inference and measurement of ``inter-agent trust" for these systems. Third, we elaborate on the application of quantifiable trust notions to enable ``resilient coordination," where ``resilient" signifies sustained functionality amid attacks on multiagent cyberphysical systems. We refer to the capability of cyberphysical systems to self-organize, and coordinate to achieve a task as autonomy. This survey unveils the cyberphysical character of future interconnected systems as a pivotal catalyst for realizing robust, trust-centered autonomy in tomorrow's world.


title: Ara2: Exploring Single- and Multi-Core Vector Processing with an Efficient RVV 1.0 Compliant Open-Source Processor

abstract: Vector processing is highly effective in boosting processor performance and efficiency for data-parallel workloads. In this paper, we present Ara2, the first fully open-source vector processor to support the RISC-V V 1.0 frozen ISA. We evaluate Ara2's performance on a diverse set of data-parallel kernels for various problem sizes and vector-unit configurations, achieving an average functional-unit utilization of 95% on the most computationally intensive kernels. We pinpoint performance boosters and bottlenecks, including the scalar core, memories, and vector architecture, providing insights into the main vector architecture's performance drivers. Leveraging the openness of the design, we implement Ara2 in a 22nm technology, characterize its PPA metrics on various configurations (2-16 lanes), and analyze its microarchitecture and implementation bottlenecks. Ara2 achieves a state-of-the-art energy efficiency of 37.8 DP-GFLOPS/W (0.8V) and 1.35GHz of clock frequency (critical path: ~40 FO4 gates). Finally, we explore the performance and energy-efficiency trade-offs of multi-core vector processors: we find that multiple vector cores help overcome the scalar core issue-rate bound that limits short-vector performance. For example, a cluster of eight 2-lane Ara2 (16 FPUs) achieves more than 3x better performance than a 16-lane single-core Ara2 (16 FPUs) when executing a 32x32x32 matrix multiplication, with 1.5x improved energy efficiency.


title: Biodiversity analysis of metaproteomics samples with Unipept: a comprehensive tutorial

abstract: Metaproteomics has become a crucial omics technology for studying microbiomes. In this area, the Unipept ecosystem, accessible at https://unipept.ugent.be, has emerged as an invaluable resource for analyzing metaproteomic data. It offers in-depth insights into both taxonomic distributions and functional characteristics of complex ecosystems. This tutorial explains essential concepts like Lowest Common Ancestor (LCA) determination and the handling of peptides with missed cleavages. It also provides a detailed, step-by-step guide on using the Unipept Web application and Unipept Desktop for thorough metaproteomics analyses. By integrating theoretical principles with practical methodologies, this tutorial empowers researchers with the essential knowledge and tools needed to fully utilize metaproteomics in their microbiome studies.


title: The Last Decade in Review: Tracing the Evolution of Safety Assurance Cases through a Comprehensive Bibliometric Analysis

abstract: Safety assurance is of paramount importance across various domains, including automotive, aerospace, and nuclear energy, where the reliability and acceptability of mission-critical systems are imperative. This assurance is effectively realized through the utilization of Safety Assurance Cases. The use of safety assurance cases allows for verifying the correctness of the created systems capabilities, preventing system failure. The latter may result in loss of life, severe injuries, large-scale environmental damage, property destruction, and major economic loss. Still, the emergence of complex technologies such as cyber-physical systems (CPSs), characterized by their heterogeneity, autonomy, machine learning capabilities, and the uncertainty of their operational environments poses significant challenges for safety assurance activities. Several papers have tried to propose solutions to tackle these challenges, but to the best of our knowledge, no secondary study investigates the trends, patterns, and relationships characterizing the safety case scientific literature. This makes it difficult to have a holistic view of the safety case landscape and to identify the most promising future research directions. In this paper, we, therefore, rely on state-of-the-art bibliometric tools(e.g., VosViewer) to conduct a bibliometric analysis that allows us to generate valuable insights, identify key authors and venues, and gain a birds eye view of the current state of research in the safety assurance area. By revealing knowledge gaps and highlighting potential avenues for future research, our analysis provides an essential foundation for researchers, corporate safety analysts, and regulators seeking to embrace or enhance safety practices that align with their specific needs and objectives.


title: MacMahon's sums-of-divisors and allied $q$-series

abstract: Here we investigate the $q$-series \begin{align*} \mathcal{U}_a(q)&=\sum_{n=0}^{\infty} MO(a;n)q^n&:=\sum_{0< k_1<k_2<\cdots<k_a} \frac{q^{k_1+k_2+\cdots+k_a}}{(1-q^{k_1})^2(1-q^{k_2})^2\cdots(1-q^{k_a})^2},\\ \mathcal{U}_a^{\star}(q)&=\sum_{n=0}^{\infty}M(a;n)q^n&:=\sum_{1\leq k_1\leq k_2\leq\cdots\leq k_a} \frac{q^{k_1+k_2+\cdots+k_a}}{(1-q^{k_1})^2(1-q^{k_2})^2\cdots(1-q^{k_a})^2}. \end{align*} MacMahon introduced the $\mathcal{U}_a(q)$ in his seminal work on partitions and divisor functions. Recent works show that these series are sums of quasimodular forms with weights $\leq 2a.$ We make this explicit by describing them in terms of Eisenstein series. We use these formulas to obtain explicit and general congruences for the coefficients $MO(a;n)$ and $M(a;n).$ Notably, we prove the conjecture of Amdeberhan-Andrews-Tauraso as the $m=0$ special case of the infinite family of congruences $$ MO(11m+10; 11n+7)\equiv 0\pmod{11}, $$ and we prove that $$ MO(17m+16; 17n+15)\equiv 0\pmod{17}. $$ We obtain further formulae using the limiting behavior of these series. For $n\leq a+\binom{a+1}2,$ we obtain a ``hook length'' formulae for $MO(a;n)$, and for $n\leq 2a$, we find that $M(a;n)=\binom{a+n-1}{n-a}+\binom{a+n-2}{n-a-1}.$


title: Multilingual Nonce Dependency Treebanks: Understanding how Language Models represent and process syntactic structure

abstract: We introduce SPUD (Semantically Perturbed Universal Dependencies), a framework for creating nonce treebanks for the multilingual Universal Dependencies (UD) corpora. SPUD data satisfies syntactic argument structure, provides syntactic annotations, and ensures grammaticality via language-specific rules. We create nonce data in Arabic, English, French, German, and Russian, and demonstrate two use cases of SPUD treebanks. First, we investigate the effect of nonce data on word co-occurrence statistics, as measured by perplexity scores of autoregressive (ALM) and masked language models (MLM). We find that ALM scores are significantly more affected by nonce data than MLM scores. Second, we show how nonce data affects the performance of syntactic dependency probes. We replicate the findings of M\"uller-Eberstein et al. (2022) on nonce test data and show that the performance declines on both MLMs and ALMs wrt. original test data. However, a majority of the performance is kept, suggesting that the probe indeed learns syntax independently from semantics.


title: Reducing the Need for Backpropagation and Discovering Better Optima With Explicit Optimizations of Neural Networks

abstract: Iterative differential approximation methods that rely upon backpropagation have enabled the optimization of neural networks; however, at present, they remain computationally expensive, especially when training models at scale. In this paper, we propose a computationally efficient alternative for optimizing neural networks that can both reduce the costs of scaling neural networks and provide high-efficiency optimizations for low-resource applications. We derive an explicit solution to a simple feed-forward language model (LM) by mathematically analyzing its gradients. This solution generalizes from single-layer LMs to the class of all single-layer feed-forward softmax-activated neural models trained on positive-valued features, as is demonstrated by our extension of this solution application to MNIST digit classification. For both LM and digit classifiers, we find computationally that explicit solutions perform near-optimality in experiments showing that 1) iterative optimization only marginally improves the explicit solution parameters and 2) randomly initialized parameters iteratively optimize towards the explicit solution. We also preliminarily apply the explicit solution locally by layer in multi-layer networks and discuss how the solution's computational savings increase with model complexity -- for both single- and mult-layer applications of the explicit solution, we emphasize that the optima achieved cannot be reached by backpropagation alone, i.e., better optima appear discoverable only after explicit solutions are applied. Finally, we discuss the solution's computational savings alongside its impact on model interpretability and suggest future directions for the derivation of explicit solutions to complex- and multi-layer architectures.


title: Bridging the Sim-to-Real Gap with Dynamic Compliance Tuning for Industrial Insertion

abstract: Contact-rich manipulation tasks often exhibit a large sim-to-real gap. For instance, industrial assembly tasks frequently involve tight insertions where the clearance is less than 0.1 mm and can even be negative when dealing with a deformable receptacle. This narrow clearance leads to complex contact dynamics that are difficult to model accurately in simulation, making it challenging to transfer simulation-learned policies to real-world robots. In this paper, we propose a novel framework for robustly learning manipulation skills for real-world tasks using simulated data only. Our framework consists of two main components: the "Force Planner" and the "Gain Tuner". The Force Planner plans both the robot motion and desired contact force, while the Gain Tuner dynamically adjusts the compliance control gains to track the desired contact force during task execution. The key insight is that by dynamically adjusting the robot's compliance control gains during task execution, we can modulate contact force in the new environment, thereby generating trajectories similar to those trained in simulation and narrowing the sim-to-real gap. Experimental results show that our method, trained in simulation on a generic square peg-and-hole task, can generalize to a variety of real-world insertion tasks involving narrow and negative clearances, all without requiring any fine-tuning. Videos are available at https://dynamic-compliance.github.io.


title: Biaxial nematic order in fundamental measure theory

abstract: Liquid crystals consisting of biaxial particles can exhibit a much richer phase behavior than their uniaxial counterparts. Usually, one has to rely on simulation results to understand the phase diagram of these systems, since very few analytical results exist. In this work, we apply fundamental measure theory, which allows us to derive free energy functionals for hard particles from first principles and with high accuracy, to systems of hard cylinders, cones and spherotriangles. We provide a general recipe for incorporating biaxial liquid crystal order parameters into fundamental measure theory and use this framework to obtain the phase boundaries for the emergence of orientational order in the considered systems. Our results provide insights into the phase behavior of biaxial nematic liquid crystals and, in particular, into methods for their analytical investigation.


title: Structure of non-classical Fuchsian Schottky groups

abstract: In this article, we have initiated the non-classical structure on a type of generalized Schottky group (for instance Fuchsian Schottky groups) in the hyperbolic plane with boundary. A Schottky group is said to be non-classical if the curves used in the Schottky construction are Jordan curves. In fact, in this paper, we have provided a structure of the rank $2$ non-classical Fuchsian Schottky groups by using two suitable hyperbolic M\"obius transformations on the upper-half plane model. In particular, we have derived two non-trivial examples of non-classical Fuchsian Schottky groups in the upper-half plane with the circle at infinity as the boundary.


title: ARWalker: A Virtual Walking Companion Application

abstract: Extended Reality (XR) technologies, including Augmented Reality (AR), have attracted significant attention over the past few years and have been utilized in several fields, including education, healthcare, and manufacturing. In this paper, we aim to explore the use of AR in the field of biomechanics and human movement through the development of ARWalker, which is an AR application that features virtual walking companions (avatars). Research participants walk in close synchrony with the virtual companions, whose gait exhibits properties found in the gait of young and healthy adults. As a result, research participants can train their gait to the gait of the avatar, thus regaining the healthy properties of their gait and reducing the risk of falls. ARWalker can especially help older adults and individuals with diseases, who exhibit pathological gait thus being more prone to falls. We implement a prototype of ARWalker and evaluate its systems performance while running on a Microsoft Hololens 2 headset.


title: Planar graphs deformations of bordered knot algebras

abstract: In an earlier paper, we introduced ``bordered knot algebras'', which are graded algebras indexed by a pair of integers (m,k). In a subsequent paper, we introduced a two-parameter family of differential graded algebra, the ``pong algebras'', and identified their homology with the bordered knot algebras, and characterized the induced A-infinity structure on the homology. The aim of the present paper is to give an explicit, combinatorial model for this A-infinity structure on the bordered knot algebras, and a further weighted deformation of this structure, in the case where k=1.


title: STEM Rebalance: A Novel Approach for Tackling Imbalanced Datasets using SMOTE, Edited Nearest Neighbour, and Mixup

abstract: Imbalanced datasets in medical imaging are characterized by skewed class proportions and scarcity of abnormal cases. When trained using such data, models tend to assign higher probabilities to normal cases, leading to biased performance. Common oversampling techniques such as SMOTE rely on local information and can introduce marginalization issues. This paper investigates the potential of using Mixup augmentation that combines two training examples along with their corresponding labels to generate new data points as a generic vicinal distribution. To this end, we propose STEM, which combines SMOTE-ENN and Mixup at the instance level. This integration enables us to effectively leverage the entire distribution of minority classes, thereby mitigating both between-class and within-class imbalances. We focus on the breast cancer problem, where imbalanced datasets are prevalent. The results demonstrate the effectiveness of STEM, which achieves AUC values of 0.96 and 0.99 in the Digital Database for Screening Mammography and Wisconsin Breast Cancer (Diagnostics) datasets, respectively. Moreover, this method shows promising potential when applied with an ensemble of machine learning (ML) classifiers.


title: What can we learn from diffusion about Anderson localization of a degenerate Fermi gas?

abstract: Disorder can fundamentally modify the transport properties of a system. A striking example is Anderson localization, suppressing transport due to destructive interference of propagation paths. In inhomogeneous many-body systems, not all particles are localized for finite-strength disorder, and the system can become partially diffusive. Unravelling the intricate signatures of localization from such observed diffusion is a long-standing problem. Here, we experimentally study a degenerate, spin-polarized Fermi gas in a disorder potential formed by an optical speckle pattern. We record the diffusion in the disordered potential upon release from an external confining potential. We compare different methods to analyze the resulting density distributions, including a new method to capture particle dynamics by evaluating absorption-image statistics. Using standard observables, such as diffusion exponent and coefficient, localized fraction, or localization length, we find that some show signatures for a transition to localization above a critical disorder strength, while others show a smooth crossover to a modified diffusion regime. In laterally displaced disorder, we spatially resolve different transport regimes simultaneously which allows us to extract the subdiffusion exponent expected for weak localization. Our work emphasizes that the transition toward localization can be investigated by closely analyzing the system's diffusion, offering ways of revealing localization effects beyond the signature of exponentially decaying density distribution.


title: Provably Efficient Learning of Phases of Matter via Dissipative Evolutions

abstract: The combination of quantum many-body and machine learning techniques has recently proved to be a fertile ground for new developments in quantum computing. Several works have shown that it is possible to classically efficiently predict the expectation values of local observables on all states within a phase of matter using a machine learning algorithm after learning from data obtained from other states in the same phase. However, existing results are restricted to phases of matter such as ground states of gapped Hamiltonians and Gibbs states that exhibit exponential decay of correlations. In this work, we drop this requirement and show how it is possible to learn local expectation values for all states in a phase, where we adopt the Lindbladian phase definition by Coser \& P\'erez-Garc\'ia [Coser \& P\'erez-Garc\'ia, Quantum 3, 174 (2019)], which defines states to be in the same phase if we can drive one to other rapidly with a local Lindbladian. This definition encompasses the better-known Hamiltonian definition of phase of matter for gapped ground state phases, and further applies to any family of states connected by short unitary circuits, as well as non-equilibrium phases of matter, and those stable under external dissipative interactions. Under this definition, we show that $N = O(\log(n/\delta)2^{polylog(1/\epsilon)})$ samples suffice to learn local expectation values within a phase for a system with $n$ qubits, to error $\epsilon$ with failure probability $\delta$. This sample complexity is comparable to previous results on learning gapped and thermal phases, and it encompasses previous results of this nature in a unified way. Furthermore, we also show that we can learn families of states which go beyond the Lindbladian definition of phase, and we derive bounds on the sample complexity which are dependent on the mixing time between states under a Lindbladian evolution.


title: Scalar curvature for metric spaces: Defining curvature for Quantum Gravity without coordinates

abstract: Geometrical properties of spacetime are difficult to study in nonperturbative approaches to quantum gravity like Causal Dynamical Triangulations (CDT), where one uses simplicial manifolds to define the gravitational path integral, instead of Riemannian manifolds. In particular, in CDT one only relies on two mathematical tools, a distance measure and a volume measure. In this paper, we define a notion of scalar curvature, for metric spaces endowed with a volume measure or a random walk, without assuming nor using notions of tensor calculus. Furthermore, we directly define the Ricci scalar, without the need of defining and computing the Riemann or the Ricci tensor a priori. For this, we make use of quantities, like the surface of a geodesic sphere, or the return probability of scalar diffusion processes, that can be computed in these metric spaces, as in a Riemannian manifold, where they receive scalar curvature contributions. Our definitions recover the classical results of scalar curvature when the sets are Riemannian manifolds. We propose seven methods to compute the scalar curvature in these spaces, and we compare their features in natural implementations in discrete spaces. The defined generalized scalar curvatures are easily implemented on discrete spaces, like graphs. We present the results of our definitions on random triangulations of a 2D sphere and plane. Additionally, we show the results of our generalized scalar curvatures on the quantum geometries of 2D CDT, where we find that all our definitions indicate a flat ground state of the gravitational path integral.


title: Limiting Current on Periodic Electron Sheets in a Planar Diode

abstract: We consider the steady state limiting current that can be carried by an infinite periodic array of thin electron sheets spaced by period p in a planar diode of gap voltage V and gap separation d. Our primary assumptions are (1) electron motion is restricted by an infinite magnetic field to the direction normal to the electrode surfaces, (2) all electrons are emitted from the cathode with initial kinetic energy Ein, and (3) electron motion is non-relativistic. The limiting current density, averaged over a period and normalized to the classical 1D Child-Langmuir (CL) current density (including a factor that accounts for non-zero Ein), is found to depend only on the two dimensionless parameters p/d and Ein/eV. This average limiting current density is computed from the maximum current density for which the iterative solution of a non-linear integral equation converges. Numerical results and empirical curve fits for the limiting current are presented, together with an analysis as p/d and Ein/eV approach zero or infinity, in which cases previously published results are recovered. Our main finding is that, while the local anode current density within each electron sheet is infinite in our model (that is, it exceeds the classical 1D CL value by an 'infinite' factor), the period average anode current density is in fact still bounded by the classical 1D CL value. This study therefore provides further evidence that the classical 1D Child-Langmuir current density is truly a fundamental limit that cannot be circumvented.


title: A Benchmark to Understand the Role of Knowledge Graphs on Large Language Model's Accuracy for Question Answering on Enterprise SQL Databases

abstract: Enterprise applications of Large Language Models (LLMs) hold promise for question answering on enterprise SQL databases. However, the extent to which LLMs can accurately respond to enterprise questions in such databases remains unclear, given the absence of suitable Text-to-SQL benchmarks tailored to enterprise settings. Additionally, the potential of Knowledge Graphs (KGs) to enhance LLM-based question answering by providing business context is not well understood. This study aims to evaluate the accuracy of LLM-powered question answering systems in the context of enterprise questions and SQL databases, while also exploring the role of knowledge graphs in improving accuracy. To achieve this, we introduce a benchmark comprising an enterprise SQL schema in the insurance domain, a range of enterprise queries encompassing reporting to metrics, and a contextual layer incorporating an ontology and mappings that define a knowledge graph. Our primary finding reveals that question answering using GPT-4, with zero-shot prompts directly on SQL databases, achieves an accuracy of 16%. Notably, this accuracy increases to 54% when questions are posed over a Knowledge Graph representation of the enterprise SQL database. Therefore, investing in Knowledge Graph provides higher accuracy for LLM powered question answering systems.


title: Explicit Foundation Model Optimization with Self-Attentive Feed-Forward Neural Units

abstract: Iterative approximation methods using backpropagation enable the optimization of neural networks, but they remain computationally expensive, especially when used at scale. This paper presents an efficient alternative for optimizing neural networks that reduces the costs of scaling neural networks and provides high-efficiency optimizations for low-resource applications. We will discuss a general result about feed-forward neural networks and then extend this solution to compositional (mult-layer) networks, which are applied to a simplified transformer block containing feed-forward and self-attention layers. These models are used to train highly-specified and complex multi-layer neural architectures that we refer to as self-attentive feed-forward unit (SAFFU) layers, which we use to develop a transformer that appears to generalize well over small, cognitively-feasible, volumes of data. Testing demonstrates explicit solutions outperform models optimized by backpropagation alone. Moreover, further application of backpropagation after explicit solutions leads to better optima from smaller scales of data, training effective models from much less data is enabled by explicit solution warm starts. We then carry out ablation experiments training a roadmap of about 250 transformer models over 1-million tokens to determine ideal settings. We find that multiple different architectural variants produce highly-performant models, and discover from this ablation that some of the best are not the most parameterized. This appears to indicate well-generalized models could be reached using less data by using explicit solutions, and that architectural exploration using explicit solutions pays dividends in guiding the search for efficient variants with fewer parameters, and which could be incorporated into low-resource hardware where AI might be embodied.


title: Uncertainty estimation in satellite precipitation interpolation with machine learning

abstract: Merging satellite and gauge data with machine learning produces high-resolution precipitation datasets, but uncertainty estimates are often missing. We address this gap by benchmarking six algorithms, mostly novel for this task, for quantifying predictive uncertainty in spatial interpolation. On 15 years of monthly data over the contiguous United States (CONUS), we compared quantile regression (QR), quantile regression forests (QRF), generalized random forests (GRF), gradient boosting machines (GBM), light gradient boosting machines (LightGBM), and quantile regression neural networks (QRNN). Their ability to issue predictive precipitation quantiles at nine quantile levels (0.025, 0.050, 0.100, 0.250, 0.500, 0.750, 0.900, 0.950, 0.975), approximating the full probability distribution, was evaluated using quantile scoring functions and the quantile scoring rule. Feature importance analysis revealed satellite precipitation (PERSIANN (Precipitation Estimation from Remotely Sensed Information using Artificial Neural Networks) and IMERG (Integrated Multi-satellitE Retrievals) datasets) as the most informative predictor, followed by gauge elevation and distance to satellite grid points. Compared to QR, LightGBM showed improved performance with respect to the quantile scoring rule by 11.10%, followed by QRF (7.96%), GRF (7.44%), GBM (4.64%) and QRNN (1.73%). Notably, LightGBM outperformed all random forest variants, the current standard in spatial interpolation with machine learning. To conclude, we propose a suite of machine learning algorithms for estimating uncertainty in interpolating spatial data, supported with a formal evaluation framework based on scoring functions and scoring rules.

categories: stat.ML cs.LG physics.ao-ph stat.AP stat.ME


title: Galaxy Clusters Discovered via the Thermal Sunyaev-Zel'dovich Effect in the 500-square-degree SPTpol Survey

abstract: We present a catalog of 689 galaxy cluster candidates detected at significance $\xi>4$ via their thermal Sunyaev-Zel'dovich (SZ) effect signature in 95 and 150 GHz data from the 500-square-degree SPTpol survey. We use optical and infrared data from the Dark Energy Camera and the Wide-field Infrared Survey Explorer (WISE) and \spitzer \ satellites, to confirm 544 of these candidates as clusters with $\sim94\%$ purity. The sample has an approximately redshift-independent mass threshold at redshift $z>0.25$ and spans $1.5 \times 10^{14} < M_{500c} < 9.1 \times 10^{14}$ $M_\odot/h_{70}$ \ and $0.03<z\lesssim1.6$ in mass and redshift, respectively; 21\% of the confirmed clusters are at $z>1$. We use external radio data from the Sydney University Molonglo Sky Survey (SUMSS) to estimate contamination to the SZ signal from synchrotron sources. The contamination reduces the recovered $\xi$ by a median value of 0.032, or $\sim0.8\%$ of the $\xi=4$ threshold value, and $\sim7\%$ of candidates have a predicted contamination greater than $\Delta \xi = 1$. With the exception of a small number of systems $(<1\%)$, an analysis of clusters detected in single-frequency 95 and 150 GHz data shows no significant contamination of the SZ signal by emission from dusty or synchrotron sources. This cluster sample will be a key component in upcoming astrophysical and cosmological analyses of clusters. The SPTpol millimeter-wave maps and associated data products used to produce this sample are available at https://pole.uchicago.edu/public/data/sptpol_500d_clusters/index.html, and the NASA LAMBDA website. An interactive sky server with the SPTpol maps and Dark Energy Survey data release 2 images is also available at NCSA https://skyviewer.ncsa.illinois.edu.


title: A Hypothesis on Good Practices for AI-based Systems for Financial Time Series Forecasting: Towards Domain-Driven XAI Methods

abstract: Machine learning and deep learning have become increasingly prevalent in financial prediction and forecasting tasks, offering advantages such as enhanced customer experience, democratising financial services, improving consumer protection, and enhancing risk management. However, these complex models often lack transparency and interpretability, making them challenging to use in sensitive domains like finance. This has led to the rise of eXplainable Artificial Intelligence (XAI) methods aimed at creating models that are easily understood by humans. Classical XAI methods, such as LIME and SHAP, have been developed to provide explanations for complex models. While these methods have made significant contributions, they also have limitations, including computational complexity, inherent model bias, sensitivity to data sampling, and challenges in dealing with feature dependence. In this context, this paper explores good practices for deploying explainability in AI-based systems for finance, emphasising the importance of data quality, audience-specific methods, consideration of data properties, and the stability of explanations. These practices aim to address the unique challenges and requirements of the financial industry and guide the development of effective XAI tools.


title: VGSG: Vision-Guided Semantic-Group Network for Text-based Person Search

abstract: Text-based Person Search (TBPS) aims to retrieve images of target pedestrian indicated by textual descriptions. It is essential for TBPS to extract fine-grained local features and align them crossing modality. Existing methods utilize external tools or heavy cross-modal interaction to achieve explicit alignment of cross-modal fine-grained features, which is inefficient and time-consuming. In this work, we propose a Vision-Guided Semantic-Group Network (VGSG) for text-based person search to extract well-aligned fine-grained visual and textual features. In the proposed VGSG, we develop a Semantic-Group Textual Learning (SGTL) module and a Vision-guided Knowledge Transfer (VGKT) module to extract textual local features under the guidance of visual local clues. In SGTL, in order to obtain the local textual representation, we group textual features from the channel dimension based on the semantic cues of language expression, which encourages similar semantic patterns to be grouped implicitly without external tools. In VGKT, a vision-guided attention is employed to extract visual-related textual features, which are inherently aligned with visual cues and termed vision-guided textual features. Furthermore, we design a relational knowledge transfer, including a vision-language similarity transfer and a class probability transfer, to adaptively propagate information of the vision-guided textual features to semantic-group textual features. With the help of relational knowledge transfer, VGKT is capable of aligning semantic-group textual features with corresponding visual features without external tools and complex pairwise interaction. Experimental results on two challenging benchmarks demonstrate its superiority over state-of-the-art methods.


title: Geodesic deviation equation in generalized hybrid Metric-Palatini gravity

abstract: In the context of general relativity, the geodesic deviation equation (GDE) relates the Riemann curvature tensor to the relative acceleration of two neighboring geodesics. In this paper, we consider the GDE for the generalized hybrid Metric-Palatini gravity and apply it in this model to investigate the structure of time-like, space-like, and null geodesics in the homogeneous and isotropic universe. We propose a particular case $f(R,{\cal R})=R+{\cal R}$ to study the numerical behavior of the deviation vector $\eta(z)$ and the observer area-distance $r_{0}(z)$ with respect to redshift $z$. Also, we consider the GDE in the framework of the scalar-tensor representation of the generalized hybrid Metric-Palatini gravity i.e. $f(R, {\cal R} )$, in which the model can be considered as dynamically equivalent to a gravitational theory with two scalar fields. Finally, we extend our calculations to obtain the modification of the Mattig relation in this model.


title: Geometric model of quantum navigation during (anti-)search on a plane

abstract: A model of joint random walk of two agents on an infinite plane is considered. The agents possess no means of mutual classical communication, but have access to quantum entanglement resource which is used according to a pre-arranged protocol. Depending on the details of the protocol, an effective force of attraction or repulsion emerges between the two agents. The emergence of this force from quantum entanglement is interpreted in terms of spherical or hyperbolic geometries for attraction or repulsion, respectively.


title: On countable tightness type properties of spaces of quasicontinuous functions

abstract: In this paper we get characterizations countable tightness, countable fan-tightness and countable strong fan-tightness of spaces of quasicontinuous functions with the topology of pointwise convergence from a open Whyburn $T_2$-space $X$ into the discrete two-point space $\{0, 1\}$ through properties of $X$ determined by selection principles. These properties (e.g. $S_1(K, K)$, $K_{\Omega}$-Lindelofness, $S_1(K_{\Omega}, K_{\Omega})$) were defined by M. Scheepers and studied in theory of selection principles in the class of metric spaces. For any cardinal number $\kappa$, we get a functional characterization of $\kappa^+$-Lusin space in class of separable metrizable spaces through tightness of compact subsets of a space of quasicontinuous real-valued functions with the topology of pointwise convergence.


title: FEMDA: a unified framework for discriminant analysis

abstract: Although linear and quadratic discriminant analysis are widely recognized classical methods, they can encounter significant challenges when dealing with non-Gaussian distributions or contaminated datasets. This is primarily due to their reliance on the Gaussian assumption, which lacks robustness. We first explain and review the classical methods to address this limitation and then present a novel approach that overcomes these issues. In this new approach, the model considered is an arbitrary Elliptically Symmetrical (ES) distribution per cluster with its own arbitrary scale parameter. This flexible model allows for potentially diverse and independent samples that may not follow identical distributions. By deriving a new decision rule, we demonstrate that maximum-likelihood parameter estimation and classification are simple, efficient, and robust compared to state-of-the-art methods.


title: Machine Learning For Beamline Steering

abstract: Beam steering is the process involving the calibration of the angle and position at which a particle accelerator's electron beam is incident upon the x-ray target with respect to the rotation axis of the collimator. Beam Steering is an essential task for light sources. In the case under study, the LINAC To Undulator (LTU) section of the beamline is difficult to aim. Each use of the accelerator requires re-calibration of the magnets in this section. This involves a substantial amount of time and effort from human operators, while reducing scientific throughput of the light source. We investigate the use of deep neural networks to assist in this task. The deep learning models are trained on archival data and then validated on simulation data. The performance of the deep learning model is contrasted against that of trained human operators.


title: Dynamic mode decomposition of nonequilibrium electron-phonon dynamics: accelerating the first-principles real-time Boltzmann equation

abstract: Nonequilibrium dynamics governed by electron-phonon (e-ph) interactions plays a key role in electronic devices and spectroscopies and is central to understanding electronic excitations in materials. The real-time Boltzmann transport equation (rt-BTE) with collision processes computed from first principles can describe the coupled dynamics of electrons and atomic vibrations (phonons). Yet, a bottleneck of these simulations is the calculation of e-ph scattering integrals on dense momentum grids at each time step. Here we show a data-driven approach based on dynamic mode decomposition (DMD) that can accelerate the time propagation of the rt-BTE and identify dominant electronic processes. We apply this approach to two case studies, high-field charge transport and ultrafast excited electron relaxation. In both cases, simulating only a short time window of ~10% of the dynamics suffices to predict the dynamics from initial excitation to steady state using DMD extrapolation. Analysis of the momentum-space modes extracted from DMD sheds light on the microscopic mechanisms governing electron relaxation to steady state or equilibrium. The combination of accuracy and efficiency makes our DMD-based method a valuable tool for investigating ultrafast dynamics in a wide range of materials.


title: Sticky Brownian motions on star graphs

abstract: This paper is concerned with the construction of several stochastic processes in a star graph, that is a non-euclidean structure where some features of the classical modelling fail. We propose a model for trapping phenomena with characterization of the traps in terms of a singular measure. This measure also defines a non-local operator by means of which we introduce a non-local dynamic condition for the parabolic problem on the star graph. We study semi-Markov processes on the rays of the graph in order to obtain a probabilistic representation of the motion on the whole graph. Extensions to general graph structures can be given by applying our results on star graphs.


title: The structure and normalized volume of Monge polytopes

abstract: A matrix $C$ has the Monge property if $c_{ij} + c_{IJ} \leq c_{Ij} + c_{iJ}$ for all $i < I$ and $j < J$. Monge matrices play an important role in combinatorial optimization; for example, when the transportation problem (resp., the traveling salesman problem) has a cost matrix which is Monge, then the problem can be solved in linear (resp., quadratic) time. For given matrix dimensions, we define the Monge polytope to be the set of nonnegative Monge matrices normalized with respect to the sum of the entries. In this paper, we give an explicit description and enumeration of the vertices, edges, and facets of the Monge polytope; these results are sufficient to construct the face lattice. In the special case of two-row Monge matrices, we also prove a polytope volume formula. For symmetric Monge matrices, we show that the Monge polytope is a simplex and we prove a general formula for its volume.


title: A novel phenomenological approach to total charm cross section measurements at the LHC

abstract: Measuring the total charm cross section is important for the comparison to theoretical predictions of the highest precision available for charm today, which are completely known up to NNLO QCD for the total inclusive cross sections. These are also independent of charm fragmentation, while practical measurements of charm hadrons in a fiducial phase space are not. Recently the LHC experiments have reported non-universality of charm fragmentation, which shows that e.g. charm baryon-to-meson ratios are not universal in different collision systems, and that the related production fractions also depend on transverse momentum. This breaks the charm fragmentation universality that was assumed until recently for the extrapolation of experimental measurements to the full total charm cross section phase space. A proposal is made how to address this non-universality in a data driven way without the need to implement any particular non-universal fragmentation model. As a practical example, this method is applied to the extrapolation of published LHC measurements of $D^0$ production at $\sqrt{s}=5$ TeV to the corresponding total charm cross section, which fully accounts for charm fragmentation non-universality for the first time. The result, $8.43 ^{+1.05}_{-1.16}(\text{total})$ mb, differs substantially from the one assuming charm fragmentation universality, but still compares well to theoretical QCD predictions up to NNLO.


title: The Link Between Health Insurance Coverage and Citizenship Among Immigrants: Bayesian Unit-Level Regression Modeling of Categorical Survey Data Observed with Measurement Error

abstract: Social scientists are interested in studying the impact that citizenship status has on health insurance coverage among immigrants in the United States. This can be done using data from the Survey of Income and Program Participation (SIPP); however, two primary challenges emerge. First, statistical models must account for the survey design in some fashion to reduce the risk of bias due to informative sampling. Second, it has been observed that survey respondents misreport citizenship status at nontrivial rates. This too can induce bias within a statistical model. Thus, we propose the use of a weighted pseudo-likelihood mixture of categorical distributions, where the mixture component is determined by the latent true response variable, in order to model the misreported data. We illustrate through an empirical simulation study that this approach can mitigate the two sources of bias attributable to the sample design and misreporting. Importantly, our misreporting model can be further used as a component in a deeper hierarchical model. With this in mind, we conduct an analysis of the relationship between health insurance coverage and citizenship status using data from the SIPP.


title: CCD Photometry of the Globular Cluster NGC 5897

abstract: We report CCD photometric observations of the globular cluster NGC 5897, in the Johnson system filters B, V , R, and I. With the values for these magnitudes we obtain various colour indices and produce several colour-magnitude diagrams. We present eight colour-magnitude diagrams: V vs B-V , B vs B-V , V vs V-I, I vs V-I, R vs R-I, I vs R-I, V vs V-R, and R vs V-R. In all of these diagrams we can clearly see the Giant Branch, the Horizontal Branch and the beginning of the Main Sequence. To the left of the Main Sequence turn-off point we detect a somewhat large number of Blue Straggler stars. We determine the mean value of the visual magnitude of the HB as $16.60 \pm 0.46$. This value is fainter than the value found by other authors.


title: Grounding Neuroscience in Behavioral Changes using Artificial Neural Networks

abstract: Connecting neural activity to function is a common aim in neuroscience. How to define and conceptualize function, however, can vary. Here I focus on grounding this goal in the specific question of how a given change in behavior is produced by a change in neural circuits or activity. Artificial neural network models offer a particularly fruitful format for tackling such questions because they use neural mechanisms to perform complex transformations and produce appropriate behavior. Therefore, they can be a means of causally testing the extent to which a neural change can be responsible for an experimentally observed behavioral change. Furthermore, because the field of interpretability in artificial intelligence has similar aims, neuroscientists can look to interpretability methods for new ways of identifying neural features that drive performance and behaviors.