title: Intermetallic particle heterogeneity controls shear localization in high-strength nanostructured Al alloys

abstract: The mechanical behavior of two nanocrystalline Al alloys, Al-Mg-Y and Al-Fe-Y, is investigated with in-situ micropillar compression testing. Both alloys were strengthened by a hierarchical microstructure including grain boundary segregation, nanometer-thick amorphous complexions, carbide nanorod precipitates with sizes of a few nanometers, and submicron-scale intermetallic particles. The maximum yield strength of the Al-Mg-Y system is measured to be 950 MPa, exceeding that of the Al-Fe-Y system (680 MPa), primarily due to a combination of more carbide nanorods and more amorphous complexions. Both alloys exhibited yield strengths much higher than those of commercial Al alloys, and therefore have great potential for structural applications. However, some micropillar specimens were observed to plastically soften through shear banding. Post-mortem investigation revealed that intermetallic-free deformation pathways of a few micrometers in length were responsible for this failure. Further characterization showed significant grain growth within the shear band. The coarsened grains maintained the same orientation with each other, pointing to grain boundary mechanisms for plastic flow, specifically grain rotation and/or grain boundary migration. The presence of intermetallic particles makes it difficult for both matrix and intermetallic grains to rotate into the same orientation due to the different lattice parameters and slip systems. Therefore, we are able to conclude that a uniform distribution of intermetallic particles with an average spacing less than the percolation length of shear localization can effectively prevent the maturation of shear bands, offering a design strategy for high-strength nanocrystalline Al alloys with both high strength and stable plastic flow.


title: Unsupervised Learning of Depth, Camera Pose and Optical Flow from Monocular Video

abstract: We propose DFPNet -- an unsupervised, joint learning system for monocular Depth, Optical Flow and egomotion (Camera Pose) estimation from monocular image sequences. Due to the nature of 3D scene geometry these three components are coupled. We leverage this fact to jointly train all the three components in an end-to-end manner. A single composite loss function -- which involves image reconstruction-based loss for depth & optical flow, bidirectional consistency checks and smoothness loss components -- is used to train the network. Using hyperparameter tuning, we are able to reduce the model size to less than 5% (8.4M parameters) of state-of-the-art DFP models. Evaluation on KITTI and Cityscapes driving datasets reveals that our model achieves results comparable to state-of-the-art in all of the three tasks, even with the significantly smaller model size.


title: Regularisation and separation for evolving surface Cahn-Hilliard equations

abstract: We consider the Cahn-Hilliard equation with constant mobility and logarithmic potential on a two-dimensional evolving closed surface embedded in $\mathbb R^3$, as well as a related weighted model. The well-posedness of weak solutions for the corresponding initial value problems on a given time interval $[0,T]$ have already been established by the first two authors. Here we first prove some regularisation properties of weak solutions in finite time. Then, we show the validity of the strict separation property for both the problems. This means that the solutions stay uniformly away from the pure phases $\pm1$ from any positive time on. This property plays an essential role to achieve higher-order regularity for the solutions. Also, it is a rigorous validation of the standard double-well approximation. The present results are a twofold extension of the well-known ones for the classical equation in planar domains.


title: Public Signals in Network Congestion Games

abstract: We consider a largely untapped potential for the improvement of traffic networks that is rooted in the inherent uncertainty of travel times. Travel times are subject to stochastic uncertainty resulting from various parameters such as weather condition, occurrences of road works, or traffic accidents. Large mobility services have an informational advantage over single network users as they are able to learn traffic conditions from data. A benevolent mobility service may use this informational advantage in order to steer the traffic equilibrium into a favorable direction. The resulting optimization problem is a task commonly referred to as signaling or Bayesian persuasion. Previous work has shown that the underlying signaling problem can be NP-hard to approximate within any non-trivial bounds, even for affine cost functions with stochastic offsets. In contrast, we show that in this case, the signaling problem is easy for many networks. We tightly characterize the class of single-commodity networks, in which full information revelation is always an optimal signaling strategy. Moreover, we construct a reduction from optimal signaling to computing an optimal collection of support vectors for the Wardrop equilibrium. For two states, this insight can be used to compute an optimal signaling scheme. The algorithm runs in polynomial time whenever the number of different supports resulting from any signal distribution is bounded to a polynomial in the input size. Using a cell decomposition technique, we extend the approach to a polynomial-time algorithm for multi-commodity parallel link networks with a constant number of commodities, even when we have a constant number of different states of nature.


title: Deep Learning Methods for Proximal Inference via Maximum Moment Restriction

abstract: The No Unmeasured Confounding Assumption is widely used to identify causal effects in observational studies. Recent work on proximal inference has provided alternative identification results that succeed even in the presence of unobserved confounders, provided that one has measured a sufficiently rich set of proxy variables, satisfying specific structural conditions. However, proximal inference requires solving an ill-posed integral equation. Previous approaches have used a variety of machine learning techniques to estimate a solution to this integral equation, commonly referred to as the bridge function. However, prior work has often been limited by relying on pre-specified kernel functions, which are not data adaptive and struggle to scale to large datasets. In this work, we introduce a flexible and scalable method based on a deep neural network to estimate causal effects in the presence of unmeasured confounding using proximal inference. Our method achieves state of the art performance on two well-established proximal inference benchmarks. Finally, we provide theoretical consistency guarantees for our method.


title: Algorithms for Weak Optimal Transport with an Application to Economics

abstract: The theory of weak optimal transport (WOT), introduced by [Gozlan et al., 2017], generalizes the classic Monge-Kantorovich framework by allowing the transport cost between one point and the points it is matched with to be nonlinear. In the so-called barycentric version of WOT, the cost for transporting a point $x$ only depends on $x$ and on the barycenter of the points it is matched with. This aggregation property of WOT is appealing in machine learning, economics and finance. Yet algorithms to compute WOT have only been developed for the special case of quadratic barycentric WOT, or depend on neural networks with no guarantee on the computed value and matching. The main difficulty lies in the transportation constraints which are costly to project onto. In this paper, we propose to use mirror descent algorithms to solve the primal and dual versions of the WOT problem. We also apply our algorithms to the variant of WOT introduced by [Chon\'e et al., 2022] where mass is distributed from one space to another through unnormalized kernels (WOTUK). We empirically compare the solutions of WOT and WOTUK with classical OT. We illustrate our numerical methods to the economic framework of [Chon\'e and Kramarz, 2021], namely the matching between workers and firms on labor markets.


title: DPER: Dynamic Programming for Exist-Random Stochastic SAT

abstract: In Bayesian inference, the maximum a posteriori (MAP) problem combines the most probable explanation (MPE) and marginalization (MAR) problems. The counterpart in propositional logic is the exist-random stochastic satisfiability (ER-SSAT) problem, which combines the satisfiability (SAT) and weighted model counting (WMC) problems. Both MAP and ER-SSAT have the form $\operatorname{argmax}_X \sum_Y f(X, Y)$, where $f$ is a real-valued function over disjoint sets $X$ and $Y$ of variables. These two optimization problems request a value assignment for the $X$ variables that maximizes the weighted sum of $f(X, Y)$ over all value assignments for the $Y$ variables. ER-SSAT has been shown to be a promising approach to formally verify fairness in supervised learning. Recently, dynamic programming on graded project-join trees has been proposed to solve weighted projected model counting (WPMC), a related problem that has the form $\sum_X \max_Y f(X, Y)$. We extend this WPMC framework to exactly solve ER-SSAT and implement a dynamic-programming solver named DPER. Our empirical evaluation indicates that DPER contributes to the portfolio of state-of-the-art ER-SSAT solvers (DC-SSAT and erSSAT) through competitive performance on low-width problem instances.


title: Exploring the effects of Delta Baryons in magnetars

abstract: Strong magnetic fields can modify the microscopic composition of matter with consequences on stellar macroscopic properties. Within this context, we study, for the first time, the possibility of the appearance of spin-3/2 $\Delta$ baryons in magnetars. We make use of two different relativistic models for the equation of state of dense matter under the influence of strong magnetic fields considering the effects of Landau levels and the anomalous magnetic moment (AMM) proportional to the spin of all baryons and leptons. In particular, we analyze the effects of the AMM of $\Delta$ baryons in dense matter for the first time. {We also obtain global properties corresponding to the EoS models numerically and study the corresponding role of the $\Delta$ baryons.} We find that they are favored over hyperons, which causes an increase in isopin asymmetry and a decrease in spin polarization. We also find that, contrary to what generally occurs when new degrees of freedom are introduced, the $\Delta$s do not make the EoS significantly softer and magnetars less massive. Finally, the magnetic field distribution inside a given star is not affected by the presence of $\Delta$s.


title: Pipelined correlated minimum weight perfect matching of the surface code

abstract: We describe a pipeline approach to decoding the surface code using minimum weight perfect matching, including taking into account correlations between detection events. An independent no-communication parallelizable processing stage reweights the graph according to likely correlations, followed by another no-communication parallelizable stage for high confidence matching. A later general stage finishes the matching. This is a simplification of previous correlated matching techniques which required a complex interaction between general matching and re-weighting the graph. Despite this simplification, which gives correlated matching a better chance of achieving real-time processing, we find the logical error rate practically unchanged. We validate the new algorithm on the fully fault-tolerant toric, unrotated, and rotated surface codes, all with standard depolarizing noise. We expect these techniques to be applicable to a wide range of other decoders.


title: Capturing cross-session neural population variability through self-supervised identification of consistent neuron ensembles

abstract: Decoding stimuli or behaviour from recorded neural activity is a common approach to interrogate brain function in research, and an essential part of brain-computer and brain-machine interfaces. Reliable decoding even from small neural populations is possible because high dimensional neural population activity typically occupies low dimensional manifolds that are discoverable with suitable latent variable models. Over time however, drifts in activity of individual neurons and instabilities in neural recording devices can be substantial, making stable decoding over days and weeks impractical. While this drift cannot be predicted on an individual neuron level, population level variations over consecutive recording sessions such as differing sets of neurons and varying permutations of consistent neurons in recorded data may be learnable when the underlying manifold is stable over time. Classification of consistent versus unfamiliar neurons across sessions and accounting for deviations in the order of consistent recording neurons in recording datasets over sessions of recordings may then maintain decoding performance. In this work we show that self-supervised training of a deep neural network can be used to compensate for this inter-session variability. As a result, a sequential autoencoding model can maintain state-of-the-art behaviour decoding performance for completely unseen recording sessions several days into the future. Our approach only requires a single recording session for training the model, and is a step towards reliable, recalibration-free brain computer interfaces.


title: Towards Understanding Gender-Seniority Compound Bias in Natural Language Generation

abstract: Women are often perceived as junior to their male counterparts, even within the same job titles. While there has been significant progress in the evaluation of gender bias in natural language processing (NLP), existing studies seldom investigate how biases toward gender groups change when compounded with other societal biases. In this work, we investigate how seniority impacts the degree of gender bias exhibited in pretrained neural generation models by introducing a novel framework for probing compound bias. We contribute a benchmark robustness-testing dataset spanning two domains, U.S. senatorship and professorship, created using a distant-supervision method. Our dataset includes human-written text with underlying ground truth and paired counterfactuals. We then examine GPT-2 perplexity and the frequency of gendered language in generated text. Our results show that GPT-2 amplifies bias by considering women as junior and men as senior more often than the ground truth in both domains. These results suggest that NLP applications built using GPT-2 may harm women in professional capacities.


title: A numerical comparison of some heuristic stopping rules for nonlinear Landweber iteration

abstract: The choice of a suitable regularization parameter is an important part of most regularization methods for inverse problems. In the absence of reliable estimates of the noise level, heuristic parameter choice rules can be used to accomplish this task. While they are already fairly well-understood and tested in the case of linear problems, not much is known about their behaviour for nonlinear problems and even less in the respective case of iterative regularization. Hence, in this paper, we numerically study the performance of some of these rules when used to determine a stopping index for Landweber iteration for various nonlinear inverse problems. These are chosen from different practically relevant fields such as integral equations, parameter estimation, and tomography.


title: Tellurium Spectrometer for ${}^1\text{S}_0-{}^{1}\text{P}_1$ Transitions in Strontium and Other Alkaline-Earth Atoms

abstract: We measure the spectrum of tellurium-130 in the vicinity of the 461~nm ${}^1\text{S}_0-{}^{1}\text{P}_1$ cycling transition in neutral strontium, a popular element for atomic clocks, quantum information, and quantum-degenerate gases. The lack of hyperfine structure in tellurium results in a spectral density of transitions nearly 50 times lower than that available in iodine, making use of tellurium as a laser-frequency reference challenging. By frequency-offset locking two lasers, we generate the large frequency shifts required to span the difference between a tellurium line and the ${}^1\text{S}_0-{}^1\text{P}_1$ resonance in strontium or other alkaline-earth atom. The resulting laser architecture is long-term frequency stable, widely tunable, and optimizes available laser power. The versatility of the system is demonstrated by using it to quickly switch between any strontium isotope in a magneto-optical trap and by adapting it to spectroscopy on a thermal beam with a different alkaline-earth atom.


title: Learning Interface Conditions in Domain Decomposition Solvers

abstract: Domain decomposition methods are widely used and effective in the approximation of solutions to partial differential equations. Yet the optimal construction of these methods requires tedious analysis and is often available only in simplified, structured-grid settings, limiting their use for more complex problems. In this work, we generalize optimized Schwarz domain decomposition methods to unstructured-grid problems, using Graph Convolutional Neural Networks (GCNNs) and unsupervised learning to learn optimal modifications at subdomain interfaces. A key ingredient in our approach is an improved loss function, enabling effective training on relatively small problems, but robust performance on arbitrarily large problems, with computational cost linear in problem size. The performance of the learned linear solvers is compared with both classical and optimized domain decomposition algorithms, for both structured- and unstructured-grid problems.


title: Classification of Intra-Pulse Modulation of Radar Signals by Feature Fusion Based Convolutional Neural Networks

abstract: Detection and classification of radars based on pulses they transmit is an important application in electronic warfare systems. In this work, we propose a novel deep-learning based technique that automatically recognizes intra-pulse modulation types of radar signals. Re-assigned spectrogram of measured radar signal and detected outliers of its instantaneous phases filtered by a special function are used for training multiple convolutional neural networks. Automatically extracted features from the networks are fused to distinguish frequency and phase modulated signals. Simulation results show that the proposed FF-CNN (Feature Fusion based Convolutional Neural Network) technique outperforms the current state-of-the-art alternatives and is easily scalable among broad range of modulation types.


title: Efficiency fluctuations in a quantum battery charged by a repeated interaction process

abstract: A repeated interaction process assisted by auxiliary thermal systems charges a quantum battery. The charging energy is supplied by switching on and off the interaction between the battery and the thermal systems. The charged state is an equilibrium state for the repeated interaction process, and the ergotropy characterizes its charge. The working cycle consists in extracting the ergotropy and charging the battery again. We discuss the fluctuating efficiency of the process, among other fluctuating properties. These fluctuations are dominated by the equilibrium distribution and depend weakly on other process properties.


title: Concurrent Policy Blending and System Identification for Generalized Assistive Control

abstract: In this work, we address the problem of solving complex collaborative robotic tasks subject to multiple varying parameters. Our approach combines simultaneous policy blending with system identification to create generalized policies that are robust to changes in system parameters. We employ a blending network whose state space relies solely on parameter estimates from a system identification technique. As a result, this blending network learns how to handle parameter changes instead of trying to learn how to solve the task for a generalized parameter set simultaneously. We demonstrate our scheme's ability on a collaborative robot and human itching task in which the human has motor impairments. We then showcase our approach's efficiency with a variety of system identification techniques when compared to standard domain randomization.


title: Summarization as Indirect Supervision for Relation Extraction

abstract: Relation extraction (RE) models have been challenged by their reliance on training data with expensive annotations. Considering that summarization tasks aim at acquiring concise expressions of synoptical information from the longer context, these tasks naturally align with the objective of RE, i.e., extracting a kind of synoptical information that describes the relation of entity mentions. We present SuRE, which converts RE into a summarization formulation. SuRE leads to more precise and resource-efficient RE based on indirect supervision from summarization tasks. To achieve this goal, we develop sentence and relation conversion techniques that essentially bridge the formulation of summarization and RE tasks. We also incorporate constraint decoding techniques with Trie scoring to further enhance summarization-based RE with robust inference. Experiments on three RE datasets demonstrate the effectiveness of SuRE in both full-dataset and low-resource settings, showing that summarization is a promising source of indirect supervision to improve RE models.


title: Why GANs are overkill for NLP

abstract: This work offers a novel theoretical perspective on why, despite numerous attempts, adversarial approaches to generative modeling (e.g., GANs) have not been as popular for certain generation tasks, particularly sequential tasks such as Natural Language Generation, as they have in others, such as Computer Vision. In particular, on sequential data such as text, maximum-likelihood approaches are significantly more utilized than GANs. We show that, while it may seem that maximizing likelihood is inherently different than minimizing distinguishability, this distinction is largely artificial and only holds for limited models. We argue that minimizing KL-divergence (i.e., maximizing likelihood) is a more efficient approach to effectively minimizing the same distinguishability criteria that adversarial models seek to optimize. Reductions show that minimizing distinguishability can be seen as simply boosting likelihood for certain families of models including n-gram models and neural networks with a softmax output layer. To achieve a full polynomial-time reduction, a novel next-token distinguishability model is considered.


title: HyBNN and FedHyBNN: (Federated) Hybrid Binary Neural Networks

abstract: Binary Neural Networks (BNNs), neural networks with weights and activations constrained to -1(0) and +1, are an alternative to deep neural networks which offer faster training, lower memory consumption and lightweight models, ideal for use in resource constrained devices while being able to utilize the architecture of their deep neural network counterpart. However, the input binarization step used in BNNs causes a severe accuracy loss. In this paper, we introduce a novel hybrid neural network architecture, Hybrid Binary Neural Network (HyBNN), consisting of a task-independent, general, full-precision variational autoencoder with a binary latent space and a task specific binary neural network that is able to greatly limit the accuracy loss due to input binarization by using the full precision variational autoencoder as a feature extractor. We use it to combine the state-of-the-art accuracy of deep neural networks with the much faster training time, quicker test-time inference and power efficiency of binary neural networks. We show that our proposed system is able to very significantly outperform a vanilla binary neural network with input binarization. We also introduce FedHyBNN, a highly communication efficient federated counterpart to HyBNN and demonstrate that it is able to reach the same accuracy as its non-federated equivalent. We make our source code, experimental parameters and models available at: https://anonymous.4open.science/r/HyBNN.


title: A toolbox for idea generation and evaluation: Machine learning, data-driven, and contest-driven approaches to support idea generation

abstract: The significance and abundance of data are increasing due to the growing digital data generated from social media, sensors, scholarly literature, patents, different forms of documents published online, databases, product manuals, etc. Various data sources can be used to generate ideas, yet, in addition to bias, the size of the available digital data is a major challenge when it comes to manual analysis. Hence, human-machine interaction is essential for generating valuable ideas where machine learning and data-driven techniques generate patterns from data and serve human sense-making. However, the use of machine learning and data-driven approaches to generate ideas is a relatively new area. Moreover, it is also possible to stimulate innovation using contest-driven idea generation and evaluation. The results and contributions of this thesis can be viewed as a toolbox of idea-generation techniques, including a list of data-driven and machine learning techniques with corresponding data sources and models to support idea generation. In addition, the results include two models, one method and one framework, to better support data-driven and contest- driven idea generation. The beneficiaries of these artefacts are practitioners in data and knowledge engineering, data mining project managers, and innovation agents. Innovation agents include incubators, contest organizers, consultants, innovation accelerators, and industries. Since the proposed artefacts consist of process models augmented with AI techniques, human-centred AI is a promising area of research that can contribute to the artefacts' further development and promote creativity.


title: Single-cell Subcellular Protein Localisation Using Novel Ensembles of Diverse Deep Architectures

abstract: Unravelling protein distributions within individual cells is key to understanding their function and state and indispensable to developing new treatments. Here we present the Hybrid subCellular Protein Localiser (HCPL), which learns from weakly labelled data to robustly localise single-cell subcellular protein patterns. It comprises innovative DNN architectures exploiting wavelet filters and learnt parametric activations that successfully tackle drastic cell variability. HCPL features correlation-based ensembling of novel architectures that boosts performance and aids generalisation. Large-scale data annotation is made feasible by our "AI-trains-AI" approach, which determines the visual integrity of cells and emphasises reliable labels for efficient training. In the Human Protein Atlas context, we demonstrate that HCPL defines state-of-the-art in the single-cell classification of protein localisation patterns. To better understand the inner workings of HCPL and assess its biological relevance, we analyse the contributions of each system component and dissect the emergent features from which the localisation predictions are derived.


title: Generation of Artificial CT Images using Patch-based Conditional Generative Adversarial Networks

abstract: Deep learning has a great potential to alleviate diagnosis and prognosis for various clinical procedures. However, the lack of a sufficient number of medical images is the most common obstacle in conducting image-based analysis using deep learning. Due to the annotations scarcity, semi-supervised techniques in the automatic medical analysis are getting high attention. Artificial data augmentation and generation techniques such as generative adversarial networks (GANs) may help overcome this obstacle. In this work, we present an image generation approach that uses generative adversarial networks with a conditional discriminator where segmentation masks are used as conditions for image generation. We validate the feasibility of GAN-enhanced medical image generation on whole heart computed tomography (CT) images and its seven substructures, namely: left ventricle, right ventricle, left atrium, right atrium, myocardium, pulmonary arteries, and aorta. Obtained results demonstrate the suitability of the proposed adversarial approach for the accurate generation of high-quality CT images. The presented method shows great potential to facilitate further research in the domain of artificial medical image generation.


title: Table Retrieval May Not Necessitate Table-specific Model Design

abstract: Tables are an important form of structured data for both human and machine readers alike, providing answers to questions that cannot, or cannot easily, be found in texts. Recent work has designed special models and training paradigms for table-related tasks such as table-based question answering and table retrieval. Though effective, they add complexity in both modeling and data acquisition compared to generic text solutions and obscure which elements are truly beneficial. In this work, we focus on the task of table retrieval, and ask: "is table-specific model design necessary for table retrieval, or can a simpler text-based model be effectively used to achieve a similar result?" First, we perform an analysis on a table-based portion of the Natural Questions dataset (NQ-table), and find that structure plays a negligible role in more than 70% of the cases. Based on this, we experiment with a general Dense Passage Retriever (DPR) based on text and a specialized Dense Table Retriever (DTR) that uses table-specific model designs. We find that DPR performs well without any table-specific design and training, and even achieves superior results compared to DTR when fine-tuned on properly linearized tables. We then experiment with three modules to explicitly encode table structures, namely auxiliary row/column embeddings, hard attention masks, and soft relation-based attention biases. However, none of these yielded significant improvements, suggesting that table-specific model design may not be necessary for table retrieval.


title: Quantum Supermaps are Characterized by Locality

abstract: We provide a new characterisation of quantum supermaps in terms of an axiom that refers only to sequential and parallel composition. Consequently, we generalize quantum supermaps to arbitrary monoidal categories and operational probabilistic theories. We do so by providing a simple definition of locally-applicable transformation on a monoidal category. The definition can be rephrased in the language of category theory using the principle of naturality, and can be given an intuitive diagrammatic representation in terms of which all proofs are presented. In our main technical contribution, we use this diagrammatic representation to show that locally-applicable transformations on quantum channels are in one-to-one correspondence with deterministic quantum supermaps. This alternative characterization of quantum supermaps is proven to work for more general multiple-input supermaps such as the quantum switch and on arbitrary normal convex spaces of quantum channels such as those defined by satisfaction of signaling constraints.


title: Spikemax: Spike-based Loss Methods for Classification

abstract: Spiking Neural Networks~(SNNs) are a promising research paradigm for low power edge-based computing. Recent works in SNN backpropagation has enabled training of SNNs for practical tasks. However, since spikes are binary events in time, standard loss formulations are not directly compatible with spike output. As a result, current works are limited to using mean-squared loss of spike count. In this paper, we formulate the output probability interpretation from the spike count measure and introduce spike-based negative log-likelihood measure which are more suited for classification tasks especially in terms of the energy efficiency and inference latency. We compare our loss measures with other existing alternatives and evaluate using classification performances on three neuromorphic benchmark datasets: NMNIST, DVS Gesture and N-TIDIGITS18. In addition, we demonstrate state of the art performances on these datasets, achieving faster inference speed and less energy consumption.


title: Reconstruction of photospheric velocity fields from highly corrupted data

abstract: The analysis of the photospheric velocity field is essential for understanding plasma turbulence in the solar surface, which may be responsible for driving processes such as magnetic reconnection, flares, wave propagation, particle acceleration, and coronal heating. Currently, the only available methods to estimate velocities at the solar photosphere transverse to an observer's line of sight infer flows from differences in image structure in successive observations. Due to data noise, algorithms such as local correlation tracking (LCT) may lead to a vector field with wide gaps where no velocity vectors are provided. In this letter, a novel method for image inpainting of highly corrupted data is proposed and applied to the restoration of horizontal velocity fields in the solar photosphere. The restored velocity field preserves all the vector field components present in the original field. The method shows robustness when applied to both simulated and observational data.

categories: astro-ph.SR physics.flu-dyn physics.plasm-ph physics.space-ph


title: Strict irreducibility of Markov chains and ergodicity of skew products

abstract: We consider a family of measure preserving transformations, which act on a common probability space and are chosen at random by a stationary ergodic Markov chain. This setting defines an instance of a random dynamical system (RDS), which may be described in terms of a step skew product. In many contexts it is desirable to know whether ergodicity of the family implies ergodicity of the skew product. Introducing the notion of strict irreducibility for Markov kernels we shall characterize the class of Markov chains for which the aforementioned implication holds true. We thereby extend a sufficient condition of Bufetov for the case of finite state Markov chains to general state spaces and show that it is in fact also necessary. As an application we obtain an explicit description of the limit in ergodic theorems for a suitable class of random transformations.


title: Classification of Codazzi and note on minimal hypersurfaces in $Nil^{4}$

abstract: In this paper, we give a classification of Codazzi hypersurfaces in a Lie group $(Nil^{4},\widetilde g)$. We also give a characterization of a class of minimal hypersurfaces in $(Nil^{4},\widetilde g)$ with an example of a minimal surface in this class.


title: Confident Clustering via PCA Compression Ratio and Its Application to Single-cell RNA-seq Analysis

abstract: Unsupervised clustering algorithms for vectors has been widely used in the area of machine learning. Many applications, including the biological data we studied in this paper, contain some boundary datapoints which show combination properties of two underlying clusters and could lower the performance of the traditional clustering algorithms. We develop a confident clustering method aiming to diminish the influence of these datapoints and improve the clustering results. Concretely, for a list of datapoints, we give two clustering results. The first-round clustering attempts to classify only pure vectors with high confidence. Based on it, we classify more vectors with less confidence in the second round. We validate our algorithm on single-cell RNA-seq data, which is a powerful and widely used tool in biology area. Our confident clustering shows a high accuracy on our tested datasets. In addition, unlike traditional clustering methods in single-cell analysis, the confident clustering shows high stability under different choices of parameters.


title: Human Gender Prediction Based on Deep Transfer Learning from Panoramic Radiograph Images

abstract: Panoramic Dental Radiography (PDR) image processing is one of the most extensively used manual methods for gender determination in forensic medicine. With the assistance of the PDR images, a person's biological gender determination can be performed through analyzing skeletal structures expressing sexual dimorphism. Manual approaches require a wide range of mandibular parameter measurements in metric units. Besides being time-consuming, these methods also necessitate the employment of experienced professionals. In this context, deep learning models are widely utilized in the auto-analysis of radiological images nowadays, owing to their high processing speed, accuracy, and stability. In our study, a data set consisting of 24,000 dental panoramic images was prepared for binary classification, and the transfer learning method was used to accelerate the training and increase the performance of our proposed DenseNet121 deep learning model. With the transfer learning method, instead of starting the learning process from scratch, the existing patterns learned beforehand were used. Extensive comparisons were made using deep transfer learning (DTL) models VGG16, ResNet50, and EfficientNetB6 to assess the classification performance of the proposed model in PDR images. According to the findings of the comparative analysis, the proposed model outperformed the other approaches by achieving a success rate of 97.25% in gender classification.


title: The full range of uniform bounds for the bilinear Hilbert transform

abstract: We prove uniform uniform $L^{p}$ bounds for the family of bilinear Hilbert transforms $\mathrm{BHT}_{\beta} [f_1, f_2] (x) := \mathrm{p.v.} \int_{\mathbb{R}} f_1 (x - t) f_2 (x + \beta t) \frac{\mathrm{d} t}{t}$. We show that the operator $\mathrm{BHT}_{\beta}$ maps $L^{p_{1}}\times L^{p_{2}}$ into $L^{p}$ as long as $p_1 \in (1, \infty)$, $p_2 \in (1, \infty)$, and $p > \frac{2}{3}$ with a bound independent of $\beta\in(0,1]$. This is the full open range of exponents where the modulation invariant class of bilinear operators containing $\mathrm{BHT}_{\beta}$ can be bounded uniformly. This is done by proving boundedness of certain affine transformations of the frequency-time-scale space $\mathbb{R}^{3}_{+}$ in terms of iterated outer Lebesgue spaces. This results in new linear and bilinear wave packet embedding bounds well suited to study uniform bounds.


title: Deconfounding Actor-Critic Network with Policy Adaptation for Dynamic Treatment Regimes

abstract: Despite intense efforts in basic and clinical research, an individualized ventilation strategy for critically ill patients remains a major challenge. Recently, dynamic treatment regime (DTR) with reinforcement learning (RL) on electronic health records (EHR) has attracted interest from both the healthcare industry and machine learning research community. However, most learned DTR policies might be biased due to the existence of confounders. Although some treatment actions non-survivors received may be helpful, if confounders cause the mortality, the training of RL models guided by long-term outcomes (e.g., 90-day mortality) would punish those treatment actions causing the learned DTR policies to be suboptimal. In this study, we develop a new deconfounding actor-critic network (DAC) to learn optimal DTR policies for patients. To alleviate confounding issues, we incorporate a patient resampling module and a confounding balance module into our actor-critic framework. To avoid punishing the effective treatment actions non-survivors received, we design a short-term reward to capture patients' immediate health state changes. Combining short-term with long-term rewards could further improve the model performance. Moreover, we introduce a policy adaptation method to successfully transfer the learned model to new-source small-scale datasets. The experimental results on one semi-synthetic and two different real-world datasets show the proposed model outperforms the state-of-the-art models. The proposed model provides individualized treatment decisions for mechanical ventilation that could improve patient outcomes.


title: MCVD: Masked Conditional Video Diffusion for Prediction, Generation, and Interpolation

abstract: Video prediction is a challenging task. The quality of video frames from current state-of-the-art (SOTA) generative models tends to be poor and generalization beyond the training data is difficult. Furthermore, existing prediction frameworks are typically not capable of simultaneously handling other video-related tasks such as unconditional generation or interpolation. In this work, we devise a general-purpose framework called Masked Conditional Video Diffusion (MCVD) for all of these video synthesis tasks using a probabilistic conditional score-based denoising diffusion model, conditioned on past and/or future frames. We train the model in a manner where we randomly and independently mask all the past frames or all the future frames. This novel but straightforward setup allows us to train a single model that is capable of executing a broad range of video tasks, specifically: future/past prediction -- when only future/past frames are masked; unconditional generation -- when both past and future frames are masked; and interpolation -- when neither past nor future frames are masked. Our experiments show that this approach can generate high-quality frames for diverse types of videos. Our MCVD models are built from simple non-recurrent 2D-convolutional architectures, conditioning on blocks of frames and generating blocks of frames. We generate videos of arbitrary lengths autoregressively in a block-wise manner. Our approach yields SOTA results across standard video prediction and interpolation benchmarks, with computation times for training models measured in 1-12 days using $\le$ 4 GPUs. Project page: https://mask-cond-video-diffusion.github.io ; Code : https://github.com/voletiv/mcvd-pytorch


title: Symmetric products of dg categories and semi-orthogonal decompositions

abstract: In this article, we investigate semi-orthogonal decompositions of the symmetric products of dg-enhanced triangulated categories. Given a semi-orthogonal decomposition $\mathcal{D}=\langle \mathcal{A}, \mathcal{B} \rangle$, we construct semi-orthogonal decompositions of the symmetric products of $\mathcal{D}$ in terms of that of $\mathcal{A}$ and $\mathcal{B}$. This was originally stated by Galkin--Shinder, and answers the question raised by Ganter--Kapranov. Combining the above result with the derived McKay correspondence, we obtain various interesting semi-orthogonal decompositions of the derived categories of the Hilbert schemes of points on surfaces.


title: Latency correction in sparse neuronal spike trains

abstract: Background: In neurophysiological data, latency refers to a global shift of spikes from one spike train to the next, either caused by response onset fluctuations or by finite propagation speed. Such systematic shifts in spike timing lead to a spurious decrease in synchrony which needs to be corrected. New Method: We propose a new algorithm of multivariate latency correction suitable for sparse data for which the relevant information is not primarily in the rate but in the timing of each individual spike. The algorithm is designed to correct systematic delays while maintaining all other kinds of noisy disturbances. It consists of two steps, spike matching and distance minimization between the matched spikes using simulated annealing. Results: We show its effectiveness on simulated and real data: cortical propagation patterns recorded via calcium imaging from mice before and after stroke. Using simulations of these data we also establish criteria that can be evaluated beforehand in order to anticipate whether our algorithm is likely to yield a considerable improvement for a given dataset. Comparison with Existing Method(s): Existing methods of latency correction rely on adjusting peaks in rate profiles, an approach that is not feasible for spike trains with low firing in which the timing of individual spikes contains essential information. Conclusions: For any given dataset the criterion for applicability of the algorithm can be evaluated quickly and in case of a positive outcome the latency correction can be applied easily since the source codes of the algorithm are publicly available.

categories: physics.data-an math.DS physics.bio-ph stat.ME


title: List Multicoloring of Planar Graphs and Related Classes

abstract: For positive integers $a$ and $b$, a graph $G$ is $(a:b)$-choosable if, for each assignment of lists of $a$ colors to the vertices of $G,$ each vertex can be colored with a set of $b$ colors from its list so that adjacent vertices are colored with disjoint sets. We show that for positive integers $a$ and $b$, every bipartite planar graph is $(a:b)$-choosable iff $\frac{a}{b} \ge 3$. For general planar graphs, we show that if $\frac{a}{b} < 4\frac{2}{5}$, then there exists a planar graph that is not $(a:b)$-choosable, thus improving on a result of X. Zhu, which had $4\frac{2}{9}$. Lastly, we show that every $K_5$-minor-free graph is $(a:b)$-choosable iff $\frac{a}{b} \ge 5$. Along the way, we mention some open problems.


title: Lattice polarons across the superfluid to Mott insulator transition

abstract: We study the physics of a mobile impurity confined in a lattice, moving within a Bose-Hubbard bath at zero temperature. Within the Quantum Gutzwiller formalism, we develop a beyond-Fr\"ohlich model of the bath-impurity interaction. Results for the properties of the polaronic quasiparticle formed from the dressing of the impurity by quantum fluctuations of the bath are presented throughout the entire phase diagram, focusing on the quantum phase transition between the superfluid and Mott insulating phases. Here we find that the modification of the impurity properties is highly sensitive to the different universality classes of the transition, providing an unambiguous probe of correlations and collective modes in a quantum critical many-body environment.


title: Fidyll: A Compiler for Cross-Format Data Stories & Explorable Explanations

abstract: Narrative visualization is a powerful communicative tool that can take on various formats such as interactive articles, slideshows, and data videos. These formats each have their strengths and weaknesses, but existing authoring tools only support one output target. We conducted a series of formative interviews with seven domain experts to understand needs and practices around cross-format data stories, and developed Fidyll, a cross-format compiler for authoring interactive data stories and explorable explanations. Our open-source tool can be used to rapidly create formats including static articles, low-motion articles, interactive articles, slideshows, and videos. We evaluate our system through a series of real-world usage scenarios, showing how it benefits authors in the domains of data journalism, scientific publishing, and nonprofit advocacy. We show how Fidyll, provides expressive leverage by reducing the amount of non-narrative markup that authors need to write by 80-90% compared to Idyll, an existing markup language for authoring interactive articles.


title: On the Effect of Stellar Activity on Low-resolution Transit Spectroscopy and the Use of High Resolution as Mitigation

abstract: We present models designed to quantify the effects of stellar activity on exoplanet transit spectroscopy and atmospheric characterization at low (R = 100) and high (R = 100,000) spectral resolution. We study three model classes mirroring planetary system archetypes: a hot Jupiter around an early-K star (HD 189733 b); a mini-Neptune around an early-M dwarf (K2-18 b); and terrestrial planets around a late M dwarf (TRAPPIST-1). We map photospheres with temperatures and radial velocities (RV) and integrate specific intensity stellar models. We obtain transit spectra affected by stellar contamination, the Rossiter--McLaughlin effect (RME), and center-to-limb variations (CLV). We find that, at low resolution, for later-type stars, planetary water features become difficult to distinguish from contamination. Many distributions of unocculted active regions can induce planetary-like features of similar amplitudes in the case of a late M dwarf. Atmospheric characterization of planets around late-type stars will likely continue to suffer from degeneracy with stellar activity unless active regions' parameters can be constrained using additional information. For the early-K star, stellar contamination mostly manifests itself through a slope at optical wavelengths similar to Rayleigh scattering. In all cases, contamination induces offsets in measured planet radii. At high resolution, we show that we can determine the origin of $\text{H}_2$O and CO detection signals and lift the degeneracy observed at low resolution, provided sufficient planet RV variation during transit and adequate correction for the RME and CLV when required. High-resolution spectroscopy may therefore help resolve issues arising from stellar contamination for favorable systems.


title: Mean-Field Analysis of Two-Layer Neural Networks: Global Optimality with Linear Convergence Rates

abstract: We consider optimizing two-layer neural networks in the mean-field regime where the learning dynamics of network weights can be approximated by the evolution in the space of probability measures over the weight parameters associated with the neurons. The mean-field regime is a theoretically attractive alternative to the NTK (lazy training) regime which is only restricted locally in the so-called neural tangent kernel space around specialized initializations. Several prior works (\cite{chizat2018global, mei2018mean}) establish the asymptotic global optimality of the mean-field regime, but it is still challenging to obtain a quantitative convergence rate due to the complicated unbounded nonlinearity of the training dynamics. This work establishes the first linear convergence result for vanilla two-layer neural networks trained by continuous-time noisy gradient descent in the mean-field regime. Our result relies on a novel time-depdendent estimate of the logarithmic Sobolev constants for a family of measures determined by the evolving distribution of hidden neurons.


title: Development and validation of the Converging Lenses Concept Inventory for middle school physics education

abstract: Optics is a core field in the curricula of secondary physics education. In this study, we present the development and validation of a test instrument in the field of optics, the Converging Lenses Concept Inventory (CLCI). It can be used as a formative or a summative assessment of middle school students' conceptual understanding of image formation by converging lenses. The CLCI assesses: (1) the overall understanding of fundamental concepts related to converging lenses, (2) the understanding of specific concepts, and (3) students' propensity for difficulties within this topic. The initial CLCI consists of 16 multiple-choice items; however, one item was removed based on various quality checks. We validated the CLCI thoroughly with distractor analyses, classical test theory, item response theory, structural analyses, and analyses of students' total scores at different measurement points as quantitative approaches, as well as student interviews and an expert survey as qualitative approaches. The quantitative analyses are mostly based on a dataset of N = 318 middle school students who took the CLCI as a posttest. The student interviews were conducted with seven middle school students after they were taught the concepts of converging lenses. The expert survey included five experts who evaluated both individual items and the test as a whole. The analyses showed good to excellent results for the test instrument, corroborating the 15-item CLCI's validity and its compliance with the three foci outlined above.


title: Recurrent segmentation meets block models in temporal networks

abstract: A popular approach to model interactions is to represent them as a network with nodes being the agents and the interactions being the edges. Interactions are often timestamped, which leads to having timestamped edges. Many real-world temporal networks have a recurrent or possibly cyclic behaviour. For example, social network activity may be heightened during certain hours of day. In this paper, our main interest is to model recurrent activity in such temporal networks. As a starting point we use stochastic block model, a popular choice for modelling static networks, where nodes are split into $R$ groups. We extend this model to temporal networks by modelling the edges with a Poisson process. We make the parameters of the process dependent on time by segmenting the time line into $K$ segments. To enforce the recurring activity we require that only $H < K$ different set of parameters can be used, that is, several, not necessarily consecutive, segments must share their parameters. We prove that the searching for optimal blocks and segmentation is an NP-hard problem. Consequently, we split the problem into 3 subproblems where we optimize blocks, model parameters, and segmentation in turn while keeping the remaining structures fixed. We propose an iterative algorithm that requires $O(KHm + Rn + R^2H)$ time per iteration, where $n$ and $m$ are the number of nodes and edges in the network. We demonstrate experimentally that the number of required iterations is typically low, the algorithm is able to discover the ground truth from synthetic datasets, and show that certain real-world networks exhibit recurrent behaviour as the likelihood does not deteriorate when $H$ is lowered.


title: Non-Archimedean Fr\'echet Algebras and the Loop Space of a Hypersurface Complement

abstract: We study the space of loops into a hypersurface complement, and show that the corresponding topological algebra of Laurent series with coefficients in $\mathcal{O}(L\mathbf{A}^{d}_{f})$ is a topological localisation of $\mathcal{O}(L\mathbf{A}^{d})$. This requires introducing a small amount of non-Archimedean functional analysis. In particular we work with topological algebras whose topology is generated by a family of sub-multiplicative, non-Archimedean semi-norms.


title: Automated Scoring for Reading Comprehension via In-context BERT Tuning

abstract: Automated scoring of open-ended student responses has the potential to significantly reduce human grader effort. Recent advances in automated scoring often leverage textual representations based on pre-trained language models such as BERT and GPT as input to scoring models. Most existing approaches train a separate model for each item/question, which is suitable for scenarios such as essay scoring where items can be quite different from one another. However, these approaches have two limitations: 1) they fail to leverage item linkage for scenarios such as reading comprehension where multiple items may share a reading passage; 2) they are not scalable since storing one model per item becomes difficult when models have a large number of parameters. In this paper, we report our (grand prize-winning) solution to the National Assessment of Education Progress (NAEP) automated scoring challenge for reading comprehension. Our approach, in-context BERT fine-tuning, produces a single shared scoring model for all items with a carefully-designed input structure to provide contextual information on each item. We demonstrate the effectiveness of our approach via local evaluations using the training dataset provided by the challenge. We also discuss the biases, common error types, and limitations of our approach.


title: End spaces and tree-decompositions

abstract: We present a systematic investigation into how tree-decompositions of finite adhesion capture topological properties of the space formed by a graph together with its ends. As main results, we characterise when the ends of a graph can be distinguished, and characterise which subsets of ends can be displayed by a tree-decomposition of finite adhesion. In particular, we show that a subset $\Psi$ of the ends of a graph $G$ can be displayed by a tree-decomposition of finite adhesion if and only if $\Psi$ is $G_\delta$ (a countable intersection of open sets) in $|G|$, the topological space formed by a graph together with its ends. Since the undominated ends of a graph are easily seen to be $G_\delta$, this provides a structural explanation for Carmesin's result that the set of undominated ends can always be displayed.


title: Topological properties of Dirac and Weyl semimetals

abstract: This chapter describes topological (Dirac and Weyl) semimetals from the viewpoint of their observable electromagnetic response. We argue that this response may be represented by topological terms with unquantized (non-integer) coefficients and make a connection with the Luttinger's theorem, which relates the size of the Fermi surface of an ordinary metal to the number of electrons per unit cell. We discuss observable transport phenomena, associated with this topological response.


title: Gender Bias in Meta-Embeddings

abstract: Different methods have been proposed to develop meta-embeddings from a given set of source embeddings. However, the source embeddings can contain unfair gender-related biases, and how these influence the meta-embeddings has not been studied yet. We study the gender bias in meta-embeddings created under three different settings: (1) meta-embedding multiple sources without performing any debiasing (Multi-Source No-Debiasing), (2) meta-embedding multiple sources debiased by a single method (Multi-Source Single-Debiasing), and (3) meta-embedding a single source debiased by different methods (Single-Source Multi-Debiasing). Our experimental results show that meta-embedding amplifies the gender biases compared to input source embeddings. We find that debiasing not only the sources but also their meta-embedding is needed to mitigate those biases. Moreover, we propose a novel debiasing method based on meta-embedding learning where we use multiple debiasing methods on a single source embedding and then create a single unbiased meta-embedding.


title: Service Delay Minimization for Federated Learning over Mobile Devices

abstract: Federated learning (FL) over mobile devices has fostered numerous intriguing applications/services, many of which are delay-sensitive. In this paper, we propose a service delay efficient FL (SDEFL) scheme over mobile devices. Unlike traditional communication efficient FL, which regards wireless communications as the bottleneck, we find that under many situations, the local computing delay is comparable to the communication delay during the FL training process, given the development of high-speed wireless transmission techniques. Thus, the service delay in FL should be computing delay + communication delay over training rounds. To minimize the service delay of FL, simply reducing local computing/communication delay independently is not enough. The delay trade-off between local computing and wireless communications must be considered. Besides, we empirically study the impacts of local computing control and compression strategies (i.e., the number of local updates, weight quantization, and gradient quantization) on computing, communication and service delays. Based on those trade-off observation and empirical studies, we develop an optimization scheme to minimize the service delay of FL over heterogeneous devices. We establish testbeds and conduct extensive emulations/experiments to verify our theoretical analysis. The results show that SDEFL reduces notable service delay with a small accuracy drop compared to peer designs.


title: Transformer with Memory Replay

abstract: Transformers achieve state-of-the-art performance for natural language processing tasks by pre-training on large-scale text corpora. They are extremely compute-intensive and have very high sample complexity. Memory replay is a mechanism that remembers and reuses past examples by saving to and replaying from a memory buffer. It has been successfully used in reinforcement learning and GANs due to better sample efficiency. In this paper, we propose \emph{Transformer with Memory Replay} (TMR), which integrates memory replay with transformer, making transformer more sample-efficient. Experiments on GLUE and SQuAD benchmark datasets show that Transformer with Memory Replay achieves at least $1\%$ point increase compared to the baseline transformer model when pretrained with the same number of examples. Further, by adopting a careful design that reduces the wall-clock time overhead of memory replay, we also empirically achieve a better runtime efficiency.


title: Searching for Muonphilic Dark Sectors with Proton Beams

abstract: Proton beam-dump experiments are a high-intensity source of secondary muons and provide an opportunity to probe muon-specific dark sectors. We adopt a simplified-models framework for an exotic light scalar particle coupling predominantly or exclusively to muons. Equipped with state-of-the-art muon simulations, we compute the sensitivity reach in the parameter space $(m_S, \, g_\mu)$ of the dark mediator, examining in detail the examples of the experiment NA62 in beam-dump mode and the proposed experiment SHiP. We find a significant yield of such exotics in the sub-GeV mass range. Our projections are competitive with those of primary muon-beam experiments and complementary to current constraints, spanning uncharted parameter space and accessing new physics potentially responsible for the $(g-2)_\mu$ anomaly.


title: Anomalous Faraday effect in a $\mathcal{P}\mathcal{T}$-symmetric dielectric slab

abstract: In this letter we discuss a phase transition-like anomalous behavior of Faraday rotation angles in a simple parity-time ($\mathcal{P}\mathcal{T}$) symmetric model with two complex $\delta$-potential placed at both boundaries of a regular dielectric slab. In anomalous phase, the value of one of Faraday rotation angles may turn negative, and both angles suffer spectral singularities and yield strong enhancement near singularities.


title: Content-Context Factorized Representations for Automated Speech Recognition

abstract: Deep neural networks have largely demonstrated their ability to perform automated speech recognition (ASR) by extracting meaningful features from input audio frames. Such features, however, may consist not only of information about the spoken language content, but also may contain information about unnecessary contexts such as background noise and sounds or speaker identity, accent, or protected attributes. Such information can directly harm generalization performance, by introducing spurious correlations between the spoken words and the context in which such words were spoken. In this work, we introduce an unsupervised, encoder-agnostic method for factoring speech-encoder representations into explicit content-encoding representations and spurious context-encoding representations. By doing so, we demonstrate improved performance on standard ASR benchmarks, as well as improved performance in both real-world and artificially noisy ASR scenarios.


title: Differentially Private Linear Sketches: Efficient Implementations and Applications

abstract: Linear sketches have been widely adopted to process fast data streams, and they can be used to accurately answer frequency estimation, approximate top K items, and summarize data distributions. When data are sensitive, it is desirable to provide privacy guarantees for linear sketches to preserve private information while delivering useful results with theoretical bounds. We show that linear sketches can ensure privacy and maintain their unique properties with a small amount of noise added at initialization. From the differentially private linear sketches, we showcase that the state-of-the-art quantile sketch in the turnstile model can also be private and maintain high performance. Experiments further demonstrate that our proposed differentially private sketches are quantitatively and qualitatively similar to noise-free sketches with high utilization on synthetic and real datasets.


title: Explainable Graph Theory-Based Identification of Meter-Transformer Mapping

abstract: Distributed energy resources are better for the environment but may cause transformer overload in distribution grids, calling for recovering meter-transformer mapping to provide situational awareness, i.e., the transformer loading. The challenge lies in recovering meter-transformer (M.T.) mapping for two common scenarios, e.g., large distances between a meter and its parent transformer or high similarity of a meter's consumption pattern to a non-parent transformer's meters. Past methods either assume a variety of data as in the transmission grid or ignore the two common scenarios mentioned above. Therefore, we propose to utilize the above observation via spectral embedding by using the property that inter-transformer meter consumptions are not the same and that the noise in data is limited so that all the k smallest eigenvalues of the voltage-based Laplacian matrix are smaller than the next smallest eigenvalue of the ideal Laplacian matrix. We also provide a guarantee based on this understanding. Furthermore, we partially relax the assumption by utilizing location information to aid voltage information for areas geographically far away but with similar voltages. Numerical simulations on the IEEE test systems and real feeders from our partner utility show that the proposed method correctly identifies M.T. mapping.


title: Incremental Learning with Differentiable Architecture and Forgetting Search

abstract: As progress is made on training machine learning models on incrementally expanding classification tasks (i.e., incremental learning), a next step is to translate this progress to industry expectations. One technique missing from incremental learning is automatic architecture design via Neural Architecture Search (NAS). In this paper, we show that leveraging NAS for incremental learning results in strong performance gains for classification tasks. Specifically, we contribute the following: first, we create a strong baseline approach for incremental learning based on Differentiable Architecture Search (DARTS) and state-of-the-art incremental learning strategies, outperforming many existing strategies trained with similar-sized popular architectures; second, we extend the idea of architecture search to regularize architecture forgetting, boosting performance past our proposed baseline. We evaluate our method on both RF signal and image classification tasks, and demonstrate we can achieve up to a 10% performance increase over state-of-the-art methods. Most importantly, our contribution enables learning from continuous distributions on real-world application data for which the complexity of the data distribution is unknown, or the modality less explored (such as RF signal classification).


title: Hunting for vampires and other unlikely forms of parity violation at the Large Hadron Collider

abstract: Non-Standard-Model parity violation may be occurring in LHC collisions. Any such violation would go unseen, however, as searches are for it are not currently performed. One barrier to searches for parity violation is the lack of model-independent methods sensitive to all of its forms. We remove this barrier by demonstrating an effective and model-independent way to search for parity-violating physics at the LHC. The method is data-driven and makes no reference to any particular parity-violating model. Instead, it inspects data to construct sensitive parity-odd event variables (using machine learning tools), and uses these variables to test for parity asymmetry in independent data. We demonstrate the efficacy of this method by testing it on data simulated from the Standard Model and from a non-standard parity-violating model. This result enables the possibility of investigating a variety of previously unexplored forms of parity violation in particle physics. Data and software are shared at https://zenodo.org/record/6827724


title: Probabilistic Quality of Service aware Service Selection

abstract: In software-as-a-service paradigms software systems are no longer monolithic pieces of code executing within the boundaries of an organisation, on the contrary, they are conceived as a dynamically changing collection of services, collectively executing, in pursuit of a common business goal. An essential aspect of service selection is determining whether the Quality of Service (QoS) profile of a service satisfies the QoS requirements of a client. In realistic execution environments, such QoS values might be influenced by external, non-controllable events, making it impossible for the service provider to guarantee that the values characterised by a QoS profile will be met, naturally leading to the need of a probabilistic interpretation of QoS profile. In this work we propose: 1) a model for describing probabilistic QoS profiles based on multivariate continuous probability distributions, 2) a language for describing probabilistic QoS requirements, and 3) an automatic procedure for assessing whether a probabilistic QoS profile satisfies a probabilistic QoS requirement.


title: Real Time Multi-Object Detection for Helmet Safety

abstract: The National Football League and Amazon Web Services teamed up to develop the best sports injury surveillance and mitigation program via the Kaggle competition. Through which the NFL wants to assign specific players to each helmet, which would help accurately identify each player's "exposures" throughout a football play. We are trying to implement a computer vision based ML algorithms capable of assigning detected helmet impacts to correct players via tracking information. Our paper will explain the approach to automatically track player helmets and their collisions. This will also allow them to review previous plays and explore the trends in exposure over time.


title: Prediction for Distributional Outcomes in High-Performance Computing I/O Variability

abstract: Although high-performance computing (HPC) systems have been scaled to meet the exponentially-growing demand for scientific computing, HPC performance variability remains a major challenge and has become a critical research topic in computer science. Statistically, performance variability can be characterized by a distribution. Predicting performance variability is a critical step in HPC performance variability management and is nontrivial because one needs to predict a distribution function based on system factors. In this paper, we propose a new framework to predict performance distributions. The proposed model is a modified Gaussian process that can predict the distribution function of the input/output (I/O) throughput under a specific HPC system configuration. We also impose a monotonic constraint so that the predicted function is nondecreasing, which is a property of the cumulative distribution function. Additionally, the proposed model can incorporate both quantitative and qualitative input variables. We evaluate the performance of the proposed method by using the IOzone variability data based on various prediction tasks. Results show that the proposed method can generate accurate predictions, and outperform existing methods. We also show how the predicted functional output can be used to generate predictions for a scalar summary of the performance distribution, such as the mean, standard deviation, and quantiles. Our methods can be further used as a surrogate model for HPC system variability monitoring and optimization.


title: Beyond Labels: Visual Representations for Bone Marrow Cell Morphology Recognition

abstract: Analyzing and inspecting bone marrow cell cytomorphology is a critical but highly complex and time-consuming component of hematopathology diagnosis. Recent advancements in artificial intelligence have paved the way for the application of deep learning algorithms to complex medical tasks. Nevertheless, there are many challenges in applying effective learning algorithms to medical image analysis, such as the lack of sufficient and reliably annotated training datasets and the highly class-imbalanced nature of most medical data. Here, we improve on the state-of-the-art methodologies of bone marrow cell recognition by deviating from sole reliance on labeled data and leveraging self-supervision in training our learning models. We investigate our approach's effectiveness in identifying bone marrow cell types. Our experiments demonstrate significant performance improvements in conducting different bone marrow cell recognition tasks compared to the current state-of-the-art methodologies.


title: Pre-Supernova Alert System for Super-Kamiokande

abstract: In 2020, the Super-Kamiokande (SK) experiment moved to a new stage (SK-Gd) in which gadolinium (Gd) sulfate octahydrate was added to the water in the detector, enhancing the efficiency to detect thermal neutrons and consequently improving the sensitivity to low energy electron anti-neutrinos from inverse beta decay (IBD) interactions. SK-Gd has the potential to provide early alerts of incipient core-collapse supernovae through detection of electron anti-neutrinos from thermal and nuclear processes responsible for the cooling of massive stars before the gravitational collapse of their cores. These pre-supernova neutrinos emitted during the silicon burning phase can exceed the energy threshold for IBD reactions. We present the sensitivity of SK-Gd to pre-supernova stars and the techniques used for the development of a pre-supernova alarm based on the detection of these neutrinos in SK, as well as prospects for future SK-Gd phases with higher concentrations of Gd. For the current SK-Gd phase, high-confidence alerts for Betelgeuse could be issued up to nine hours in advance of the core-collapse itself.


title: Low-rank tensor decompositions of quantum circuits

abstract: Quantum computing is arguably one of the most revolutionary and disruptive technologies of this century. Due to the ever-increasing number of potential applications as well as the continuing rise in complexity, the development, simulation, optimization, and physical realization of quantum circuits is of utmost importance for designing novel algorithms. We show how matrix product states (MPSs) and matrix product operators (MPOs) can be used to express certain quantum states, quantum gates, and entire quantum circuits as low-rank tensors. This enables the analysis and simulation of complex quantum circuits on classical computers and to gain insight into the underlying structure of the system. We present different examples to demonstrate the advantages of MPO formulations and show that they are more efficient than conventional techniques if the bond dimensions of the wave function representation can be kept small throughout the simulation.


title: A Rule Search Framework for the Early Identification of Chronic Emergency Homeless Shelter Clients

abstract: This paper uses rule search techniques for the early identification of emergency homeless shelter clients who are at risk of becoming long term or chronic shelter users. Using a data set from a major North American shelter containing 12 years of service interactions with over 40,000 individuals, the optimized pruning for unordered search (OPUS) algorithm is used to develop rules that are both intuitive and effective. The rules are evaluated within a framework compatible with the real-time delivery of a housing program meant to transition high risk clients to supportive housing. Results demonstrate that the median time to identification of clients at risk of chronic shelter use drops from 297 days to 162 days when the methods in this paper are applied.


title: Time Series Anomaly Detection via Reinforcement Learning-Based Model Selection

abstract: Time series anomaly detection has been recognized as of critical importance for the reliable and efficient operation of real-world systems. Many anomaly detection methods have been developed based on various assumptions on anomaly characteristics. However, due to the complex nature of real-world data, different anomalies within a time series usually have diverse profiles supporting different anomaly assumptions. This makes it difficult to find a single anomaly detector that can consistently outperform other models. In this work, to harness the benefits of different base models, we propose a reinforcement learning-based model selection framework. Specifically, we first learn a pool of different anomaly detection models, and then utilize reinforcement learning to dynamically select a candidate model from these base models. Experiments on real-world data have demonstrated that the proposed strategy can indeed outplay all baseline models in terms of overall performance.


title: Derivation of the Kelbg potential/functional

abstract: The density matrix for a system of particles interacting via the Coulomb potential is obtained in the high--temperature limit following almost entirely the original work by Kelbg. For this purpose the Bl\"och equation is solved in the first order of perturbation theory. We tried to explain all the transformations in the derivation in order to simplify the understanding of this non-trivial theory. The solution of Kelbg is widely used in path integral simulations of Coulomb systems.


title: Nonequilibrium thermodynamics of the asymmetric Sherrington-Kirkpatrick model

abstract: Most natural systems operate far from equilibrium, displaying time-asymmetric, irreversible dynamics characterized by a positive entropy production while exchanging energy and matter with the environment. Although stochastic thermodynamics underpins the irreversible dynamics of small systems, the nonequilibrium thermodynamics of larger, more complex systems remains unexplored. Here, we investigate the asymmetric Sherrington-Kirkpatrick model with synchronous and asynchronous updates as a prototypical example of large-scale nonequilibrium processes. Using a path integral method, we calculate a generating functional over trajectories, obtaining exact solutions of the order parameters, path entropy, and steady-state entropy production of infinitely large networks. Entropy production peaks at critical order-disorder phase transitions, but is significantly larger for quasi-deterministic disordered dynamics. Consequently, entropy production can increase under distinct scenarios, requiring multiple thermodynamic quantities to describe the system accurately. These results contribute to developing an exact analytical theory of the nonequilibrium thermodynamics of large-scale physical and biological systems and their phase transitions.


title: Location-Aided Beamforming in Mobile Millimeter-Wave Networks

abstract: Due to the large bandwidth available, millimeter-Wave (mmWave) bands are considered a viable opportunity to significantly increase the data rate in cellular and wireless networks. Nevertheless, the need for beamforming and directional communication between the transmitter and the receiver increases the complexity of the channel estimation and link establishment phase. Location-aided beamforming approaches have the potential to enable fast link establishment in mmWave networks. However, these are often very sensitive to location errors. In this work, we propose a beamforming algorithm based on tracking spatial correlation of the available strong paths between the transmitter and the receiver. We show that our method is robust to uncertainty in location information, i.e., location error and can provide a reliable connection to a moving user along a trajectory. The numerical results show that our approach outperforms benchmarks on various levels of error in the location information accuracy. The gain is more prominent in high location error scenarios.


title: Solving sparse polynomial systems using Groebner bases and resultants

abstract: Solving systems of polynomial equations is a central problem in nonlinear and computational algebra. Since Buchberger's algorithm for computing Gr\"obner bases in the 60s, there has been a lot of progress in this domain. Moreover, these equations have been employed to model and solve problems from diverse disciplines such as biology, cryptography, and robotics. Currently, we have a good understanding of how to solve generic systems from a theoretical and algorithmic point of view. However, polynomial equations encountered in practice are usually structured, and so many properties and results about generic systems do not apply to them. For this reason, a common trend in the last decades has been to develop mathematical and algorithmic frameworks to exploit specific structures of systems of polynomials. Arguably, the most common structure is sparsity; that is, the polynomials of the systems only involve a few monomials. Since Bernstein, Khovanskii, and Kushnirenko's work on the expected number of solutions of sparse systems, toric geometry has been the default mathematical framework to employ sparsity. In particular, it is the crux of the matter behind the extension of classical tools to systems, such as resultant computations, homotopy continuation methods, and most recently, Gr\"obner bases. In this work, we will review these classical tools, their extensions, and recent progress in exploiting sparsity for solving polynomial systems. This manuscript complements its homonymous tutorial presented at the conference ISSAC 2022.


title: Plasmonic Transverse Dipole Moment in Chiral Fermion Nanowires

abstract: Plasmons are elementary quantum excitations of conducting materials with Fermi surfaces. In two dimensions they may carry a static dipole moment that is transverse to their momentum which is quantum geometric in nature, the quantum geometric dipole (QGD). We show that this property is also realized for such materials confined in nanowire geometries. Focusing on the gapless, intra-subband plasmon excitations, we compute the transverse dipole moment Dx of the modes for a variety of situations. We find that single chiral fermions generically host non-vanishing Dx, even when there is no intrinsic gap in the two-dimensional spectrum, for which the corresponding two-dimensional QGD vanishes. In the limit of very wide wires, the transverse dipole moment of the highest velocity plasmon mode matches onto the two-dimensional QGD. Plasmons of multi-valley systems that are time-reversal symmetric have vanishing transverse dipole moment, but can be made to carry non-vanishing values by breaking the valley symmetry, for example via magnetic field. The presence of a non-vanishing transverse dipole moment for nanowire plasmons in principle offers the possibility of continuously controlling their energies and velocities by the application of a static transverse electric field.


title: Replicating Portfolios: Constructing Permissionless Derivatives

abstract: The current design space of derivatives in Decentralized Finance (DeFi) relies heavily on oracle systems. Replicating market makers (RMMs) provide a mechanism for converting specific payoff functions to an associated Constant Function Market Makers (CFMMs). We leverage RMMs to replicate the approximate payoff of a Black-Scholes covered call option. RMM-01 is the first implementation of an on-chain expiring option mechanism that relies on arbitrage rather than an external oracle for price. We provide frameworks for derivative instruments and structured products achievable on-chain without relying on oracles. We construct long and binary options and briefly discuss perpetual covered call strategies commonly referred to as "theta vaults." Moreover, we introduce a procedure to eliminate liquidation risk in lending markets. The results suggest that CFMMs are essential for structured product design with minimized trust dependencies.


title: Interpolating Compressed Parameter Subspaces

abstract: Inspired by recent work on neural subspaces and mode connectivity, we revisit parameter subspace sampling for shifted and/or interpolatable input distributions (instead of a single, unshifted distribution). We enforce a compressed geometric structure upon a set of trained parameters mapped to a set of train-time distributions, denoting the resulting subspaces as Compressed Parameter Subspaces (CPS). We show the success and failure modes of the types of shifted distributions whose optimal parameters reside in the CPS. We find that ensembling point-estimates within a CPS can yield a high average accuracy across a range of test-time distributions, including backdoor, adversarial, permutation, stylization and rotation perturbations. We also find that the CPS can contain low-loss point-estimates for various task shifts (albeit interpolated, perturbed, unseen or non-identical coarse labels). We further demonstrate this property in a continual learning setting with CIFAR100.


title: Obfuscating the Hierarchy of a Digital IP

abstract: Numerous security threats are emerging from untrusted players in the integrated circuit (IC) ecosystem. Among them, reverse engineering practices with the intent to counterfeit, overproduce, or modify an IC are worrying. In recent years, various techniques have been proposed to mitigate the aforementioned threats but no technique seems to be adequate to hide the hierarchy of a design. Such ability to obfuscate the hierarchy is particularly important for designs that contain repeated modules. In this paper, we propose a novel way to obfuscate such designs by leveraging conventional logic synthesis. We exploit multiple optimizations that are available in the synthesis tool to create design diversity. Our security analysis, performed by using the DANA reverse engineering tool, confirms the significant impact of these optimizations on obfuscation. Among the many considered obfuscated design instances, users can find options that incur very small overheads while still confusing the work of a reverse engineer.


title: How to understand the Structure of Beta Functions in Six-derivative Quantum Gravity?

abstract: We extensively motivate the studies of higher-derivative gravities, and in particular we emphasize which new quantum features theories with six derivatives in their definitions possess. Next, we discuss the mathematical structure of the exact on the full quantum level beta functions obtained previously for three couplings in front of generally covariant terms with four derivatives (Weyl tensor squared, Ricci scalar squared and the Gauss-Bonnet scalar) in minimal six-derivative quantum gravity in $d=4$ spacetime dimensions. The fundamental role here is played by the ratio $x$ of the coupling in front of the term with Weyl tensors to the coupling in front of the term with Ricci scalars in the original action. We draw a relation between the polynomial dependence on $x$ and the absence/presence of enhanced conformal symmetry and renormalizability in the models where formally $x\to+\infty$ in the case of four- and six-derivative theories respectively.

categories: hep-th gr-qc hep-ph math-ph math.MP quant-ph


title: Ligand unbinding pathway and mechanism analysis assisted by machine learning and graph methods

abstract: We present two methods to reveal protein-ligand unbinding mechanisms in biased unbinding simulations by clustering trajectories into ensembles representing unbinding paths. The first approach is based on a contact principal component analysis for reducing the dimensionality of the input data, followed by identification of unbinding paths and training a machine learning model for trajectory clustering. The second approach clusters trajectories according to their pairwise mean Euclidean distance employing the neighbor-net algorithm, which takes into account input data bias in the distances set and is superior to dendrogram construction. Finally, we describe a more complex case where the reaction coordinate relevant for path identification is a single intra-ligand hydrogen bond, highlighting the challenges involved in unbinding path reaction coordinate detection.


title: A BCS-GDE Multi-objective Optimization Algorithm for Combined Cooling, Heating and Power Model with Decision Strategies

abstract: District energy systems can not only reduce energy consumption but also set energy supply dispatching schemes according to demand. In addition to economic cost, energy consumption and pollutant are more worthy of attention when evaluating combined cooling, heating and power (CCHP) models. In this paper, the CCHP model is established with the objective of economic cost, primary energy consumption, and pollutant emissions. The mathematical expression of the CCHP system is proposed, and a multi-objective optimization model with constraints is established. According to different usage requirements, two decision-making strategies are designed, which can adapt to different scenarios. Besides, a generalized differential evolution with the best compromise solution processing mechanism (BCS-GDE) algorithm is proposed to optimize the CCHP model for the first time. The algorithm provides the optimal energy scheduling scheme by optimizing the production capacity of different capacity equipment. The simulation is conducted in three application scenarios: hotels, offices, and residential buildings. The simulation results show that the model established in this paper can reduce economic cost by 72%, primary energy consumption by 73%, and pollutant emission by 88%. Concurrently, the Wilcoxon signed-rank test shows that BCSGDE is significantly better than OMOPSO, NSGA-II, and SPEA2 with greater than 95% confidence.


title: Albert algebras over Z and other rings

abstract: Albert algebras, a specific kind of Jordan algebra, are naturally distinguished objects among commutative non-associative algebras and also arise naturally in the context of simple affine group schemes of type $F_4$, $E_6$, or $E_7$. We study these objects over an arbitrary base ring $R$, with particular attention to the case of the integers. We prove in this generality results previously in the literature in the special case where $R$ is a field of characteristic different from 2 and 3.


title: An Empirical Evaluation of the Implementation of the California Consumer Privacy Act (CCPA)

abstract: On January 1, 2020, California passed the California Consumer Privacy Act (CCPA) by more than 56% of voters intended to enhance privacy rights and consumer protection for residents of California, United States. Since then, more conditions have been added to the Act to support consumers' privacy. In addition, two years after the first effective day of CCPA, consumers have seen California organizations apply approaches to adapt to CCPA. Many organizations quickly upgrade their policy to comply with the legislation and create effective platforms such as data portals that allow consumers to exercise their privacy rights. However, on the other hand, we still noticed aspects of CCPA being absent on some websites. Additionally, we found no prior evaluation of the CCPA implementation in organizations. Therefore, the convergence of the regulatory landscape and the organization's privacy policy needs to be studied. This paper was about an empirical evaluation of the implementation of the California Consumer Privacy Act. The report includes the evaluations of the following industries: social media, financial institutions, mortgages, healthcare providers, and academic institutions. Our approach was to set up a criteria table constructed from the CCPA Act and then use that table as a checklist while reviewing a company's privacy notice. Finally, we concluded this paper with an online tool application design that verifies the CCPA implementation. Upon completion, the application would be free to use so consumers can quickly inspect a website for CCPA compliance. Additionally, it is an advising tool that a website admin can utilize to enhance CCPA compliance for their website. The conjunction of this empirical report and a practical application function as a stimulus to promote CCPA implementation in organizations and deliver awareness to consumers about privacy rights they can demand.


title: Let the Model Decide its Curriculum for Multitask Learning

abstract: Curriculum learning strategies in prior multi-task learning approaches arrange datasets in a difficulty hierarchy either based on human perception or by exhaustively searching the optimal arrangement. However, human perception of difficulty may not always correlate well with machine interpretation leading to poor performance and exhaustive search is computationally expensive. Addressing these concerns, we propose two classes of techniques to arrange training instances into a learning curriculum based on difficulty scores computed via model-based approaches. The two classes i.e Dataset-level and Instance-level differ in granularity of arrangement. Through comprehensive experiments with 12 datasets, we show that instance-level and dataset-level techniques result in strong representations as they lead to an average performance improvement of 4.17% and 3.15% over their respective baselines. Furthermore, we find that most of this improvement comes from correctly answering the difficult instances, implying a greater efficacy of our techniques on difficult tasks.


title: Breaking the $\sqrt{T}$ Barrier: Instance-Independent Logarithmic Regret in Stochastic Contextual Linear Bandits

abstract: We prove an instance independent (poly) logarithmic regret for stochastic contextual bandits with linear payoff. Previously, in \cite{chu2011contextual}, a lower bound of $\mathcal{O}(\sqrt{T})$ is shown for the contextual linear bandit problem with arbitrary (adversarily chosen) contexts. In this paper, we show that stochastic contexts indeed help to reduce the regret from $\sqrt{T}$ to $\polylog(T)$. We propose Low Regret Stochastic Contextual Bandits (\texttt{LR-SCB}), which takes advantage of the stochastic contexts and performs parameter estimation (in $\ell_2$ norm) and regret minimization simultaneously. \texttt{LR-SCB} works in epochs, where the parameter estimation of the previous epoch is used to reduce the regret of the current epoch. The (poly) logarithmic regret of \texttt{LR-SCB} stems from two crucial facts: (a) the application of a norm adaptive algorithm to exploit the parameter estimation and (b) an analysis of the shifted linear contextual bandit algorithm, showing that shifting results in increasing regret. We have also shown experimentally that stochastic contexts indeed incurs a regret that scales with $\polylog(T)$.


title: Estimating the randomness of quantum circuit ensembles up to 50 qubits

abstract: Random quantum circuits have been utilized in the contexts of quantum supremacy demonstrations, variational quantum algorithms for chemistry and machine learning, and blackhole information. The ability of random circuits to approximate any random unitaries has consequences on their complexity, expressibility, and trainability. To study this property of random circuits, we develop numerical protocols for estimating the frame potential, the distance between a given ensemble and the exact randomness. Our tensor-network-based algorithm has polynomial complexity for shallow circuits and is high-performing using CPU and GPU parallelism. We study 1. local and parallel random circuits to verify the linear growth in complexity as stated by the Brown-Susskind conjecture, and; 2. hardware-efficient ans\"atze to shed light on its expressibility and the barren plateau problem in the context of variational algorithms. Our work shows that large-scale tensor network simulations could provide important hints toward open problems in quantum information science.


title: Cardinality-Minimal Explanations for Monotonic Neural Networks

abstract: In recent years, there has been increasing interest in explanation methods for neural model predictions that offer precise formal guarantees. These include abductive (respectively, contrastive) methods, which aim to compute minimal subsets of input features that are sufficient for a given prediction to hold (respectively, to change a given prediction). The corresponding decision problems are, however, known to be intractable. In this paper, we investigate whether tractability can be regained by focusing on neural models implementing a monotonic function. Although the relevant decision problems remain intractable, we can show that they become solvable in polynomial time by means of greedy algorithms if we additionally assume that the activation functions are continuous everywhere and differentiable almost everywhere. Our experiments suggest favourable performance of our algorithms.


title: On congruence schemes for constant terms and their applications

abstract: Rowland and Zeilberger devised an approach to algorithmically determine the modulo $p^r$ reductions of values of combinatorial sequences representable as constant terms (building on work of Rowland and Yassawi). The resulting $p$-schemes are systems of recurrences and, depending on their shape, are classified as automatic or linear. We revisit this approach, provide some additional details such as bounding the number of states, and suggest a third natural type of scheme that combines benefits of automatic and linear ones. We illustrate the utility of these "scaling" schemes by confirming and extending a conjecture of Rowland and Yassawi on Motzkin numbers.


title: Is Thermohaline Mixing the Full Story? Evidence for Separate Mixing Events near the Red Giant Branch Bump

abstract: The abundances of mixing--sensitive elements including lithium, [C/N], and 12C/13C are known to change near the red giant branch bump. The explanation most often offered for these alterations is double diffusive thermohaline mixing in the stellar interior. In this analysis, we investigate the ability of thermohaline mixing to explain the observed timing of these chemical depletion events. Recent observational measurements of lithium and [C/N] show that the abundance of lithium decreases before the abundance of [C/N], whereas numerical simulations of the propagation of the thermohaline mixing region computed with MESA show that the synthetic abundances drop simultaneously. We therefore conclude that thermohaline mixing alone cannot explain the distinct events of lithium depletion and [C/N] depletion, as the simultaneity predicted by simulations is not consistent with the observation of separate drops. We thus invite more sophisticated theoretical explanations for the observed temporal separation of these chemical depletion episodes as well as more extensive observational explorations across a range of masses and metallicities.