title: Community-Aware Efficient Graph Contrastive Learning via Personalized Self-Training

abstract: In recent years, graph contrastive learning (GCL) has emerged as one of the optimal solutions for various supervised tasks at the node level. However, for unsupervised and structure-related tasks such as community detection, current GCL algorithms face difficulties in acquiring the necessary community-level information, resulting in poor performance. In addition, general contrastive learning algorithms improve the performance of downstream tasks by increasing the number of negative samples, which leads to severe class collision and unfairness of community detection. To address above issues, we propose a novel Community-aware Efficient Graph Contrastive Learning Framework (CEGCL) to jointly learn community partition and node representations in an end-to-end manner. Specifically, we first design a personalized self-training (PeST) strategy for unsupervised scenarios, which enables our model to capture precise community-level personalized information in a graph. With the benefit of the PeST, we alleviate class collision and unfairness without sacrificing the overall model performance. Furthermore, the aligned graph clustering (AlGC) is employed to obtain the community partition. In this module, we align the clustering space of our downstream task with that in PeST to achieve more consistent node embeddings. Finally, we demonstrate the effectiveness of our model for community detection both theoretically and experimentally. Extensive experimental results also show that our CEGCL exhibits state-of-the-art performance on three benchmark datasets with different scales.


title: The Persian Piano Corpus: A Collection Of Instrument-Based Feature Extracted Data Considering Dastgah

abstract: The research in the field of music is rapidly growing, and this trend emphasizes the need for comprehensive data. Though researchers have made an effort to contribute their own datasets, many data collections lack the requisite inclusivity for comprehensive study because they are frequently focused on particular components of music or other specific topics. We have endeavored to address data scarcity by employing an instrument-based approach to provide a complete corpus related to the Persian piano. Our piano corpus includes relevant labels for Persian music mode (Dastgah) and comprehensive metadata, allowing for utilization in various popular research areas. The features extracted from 2022 Persian piano pieces in The Persian Piano Corpus (PPC) have been collected and made available to researchers, aiming for a more thorough understanding of Persian music and the role of the piano in it in subsequent steps.


title: A note on the uniqueness of minimal maps into $\mathbb{R}^n$ via singular values

abstract: In this note, we derive a uniqueness theorem for minimal graphs of general codimension under certain restrictions closed related to the convexity (not strict convexity) of the area functional with respect to singular values, improving the result in \cite{L-O-T}. The crucial step of the proof is to show the local linearity of the singular value vectors along the geodesic homotopy of two given minimal maps.


title: A model for transport of interface-confined scalars and insoluble surfactants in two-phase flows

abstract: In this work, we propose a novel scalar-transport model for the simulation of scalar quantities that are confined to the interface in two-phase flows. In a two-phase flow, the scalar quantities, such as salts and surfactants, can reside at the interface and can modify the properties of the interface, in the time scales of interest. This confinement of the scalars leads to the formation of sharp gradients of the scalar concentration values at the interface, presenting a serious challenge for its numerical simulations. To overcome this challenge, we propose a computational model for the transport of scalars that maintains the confinement condition for these quantities. The model is discretized using a central-difference scheme, which leads to a non-dissipative implementation that is crucial for the simulation of turbulent flows. The model is used with the ACDI diffuse-interface method (Jain, J. Comput. Phys., 2022), but can also be used with other algebraic-based interface-capturing methods. Furthermore, the provable strengths of the proposed model are: (a) the model maintains the positivity property of the scalar concentration field, a physical realizability requirement for the simulation of scalars, when the proposed criterion is satisfied, (b) the proposed model is such that the transport of the scalar concentration field is consistent with the transport of the volume fraction field, which results in effective discrete confinement of the scalar at the interface; and therefore, prevents the artificial numerical diffusion of the scalar into the bulk region of the two phases. Finally, we present numerical simulations using the proposed model for both one-dimensional and multidimensional cases and assess: the accuracy and robustness of the model, the validity of the positivity property of the scalar concentration field, and the confinement of the scalar at the interface.


title: Adapters: A Unified Library for Parameter-Efficient and Modular Transfer Learning

abstract: We introduce Adapters, an open-source library that unifies parameter-efficient and modular transfer learning in large language models. By integrating 10 diverse adapter methods into a unified interface, Adapters offers ease of use and flexible configuration. Our library allows researchers and practitioners to leverage adapter modularity through composition blocks, enabling the design of complex adapter setups. We demonstrate the library's efficacy by evaluating its performance against full fine-tuning on various NLP tasks. Adapters provides a powerful tool for addressing the challenges of conventional fine-tuning paradigms and promoting more efficient and modular transfer learning. The library is available via https://adapterhub.ml/adapters.


title: A Lie group analog for the Monster Lie algebra

abstract: The Monster Lie algebra $\frak m $, which admits an action of the Monster finite simple group $\mathbb{M}$, was introduced by Borcherds as part of his work on the Conway--Norton Monstrous Moonshine conjecture. Here we construct an analog~$G(\frak m)$ of a Lie group or Kac--Moody group, associated to~$\frak m$. The group~$G(\frak m)$ is given by generators and relations, analogous to a construction of a Kac--Moody group given by Tits. In the absence of local nilpotence of the adjoint representation of $\frak m$, we introduce the notion of pro-summability of an infinite sum of operators. We use this to construct a complete pro-unipotent group $\Uhp$ of automorphisms of a completion $\widehat{\mathfrak{m}}=\frak n^-\ \oplus\ \frak h\ \oplus\ \widehat{\frak n}^+$ of~$\mathfrak{m}$, where $\widehat{\frak n}^+$ is the formal product of the positive root spaces of $\frak m$. The elements of $\widehat{U}^+$ are pro-summable infinite series with constant term 1. The group $\widehat{U}^+$ has a subgroup~$\widehat{U}^+_\text{im}$, which is an analog of a complete unipotent group corresponding to the positive imaginary roots of~$\frak m$.We construct analogs $\text{Exp}: \widehat{\mathfrak{n}}^+\to\widehat{U}^+$ and $\text{Ad} :\widehat{U}^+ \to \Aut(\widehat{\frak{n}}^+)$ of the classical exponential map and adjoint representation. We show that the action of $\mathbb{M}$ on $\mathfrak m$ induces an action of~$\mathbb{M}$ on~$\widehat{\frak m}$, and that this in turn induces an action of $\mathbb{M}$ on~$\widehat{U}^+$. We also show that the action of $\mathbb{M}$ on $\widehat{\mathfrak n}^+$ is compatible with the action of $\widehat{U}^+$ on $\widehat{\mathfrak n}^+$.


title: Remarks on the Hilbert depth of powers of the maximal graded ideal

abstract: Let $\mathbf m=(x_1,\ldots,x_n)$ be the maximal graded ideal of $S:=K[x_1,\ldots,x_n]$. We present a new method for computing the Hilbert depth of powers of $\mathbf m$.


title: DSCom: A Data-Driven Self-Adaptive Community-Based Framework for Influence Maximization in Social Networks

abstract: Influence maximization aims to find a subset of seeds that maximize the influence spread under a given budget. In this paper, we mainly address the data-driven version of this problem, where the diffusion model is not given but needs to be inferred from the history cascades. Several previous works have addressed this topic in a statistical way and provided efficient algorithms with theoretical guarantee. However, in their settings, though the diffusion parameters are inferred, they still need users to preset the diffusion model, which can be an intractable problem in real-world practices. In this paper, we reformulate the problem on the attributed network and leverage the node attributes to estimate the closeness between the connected nodes. Specifically, we propose a machine learning-based framework, named DSCom, to address this problem in a heuristic way. Under this framework, we first infer the users' relationship from the diffusion dataset through attention mechanism and then leverage spectral clustering to overcome the influence overlap problem in the lack of exact diffusion formula. Compared to the previous theoretical works, we carefully designed empirical experiments with parameterized diffusion models based on real-world social networks, which prove the efficiency and effectiveness of our algorithm.


title: Can AI Serve as a Substitute for Human Subjects in Software Engineering Research?

abstract: Research within sociotechnical domains, such as Software Engineering, fundamentally requires a thorough consideration of the human perspective. However, traditional qualitative data collection methods suffer from challenges related to scale, labor intensity, and the increasing difficulty of participant recruitment. This vision paper proposes a novel approach to qualitative data collection in software engineering research by harnessing the capabilities of artificial intelligence (AI), especially large language models (LLMs) like ChatGPT. We explore the potential of AI-generated synthetic text as an alternative source of qualitative data, by discussing how LLMs can replicate human responses and behaviors in research settings. We examine the application of AI in automating data collection across various methodologies, including persona-based prompting for interviews, multi-persona dialogue for focus groups, and mega-persona responses for surveys. Additionally, we discuss the prospective development of new foundation models aimed at emulating human behavior in observational studies and user evaluations. By simulating human interaction and feedback, these AI models could offer scalable and efficient means of data generation, while providing insights into human attitudes, experiences, and performance. We discuss several open problems and research opportunities to implement this vision and conclude that while AI could augment aspects of data gathering in software engineering research, it cannot replace the nuanced, empathetic understanding inherent in human subjects in some cases, and an integrated approach where both AI and human-generated data coexist will likely yield the most effective outcomes.


title: Pairwise sequence alignment with block and character edit operations

abstract: Pairwise sequence comparison is one of the most fundamental problems in string processing. The most common metric to quantify the similarity between sequences S and T is edit distance, d(S,T), which corresponds to the number of characters that need to be substituted, deleted from, or inserted into S to generate T. However, fewer edit operations may be sufficient for some string pairs to transform one string to the other if larger rearrangements are permitted. Block edit distance refers to such changes in substring level (i.e., blocks) that "penalizes" entire block removals, insertions, copies, and reversals with the same cost as single-character edits (Lopresti & Tomkins, 1997). Most studies to calculate block edit distance to date aimed only to characterize the distance itself for applications in sequence nearest neighbor search without reporting the full alignment details. Although a few tools try to solve block edit distance for genomic sequences, such as GR-Aligner, they have limited functionality and are no longer maintained. Here, we present SABER, an algorithm to solve block edit distance that supports block deletions, block moves, and block reversals in addition to the classical single-character edit operations. Our algorithm runs in O(m^2.n.l_range) time for |S|=m, |T|=n and the permitted block size range of l_range; and can report all breakpoints for the block operations. We also provide an implementation of SABER currently optimized for genomic sequences (i.e., generated by the DNA alphabet), although the algorithm can theoretically be used for any alphabet. SABER is available at http://github.com/BilkentCompGen/saber


title: ECLM: Efficient Edge-Cloud Collaborative Learning with Continuous Environment Adaptation

abstract: Pervasive mobile AI applications primarily employ one of the two learning paradigms: cloud-based learning (with powerful large models) or on-device learning (with lightweight small models). Despite their own advantages, neither paradigm can effectively handle dynamic edge environments with frequent data distribution shifts and on-device resource fluctuations, inevitably suffering from performance degradation. In this paper, we propose ECLM, an edge-cloud collaborative learning framework for rapid model adaptation for dynamic edge environments. We first propose a novel block-level model decomposition design to decompose the original large cloud model into multiple combinable modules. By flexibly combining a subset of the modules, this design enables the derivation of compact, task-specific sub-models for heterogeneous edge devices from the large cloud model, and the seamless integration of new knowledge learned on these devices into the cloud model periodically. As such, ECLM ensures that the cloud model always provides up-to-date sub-models for edge devices. We further propose an end-to-end learning framework that incorporates the modular model design into an efficient model adaptation pipeline including an offline on-cloud model prototyping and training stage, and an online edge-cloud collaborative adaptation stage. Extensive experiments over various datasets demonstrate that ECLM significantly improves model performance (e.g., 18.89% accuracy increase) and resource efficiency (e.g., 7.12x communication cost reduction) in adapting models to dynamic edge environments by efficiently collaborating the edge and the cloud models.


title: Design of spin-orbital-textures in ferromagnetic/topological insulator interfaces

abstract: Spin-orbital textures in topological insulators due to the spin locking with the electron momentum, play an important role in spintronic phenomena that arise from the interplay between charge and spin degrees of freedom. We have explored interfaces between a ferromagnetic system (CrI$_3$) and a topological insulator (Bi$_2$Se$_3$) that allow the manipulation of spin-orbital textures. Within an {\it ab initio} approach we have extracted the spin-orbital-textures dependence of experimentally achievable interface designs. The presence of the ferromagnetic system introduces anisotropic transport of the electronic spin and charge. From a parameterized Hamiltonian model we capture the anisotropic backscattering behavior, showing its extension to other ferromagnetic/topological insulator interfaces. We verified that the van der Waals TI/MI interface is an excellent platform for controlling the spin degree of freedom arising from topological states, providing a rich family of unconventional spin texture configurations.


title: Compositional Fusion of Signals in Data Embedding

abstract: Embeddings in AI convert symbolic structures into fixed-dimensional vectors, effectively fusing multiple signals. However, the nature of this fusion in real-world data is often unclear. To address this, we introduce two methods: (1) Correlation-based Fusion Detection, measuring correlation between known attributes and embeddings, and (2) Additive Fusion Detection, viewing embeddings as sums of individual vectors representing attributes. Applying these methods, word embeddings were found to combine semantic and morphological signals. BERT sentence embeddings were decomposed into individual word vectors of subject, verb and object. In the knowledge graph-based recommender system, user embeddings, even without training on demographic data, exhibited signals of demographics like age and gender. This study highlights that embeddings are fusions of multiple signals, from Word2Vec components to demographic hints in graph embeddings.


title: LightBTSeg: A lightweight breast tumor segmentation model using ultrasound images via dual-path joint knowledge distillation

abstract: The accurate segmentation of breast tumors is an important prerequisite for lesion detection, which has significant clinical value for breast tumor research. The mainstream deep learning-based methods have achieved a breakthrough. However, these high-performance segmentation methods are formidable to implement in clinical scenarios since they always embrace high computation complexity, massive parameters, slow inference speed, and huge memory consumption. To tackle this problem, we propose LightBTSeg, a dual-path joint knowledge distillation framework, for lightweight breast tumor segmentation. Concretely, we design a double-teacher model to represent the fine-grained feature of breast ultrasound according to different semantic feature realignments of benign and malignant breast tumors. Specifically, we leverage the bottleneck architecture to reconstruct the original Attention U-Net. It is regarded as a lightweight student model named Simplified U-Net. Then, the prior knowledge of benign and malignant categories is utilized to design the teacher network combined dual-path joint knowledge distillation, which distills the knowledge from cumbersome benign and malignant teachers to a lightweight student model. Extensive experiments conducted on breast ultrasound images (Dataset BUSI) and Breast Ultrasound Dataset B (Dataset B) datasets demonstrate that LightBTSeg outperforms various counterparts.


title: Edelstein effect and supercurrent diode effect

abstract: We self-consistently calculate the supercurrent diode effect from microscopic models of quasi one- and two-dimensional clean superconductors with spin-orbit coupling under external Zeeman fields, and show that the Edelstein effect is responsible for the supercurrent diode effect. In turn, the supercurrent diode effect may serve as a direct measurement of the Edelstein effect as its application.


title: Combining EEG and NLP Features for Predicting Students' Lecture Comprehension using Ensemble Classification

abstract: Electroencephalography (EEG) and Natural Language Processing (NLP) can be applied for education to measure students' comprehension in classroom lectures; currently, the two measures have been used separately. In this work, we propose a classification framework for predicting students' lecture comprehension in two tasks: (i) students' confusion after listening to the simulated lecture and (ii) the correctness of students' responses to the post-lecture assessment. The proposed framework includes EEG and NLP feature extraction, processing, and classification. EEG and NLP features are extracted to construct integrated features obtained from recorded EEG signals and sentence-level syntactic analysis, which provide information about specific biomarkers and sentence structures. An ensemble stacking classification method -- a combination of multiple individual models that produces an enhanced predictive model -- is studied to learn from the features to make predictions accurately. Furthermore, we also utilized subjective confusion ratings as another integrated feature to enhance classification performance. By doing so, experiment results show that this framework performs better than the baselines, which achieved F1 up to 0.65 for predicting confusion and 0.78 for predicting correctness, highlighting that utilizing this has helped improve the classification performance.


title: Using knot Floer invariants to detect prime knots

abstract: We present knot primality tests that are built from knot Floer homology. The most basic of these is a simply stated and elementary consequence of Heegaard Floer theory: if the two-variable knot Floer polynomial of a knot K is irreducible, then K is prime. Improvements in this test yield a primality condition that has been over 90 percent effective in identifying prime knots of up to 30 crossings. As another illustration of the strength of these tools, there are 1,315 non-hyperbolic prime knots with crossing number 20 or less; the tests we develop prove the primality of over 96 percent of them. The filtered chain homotopy class of the knot Floer hat complex of a knot K has a unique minimal-dimension representative that is the direct sum of a one-dimensional complex and two-dimensional complexes, each of which can be assigned a parity. Let delta(K), b_e(K), and b_o(K) denote the dimension of this minimal representative and the number of even and odd two-dimensional summands, respectively. For a composite knot K, we observe that there is a non-trivial factorization delta(K) = mn satisfying (m-1)(n-1) \le 4 min(b_e(K), b_o(K)). This yields another knot primality test. One corollary is a simple proof of Krcatovich's result that L-space knots are prime.


title: Beyond Images: An Integrative Multi-modal Approach to Chest X-Ray Report Generation

abstract: Image-to-text radiology report generation aims to automatically produce radiology reports that describe the findings in medical images. Most existing methods focus solely on the image data, disregarding the other patient information accessible to radiologists. In this paper, we present a novel multi-modal deep neural network framework for generating chest X-rays reports by integrating structured patient data, such as vital signs and symptoms, alongside unstructured clinical notes.We introduce a conditioned cross-multi-head attention module to fuse these heterogeneous data modalities, bridging the semantic gap between visual and textual data. Experiments demonstrate substantial improvements from using additional modalities compared to relying on images alone. Notably, our model achieves the highest reported performance on the ROUGE-L metric compared to relevant state-of-the-art models in the literature. Furthermore, we employed both human evaluation and clinical semantic similarity measurement alongside word-overlap metrics to improve the depth of quantitative analysis. A human evaluation, conducted by a board-certified radiologist, confirms the model's accuracy in identifying high-level findings, however, it also highlights that more improvement is needed to capture nuanced details and clinical context.


title: Deep Tensor Network

abstract: In this paper, we delve into the foundational principles of tensor categories, harnessing the universal property of the tensor product to pioneer novel methodologies in deep network architectures. Our primary contribution is the introduction of the Tensor Attention and Tensor Interaction Mechanism, a groundbreaking approach that leverages the tensor category to enhance the computational efficiency and the expressiveness of deep networks, and can even be generalized into the quantum realm.


title: Quantum defects in 2D transition metal dichalcogenides for THz-technologies

abstract: Terahertz technologies are important for a number of emerging applications, such as for next generation communications. We predict that transition metal substitutional defects in two-dimensional transition metal dichalcogenides (TMDs) can serve as quantum defects for terahertz technologies. Central to this prediction is the finding that the zero field splittings between spin sublevels in such defects are typically in the sub-terahertz to terahertz range due to the large spin-orbit coupling in these systems. As a proof of concept, we consider different transition metal impurities from across the periodic table, in prototypical TMDs, MoS2 and WSe2. Using first principles calculations, we demonstrate that selected spin triplet defects can potentially serve as qubits operating in the terahertz regime. We also propose defects that can potentially be quantum sources of terahertz radiation. Our research broadens the scope of advancements in quantum information science and lays a foundation for their integration with THz technologies.


title: Flat Minima in Linear Estimation and an Extended Gauss Markov Theorem

abstract: We consider the problem of linear estimation, and establish an extension of the Gauss-Markov theorem, in which the bias operator is allowed to be non-zero but bounded with respect to a matrix norm of Schatten type. We derive simple and explicit formulas for the optimal estimator in the cases of Nuclear and Spectral norms (with the Frobenius case recovering ridge regression). Additionally, we analytically derive the generalization error in multiple random matrix ensembles, and compare with Ridge regression. Finally, we conduct an extensive simulation study, in which we show that the cross-validated Nuclear and Spectral regressors can outperform Ridge in several circumstances.


title: User-Centric Interactive AI for Distributed Diffusion Model-based AI-Generated Content

abstract: Distributed Artificial Intelligence-Generated Content (AIGC) has attracted increasing attention. However, it faces two significant challenges: how to maximize the subjective Quality of Experience (QoE) and how to enhance the energy efficiency, which are particularly pronounced in widely adopted Generative Diffusion Model (GDM)-based AIGC services for image generation. In this paper, we propose a novel user-centric Interactive AI (IAI) approach for service management, with a distributed GDM-based AIGC framework, prioritizing efficient and collaborative GDM deployment. Specifically, we restructure the GDM's inference process, i.e., the denoising chain, to enable users' semantically similar prompts to share a portion of diffusion steps. Furthermore, to maximize the users' subjective QoE, we propose an IAI approach, i.e., Reinforcement Learning With Large Language Models Interaction (RLLI), which utilizes Large Language Model (LLM)-empowered generative agents to replicate users interaction, providing real-time and subjective QoE feedback that reflects a spectrum of user personalities. Lastly, we present the GDM-based Deep Deterministic Policy Gradient (G-DDPG) algorithm, adapted to the proposed RLLI framework, for effective communication and computing resource allocation while considering user subjective personalities and dynamic wireless environments in decision-making. Simulation results show that G-DDPG can increase the sum QoE by 15%, compared with the conventional DDPG algorithm.


title: Vnode: Low-overhead Transparent Tracing of Node.js-based Microservice Architectures

abstract: Tracing serves as a key method for evaluating the performance of microservices-based architectures, which are renowned for their scalability, resource efficiency, and high availability. Despite their advantages, these architectures often pose unique debugging challenges that necessitate trade-offs, including the burden of instrumentation overhead. With Node.js emerging as a leading development environment, recognized for its rapidly growing ecosystem, there is a pressing need for innovative approaches that reduce the telemetry data collection efforts, and the overhead incurred by the environment instrumentation. In response, we introduce a new approach designed for transparent tracing and seamless deployment of microservices in cloud settings. This approach is centered around our newly developed Internal Transparent Tracing and Context Reconstruction (ITTCR) algorithm. ITTCR is adept at correlating internal metrics from various distributed trace files, to reconstruct the intricate execution contexts of microservices operating in a Node.js environment. Our method achieves transparency by directly instrumenting the Node.js virtual machine, enabling the collection and analysis of trace events in a transparent manner. This process facilitates the creation of visualization tools, enhancing the understanding and analysis of microservice performance in cloud environments.


title: On the Out of Distribution Robustness of Foundation Models in Medical Image Segmentation

abstract: Constructing a robust model that can effectively generalize to test samples under distribution shifts remains a significant challenge in the field of medical imaging. The foundational models for vision and language, pre-trained on extensive sets of natural image and text data, have emerged as a promising approach. It showcases impressive learning abilities across different tasks with the need for only a limited amount of annotated samples. While numerous techniques have focused on developing better fine-tuning strategies to adapt these models for specific domains, we instead examine their robustness to domain shifts in the medical image segmentation task. To this end, we compare the generalization performance to unseen domains of various pre-trained models after being fine-tuned on the same in-distribution dataset and show that foundation-based models enjoy better robustness than other architectures. From here, we further developed a new Bayesian uncertainty estimation for frozen models and used them as an indicator to characterize the model's performance on out-of-distribution (OOD) data, proving particularly beneficial for real-world applications. Our experiments not only reveal the limitations of current indicators like accuracy on the line or agreement on the line commonly used in natural image applications but also emphasize the promise of the introduced Bayesian uncertainty. Specifically, lower uncertainty predictions usually tend to higher out-of-distribution (OOD) performance.


title: Radiology Report Generation Using Transformers Conditioned with Non-imaging Data

abstract: Medical image interpretation is central to most clinical applications such as disease diagnosis, treatment planning, and prognostication. In clinical practice, radiologists examine medical images and manually compile their findings into reports, which can be a time-consuming process. Automated approaches to radiology report generation, therefore, can reduce radiologist workload and improve efficiency in the clinical pathway. While recent deep-learning approaches for automated report generation from medical images have seen some success, most studies have relied on image-derived features alone, ignoring non-imaging patient data. Although a few studies have included the word-level contexts along with the image, the use of patient demographics is still unexplored. This paper proposes a novel multi-modal transformer network that integrates chest x-ray (CXR) images and associated patient demographic information, to synthesise patient-specific radiology reports. The proposed network uses a convolutional neural network to extract visual features from CXRs and a transformer-based encoder-decoder network that combines the visual features with semantic text embeddings of patient demographic information, to synthesise full-text radiology reports. Data from two public databases were used to train and evaluate the proposed approach. CXRs and reports were extracted from the MIMIC-CXR database and combined with corresponding patients' data MIMIC-IV. Based on the evaluation metrics used including patient demographic information was found to improve the quality of reports generated using the proposed approach, relative to a baseline network trained using CXRs alone. The proposed approach shows potential for enhancing radiology report generation by leveraging rich patient metadata and combining semantic text embeddings derived thereof, with medical image-derived visual features.


title: Optimal Stopping with Randomly Arriving Opportunities to Stop

abstract: We develop methods to solve general optimal stopping problems with opportunities to stop that arrive randomly. Such problems occur naturally in applications with market frictions. Pivotal to our approach is that our methods operate on random rather than deterministic time scales. This enables us to convert the original problem into an equivalent discrete-time optimal stopping problem with $\mathbb{N}_{0}$-valued stopping times and a possibly infinite horizon. To numerically solve this problem, we design a random times least squares Monte Carlo method. We also analyze an iterative policy improvement procedure in this setting. We illustrate the efficiency of our methods and the relevance of randomly arriving opportunities in a few examples.


title: Introducing NCL-SM: A Fully Annotated Dataset of Images from Human Skeletal Muscle Biopsies

abstract: Single cell analysis of skeletal muscle (SM) tissue is a fundamental tool for understanding many neuromuscular disorders. For this analysis to be reliable and reproducible, identification of individual fibres within microscopy images (segmentation) of SM tissue should be precise. There is currently no tool or pipeline that makes automatic and precise segmentation and curation of images of SM tissue cross-sections possible. Biomedical scientists in this field rely on custom tools and general machine learning (ML) models, both followed by labour intensive and subjective manual interventions to get the segmentation right. We believe that automated, precise, reproducible segmentation is possible by training ML models. However, there are currently no good quality, publicly available annotated imaging datasets available for ML model training. In this paper we release NCL-SM: a high quality bioimaging dataset of 46 human tissue sections from healthy control subjects and from patients with genetically diagnosed muscle pathology. These images include $>$ 50k manually segmented muscle fibres (myofibres). In addition we also curated high quality myofibres and annotated reasons for rejecting low quality myofibres and regions in SM tissue images, making this data completely ready for downstream analysis. This, we believe, will pave the way for development of a fully automatic pipeline that identifies individual myofibres within images of tissue sections and, in particular, also classifies individual myofibres that are fit for further analysis.


title: The limit points of the strong law of large numbers under the sub-linear expectations

abstract: Let $\{X_n;n\ge 1\}$ be a sequence of independent and identically distributed random variables in a regular sub-linear expectation space $(\Omega,\mathscr{H},\widehat{\mathbb E})$ with the finite Choquet expectation, upper mean $\overline{\mu} $ and lower mean $\underline{\mu} $. Then for any Borel-measurable function $\varphi(x_1,\ldots,x_d)$ on $\mathbb R^d$ or continuous function $\varphi(x_1,x_2,\ldots)$ on $\mathbb R^{\mathbb N}$, $\sum_{i=1}^n X_i/n$ converges to $\underline{\mu}\wedge \varphi(X_1,X_2,\ldots)\wedge \overline{\mu}$ with upper capacity $1$. The limits of $\sum_{i=1}^nX_i/n$ can be with upper capacity 1 also a random set with boundaries being continuous functions or finite-dimensional Borel-measurable functions of $(X_1, X_2,\ldots)$.


title: $\varepsilon$-fractional Core Stability in Hedonic Games

abstract: Hedonic Games (HGs) are a classical framework modeling coalition formation of strategic agents guided by their individual preferences. According to these preferences, it is desirable that a coalition structure (i.e. a partition of agents into coalitions) satisfies some form of stability. The most well-known and natural of such notions is arguably core-stability. Informally, a partition is core-stable if no subset of agents would like to deviate by regrouping in a so-called core-blocking coalition. Unfortunately, core-stable partitions seldom exist and even when they do, it is often computationally intractable to find one. To circumvent these problems, we propose the notion of $\varepsilon$-fractional core-stability, where at most an $\varepsilon$-fraction of all possible coalitions is allowed to core-block. It turns out that such a relaxation may guarantee both existence and polynomial-time computation. Specifically, we design efficient algorithms returning an $\varepsilon$-fractional core-stable partition, with $\varepsilon$ exponentially decreasing in the number of agents, for two fundamental classes of HGs: Simple Fractional and Anonymous. From a probabilistic point of view, being the definition of $\varepsilon$-fractional core equivalent to requiring that uniformly sampled coalitions core-block with probability lower than $\varepsilon$, we further extend the definition to handle more complex sampling distributions. Along this line, when valuations have to be learned from samples in a PAC-learning fashion, we give positive and negative results on which distributions allow the efficient computation of outcomes that are $\varepsilon$-fractional core-stable with arbitrarily high confidence.


title: Multipartite Entanglement from Consecutive Scatterings

abstract: We study how the successive scattering of spin 1/2 particles with a central spin 1/2 target particle can generate entanglement between the helicity degrees of freedom of all scattered particles, effectively producing a multipartite entangled state. We show that the bipartite entanglement between each pair of scattered particles, as quantified by the concurrence, is largest for reflected particles and decreases with the number of scatterings. We study the entanglement generation as a function of the scattered particles momenta, angular distribution and mass ratios, and show that there is always a combination of optimal helicities and momentum which generate the largest amount of bipartite entanglement.


title: Responsible AI Considerations in Text Summarization Research: A Review of Current Practices

abstract: AI and NLP publication venues have increasingly encouraged researchers to reflect on possible ethical considerations, adverse impacts, and other responsible AI issues their work might engender. However, for specific NLP tasks our understanding of how prevalent such issues are, or when and why these issues are likely to arise, remains limited. Focusing on text summarization -- a common NLP task largely overlooked by the responsible AI community -- we examine research and reporting practices in the current literature. We conduct a multi-round qualitative analysis of 333 summarization papers from the ACL Anthology published between 2020-2022. We focus on how, which, and when responsible AI issues are covered, which relevant stakeholders are considered, and mismatches between stated and realized research goals. We also discuss current evaluation practices and consider how authors discuss the limitations of both prior work and their own work. Overall, we find that relatively few papers engage with possible stakeholders or contexts of use, which limits their consideration of potential downstream adverse impacts or other responsible AI issues. Based on our findings, we make recommendations on concrete practices and research directions.


title: Vector-tensor theories in metric-affine geometry

abstract: We investigate ghost-free vector-tensor theories in metric-affine geometry. In all of our analysis, we start with the Lagrangian containing up to quadratic terms of first-order derivatives of a vector field. To obtain ghost-free vector-tensor theories efficiently, we consider two options; the theories satisfy the torsionless condition or have the projective symmetry. We first explore the vector-tensor theories under the former condition. We then investigate the projective-invariant vector-tensor theories in metric-affine geometry. To systematically construct a projective-invariant Lagrangian, we use two different approaches. First, we construct a Lagrangian by contracting the epsilon tensor. Second, we construct a Lagrangian by use of projective-invariant combinations. We find that to obtain a ghost-free Lagrangian in metric-affine geometry, imposing the projective invariance would be more useful than imposing the torsionless condition. However, we also prove that the projective invariance (or the torsionless condition) alone is insufficient for vector-tensor theories in metric-affine geometry to be ghost-free.


title: State of structural typing support in Scala 3.3.0

abstract: Scala's type system is primarily based on nominal typing. Scala 3 introduces a special type, Selectable, which provides an infrastructure for structural typing. Karlsson and Haller proposed improvements to Selectable to support extensible records. In this paper, we review several Scala 3 projects that involve structural typing. We find that their implementation or usability would benefit from the extensible records proposal from Karlsson and Haller. We investigate the remaining common challenges when working with structural types. In particular, we identify that a dedicated syntax for both record types and record literals would be the most beneficial addition to the language.


title: ShapeMatcher: Self-Supervised Joint Shape Canonicalization, Segmentation, Retrieval and Deformation

abstract: In this paper, we present ShapeMatcher, a unified self-supervised learning framework for joint shape canonicalization, segmentation, retrieval and deformation. Given a partially-observed object in an arbitrary pose, we first canonicalize the object by extracting point-wise affine-invariant features, disentangling inherent structure of the object with its pose and size. These learned features are then leveraged to predict semantically consistent part segmentation and corresponding part centers. Next, our lightweight retrieval module aggregates the features within each part as its retrieval token and compare all the tokens with source shapes from a pre-established database to identify the most geometrically similar shape. Finally, we deform the retrieved shape in the deformation module to tightly fit the input object by harnessing part center guided neural cage deformation. The key insight of ShapeMaker is the simultaneous training of the four highly-associated processes: canonicalization, segmentation, retrieval, and deformation, leveraging cross-task consistency losses for mutual supervision. Extensive experiments on synthetic datasets PartNet, ComplementMe, and real-world dataset Scan2CAD demonstrate that ShapeMaker surpasses competitors by a large margin.


title: Estimation Strategies for the Condition Monitoring of a Battery Systemin a Hybrid Electric Vehicle

abstract: This paper discusses the application of condition monitoring to a battery system used in a hybrid electric vehicle (HEV). Battery condition management systems (BCMSs) are employed to ensure the safe, efficient, and reliable operation of a battery, ultimately to guarantee the availability of electric power. This is critical for the case of the HEV to ensure greater overall energy efficiency and the availability of reliable electrical supply. This paper considers the use of state and parameter estimation techniques for the condition monitoring of batteries. A comparative study is presented in which the Kalman and the extended Kalman filters (KF/EKF), the particle filter (PF), the quadrature Kalman filter (QKF), and the smooth variable structure filter (SVSF) are used for battery condition monitoring. These comparisons are made based on estimation error, robustness, sensitivity to noise, and computational time.


title: Auxiliary Losses for Learning Generalizable Concept-based Models

abstract: The increasing use of neural networks in various applications has lead to increasing apprehensions, underscoring the necessity to understand their operations beyond mere final predictions. As a solution to enhance model transparency, Concept Bottleneck Models (CBMs) have gained popularity since their introduction. CBMs essentially limit the latent space of a model to human-understandable high-level concepts. While beneficial, CBMs have been reported to often learn irrelevant concept representations that consecutively damage model performance. To overcome the performance trade-off, we propose cooperative-Concept Bottleneck Model (coop-CBM). The concept representation of our model is particularly meaningful when fine-grained concept labels are absent. Furthermore, we introduce the concept orthogonal loss (COL) to encourage the separation between the concept representations and to reduce the intra-concept distance. This paper presents extensive experiments on real-world datasets for image classification tasks, namely CUB, AwA2, CelebA and TIL. We also study the performance of coop-CBM models under various distributional shift settings. We show that our proposed method achieves higher accuracy in all distributional shift settings even compared to the black-box models with the highest concept accuracy.


title: 6G Fresnel Spot Beamfocusing using Large-Scale Metasurfaces: A Distributed DRL-Based Approach

abstract: In this paper, we introduce the concept of spot beamfocusing (SBF) in the Fresnel zone through extremely large-scale programmable metasurfaces (ELPMs) as a key enabling technology for 6G networks. A smart SBF scheme aims to adaptively concentrate the aperture's radiating power exactly at a desired focal point (DFP) in the 3D space utilizing some Machine Learning (ML) method. This offers numerous advantages for next-generation networks including efficient wireless power transfer (WPT), interference mitigation, reduced RF pollution, and improved information security. SBF necessitates ELPMs with precise channel state information (CSI) for all ELPM elements. However, obtaining exact CSI for ELPMs is not feasible in all environments; we alleviate this by proposing an adaptive novel CSI-independent ML scheme based on the TD3 deep-reinforcement-learning (DRL) method. While the proposed ML-based scheme is well-suited for relatively small-size arrays, the computational complexity is unaffordable for ELPMs. To overcome this limitation, we introduce a modular highly scalable structure composed of multiple sub-arrays, each equipped with a TD3-DRL optimizer. This setup enables collaborative optimization of the radiated power at the DFP, significantly reducing computational complexity while enhancing learning speed. The proposed structures benefits in terms of 3D spot-like power distribution, convergence rate, and scalability are validated through simulation results.


title: Number of full exceptional collections modulo spherical twists for elliptic orbifolds

abstract: This paper calculates the number of full exceptional collections modulo an action of a group as the set generated by spherical twists for an abelian category of coherent sheaves on an orbifold projective line with a zero orbifold Euler characteristic. This is done by a recursive formula naturally generalizing the one for the Dynkin case by Deligne whose categorical interpretation is due to Obaid-Nauman-Shammakh-Fakieh-Ringel and an abelian category of coherent sheaves on an orbifold projective line with a positive orbifold Euler characteristic is due to Otani-Shiraishi-Takahashi.


title: Economic Viability of the Energy-Water-Hydrogen Nexus for Power System Decarbonization

abstract: This paper aims to evaluate the economic viability of the energy-water-hydrogen (EWH) nexus as a new solution for reducing carbon emissions from power systems. The urgency around climate change emphasizes the pressing need to mitigate carbon emissions, especially from the electricity sector, which accounts for a significant portion of total emissions in the US. In response, incorporating more renewable energy sources (RESs) and green hydrogen, created through water electrolysis and RES, stands out as a crucial strategy to combat climate challenges. We delve into various aspects of the EWH nexus, including carbon emissions from different power plants, capturing these emissions, and potential options for their reuse or storage. This paper involves modeling different sections of the EWH nexus and conducting an economic analysis across scenarios in power plants to determine optimal water supply methods, suitable chemical products for carbon reuse, and an appropriate carbon emission penalty to encourage emission reduction through the EWH nexus. The results indicate that reusing captured carbon emissions emerges as the most beneficial option across all power plant types. This finding underscores the potential of carbon reuse as a pivotal strategy within the EWH nexus framework for addressing carbon emissions.


title: Optimal H{\"o}lder convergence of a class of singular steady states to the Bahouri-Chemin patch

abstract: In \cite{elgindi2022regular}, a family of singular steady states near the Bahouri-Chemin patch was introduced. In this paper, we obtain the optimal regularity and convergence of the singular steady states contruced in \cite{elgindi2022regular} to the Bahouri-Chemin patch. We first derive a boundary Harnack principle, and then obtain the optimal convergence results using the singular integral representation based on Green's function.


title: To the isotopy classification of Morse polynomials of degree 4 in ${\mathbb R}^2$

abstract: We introduce a system of algebraic invariants of isotopy classes of Morse polynomials ${\mathbb R}^2 \to {\mathbb R}^1$ of degree $d$ with non-degenerate principal homogeneous part. In the first non-trivial case of $d=4$ (in which these invariants are hypothetically complete) we calculate all 71 possible values of these invariants and realize all these values by concrete Morse polynomials.


title: Environment-Aware Dynamic Graph Learning for Out-of-Distribution Generalization

abstract: Dynamic graph neural networks (DGNNs) are increasingly pervasive in exploiting spatio-temporal patterns on dynamic graphs. However, existing works fail to generalize under distribution shifts, which are common in real-world scenarios. As the generation of dynamic graphs is heavily influenced by latent environments, investigating their impacts on the out-of-distribution (OOD) generalization is critical. However, it remains unexplored with the following two major challenges: (1) How to properly model and infer the complex environments on dynamic graphs with distribution shifts? (2) How to discover invariant patterns given inferred spatio-temporal environments? To solve these challenges, we propose a novel Environment-Aware dynamic Graph LEarning (EAGLE) framework for OOD generalization by modeling complex coupled environments and exploiting spatio-temporal invariant patterns. Specifically, we first design the environment-aware EA-DGNN to model environments by multi-channel environments disentangling. Then, we propose an environment instantiation mechanism for environment diversification with inferred distributions. Finally, we discriminate spatio-temporal invariant patterns for out-of-distribution prediction by the invariant pattern recognition mechanism and perform fine-grained causal interventions node-wisely with a mixture of instantiated environment samples. Experiments on real-world and synthetic dynamic graph datasets demonstrate the superiority of our method against state-of-the-art baselines under distribution shifts. To the best of our knowledge, we are the first to study OOD generalization on dynamic graphs from the environment learning perspective.


title: On graded NR-clean rings

abstract: This paper presents an extension of the concept of NR-clean introduced in [12] to graded ring theory. We define and explore graded NR-clean rings, which generalize the class of graded U-nil clean previously studied in [15]. We provide examples and basic properties of such rings, and investigate their extensions to including matrix rings, group rings, as well as trivial ring extensions.


title: Utilizing Speech Emotion Recognition and Recommender Systems for Negative Emotion Handling in Therapy Chatbots

abstract: Emotional well-being significantly influences mental health and overall quality of life. As therapy chatbots become increasingly prevalent, their ability to comprehend and respond empathetically to users' emotions remains limited. This paper addresses this limitation by proposing an approach to enhance therapy chatbots with auditory perception, enabling them to understand users' feelings and provide human-like empathy. The proposed method incorporates speech emotion recognition (SER) techniques using Convolutional Neural Network (CNN) models and the ShEMO dataset to accurately detect and classify negative emotions, including anger, fear, and sadness. The SER model achieves a validation accuracy of 88%, demonstrating its effectiveness in recognizing emotional states from speech signals. Furthermore, a recommender system is developed, leveraging the SER model's output to generate personalized recommendations for managing negative emotions, for which a new bilingual dataset was generated as well since there is no such dataset available for this task. The recommender model achieves an accuracy of 98% by employing a combination of global vectors for word representation (GloVe) and LSTM models. To provide a more immersive and empathetic user experience, a text-to-speech model called GlowTTS is integrated, enabling the therapy chatbot to audibly communicate the generated recommendations to users in both English and Persian. The proposed approach offers promising potential to enhance therapy chatbots by providing them with the ability to recognize and respond to users' emotions, ultimately improving the delivery of mental health support for both English and Persian-speaking users.


title: Acoustic Analogues of Extremal Rotating Black Holes in Exciton-Polariton Condensates

abstract: We theoretically investigate the acoustic analogues of high-angular-momentum rotating black holes in exciton-polariton condensates. Performing numerical simulations of a long-lived ring-shaped condensate configuration with an acoustic horizon and ergoregion for high angular momentum states, we observed a quasi-stable state near critical angular momentum where the acoustic black hole horizon disappears. Our findings offer an insight into the quantum nature of the instability of naked singularity.


title: $\operatorname{PGL}_{2}(\mathbb{Q}_{p})$-orbit closures on a $p$-adic homogeneous space of infinite volume

abstract: Let $\mathbb{K}$ be an unramified quadratic extension of $\mathbb{Q}_{p}$ for a fixed $p>2$. Projective general linear groups $G=\operatorname{PGL}_{2}(\mathbb{K})$ and $H=\operatorname{PGL}_{2}(\mathbb{Q}_{p})$ act transitively on Bruhat-Tits trees $T_G$ and $T_H$, respectively. We identify $G/H$ with the set of $H$-subtrees $G.T_{H}$. Let $\Gamma$ be a Schottky subgroup such that $\Gamma\backslash T_{G}$ is infinite volume and has an additional condition named high-branchedness, and let $\Lambda$ be its limit set. We classify $\Gamma$-orbits in $G/H$. Let $C=g_{C}H\in G/H$. As a generalization of Ratner's theorem, if $\Gamma\backslash g_{C}.T_{H}$ meets the convex core of $\Gamma\backslash T_{G}$, then the $\Gamma$-orbit of $C$ is either dense or closed in $ {\cal{C}}_{\Lambda}=\{g H: \partial(g.T_{H})\cap\Lambda\neq\varnothing\}$.


title: Testing Intersecting and Union-Closed Families

abstract: Inspired by the classic problem of Boolean function monotonicity testing, we investigate the testability of other well-studied properties of combinatorial finite set systems, specifically \emph{intersecting} families and \emph{union-closed} families. A function $f: \{0,1\}^n \to \{0,1\}$ is intersecting (respectively, union-closed) if its set of satisfying assignments corresponds to an intersecting family (respectively, a union-closed family) of subsets of $[n]$. Our main results are that -- in sharp contrast with the property of being a monotone set system -- the property of being an intersecting set system, and the property of being a union-closed set system, both turn out to be information-theoretically difficult to test. We show that: $\bullet$ For $\epsilon \geq \Omega(1/\sqrt{n})$, any non-adaptive two-sided $\epsilon$-tester for intersectingness must make $2^{\Omega(n^{1/4}/\sqrt{\epsilon})}$ queries. We also give a $2^{\Omega(\sqrt{n \log(1/\epsilon)})}$-query lower bound for non-adaptive one-sided $\epsilon$-testers for intersectingness. $\bullet$ For $\epsilon \geq 1/2^{\Omega(n^{0.49})}$, any non-adaptive two-sided $\epsilon$-tester for union-closedness must make $n^{\Omega(\log(1/\epsilon))}$ queries. Thus, neither intersectingness nor union-closedness shares the $\mathrm{poly}(n,1/\epsilon)$-query non-adaptive testability that is enjoyed by monotonicity. To complement our lower bounds, we also give a simple $\mathrm{poly}(n^{\sqrt{n\log(1/\epsilon)}},1/\epsilon)$-query, one-sided, non-adaptive algorithm for $\epsilon$-testing each of these properties (intersectingness and union-closedness). We thus achieve nearly tight upper and lower bounds for two-sided testing of intersectingness when $\epsilon = \Theta(1/\sqrt{n})$, and for one-sided testing of intersectingness when $\epsilon=\Theta(1).$


title: An Improved Neural Network Model Based On CNN Using For Fruit Sugar Degree Detection

abstract: Artificial Intelligence(AI) widely applies in Image Classification and Recognition, Text Understanding and Natural Language Processing, which makes great progress. In this paper, we introduced AI into the fruit quality detection field. We designed a fruit sugar degree regression model using an Artificial Neural Network based on spectra of fruits within the visible/near-infrared(V/NIR)range. After analysis of fruit spectra, we innovatively proposed a new neural network structure: low layers consist of a Multilayer Perceptron(MLP), a middle layer is a 2-dimensional correlation matrix layer, and high layers consist of several Convolutional Neural Network(CNN) layers. In this study, we used fruit sugar value as a detection target, collecting two fruits called Gan Nan Navel and Tian Shan Pear as samples, doing experiments respectively, and comparing their results. We used Analysis of Variance(ANOVA) to evaluate the reliability of the dataset we collected. Then, we tried multiple strategies to process spectrum data, evaluating their effects. In this paper, we tried to add Wavelet Decomposition(WD) to reduce feature dimensions and a Genetic Algorithm(GA) to find excellent features. Then, we compared Neural Network models with traditional Partial Least Squares(PLS) based models. We also compared the neural network structure we designed(MLP-CNN) with other traditional neural network structures. In this paper, we proposed a new evaluation standard derived from dataset standard deviation(STD) for evaluating detection performance, validating the viability of using an artificial neural network model to do fruit sugar degree nondestructive detection.


title: Development of MKIDs in the Optical and Near-infrared Bands for SPIAKID

abstract: SpectroPhotometric Imaging in Astronomy with Kinetic Inductance Detectors (SPIAKID) aims at designing, building, and deploying on the sky a spectrophotometric imager based on microwave kinetic inductance detectors (MKIDs) in the optical and near-infrared bands. MKIDs show a fast response and the ability to resolve photon energy compared to the conventional Charge-coupled Devices (CCDs). In this paper, we present the design and simulation of the MKID arrays for SPIAKID. The detectors consist of four arrays with each array of 20,000 lumped-element pixels, and each array will be read with 10 readout lines. %The array is designed to have resonances between 4-8GHz with a frequency spacing of 2 MHz and a coupling quality factor (Qc) of about 50000. The meander material of the resonators is trilayer TiN/Ti/TiN to have better uniformity of the critical temperature across the array. We also present the measurement result for a test array with $30\times30$ pixels which is a subset of the designed 2000-pixel array to verify the design and fabrication. The current measured best energy resolving power $R = E/\Delta E$ is 2.4 at $\lambda = 405~$nm and the current medium R is around 1.7. We have also observed the response of the TiN/Ti/TiN is much smaller than expected.


title: Is La3Ni2O6.5 a Bulk Superconducting Nickelate?

abstract: Superconducting states onsetting at moderately high temperatures have been observed in epitaxially-stabilized RENiO2-based thin films. However, recently it has also been reported that superconductivity at high temperatures is observed in bulk La3Ni2O7-{\delta} at high pressure, opening further possibilities for study. Here we report the reduction profile of La3Ni2O7 in a stream of 5% H2/Ar gas and the isolation of the metastable intermediate phase La3Ni2O6.45, which is based on Ni2+. Although this reduced phase does not superconduct at ambient or high pressures, it offers insights into the Ni-327 system and encourages the future study of nickelates as a function of oxygen content.


title: (Why) Is My Prompt Getting Worse? Rethinking Regression Testing for Evolving LLM APIs

abstract: Large Language Models (LLMs) are increasingly integrated into software applications. Downstream application developers often access LLMs through APIs provided as a service. However, LLM APIs are often updated silently and scheduled to be deprecated, forcing users to continuously adapt to evolving models. This can cause performance regression and affect prompt design choices, as evidenced by our case study on toxicity detection. Based on our case study, we emphasize the need for and re-examine the concept of regression testing for evolving LLM APIs. We argue that regression testing LLMs requires fundamental changes to traditional testing approaches, due to different correctness notions, prompting brittleness, and non-determinism in LLM APIs.


title: Non-Abelian discrete Toda chains and related lattices

abstract: We have derived a non-abelian analog for the two-dimensional discrete Toda lattice which possesses solutions in terms of quasideterminants and admits Lax pairs of different forms. Its connection with non-abelian analogs for several well-known (1+1) and one-dimensional lattices is discussed. In particular, we consider a non-commutative analog of the scheme: discrete Toda equations $\rightarrow$ Somos-$N$ sequences $\rightarrow$ discrete Painlev\'e equations.


title: SecondPose: SE(3)-Consistent Dual-Stream Feature Fusion for Category-Level Pose Estimation

abstract: Category-level object pose estimation, aiming to predict the 6D pose and 3D size of objects from known categories, typically struggles with large intra-class shape variation. Existing works utilizing mean shapes often fall short of capturing this variation. To address this issue, we present SecondPose, a novel approach integrating object-specific geometric features with semantic category priors from DINOv2. Leveraging the advantage of DINOv2 in providing SE(3)-consistent semantic features, we hierarchically extract two types of SE(3)-invariant geometric features to further encapsulate local-to-global object-specific information. These geometric features are then point-aligned with DINOv2 features to establish a consistent object representation under SE(3) transformations, facilitating the mapping from camera space to the pre-defined canonical space, thus further enhancing pose estimation. Extensive experiments on NOCS-REAL275 demonstrate that SecondPose achieves a 12.4% leap forward over the state-of-the-art. Moreover, on a more complex dataset HouseCat6D which provides photometrically challenging objects, SecondPose still surpasses other competitors by a large margin.


title: Bayesian Neural Networks: A Min-Max Game Framework

abstract: This paper is a preliminary study of the robustness and noise analysis of deep neural networks via a game theory formulation Bayesian Neural Networks (BNN) and the maximal coding rate distortion loss. BNN has been shown to provide some robustness to deep learning, and the minimax method used to be a natural conservative way to assist the Bayesian method. Inspired by the recent closed-loop transcription neural network, we formulate the BNN via game theory between the deterministic neural network $f$ and the sampling network $f + \xi$ or $f + r*\xi$. Compared with previous BNN, BNN via game theory learns a solution space within a certain gap between the center $f$ and the sampling point $f + r*\xi$, and is a conservative choice with a meaningful prior setting compared with previous BNN. Furthermore, the minimum points between $f$ and $f + r*\xi$ become stable when the subspace dimension is large enough with a well-trained model $f$. With these, the model $f$ can have a high chance of recognizing the out-of-distribution data or noise data in the subspace rather than the prediction level, even if $f$ is in online training after a few iterations of true data. So far, our experiments are limited to MNIST and Fashion MNIST data sets, more experiments with realistic data sets and complicated neural network models should be implemented to validate the above arguments.


title: Beurling integers with lacunarity

abstract: We present examples of multiplicative semigroups of positive reals (Beurling's generalized integers) with gaps bounded from below.


title: Evolutionary game selection creates cooperative environments

abstract: The emergence of collective cooperation in competitive environments is a well-known phenomenon in biology, economics and social systems. While most evolutionary game models focus on the evolution of strategies for a fixed game, how strategic decisions co-evolve with the environment has so far mostly been overlooked. Here, we consider a game selection model where not only the strategies but also the game can change over time following evolutionary principles. Our results show that co-evolutionary dynamics of games and strategies can induce novel collective phenomena, fostering the emergence of cooperative environments. When the model is taken on structured populations the architecture of the interaction network can significantly amplify pro-social behaviour, with a critical role played by network heterogeneity and the presence of clustered groups, distinctive features observed in real-world populations. By unveiling the link between the evolution of strategies and games for different structured populations, our model sheds new light on the origin of social dilemmas ubiquitously observed in real-world social systems.

categories: physics.soc-ph cs.GT cs.SI math.DS q-bio.PE


title: A Novel Perspective Process Simulation Framework Based on Automatic Differentiation

abstract: Thermodynamic and flash equilibrium calculations are the cornerstones of simulation process calculations. The iterative approach, a widely used nonlinear problem-solving technique, relies on derivative calculations throughout the procedure that directly affect the stability and effectiveness of the solution. In this study, we use state-of-the-art automatic differentiation frameworks for thermodynamic calculations to obtain precise derivatives without altering the logic of the algorithm. This contrasts with traditional numerical differentiation algorithms and significantly improves the convergence and computational efficiency of process simulations in contrast to numerical differentiation algorithms. Standard chemical phase equilibrium calculations such as PT, PV, and PH flash are used to evaluate an automated differentiation approach with respect to numerical stability and iteration counts. It is used to evaluate the iteration count. The results of the experiment showed that the automatic differentiation method has a more uniform gradient distribution and requires fewer convergence iterations. The experimental results show that the system shows that the process is more uniform. The gradient distribution and computational convergence curves help to highlight the improvements provided by automatic differentiation. In addition, this method shows greater generalizability and can be used more easily in the calculation of various other chemical simulation modules.


title: Invariant-based Mapping of Space During General Motion of an Observer

abstract: This paper explores visual motion-based invariants, resulting in a new instantaneous domain where: a) the stationary environment is perceived as unchanged, even as the 2D images undergo continuous changes due to camera motion, b) obstacles can be detected and potentially avoided in specific subspaces, and c) moving objects can potentially be detected. To achieve this, we make use of nonlinear functions derived from measurable optical flow, which are linked to geometric 3D invariants. We present simulations involving a camera that translates and rotates relative to a 3D object, capturing snapshots of the camera projected images. We show that the object appears unchanged in the new domain over time. We process real data from the KITTI dataset and demonstrate how to segment space to identify free navigational regions and detect obstacles within a predetermined subspace. Additionally, we present preliminary results, based on the KITTI dataset, on the identification and segmentation of moving objects, as well as the visualization of shape constancy. This representation is straightforward, relying on functions for the simple de-rotation of optical flow. This representation only requires a single camera, it is pixel-based, making it suitable for parallel processing, and it eliminates the necessity for 3D reconstruction techniques.


title: Enhancing metallicity and basal plane reactivity of 2D materials via self-intercalation

abstract: Intercalation (ic) of metal atoms into the van der Waals (vdW) gap of layered materials constitutes a facile strategy to create new materials whose properties can be tuned via the concentration of the intercalated atoms. Here we perform systematic density functional theory calculations to explore various properties of an emergent class of crystalline 2D materials (ic-2D materials) comprising vdW homobilayers with native metal atoms on a sublattice of intercalation sites. From an initial set of 1348 ic-2D materials, generated from 77 vdW homobilayers, we find 95 structures with good thermodynamic stability (formation energy within 200 meV/atom of the convex hull). A significant fraction of the semiconducting host materials are found to undergo an insulator to metal transition upon self-intercalation with only PdS$_2$, PdSe$_2$, and GeS$_2$ maintaining a finite electronic gap. In five cases, self-intercalation introduces magnetism. In general, self-intercalation is found to promote metallicity and enhance the chemical reactivity on the basal plane. Based on the calculated H binding energy we find that self-intercalated SnS$_2$ and Hf$_3$Te$_2$ are promising candidates for hydrogen evolution catalysis. All the stable ic-2D structures and their calculated properties can be explored in the open C2DB database.


title: Low-dimensional controllability of brain networks

abstract: Network controllability is a powerful tool to study causal relationships in complex systems and identify the driver nodes for steering the network dynamics into desired states. However, due to ill-posed conditions, results become unreliable when the number of drivers becomes too small compared to the network size. This is a very common situation, particularly in real-world applications, where the possibility to access multiple nodes at the same time is limited by technological constraints, such as in the human brain. Although targeting smaller network parts might improve accuracy, challenges may remain for extremely unbalanced situations, when for example there is one single driver. To address this problem, we developed a mathematical framework that combines concepts from spectral graph theory and modern network science. Instead of controlling the original network dynamics, we aimed to control its low-dimensional embedding into the topological space derived from the network Laplacian. By performing extensive simulations on synthetic networks, we showed that a relatively low number of projected components is enough to improve the overall control accuracy, notably when dealing with very few drivers. Based on these findings, we introduced alternative low-dimensional controllability metrics and used them to identify the main driver areas of the human connectome obtained from N=6134 healthy individuals in the UK-biobank cohort. Results revealed previously unappreciated influential regions compared to standard approaches, enabled to draw control maps between distinct specialized large-scale brain systems, and yielded an anatomically-based understanding of hemispheric functional lateralization. Taken together, our results offered a theoretically-grounded solution to deal with network controllability in real-life applications and provided insights into the causal interactions of the human brain.


title: Busting the Myth of Spontaneous Formation of H2O2 at the Air-Water Interface: Contributions of the Liquid-Solid Interface and Dissolved Oxygen Exposed

abstract: Recent reports on the spontaneous formation of H2O2(aq) at the air-water interface and the solid-water interface have been sensational. The speculated mechanism at the air-water interface is based on instantaneous ultrahigh electric fields and the micro-scale of droplets, whereas the solid-water interface is speculated to be the site for oxidation of water (or hydroxide ions) and reduction of the solid surface. We utilized 1H-NMR spectroscopy to investigate the effects of the nebulizing gas, the dissolved oxygen content, and solid substrates on the H2O2(aq) formation (detection limit 50 nM). Experiments revealed that contrary to the sensational claims, the air-water interface is not the site for H2O2(aq) formation; instead, it is the solid-water interface where H2O2(aq) is formed during the reduction of dissolved oxygen and oxidation of the solid surface. Curiously, the tendencies of solid substrates towards forming H2O2(aq) follow the classic Galvanic series. This report advances the current understanding of aquatic chemistry and should be relevant to corrosion science, surface science, and electrochemistry.


title: Creating a More Equitable Introductory Physics Classroom Through Invitational Phrasing in Question Solicitation

abstract: Asking questions during class time is one form of participation not commonly employed by members of underrepresented groups in large enrollment college classrooms, even though the form of participation is highly conducive to student learning. To encourage students to ask questions, many instructors initiate open question periods in their lectures with verbal solicitations (i.e., "Questions?"). Although several university centers for teaching and learning, such as at UC Berkeley, and instructor reflections suggest that the scripts of question solicitations impact the frequency of questions returned by students, no literature exists to support this claim. This quasi-experimental scholarship of teaching and learning (SoTL) study conducted with the Students-as-Partners model, observes the effect of a new solicitation script integrated into an introductory physics lectures to improve question participation from students. While the new solicitation script did not change the total number of questions asked by students in comparison to previous scripts, the number of questions asked by people who likely have gender identities traditionally underrepresented in physics (i.e. all but cis-men) increased significantly.


title: A Principled Framework for Knowledge-enhanced Large Language Model

abstract: Large Language Models (LLMs) are versatile, yet they often falter in tasks requiring deep and reliable reasoning due to issues like hallucinations, limiting their applicability in critical scenarios. This paper introduces a rigorously designed framework for creating LLMs that effectively anchor knowledge and employ a closed-loop reasoning process, enhancing their capability for in-depth analysis. We dissect the framework to illustrate the contribution of each component to the LLMs' performance, offering a theoretical assurance of improved reasoning under well-defined assumptions.


title: Measurement of the jet mass and angularities in Pb-Pb collisions at 5.02 TeV with ALICE

abstract: Jet substructure observables provide powerful tools to search for new physics and test theoretical descriptions of perturbative and non-perturbative processes in QCD. In heavy-ion collisions, jet substructure observables are used to elucidate the structure and dynamics of the quark-gluon plasma. Jet mass is one such observable, which probes the virtuality of hard-scattered partons and their modified fragmentation. Additionally, generalized jet angularities provide a powerful tool for differential measurements of the jet shower and its modification, as two parameters vary the weight of the jet constituents' relative angle and $p_\mathrm{T}$. Previous measurements of the jet mass and jet angularities have shown conflicting differences in comparison with models. To clarify these results, we present new measurements of the jet mass and jet angularities using an identical jet sample. The high-precision tracking system of ALICE enables these measurements over a broad range in $p_\mathrm{T}$, with low-$p_\mathrm{T}$ reach that is unique at the LHC. We report the generalized jet mass and jet angularities using charged-particle tracks in Pb-Pb collisions at $\sqrt{s_\mathrm{NN}} = 5.02$ TeV. Various jet angularity parameters are investigated for the jet resolution parameter $R = 0.2$. Results are compared to pp collisions and theoretical models.


title: Integrable Flows on Null Curves in the Anti-de Sitter 3-Space

abstract: We formulate integrable flows related to the KdV hierarchy on null curves in the anti-de Sitter 3-space (${\rm AdS}$). Exploiting the specific properties of the geometry of ${\rm AdS}$, we analyze their interrelationships with Pinkall flows in centro-affine geometry. We show that closed stationary solutions of the lower order flow can be explicitly found in terms of periodic solutions of a Lam\'e equation. In addition, we study the evolution of non-stationary curves arising from a 3-parameter family of periodic solutions of the KdV equation.


title: Estimating Uncertainty in Landslide Segmentation Models

abstract: Landslides are a recurring, widespread hazard. Preparation and mitigation efforts can be aided by a high-quality, large-scale dataset that covers global at-risk areas. Such a dataset currently does not exist and is impossible to construct manually. Recent automated efforts focus on deep learning models for landslide segmentation (pixel labeling) from satellite imagery. However, it is also important to characterize the uncertainty or confidence levels of such segmentations. Accurate and robust uncertainty estimates can enable low-cost (in terms of manual labor) oversight of auto-generated landslide databases to resolve errors, identify hard negative examples, and increase the size of labeled training data. In this paper, we evaluate several methods for assessing pixel-level uncertainty of the segmentation. Three methods that do not require architectural changes were compared, including Pre-Threshold activations, Monte-Carlo Dropout and Test-Time Augmentation -- a method that measures the robustness of predictions in the face of data augmentation. Experimentally, the quality of the latter method was consistently higher than the others across a variety of models and metrics in our dataset.


title: Investigating the effect of Na$^+$, Ca$^{2+}$, and Cu$^{2+}$ sorption in montmorillonite using density functional theory and molecular dynamics simulations

abstract: Montmorillonite (MMT) is the main mineral component of bentonite clay, which is currently proposed as a sealing material for deep geological repositories (DGRs) of used nuclear fuel. If copper-cladded used fuel containers corrode, Cu$^{2+}$ ions could potentially be adsorbed by the surrounding MMT. In such a scenario, ion exchange between Na$^+$ and Cu$^{2+}$ is expected. In this study, a multiscale approach that combines electronic density functional theory (DFT) and force-field-based molecular dynamics (MD) simulations was employed to study the effect of introducing Cu$^{2+}$ ions to MMT. An extension to the ClayFF force field is parametrized and validated using DFT, to model how Cu$^{2+}$ interact with clay systems. MD simulations were performed to calculate the interaction free energies between MMT platelets containing Cu$^{2+}$ ions (Cu-MMT) and compared them to inter-platelet interaction energies in Na-MMT and Ca-MMT. Our calculations suggest Cu-MMT possesses swelling pressures intermediate between those of Ca-MMT and Na-MMT. Furthermore, our MD simulations suggest Cu$^{2+}$ possesses MMT interlayer mobility similar to that of Ca$^{2+}$.


title: The state of OAI-PMH repositories in Canadian Universities

abstract: This article presents a study of the current state of Universities Institutional Repositories (UIRs) in Canada. UIRs are vital to sharing information and documents, mainly Electronic Thesis and Dissertation (ETDs), and theoretically allow anyone, anywhere, to access the documents contained within the repository. Despite calls for consistent and shareable metadata in these repositories, our literature review shows inconsistencies in UIRs, including incorrect use of metadata fields and the omission of crucial information, rendering the systematic analysis of UIR complex. Nonetheless, we collected the data of 57 Canadian UIRs with the aim of analyzing Canadian data and to assess the quality of its UIRs. This was surprisingly difficult due to the lack of information about the UIRs, and we attempt to ease future collection efforts by organizing vital information which are difficult to find, starting from addresses of UIRs. We furthermore present and analyze the main characteristics of the UIRs we managed to collect, using this dataset to create recommendations for future practitioners.


title: Effect of laser irradiation on the tribological properties of RFsputtered nickel oxide (NiO) thin films

abstract: The present work aims at investigating the effect of laser irradiation on the tribological properties of RF-sputtered NiO thin films deposited on industrial grade aluminum substrate. A semiconductor laser based on Nd:YAG operating at its 4th harmonic wavelength, lambda = 266 nm with varying laser fluence and spot size of about 5 um is irradiated on the NiO film. The localized heating allows for smoothening of the NiO film along with contributions to the changes in the stoichiometry of NiO (reduction of excess oxygen). In particular, the effects of tuning laser fluence and the subsequent tribology tests pertaining to the coefficient of friction variations for tribological tests are discussed.


title: Vashantor: A Large-scale Multilingual Benchmark Dataset for Automated Translation of Bangla Regional Dialects to Bangla Language

abstract: The Bangla linguistic variety is a fascinating mix of regional dialects that adds to the cultural diversity of the Bangla-speaking community. Despite extensive study into translating Bangla to English, English to Bangla, and Banglish to Bangla in the past, there has been a noticeable gap in translating Bangla regional dialects into standard Bangla. In this study, we set out to fill this gap by creating a collection of 32,500 sentences, encompassing Bangla, Banglish, and English, representing five regional Bangla dialects. Our aim is to translate these regional dialects into standard Bangla and detect regions accurately. To achieve this, we proposed models known as mT5 and BanglaT5 for translating regional dialects into standard Bangla. Additionally, we employed mBERT and Bangla-bert-base to determine the specific regions from where these dialects originated. Our experimental results showed the highest BLEU score of 69.06 for Mymensingh regional dialects and the lowest BLEU score of 36.75 for Chittagong regional dialects. We also observed the lowest average word error rate of 0.1548 for Mymensingh regional dialects and the highest of 0.3385 for Chittagong regional dialects. For region detection, we achieved an accuracy of 85.86% for Bangla-bert-base and 84.36% for mBERT. This is the first large-scale investigation of Bangla regional dialects to Bangla machine translation. We believe our findings will not only pave the way for future work on Bangla regional dialects to Bangla machine translation, but will also be useful in solving similar language-related challenges in low-resource language conditions.


title: Goal-Oriented Communications for Remote Inference under Two-Way Delay with Memory

abstract: We study the design of a goal-oriented sampling and scheduling strategy through a channel with highly variable two-way random delay, which can exhibit memory (e.g., Delay and Disruption Tolerant Networks). The objective of the communication is to optimize the performance of remote inference, where an inference algorithm (e.g., a trained neural network) on the receiver side predicts a time-varying target signal using the data samples transmitted by a sensor. Previous formulations to this problem either assumed a channel with IID transmission delay, neglecting feedback delay, or considered the monotonic relation that the performance only gets worse as the input information ages. We show how, with delayed feedback, one can effectively exploit the knowledge about delay memory through an index-based threshold policy. This policy minimizes the expected time-average inference error that can be monotone or non-monotone in age. The index function is expressed in terms of the Age of Information (AoI) on the receiver side and a parameter regarding the distribution of subsequent transmission delay, both of which can readily be tracked.


title: A Model for Multi-Agent Autonomy That Uses Opinion Dynamics and Multi-Objective Behavior Optimization

abstract: This paper reports a new hierarchical architecture for modeling autonomous multi-robot systems (MRSs): a non-linear dynamical opinion process is used to model high-level group choice, and multi-objective behavior optimization is used to model individual decisions. Using previously reported theoretical results, we show it is possible to design the behavior of the MRS by the selection of a relatively small set of parameters. The resulting behavior - both collective actions and individual actions - can be understood intuitively. The approach is entirely decentralized and the communication cost scales by the number of group options, not agents. We demonstrated the effectiveness of this approach using a hypothetical `explore-exploit-migrate' scenario in a two hour field demonstration with eight unmanned surface vessels (USVs). The results from our preliminary field experiment show the collective behavior is robust even with time-varying network topology and agent dropouts.


title: Benchmarking Feature Extractors for Reinforcement Learning-Based Semiconductor Defect Localization

abstract: As semiconductor patterning dimensions shrink, more advanced Scanning Electron Microscopy (SEM) image-based defect inspection techniques are needed. Recently, many Machine Learning (ML)-based approaches have been proposed for defect localization and have shown impressive results. These methods often rely on feature extraction from a full SEM image and possibly a number of regions of interest. In this study, we propose a deep Reinforcement Learning (RL)-based approach to defect localization which iteratively extracts features from increasingly smaller regions of the input image. We compare the results of 18 agents trained with different feature extractors. We discuss the advantages and disadvantages of different feature extractors as well as the RL-based framework in general for semiconductor defect localization.


title: A hybrid pulsed laser deposition approach to grow thin films of chalcogenides

abstract: Vapor-pressure mismatched materials such as transition metal chalcogenides have emerged as electronic, photonic, and quantum materials with scientific and technological importance. However, epitaxial growth of vapor-pressure mismatched materials are challenging due to differences in the reactivity, sticking coefficient, and surface adatom mobility of the mismatched species constituting the material, especially sulfur containing compounds. Here, we report a novel approach to grow chalcogenides - hybrid pulsed laser deposition - wherein an organosulfur precursor is used as a sulfur source in conjunction with pulsed laser deposition to regulate the stoichiometry of the deposited films. Epitaxial or textured thin films of sulfides with variety of structure and chemistry such as alkaline metal chalcogenides, main group chalcogenides, transition metal chalcogenides and chalcogenide perovskites are demonstrated, and structural characterization reveal improvement in thin film crystallinity, and surface and interface roughness compared to the state-of-the-art. The growth method can be broadened to other vapor-pressure mismatched chalcogenides such as selenides and tellurides. Our work opens up opportunities for broader epitaxial growth of chalcogenides, especially sulfide-based thin film technological applications.


title: Toward A Generic Vehicular Cloud Network Architecture: A Case of Virtual Vehicle As A Service

abstract: In recent years, cloud computing has gained more and more popularity. The motivation towards implementing cloud computing in vehicular networks is due to the availability of communication, storage, and computing resources represented by communication, vehicles, roadside units (RSUs), and central servers. These resources can be utilized and provided to vehicles, drivers on the road, travellers, and customers on the internet. Intelligent Transportation System (ITS) applications can utilize vehicular cloud computing to provide efficient real-time services, as well as to improve transportation safety, mobility, and comfort levels for drivers. In this paper, all possible vehicular cloud models are presented. Each vehicular cloud model offers different services. Integrating all vehicular cloud models into one integrated system will provide all services and serve internet users, passengers, and vehicles. Therefore, a generic vehicular cloud model is proposed. After that, a new service called Virtual Vehicle is proposed in vehicular cloud computing. The virtual vehicle is a virtual machine that migrates from one physical vehicle to another. It provides the same services as the physical vehicle according to the consumer's requirements.


title: Klein-Gordon oscillator subject to a Coulomb-type potential in Bonnor-Melvin universe with a cosmological constant

abstract: In this work we study spin-0 particles described by the Klein-Gordon oscillator formalism in a spacetime which structure is determined by a homogeneous magnetic field and a cosmological constant. For this purpose we take into account a framework based on the Bonnor-Melvin solution with the inclusion of the cosmological constant. We write the Klein-Gordon equation and the effect of a scalar potential is also considered.


title: Small and simple systems that favor the arrow of time

abstract: The 2nd law of thermodynamics yields an irreversible increase in entropy until thermal equilibrium is achieved. This irreversible increase is often assumed to require large and complex systems to emerge from the reversible microscopic laws of physics. We test this assumption using simulations and theory of a 1D ring of N Ising spins coupled to an explicit heat bath of N Einstein oscillators. The exact entropy of the spins and bath can be calculated for any N, with dynamics that is readily altered from reversible to irreversible. We find thermal equilibrium behavior in the thermodynamic limit, and in systems as small as N=2, but only if the microscopic dynamics is intrinsically irreversible.


title: Fast Radio Bursts signal high-frequency gravitational waves

abstract: There is growing evidence for high-frequency gravitational waves (HFGWs) ranging from MHz to GHz. Several HFGW detectors have been operating for over a decade, and two GHz events have been reported recently. However, a confirmed detection might take a decade. This essay argues that unexplained observed astrophysical phenomena, like Fast Radio Bursts (FRBs), might provide indirect evidence for HFGWs. In particular, using the Gertsenshtein-Zel$'$dovich effect, we show that our model can explain three key features of FRBs: generate peak-flux up to $1000~{\rm Jy}$, naturally explain the pulse width and the coherent nature of FRBs. In short, our model offers a novel perspective on the indirection detection of HFGWs beyond current detection capabilities. Thus, transient events like FRBs are a rich source for multi-messenger astronomy.


title: On the Hardness of Learning to Stabilize Linear Systems

abstract: Inspired by the work of Tsiamis et al. \cite{tsiamis2022learning}, in this paper we study the statistical hardness of learning to stabilize linear time-invariant systems. Hardness is measured by the number of samples required to achieve a learning task with a given probability. The work in \cite{tsiamis2022learning} shows that there exist system classes that are hard to learn to stabilize with the core reason being the hardness of identification. Here we present a class of systems that can be easy to identify, thanks to a non-degenerate noise process that excites all modes, but the sample complexity of stabilization still increases exponentially with the system dimension. We tie this result to the hardness of co-stabilizability for this class of systems using ideas from robust control.


title: Methodologies for 176Lu-176Hf Analysis of Zircon Grains from the Moon and Beyond

abstract: Zircons are found in extraterrestrial rocks from the Moon, Mars, and some differentiated meteorite parent-bodies. These zircons are rare, often of small size, and have been affected by neutron capture induced by cosmic ray exposure. The application of the 176Lu-176Hf decay system to zircons from planetary bodies such as the Moon can help establish the chronology of large-scale differentiation processes, like the crystallization of the lunar magma ocean. Here, we present methods to measure the isotopic composition of Hf of extraterrestrial zircons dated using ID-TIMS U-Pb after chemical abrasion. We introduce a 2-stage elution scheme to separate Hf from Zr while preserving the unused Zr fraction for future isotopic analysis. The effect of neutron capture is also re-examined using the latest thermal neutron capture cross sections and epithermal resonance integrals. Our tests show that the precision of Hf isotopic analyses is close to what is theoretically attainable. We have tested this method to a limited set of zircon grains from lunar rocks returned by the Apollo missions (lunar soil 14163, fragmental polymict breccia 72275, and clast-rich breccia 14321). The model ages align with previously reported values, but further work is needed to assess the chronology of lunar magma ocean crystallization as only a handful of small zircons (5 zircons from 3 samples) were analyzed, and the precision of the analyses can be improved by measuring more and larger lunar zircon grains.


title: Biarchetype analysis: simultaneous learning of observations and features based on extremes

abstract: We introduce a novel exploratory technique, termed biarchetype analysis, which extends archetype analysis to simultaneously identify archetypes of both observations and features. This innovative unsupervised machine learning tool aims to represent observations and features through instances of pure types, or biarchetypes, which are easily interpretable as they embody mixtures of observations and features. Furthermore, the observations and features are expressed as mixtures of the biarchetypes, which makes the structure of the data easier to understand. We propose an algorithm to solve biarchetype analysis. Although clustering is not the primary aim of this technique, biarchetype analysis is demonstrated to offer significant advantages over biclustering methods, particularly in terms of interpretability. This is attributed to biarchetypes being extreme instances, in contrast to the centroids produced by biclustering, which inherently enhances human comprehension. The application of biarchetype analysis across various machine learning challenges underscores its value, and both the source code and examples are readily accessible in R and Python at https://github.com/aleixalcacer/JA-BIAA.


title: Weighted tree games

abstract: We consider a variation on Maker-Breaker games on graphs or digraphs where the edges have random costs. We assume that Maker wishes to choose the edges of a spanning tree, but wishes to minimise his cost. Meanwhile Breaker wants to make Maker's cost as large as possible.


title: A quantum-assisted master clock in the sky: global synchronization from satellites at sub-nanosecond precision

abstract: This article develops a protocol to synchronize clocks on board a network of satellites equipped with quantum resources. We show that, in such a constellation, satellites reinforce each other's sync capabilities, forming a common clock that is more stable and precise than its constituents. We envision the resulting network as a master clock able to distribute time across the globe, providing the basis for a future quantum global navigation satellite system or a space-based quantum network. As an example of its capabilities, we show that a constellation of 50 satellites equipped with modest quantum resources, and distributed amongst 5 orbits at an altitude of 500 km, allows the synchronization of clocks spread across the globe at sub-nanosecond precision.