title: A Novel Approach to WaveNet Architecture for RF Signal Separation with Learnable Dilation and Data Augmentation

abstract: In this paper, we address the intricate issue of RF signal separation by presenting a novel adaptation of the WaveNet architecture that introduces learnable dilation parameters, significantly enhancing signal separation in dense RF spectrums. Our focused architectural refinements and innovative data augmentation strategies have markedly improved the model's ability to discern complex signal sources. This paper details our comprehensive methodology, including the refined model architecture, data preparation techniques, and the strategic training strategy that have been pivotal to our success. The efficacy of our approach is evidenced by the substantial improvements recorded: a 58.82\% increase in SINR at a BER of $10^{-3}$ for OFDM-QPSK with EMI Signal 1, surpassing traditional benchmarks. Notably, our model achieved first place in the challenge \cite{datadrivenrf2024}, demonstrating its superior performance and establishing a new standard for machine learning applications within the RF communications domain.


title: Stochastic differential equations for performance analysis of wireless communication systems

abstract: This paper addresses the difficulty of characterizing the time-varying nature of fading channels. The current time-invariant models often fall short of capturing and tracking these dynamic characteristics. To overcome this limitation, we explore using of stochastic differential equations (SDEs) and Markovian projection to model signal envelope variations, considering scenarios involving Rayleigh, Rice, and Hoyt distributions. Furthermore, it is of practical interest to study the performance of channels modeled by SDEs. In this work, we investigate the fade duration metric, representing the time during which the signal remains below a specified threshold within a fixed time interval. We estimate the complementary cumulative distribution function (CCDF) of the fade duration using Monte Carlo simulations, and analyze the influence of system parameters on its behavior. Finally, we leverage importance sampling, a known variance-reduction technique, to estimate the tail of the CCDF efficiently.


title: Multi-Center Fetal Brain Tissue Annotation (FeTA) Challenge 2022 Results

abstract: Segmentation is a critical step in analyzing the developing human fetal brain. There have been vast improvements in automatic segmentation methods in the past several years, and the Fetal Brain Tissue Annotation (FeTA) Challenge 2021 helped to establish an excellent standard of fetal brain segmentation. However, FeTA 2021 was a single center study, and the generalizability of algorithms across different imaging centers remains unsolved, limiting real-world clinical applicability. The multi-center FeTA Challenge 2022 focuses on advancing the generalizability of fetal brain segmentation algorithms for magnetic resonance imaging (MRI). In FeTA 2022, the training dataset contained images and corresponding manually annotated multi-class labels from two imaging centers, and the testing data contained images from these two imaging centers as well as two additional unseen centers. The data from different centers varied in many aspects, including scanners used, imaging parameters, and fetal brain super-resolution algorithms applied. 16 teams participated in the challenge, and 17 algorithms were evaluated. Here, a detailed overview and analysis of the challenge results are provided, focusing on the generalizability of the submissions. Both in- and out of domain, the white matter and ventricles were segmented with the highest accuracy, while the most challenging structure remains the cerebral cortex due to anatomical complexity. The FeTA Challenge 2022 was able to successfully evaluate and advance generalizability of multi-class fetal brain tissue segmentation algorithms for MRI and it continues to benchmark new algorithms. The resulting new methods contribute to improving the analysis of brain development in utero.


title: Different Algorithms (Might) Uncover Different Patterns: A Brain-Age Prediction Case Study

abstract: Machine learning is a rapidly evolving field with a wide range of applications, including biological signal analysis, where novel algorithms often improve the state-of-the-art. However, robustness to algorithmic variability - measured by different algorithms, consistently uncovering similar findings - is seldom explored. In this paper we investigate whether established hypotheses in brain-age prediction from EEG research validate across algorithms. First, we surveyed literature and identified various features known to be informative for brain-age prediction. We employed diverse feature extraction techniques, processing steps, and models, and utilized the interpretative power of SHapley Additive exPlanations (SHAP) values to align our findings with the existing research in the field. Few of our models achieved state-of-the-art performance on the specific data-set we utilized. Moreover, analysis demonstrated that while most models do uncover similar patterns in the EEG signals, some variability could still be observed. Finally, a few prominent findings could only be validated using specific models. We conclude by suggesting remedies to the potential implications of this lack of robustness to model variability.


title: RLEEGNet: Integrating Brain-Computer Interfaces with Adaptive AI for Intuitive Responsiveness and High-Accuracy Motor Imagery Classification

abstract: Current approaches to prosthetic control are limited by their reliance on traditional methods, which lack real-time adaptability and intuitive responsiveness. These limitations are particularly pronounced in assistive technologies designed for individuals with diverse cognitive states and motor intentions. In this paper, we introduce a framework that leverages Reinforcement Learning (RL) with Deep Q-Networks (DQN) for classification tasks. Additionally, we present a preprocessing technique using the Common Spatial Pattern (CSP) for multiclass motor imagery (MI) classification in a One-Versus-The-Rest (OVR) manner. The subsequent 'csp space' transformation retains the temporal dimension of EEG signals, crucial for extracting discriminative features. The integration of DQN with a 1D-CNN-LSTM architecture optimizes the decision-making process in real-time, thereby enhancing the system's adaptability to the user's evolving needs and intentions. We elaborate on the data processing methods for two EEG motor imagery datasets. Our innovative model, RLEEGNet, incorporates a 1D-CNN-LSTM architecture as the Online Q-Network within the DQN, facilitating continuous adaptation and optimization of control strategies through feedback. This mechanism allows the system to learn optimal actions through trial and error, progressively improving its performance. RLEEGNet demonstrates high accuracy in classifying MI-EEG signals, achieving as high as 100% accuracy in MI tasks across both the GigaScience (3-class) and BCI-IV-2a (4-class) datasets. These results highlight the potential of combining DQN with a 1D-CNN-LSTM architecture to significantly enhance the adaptability and responsiveness of BCI systems.


title: Few-Shot Learning with Uncertainty-based Quadruplet Selection for Interference Classification in GNSS Data

abstract: Jamming devices pose a significant threat by disrupting signals from the global navigation satellite system (GNSS), compromising the robustness of accurate positioning. Detecting anomalies in frequency snapshots is crucial to counteract these interferences effectively. The ability to adapt to diverse, unseen interference characteristics is essential for ensuring the reliability of GNSS in real-world applications. In this paper, we propose a few-shot learning (FSL) approach to adapt to new interference classes. Our method employs quadruplet selection for the model to learn representations using various positive and negative interference classes. Furthermore, our quadruplet variant selects pairs based on the aleatoric and epistemic uncertainty to differentiate between similar classes. We recorded a dataset at a motorway with eight interference classes on which our FSL method with quadruplet loss outperforms other FSL techniques in jammer classification accuracy with 97.66%. Dataset available at: https://gitlab.cc-asp.fraunhofer.de/darcy_gnss/FIOT_highway


title: Optimal Thresholding Linear Bandit

abstract: We study a novel pure exploration problem: the $\epsilon$-Thresholding Bandit Problem (TBP) with fixed confidence in stochastic linear bandits. We prove a lower bound for the sample complexity and extend an algorithm designed for Best Arm Identification in the linear case to TBP that is asymptotically optimal.


title: Silica final lens performance in laser fusion facilities: HiPER and LIFE

abstract: Nowadays, the projects LIFE (Laser Inertial Fusion Energy) in USA and HiPER (High Power Laser Energy Research) in Europe are the most advanced ones to demonstrate laser fusion energy viability. One of the main points of concern to properly achieve ignition is the performance of the final optics (lenses) under the severe irradiation conditions that take place in fusion facilities. In this paper, we calculate the radiation fluxes and doses as well as the radiation-induced temperature enhancement and colour centre formation in final lenses assuming realistic geometrical configurations for HiPER and LIFE. On these bases, the mechanical stresses generated by the established temperature gradients are evaluated showing that from a mechanical point of view lenses only fulfill specifications if ions resulting from the imploding target are mitigated. The absorption coefficient of the lenses is calculated during reactor startup and steady-state operation. The obtained results evidence the necessity of new solutions to tackle ignition problems during the startup process for HiPER. Finally, we evaluated the effect of temperature gradients on focal length changes and lens surface deformations. In summary, we discuss the capabilities and weak points of silica lenses and propose alternatives to overcome predictable problems.


title: Fourier Circuits in Neural Networks: Unlocking the Potential of Large Language Models in Mathematical Reasoning and Modular Arithmetic

abstract: In the evolving landscape of machine learning, a pivotal challenge lies in deciphering the internal representations harnessed by neural networks and Transformers. Building on recent progress toward comprehending how networks execute distinct target functions, our study embarks on an exploration of the underlying reasons behind networks adopting specific computational strategies. We direct our focus to the complex algebraic learning task of modular addition involving $k$ inputs. Our research presents a thorough analytical characterization of the features learned by stylized one-hidden layer neural networks and one-layer Transformers in addressing this task. A cornerstone of our theoretical framework is the elucidation of how the principle of margin maximization shapes the features adopted by one-hidden layer neural networks. Let $p$ denote the modulus, $D_p$ denote the dataset of modular arithmetic with $k$ inputs and $m$ denote the network width. We demonstrate that a neuron count of $ m \geq 2^{2k-2} \cdot (p-1) $, these networks attain a maximum $ L_{2,k+1} $-margin on the dataset $ D_p $. Furthermore, we establish that each hidden-layer neuron aligns with a specific Fourier spectrum, integral to solving modular addition problems. By correlating our findings with the empirical observations of similar studies, we contribute to a deeper comprehension of the intrinsic computational mechanisms of neural networks. Furthermore, we observe similar computational mechanisms in the attention matrix of the one-layer Transformer. This research stands as a significant stride in unraveling their operation complexities, particularly in the realm of complex algebraic tasks.


title: Rolling Diffusion Models

abstract: Diffusion models have recently been increasingly applied to temporal data such as video, fluid mechanics simulations, or climate data. These methods generally treat subsequent frames equally regarding the amount of noise in the diffusion process. This paper explores Rolling Diffusion: a new approach that uses a sliding window denoising process. It ensures that the diffusion process progressively corrupts through time by assigning more noise to frames that appear later in a sequence, reflecting greater uncertainty about the future as the generation process unfolds. Empirically, we show that when the temporal dynamics are complex, Rolling Diffusion is superior to standard diffusion. In particular, this result is demonstrated in a video prediction task using the Kinetics-600 video dataset and in a chaotic fluid dynamics forecasting experiment.


title: Machine Learning for Stochastic Parametrisation

abstract: Atmospheric models used for weather and climate prediction are traditionally formulated in a deterministic manner. In other words, given a particular state of the resolved scale variables, the most likely forcing from the sub-grid scale processes is estimated and used to predict the evolution of the large-scale flow. However, the lack of scale-separation in the atmosphere means that this approach is a large source of error in forecasts. Over recent years, an alternative paradigm has developed: the use of stochastic techniques to characterise uncertainty in small-scale processes. These techniques are now widely used across weather, sub-seasonal, seasonal, and climate timescales. In parallel, recent years have also seen significant progress in replacing parametrisation schemes using machine learning (ML). This has the potential to both speed up and improve our numerical models. However, the focus to date has largely been on deterministic approaches. In this position paper, we bring together these two key developments, and discuss the potential for data-driven approaches for stochastic parametrisation. We highlight early studies in this area, and draw attention to the novel challenges that remain.


title: Identifying Intended Effects with Causal Models

abstract: The aim of this paper is to extend the framework of causal inference, in particular as it has been developed by Judea Pearl, in order to model actions and identify their intended effects, in the direction opened by Elisabeth Anscombe. We show how intentions can be inferred from a causal model and its implied correlations observable in data. The paper defines confounding effects as the reasons why teleological inference may fail and introduces interference as a way to control for them. The ''fundamental problem'' of teleological inference is presented, explaining why causal analysis needs an extension in order to take intentions into account.


title: One-for-many Counterfactual Explanations by Column Generation

abstract: In this paper, we consider the problem of generating a set of counterfactual explanations for a group of instances, with the one-for-many allocation rule, where one explanation is allocated to a subgroup of the instances. For the first time, we solve the problem of minimizing the number of explanations needed to explain all the instances, while considering sparsity by limiting the number of features allowed to be changed collectively in each explanation. A novel column generation framework is developed to efficiently search for the explanations. Our framework can be applied to any black-box classifier, like neural networks. Compared with a simple adaptation of a mixed-integer programming formulation from the literature, the column generation framework dominates in terms of scalability, computational performance and quality of the solutions.


title: Deciphering Heartbeat Signatures: A Vision Transformer Approach to Explainable Atrial Fibrillation Detection from ECG Signals

abstract: Remote patient monitoring based on wearable single-lead electrocardiogram (ECG) devices has significant potential for enabling the early detection of heart disease, especially in combination with artificial intelligence (AI) approaches for automated heart disease detection. There have been prior studies applying AI approaches based on deep learning for heart disease detection. However, these models are yet to be widely accepted as a reliable aid for clinical diagnostics, in part due to the current black-box perception surrounding many AI algorithms. In particular, there is a need to identify the key features of the ECG signal that contribute toward making an accurate diagnosis, thereby enhancing the interpretability of the model. In the present study, we develop a vision transformer approach to identify atrial fibrillation based on single-lead ECG data. A residual network (ResNet) approach is also developed for comparison with the vision transformer approach. These models are applied to the Chapman-Shaoxing dataset to classify atrial fibrillation, as well as another common arrhythmia, sinus bradycardia, and normal sinus rhythm heartbeats. The models enable the identification of the key regions of the heartbeat that determine the resulting classification, and highlight the importance of P-waves and T-waves, as well as heartbeat duration and signal amplitude, in distinguishing normal sinus rhythm from atrial fibrillation and sinus bradycardia.


title: LiveDocs: Crafting Interactive Development Environments From Research Findings

abstract: Open Science is a recurrent topic in scientific discussion, and there is a current effort to make research more accessible to a broader audience. A focus on delivering research findings that are reproducible, or even re-usable has been proposed as one way of achieving such accessibility goals. In this work, we present the LiveDocs initiative, an effort of the ``Collaborative Research Center 1456 - Mathematics of Experiment'' on tackling common issues of reproducibility and re-usability in scientific publications. The LiveDocs initiative is proposed as a concept alongside a collection of methods that enable scientists to provide research findings under an interactive development environment. This environment allows users from a broader audience to easily reproduce research findings by re-running scripts, for instance, those that generate figures, tables, and other elements from scientific publications. Moreover, LiveDocs also allow the audience to interact with code and data in such environments, thus allowing users to explore algorithms, datasets and software interfaces. This directly lowers the barriers to access and comprehend research methods and findings, which facilitates more scientific exchange and fosters knowledge advancement.


title: AI-Enabled Lung Cancer Prognosis

abstract: Lung cancer is the primary cause of cancer-related mortality, claiming approximately 1.79 million lives globally in 2020, with an estimated 2.21 million new cases diagnosed within the same period. Among these, Non-Small Cell Lung Cancer (NSCLC) is the predominant subtype, characterized by a notably bleak prognosis and low overall survival rate of approximately 25% over five years across all disease stages. However, survival outcomes vary considerably based on the stage at diagnosis and the therapeutic interventions administered. Recent advancements in artificial intelligence (AI) have revolutionized the landscape of lung cancer prognosis. AI-driven methodologies, including machine learning and deep learning algorithms, have shown promise in enhancing survival prediction accuracy by efficiently analyzing complex multi-omics data and integrating diverse clinical variables. By leveraging AI techniques, clinicians can harness comprehensive prognostic insights to tailor personalized treatment strategies, ultimately improving patient outcomes in NSCLC. Overviewing AI-driven data processing can significantly help bolster the understanding and provide better directions for using such systems.


title: PANORAMIA: Privacy Auditing of Machine Learning Models without Retraining

abstract: We introduce a privacy auditing scheme for ML models that relies on membership inference attacks using generated data as "non-members". This scheme, which we call PANORAMIA, quantifies the privacy leakage for large-scale ML models without control of the training process or model re-training and only requires access to a subset of the training data. To demonstrate its applicability, we evaluate our auditing scheme across multiple ML domains, ranging from image and tabular data classification to large-scale language models.


title: Data Reconstruction Attacks and Defenses: A Systematic Evaluation

abstract: Reconstruction attacks and defenses are essential in understanding the data leakage problem in machine learning. However, prior work has centered around empirical observations of gradient inversion attacks, lacks theoretical justifications, and cannot disentangle the usefulness of defending methods from the computational limitation of attacking methods. In this work, we propose to view the problem as an inverse problem, enabling us to theoretically, quantitatively, and systematically evaluate the data reconstruction problem. On various defense methods, we derived the algorithmic upper bound and the matching (in feature dimension and model width) information-theoretical lower bound on the reconstruction error for two-layer neural networks. To complement the theoretical results and investigate the utility-privacy trade-off, we defined a natural evaluation metric of the defense methods with similar utility loss among the strongest attacks. We further propose a strong reconstruction attack that helps update some previous understanding of the strength of defense methods under our proposed evaluation metric.


title: Biomechanical comparison between manual and motorless device assisted patient handling: sitting to and from standing position

abstract: Background: Occupational safety and health institutions report that caregivers areparticularly at risk of developing work-related musculoskeletal disorders (WRMSDs) andpatient handling is often pointed out as one of the main causes. While lots of studiesaddressed the use of assistive devices in order to protect caregivers, it seems that motorlessstand-up lifts have not been studied yet.Objectives: The aim of this work is to provide quantitative data about the loads in thelow back area, as well as qualitative data about subjects perceptions, resulting from the useof a motorless stand-up lift and to compare them to those resulting from manual patienthandling.Methods: Nine caregivers participated to motion capture and ground reaction forcesmeasurement sessions. These recordings were performed in three cases of handling:manual handling with one caregiver, manual handling with two caregivers, motorless deviceassisted handling. Forces and torques at the L5/S1 joint were then estimated throughInverse Dynamics process. A questionnaire about manual and motorless device assistedhandling was also submitted.Results: Motorless device assisted handling involved the smallest loads whereasmanual handling with one caregiver involved the biggest loads.Conclusions: Our findings suggest that, if the situation allows it, caregivers should behelped by another caregiver or use a motorless stand-up lift when handling a patient fromsitting to standing position or from standing to sitting position considering the reduced loadsthese aids involve.


title: Cryptoanalysis of a key exchange protocol based on a congruence-simple semiring action

abstract: We show that a previously introduced key exchange based on a congruence-simple semiring action is not secure by providing an attack that reveals the shared key from the distributed public information for any of such semirings


title: Cryptomite: A versatile and user-friendly library of randomness extractors

abstract: We present Cryptomite, a Python library of randomness extractor implementations. The library offers a range of two-source, seeded and deterministic randomness extractors, together with parameter calculation modules, making it easy to use and suitable for a variety of applications. We also present theoretical results, including new extractor constructions and improvements to existing extractor parameters. The extractor implementations are efficient in practice and tolerate input sizes of up to $2^{40} > 10^{12}$ bits. They are also numerically precise (implementing convolutions using the Number Theoretic Transform to avoid floating point arithmetic), making them well suited to cryptography. The algorithms and parameter calculation are described in detail, including illustrative code examples and performance benchmarking.


title: Parton cascades at DLA: the role of the evolution variable

abstract: The theoretical treatment of jet quenching lacks a full description of the interplay between vacuum-like emissions, usually formulated in momentum space, and medium induced ones that demand an interface with a space-time picture of the expanding medium and thus must be formulated in position space. In this work we build a toy Monte-Carlo parton shower ordered in formation time, virtual mass, and opening angle, which are equivalent at leading logarithmic accuracy. Aiming to explore a link with jet substructure, we compute the Lund plane distributions for the different ordering prescriptions. Further, we investigate the sensitivity of ordering prescriptions to medium effects by counting the number of events eliminated by a decoherence condition.


title: Oracle-Efficient Differentially Private Learning with Public Data

abstract: Due to statistical lower bounds on the learnability of many function classes under privacy constraints, there has been recent interest in leveraging public data to improve the performance of private learning algorithms. In this model, algorithms must always guarantee differential privacy with respect to the private samples while also ensuring learning guarantees when the private data distribution is sufficiently close to that of the public data. Previous work has demonstrated that when sufficient public, unlabelled data is available, private learning can be made statistically tractable, but the resulting algorithms have all been computationally inefficient. In this work, we present the first computationally efficient, algorithms to provably leverage public data to learn privately whenever a function class is learnable non-privately, where our notion of computational efficiency is with respect to the number of calls to an optimization oracle for the function class. In addition to this general result, we provide specialized algorithms with improved sample complexities in the special cases when the function class is convex or when the task is binary classification.


title: Algebraic analysis of electromagnetic chirality-induced negative refractive index in a four-level atomic system

abstract: This paper presents a algebraic analysis of electromagnetic chirality-induced negative refractive index in a four-level atomic medium. According to analyze mathematically its argument of the complex refractive index for one circular polarization, it found that the negative refractive index without simultaneously negative permittivity and permeability can be obtained when the argument is in the second quadrant of the cartesian coordinate system, and that the probe field coupling to two equal transition frequencies in the atomic level doesn't require. This undoubtedly reduced stringent conditions to negative refractive index by quantum optics. As an application, our scheme may possibly give a novel approach to obtain negative refractive index by electromagnetic chirality-inducing.


title: Can TM system form an unconditional basis for Banach spaces?

abstract: The research on the algorithm of analytic signal has received much attention for a long time. Takenaka-Malmquist (TM) system was introduced to consider analytic functions in 1925. If TM system satisfies hyperbolic inseparability condition, then it is an orthogonal basis. It can form unconditional basis for Hilbert space $\mathbb{H}^{2}(D)$ and Schauder basis for Banach space $\mathbb{H}^{p}(D)(1 < p < \infty)$. In characterizing a function space, a necessary condition is whether the basis is unconditional. But since the introduction of TM systems in 1925, to the best of our knowledge, no one has proved the existence of a TM system capable of forming an unconditional basis for Banach space $\mathbb{H}^{p}(D) (p \neq 2)$. TM system has a simple and intuitive analytical structure. Hence it is applied also to the learning algorithms and systematically developed to the reproducing kernel Hilbert spaces (RKHS). Due to the lack of unconditional basis properties, it cannot be extended to the reproducing kernel Banach spaces (RKBS) algorithm. But the case of Banach space plays an important role in machine learning. In this paper, we prove that two TM systems can form unconditional basis for $\mathbb{H}^{p}(D) (1<p <\infty)$.


title: UMOEA/D: A Multiobjective Evolutionary Algorithm for Uniform Pareto Objectives based on Decomposition

abstract: Multiobjective optimization (MOO) is prevalent in numerous applications, in which a Pareto front (PF) is constructed to display optima under various preferences. Previous methods commonly utilize the set of Pareto objectives (particles on the PF) to represent the entire PF. However, the empirical distribution of the Pareto objectives on the PF is rarely studied, which implicitly impedes the generation of diverse and representative Pareto objectives in previous methods. To bridge the gap, we suggest in this paper constructing \emph{uniformly distributed} Pareto objectives on the PF, so as to alleviate the limited diversity found in previous MOO approaches. We are the first to formally define the concept of ``uniformity" for an MOO problem. We optimize the maximal minimal distances on the Pareto front using a neural network, resulting in both asymptotically and non-asymptotically uniform Pareto objectives. Our proposed method is validated through experiments on real-world and synthetic problems, which demonstrates the efficacy in generating high-quality uniform Pareto objectives and the encouraging performance exceeding existing state-of-the-art methods. The detailed model implementation and the code are scheduled to be open-sourced upon publication.


title: Zilber-Pink in $Y(1)^n$: Beyond multiplicative degeneration

abstract: We establish Large Galois orbits conjectures for points of unlikely intersections of curves in $Y(1)^n$, upon assumptions on the intersection of such curves with the boundary $X(1)^n\backslash Y(1)^n$, in the Zilber-Pink setting. As a corollary, building on work of Habegger-Pila and Daw-Orr, we obtain new cases of the Zilber-Pink conjecture for curves in $Y(1)^n$.


title: Intelligent Agricultural Greenhouse Control System Based on Internet of Things and Machine Learning

abstract: This study endeavors to conceptualize and execute a sophisticated agricultural greenhouse control system grounded in the amalgamation of the Internet of Things (IoT) and machine learning. Through meticulous monitoring of intrinsic environmental parameters within the greenhouse and the integration of machine learning algorithms, the conditions within the greenhouse are aptly modulated. The envisaged outcome is an enhancement in crop growth efficiency and yield, accompanied by a reduction in resource wastage. In the backdrop of escalating global population figures and the escalating exigencies of climate change, agriculture confronts unprecedented challenges. Conventional agricultural paradigms have proven inadequate in addressing the imperatives of food safety and production efficiency. Against this backdrop, greenhouse agriculture emerges as a viable solution, proffering a controlled milieu for crop cultivation to augment yields, refine quality, and diminish reliance on natural resources [b1]. Nevertheless, greenhouse agriculture contends with a gamut of challenges. Traditional greenhouse management strategies, often grounded in experiential knowledge and predefined rules, lack targeted personalized regulation, thereby resulting in resource inefficiencies. The exigencies of real-time monitoring and precise control of the greenhouse's internal environment gain paramount importance with the burgeoning scale of agriculture. To redress this challenge, the study introduces IoT technology and machine learning algorithms into greenhouse agriculture, aspiring to institute an intelligent agricultural greenhouse control system conducive to augmenting the efficiency and sustainability of agricultural production.


title: Pearson Correlations on Networks: Corrigendum

abstract: Recently, the first author proposed a measure to calculate Pearson correlations for node values expressed in a network, by taking into account distances or metrics defined on the network. In this technical note, we show that using an arbitrary choice of distances might result in imaginary or unbounded correlation values, which is undesired. We prove that this problem is solved by restricting to a special class of distances: negative type metrics. We also discuss two natural classes of negative type metrics on graphs, for which the network correlations are properly defined.


title: Phase transitions between confinement and higgs phases in ${\cal N}=1\,\, SU(N_c)$ SQCD with $1\leq N_F\leq N_c$ quark flavors

abstract: Considered is the standard 4-dimensional ${\cal N}=1\,\,SU(N_c)$ SQCD with $1\leq N_F\leq N_c$ quark flavors with masses $m_{Q,i}$. {\bf The gauge invariant order parameter $\rho$ is introduced in \cite{ch1} distinguishing confinement (with $\rho=0$) and higgs (with $\rho\neq 0$) phases}. Using a number of independent arguments for different variants of transition between the confinement and higgs regimes in these theories, it is shown that {\bf transitions between these regimes are not crossovers but the phase transitions}. In \cite{FS} the very special $SU(N_c)$ QCD theory with $N_F=N_c$ defective scalar "quarks" was considered by E.Fradkin and S.H.Shenker. The conclusion of \cite{FS} was that {\bf the transition between the confinement and higgs regimes is the analytic crossover}. And although the theory considered in \cite{FS} was very specific, the experience shows that up to now there is a widely spread opinion that this conclusion has general applicability. This model \cite{FS} is criticized in \cite{ch1},\cite{ch2} as incompatible with and very different from the standard non-SUSY $SU(N_c)\,\,N_F=N_c$ QCD theory with standard scalar quarks with all their physical degrees of freedom. It is emphasized that this model \cite{FS} is really {\bf the Stuckelberg $SU(N_c)$ YM-theory with no dynamical electric quarks and massive all $N_c^2-1$ electric gluons with fixed by hands nonzero masses}. There is no genuine confinement in this theory, it stays permanently in the completely higgsed (i.e. condensed) by hands phase only. And this is a reason for a crossover in this theory. While in the theory with standard scalar quarks there is the phase transition between the confinement (at $0 < |v|\ll \Lambda_{QCD}$) and higgs (at $|v|\gg\Lambda_{QCD}$) regimes.


title: Visualization Requirements for Business Intelligence Analytics: A Goal-Based, Iterative Framework

abstract: Information visualization plays a key role in business intelligence analytics. With ever larger amounts of data that need to be interpreted, using the right visualizations is crucial in order to understand the underlying patterns and results obtained by analysis algorithms. Despite its importance, defining the right visualization is still a challenging task. Business users are rarely experts in information visualization, and they may not exactly know the most adequate visualization tools or patterns for their goals. Consequently, misinterpreted graphs and wrong results can be obtained, leading to missed opportunities and significant losses for companies. The main problem underneath is a lack of tools and methodologies that allow non-expert users to define their visualization and data analysis goals in business terms. In order to tackle this problem, we present an iterative goal-oriented approach based on the i* language for the automatic derivation of data visualizations. Our approach links non-expert user requirements to the data to be analyzed, choosing the most suited visualization techniques in a semi-automatic way. The great advantage of our proposal is that we provide non-expert users with the best suited visualizations according to their information needs and their data with little effort and without requiring expertise in information visualization.


title: PMGDA: A Preference-based Multiple Gradient Descent Algorithm

abstract: It is desirable in many multi-objective machine learning applications, such as multi-task learning with conflicting objectives and multi-objective reinforcement learning, to find a Pareto solution that can match a given preference of a decision maker. These problems are often large-scale with available gradient information but cannot be handled very well by the existing algorithms. To tackle this critical issue, this paper proposes a novel predict-and-correct framework for locating a Pareto solution that fits the preference of a decision maker. In the proposed framework, a constraint function is introduced in the search progress to align the solution with a user-specific preference, which can be optimized simultaneously with multiple objective functions. Experimental results show that our proposed method can efficiently find a particular Pareto solution under the demand of a decision maker for standard multiobjective benchmark, multi-task learning, and multi-objective reinforcement learning problems with more than thousands of decision variables. Code is available at: https://github.com/xzhang2523/pmgda. Our code is current provided in the pgmda.rar attached file and will be open-sourced after publication.}


title: Dynamic modeling and predictive control of a microfluidic system

abstract: Microfluidics, the study of fluids in microscopic channels, has led to important advances in fields as diverse as microelectronics, biotechnology and chemistry. Microfluidic research is primarily based on the use of microfluidic chips, low-cost devices that can be used to perform laboratory experiments using small amounts of fluid. These systems, however, require advanced control mechanisms in order to accurately achieve the flow rates and pressures required in the experiments. In this paper, we present the design of a model predictive controller intended to regulate the fluid flows in one of these systems. The results obtained, both through simulations and real experiments performed on the device, show that predictive control is an ideal technique to control these systems, especially taking into account all the existing constraints.


abstract: Can AI and humans genuinely communicate? In this article, after giving some background and motivating my proposal (sections 1 to 3), I explore a way to answer this question that I call the "mental-behavioral methodology" (sections 4 and 5). This methodology follows the following three steps: First, spell out what mental capacities are sufficient for human communication (as opposed to communication more generally). Second, spell out the experimental paradigms required to test whether a behavior exhibits these capacities. Third, apply or adapt these paradigms to test whether an AI displays the relevant behaviors. If the first two steps are successfully completed, and if the AI passes the tests with human-like results, this constitutes evidence that this AI and humans can genuinely communicate. This mental-behavioral methodology has the advantage that we don't need to understand the workings of black-box algorithms, such as standard deep neural networks. This is comparable to the fact that we don't need to understand how human brains work to know that humans can genuinely communicate. This methodology also has its disadvantages and I will discuss some of them (section 6).


title: On the Potential of Network-Based Features for Fraud Detection

abstract: Online transaction fraud presents substantial challenges to businesses and consumers, risking significant financial losses. Conventional rule-based systems struggle to keep pace with evolving fraud tactics, leading to high false positive rates and missed detections. Machine learning techniques offer a promising solution by leveraging historical data to identify fraudulent patterns. This article explores using the personalised PageRank (PPR) algorithm to capture the social dynamics of fraud by analysing relationships between financial accounts. The primary objective is to compare the performance of traditional features with the addition of PPR in fraud detection models. Results indicate that integrating PPR enhances the model's predictive power, surpassing the baseline model. Additionally, the PPR feature provides unique and valuable information, evidenced by its high feature importance score. Feature stability analysis confirms consistent feature distributions across training and test datasets.


title: A characterization of permutability of 2-uniform tolerances on posets

abstract: Tolerance relations were investigated by several authors in various algebraic structures, see e.g. the monograph by I. Chajda. Recently G. Cz\'edli studied so-called 2-uniform tolerances on lattices, i.e. tolerances that are compatible with the lattice operations and whose blocks are of cardinality 2. He showed that two such tolerances on a lattice containing no infinite chain permute if and only if they are amicable (a concept introduced in his paper). We extend this study to tolerances on posets. Since in posets we have no lattice operations, we must modify the notion of amicability. We modified it in such a way that in case of lattices it coincides with the original definition. With this new definition we can prove that two tolerances on a poset containing no infinite chain permute if and only if they are amicable in the new sense.


title: Instruction Tuning for Secure Code Generation

abstract: Modern language models (LMs) have gained widespread acceptance in everyday and professional contexts, particularly in programming. An essential procedure enabling this adoption is instruction tuning, which substantially enhances LMs' practical utility by training them to follow user instructions and human preferences. However, existing instruction tuning schemes overlook a crucial aspect: the security of generated code. As a result, even the state-of-the-art instruction-tuned LMs frequently produce unsafe code, posing significant security risks. In this work, we introduce SafeCoder to address this gap. SafeCoder performs security-centric fine-tuning using a diverse and high-quality dataset that we collected using an automated pipeline. We integrate the security fine-tuning with standard instruction tuning, to facilitate a joint optimization of both security and utility. Despite its simplicity, we show that SafeCoder is effective across a variety of popular LMs and datasets. It is able to drastically improve security (by about 30%), while preserving utility.


title: Detection of the most influential variables for preventing postpartum urinary incontinence using machine learning techniques

abstract: Background: Postpartum urinary incontinence (PUI) is a common issue among postnatal women. Previous studies identified potential related variables, but lacked analysis on certain intrinsic and extrinsic patient variables during pregnancy. Objective: The study aims to evaluate the most influential variables in PUI using machine learning, focusing on intrinsic, extrinsic, and combined variable groups. Methods: Data from 93 pregnant women were analyzed using machine learning and oversampling techniques. Four key variables were predicted: occurrence, frequency, intensity of urinary incontinence, and stress urinary incontinence. Results: Models using extrinsic variables were most accurate, with 70% accuracy for urinary incontinence, 77% for frequency, 71% for intensity, and 93% for stress urinary incontinence. Conclusions: The study highlights extrinsic variables as significant predictors of PUI issues. This suggests that PUI prevention might be achievable through healthy habits during pregnancy, although further research is needed for confirmation.


title: Enriched multi-agent middleware for building rule-based distributed security solutions for IoT environments

abstract: The increasing number of connected devices and the complexity of Internet of Things (IoT) ecosystems are demanding new architectures for managing and securing these networked environments. Intrusion Detection Systems (IDS) are security solutions that help to detect and mitigate the threats that IoT systems face, but there is a need for new IDS strategies and architectures. This paper describes a development environment that allows the programming and debugging of distributed, rule-based multi-agent IDS solutions. The proposed solution consists in the integration of a rule engine into the agent, the use of a specialized, wrapping agent class with a graphical user interface for programming and debugging purposes, and a mechanism for the incremental composition of behaviors. A comparative study and an example IDS are used to test and show the suitability and validity of the approach. The JADE multi-agent middleware has been used for the practical implementations.


title: On Formally Undecidable Traits of Intelligent Machines

abstract: Building on work by Alfonseca et al. (2021), we study the conditions necessary for it to be logically possible to prove that an arbitrary artificially intelligent machine will exhibit certain behavior. To do this, we develop a formalism like -- but mathematically distinct from -- the theory of formal languages and their properties. Our formalism affords a precise means for not only talking about the traits we desire of machines (such as them being intelligent, contained, moral, and so forth), but also for detailing the conditions necessary for it to be logically possible to decide whether a given arbitrary machine possesses such a trait or not. Contrary to Alfonseca et al.'s (2021) results, we find that Rice's theorem from computability theory cannot in general be used to determine whether an arbitrary machine possesses a given trait or not. Therefore, it is not necessarily the case that deciding whether an arbitrary machine is intelligent, contained, moral, and so forth is logically impossible.


title: Bubble Misalignment Mechanism for Axions

abstract: We study the dynamics of axions at first-order phase transitions in non-Abelian gauge theories. When the duration of the phase transition is short compared to the timescale of the axion oscillations, the axion dynamics is similar to the trapped misalignment mechanism. On the other hand, if this is not the case, the axions are initially expelled from the inside of the bubbles, generating axion waves on the outside. Analogous to the Fermi acceleration, these axions gain energy by repeatedly scattering off the bubble walls. Once they acquire enough energy, they can enter the bubbles. The novel ``bubble misalignment mechanism'' can significantly enhance the axion abundance, compared to models where the axion mass is either constant or varies continuously as a function of temperature. The increase in axion abundance depends on the axion mass, the duration of the phase transition, and the bubble wall velocity. This mechanism results in a spatially inhomogeneous distribution of axions, which could lead to the formation of axion miniclusters. It has potential implications for the formation of oscillons/I-balls, axion warm dark matter, cosmic birefringence, and the production of dark photons.


title: Deconfined quantum criticality of nodal $d$-wave superconductivity, N\'eel order, and charge order on the square lattice at half-filling

abstract: We consider a SU(2) lattice gauge theory on the square lattice, with a single fundamental complex fermion and a single fundamental complex boson on each lattice site. Projective symmetries of the gauge-charged fermions are chosen so that they match with those of the spinons of the $\pi$-flux spin liquid. Global symmetries of all gauge-invariant observables are chosen to match with those of the particle-hole symmetric electronic Hubbard model at half-filling. Consequently, both the fundamental fermion and fundamental boson move in an average background $\pi$-flux, their gauge-invariant composite is the physical electron, and eliminating gauge fields in a strong gauge-coupling expansion yields an effective extended Hubbard model for the electrons. The SU(2) gauge theory displays several confining/Higgs phases: a nodal $d$-wave superconductor, and states with N\'eel, valence-bond solid, charge, or staggered current orders. There are also a number of quantum phase transitions between these phases which are very likely described by 2+1 dimensional deconfined conformal gauge theories, and we present large flavor expansions for such theories. These include the phenomenologically attractive case of a transition between a conventional insulator with a charge gap and N\'eel order, and a conventional $d$-wave superconductor with gapless Bogoliubov quasiparticles at 4 nodal points in the Brillouin zone. We also apply our approach to the honeycomb lattice, where we find a bicritical point at the junction of N\'eel, valence bond solid (Kekul\'e), and Dirac semi-metal phases.


title: Exploring the Flavor Symmetry Landscape

abstract: We explore flavor dynamics in the broad scenario of a strongly interacting light Higgs (SILH). Our study focuses on the mechanism of partial fermion compositeness, but is otherwise as systematic as possible. Concretely, we classify the options for the underlying flavor (and CP) symmetries, which are necessary in order to bring this scenario safely within the range of present or future explorations. Our main goal in this context is to provide a practical map between the space of hypotheses (the models) and the experimental ground that will be explored in the medium and long term, in both indirect and direct searches, in practice at HL-LHC and Belle II, in EDM searches and eventually at FCC-hh. Our study encompasses scenarios with the maximal possible flavor symmetry, corresponding to minimal flavor violation (MFV), scenarios with no symmetry, corresponding to the so-called flavor anarchy, and various intermediate cases that complete the picture. One main result is that the scenarios that allow for the lowest new physics scale have intermediate flavor symmetry rather than the maximal symmetry of MFV models. Such optimal models are rather resilient to indirect exploration via flavor and CP violating observables, and can only be satisfactorily explored at a future high-energy collider. On the other hand, the next two decades of indirect exploration will significantly stress the parameter space of a large swath of less optimal but more generic models up to mass scales competing with those of the FCC-hh.


title: Superconducting Quantum Memory with a Suspended Coaxial Resonator

abstract: A promising way to store quantum information is by encoding it in the bosonic excitations of microwave resonators. This provides for long coherence times, low dephasing rates, as well as a hardware-efficient approach to quantum error correction. There are two main methods used to make superconducting microwave resonators: traditionally machined out of bulk material, and lithographically fabricated on-chip in thin film. 3D resonators have few loss channels and larger mode volumes, and therefore smaller participations in the lossy parts, but it can be challenging to reach high material qualities. On-chip resonators can use low-loss thin films, but confine the field more tightly, resulting in higher participations and additional loss channels from the dielectric substrate. In this work, we present a design in which a dielectric scaffold supports a thin-film conductor within a 3D package, thus combining the low surface participations of bulk-machined cavities with the high quality and control over materials of thin-film circuits. By incorporating a separate chip containing a transmon qubit, we realize a quantum memory and measure single-photon lifetimes in excess of a millisecond. This hybrid 3D architecture has several advantages for scaling, as it relaxes the importance of the package and permits modular construction with separately-replaceable qubit and resonator devices.


title: 3C 273 Host Galaxy with Hubble Space Telescope Coronagraphy

abstract: The close-in regions of bright quasars' host galaxies have been difficult to image due to the overwhelming light from the quasars. With coronagraphic observations in visible light using the Space Telescope Imaging Spectrograph (STIS) on the Hubble Space Telescope, we removed 3C 273 quasar light using color-matching reference stars. The observations revealed the host galaxy from 60" to 0.2" with nearly full angular coverage. Isophote modeling revealed a new core jet, a core blob, and multiple smaller-scale blobs within 2.5". The blobs could potentially be satellite galaxies or infalling materials towards the central quasar. Using archival STIS data, we constrained the apparent motion of its large scale jets over a 22 yr timeline. By resolving the 3C 273 host galaxy with STIS, our study validates the coronagraph usage on extragalactic sources in obtaining new insights into the central ~kpc regions of quasar hosts.


title: Intertwined Magnetism and Superconductivity in Isolated Correlated Flat Bands

abstract: Multi-orbital electronic models hosting a non-trivial band-topology in the regime of strong electronic interactions are an ideal playground for exploring a host of complex phenomenology. We consider here a sign-problem-free and time-reversal symmetric model with isolated topological (chern) bands involving both spin and valley degrees of freedom in the presence of a class of repulsive electronic interactions. Using a combination of numerically exact quantum Monte Carlo computations and analytical field-theoretic considerations we analyze the phase-diagram as a function of the flat-band filling, temperature and relative interaction strength. The low-energy physics is described in terms of a set of intertwined orders -- a spin-valley hall (SVH) insulator and a spin-singlet superconductor (SC). Our low-temperature phase diagram can be understood in terms of an effective SO(4) pseudo-spin non-linear sigma model. Our work paves the way for building more refined and minimal models of realistic materials, including moir\'e systems, to study the universal aspects of competing insulating phases and superconductivity in the presence of non-trivial band-topology.


title: Deconstructing flavor anomalously

abstract: Flavor deconstruction refers to ultraviolet completions of the Standard Model where the gauge group is split into multiple factors under which fermions transform non-universally. We propose a mechanism for charging same-family fermions into different factors of a deconstructed gauge theory in a way that gauge anomalies are avoided. The mechanism relies in the inclusion of a strongly-coupled sector, responsible of both anomaly cancellation and the breaking of the non-universal gauge symmetry. As an application, we propose different flavor deconstructions of the Standard Model that, instead of complete families, uniquely identify specific third-family fermions. All these deconstructions allow for a new physics scale that can be as low as few TeV and provide an excellent starting point for the explanation of the Standard Model flavor hierarchies.


title: Arrange, Inpaint, and Refine: Steerable Long-term Music Audio Generation and Editing via Content-based Controls

abstract: Controllable music generation plays a vital role in human-AI music co-creation. While Large Language Models (LLMs) have shown promise in generating high-quality music, their focus on autoregressive generation limits their utility in music editing tasks. To address this gap, we propose a novel approach leveraging a parameter-efficient heterogeneous adapter combined with a masking training scheme. This approach enables autoregressive language models to seamlessly address music inpainting tasks. Additionally, our method integrates frame-level content-based controls, facilitating track-conditioned music refinement and score-conditioned music arrangement. We apply this method to fine-tune MusicGen, a leading autoregressive music generation model. Our experiments demonstrate promising results across multiple music editing tasks, offering more flexible controls for future AI-driven music editing tools. The source codes and a demo page showcasing our work are available at https://kikyo-16.github.io/AIR.


title: SN 2022jli: The ultraluminous birth of a low-mass X-ray binary

abstract: Observations show that the 12.4 d binary system descending from the recent supernova SN 2022jli closely fits hypotheses of how low-mass X-ray binaries form, but requires an apparently super-Eddington accretion luminosity from the accreting component. We show that this agrees very well with the type of accretion-induced beaming found in ultraluminous X-ray sources, as recently strongly confirmed by X-ray polarimetry of the X-ray binary Cyg X-3. Beaming in the SN2022jli binary system occurs because of the very high mass-transfer rate induced by the violent effect of the supernova on the binary geometry. This explains the very soft nature of the accretion luminosity, its distinctive periodic light curve, and its luminosity decay on a ~250 day timescale. A test of this picture is that the system's orbital period should increase on a $10^5$ year timescale.


title: Dissipation driven phase transition in the non-Hermitian Kondo model

abstract: Non-Hermitian Hamiltonians capture several aspects of open quantum systems, such as dissipation of energy and non-unitary evolution. An example is an optical lattice where the inelastic scattering between the two orbital mobile atoms in their ground state and the atom in a metastable excited state trapped at a particular site and acting as an impurity, results in the two body losses. It was shown in \cite{nakagawa2018non} that this effect is captured by the non-Hermitian Kondo model. which was shown to exhibit two phases depending on the strength of losses. When the losses are weak, the system exhibits the Kondo phase and when the losses are stronger, the system was shown to exhibit the unscreened phase where the Kondo effect ceases to exist, and the impurity is left unscreened. We re-examined this model using the Bethe Ansatz and found that in addition to the above two phases, the system exhibits a novel $\widetilde{YSR}$ phase which is present between the Kondo and the unscreened phases. The model is characterized by two renormalization group invariants, a generalized Kondo temperature $T_K$ and a parameter `$\alpha$' that measures the strength of the loss. The Kondo phase occurs when the losses are weak which corresponds to $0<\alpha<\pi/2$. As $\alpha$ approaches $\pi/2$, the Kondo cloud shrinks resulting in the formation of a single particle bound state which screens the impurity in the ground state between $\pi/2<\alpha<\pi$. As $\alpha$ increases, the impurity is unscreened in the ground state but can be screened by the localized bound state for $\pi<\alpha<3\pi/2$. When $\alpha>3\pi/2$, one enters the unscreened phase where the impurity cannot be screened. We argue that in addition to the energetics, the system displays different time scales associated with the losses across $\alpha=\pi/2$, resulting in a phase transition driven by the dissipation in the system.

categories: cond-mat.str-el cond-mat.stat-mech hep-th math-ph math.MP


title: Biased Estimator Channels for Classical Shadows

abstract: Extracting classical information from quantum systems is of fundamental importance, and classical shadows allow us to extract a large amount of information using relatively few measurements. Conventional shadow estimators are unbiased and thus approach the true mean in the infinite-sample limit. In this work, we consider a biased scheme, intentionally introducing a bias by rescaling the conventional classical shadows estimators can reduce the error in the finite-sample regime. The approach is straightforward to implement and requires no quantum resources. We analytically prove average case as well as worst- and best-case scenarios, and rigorously prove that it is, in principle, always worth biasing the estimators. We illustrate our approach in a quantum simulation task of a $12$-qubit spin-ring problem and demonstrate how estimating expected values of non-local perturbations can be significantly more efficient using our biased scheme.


title: A multiband look at ultraluminous X-ray sources in NGC 7424

abstract: We studied the multiband properties of two ultraluminous X-ray sources (2CXO J225728.9-410211 = X-1 and 2CXO J225724.7-410343 = X-2) and their surroundings, in the spiral galaxy NGC 7424. Both sources have approached X-ray luminosities L_{X} ~ 10^{40} erg/s at some epochs. Thanks to a more accurate astrometric solution (based on Australia Telescope Compact Array and Gaia data), we identified the point-like optical counterpart of X-1, which looks like an isolated B8 supergiant (M ~ 9 Msun, age ~ 30 Myr). Instead, X-2 is in a star-forming region (size of about 100 pc x 150 pc), near young clusters and ionized gas. Very Large Telescope long-slit spectra show a spatially extended region of HeII 4686 emission around the X-ray position, displaced by about 50 pc from the brightest star cluster, which corresponds to the peak of lower-ionization line emission. We interpret the HeII 4686 emission as a signature of X-ray photo-ionization from the ULX, while the other optical lines are consistent with UV ionization in an ordinary HeII region. The luminosity of this He^{++} nebula puts it in the same class as other classical photo-ionized ULX nebulae such as those around Holmberg II X-1 and NGC 5408 X-1. We locate a strong (5.5-GHz luminosity nu L_{nu} ~ 10^{35} erg/s), steep-spectrum, unresolved radio source at the peak of the low-ionization lines, and discuss alternative physical scenarios for the radio emission. Finally, we use WISE data to obtain an independent estimate of the reddening of the star-forming clump around X-2.


title: Mass Beyond Measure: Eccentric Searches for Black Hole Populations

abstract: Stellar mass binary black holes of unknown formation mechanism have been observed, motivating new methods for distinguishing distinct black hole populations. This work explores how the orbital eccentricity of stellar mass binary black holes is a viable conduit for making such distinctions. Four different production mechanisms, and their corresponding eccentricity distributions, are studied in the context of an experimental landscape composed of mHz (LISA), dHz (DECIGO), and Hz (LIGO) range gravitational wave detectors. We expand on prior work considering these effects at fixed population eccentricity. We show that a strong signal corresponding to subsets of eccentric populations is effectively hidden from the mHz and dHz range gravitational wave detectors without the incorporation of high eccentricity waveform templates. Even with sufficiently large eccentricity templates, we find dHz range experiments with a LISA-like level of sensitivity are unlikely to aid in distinguishing different populations. We consider the degree to which a mHz range detector like LISA can differentiate among black hole populations independently and in concert with follow-up merger detection for binaries coalescing within a 10 year period. We find that mHz range detectors, with only $e < 0.01$ (nearly circular) sensitivity, can successfully discern eccentric sub-populations except when attempting to distinguish very low eccentricity distributions. In these cases where $e < 0.01$ sensitivity is insufficient, we find that the increase in event counts resulting from $e < 0.1$ sensitivity provides a statistically significant signal for discerning even these low eccentricity sub-populations. While improvements offered by $e<0.1$ sensitivity can be generally increased by $\mathcal{O}(1)$ factors with $e<0.4$ sensitivity, going beyond this in eccentricity sensitivity provides negligible enhancement.


title: The structural properties of multiple populations in globular clusters: the instructive case of NGC 3201

abstract: All multiple population (MP) formation models in globular clusters (GCs) predict that second population (SP) stars form more centrally concentrated than the first population (FP). As dynamical evolution proceeds, differences are progressively erased, and only dynamically young clusters are expected to still retain a partial memory of the initial structural differences. In recent years, this picture has been supported by observations of the MP radial distributions of both Galactic and extragalactic GCs. However, recent observations have suggested that in some systems, FPs might actually form more centrally segregated, with NGC 3201 being one significant example of such a possibility. Here we present a morphological and kinematic characterization of the MPs in NGC 3201 based on a combination of photometric and astrometric data. We show that the distribution of the SP is bimodal. Specifically, the SP is significantly more centrally concentrated than the FP within ~1.3 cluster's half-mass radius. Beyond this point, the SP fraction increases again, likely due to asymmetries in the spatial distributions of the two populations. The central concentration of the SP observed in the central regions implies that it formed more centrally concentrated than the FP, even more so than what is observed in the present-day. This interpretation is supported by the MP kinematic properties. Indeed, we find that the FP is isotropic across all the sampled cluster extension, while the velocity distribution of the SP becomes radially anisotropic in the cluster's outer regions, as expected for the dynamical evolution of SP stars formed more centrally concentrated than the FP. The combination of spatial and kinematic observations provide key insights into the dynamical properties of this cluster and lend further support to scenarios in which the SP forms more centrally concentrated than the FP.


title: On solutions of $\sum_{i=1}^n 1/x_i = 1$ in integers of the form $2^a k^b$, where $k$ is a fixed odd positive integer

abstract: We give an algorithm that produces all solutions of the equation $\sum_{i=1}^n 1/x_i = 1$ in integers of the form $2^a k^b$, where $k$ is a fixed odd positive integer at least $3$, $a$ is an element of $\{0,1,2\}$ that can vary from term to term, and $b$ is a nonnegative integer that can vary from term to term. We also show that this equation has a nontrivial solution in integers of this form if and only if $k \leq 4n-11$ or $(k,n) = (3,3)$.


title: Replica topological order in quantum mixed states and quantum error correction

abstract: Topological phases of matter offer a promising platform for quantum computation and quantum error correction. Nevertheless, unlike its counterpart in pure states, descriptions of topological order in mixed states remain relatively under-explored. Our work give two definitions for replica topological order in mixed states, which involve $n$ copies of density matrices of the mixed state. Our framework categorizes topological orders in mixed states as either quantum, classical, or trivial, depending on the type of information that can be encoded. For the case of the toric code model in the presence of decoherence, we associate for each phase a quantum channel and describes the structure of the code space. We show that in the quantum-topological phase, there exists a postselection-based error correction protocol that recovers the quantum information, while in the classical-topological phase, the quantum information has decohere and cannot be fully recovered. We accomplish this by describing the mixed state as a projected entangled pairs state (PEPS) and identifying the symmetry-protected topological order of its boundary state to the bulk topology. We discuss the extent that our findings can be extrapolated to $n \to 1$ limit.


title: Inverse Faraday effect in superconductors with potential impurities

abstract: I consider a nonlinear response of conventional superconductors contaminated with potential impurities or imperfections to a circular polarized light. I focus on dc contributions to the induced current density which describe the emergence of the static magnetization in a superconductor. This effect is known as inverse Faraday effect. By employing quasiclassical theory of superconductivity I derive an expression for the induced static magnetization as a function of frequency of an external ac field and disorder scattering rate. The scattering of electrons off potential impurities is taken into account within the framework of the self-consistent Born approximation. It is found that the magnitude of the inverse Faraday effect decreases with an increase in disorder scattering rate. I have also discovered that the value of the induced magnetization has a characteristic minimum at a frequency which approximately equals twice the value of the pairing gap in a clean superconductor and shifts to higher values with an increase in disorder scattering rate.

categories: cond-mat.supr-con cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.str-el


title: Star clusters forming in a low metallicity starburst -- rapid self-enrichment by (very) massive stars

abstract: Stellar winds of massive ($\gtrsim9\,\mathrm{M_\odot}$) and very massive ($\gtrsim100\,\mathrm{M_\odot}$) stars may play an important role in the metal-enrichment during the formation of star clusters. With novel high-resolution hydrodynamical \textsc{griffin}-project simulations, we investigate the rapid recycling of stellar wind-material during the formation of massive star clusters up to $M_\mathrm{cluster}\sim2\times10^5\,\mathrm{M_\odot}$ in a low-metallicity dwarf galaxy starburst. The simulation realises new stars from a stellar initial mass function (IMF) between $0.08\,\mathrm{M_\odot}$ and $\sim400\,\mathrm{M_\odot}$ and follows stellar winds, radiation and supernova-feedback of single massive stars with evolution tracks. Star clusters form on timescales less than $\sim5$ Myr, and their supernova-material is very inefficiently recycled. Stellar wind-material, however, is trapped in massive clusters resulting in the formation of stars self-enriched in Na, Al, and N within only a few Myr. Wind-enriched (second population) stars can be centrally concentrated in the most massive clusters ($\gtrsim10^4\,\mathrm{M_\odot}$) and the locked wind-material increases approximately as $M_\mathrm{cluster}^{2}$. These trends resemble the characteristics of observed second population stars in globular clusters. We fit scaling relations to the log-normal distributed wind-mass fractions and extrapolate to possible globular cluster progenitors of $M_\mathrm{cluster}=10^7\,\mathrm{M_\odot}$ to investigate whether a dominant second population could form. This can only happen if the IMF is well sampled, single massive stars produce at least a factor of a few more enriched winds e.g. through a top-heavy IMF, and a significant fraction of the first population (unenriched) stars is lost during cluster evolution.


title: Non-monotonic specific entropy on the transition line near the QCD critical point

abstract: We investigate the effect of the QCD critical point on the isentropic trajectories in the QCD phase diagram. We point out that the universality of the critical equation of state and the third law of thermodynamics require the specific entropy (per baryon) along the coexistence (first-order transition) line to be non-monotonic at least on one side of that line. Specifically, a maximum must occur. We show how the location of the maximum relative to the QCD critical point depends on the parameters of the critical equation of state commonly used in the literature. We then examine how the isentropic trajectories followed by adiabatically expanding heavy-ion collision fireballs behave near the critical point. We find that a crucial role is played by the sign of the isochoric temperature derivative of pressure at the critical point; this sign determines on which side of the coexistence curve the specific entropy must be non-monotonic (i.e., has a maximum). We classify different scenarios of the adiabatic expansion that arise depending on the value of the discriminant parameter and the proximity of the trajectory to the critical point.

categories: nucl-th cond-mat.stat-mech hep-lat hep-ph


title: Kennedy-Tasaki transformation and non-invertible symmetry in lattice models beyond one dimension

abstract: We give an explicit operator representation (via a sequential circuit and projection to symmetry subspaces) of Kramers-Wannier duality transformation in higher-dimensional subsystem symmetric models generalizing the construction in the 1D transverse-field Ising model. Using the Kramers-Wannier duality operator, we also construct the Kennedy-Tasaki transformation that maps subsystem symmetry-protected topological phases to spontaneous subsystem symmetry breaking phases, where the symmetry group for the former is either $\mathbb{Z}_2\times\mathbb{Z}_2$ or $\mathbb{Z}_2$. This generalizes the recently proposed picture of one-dimensional Kennedy-Tasaki transformation as a composition of manipulations involving gauging and stacking symmetry-protected topological phases to higher dimensions.


title: Dynamic magnetic phase transition induced by parametric magnon pumping

abstract: Uncovering pathways to optically drive magnetic order-disorder transitions on ultrashort timescales can lead to the realization of novel out-of-equilibrium quantum phenomena. A long-sought pathway is to directly excite a highly non-thermal energy-momentum distribution of magnons, bypassing both charge and lattice degrees of freedom. However, this remains elusive owing to the weak coupling and large momentum mismatch between photons and magnons. Here we demonstrate strong parametric excitation of magnons across the entire Brillouin zone of the antiferromagnetic insulator Sr$_2$Cu$_3$O$_4$Cl$_2$ by periodically modulating the superexchange interaction with the electric field of light. The excitation efficiency is greatly enhanced by tuning to the van Hove singularity in the magnon spectrum, sufficient to transiently collapse the antiferromagnetic state using a pulsed laser field of 10$^9$ V/m. The order parameter recovery timescale increases by over 1000 times as a function of excitation density, reflecting a crossover from high- to low-energy magnon dominated decay dynamics. This electric-field induced parametric magnon pumping mechanism is applicable to a broad range of magnetic insulators and opens up the possibility of dynamically engineering magnon distributions by design.


title: Krylov complexity of density matrix operators

abstract: Quantifying complexity in quantum systems has witnessed a surge of interest in recent years, with Krylov-based measures such as Krylov complexity ($C_K$) and Spread complexity ($C_S$) gaining prominence. In this study, we investigate their interplay by considering the complexity of states represented by density matrix operators. After setting up the problem, we analyze a handful of analytical and numerical examples spanning generic two-dimensional Hilbert spaces, qubit states, quantum harmonic oscillators, and random matrix theories, uncovering insightful relationships. For generic pure states, our analysis reveals two key findings: (I) a correspondence between moment-generating functions (of Lanczos coefficients) and survival amplitudes, and (II) an early-time equivalence between $C_K$ and $2C_S$. Furthermore, for maximally entangled pure states, we find that the moment-generating function of $C_K$ becomes the Spectral Form Factor and, at late-times, $C_K$ is simply related to $NC_S$ for $N\geq2$ within the $N$-dimensional Hilbert space. Notably, we confirm that $C_K = 2C_S$ holds across all times when $N=2$. Through the lens of random matrix theories, we also discuss deviations between complexities at intermediate times and highlight subtleties in the averaging approach at the level of the survival amplitude.


title: Introduction to quantum entanglement in many-body systems

abstract: The quantum mechanics formalism introduced new revolutionary concepts challenging our everyday perceptions. Arguably, quantum entanglement, which explains correlations that cannot be reproduced classically, is the most notable of them. Besides its fundamental aspect, entanglement is also a resource, fueling emergent technologies such as quantum simulators and computers. The purpose of this chapter is to give a pedagogical introduction to the topic with a special emphasis on the multipartite scenario, i.e., entanglement distributed among many degrees of freedom. Due to the combinatorial complexity of this setting, particles can interact and become entangled in a plethora of ways, which we characterize here. We start by providing the necessary mathematical tools and elementary concepts from entanglement theory. A part of this chapter will be devoted to classifying and ordering entangled states. Then, we focus on various entanglement structures useful in condensed-matter theory such as tensor-network states or symmetric states useful for quantum-enhanced sensing. Finally, we discuss state-of-the-art methods to detect and certify such correlations in experiments, with some relevant illustrative examples.


title: Guided Quantum Compression for Higgs Identification

abstract: Quantum machine learning provides a fundamentally novel and promising approach to analyzing data. However, many data sets are too complex for currently available quantum computers. Consequently, quantum machine learning applications conventionally resort to dimensionality reduction algorithms, e.g., auto-encoders, before passing data through the quantum models. We show that using a classical auto-encoder as an independent preprocessing step can significantly decrease the classification performance of a quantum machine learning algorithm. To ameliorate this issue, we design an architecture that unifies the preprocessing and quantum classification algorithms into a single trainable model: the guided quantum compression model. The utility of this model is demonstrated by using it to identify the Higgs boson in proton-proton collisions at the LHC, where the conventional approach proves ineffective. Conversely, the guided quantum compression model excels at solving this classification problem, achieving a good accuracy. Additionally, the model developed herein shows better performance compared to the classical benchmark when using only low-level kinematic features.


title: Electron Interference as a Probe of Majorana Zero Modes

abstract: Detecting Majorana zero modes (MZMs) in topological superconductors remains challenging, as localized non-topological states can mimic MZM signatures. Here, we propose electron interferometry by non-local transport measurements as a definitive probe to distinguish MZMs from non-topological states. We develop an analytical minimal model showing that interference via two MZMs exhibits a robust pattern, in contrast to a non-topological system. We then numerically confirm this using various topological superconductor models. We find that MZMs are characterized by an interference pattern that is insensitive to various perturbations, such as electrostatic gate potential, and resilient to disorder. Our proposed interferometry approach offers an experimentally accessible means to detect MZMs, probing their underlying nature through a universal response.


title: C3NN: Cosmological Correlator Convolutional Neural Network -- an interpretable machine learning tool for cosmological analyses

abstract: Modern cosmological research in large scale structure has witnessed an increasing number of applications of machine learning methods. Among them, Convolutional Neural Networks (CNNs) have received substantial attention due to their outstanding performance in image classification, cosmological parameter inference and various other tasks. However, many models which make use of CNNs are criticized as "black boxes" due to the difficulties in relating their outputs intuitively and quantitatively to the cosmological fields under investigation. To overcome this challenge, we present the Cosmological Correlator Convolutional Neural Network (C3NN) -- a fusion of CNN architecture with the framework of cosmological N-point correlation functions (NPCFs). We demonstrate that the output of this model can be expressed explicitly in terms of the analytically tractable NPCFs. Together with other auxiliary algorithms, we are able to open the "black box" by quantitatively ranking different orders of the interpretable convolution outputs based on their contribution to classification tasks. As a proof of concept, we demonstrate this by applying our framework to a series of binary classification tasks using Gaussian and Log-normal random fields and relating its outputs to the analytical NPCFs describing the two fields. Furthermore, we exhibit the model's ability to distinguish different dark energy scenarios ($w_0=-0.95$ and $-1.05$) using N-body simulated weak lensing convergence maps and discuss the physical implications coming from their interpretability. With these tests, we show that C3NN combines advanced aspects of machine learning architectures with the framework of cosmological NPCFs, thereby making it an exciting tool with the potential to extract physical insights in a robust and explainable way from observational data.


title: Jasper: Scalable and Fair Multicast for Financial Exchanges in the Cloud

abstract: Financial exchanges have recently shown an interest in migrating to the public cloud for scalability, elasticity, and cost savings. However, financial exchanges often have strict network requirements that can be difficult to meet on the cloud. Notably, market participants (MPs) trade based on market data about different activities in the market. Exchanges often use switch multicast to disseminate market data to MPs. However, if one MP receives market data earlier than another, that MP would have an unfair advantage. To prevent this, financial exchanges often equalize exchange-to-MP cable lengths to provide near-simultaneous reception of market data at MPs. As a cloud tenant, however, building a fair multicast service is challenging because of the lack of switch support for multicast, high latency variance, and the lack of native mechanisms for simultaneous data delivery in the cloud. Jasper introduces a solution that creates an overlay multicast tree within a cloud region that minimizes latency and latency variations through hedging, leverages recent advancements in clock synchronization to achieve simultaneous delivery, and addresses various sources of latency through an optimized DPDK/eBPF implementation -- while scaling to a thousand receivers. Jasper outperforms a prior system, CloudEx, and a commercial multicast solution provided by Amazon Web Services. We present different deployment models and their performance impact. A deployment model where MPs and the exchange do not have to trust each other is realized using confidential computing.


title: Help Me to Understand this Commit! -- A Vision for Contextualized Code Reviews

abstract: Background: Modern Code Review (MCR) is a key component for delivering high-quality software and sharing knowledge among developers. Effective reviews require an in-depth understanding of the code and demand from the reviewers to contextualize the change from different perspectives. Aim: While there is a plethora of research on solutions that support developers to understand changed code, we have observed that many provide only narrow, specialized insights and very few aggregate information in a meaningful manner. Therefore, we aim to provide a vision of improving code understanding in MCR. Method: We classified 53 research papers suggesting proposals to improve MCR code understanding. We use this classification, the needs expressed by code reviewers from previous research, and the information we have not found in the literature for extrapolation. Results: We identified four major types of support systems and suggest an environment for contextualized code reviews. Furthermore, we illustrate with a set of scenarios how such an environment would improve the effectiveness of code reviews. Conclusions: Current research focuses mostly on providing narrow support for developers. We outline a vision for how MCR can be improved by using context and reducing the cognitive load on developers. We hope our vision can foster future advancements in development environments.


title: The Manifold Density Function: An Intrinsic Method for the Validation of Manifold Learning

abstract: We introduce the manifold density function, which is an intrinsic method to validate manifold learning techniques. Our approach adapts and extends Ripley's $K$-function, and categorizes in an unsupervised setting the extent to which an output of a manifold learning algorithm captures the structure of a latent manifold. Our manifold density function generalizes to broad classes of Riemannian manifolds. In particular, we extend the manifold density function to general two-manifolds using the Gauss-Bonnet theorem, and demonstrate that the manifold density function for hypersurfaces is well approximated using the first Laplacian eigenvalue. We prove desirable convergence and robustness properties.


title: Reducing Texture Bias of Deep Neural Networks via Edge Enhancing Diffusion

abstract: Convolutional neural networks (CNNs) for image processing tend to focus on localized texture patterns, commonly referred to as texture bias. While most of the previous works in the literature focus on the task of image classification, we go beyond this and study the texture bias of CNNs in semantic segmentation. In this work, we propose to train CNNs on pre-processed images with less texture to reduce the texture bias. Therein, the challenge is to suppress image texture while preserving shape information. To this end, we utilize edge enhancing diffusion (EED), an anisotropic image diffusion method initially introduced for image compression, to create texture reduced duplicates of existing datasets. Extensive numerical studies are performed with both CNNs and vision transformer models trained on original data and EED-processed data from the Cityscapes dataset and the CARLA driving simulator. We observe strong texture-dependence of CNNs and moderate texture-dependence of transformers. Training CNNs on EED-processed images enables the models to become completely ignorant with respect to texture, demonstrating resilience with respect to texture re-introduction to any degree. Additionally we analyze the performance reduction in depth on a level of connected components in the semantic segmentation and study the influence of EED pre-processing on domain generalization as well as adversarial robustness.


title: The dimension weighted fast multipole method for scattered data approximation

abstract: The present article is concerned scattered data approximation for higher dimensional data sets which exhibit an anisotropic behavior in the different dimensions. Tailoring sparse polynomial interpolation to this specific situation, we derive very efficient degenerate kernel approximations which we then use in a dimension weighted fast multipole method. This dimension weighted fast multipole method enables to deal with many more dimensions than the standard black-box fast multipole method based on interpolation. A thorough analysis of the method is provided including rigorous error estimates. The accuracy and the cost of the approach are validated by extensive numerical results. As a relevant application, we apply the approach to a shape uncertainty quantification problem.


title: Quantum state discrimination enhanced by path signature

abstract: Quantum state discrimination plays an essential role in quantum technology, crucial for quantum error correction, metrology, and sensing. While conventional methods rely on integrating readout signals or classifying raw signals, we developed a method to extract information about state transitions during readout, based on the path signature method, a tool for analyzing stochastic time series. The hardware experiments demonstrate an improvement in transmon qutrit state readout fidelity from 85.9 $\pm$ 1.0% to 91.0 $\pm$ 0.5%, without the need for additional hardware. This method has the potential to become a foundational tool for quantum technology.


title: Atmospheric Retrievals of the Young Giant Planet ROXs 42B b from Low- and High-Resolution Spectroscopy

abstract: Previous attempts have been made to characterize the atmospheres of directly imaged planets at low-resolution (R$\sim$10s-100s), but the presence of clouds has often led to degeneracies in the retrieved atmospheric abundances with cloud opacity and temperature structure that bias retrieved compositions. In this study, we perform retrievals on the ultra-young ($\lesssim$ 5 Myr) directly imaged planet ROXs 42B b with both a downsampled low-resolution $JHK$-band spectrum from Gemini/NIFS and Keck/OSIRIS, and a high-resolution $K$-band spectrum from pre-upgrade Keck/NIRSPAO. Using the atmospheric retrieval framework of petitRADTRANS, we analyze both data sets individually and combined. We additionally fit for the stellar abundances and other physical properties of the host stars, a young M spectral type binary, using the SPHINX model grid. We find that the measured C/O, $0.50\pm0.05$, and metallicity, [Fe/H] = $-0.67\pm0.35$, for ROXs 42B b from our high-resolution spectrum agree with that of its host stars within 1$\sigma$. The retrieved parameters from the high-resolution spectrum are also independent of our choice of cloud model. In contrast, the retrieved parameters from the low-resolution spectrum show strong degeneracies between the clouds and the retrieved metallicity and temperature structure. When we retrieve on both data sets together, we find that these degeneracies are reduced but not eliminated, and the final results remain highly sensitive to cloud modeling choices. We conclude that high-resolution spectroscopy offers the most promising path for reliably determining atmospheric compositions of directly imaged companions independent of their cloud properties.


title: TDOA-TWR based positioning algorithm for UWB localization system

abstract: Ultra-wideband positioning systems intended for indoor applications often work in non-line of sight conditions, which result in insufficient precision and accuracy of derived localizations. One of the possible solutions is the implementation of cooperative positioning techniques. The following paper describes a cooperative ultra-wideband positioning system which calculates tag position from TDOA and distance between tags measurements. In the paper positioning system architecture is described and an exemplary transmission scheme for cooperative systems is presented. Considered localization system utilizes an Extended Kalman Filter based algorithm. The algorithm was investigated with simulations and experiments. Conducted experiment consisted in fusing results gathered from typical TDOA positioning system infrastructure and ranging results obtained with ultra-wideband radio modules. The research has shown that the use presented cooperative algorithm increases positioning precision.


title: On magnitudes of some CKM matrix elements

abstract: This writeup follows the presentation at the Symposium, with emphasis on topics and ideas discussed there. It is purposefully informal, not a review of the field, and neither does it include a complete list of references. However, I hope that readers might find some comments useful or amusing, and may appreciate the challenges and reasons for excitement about recent progress and future opportunities in flavor physics.


title: Secondary massive quarks with the Mellin-Barnes expansion

abstract: Processes involving only massless or massive quarks at tree-level get corrections from massive (lighter, heavier, or equal-mass) secondary quarks starting at two-loop order, generated by a virtual gluon splitting into a massive quark anti-quark pair. One convenient approach to compute such two-loop corrections is starting with the one-loop diagram considering the virtual gluon massive. Carrying out a dispersive integral with a suitable kernel over the gluon mass yields the desired two-loop result. On the other hand, the Mellin-Barnes representation can be used to compute the expansion of Feynman integrals in powers of a small parameter. In this article we show how to combine these two ideas to obtain the corresponding expansions for large and small secondary quark masses to arbitrarily high orders in a straightforward manner. Furthermore, the convergence radius of both expansions can be shown to overlap, being each series rapidly convergent. The advantage of our method is that the Mellin representation is obtained directly for the full matrix element from the same one-loop computation one needs in large-$\beta_0$ computations, therefore many existing results can be recycled. With minimal modifications, the strategy can be applied to compute the expansion of the one-loop correction coming from a massive gauge boson. We apply this method to a plethora of examples, in particular those relevant for factorized cross sections involving massless and massive jets, recovering known results and obtaining new ones. Another bonus of our approach is that, postponing the Mellin inversion, one can obtain the small- and large-mas expansions for the RG-evolved jet functions. In many cases, the series can be summed up yielding closed expressions.


title: Partitio Numerorum: sums of squares and higher powers

abstract: We survey the potential for progress in additive number theory arising from recent advances concerning major arc bounds associated with mean value estimates for smooth Weyl sums. We focus attention on the problem of representing large positive integers as sums of a square and a number of $k$-th powers. We show that such representations exist when the number of $k$-th powers is at least $\lfloor c_0k\rfloor +2$, where $c_0=2.136294\ldots $. By developing an abstract framework capable of handling sequences with appropriate distribution properties, analogous conclusions are obtained, for example, when the square is restricted to have prime argument.


title: Learning From Lessons Learned: Preliminary Findings From a Study of Learning From Failure

abstract: Due to various sources of uncertainty, emergent behavior, and ongoing changes, the reliability of many socio-technical systems depends on an iterative and collaborative process in which organizations (1) analyze and learn from system failures, and then (2) co-evolve both the technical and human parts of their systems based on what they learn. Many organizations have defined processes for learning from failure, often involving postmortem analyses conducted after any system failures that are judged to be sufficiently severe. Despite established processes and tool support, our preliminary research, and professional experience, suggest that it is not straightforward to take what was learned from a failure and successfully improve the reliability of the socio-technical system. To better understand this collaborative process and the associated challenges, we are conducting a study of how teams learn from failure. We are gathering incident reports from multiple organizations and conducting interviews with engineers and managers with relevant experience. Our analytic interest is in what is learned by teams as they reflect on failures, the learning processes involved, and how they use what is learned. Our data collection and analysis are not yet complete, but we have so far analyzed 13 incident reports and seven interviews. In this short paper we (1) present our preliminary findings, and (2) outline our broader research plans.


title: Singular hypersurfaces and thin shells in cosmology

abstract: We analyse spherically symmetric geometries, combining a cosmological patch and a Schwarzschild black hole patch joined via a singular co-dimension 1 hypersurface. In a general analysis applicable to dimensions greater than three, assuming an arbitrary homogeneous and isotropic cosmology, we derive the stress-energy tensor of the hypersurface in terms of the cosmological energy density. This analysis reveals a novel exact solution featuring radiation within the cosmology and a shell composed of pressureless dust. Exploring the parameter space yields twenty-two distinct solution families, including `bubble of cosmology' and `Swiss cheese' spacetimes. Notably, solutions with a negative cosmological constant exhibit a holographic dual. Additionally, we provide a pedagogical introduction to hypersurfaces in general relativity and a practical approach for constructing thin shell spacetimes.