title: The influence of film thickness and uniaxial anisotropy on in-plane skyrmions: Numerical investigations of the phase space of chiral magnets

abstract: The equilibrium phase space of magnetic textures in thin-films of cubic chiral ferromagnets, including skyrmions, is explored as a function of in-plane magnetic field strength, film thickness and uniaxial anisotropy. The interplay between these system parameters is found to give rise to a phase space with a rich structure, distinct from that of the nano-stripes that have been previously studied. For certain values of the anisotropy, the range of thicknesses supporting in-plane skyrmions and/or helicoids with an out-of-plane propagation vector is found to be disconnected, suggesting a possible direction for future experiments. We explain how this interesting phase space topology arises due to the geometric confinement of the thin-film system, and identify the optimal parameter ranges for future explorations of novel magnetic textures such as the oblique spiral phase.


title: Complex classical paths in quantum reflections and tunneling

abstract: The real-time propagator of the symmetric Rosen-Morse, also known as the symmetric modified P\"oschl-Teller, barrier is expressed in the Picard-Lefschetz path integral formalism using real and complex classical paths. We explain how the interference pattern in the real-time propagator and energy propagator is organized by caustics and Stoke's phenomena, and list the relevant real and complex classical paths as a function of the initial and final position. We discover the occurrence of singularity crossings, where the analytic continuation of the complex classical path no longer satisfies the boundary value problem and needs to be analytically continued. Moreover, we demonstrate how these singularity crossings play a central role in the real-time description of quantum tunneling.


title: Change Management using Generative Modeling on Digital Twins

abstract: A key challenge faced by small and medium-sized business entities is securely managing software updates and changes. Specifically, with rapidly evolving cybersecurity threats, changes/updates/patches to software systems are necessary to stay ahead of emerging threats and are often mandated by regulators or statutory authorities to counter these. However, security patches/updates require stress testing before they can be released in the production system. Stress testing in production environments is risky and poses security threats. Large businesses usually have a non-production environment where such changes can be made and tested before being released into production. Smaller businesses do not have such facilities. In this work, we show how "digital twins", especially for a mix of IT and IoT environments, can be created on the cloud. These digital twins act as a non-production environment where changes can be applied, and the system can be securely tested before patch release. Additionally, the non-production digital twin can be used to collect system data and run stress tests on the environment, both manually and automatically. In this paper, we show how using a small sample of real data/interactions, Generative Artificial Intelligence (AI) models can be used to generate testing scenarios to check for points of failure.


title: Potentiality of automatic parameter tuning suite available in ACTS track reconstruction software framework

abstract: Particle tracking is among the most sophisticated and complex part of the full event reconstruction chain. A number of reconstruction algorithms work in a sequence to build these trajectories from detector hits. These algorithms use many configuration parameters that need to be fine-tuned to properly account for the detector/experimental setup, the available CPU budget and the desired physics performance. The most popular method to tune these parameters is hand-tuning using brute-force techniques. These techniques can be inefficient and raise issues for the long-term maintainability of such algorithms. The open-source track reconstruction software framework known as "A Common Tracking Framework (ACTS)" offers an alternative solution to these parameter tuning techniques through the use of automatic parameter optimization algorithms. ACTS comes equipped with an auto-tuning suite that provides necessary setup for performing optimization of input parameters belonging to track reconstruction algorithms. The user can choose the tunable parameters in a flexible way and define a cost/benefit function for optimizing the full reconstruction chain. The fast execution speed of ACTS allows the user to run several iterations of optimization within a reasonable time bracket. The performance of these optimizers has been demonstrated on different track reconstruction algorithms such as trajectory seed reconstruction and selection, particle vertex reconstruction and generation of simplified material map, and on different detector geometries such as Generic Detector and Open Data Detector (ODD). We aim to bring this approach to all aspects of trajectory reconstruction by having a more flexible integration of tunable parameters within ACTS.


title: Event Prediction using Case-Based Reasoning over Knowledge Graphs

abstract: Applying link prediction (LP) methods over knowledge graphs (KG) for tasks such as causal event prediction presents an exciting opportunity. However, typical LP models are ill-suited for this task as they are incapable of performing inductive link prediction for new, unseen event entities and they require retraining as knowledge is added or changed in the underlying KG. We introduce a case-based reasoning model, EvCBR, to predict properties about new consequent events based on similar cause-effect events present in the KG. EvCBR uses statistical measures to identify similar events and performs path-based predictions, requiring no training step. To generalize our methods beyond the domain of event prediction, we frame our task as a 2-hop LP task, where the first hop is a causal relation connecting a cause event to a new effect event and the second hop is a property about the new event which we wish to predict. The effectiveness of our method is demonstrated using a novel dataset of newsworthy events with causal relations curated from Wikidata, where EvCBR outperforms baselines including translational-distance-based, GNN-based, and rule-based LP models.


title: DualToken-ViT: Position-aware Efficient Vision Transformer with Dual Token Fusion

abstract: Self-attention-based vision transformers (ViTs) have emerged as a highly competitive architecture in computer vision. Unlike convolutional neural networks (CNNs), ViTs are capable of global information sharing. With the development of various structures of ViTs, ViTs are increasingly advantageous for many vision tasks. However, the quadratic complexity of self-attention renders ViTs computationally intensive, and their lack of inductive biases of locality and translation equivariance demands larger model sizes compared to CNNs to effectively learn visual features. In this paper, we propose a light-weight and efficient vision transformer model called DualToken-ViT that leverages the advantages of CNNs and ViTs. DualToken-ViT effectively fuses the token with local information obtained by convolution-based structure and the token with global information obtained by self-attention-based structure to achieve an efficient attention structure. In addition, we use position-aware global tokens throughout all stages to enrich the global information, which further strengthening the effect of DualToken-ViT. Position-aware global tokens also contain the position information of the image, which makes our model better for vision tasks. We conducted extensive experiments on image classification, object detection and semantic segmentation tasks to demonstrate the effectiveness of DualToken-ViT. On the ImageNet-1K dataset, our models of different scales achieve accuracies of 75.4% and 79.4% with only 0.5G and 1.0G FLOPs, respectively, and our model with 1.0G FLOPs outperforms LightViT-T using global tokens by 0.7%.


title: Principal Stratification with Continuous Post-Treatment Variables: Nonparametric Identification and Semiparametric Estimation

abstract: Post-treatment variables often complicate causal inference. They appear in many scientific problems, including noncompliance, truncation by death, mediation, and surrogate endpoint evaluation. Principal stratification is a strategy to address these challenges by adjusting for the potential values of the post-treatment variables, defined as the principal strata. It allows for characterizing treatment effect heterogeneity across principal strata and unveiling the mechanism of the treatment's impact on the outcome related to post-treatment variables. However, the existing literature has primarily focused on binary post-treatment variables, leaving the case with continuous post-treatment variables largely unexplored. This gap persists due to the complexity of infinitely many principal strata, which present challenges to both the identification and estimation of causal effects. We fill this gap by providing nonparametric identification and semiparametric estimation theory for principal stratification with continuous post-treatment variables. We propose to use working models to approximate the underlying causal effect surfaces and derive the efficient influence functions of the corresponding model parameters. Based on the theory, we construct doubly robust estimators and implement them in an R package.


title: Can LLMs Augment Low-Resource Reading Comprehension Datasets? Opportunities and Challenges

abstract: Large Language Models (LLMs) have demonstrated impressive zero shot performance on a wide range of NLP tasks, demonstrating the ability to reason and apply commonsense. A relevant application is to use them for creating high quality synthetic datasets for downstream tasks. In this work, we probe whether GPT-4 can be used to augment existing extractive reading comprehension datasets. Automating data annotation processes has the potential to save large amounts of time, money and effort that goes into manually labelling datasets. In this paper, we evaluate the performance of GPT-4 as a replacement for human annotators for low resource reading comprehension tasks, by comparing performance after fine tuning, and the cost associated with annotation. This work serves to be the first analysis of LLMs as synthetic data augmenters for QA systems, highlighting the unique opportunities and challenges. Additionally, we release augmented versions of low resource datasets, that will allow the research community to create further benchmarks for evaluation of generated datasets.


title: Crossing singularities in the saddle point approximation

abstract: We describe a new phenomenon in the study of the real-time path integral, where complex classical paths hit singularities of the potential and need to be analytically continued beyond the space for which they solve the boundary value problem. We show that the behavior is universal and central to the problem of quantum tunneling. These analytically continued complex classical paths enrich the study of real-time Feynman path integrals.


title: Synthetic Image Detection: Highlights from the IEEE Video and Image Processing Cup 2022 Student Competition

abstract: The Video and Image Processing (VIP) Cup is a student competition that takes place each year at the IEEE International Conference on Image Processing. The 2022 IEEE VIP Cup asked undergraduate students to develop a system capable of distinguishing pristine images from generated ones. The interest in this topic stems from the incredible advances in the AI-based generation of visual data, with tools that allows the synthesis of highly realistic images and videos. While this opens up a large number of new opportunities, it also undermines the trustworthiness of media content and fosters the spread of disinformation on the internet. Recently there was strong concern about the generation of extremely realistic images by means of editing software that includes the recent technology on diffusion models. In this context, there is a need to develop robust and automatic tools for synthetic image detection.


title: DIOR: Dataset for Indoor-Outdoor Reidentification -- Long Range 3D/2D Skeleton Gait Collection Pipeline, Semi-Automated Gait Keypoint Labeling and Baseline Evaluation Methods

abstract: In recent times, there is an increased interest in the identification and re-identification of people at long distances, such as from rooftop cameras, UAV cameras, street cams, and others. Such recognition needs to go beyond face and use whole-body markers such as gait. However, datasets to train and test such recognition algorithms are not widely prevalent, and fewer are labeled. This paper introduces DIOR -- a framework for data collection, semi-automated annotation, and also provides a dataset with 14 subjects and 1.649 million RGB frames with 3D/2D skeleton gait labels, including 200 thousands frames from a long range camera. Our approach leverages advanced 3D computer vision techniques to attain pixel-level accuracy in indoor settings with motion capture systems. Additionally, for outdoor long-range settings, we remove the dependency on motion capture systems and adopt a low-cost, hybrid 3D computer vision and learning pipeline with only 4 low-cost RGB cameras, successfully achieving precise skeleton labeling on far-away subjects, even when their height is limited to a mere 20-25 pixels within an RGB frame. On publication, we will make our pipeline open for others to use.


title: Arithmetic Branching Law and generic $L$-packets

abstract: Let $G$ be a classical group defined over a local field $F$ of characteristic zero. For any irreducible admissible representation $\pi$ of $G(F)$, which is of Casselman-Wallach type if $F$ is archimedean, we extend the study of spectral decomposition of local descents in [JZ18] for special orthogonal groups over non-archimedean local fields to more general classical groups over any local field $F$. In particular, if $\pi$ has a generic local $L$-parameter, we introduce the spectral first occurrence index $\mathfrak{f}_{\mathfrak{s}}(\pi)$ and the arithmetic first occurrence index $\mathfrak{f}_{\mathfrak{a}}(\pi)$ of $\pi$ and prove in Theorem 1.4 that $\mathfrak{f}_{\mathfrak{s}}(\pi) = \mathfrak{f}_{\mathfrak{a}}(\pi)$. Based on the theory of consecutive descents of enhanced $L$-parameters developed in [JLZ22], we are able to show in Theorem 1.5 that the first descent spectrum consists of all discrete series representations, which determines explicitly the branching decomposition problem by means of the relevant arithmetic data and extends the main result ([JZ18, Theorem 1.7]) to the great generality.


title: The Obata-V\'etois argument and its applications

abstract: We simplify V\'etois' Obata-type argument and use it to identify a closed interval $I_n$, $n \geq 3$, containing zero such that if $a \in I_n$ and $(M^n,g)$ is a closed conformally Einstein manifold with nonnegative scalar curvature and $Q_4 + a\sigma_2$ constant, then it is Einstein. We also relax the scalar curvature assumption to the nonnegativity of the Yamabe constant under a more restrictive assumption on $a$. Our results allow us to compute many Yamabe-type constants and prove sharp Sobolev inequalities on closed Einstein manifolds with nonnegative scalar curvature. In particular, we show that closed locally symmetric Einstein four-manifolds with nonnegative scalar curvature extremize the functional determinant of the conformal Laplacian, partially answering a question of Branson and {\O}rsted.


title: Two-qubit quantum gates with minimal pulse sequences

abstract: Working with trapped atoms at close distance to each other, we show that one can implement entangling gates based on non-independent qubits using a single pulse per qubit, or a single structured pulse. The optimal parameters depend on approximate solutions of Diophantine equations, causing the fidelity to never be exactly perfect, even under ideal conditions, although the errors can be made arbitrarily smaller at the cost of stronger fields. We fully characterize the mechanism by which the gates operate, and show that the main source of error in realistic implementations comes from fluctuations in the peak intensity, which especially damages the fidelity of the gates that use stronger fields. Working with two-pulse sequences, instead of one, enables the use of a plethora of mechanisms and a broad range of optimal parameters to choose from, to achieve high-fidelity gates.


title: Quantum Dicke battery supercharging in the "bound luminocity" state

abstract: Quantum batteries, which are quantum systems to be used for storage and transformation of energy, are attracting research interest recently. A promising candidate for their investigation is the Dicke model, which describes an ensemble of two--level systems interacting with a single--mode electromagnetic wave in a resonator cavity. In order to charge the battery, a coupling between the ensemble of two--level systems and resonator cavity should be turned off at a certain moment of time. This moment of time is chosen in such a way, that the energy gets fully stored in the ensemble of two--level systems. In our previous works we have investigated a ``bound luminosity'' superradiant state of the extended Dicke model and found analytical expressions for dynamics of coherent energy transfer between superradiant condensate and the ensemble of the two--level systems. Here, using our previous results, we have derived analytically the superlinear law for the quantum battery charging power $P\sim N^{3/2}$ as function of the number $N$ of the two--level systems in the battery, and also $N$-dependence for the charging time $t_c\sim N^{-1/2}$. The $N$--exponent $3/2$ of the charging power is in quantitative correspondence with the recent result ${1.541}$ obtained numerically by other authors. The physics of the Dicke quantum battery charging is considered in detail.


title: Exploration of technical debt in start-ups

abstract: Context: Software start-ups are young companies aiming to build and market software-intensive products fast with little resources. Aiming to accelerate time-to-market, start-ups often opt for ad-hoc engineering practices, make shortcuts in product engineering, and accumulate technical debt. Objective: In this paper we explore to what extent precedents, dimensions and outcomes associated with technical debt are prevalent in start-ups. Method: We apply a case survey method to identify aspects of technical debt and contextual information characterizing the engineering context in start-ups. Results: By analyzing responses from 86 start-up cases we found that start-ups accumulate most technical debt in the testing dimension, despite attempts to automate testing. Furthermore, we found that start-up team size and experience is a leading precedent for accumulating technical debt: larger teams face more challenges in keeping the debt under control. Conclusions: This study highlights the necessity to monitor levels of technical debt and to preemptively introduce practices to keep the debt under control. Adding more people to an already difficult to maintain product could amplify other precedents, such as resource shortages, communication issues and negatively affect decisions pertaining to the use of good engineering practices.


title: A comparative data study on dinosaur, bird and human bone attributes -- A supporting study for convergent evolution

abstract: For over 165 million years, dinosaurs reigned on this planet. Their entire existence saw variations in their body size and mass . Understanding the relationship between various attributes such as femur length, breadth; humerus length, breadth; tibia length, breadth and body mass of dinosaurs contributes to our understanding of the Jurassic era and further provides reasoning for bone and body size evolution of modern day descendants of those from the Dinosauria clade. The following work consists of statistical evidence derived from an encyclopedic data set consisting of a wide variety of measurements pertaining to discovered fossils of a particular taxa of dinosaur. Our study establishes linearly regressive correspondence between femur and humerus length and radii. Furthermore, there is also a comparison with terrestrial bird bone lengths, to verify the claim of birds being closest alive species to dinosaurs. An analysis into bone ratios of early humans shows that terrestrial birds are closer to humans than that of dinosaurs. Not only on one hand it challenges the closeness of birds with dinosaurs, but on the other hand it makes a case of convergent evolution between birds and humans, due to their closeness in regressive fits. A correlation between bone ratios of dinosaurs and early humans also advances understanding in the structural and physical distinctions between the two species. Overall, the work contains evaluation of dinosaur skeletons and promotes further exploration and research in the paleontological field to strengthen the conclusions drawn thus far.


title: Rapidash: Efficient Constraint Discovery via Rapid Verification

abstract: Denial Constraint (DC) is a well-established formalism that captures a wide range of integrity constraints commonly encountered, including candidate keys, functional dependencies, and ordering constraints, among others. Given their significance, there has been considerable research interest in achieving fast verification and discovery of exact DCs within the database community. Despite the significant advancements in the field, prior work exhibits notable limitations when confronted with large-scale datasets. The current state-of-the-art exact DC verification algorithm demonstrates a quadratic (worst-case) time complexity relative to the dataset's number of rows. In the context of DC discovery, existing methodologies rely on a two-step algorithm that commences with an expensive data structure-building phase, often requiring hours to complete even for datasets containing only a few million rows. Consequently, users are left without any insights into the DCs that hold on their dataset until this lengthy building phase concludes. In this paper, we introduce Rapidash, a comprehensive framework for DC verification and discovery. Our work makes a dual contribution. First, we establish a connection between orthogonal range search and DC verification. We introduce a novel exact DC verification algorithm that demonstrates near-linear time complexity, representing a theoretical improvement over prior work. Second, we propose an anytime DC discovery algorithm that leverages our novel verification algorithm to gradually provide DCs to users, eliminating the need for the time-intensive building phase observed in prior work. To validate the effectiveness of our algorithms, we conduct extensive evaluations on four large-scale production datasets. Our results reveal that our DC verification algorithm achieves up to 40 times faster performance compared to state-of-the-art approaches.


title: Implementation of digital MemComputing using standard electronic components

abstract: Digital MemComputing machines (DMMs), which employ nonlinear dynamical systems with memory (time non-locality), have proven to be a robust and scalable unconventional computing approach for solving a wide variety of combinatorial optimization problems. However, most of the research so far has focused on the numerical simulations of the equations of motion of DMMs. This inevitably subjects time to discretization, which brings its own (numerical) issues that would be otherwise absent in actual physical systems operating in continuous time. Although hardware realizations of DMMs have been previously suggested, their implementation would require materials and devices that are not so easy to integrate with traditional electronics. Addressing this, our study introduces a novel hardware design for DMMs, utilizing readily available electronic components. This approach not only significantly boosts computational speed compared to current models but also exhibits remarkable robustness against additive noise. Crucially, it circumvents the limitations imposed by numerical noise, ensuring enhanced stability and reliability during extended operations. This paves a new path for tackling increasingly complex problems, leveraging the inherent advantages of DMMs in a more practical and accessible framework.


title: $\texttt{nectarchain}$, the scientific software for the Cherenkov Telescope Array -- NectarCAM

abstract: The NectarCAM is a camera that will be mounted on the Medium-Sized Telescopes of the Cherenkov Telescope Array (CTA) observatory. Along with the hardware integration of the camera, the scientific software, $\texttt{nectarchain}$, is being developed. The software is responsible for transforming the raw data from the camera into analysis-ready calibrated data. In this contribution, we present the structure of the software, which consists of two modules: the calibration pipeline and the data quality check pipeline. The calibration pipeline reduces the data, performs flat fielding, and determines the gain for the analysis. The data quality monitoring pipeline is used to select the data that meets the necessary standards for analysis. Additionally, we discuss the format of the downstream data and the integration of the $\texttt{nectarchain}$ modules in the general software framework of CTA. We also present the necessary tests for validating each part of the code. We conclude by mentioning the prospects for the future of the software.


title: Process Improvement Archaeology: What Led Us Here, and What's Next?

abstract: While in every organization corporate culture and history change over time, intentional efforts to identify performance problems are of particular interest when trying to understand the current state of an organization. The results of past improvement initiatives can shed light on the evolution of an organization and represent, with the advantage of perfect hindsight, a learning opportunity for future process improvements. The opportunity to test this premise occurred in an applied research collaboration with the Swedish Transport Administration, the government agency responsible for the planning, implementation, and maintenance of long-term rail, road, shipping, and aviation infrastructure in Sweden. This article is part of a theme issue on Process Improvement.


title: Decomposing large unitaries into multimode devices of arbitrary size

abstract: Decomposing complex unitary evolution into a series of constituent components is a cornerstone of practical quantum information processing. While the decompostion of an $n\times n$ unitary into a series of $2\times2$ subunitaries is well established (i.e. beamsplitters and phase shifters in linear optics), we show how this decomposition can be generalised into a series of $m\times m$ multimode devices, where $m>2$. If the cost associated with building each $m\times m$ multimode device is less than constructing with $\frac{m(m-1)}{2}$ individual $2\times 2$ devices, we show that the decomposition of large unitaries into $m\times m$ submatrices is is more resource efficient and exhibits a higher tolerance to errors, than its $2\times 2$ counterpart. This allows larger-scale unitaries to be constructed with lower errors, which is necessary for various tasks, not least Boson sampling, the quantum Fourier transform and quantum simulations.


title: Stabilization by rough noise for an epitaxial growth model

abstract: In this article we study a model from epitaxial thin-film growth. It was originally introduced as a phenomenological model of growth in the presence of a Schwoebbel barrier, where diffusing particles on a terrace are not allowed to jump down at the boundary. Nevertheless, we show that the presence of arbitrarily small space-time white noise due to fluctuations in the incoming particles surprisingly eliminates all nonlinear interactions in the model and thus has the potential to stabilize the dynamics and suppress the growth of hills in these models.


title: Folding Rays: a Bimanual Occluded Target Interaction Technique

abstract: As Virtual Reality becomes commonplace in the world, it is important for developers to focus on user interaction with the virtual world. Currently, there are limitations to some selection and navigation techniques that have not yet been completely overcome. Focusing specifically on enhancing ray-casting, we present the advanced technique of folding rays which allows for the selection of occluded targets without any unnecessary physical navigation around a virtual environment. By improving upon current approaches, our technique allows for the selection of these targets without any manipulation of the virtual environment itself using rays that can bend at user-determined points. With their potential to be used in conjunction with teleportation as a virtual navigation technique, folding rays can be used in a variety of scenarios to enhance a user's interactive experience in virtual environments.


title: Active Learning for Multilingual Fingerspelling Corpora

abstract: We apply active learning to help with data scarcity problems in sign languages. In particular, we perform a novel analysis of the effect of pre-training. Since many sign languages are linguistic descendants of French sign language, they share hand configurations, which pre-training can hopefully exploit. We test this hypothesis on American, Chinese, German, and Irish fingerspelling corpora. We do observe a benefit from pre-training, but this may be due to visual rather than linguistic similarities


title: Foundation Metrics for Evaluating Effectiveness of Healthcare Conversations Powered by Generative AI

abstract: Generative Artificial Intelligence is set to revolutionize healthcare delivery by transforming traditional patient care into a more personalized, efficient, and proactive process. Chatbots, serving as interactive conversational models, will probably drive this patient-centered transformation in healthcare. Through the provision of various services, including diagnosis, personalized lifestyle recommendations, and mental health support, the objective is to substantially augment patient health outcomes, all the while mitigating the workload burden on healthcare providers. The life-critical nature of healthcare applications necessitates establishing a unified and comprehensive set of evaluation metrics for conversational models. Existing evaluation metrics proposed for various generic large language models (LLMs) demonstrate a lack of comprehension regarding medical and health concepts and their significance in promoting patients' well-being. Moreover, these metrics neglect pivotal user-centered aspects, including trust-building, ethics, personalization, empathy, user comprehension, and emotional support. The purpose of this paper is to explore state-of-the-art LLM-based evaluation metrics that are specifically applicable to the assessment of interactive conversational models in healthcare. Subsequently, we present an comprehensive set of evaluation metrics designed to thoroughly assess the performance of healthcare chatbots from an end-user perspective. These metrics encompass an evaluation of language processing abilities, impact on real-world clinical tasks, and effectiveness in user-interactive conversations. Finally, we engage in a discussion concerning the challenges associated with defining and implementing these metrics, with particular emphasis on confounding factors such as the target audience, evaluation methods, and prompt techniques involved in the evaluation process.


title: Ensemble Neural Networks for Remaining Useful Life (RUL) Prediction

abstract: A core part of maintenance planning is a monitoring system that provides a good prognosis on health and degradation, often expressed as remaining useful life (RUL). Most of the current data-driven approaches for RUL prediction focus on single-point prediction. These point prediction approaches do not include the probabilistic nature of the failure. The few probabilistic approaches to date either include the aleatoric uncertainty (which originates from the system), or the epistemic uncertainty (which originates from the model parameters), or both simultaneously as a total uncertainty. Here, we propose ensemble neural networks for probabilistic RUL predictions which considers both uncertainties and decouples these two uncertainties. These decoupled uncertainties are vital in knowing and interpreting the confidence of the predictions. This method is tested on NASA's turbofan jet engine CMAPSS data-set. Our results show how these uncertainties can be modeled and how to disentangle the contribution of aleatoric and epistemic uncertainty. Additionally, our approach is evaluated on different metrics and compared against the current state-of-the-art methods.


title: Dicke model semiclassical dynamics in superradiant dipolar phase in the 'bound luminosity' state

abstract: Analytic solution of semiclassical dynamics equations of the Dicke model in a superradiant state is presented. The time dependences of the amplitudes of superradiant bosonic condensate and coherent two-level atomic array in the microwave cavity prove to be expressed via Jacobi elliptic functions of real time and manifest existence of an adiabatic invariant of motion in the strongly coupled system. The periodic beatings of the photonic and atomic coherent state amplitudes are shifted in time revealing an effect of 'bound luminosity', when energy stored in the two-level system during 'darkness' in the cavity is suddenly converted into photonic condensate that 'illuminates' the cavity for half a period, before it plunges into 'darkness' again.


title: A flexible modular all-fiber based photon pair source for quantum key distribution in a network

abstract: Entanglement-based QKD protocols require robust and stable photon pair sources in terms of high heralding efficiencies or photon pair generation rates even under harsh environmental conditions, e.g. when operated in the field. In this paper, we report on a flexible, tunable, alignment-free, all-fiber coupled photon source based on spontaneous parametric down-conversion in periodically poled crystals. It can be operated in continuous-wave and pulsed modes, respectively. Its rack-compatible and modular setup allows a straight forward plug-and-play integration of coding-modules e.g. interferometers to enable various QKD protocols such as phase or phase-time coding. We demonstrate operation as a type-II and a type-0 SPDC stage proving the high flexibility of our source. Furthermore, we demonstrate simultaneous operation of SHG and SPDC in a double-pass configuration within the same nonlinear crystal further simplifying the hardware requirements of our source. To evaluate the conversion efficiencies of our modules, we employ data post-processing to remove artefacts from detector afterpulsing and deadtimes of the detectors. We investigate the source performance for various repetition rates.


title: Near Field Optimization Algorithm for Reconfigurable Intelligent Surface

abstract: Reconfigurable intelligent surface (RIS) is a type of wireless communication technology that uses a reconfigurable surface, such as a wall or building that is able to adjust its properties by an integrated optimization algorithm in order to optimize the signal propagation for a given communication scenario. As a reconfiguration algorithm the multidimensional optimization of the GNU scientific library was analyzed to evaluate the performance of the smart surface in the quality of signal reception. This analysis took place by means of electrodynamic simulations based on the finite difference time domain method. Through these simulations it was possible to observe the efficiency of the algorithm in the reconfiguration of the RIS, managing to focus the electromagnetic waves in a remarkable way towards the point of interest.


title: Dynamic Prediction of Delays in Software Projects using Delay Patterns and Bayesian Modeling

abstract: Modern agile software projects are subject to constant change, making it essential to re-asses overall delay risk throughout the project life cycle. Existing effort estimation models are static and not able to incorporate changes occurring during project execution. In this paper, we propose a dynamic model for continuously predicting overall delay using delay patterns and Bayesian modeling. The model incorporates the context of the project phase and learns from changes in team performance over time. We apply the approach to real-world data from 4,040 epics and 270 teams at ING. An empirical evaluation of our approach and comparison to the state-of-the-art demonstrate significant improvements in predictive accuracy. The dynamic model consistently outperforms static approaches and the state-of-the-art, even during early project phases.


title: A Convex Framework for Confounding Robust Inference

abstract: We study policy evaluation of offline contextual bandits subject to unobserved confounders. Sensitivity analysis methods are commonly used to estimate the policy value under the worst-case confounding over a given uncertainty set. However, existing work often resorts to some coarse relaxation of the uncertainty set for the sake of tractability, leading to overly conservative estimation of the policy value. In this paper, we propose a general estimator that provides a sharp lower bound of the policy value using convex programming. The generality of our estimator enables various extensions such as sensitivity analysis with f-divergence, model selection with cross validation and information criterion, and robust policy learning with the sharp lower bound. Furthermore, our estimation method can be reformulated as an empirical risk minimization problem thanks to the strong duality, which enables us to provide strong theoretical guarantees of the proposed estimator using techniques of the M-estimation.


title: Semisimplification of contragredient Lie algebras

abstract: We describe the structure and different features of Lie algebras in the Verlinde category, obtained as semisimplification of contragredient Lie algebras in characteristic $p$ with respect to the adjoint action of a Chevalley generator. In particular, we construct a root system for these algebras that arises as a parabolic restriction of the known root system for the classical Lie algebra. This gives a lattice grading with simple homogeneous components and a triangular decomposition for the semisimplified Lie algebra. We also obtain a non-degenerate invariant form that behaves well with the lattice grading. As an application, we exhibit concrete new examples of Lie algebras in the Verlinde category.


title: The dynamic hadronization of charm quarks in heavy-ion collisions

abstract: The PYTHIA8/ANGANTYR model for heavy ion collisions was recently updated with a mechanism for \textit{global colour reconnection}. The colour reconnection model used is QCD colour algebra inspired and enhances baryon production due to the formation of string junctions. In this paper, we present updates to the junction formation and string fragmentation mechanisms, connected to heavy quark fragmentation. This allows for the simulation of heavy quark fragmentation, using junction formation, in heavy ion collisions. The framework is validated for proton collisions, and we show results for charm baryon production in proton-lead collisions.


title: On the Initial Boundary Value Problem to the Time-Fractional Wave Equation with Acoustic Boundary Conditions

abstract: This paper is concerned with the study of the well-posedeness for the initial boundary value problem to the time-fractional wave equation with acoustic boundary conditions. The problem is considered in a bounded and connected domain $\Omega \subset {\mathbb{R}^{n}}$, $n \geq 2$, which includes simply connected regions. The boundary of $\Omega$ is made up of two disjoint pieces $\Gamma_{0}$ and $\Gamma_{1}.$ Homogeneous Dirichlet conditions are enforced on $\Gamma_0$, while acoustic boundary conditions are considered on $\Gamma_1$. To establish our main result, we employ the Faedo-Galerkin method and successfully solve a general system of time-fractional ordinary differential equations which extends the scope of the classical Picard-Lindel\"of theorem.


title: Quasimolecular $J_{\rm tet}$=3/2 moments in the cluster Mott insulator GaTa$_4$Se$_8$

abstract: Quasimolecular orbitals in cluster Mott insulators provide a route to tailor exchange interactions, which may yield novel quantum phases of matter. We demonstrate the cluster Mott character of the lacunar spinel GaTa$_4$Se$_8$ using resonant inelastic x-ray scattering (RIXS) at the Ta $L_3$ edge. Electrons are fully delocalized over Ta$_4$ tetrahedra, forming quasimolecular $J_{\rm tet}$=3/2 moments. The modulation of the RIXS intensity as function of the transferred momentum q allows us to determine the cluster wavefunction, which depends on competing intracluster hopping terms that mix states with different character. This mixed wavefunction is decisive for the macroscopic properties since it affects intercluster hopping and exchange interactions and furthermore renormalizes the effective spin-orbit coupling constant. The versatile wavefunction, tunable via intracluster hopping, opens a new perspective on the large family of lacunar spinels and cluster Mott insulators in general.


title: LongDocFACTScore: Evaluating the Factuality of Long Document Abstractive Summarisation

abstract: Maintaining factual consistency is a critical issue in abstractive text summarisation, however, it cannot be assessed by traditional automatic metrics used for evaluating text summarisation, such as ROUGE scoring. Recent efforts have been devoted to developing improved metrics for measuring factual consistency using pre-trained language models, but these metrics have restrictive token limits, and are therefore not suitable for evaluating long document text summarisation. Moreover, there is limited research and resources available for evaluating whether existing automatic evaluation metrics are fit for purpose when applied in long document settings. In this work, we evaluate the efficacy of automatic metrics for assessing the factual consistency of long document text summarisation. We create a human-annotated data set for evaluating automatic factuality metrics, LongSciVerify, which contains fine-grained factual consistency annotations for long document summaries from the scientific domain. We also propose a new evaluation framework, LongDocFACTScore, which is suitable for evaluating long document summarisation. This framework allows metrics to be efficiently extended to any length document and outperforms existing state-of-the-art metrics in its ability to correlate with human measures of factuality when used to evaluate long document summarisation data sets. We make our code and LongSciVerify data set publicly available: https://github.com/jbshp/LongDocFACTScore.


title: The Astronomy Genealogy Project is ten years old: Here are ten ways you can use it

abstract: The Astronomical Genealogy Project (AstroGen) has been underway since January 2013. This project of the Historical Astronomy Division (HAD) of the American Astronomical Society (AAS) has been online since July 2020, courtesy of the AAS. The volunteers of the AstroGen team have systematically searched online directories, mostly at individual university libraries, for astronomy-related doctoral theses equivalent to the modern, research-based Ph.D. We now claim to be 'nearly complete' for 38 countries, although some have not been updated for a year or two or three. The website contains a page for each astronomer and advisor, with links to the persons, universities, institutes, and the theses themselves. More than two-thirds of the theses are online in full, although some require access to a library with a subscription. There is information about nearly 37,000 individuals who have earned astronomy-related doctorates and another 5400 who have supervised them, but may not have earned such degrees themselves. Most of the latter have not yet been evaluated, but probably a majority earned doctorates in other fields, such as physics or geology. We present some of the results of our research and discuss ten ways the reader might make use of the project.


title: Time-Reversal Symmetry Breaking Superconductivity in CaSb$_2$

abstract: CaSb$_2$ is a bulk superconductor and a topological semimetal, making it a great platform for realizing topological superconductivity. In this work, we investigate the superconducting upper and lower critical field anisotropy using magnetic susceptibility, and study the superconducting state using muon spin-relaxation. The temperature dependence of transverse-field relaxation rate can be fitted with a single-gap model or two-gap model. Zero-field relaxation shows little temperature dependence when the muon-spin is parallel to the $c*$-axis, while an increase in relaxation appears below 1 K when the muon-spin is parallel to the $ab$-plane. We conclude an $s+is$ order parameter considering the breaking of time-reversal symmetry (TRS), which originates from competing interband interactions between the three bands of CaSb$_2$. To explain the direction-dependent breaking of TRS we suggest loop currents developing in the plane of distorted square-net of Sb atoms.


title: A Theory of Multimodal Learning

abstract: Human perception of the empirical world involves recognizing the diverse appearances, or 'modalities', of underlying objects. Despite the longstanding consideration of this perspective in philosophy and cognitive science, the study of multimodality remains relatively under-explored within the field of machine learning. Nevertheless, current studies of multimodal machine learning are limited to empirical practices, lacking theoretical foundations beyond heuristic arguments. An intriguing finding from the practice of multimodal learning is that a model trained on multiple modalities can outperform a finely-tuned unimodal model, even on unimodal tasks. This paper provides a theoretical framework that explains this phenomenon, by studying generalization properties of multimodal learning algorithms. We demonstrate that multimodal learning allows for a superior generalization bound compared to unimodal learning, up to a factor of $O(\sqrt{n})$, where $n$ represents the sample size. Such advantage occurs when both connection and heterogeneity exist between the modalities.


title: Harmonic functions on finitely-connected tori

abstract: In this paper, we prove a Logarithmic Conjugation Theorem on finitely-connected tori. The theorem states that a harmonic function can be written as the real part of a function whose derivative is analytic and a finite sum of terms involving the logarithm of the modulus of a modified Weierstrass sigma function. We implement the method using arbitrary precision and use the result to find approximate solutions to the Laplace problem and Steklov eigenvalue problem. Using a posteriori estimation, we show that the solution of the Laplace problem on a torus with a few circular holes has error less than $10^{-100}$ using a few hundred degrees of freedom and the Steklov eigenvalues have similar error.


title: Multimodal Deep Learning for Scientific Imaging Interpretation

abstract: In the domain of scientific imaging, interpreting visual data often demands an intricate combination of human expertise and deep comprehension of the subject materials. This study presents a novel methodology to linguistically emulate and subsequently evaluate human-like interactions with Scanning Electron Microscopy (SEM) images, specifically of glass materials. Leveraging a multimodal deep learning framework, our approach distills insights from both textual and visual data harvested from peer-reviewed articles, further augmented by the capabilities of GPT-4 for refined data synthesis and evaluation. Despite inherent challenges--such as nuanced interpretations and the limited availability of specialized datasets--our model (GlassLLaVA) excels in crafting accurate interpretations, identifying key features, and detecting defects in previously unseen SEM images. Moreover, we introduce versatile evaluation metrics, suitable for an array of scientific imaging applications, which allows for benchmarking against research-grounded answers. Benefiting from the robustness of contemporary Large Language Models, our model adeptly aligns with insights from research papers. This advancement not only underscores considerable progress in bridging the gap between human and machine interpretation in scientific imaging, but also hints at expansive avenues for future research and broader application.


title: Knowledge Base Aware Semantic Communication in Vehicular Networks

abstract: Semantic communication (SemCom) has recently been considered a promising solution for the inevitable crisis of scarce communication resources. This trend stimulates us to explore the potential of applying SemCom to vehicular networks, which normally consume a tremendous amount of resources to achieve stringent requirements on high reliability and low latency. Unfortunately, the unique background knowledge matching mechanism in SemCom makes it challenging to realize efficient vehicle-to-vehicle service provisioning for multiple users at the same time. To this end, this paper identifies and jointly addresses two fundamental problems of knowledge base construction (KBC) and vehicle service pairing (VSP) inherently existing in SemCom-enabled vehicular networks. Concretely, we first derive the knowledge matching based queuing latency specific for semantic data packets, and then formulate a latency-minimization problem subject to several KBC and VSP related reliability constraints. Afterward, a SemCom-empowered Service Supplying Solution (S$^{\text{4}}$) is proposed along with the theoretical analysis of its optimality guarantee. Simulation results demonstrate the superiority of S$^{\text{4}}$ in terms of average queuing latency, semantic data packet throughput, and user knowledge preference satisfaction compared with two different benchmarks.


title: Zilber's skew-field lemma

abstract: We revisit one of Zilber's early results in model-theoretic algebra, viz. definability in Schur's lemma. This takes place in a broader context than the original version from the seventies. The present exposition contains results extracted from more general research in progress with Frank O. Wagner.


title: Impact of architecture on robustness and interpretability of multispectral deep neural networks

abstract: Including information from additional spectral bands (e.g., near-infrared) can improve deep learning model performance for many vision-oriented tasks. There are many possible ways to incorporate this additional information into a deep learning model, but the optimal fusion strategy has not yet been determined and can vary between applications. At one extreme, known as "early fusion," additional bands are stacked as extra channels to obtain an input image with more than three channels. At the other extreme, known as "late fusion," RGB and non-RGB bands are passed through separate branches of a deep learning model and merged immediately before a final classification or segmentation layer. In this work, we characterize the performance of a suite of multispectral deep learning models with different fusion approaches, quantify their relative reliance on different input bands and evaluate their robustness to naturalistic image corruptions affecting one or more input channels.


title: Bayesian optimisation approach to quantify the effect of input parameter uncertainty on predictions of numerical physics simulations

abstract: An understanding of how input parameter uncertainty in the numerical simulation of physical models leads to simulation output uncertainty is a challenging task. Common methods for quantifying output uncertainty, such as performing a grid or random search over the model input space, are computationally intractable for a large number of input parameters, represented by a high-dimensional input space. It is therefore generally unclear as to whether a numerical simulation can reproduce a particular outcome (e.g. a set of experimental results) with a plausible set of model input parameters. Here, we present a method for efficiently searching the input space using Bayesian Optimisation to minimise the difference between the simulation output and a set of experimental results. Our method allows explicit evaluation of the probability that the simulation can reproduce the measured experimental results in the region of input space defined by the uncertainty in each input parameter. We apply this method to the simulation of charge-carrier dynamics in the perovskite semiconductor methyl-ammonium lead iodide MAPbI$_3$ that has attracted attention as a light harvesting material in solar cells. From our analysis we conclude that the formation of large polarons, quasiparticles created by the coupling of excess electrons or holes with ionic vibrations, cannot explain the experimentally observed temperature dependence of electron mobility.


title: Simple Lie rings of Morley rank 4

abstract: We prove the Lie ring equivalent of the Cherlin-Zilber conjecture -- in characteristic 0, for any rank and -- in characteristic not 2, 3 for rank less than or equal to 4. Both are open in the group case.


title: Mechanizing Session-Types using a Structural View: Enforcing Linearity without Linearity

abstract: Session types employ a linear type system that ensures that communication channels cannot be implicitly copied or discarded. As a result, many mechanizations of these systems require modeling channel contexts and carefully ensuring that they treat channels linearly. We demonstrate a technique that localizes linearity conditions as additional predicates embedded within type judgments, which allows us to use structural typing contexts instead of linear ones. This technique is especially relevant when leveraging (weak) higher-order abstract syntax to handle channel mobility and the intricate binding structures that arise in session-typed systems. Following this approach, we mechanize a session-typed system based on classical linear logic and its type preservation proof in the proof assistant Beluga, which uses the logical framework LF as its encoding language. We also prove adequacy for our encoding. This shows the tractability and effectiveness of our approach in modelling substructural systems such as session-typed languages.


title: CRIRES-POP: a library of high resolution spectra in the near-infrared. III. Line identification in the K-giant 10 Leo

abstract: Context: High-resolution spectra in the near-infrared (NIR) are an important tool for the detailed study of stellar atmospheres. The accurate identification of elements and molecules in these spectra can be used to determine chemical abundances and physical conditions in the photosphere of the observed star. Such identifications require precise line positions and strengths of both atomic and molecular features. Aims: This work focusses on the full identification of absorption lines in the NIR spectrum of the K-giant 10 Leo, including previously unidentified lines. The large number and complexity of the observed absorption lines require a deep search for potential spectral signatures to enable an unambiguous assignment to specific elements or molecular species. We aim to improve the published line lists of metals, some of which are determined by model calculations only, and many of which presently lack the completeness and accuracy of line parameters. Methods: The CRIRES-POP project provided high-resolution, high signal-to-noise ratio (S/N) spectra of several bright stars in the 1 to 5 $\mu$m range. For the K-giant 10 Leo, a spectrum corrected for telluric absorption and with precise wavelength calibration is available. This has been analysed by comparison with model spectra and up-to-date line lists. Results: We identified lines of 29 elements and eight molecular species. While the positions of many known lines could be confirmed, about 6% of all lines detected in 10 Leo could not be attributed to any known feature. For CO and its isotopologues, molecular constants could be derived and several additional lines identified. We report major inconsistencies for some prominent lines. In addition, abundances for several key elements in 10 Leo are provided.


title: Generativism: the new hybrid

abstract: Generative Artificial Intelligence (GenAI) in Education has in a few short months moved from being the topic of discussion around speculative education futures to a very concrete reality. It is clear that the future of education, as all industries, is collaboration with GenAI. GenAI attributes make it well suited for social and constructivist approaches to learning that value collaboration, community and the construction of knowledge and skills through active learning. This article presents an approach to designing education in collaboration with GenAI, based on digital education frameworks adapted for this new hybrid of the AI age.


title: Constraints for the X17 boson from compacts objects observations

abstract: We investigate the hypothetical X17 boson on neutron stars and Quark Stars (QSs) using various hadronic Equation of States (EoSs) with phenomenological or microscopic origin. Our aim is to set realistic constraints on its coupling constant and the mass scaling, with respect to causality and various possible upper mass limits and the dimensionless tidal deformability $\Lambda_{1.4}$. In particular, we pay special attention on two main phenomenological parameters of the X17, the one is related to the coupling constant $\mathrm{g}$ that it has with hadrons or quarks and the other with the in-medium effects through the regulator $\mathrm{C}$. Both are very crucial concerning the contribution on the total energy density and pressure. In the case of considering the X17 as a carrier of nuclear force in Relativistic Mean Field (RMF) theory, an admixture into vector boson segment was constrained by 20\% and 30\%. In our investigation, we came to the general conclusion that the effect of the hypothetical X17 both on neutron and QSs constrained mainly by the causality limit, which is a specific property of each EoS. Moreover, it depends on the interplay between the main two parameters that is the interaction coupling $\mathrm{g}$ and the in-medium effects regulator $\mathrm{C}$. These effects are more pronounced in the case of QSs concerning all the bulk properties.


title: Spin Weyl Topological Insulators

abstract: The quantum nature of electron spin is crucial for establishing topological invariants in real materials. Since the spin does not in general commute with the Hamiltonian, some of the topological features of the material can be extracted from its study. In insulating materials, the spin operator induces a projected operator on valence states called the spin valence operator. Its spectrum contains information with regard to the different phases of the spin Chern class. If the spin valence spectrum is gapped, the spin Chern numbers are constant along parallel planes thus defining spin Chern insulating materials. If the spin valence spectrum is not gapped, the changes in the spin Chern numbers occur whenever this spectrum is zero. Materials whose spin valence spectrum is gapless will be denoted spin Weyl topological insulators and their definition together with some of their properties will be presented in this work. The classification of materials from the properties of the spin valence operator provides a characterization that complements the existing list of topological invariants.


title: Exact quantum revivals for the Dirac equation

abstract: In the present work, the results obtained in [1] about the revivals of a relativistic fermion wave function on a torus are considerably enlarged. In fact, all the possible quantum states exhibiting revivals are fully characterized. The revivals are exact, that is, are true revivals without taking any particular limit such as the non relativistic one. The present results are of interest since they generalize the Talbot effect and the revivals of the Schr\"odinger equation to a relativistic situation with non zero mass. This makes the problem nontrivial, as the dispersion relation is modified and is not linear. The present results are obtained by the use of arithmetic tools which are described in certain detail. In addition, several plots of the revivals are presented, which are useful for exemplifying the procedure proposed along the text.


title: Classification of equivariantly $\mathcal{O}_2$-stable amenable actions on nuclear $\mathrm{C}^\ast$-algebras

abstract: Given a second-countable, locally compact group $G$, we consider amenable $G$-actions on separable, stable, nuclear $\mathrm{C}^\ast$-algebras that are isometrically shift-absorbing and tensorially absorb the trivial action on the Cuntz algebra $\mathcal{O}_2$. We show that such actions are classified up to cocycle conjugacy by the induced $G$-action on the primitive ideal space. In the special case when $G$ is exact, we prove a unital version of our classification theorem. For compact groups, we obtain a classification up to conjugacy.


title: Universal graphs with forbidden wheel minors

abstract: Let $W$ be any wheel graph and $\mathcal{G}$ the class of all countable graphs not containing $W$ as a minor. We show that there exists a graph in $\mathcal{G}$ which contains every graph in $\mathcal{G}$ as an induced subgraph.


title: SAVME: Efficient Safety Validation for Autonomous Systems Using Meta-Learning

abstract: Discovering potential failures of an autonomous system is important prior to deployment. Falsification-based methods are often used to assess the safety of such systems, but the cost of running many accurate simulation can be high. The validation can be accelerated by identifying critical failure scenarios for the system under test and by reducing the simulation runtime. We propose a Bayesian approach that integrates meta-learning strategies with a multi-armed bandit framework. Our method involves learning distributions over scenario parameters that are prone to triggering failures in the system under test, as well as a distribution over fidelity settings that enable fast and accurate simulations. In the spirit of meta-learning, we also assess whether the learned fidelity settings distribution facilitates faster learning of the scenario parameter distributions for new scenarios. We showcase our methodology using a cutting-edge 3D driving simulator, incorporating 16 fidelity settings for an autonomous vehicle stack that includes camera and lidar sensors. We evaluate various scenarios based on an autonomous vehicle pre-crash typology. As a result, our approach achieves a significant speedup, up to 18 times faster compared to traditional methods that solely rely on a high-fidelity simulator.


title: Dissecting the Thermal SZ Power Spectrum by Halo Mass and Redshift in SPT-SZ Data and Simulations

abstract: We explore the relationship between the thermal Sunyaev-Zel'dovich (tSZ) power spectrum amplitude and the halo mass and redshift of galaxy clusters in South Pole Telescope (SPT) data, in comparison with three $N$-body simulations combined with semi-analytical gas models of the intra-cluster medium. Specifically, we calculate both the raw and fractional power contribution to the full tSZ power spectrum amplitude at $\ell = 3000$ from clusters as a function of halo mass and redshift. We use nine mass bins in the range $1 \times 10^{14}\ M_\odot\ h^{-1} < M_{500} < 2 \times 10^{15}\ M_\odot\ h^{-1}$, and two redshift bins defined by $0.25 < z < 0.59$ and $0.59 < z < 1.5$. We additionally divide the raw power contribution in each mass bin by the number of clusters in that bin, as a metric for comparison of different gas models. At lower masses, the SPT data prefers a model that includes a mass-dependent bound gas fraction component and relatively high levels of AGN feedback, whereas at higher masses there is a preference for a model with a lower amount of feedback and a complete lack of non-thermal pressure support. The former provides the best fit to the data overall, in regards to all metrics for comparison. Still, discrepancies exist and the data notably exhibits a steep mass-dependence which all of the simulations fail to reproduce. This suggests the need for additional mass- and redshift-dependent adjustments to the gas models of each simulation, or the potential presence of contamination in the data at halo masses below the detection threshold of SPT-SZ. Furthermore, the data does not demonstrate significant redshift evolution in the per-cluster tSZ power spectrum contribution, in contrast to self-similar model predictions.


title: Differentially Private Reward Functions for Markov Decision Processes

abstract: Markov decision processes often seek to maximize a reward function, but onlookers may infer reward functions by observing agents, which can reveal sensitive information. Therefore, in this paper we introduce and compare two methods for privatizing reward functions in policy synthesis for multi-agent Markov decision processes, which generalize Markov decision processes. Reward functions are privatized using differential privacy, a statistical framework for protecting sensitive data. The methods we develop perturb (i) each agent's individual reward function or (ii) the joint reward function shared by all agents. We prove that both of these methods are differentially private and show approach (i) provides better performance. We then develop an algorithm for the numerical computation of the performance loss due to privacy on a case-by-case basis. We also exactly compute the computational complexity of this algorithm in terms of system parameters and show that it is inherently tractable. Numerical simulations are performed on a gridworld example and in waypoint guidance of an autonomous vehicle, and both examples show that privacy induces only negligible performance losses in practice.


title: Single-crystalline YIG flakes with uniaxial in-plane anisotropy and diverse crystallographic orientations

abstract: We study Y3Fe5O12 (YIG) flakes that we produce via mechanical cleaving and exfoliation of YIG single crystals. By characterizing their structural and magnetic properties, we find that these YIG nanoflakes have surfaces oriented along unusual crystallographic axes and uniaxial in-plane magnetic anisotropy due to their shape, both of which are not commonly available in YIG thin films. These physical properties, combined with the possibility of picking up the YIG flakes and stacking them onto flakes of other van der Waals materials or pre-patterned electrodes or waveguides, open unexplored possibilities for magnonics and for the realization of novel YIG-based heterostructures and devices.


title: Emergence of fractal cosmic space from fractional quantum gravity

abstract: Based on Padmanabhan's theory, the spatial expansion of the Universe can be explained by the emergence of space as cosmic time progresses. To further explore this idea, we have developed fractional-fractal Friedmann and Raychaudhuri equations for an isotropic and homogeneous universe. Our analysis has also delved into how Padmanabhan's concept fits into the framework of fractional quantum gravity. Our research shows that a fractal horizon model strongly supports the validity of the emerging Universe paradigm and its connection to horizon thermodynamics. This study indicates early how the emergent gravity perspective might manifest in quantum gravity. By utilizing the fractional-fractal Friedmann and Raychaudhuri equations, we have established that the mainstream cosmology model can be justified without a dark matter component. As a result, the standard $\Lambda$CDM model has been reduced to $\Lambda$-Cold Baryonic Matter, which has significant implications for our understanding of the Universe.


title: Human Following in Mobile Platforms with Person Re-Identification

abstract: Human following is a crucial feature of human-robot interaction, yet it poses numerous challenges to mobile agents in real-world scenarios. Some major hurdles are that the target person may be in a crowd, obstructed by others, or facing away from the agent. To tackle these challenges, we present a novel person re-identification module composed of three parts: a 360-degree visual registration, a neural-based person re-identification using human faces and torsos, and a motion tracker that records and predicts the target person's future position. Our human-following system also addresses other challenges, including identifying fast-moving targets with low latency, searching for targets that move out of the camera's sight, collision avoidance, and adaptively choosing different following mechanisms based on the distance between the target person and the mobile agent. Extensive experiments show that our proposed person re-identification module significantly enhances the human-following feature compared to other baseline variants.


title: Global Uniform Ultimate Boundedness of Semi-Passive Systems Interconnected over Directed Graphs

abstract: We analyse the solutions of networked heterogeneous nonlinear systems. We assume that the closed-loop interconnected systems form a network with an underlying connected directed graph that contains a directed spanning tree. For these systems, we establish global uniform ultimate boundedness of the solutions, under the assumption that each agent's dynamics defines a semi-passive. As a corollary, we also establish global uniform global boundedness of the solutions.


title: HANS, are you clever? Clever Hans Effect Analysis of Neural Systems

abstract: Instruction-tuned Large Language Models (It-LLMs) have been exhibiting outstanding abilities to reason around cognitive states, intentions, and reactions of all people involved, letting humans guide and comprehend day-to-day social interactions effectively. In fact, several multiple-choice questions (MCQ) benchmarks have been proposed to construct solid assessments of the models' abilities. However, earlier works are demonstrating the presence of inherent "order bias" in It-LLMs, posing challenges to the appropriate evaluation. In this paper, we investigate It-LLMs' resilience abilities towards a series of probing tests using four MCQ benchmarks. Introducing adversarial examples, we show a significant performance gap, mainly when varying the order of the choices, which reveals a selection bias and brings into discussion reasoning abilities. Following a correlation between first positions and model choices due to positional bias, we hypothesized the presence of structural heuristics in the decision-making process of the It-LLMs, strengthened by including significant examples in few-shot scenarios. Finally, by using the Chain-of-Thought (CoT) technique, we elicit the model to reason and mitigate the bias by obtaining more robust models.


title: State2Explanation: Concept-Based Explanations to Benefit Agent Learning and User Understanding

abstract: As more non-AI experts use complex AI systems for daily tasks, there has been an increasing effort to develop methods that produce explanations of AI decision making that are understandable by non-AI experts. Towards this effort, leveraging higher-level concepts and producing concept-based explanations have become a popular method. Most concept-based explanations have been developed for classification techniques, and we posit that the few existing methods for sequential decision making are limited in scope. In this work, we first contribute a desiderata for defining concepts in sequential decision making settings. Additionally, inspired by the Protege Effect which states explaining knowledge often reinforces one's self-learning, we explore how concept-based explanations of an RL agent's decision making can in turn improve the agent's learning rate, as well as improve end-user understanding of the agent's decision making. To this end, we contribute a unified framework, State2Explanation (S2E), that involves learning a joint embedding model between state-action pairs and concept-based explanations, and leveraging such learned model to both (1) inform reward shaping during an agent's training, and (2) provide explanations to end-users at deployment for improved task performance. Our experimental validations, in Connect 4 and Lunar Lander, demonstrate the success of S2E in providing a dual-benefit, successfully informing reward shaping and improving agent learning rate, as well as significantly improving end user task performance at deployment time.


title: PrivAgE: A Toolchain for Privacy-Preserving Distributed Aggregation on Edge-Devices

abstract: Valuable insights, such as frequently visited environments in the wake of the COVID-19 pandemic, can oftentimes only be gained by analyzing sensitive data spread across edge-devices like smartphones. To facilitate such an analysis, we present a toolchain called PrivAgE for a distributed, privacy-preserving aggregation of local data by taking the limited resources of edge-devices into account. The distributed aggregation is based on secure summation and simultaneously satisfies the notion of differential privacy. In this way, other parties can neither learn the sensitive data of single clients nor a single client's influence on the final result. We perform an evaluation of the power consumption, the running time and the bandwidth overhead on real as well as simulated devices and demonstrate the flexibility of our toolchain by presenting an extension of the summation of histograms to distributed clustering.


title: Robust Energy Consumption Prediction with a Missing Value-Resilient Metaheuristic-based Neural Network in Mobile App Development

abstract: Energy consumption is a fundamental concern in mobile application development, bearing substantial significance for both developers and end-users. Main objective of this research is to propose a novel neural network-based framework, enhanced by a metaheuristic approach, to achieve robust energy prediction in the context of mobile app development. The metaheuristic approach here aims to achieve two goals: 1) identifying suitable learning algorithms and their corresponding hyperparameters, and 2) determining the optimal number of layers and neurons within each layer. Moreover, due to limitations in accessing certain aspects of a mobile phone, there might be missing data in the data set, and the proposed framework can handle this. In addition, we conducted an optimal algorithm selection strategy, employing 13 base and advanced metaheuristic algorithms, to identify the best algorithm based on accuracy and resistance to missing values. The representation in our proposed metaheuristic algorithm is variable-size, meaning that the length of the candidate solutions changes over time. We compared the algorithms based on the architecture found by each algorithm at different levels of missing values, accuracy, F-measure, and stability analysis. Additionally, we conducted a Wilcoxon signed-rank test for statistical comparison of the results. The extensive experiments show that our proposed approach significantly improves energy consumption prediction. Particularly, the JADE algorithm, a variant of Differential Evolution (DE), DE, and the Covariance Matrix Adaptation Evolution Strategy deliver superior results under various conditions and across different missing value levels.


title: Studying and improving reasoning in humans and machines

abstract: In the present study, we investigate and compare reasoning in large language models (LLM) and humans using a selection of cognitive psychology tools traditionally dedicated to the study of (bounded) rationality. To do so, we presented to human participants and an array of pretrained LLMs new variants of classical cognitive experiments, and cross-compared their performances. Our results showed that most of the included models presented reasoning errors akin to those frequently ascribed to error-prone, heuristic-based human reasoning. Notwithstanding this superficial similarity, an in-depth comparison between humans and LLMs indicated important differences with human-like reasoning, with models limitations disappearing almost entirely in more recent LLMs releases. Moreover, we show that while it is possible to devise strategies to induce better performance, humans and machines are not equally-responsive to the same prompting schemes. We conclude by discussing the epistemological implications and challenges of comparing human and machine behavior for both artificial intelligence and cognitive psychology.


title: Revealing the Origin of Mass through Studies of Hadron Spectra and Structure

abstract: The Higgs boson is responsible for roughly 1% of the visible mass in the Universe. Obviously, therefore, Nature has another, very effective way of generating mass. In working toward identifying the mechanism, contemporary strong interaction theory has arrived at a body of basic predictions, viz. the emergence of a nonzero gluon mass-scale, a process-independent effective charge, and dressed-quarks with constituent-like masses. These three phenomena - the pillars of emergent hadron mass (EHM) - explain the origin of the vast bulk of visible mass in the Universe. Their expressions in hadron observables are manifold. This contribution highlights a few; namely, some of the roles of EHM in building the meson spectrum, producing the leading-twist pion distribution amplitude, and moulding hadron charge and mass distributions.


title: High-Dimensional Controller Tuning through Latent Representations

abstract: In this paper, we propose a method to automatically and efficiently tune high-dimensional vectors of controller parameters. The proposed method first learns a mapping from the high-dimensional controller parameter space to a lower dimensional space using a machine learning-based algorithm. This mapping is then utilized in an actor-critic framework using Bayesian optimization (BO). The proposed approach is applicable to complex systems (such as quadruped robots). In addition, the proposed approach also enables efficient generalization to different control tasks while also reducing the number of evaluations required while tuning the controller parameters. We evaluate our method on a legged locomotion application. We show the efficacy of the algorithm in tuning the high-dimensional controller parameters and also reducing the number of evaluations required for the tuning. Moreover, it is shown that the method is successful in generalizing to new tasks and is also transferable to other robot dynamics.


title: Sharpness-Aware Minimization and the Edge of Stability

abstract: Recent experiments have shown that, often, when training a neural network with gradient descent (GD) with a step size $\eta$, the operator norm of the Hessian of the loss grows until it approximately reaches $2/\eta$, after which it fluctuates around this value. The quantity $2/\eta$ has been called the "edge of stability" based on consideration of a local quadratic approximation of the loss. We perform a similar calculation to arrive at an "edge of stability" for Sharpness-Aware Minimization (SAM), a variant of GD which has been shown to improve its generalization. Unlike the case for GD, the resulting SAM-edge depends on the norm of the gradient. Using three deep learning training tasks, we see empirically that SAM operates on the edge of stability identified by this analysis.


title: Supper Bassian and Nearly Generalized Bassian Abelian Groups

abstract: In connection to two recent publications of ours in Arch. Math. Basel (2021) and Acta Math. Hung. (2022), respectively, and in regard to the results obtained in Arch. Math. Basel (2012), we have the motivation to study the near property of both Bassian and generalized Bassian groups. Concretely, we prove that if an arbitrary reduced group has the property that all of its proper subgroups are generalized Bassian, then it is also generalized Bassian itself, that is, if G is an arbitrary nearly generalized Bassian group, then either G is a quasi-cyclic group or G is generalized Bassian of finite torsion-free rank. Moreover, we show that there is a complete description of the so-called super Bassian groups, that are those groups whose epimorphic images are all Basian, and give their full characterization. Also, we establish that the hereditary property of Bassian groups gives nothing new as it coincides with the ordinary Bassian property.


title: Bayesian improved cross entropy method with categorical mixture models

abstract: We employ the Bayesian improved cross entropy (BiCE) method for rare event estimation in static networks and choose the categorical mixture as the parametric family to capture the dependence among network components. At each iteration of the BiCE method, the mixture parameters are updated through the weighted maximum a posteriori (MAP) estimate, which mitigates the overfitting issue of the standard improved cross entropy (iCE) method through a novel balanced prior, and we propose a generalized version of the expectation-maximization (EM) algorithm to approximate this weighted MAP estimate. The resulting importance sampling distribution is proved to be unbiased. For choosing a proper number of components $K$ in the mixture, we compute the Bayesian information criterion (BIC) of each candidate $K$ as a by-product of the generalized EM algorithm. The performance of the proposed method is investigated through a simple illustration, a benchmark study, and a practical application. In all these numerical examples, the BiCE method results in an efficient and accurate estimator that significantly outperforms the standard iCE method and the BiCE method with the independent categorical distribution.


title: Exploring the Impact of Training Data Distribution and Subword Tokenization on Gender Bias in Machine Translation

abstract: We study the effect of tokenization on gender bias in machine translation, an aspect that has been largely overlooked in previous works. Specifically, we focus on the interactions between the frequency of gendered profession names in training data, their representation in the subword tokenizer's vocabulary, and gender bias. We observe that female and non-stereotypical gender inflections of profession names (e.g., Spanish "doctora" for "female doctor") tend to be split into multiple subword tokens. Our results indicate that the imbalance of gender forms in the model's training corpus is a major factor contributing to gender bias and has a greater impact than subword splitting. We show that analyzing subword splits provides good estimates of gender-form imbalance in the training data and can be used even when the corpus is not publicly available. We also demonstrate that fine-tuning just the token embedding layer can decrease the gap in gender prediction accuracy between female and male forms without impairing the translation quality.


title: Quantum Computing Perspective for Electromagnetic Wave Propagation in Cold Magnetized Plasmas

abstract: Electromagnetic waves are an inherent part of all plasmas -- laboratory fusion plasmas or astrophysical plasmas. The conventional methods for studying properties of electromagnetic waves rely on discretization of Maxwell equations suitable for implementing on classical, present day, computers. The traditional methodology is not efficient for quantum computing implementation -- a future computational source offering a tantalizing possibility of enormous speed up and a significant reduction in computational cost. This paper addresses two topics relevant to implementing Maxwell equations on a quantum computer. The first is on formulating a quantum Schrodinger representation of Maxwell equations for wave propagation in a cold, inhomogeneous, magnetized plasma. This representation admits unitary, energy preserving, evolution and conveniently lends itself to appropriate discretization for a quantum computer. Riding on the coattails of these results, the second topic is on developing a sequence of unitary operators which form the basis for a qubit lattice algorithm (QLA). The QLA, suitable for quantum computers, can be implemented and tested on existing classical computers for accuracy as well as scaling of computational time with the number of available processors. In order to illustrate the QLA for Maxwell equations, results are presented from a time evolving, full wave simulation of propagation and scattering of an electromagnetic wave packet by non-dispersive dielectric medium localized in space.


title: Post deposition interfacial N\'eel temperature tuning in magnetoelectric B:Cr2O3

abstract: Boron (B) alloying transforms the magnetoelectric antiferromagnet Cr2O3 into a multifunctional single-phase material which enables electric field driven {\pi}/2 rotation of the N\'eel vector. Nonvolatile, voltage-controlled N\'eel vector rotation is a much-desired material property in the context of antiferromagnetic spintronics enabling ultra-low power, ultra-fast, nonvolatile memory, and logic device applications. N\'eel vector rotation is detected with the help of heavy metal (Pt) Hall-bars in proximity of pulsed laser deposited B:Cr2O3 films. To facilitate operation of B:Cr2O3-based devices in CMOS environments, the N\'eel temperature, TN, of the functional film must be tunable to values significantly above room temperature. Cold neutron depth profiling and x-ray photoemission spectroscopy depth profiling reveal thermally activated B-accumulation at the B:Cr2O3/ vacuum interface in thin films deposited on Al2O3 substrates. We attribute the B-enrichment to surface segregation. Magnetotransport data confirm B-accumulation at the interface within a layer of about 50 nm thick where the device properties reside. Here TN enhances from 334 K prior to annealing, to 477 K after annealing for several hours. Scaling analysis determines TN as a function of the annealing temperature. Stability of post-annealing device properties is evident from reproducible N\'eel vector rotation at 370 K performed over the course of weeks.


title: Evidential uncertainty sampling for active learning

abstract: Recent studies in active learning, particularly in uncertainty sampling, have focused on the decomposition of model uncertainty into reducible and irreducible uncertainties. In this paper, the aim is to simplify the computational process while eliminating the dependence on observations. Crucially, the inherent uncertainty in the labels is considered, the uncertainty of the oracles. Two strategies are proposed, sampling by Klir uncertainty, which tackles the exploration-exploitation dilemma, and sampling by evidential epistemic uncertainty, which extends the concept of reducible uncertainty within the evidential framework, both using the theory of belief functions. Experimental results in active learning demonstrate that our proposed method can outperform uncertainty sampling.


title: Six-Vertex Model and Random Matrix Distributions

abstract: We survey the connections between the six-vertex (square ice) model of 2d statistical mechanics and random matrix theory. We highlight the same universal probability distributions appearing on both sides, and also indicate related open questions and conjectures. We present full proofs of two asymptotic theorems for the six-vertex model: in the first one the Gaussian Unitary Ensemble and GUE-corners process appear; the second one leads to the Tracy-Widom distribution $F_2$. While both results are not new, we found shorter transparent proofs for this text. On our way we introduce the key tools in the study of the six-vertex model, including the Yang-Baxter equation and the Izergin-Korepin formula.


title: Optical Photon Simulation with Mitsuba3

abstract: Optical photon propagation is an embarrassingly parallel operation, well suited to acceleration on GPU devices. Rendering of images employs similar techniques -- for this reason, a pipeline to offload optical photon propagation from Geant4 to the industry-standard open-source renderer Mitsuba3 has been devised. With the creation of a dedicated plugin for single point multi-source emission, we find a photon propagation rate of $2\times10^{5}$ photons per second per CPU thread using LLVM and $1.2\times10^{6}$ photons per second per GPU using CUDA. This represents a speed-up of 70 on CPU and 400 on GPU over Geant4 and is competitive with other similar applications. The potential for further applications is discussed.


title: Ferromagnetic quantum critical point in a locally noncentrosymmetric and nonsymmorphic Kondo metal

abstract: Quantum critical points (QCPs), zero-temperature phase transitions, are windows to fundamental quantum-mechanical phenomena associated with universal behaviour and can provide parallels to the physics of black holes. Magnetic QCPs have been extensively investigated in the vicinity of antiferromagnetic order. However, QCPs are rare in metallic ferromagnets due to the coupling of the order parameter to electronic soft modes [1,2]. Recently, antisymmetric spin-orbit coupling in noncentrosymmetric systems was suggested to protect ferromagnetic QCPs [3]. Nonetheless, multiple centrosymmetric materials host FM QCPs, suggesting a more general mechanism behind their protection. In this context, CeSi$_{2-\delta}$, a dense Kondo lattice crystallising in a centrosymmetric structure, exhibits ferromagnetic order when Si is replaced with Ag. We report that the Ag-substitution controls the strength of the Kondo coupling, leading to a transition between paramagnetic and ferromagnetic Kondo phases. Remarkably, a ferromagnetic QCP accompanied by concurrent strange-metal behaviour emerges. Herein, we suggest that, despite the centrosymmetric structure, spin-orbit coupling arising from the local noncentrosymmetric structure, in combination with nonsymmorphic symmetry, can protect ferromagnetic QCPs. Our findings present a unique example of Kondo coupling-driven ferromagnetic QCP through chemical doping and offer a general guideline for discovering new ferromagnetic QCPs.


title: Study on the sensitivity of the Higgs boson couplings in photon-photon collision at CLIC and muon collider

abstract: In a model-independent way, we explore the potential of photon-induced interactions with the process $\gamma^* \gamma^* \rightarrow ZZ$ to investigate CP-conserving and CP-violating dimension-six operators of Higgs-gauge boson couplings using the Standard Model Effective Field Theory (SMEFT). The existence of anomalous $H\gamma\gamma$ and $HZZ$ couplings is discussed at 3 TeV Compact Linear Collider (CLIC) and 10 TeV Muon Collider (MuC) with integrated luminosities of 5 and 10 ab$^{-1}$, respectively. All signal and relevant background events are generated in MadGraph and passed through PYTHIA for parton showering and hadronization. The detector effects are evaluated using CLIC and MuC detector cards tuned in Delphes. We report the 95% confidence level limits on the Wilson coefficients $\overline{c}_\gamma$, $\overline{c}_{HB}$, $\overline{c}_{HW}$, $\widetilde{c}_\gamma$, $\widetilde{c}_{HB}$, and $\widetilde{c}_{HW}$ and compare them with the experimental and phenomenological limits.


title: CodePlan: Repository-level Coding using LLMs and Planning

abstract: Software engineering activities such as package migration, fixing errors reports from static analysis or testing, and adding type annotations or other specifications to a codebase, involve pervasively editing the entire repository of code. We formulate these activities as repository-level coding tasks. Recent tools like GitHub Copilot, which are powered by Large Language Models (LLMs), have succeeded in offering high-quality solutions to localized coding problems. Repository-level coding tasks are more involved and cannot be solved directly using LLMs, since code within a repository is inter-dependent and the entire repository may be too large to fit into the prompt. We frame repository-level coding as a planning problem and present a task-agnostic framework, called CodePlan to solve it. CodePlan synthesizes a multi-step chain of edits (plan), where each step results in a call to an LLM on a code location with context derived from the entire repository, previous code changes and task-specific instructions. CodePlan is based on a novel combination of an incremental dependency analysis, a change may-impact analysis and an adaptive planning algorithm. We evaluate the effectiveness of CodePlan on two repository-level tasks: package migration (C#) and temporal code edits (Python). Each task is evaluated on multiple code repositories, each of which requires inter-dependent changes to many files (between 2-97 files). Coding tasks of this level of complexity have not been automated using LLMs before. Our results show that CodePlan has better match with the ground truth compared to baselines. CodePlan is able to get 5/6 repositories to pass the validity checks (e.g., to build without errors and make correct code edits) whereas the baselines (without planning but with the same type of contextual information as CodePlan) cannot get any of the repositories to pass them.


title: User-Level Differential Privacy With Few Examples Per User

abstract: Previous work on user-level differential privacy (DP) [Ghazi et al. NeurIPS 2021, Bun et al. STOC 2023] obtained generic algorithms that work for various learning tasks. However, their focus was on the example-rich regime, where the users have so many examples that each user could themselves solve the problem. In this work we consider the example-scarce regime, where each user has only a few examples, and obtain the following results: 1. For approximate-DP, we give a generic transformation of any item-level DP algorithm to a user-level DP algorithm. Roughly speaking, the latter gives a (multiplicative) savings of $O_{\varepsilon,\delta}(\sqrt{m})$ in terms of the number of users required for achieving the same utility, where $m$ is the number of examples per user. This algorithm, while recovering most known bounds for specific problems, also gives new bounds, e.g., for PAC learning. 2. For pure-DP, we present a simple technique for adapting the exponential mechanism [McSherry, Talwar FOCS 2007] to the user-level setting. This gives new bounds for a variety of tasks, such as private PAC learning, hypothesis selection, and distribution learning. For some of these problems, we show that our bounds are near-optimal.


title: Knowledge Graph Embedding: An Overview

abstract: Many mathematical models have been leveraged to design embeddings for representing Knowledge Graph (KG) entities and relations for link prediction and many downstream tasks. These mathematically-inspired models are not only highly scalable for inference in large KGs, but also have many explainable advantages in modeling different relation patterns that can be validated through both formal proofs and empirical results. In this paper, we make a comprehensive overview of the current state of research in KG completion. In particular, we focus on two main branches of KG embedding (KGE) design: 1) distance-based methods and 2) semantic matching-based methods. We discover the connections between recently proposed models and present an underlying trend that might help researchers invent novel and more effective models. Next, we delve into CompoundE and CompoundE3D, which draw inspiration from 2D and 3D affine operations, respectively. They encompass a broad spectrum of techniques including distance-based and semantic-based methods. We will also discuss an emerging approach for KG completion which leverages pre-trained language models (PLMs) and textual descriptions of entities and relations and offer insights into the integration of KGE embedding methods with PLMs for KG completion.


title: Secure Degree of Freedom of Wireless Networks Using Collaborative Pilots

abstract: A wireless network of full-duplex nodes/users, using anti-eavesdropping channel estimation (ANECE) based on collaborative pilots, can yield a positive secure degree-of-freedom (SDoF) regardless of the number of antennas an eavesdropper may have. This paper presents novel results on SDoF of ANECE by analyzing secret-key capacity (SKC) of each pair of nodes in a network of multiple collaborative nodes per channel coherence period. Each transmission session of ANECE has two phases: phase 1 is used for pilots, and phase 2 is used for random symbols. This results in two parts of SDoF of ANECE. Both lower and upper bounds on the SDoF of ANECE for any number of users are shown, and the conditions for the two bounds to meet are given. This leads to important discoveries, including: a) The phase-1 SDoF is the same for both multi-user ANECE and pair-wise ANECE while the former may require only a fraction of the number of time slots needed by the latter; b) For a three-user network, the phase-2 SDoF of all-user ANECE is generally larger than that of pair-wise ANECE; c) For a two-user network, a modified ANECE deploying square-shaped nonsingular pilot matrices yields a higher total SDoF than the original ANECE. The multi-user ANECE and the modified two-user ANECE shown in this paper appear to be the best full-duplex schemes known today in terms of SDoF subject to each node using a given number of antennas for both transmitting and receiving.