title: Continuous-time control synthesis under nested signal temporal logic specifications

abstract: In this work, we propose a novel approach for the continuous-time control synthesis of nonlinear systems under nested signal temporal logic (STL) specifications. While the majority of existing literature focuses on control synthesis for STL specifications without nested temporal operators, addressing nested temporal operators poses a notably more challenging scenario and requires new theoretical advancements. Our approach hinges on the concepts of signal temporal logic tree (sTLT) and control barrier function (CBF). Specifically, we detail the construction of an sTLT from a given STL formula and a continuous-time dynamical system, the sTLT semantics (i.e., satisfaction condition), and the equivalence or under-approximation relation between sTLT and STL. Leveraging the fact that the satisfaction condition of an sTLT is essentially keeping the state within certain sets during certain time intervals, it provides explicit guidelines for the CBF design. The resulting controller is obtained through the utilization of an online CBF-based program coupled with an event-triggered scheme for online updating the activation time interval of each CBF, with which the correctness of the system behavior can be established by construction. We demonstrate the efficacy of the proposed method for single-integrator and unicycle models under nested STL formulas.


title: Defending Against Alignment-Breaking Attacks via Robustly Aligned LLM

abstract: Recently, Large Language Models (LLMs) have made significant advancements and are now widely used across various domains. Unfortunately, there has been a rising concern that LLMs can be misused to generate harmful or malicious content. Though a line of research has focused on aligning LLMs with human values and preventing them from producing inappropriate content, such alignments are usually vulnerable and can be bypassed by alignment-breaking attacks via adversarially optimized or handcrafted jailbreaking prompts. In this work, we introduce a Robustly Aligned LLM (RA-LLM) to defend against potential alignment-breaking attacks. RA-LLM can be directly constructed upon an existing aligned LLM with a robust alignment checking function, without requiring any expensive retraining or fine-tuning process of the original LLM. Furthermore, we also provide a theoretical analysis for RA-LLM to verify its effectiveness in defending against alignment-breaking attacks. Through real-world experiments on open-source large language models, we demonstrate that RA-LLM can successfully defend against both state-of-the-art adversarial prompts and popular handcrafted jailbreaking prompts by reducing their attack success rates from nearly 100% to around 10% or less.


title: Corporate Credit Rating: A Survey

abstract: Corporate credit rating (CCR) plays a very important role in the process of contemporary economic and social development. How to use credit rating methods for enterprises has always been a problem worthy of discussion. Through reading and studying the relevant literature at home and abroad, this paper makes a systematic survey of CCR. This paper combs the context of the development of CCR methods from the three levels: statistical models, machine learning models and neural network models, summarizes the common databases of CCR, and deeply compares the advantages and disadvantages of the models. Finally, this paper summarizes the problems existing in the current research and prospects the future of CCR. Compared with the existing review of CCR, this paper expounds and analyzes the progress of neural network model in this field in recent years.


title: Training neural mapping schemes for satellite altimetry with simulation data

abstract: Satellite altimetry combined with data assimilation and optimal interpolation schemes have deeply renewed our ability to monitor sea surface dynamics. Recently, deep learning (DL) schemes have emerged as appealing solutions to address space-time interpolation problems. The scarcity of real altimetry dataset, in terms of space-time coverage of the sea surface, however impedes the training of state-of-the-art neural schemes on real-world case-studies. Here, we leverage both simulations of ocean dynamics and satellite altimeters to train simulation-based neural mapping schemes for the sea surface height and demonstrate their performance for real altimetry datasets. We analyze further how the ocean simulation dataset used during the training phase impacts this performance. This experimental analysis covers both the resolution from eddy-present configurations to eddy-rich ones, forced simulations vs. reanalyses using data assimilation and tide-free vs. tide-resolving simulations. Our benchmarking framework focuses on a Gulf Stream region for a realistic 5-altimeter constellation using NEMO ocean simulations and 4DVarNet mapping schemes. All simulation-based 4DVarNets outperform the operational observation-driven and reanalysis products, namely DUACS and GLORYS. The more realistic the ocean simulation dataset used during the training phase, the better the mapping. The best 4DVarNet mapping was trained from an eddy-rich and tide-free simulation datasets. It improves the resolved longitudinal scale from 151 kilometers for DUACS and 241 kilometers for GLORYS to 98 kilometers and reduces the root mean squared error (RMSE) by 23% and 61%. These results open research avenues for new synergies between ocean modelling and ocean observation using learning-based approaches.


title: To build or not to build -- A queueing-based approach to timetable independent railway junction infrastructure dimensioning

abstract: Many infrastructure managers have the goal to increase the capacity of their railway infrastructure due to an increasing demand. While methods for performance calculations of railway line infrastructure are already well established, the determination of railway junction capacity remains a challenge. This work utilizes the concept of queueing theory to develop a method for the capacity calculation of railway junctions, solely depending on their infrastructure layout along with arrival and service rates. The implementation of the introduced approach is based on advanced model-checking techniques. It can be used to decide which infrastructure layout to build, i.e. whether an overpass for the analysed railway junction is needed. The developed method hence addresses the need for fast and reliable timetable independent junction evaluation in the long-term railway capacity calculation landscape.


title: Oil Spill Risk Analysis For The NEOM Shoreline

abstract: A risk analysis is conducted considering several release sources located around the NEOM shoreline. The sources are selected close to the coast and in neighboring regions of high marine traffic. The evolution of oil spills released by these sources is simulated using the MOHID model, driven by validated, high-resolution met-ocean fields of the Red Sea. For each source, simulations are conducted over a 4-week period, starting from first, tenth and twentieth days of each month, covering five consecutive years. A total of 48 simulations are thus conducted for each source location, adequately reflecting the variability of met-ocean conditions in the region. The risk associated with each source is described in terms of amount of oil beached, and by the elapsed time required for the spilled oil to reach the NEOM coast, extending from the Gulf of Aqaba in the North to Duba in the South. A finer analysis is performed by segmenting the NEOM shoreline, based on important coastal development and installation sites. For each subregion, source and release event considered, a histogram of the amount of volume beached is generated, also classifying individual events in terms of the corresponding arrival times. In addition, for each subregion considered, an inverse analysis is conducted to identify regions of dependence of the cumulative risk, estimated using the collection of all sources and events considered. The transport of oil around the NEOM shorelines is promoted by chaotic circulations and northwest winds in summer, and a dominant cyclonic eddy in winter. Hence, spills originating from release sources located close to the NEOM shorelines are characterized by large monthly variations in arrival times, ranging from less than a week to more than two weeks. Large variations in the volume fraction of beached oil, ranging from less then 50\% to more than 80% are reported.


title: Limited Communications Distributed Optimization via Deep Unfolded Distributed ADMM

abstract: Distributed optimization is a fundamental framework for collaborative inference and decision making in decentralized multi-agent systems. The operation is modeled as the joint minimization of a shared objective which typically depends on observations gathered locally by each agent. Distributed optimization algorithms, such as the common D-ADMM, tackle this task by iteratively combining local computations and message exchanges. One of the main challenges associated with distributed optimization, and particularly with D-ADMM, is that it requires a large number of communications, i.e., messages exchanged between the agents, to reach consensus. This can make D-ADMM costly in power, latency, and channel resources. In this work we propose unfolded D-ADMM, which follows the emerging deep unfolding methodology to enable D-ADMM to operate reliably with a predefined and small number of messages exchanged by each agent. Unfolded D-ADMM fully preserves the operation of D-ADMM, while leveraging data to tune the hyperparameters of each iteration of the algorithm. These hyperparameters can either be agent-specific, aiming at achieving the best performance within a fixed number of iterations over a given network, or shared among the agents, allowing to learn to distributedly optimize over different networks. For both settings, our unfolded D-ADMM operates with limited communications, while preserving the interpretability and flexibility of the original D-ADMM algorithm. We specialize unfolded D-ADMM for two representative settings: a distributed estimation task, considering a sparse recovery setup, and a distributed learning scenario, where multiple agents collaborate in learning a machine learning model. Our numerical results demonstrate that the proposed approach dramatically reduces the number of communications utilized by D-ADMM, without compromising on its performance.


title: Quantum optics in MATLAB

abstract: We provide a MATLAB numerical guide at the beginner level to support students starting their research careers in theoretical quantum optics and related areas. These resources are also valuable for undergraduate and graduate students working on semester projects in similar fields.


title: PopBERT. Detecting populism and its host ideologies in the German Bundestag

abstract: The rise of populism concerns many political scientists and practitioners, yet the detection of its underlying language remains fragmentary. This paper aims to provide a reliable, valid, and scalable approach to measure populist stances. For that purpose, we created an annotated dataset based on parliamentary speeches of the German Bundestag (2013 to 2021). Following the ideational definition of populism, we label moralizing references to the virtuous people or the corrupt elite as core dimensions of populist language. To identify, in addition, how the thin ideology of populism is thickened, we annotate how populist statements are attached to left-wing or right-wing host ideologies. We then train a transformer-based model (PopBERT) as a multilabel classifier to detect and quantify each dimension. A battery of validation checks reveals that the model has a strong predictive accuracy, provides high qualitative face validity, matches party rankings of expert surveys, and detects out-of-sample text snippets correctly. PopBERT enables dynamic analyses of how German-speaking politicians and parties use populist language as a strategic device. Furthermore, the annotator-level data may also be applied in cross-domain applications or to develop related classifiers.


title: COCO-Counterfactuals: Automatically Constructed Counterfactual Examples for Image-Text Pairs

abstract: Counterfactual examples have proven to be valuable in the field of natural language processing (NLP) for both evaluating and improving the robustness of language models to spurious correlations in datasets. Despite their demonstrated utility for NLP, multimodal counterfactual examples have been relatively unexplored due to the difficulty of creating paired image-text data with minimal counterfactual changes. To address this challenge, we introduce a scalable framework for automatic generation of counterfactual examples using text-to-image diffusion models. We use our framework to create COCO-Counterfactuals, a multimodal counterfactual dataset of paired image and text captions based on the MS-COCO dataset. We validate the quality of COCO-Counterfactuals through human evaluations and show that existing multimodal models are challenged by our counterfactual image-text pairs. Additionally, we demonstrate the usefulness of COCO-Counterfactuals for improving out-of-domain generalization of multimodal vision-language models via training data augmentation.


title: Linear maps preserving parallel matrix pairs with respect to the Ky-Fan $k$-norm

abstract: Two bounded linear operators $A$ and $B$ are parallel with respect to a norm $\|\cdot\|$ if $\|A+\mu B\| = \|A\| + \|B\|$ for some scalar $\mu$ with $|\mu| = 1$. Characterization is obtained for bijective linear maps sending parallel bounded linear operators to parallel bounded linear operators with respect to the Ky-Fan $k$-norms.


title: Prediction of Tropical Pacific Rain Rates with Over-parameterized Neural Networks

abstract: The prediction of tropical rain rates from atmospheric profiles poses significant challenges, mainly due to the heavy-tailed distribution exhibited by tropical rainfall. This study introduces over-parameterized neural networks not only to forecast tropical rain rates, but also to explain their heavy-tailed distribution. The prediction is separately conducted for three rain types (stratiform, deep convective, and shallow convective) observed by the Global Precipitation Measurement satellite radar over the West and East Pacific regions. Atmospheric profiles of humidity, temperature, and zonal and meridional winds from the MERRA-2 reanalysis are considered as features. Although over-parameterized neural networks are well-known for their ``double descent phenomenon," little has been explored about their applicability to climate data and capability of capturing the tail behavior of data. In our results, over-parameterized neural networks accurately predict the rain rate distributions and outperform other machine learning methods. Spatial maps show that over-parameterized neural networks also successfully describe spatial patterns of each rain type across the tropical Pacific. In addition, we assess the feature importance for each over-parameterized neural network to provide insight into the key factors driving the predictions, with low-level humidity and temperature variables being the overall most important. These findings highlight the capability of over-parameterized neural networks in predicting the distribution of the rain rate and explaining extreme values.


title: Optimizing Chance-Constrained Submodular Problems with Variable Uncertainties

abstract: Chance constraints are frequently used to limit the probability of constraint violations in real-world optimization problems where the constraints involve stochastic components. We study chance-constrained submodular optimization problems, which capture a wide range of optimization problems with stochastic constraints. Previous studies considered submodular problems with stochastic knapsack constraints in the case where uncertainties are the same for each item that can be selected. However, uncertainty levels are usually variable with respect to the different stochastic components in real-world scenarios, and rigorous analysis for this setting is missing in the context of submodular optimization. This paper provides the first such analysis for this case, where the weights of items have the same expectation but different dispersion. We present greedy algorithms that can obtain a high-quality solution, i.e., a constant approximation ratio to the given optimal solution from the deterministic setting. In the experiments, we demonstrate that the algorithms perform effectively on several chance-constrained instances of the maximum coverage problem and the influence maximization problem.


title: Domain-Guided Conditional Diffusion Model for Unsupervised Domain Adaptation

abstract: Limited transferability hinders the performance of deep learning models when applied to new application scenarios. Recently, Unsupervised Domain Adaptation (UDA) has achieved significant progress in addressing this issue via learning domain-invariant features. However, the performance of existing UDA methods is constrained by the large domain shift and limited target domain data. To alleviate these issues, we propose DomAin-guided Conditional Diffusion Model (DACDM) to generate high-fidelity and diversity samples for the target domain. In the proposed DACDM, by introducing class information, the labels of generated samples can be controlled, and a domain classifier is further introduced in DACDM to guide the generated samples for the target domain. The generated samples help existing UDA methods transfer from the source domain to the target domain more easily, thus improving the transfer performance. Extensive experiments on various benchmarks demonstrate that DACDM brings a large improvement to the performance of existing UDA methods.


title: Anisotropies of Diffusive Ultra-high Energy Cosmic Rays in $f(R)$ Gravity Theory

abstract: Understanding the anisotropy of ultra high-energy cosmic rays (UHECRs) is crucial for unraveling the origins and propagation mechanisms of these enigmatic particles. In this work, we studied the dipolar anisotropy of UHECRs in the diffusive regime by considering three cosmological models: the standard $\Lambda$CDM model, $f(R)$ gravity power-law model and the Starobinsky model. This work aims to see the role of the $f(R)$ gravity theory in understanding the anisotropy of UHECRs without condoning the standard cosmology. We found that the amplitude of the dipolar anisotropy is sensitive to these cosmological models, with the $f(R)$ power-law model predicting the largest amplitude, while the $\Lambda$CDM model predicting the smallest amplitude at most of the energies in the range considered. The predicted amplitude of the Starobinsky model lies within the range of the $\Lambda$CDM one. This work not only provides a way for exploration of UHECRs anisotropy within different cosmological contexts but also may pave the way for new avenues of research at the intersection of high-energy astrophysics.


title: Diversifying Question Generation over Knowledge Base via External Natural Questions

abstract: Previous methods on knowledge base question generation (KBQG) primarily focus on enhancing the quality of a single generated question. Recognizing the remarkable paraphrasing ability of humans, we contend that diverse texts should convey the same semantics through varied expressions. The above insights make diversifying question generation an intriguing task, where the first challenge is evaluation metrics for diversity. Current metrics inadequately assess the above diversity since they calculate the ratio of unique n-grams in the generated question itself, which leans more towards measuring duplication rather than true diversity. Accordingly, we devise a new diversity evaluation metric, which measures the diversity among top-k generated questions for each instance while ensuring their relevance to the ground truth. Clearly, the second challenge is how to enhance diversifying question generation. To address this challenge, we introduce a dual model framework interwoven by two selection strategies to generate diverse questions leveraging external natural questions. The main idea of our dual framework is to extract more diverse expressions and integrate them into the generation model to enhance diversifying question generation. Extensive experiments on widely used benchmarks for KBQG demonstrate that our proposed approach generates highly diverse questions and improves the performance of question answering tasks.


title: Infeasibility of constructing a special orthogonal matrix for the deterministic remote preparation of arbitrary n-qubit state

abstract: In this paper, we present a polynomial-complexity algorithm to construct a special orthogonal matrix for the deterministic remote state preparation (DRSP) of an arbitrary n-qubit state, and prove that if n>3, such matrices do not exist. Firstly, the construction problem is split into two sub-problems, i.e., finding a solution of a semi-orthogonal matrix and generating all semi-orthogonal matrices. Through giving the definitions and properties of the matching operators, it is proved that the orthogonality of a special matrix is equivalent to the cooperation of multiple matching operators, and then the construction problem is reduced to the problem of solving an XOR linear equation system, which reduces the construction complexity from exponential to polynomial level. Having proved that each semi-orthogonal matrix can be simplified into a unique form, we use the proposed algorithm to confirm that the unique form does not have any solution when n>3, which means it is infeasible to construct such a special orthogonal matrix for the DRSP of an arbitrary n-qubit state.


title: Automata Quest: NCAs as a Video Game Life Mechanic

abstract: We study life over the course of video game history as represented by their mechanics. While there have been some variations depending on genre or "character type", we find that most games converge to a similar representation. We also examine the development of Conway's Game of Life (one of the first zero player games) and related automata that have developed over the years. With this history in mind, we investigate the viability of one popular form of automata, namely Neural Cellular Automata, as a way to more fully express life within video game settings and innovate new game mechanics or gameplay loops.


title: An In-depth Survey of Large Language Model-based Artificial Intelligence Agents

abstract: Due to the powerful capabilities demonstrated by large language model (LLM), there has been a recent surge in efforts to integrate them with AI agents to enhance their performance. In this paper, we have explored the core differences and characteristics between LLM-based AI agents and traditional AI agents. Specifically, we first compare the fundamental characteristics of these two types of agents, clarifying the significant advantages of LLM-based agents in handling natural language, knowledge storage, and reasoning capabilities. Subsequently, we conducted an in-depth analysis of the key components of AI agents, including planning, memory, and tool use. Particularly, for the crucial component of memory, this paper introduced an innovative classification scheme, not only departing from traditional classification methods but also providing a fresh perspective on the design of an AI agent's memory system. We firmly believe that in-depth research and understanding of these core components will lay a solid foundation for the future advancement of AI agent technology. At the end of the paper, we provide directional suggestions for further research in this field, with the hope of offering valuable insights to scholars and researchers in the field.


title: A Unitary Weights Based One-Iteration Quantum Perceptron Algorithm for Non-Ideal Training Sets

abstract: In order to solve the problem of non-ideal training sets (i.e., the less-complete or over-complete sets) and implement one-iteration learning, a novel efficient quantum perceptron algorithm based on unitary weights is proposed, where the singular value decomposition of the total weight matrix from the training set is calculated to make the weight matrix to be unitary. The example validation of quantum gates {H, S, T, CNOT, Toffoli, Fredkin} shows that our algorithm can accurately implement arbitrary quantum gates within one iteration. The performance comparison between our algorithm and other quantum perceptron algorithms demonstrates the advantages of our algorithm in terms of applicability, accuracy, and availability. For further validating the applicability of our algorithm, a quantum composite gate which consists of several basic quantum gates is also illustrated.


title: Design of Novel Loss Functions for Deep Learning in X-ray CT

abstract: Deep learning (DL) shows promise of advantages over conventional signal processing techniques in a variety of imaging applications. The networks' being trained from examples of data rather than explicitly designed allows them to learn signal and noise characteristics to most effectively construct a mapping from corrupted data to higher quality representations. In inverse problems, one has options of applying DL in the domain of the originally captured data, in the transformed domain of the desired final representation, or both. X-ray computed tomography (CT), one of the most valuable tools in medical diagnostics, is already being improved by DL methods. Whether for removal of common quantum noise resulting from the Poisson-distributed photon counts, or for reduction of the ill effects of metal implants on image quality, researchers have begun employing DL widely in CT. The selection of training data is driven quite directly by the corruption on which the focus lies. However, the way in which differences between the target signal and measured data is penalized in training generally follows conventional, pointwise loss functions. This work introduces a creative technique for favoring reconstruction characteristics that are not well described by norms such as mean-squared or mean-absolute error. Particularly in a field such as X-ray CT, where radiologists' subjective preferences in image characteristics are key to acceptance, it may be desirable to penalize differences in DL more creatively. This penalty may be applied in the data domain, here the CT sinogram, or in the reconstructed image. We design loss functions for both shaping and selectively preserving frequency content of the signal.


title: Quantum forgery attacks on COPA,AES-COPA and marble authenticated encryption algorithms

abstract: The classic forgery attacks on COPA, AES-COPA and Marble authenticated encryption algorithms need to query about 2^(n/2) times, and their success probability is not high. To solve this problem, the corresponding quantum forgery attacks on COPA, AES-COPA and Marble authenticated encryption algorithms are presented. In the quantum forgery attacks on COPA and AES-COPA, we use Simon's algorithm to find the period of the tag generation function in COPA and AES-COPA by querying in superposition, and then generate a forged tag for a new message. In the quantum forgery attack on Marble, Simon's algorithm is used to recover the secret parameter L, and the forged tag can be computed with L. Compared with classic forgery attacks on COPA, AES-COPA and Marble, our attack can reduce the number of queries from O(2^(n/2)) to O(n) and improve success probability close to 100%.


title: BSN: First Light Curve Study of the Low Mass Contact Binary V0610 Vir

abstract: Photometric data were used to perform the first light curve analysis of the V0610 Vir binary system. Observations and analysis were done in the form of the Binary Systems of South and North (BSN) Project. We extracted the minima from our observations and compiled the literature, which was few. Therefore, we performed computations using the reference ephemeris and presented a new ephemeris and O-C diagram with a linear fit. Light curve analysis was performed using the PHOEBE Python code and the Markov chain Monte Carlo (MCMC) approach. The assumption of a hot starspot was required due to the asymmetry in the light curve's maxima. The analysis shows that V0610 Vir is a contact binary system with a fillout factor of 0.085, a mass ratio of 0.998, and an inclination of 70.65-deg. The absolute parameters of the system were estimated based on the Gaia DR3 parallax method. The results show that the system is a low-mass contact binary with a total mass lower than 0.8(M_Sun). The location of the stars was shown in the M-L and M-R diagrams.


title: Kinetic rate coefficients for electron-driven collisions with CH$^+$: dissociative recombination and rovibronic excitation

abstract: Cross sections and rate coefficients for rovibronic excitation of the CH$^+$ ion by electron impact and dissociative recombination of CH$^+$ with electrons are evaluated using a theoretical approach combining an R-matrix method and molecular quantum defect theory. The method has been developed and tested, comparing the theoretical results with the data from the recent Cryogenic Storage Ring experiment. The obtained cross sections and rate coefficients evaluated for temperatures from 1~K to 10,000~K could be used for plasma modeling in interpretation of astrophysical observations and also in technological applications where molecular hydrocarbon plasma is present.


title: Deep learning based workflow for accelerated industrial X-ray Computed Tomography

abstract: X-ray computed tomography (XCT) is an important tool for high-resolution non-destructive characterization of additively-manufactured metal components. XCT reconstructions of metal components may have beam hardening artifacts such as cupping and streaking which makes reliable detection of flaws and defects challenging. Furthermore, traditional workflows based on using analytic reconstruction algorithms require a large number of projections for accurate characterization - leading to longer measurement times and hindering the adoption of XCT for in-line inspections. In this paper, we introduce a new workflow based on the use of two neural networks to obtain high-quality accelerated reconstructions from sparse-view XCT scans of single material metal parts. The first network, implemented using fully-connected layers, helps reduce the impact of BH in the projection data without the need of any calibration or knowledge of the component material. The second network, a convolutional neural network, maps a low-quality analytic 3D reconstruction to a high-quality reconstruction. Using experimental data, we demonstrate that our method robustly generalizes across several alloys, and for a range of sparsity levels without any need for retraining the networks thereby enabling accurate and fast industrial XCT inspections.


title: Human Transcription Quality Improvement

abstract: High quality transcription data is crucial for training automatic speech recognition (ASR) systems. However, the existing industry-level data collection pipelines are expensive to researchers, while the quality of crowdsourced transcription is low. In this paper, we propose a reliable method to collect speech transcriptions. We introduce two mechanisms to improve transcription quality: confidence estimation based reprocessing at labeling stage, and automatic word error correction at post-labeling stage. We collect and release LibriCrowd - a large-scale crowdsourced dataset of audio transcriptions on 100 hours of English speech. Experiment shows the Transcription WER is reduced by over 50%. We further investigate the impact of transcription error on ASR model performance and found a strong correlation. The transcription quality improvement provides over 10% relative WER reduction for ASR models. We release the dataset and code to benefit the research community.


title: Apparent ice accumulation rate in East Antarctica: Relation with temperature and thinning pattern

abstract: We present here formal evidence of a strong linkage between temperature and East Antarctic ice accumulation over the past eight hundred kiloyears, after accounting for thinning. The conclusions are based on statistical analysis of a proposed empirical model based on ice core data from multiple locations with ground topography ranging from local peaks to local valleys. The method permits adjustment of the apparent accumulation rate for a very general thinning process of ice sheet over the ages, is robust to any misspecification of the age scale, and does not require delineation of the accumulation rate from thinning. Records show 5% to 8% increase in the accumulation rate for every 1${}^\circ$C rise in temperature. This is consistent with the theoretical expectation on the average rate of increase in moisture absorption capacity of the atmosphere with rise in temperature, as inferred from the Clausius-Clapeyron equation. This finding reinforces indications of the resilience of the Antarctic Ice Sheet to the effects of warming induced by climate change, which have been documented in other studies based on recent data. Analysis of the thinning pattern of ice revealed an exponential rate of thinning over several glacial cycles and eventual attainment of a saturation level.


title: A Text Classification-Based Approach for Evaluating and Enhancing the Machine Interpretability of Building Codes

abstract: Interpreting regulatory documents or building codes into computer-processable formats is essential for the intelligent design and construction of buildings and infrastructures. Although automated rule interpretation (ARI) methods have been investigated for years, most of them highly depend on the early and manual filtering of interpretable clauses from a building code. While few of them considered machine interpretability, which represents the potential to be transformed into a computer-processable format, from both clause- and document-level. Therefore, this research aims to propose a novel approach to automatically evaluate and enhance the machine interpretability of single clause and building codes. First, a few categories are introduced to classify each clause in a building code considering the requirements for rule interpretation, and a dataset is developed for model training. Then, an efficient text classification model is developed based on a pretrained domain-specific language model and transfer learning techniques. Finally, a quantitative evaluation method is proposed to assess the overall interpretability of building codes. Experiments show that the proposed text classification algorithm outperforms the existing CNN- or RNN-based methods, improving the F1-score from 72.16% to 93.60%. It is also illustrated that the proposed classification method can enhance downstream ARI methods with an improvement of 4%. Furthermore, analyzing the results of more than 150 building codes in China showed that their average interpretability is 34.40%, which implies that it is still hard to fully transform the entire regulatory document into computer-processable formats. It is also argued that the interpretability of building codes should be further improved both from the human side and the machine side.


title: The algebrodynamics: super-conservative collective dynamics on a "Unique Worldline'' and the Hubble's law

abstract: We study the properties of roots of a polynomial system of equations which define a set of identical point particles located on a Unique Worldline (UW), in the spirit of the old Wheeler-Feynman's conception. As a consequence of the Vieta's formulas, a great number of conservation laws is fulfilled for collective algebraic dynamics on the UW. These, besides the canonical ones, include the laws with higher derivatives and those containing multi-particle correlation terms as well. On the other hand, such a ``super-conservative'' dynamics turns to be manifestly Lorentz invariant and quite nontrivial. At great values of ``cosmic time'' $t$ roots-particles demonstrate universal recession (resembling that in the Milne's cosmology and simulating ``expansion'' of the Universe) for which the Hubble's law does hold true, with Hubble parameter being inversely proportional to $t$.


title: A Platform for Addressing Individual Magnetite Islands Grown Epitaxially on Ru(0001) and Manipulating Their Magnetic Domains

abstract: We have grown high-quality magnetite micrometric islands on ruthenium stripes on sapphire through a combination of magnetron sputtering (Ru film), high-temperature molecular beam epitaxy (oxide islands), and optical lithography. The samples have been characterized by atomic force microscopy, Raman spectroscopy, X-ray absorption and magnetic circular dichroism in a photoemission microscope. The magnetic domains on the magnetite islands can be modified by the application of current pulses through the Ru stripes in combination with magnetic fields. The modification of the magnetic domains is explained by the Oersted field generated by the electrical current flowing through the stripes underneath the magnetite nanostructures. The fabrication method is applicable to a wide variety of rock salt and spinel oxides.


title: Quantifying Li-content for compositional tailoring of lithium ferrite ceramics

abstract: Owing to their multiple applications, lithium ferrites are relevant materials for several emerging technologies. For instance, LiFeO2 has been spotted as an alternative cathode material in Li-ion batteries, while LiFe5O8 is the lowest damping ferrite, holding promise in the field of spintronics. The Li-content in lithium ferrites has been shown to greatly affect the physical properties, and in turn, the performance of functional devices based on these materials. Despite this, lithium content is rarely accurately quantified, as a result of the low number of electrons in Li hindering its identification by means of routine materials characterization methods. In the present work, magnetic lithium ferrite powders with Li:Fe ratios of 1:1, 1:3 and 1:5 have been synthesized, successfully obtaining phase-pure materials (LiFeO2 and LiFe5O8), as well as a controlled mixture of both phases. The powders have been compacted and subsequently sintered by thermal treatment (Tmax = 1100 {\deg}C) to fabricate dense pellets which preserve the original Li:Fe ratios. Li-content on both powders and pellets has been determined by two independent methods: (i) Rutherford backscattering spectroscopy combined with nuclear reaction analysis and (ii) Rietveld analysis of powder X-ray diffraction data. With good agreement between both techniques, it has been confirmed that the Li:Fe ratios employed in the synthesis are maintained in the sintered ceramics. The same conclusion is drawn from spatially-resolved confocal Raman microscopy experiments on regions of a few microns. Field emission scanning electron microscopy has evidenced the substantial grain growth taking place during the sintering process - mean particle sizes rise from about 600 nm in the powders up to 3.8(6) um for dense LiFeO2 and 10(2) um for LiFe5O8 ceramics.


title: Randomized term grouping over physical law on digital quantum simulation

abstract: We introduce a randomized algorithm based on qDrift to compute Hamiltonian dynamics on digital quantum computers. We frame it as physDrift because conservation laws in physics are obeyed during evolution of arbitrary quantum states. Empirically we achieved better spectral error reduction with hydrogen chain model compared to previous protocols. Noisy model are investigated as well and we characterised them in the circuit with different schemes, i.e. an attenuation of the measured expectation value is fixed by keeping the circuit depth the same and depolarising error is simulated with randomly applied Pauli gates. This makes it our proposal particularly feasible for implementing and testing on present-day noisy hardware.


title: Machine-assisted mixed methods: augmenting humanities and social sciences with artificial intelligence

abstract: The increasing capacities of large language models (LLMs) present an unprecedented opportunity to scale up data analytics in the humanities and social sciences, augmenting and automating qualitative analytic tasks previously typically allocated to human labor. This contribution proposes a systematic mixed methods framework to harness qualitative analytic expertise, machine scalability, and rigorous quantification, with attention to transparency and replicability. 16 machine-assisted case studies are showcased as proof of concept. Tasks include linguistic and discourse analysis, lexical semantic change detection, interview analysis, historical event cause inference and text mining, detection of political stance, text and idea reuse, genre composition in literature and film; social network inference, automated lexicography, missing metadata augmentation, and multimodal visual cultural analytics. In contrast to the focus on English in the emerging LLM applicability literature, many examples here deal with scenarios involving smaller languages and historical texts prone to digitization distortions. In all but the most difficult tasks requiring expert knowledge, generative LLMs can demonstrably serve as viable research instruments. LLM (and human) annotations may contain errors and variation, but the agreement rate can and should be accounted for in subsequent statistical modeling; a bootstrapping approach is discussed. The replications among the case studies illustrate how tasks previously requiring potentially months of team effort and complex computational pipelines, can now be accomplished by an LLM-assisted scholar in a fraction of the time. Importantly, this approach is not intended to replace, but to augment researcher knowledge and skills. With these opportunities in sight, qualitative expertise and the ability to pose insightful questions have arguably never been more critical.


title: The Possibility of Tachyons as Soliton Solutions in 3+1 Dimensions via k-field Models

abstract: Tachyons or hypothetical faster-than-light (FTL) particles would fail the principle of causality. Such particles may only be imagined when they have no energy and momentum and, thus, no observable interaction. In this paper, we show that the classical relativistic field theory with non-standard Lagrangian densities (k-field models) does not rule out the existence of FTL particle-like solutions (solitons) with zero energy and momentum in 3+1 dimensions. However, contrary to our expectation, we show that it is possible to have k-field models that lead to energetic FTL soliton solutions in 3+1 dimensions.


title: Survey of Social Bias in Vision-Language Models

abstract: In recent years, the rapid advancement of machine learning (ML) models, particularly transformer-based pre-trained models, has revolutionized Natural Language Processing (NLP) and Computer Vision (CV) fields. However, researchers have discovered that these models can inadvertently capture and reinforce social biases present in their training datasets, leading to potential social harms, such as uneven resource allocation and unfair representation of specific social groups. Addressing these biases and ensuring fairness in artificial intelligence (AI) systems has become a critical concern in the ML community. The recent introduction of pre-trained vision-and-language (VL) models in the emerging multimodal field demands attention to the potential social biases present in these models as well. Although VL models are susceptible to social bias, there is a limited understanding compared to the extensive discussions on bias in NLP and CV. This survey aims to provide researchers with a high-level insight into the similarities and differences of social bias studies in pre-trained models across NLP, CV, and VL. By examining these perspectives, the survey aims to offer valuable guidelines on how to approach and mitigate social bias in both unimodal and multimodal settings. The findings and recommendations presented here can benefit the ML community, fostering the development of fairer and non-biased AI models in various applications and research endeavors.


title: Agree To Disagree

abstract: How frequently do individuals thoroughly review terms and conditions before proceeding to register for a service, install software, or access a website? The majority of internet users do not engage in this practice. This trend is not surprising, given that terms and conditions typically consist of lengthy documents replete with intricate legal terminology and convoluted sentences. In this paper, we introduce a Machine Learning-powered approach designed to automatically parse and summarize critical information in a user-friendly manner. This technology focuses on distilling the pertinent details that users should contemplate before committing to an agreement.


title: Towards using Cough for Respiratory Disease Diagnosis by leveraging Artificial Intelligence: A Survey

abstract: Cough acoustics contain multitudes of vital information about pathomorphological alterations in the respiratory system. Reliable and accurate detection of cough events by investigating the underlying cough latent features and disease diagnosis can play an indispensable role in revitalizing the healthcare practices. The recent application of Artificial Intelligence (AI) and advances of ubiquitous computing for respiratory disease prediction has created an auspicious trend and myriad of future possibilities in the medical domain. In particular, there is an expeditiously emerging trend of Machine learning (ML) and Deep Learning (DL)-based diagnostic algorithms exploiting cough signatures. The enormous body of literature on cough-based AI algorithms demonstrate that these models can play a significant role for detecting the onset of a specific respiratory disease. However, it is pertinent to collect the information from all relevant studies in an exhaustive manner for the medical experts and AI scientists to analyze the decisive role of AI/ML. This survey offers a comprehensive overview of the cough data-driven ML/DL detection and preliminary diagnosis frameworks, along with a detailed list of significant features. We investigate the mechanism that causes cough and the latent cough features of the respiratory modalities. We also analyze the customized cough monitoring application, and their AI-powered recognition algorithms. Challenges and prospective future research directions to develop practical, robust, and ubiquitous solutions are also discussed in detail.


title: Interpreted Investigation Report: Loss of Vikram Lander During Lunar Landing Phase

abstract: This article examines India's first science lander mission on 22 July 2019, attempting a historic landing on the Lunar South Pole Region. Communication was lost at 2.1 km above the lunar surface during the rough braking phase. The cause of the Chandrayaan 2 lander "Vikram" failure remains undisclosed. Possible factors such as vibrations, thruster issues, and power depletion are considered. Recommendations include backup power sources and direct communication systems for interplanetary missions. Despite the setback, ISRO proposed "Chandrayaan 3" to explore the lunar polar region. Chandrayaan 2's legacy influences future missions, shaping India's aspirations for pioneering space endeavors. Gratitude is expressed to ISRO for insights gained during live coverage.


title: Sampling - Variational Auto Encoder - Ensemble: In the Quest of Explainable Artificial Intelligence

abstract: Explainable Artificial Intelligence (XAI) models have recently attracted a great deal of interest from a variety of application sectors. Despite significant developments in this area, there are still no standardized methods or approaches for understanding AI model outputs. A systematic and cohesive framework is also increasingly necessary to incorporate new techniques like discriminative and generative models to close the gap. This paper contributes to the discourse on XAI by presenting an empirical evaluation based on a novel framework: Sampling - Variational Auto Encoder (VAE) - Ensemble Anomaly Detection (SVEAD). It is a hybrid architecture where VAE combined with ensemble stacking and SHapley Additive exPlanations are used for imbalanced classification. The finding reveals that combining ensemble stacking, VAE, and SHAP can. not only lead to better model performance but also provide an easily explainable framework. This work has used SHAP combined with Permutation Importance and Individual Conditional Expectations to create a powerful interpretability of the model. The finding has an important implication in the real world, where the need for XAI is paramount to boost confidence in AI applications.


title: Unraveling Forward and Backward Source Problems for a Nonlocal Integrodifferential Equation: A Journey through Operational Calculus for Dzherbashian-Nersesian Operator

abstract: This article primarily aims at introducing a novel operational calculus of Mikusi\'nski's type for the Dzherbashian-Nersesian operator. Using this calculus, we are able to derive exact solutions for the forward and backward source problems (BSPs) of a differential equation that features Dzherbashian-Nersesian operator in time and intertwined with nonlocal boundary conditions. The initial condition is expressed in terms of Riemann-Liouville integral (RLI). Solution is presented using Mittag-Leffler type functions (MLTFs). The outcomes related to the existence and uniqueness subject to certain conditions of regularity on the input data are established.


title: Exploring Robot Morphology Spaces through Breadth-First Search and Random Query

abstract: Evolutionary robotics offers a powerful framework for designing and evolving robot morphologies, particularly in the context of modular robots. However, the role of query mechanisms during the genotype-to-phenotype mapping process has been largely overlooked. This research addresses this gap by conducting a comparative analysis of query mechanisms in the brain-body co-evolution of modular robots. Using two different query mechanisms, Breadth-First Search (BFS) and Random Query, within the context of evolving robot morphologies using CPPNs and robot controllers using tensors, and testing them in two evolutionary frameworks, Lamarckian and Darwinian systems, this study investigates their influence on evolutionary outcomes and performance. The findings demonstrate the impact of the two query mechanisms on the evolution and performance of modular robot bodies, including morphological intelligence, diversity, and morphological traits. This study suggests that BFS is both more effective and efficient in producing highly performing robots. It also reveals that initially, robot diversity was higher with BFS compared to Random Query, but in the Lamarckian system, it declines faster, converging to superior designs, while in the Darwinian system, BFS led to higher end-process diversity.


title: A Note on the Paper "The unique solution of the absolute value equations"

abstract: In this note, we give the possible revised version of the unique solvability conditions for the two incorrect results that appeared in the published paper by Wu et al. (Appl Math Lett 76:195-200, 2018).


title: Analyzing the Efficacy of an LLM-Only Approach for Image-based Document Question Answering

abstract: Recent document question answering models consist of two key components: the vision encoder, which captures layout and visual elements in images, and a Large Language Model (LLM) that helps contextualize questions to the image and supplements them with external world knowledge to generate accurate answers. However, the relative contributions of the vision encoder and the language model in these tasks remain unclear. This is especially interesting given the effectiveness of instruction-tuned LLMs, which exhibit remarkable adaptability to new tasks. To this end, we explore the following aspects in this work: (1) The efficacy of an LLM-only approach on document question answering tasks (2) strategies for serializing textual information within document images and feeding it directly to an instruction-tuned LLM, thus bypassing the need for an explicit vision encoder (3) thorough quantitative analysis on the feasibility of such an approach. Our comprehensive analysis encompasses six diverse benchmark datasets, utilizing LLMs of varying scales. Our findings reveal that a strategy exclusively reliant on the LLM yields results that are on par with or closely approach state-of-the-art performance across a range of datasets. We posit that this evaluation framework will serve as a guiding resource for selecting appropriate datasets for future research endeavors that emphasize the fundamental importance of layout and image content information.


title: Early Churn Prediction from Large Scale User-Product Interaction Time Series

abstract: User churn, characterized by customers ending their relationship with a business, has profound economic consequences across various Business-to-Customer scenarios. For numerous system-to-user actions, such as promotional discounts and retention campaigns, predicting potential churners stands as a primary objective. In volatile sectors like fantasy sports, unpredictable factors such as international sports events can influence even regular spending habits. Consequently, while transaction history and user-product interaction are valuable in predicting churn, they demand deep domain knowledge and intricate feature engineering. Additionally, feature development for churn prediction systems can be resource-intensive, particularly in production settings serving 200m+ users, where inference pipelines largely focus on feature engineering. This paper conducts an exhaustive study on predicting user churn using historical data. We aim to create a model forecasting customer churn likelihood, facilitating businesses in comprehending attrition trends and formulating effective retention plans. Our approach treats churn prediction as multivariate time series classification, demonstrating that combining user activity and deep neural networks yields remarkable results for churn prediction in complex business-to-customer contexts.


title: An AI Chatbot for Explaining Deep Reinforcement Learning Decisions of Service-oriented Systems

abstract: Deep Reinforcement Learning (Deep RL) is increasingly used to cope with the open-world assumption in service-oriented systems. Deep RL was successfully applied to problems such as dynamic service composition, job scheduling, and offloading, as well as service adaptation. While Deep RL offers many benefits, understanding the decision-making of Deep RL is challenging because its learned decision-making policy essentially appears as a black box. Yet, understanding the decision-making of Deep RL is key to help service developers perform debugging, support service providers to comply with relevant legal frameworks, and facilitate service users to build trust. We introduce Chat4XAI to facilitate the understanding of the decision-making of Deep RL by providing natural-language explanations. Compared with visual explanations, the reported benefits of natural-language explanations include better understandability for non-technical users, increased user acceptance and trust, as well as more efficient explanations. Chat4XAI leverages modern AI chatbot technology and dedicated prompt engineering. Compared to earlier work on natural-language explanations using classical software-based dialogue systems, using an AI chatbot eliminates the need for eliciting and defining potential questions and answers up-front. We prototypically realize Chat4XAI using OpenAI's ChatGPT API and evaluate the fidelity and stability of its explanations using an adaptive service exemplar.


title: Unveiling Fairness Biases in Deep Learning-Based Brain MRI Reconstruction

abstract: Deep learning (DL) reconstruction particularly of MRI has led to improvements in image fidelity and reduction of acquisition time. In neuroimaging, DL methods can reconstruct high-quality images from undersampled data. However, it is essential to consider fairness in DL algorithms, particularly in terms of demographic characteristics. This study presents the first fairness analysis in a DL-based brain MRI reconstruction model. The model utilises the U-Net architecture for image reconstruction and explores the presence and sources of unfairness by implementing baseline Empirical Risk Minimisation (ERM) and rebalancing strategies. Model performance is evaluated using image reconstruction metrics. Our findings reveal statistically significant performance biases between the gender and age subgroups. Surprisingly, data imbalance and training discrimination are not the main sources of bias. This analysis provides insights of fairness in DL-based image reconstruction and aims to improve equity in medical AI applications.


title: LLMCarbon: Modeling the end-to-end Carbon Footprint of Large Language Models

abstract: The carbon footprint associated with large language models (LLMs) is a significant concern, encompassing emissions from their training, inference, experimentation, and storage processes, including operational and embodied carbon emissions. An essential aspect is accurately estimating the carbon impact of emerging LLMs even before their training, which heavily relies on GPU usage. Existing studies have reported the carbon footprint of LLM training, but only one tool, mlco2, can predict the carbon footprint of new neural networks prior to physical training. However, mlco2 has several serious limitations. It cannot extend its estimation to dense or mixture-of-experts (MoE) LLMs, disregards critical architectural parameters, focuses solely on GPUs, and cannot model embodied carbon footprints. Addressing these gaps, we introduce \textit{\carb}, an end-to-end carbon footprint projection model designed for both dense and MoE LLMs. Compared to mlco2, \carb~significantly enhances the accuracy of carbon footprint estimations for various LLMs. The source code is released at \url{https://github.com/SotaroKaneda/MLCarbon}.


title: Multiple Noises in Diffusion Model for Semi-Supervised Multi-Domain Translation

abstract: Domain-to-domain translation involves generating a target domain sample given a condition in the source domain. Most existing methods focus on fixed input and output domains, i.e. they only work for specific configurations (i.e. for two domains, either $D_1\rightarrow{}D_2$ or $D_2\rightarrow{}D_1$). This paper proposes Multi-Domain Diffusion (MDD), a conditional diffusion framework for multi-domain translation in a semi-supervised context. Unlike previous methods, MDD does not require defining input and output domains, allowing translation between any partition of domains within a set (such as $(D_1, D_2)\rightarrow{}D_3$, $D_2\rightarrow{}(D_1, D_3)$, $D_3\rightarrow{}D_1$, etc. for 3 domains), without the need to train separate models for each domain configuration. The key idea behind MDD is to leverage the noise formulation of diffusion models by incorporating one noise level per domain, which allows missing domains to be modeled with noise in a natural way. This transforms the training task from a simple reconstruction task to a domain translation task, where the model relies on less noisy domains to reconstruct more noisy domains. We present results on a multi-domain (with more than two domains) synthetic image translation dataset with challenging semantic domain inversion.


title: Implicit Sensing in Traffic Optimization: Advanced Deep Reinforcement Learning Techniques

abstract: A sudden roadblock on highways due to many reasons such as road maintenance, accidents, and car repair is a common situation we encounter almost daily. Autonomous Vehicles (AVs) equipped with sensors that can acquire vehicle dynamics such as speed, acceleration, and location can make intelligent decisions to change lanes before reaching a roadblock. A number of literature studies have examined car-following models and lane-changing models. However, only a few studies proposed an integrated car-following and lane-changing model, which has the potential to model practical driving maneuvers. Hence, in this paper, we present an integrated car-following and lane-changing decision-control system based on Deep Reinforcement Learning (DRL) to address this issue. Specifically, we consider a scenario where sudden construction work will be carried out along a highway. We model the scenario as a Markov Decision Process (MDP) and employ the well-known DQN algorithm to train the RL agent to make the appropriate decision accordingly (i.e., either stay in the same lane or change lanes). To overcome the delay and computational requirement of DRL algorithms, we adopt an MEC-assisted architecture where the RL agents are trained on MEC servers. We utilize the highly reputable SUMO simulator and OPENAI GYM to evaluate the performance of the proposed model under two policies; {\epsilon}-greedy policy and Boltzmann policy. The results unequivocally demonstrate that the DQN agent trained using the {\epsilon}-greedy policy significantly outperforms the one trained with the Boltzmann policy.


title: Guess & Sketch: Language Model Guided Transpilation

abstract: Maintaining legacy software requires many software and systems engineering hours. Assembly code programs, which demand low-level control over the computer machine state and have no variable names, are particularly difficult for humans to analyze. Existing conventional program translators guarantee correctness, but are hand-engineered for the source and target programming languages in question. Learned transpilation, i.e. automatic translation of code, offers an alternative to manual re-writing and engineering efforts. Automated symbolic program translation approaches guarantee correctness but struggle to scale to longer programs due to the exponentially large search space. Their rigid rule-based systems also limit their expressivity, so they can only reason about a reduced space of programs. Probabilistic neural language models (LMs) produce plausible outputs for every input, but do so at the cost of guaranteed correctness. In this work, we leverage the strengths of LMs and symbolic solvers in a neurosymbolic approach to learned transpilation for assembly code. Assembly code is an appropriate setting for a neurosymbolic approach, since assembly code can be divided into shorter non-branching basic blocks amenable to the use of symbolic methods. Guess & Sketch extracts alignment and confidence information from features of the LM then passes it to a symbolic solver to resolve semantic equivalence of the transpilation input and output. We test Guess & Sketch on three different test sets of assembly transpilation tasks, varying in difficulty, and show that it successfully transpiles 57.6% more examples than GPT-4 and 39.6% more examples than an engineered transpiler. We also share a training and evaluation dataset for this task.


title: Predicting environment effects on breast cancer by implementing machine learning

abstract: The biggest Breast cancer is increasingly a major factor in female fatalities, overtaking heart disease. While genetic factors are important in the growth of breast cancer, new research indicates that environmental factors also play a substantial role in its occurrence and progression. The literature on the various environmental factors that may affect breast cancer risk, incidence, and outcomes is thoroughly reviewed in this study report. The study starts by looking at how lifestyle decisions, such as eating habits, exercise routines, and alcohol consumption, may affect hormonal imbalances and inflammation, two important factors driving the development of breast cancer. Additionally, it explores the part played by environmental contaminants such pesticides, endocrine-disrupting chemicals (EDCs), and industrial emissions, all of which have been linked to a higher risk of developing breast cancer due to their interference with hormone signaling and DNA damage. Algorithms for machine learning are used to express predictions. Logistic Regression, Random Forest, KNN Algorithm, SVC and extra tree classifier. Metrics including the confusion matrix correlation coefficient, F1-score, Precision, Recall, and ROC curve were used to evaluate the models. The best accuracy among all the classifiers is Random Forest with 0.91% accuracy and ROC curve 0.901% of Logistic Regression. The accuracy of the multiple algorithms for machine learning utilized in this research was good, which is important and indicates that these techniques could serve as replacement forecasting techniques in breast cancer survival analysis, notably in the Asia region.


title: Seeing and hearing what has not been said; A multimodal client behavior classifier in Motivational Interviewing with interpretable fusion

abstract: Motivational Interviewing (MI) is an approach to therapy that emphasizes collaboration and encourages behavioral change. To evaluate the quality of an MI conversation, client utterances can be classified using the MISC code as either change talk, sustain talk, or follow/neutral talk. The proportion of change talk in a MI conversation is positively correlated with therapy outcomes, making accurate classification of client utterances essential. In this paper, we present a classifier that accurately distinguishes between the three MISC classes (change talk, sustain talk, and follow/neutral talk) leveraging multimodal features such as text, prosody, facial expressivity, and body expressivity. To train our model, we perform annotations on the publicly available AnnoMI dataset to collect multimodal information, including text, audio, facial expressivity, and body expressivity. Furthermore, we identify the most important modalities in the decision-making process, providing valuable insights into the interplay of different modalities during a MI conversation.


title: Date-Driven Approach for Identifying State of Hemodialysis Fistulas: Entropy-Complexity and Formal Concept Analysis

abstract: The paper explores mathematical methods that differentiate regular and chaotic time series, specifically for identifying pathological fistulas. It proposes a noise-resistant method for classifying responding rows of normally and pathologically functioning fistulas. This approach is grounded in the hypothesis that laminar blood flow signifies normal function, while turbulent flow indicates pathology. The study explores two distinct methods for distinguishing chaotic from regular time series. The first method involves mapping the time series onto the entropy-complexity plane and subsequently comparing it to established clusters. The second method, introduced by the authors, constructs a concepts-objects graph using formal concept analysis. Both of these methods exhibit high efficiency in determining the state of the fistula.


title: DECORAIT -- DECentralized Opt-in/out Registry for AI Training

abstract: We present DECORAIT; a decentralized registry through which content creators may assert their right to opt in or out of AI training as well as receive reward for their contributions. Generative AI (GenAI) enables images to be synthesized using AI models trained on vast amounts of data scraped from public sources. Model and content creators who may wish to share their work openly without sanctioning its use for training are thus presented with a data governance challenge. Further, establishing the provenance of GenAI training data is important to creatives to ensure fair recognition and reward for their such use. We report a prototype of DECORAIT, which explores hierarchical clustering and a combination of on/off-chain storage to create a scalable decentralized registry to trace the provenance of GenAI training data in order to determine training consent and reward creatives who contribute that data. DECORAIT combines distributed ledger technology (DLT) with visual fingerprinting, leveraging the emerging C2PA (Coalition for Content Provenance and Authenticity) standard to create a secure, open registry through which creatives may express consent and data ownership for GenAI.


title: Derivative Based Extended Regular Expression Matching Supporting Intersection, Complement and Lookarounds

abstract: Regular expressions are widely used in software. Various regular expression engines support different combinations of extensions to classical regular constructs such as Kleene star, concatenation, nondeterministic choice (union in terms of match semantics). The extensions include e.g. anchors, lookarounds, counters, backreferences. The properties of combinations of such extensions have been subject of active recent research. In the current paper we present a symbolic derivatives based approach to finding matches to regular expressions that, in addition to the classical regular constructs, also support complement, intersection and lookarounds (both negative and positive lookaheads and lookbacks). The theory of computing symbolic derivatives and determining nullability given an input string is presented that shows that such a combination of extensions yields a match semantics that corresponds to an effective Boolean algebra, which in turn opens up possibilities of applying various Boolean logic rewrite rules to optimize the search for matches. In addition to the theoretical framework we present an implementation of the combination of extensions to demonstrate the efficacy of the approach accompanied with practical examples.


title: Physics of Language Models: Part 3.2, Knowledge Manipulation

abstract: Language models can store vast amounts of factual knowledge, but their ability to use this knowledge for logical reasoning remains questionable. This paper explores a language model's ability to manipulate its stored knowledge during inference. We focus on four manipulation types: retrieval (e.g., "What is person A's attribute X"), classification (e.g., "Is A's attribute X even or odd?"), comparison (e.g., "Is A greater than B in attribute X?") and inverse search (e.g., "Which person's attribute X equals T?") We observe that pre-trained language models like GPT2/3/4 excel in knowledge retrieval but struggle with simple classification or comparison tasks unless Chain of Thoughts (CoTs) are employed during both training and inference. They also perform poorly in inverse knowledge search, irrespective of the prompts. Our primary contribution is a synthetic dataset for a controlled experiment that confirms these inherent weaknesses: a language model cannot efficiently manipulate knowledge from pre-training data, even when such knowledge is perfectly stored and fully extractable in the models, and despite adequate instruct fine-tuning.


title: Should Sports Professionals Consider Their Adversary's Strategy? A Case Study of Match Play in Golf

abstract: This study explores strategic considerations in professional golf's Match Play format, challenging the conventional focus on individual performance. Leveraging PGA Tour data, we investigate the impact of factoring in an adversary's strategy. Our findings suggest that while slight strategy adjustments can be advantageous in specific scenarios, the overall benefit of considering an opponent's strategy remains modest. This confirms the common wisdom in golf, reinforcing the recommendation to adhere to optimal stroke-play strategies due to challenges in obtaining precise opponent statistics. We believe that the methodology employed here could offer valuable insights into whether opponents' performances should also be considered in other two-player or team sports, such as tennis, darts, soccer, volleyball, etc. We hope that this research will pave the way for new avenues of study in these areas.


title: pLMFPPred: a novel approach for accurate prediction of functional peptides integrating embedding from pre-trained protein language model and imbalanced learning

abstract: Functional peptides have the potential to treat a variety of diseases. Their good therapeutic efficacy and low toxicity make them ideal therapeutic agents. Artificial intelligence-based computational strategies can help quickly identify new functional peptides from collections of protein sequences and discover their different functions.Using protein language model-based embeddings (ESM-2), we developed a tool called pLMFPPred (Protein Language Model-based Functional Peptide Predictor) for predicting functional peptides and identifying toxic peptides. We also introduced SMOTE-TOMEK data synthesis sampling and Shapley value-based feature selection techniques to relieve data imbalance issues and reduce computational costs. On a validated independent test set, pLMFPPred achieved accuracy, Area under the curve - Receiver Operating Characteristics, and F1-Score values of 0.974, 0.99, and 0.974, respectively. Comparative experiments show that pLMFPPred outperforms current methods for predicting functional peptides.The experimental results suggest that the proposed method (pLMFPPred) can provide better performance in terms of Accuracy, Area under the curve - Receiver Operating Characteristics, and F1-Score than existing methods. pLMFPPred has achieved good performance in predicting functional peptides and represents a new computational method for predicting functional peptides.


title: Joint Audio and Speech Understanding

abstract: Humans are surrounded by audio signals that include both speech and non-speech sounds. The recognition and understanding of speech and non-speech audio events, along with a profound comprehension of the relationship between them, constitute fundamental cognitive capabilities. For the first time, we build a machine learning model, called LTU-AS, that has a conceptually similar universal audio perception and advanced reasoning ability. Specifically, by integrating Whisper as a perception module and LLaMA as a reasoning module, LTU-AS can simultaneously recognize and jointly understand spoken text, speech paralinguistics, and non-speech audio events - almost everything perceivable from audio signals.


title: Provable advantages of kernel-based quantum learners and quantum preprocessing based on Grover's algorithm

abstract: There is an ongoing effort to find quantum speedups for learning problems. Recently, [Y. Liu et al., Nat. Phys. $\textbf{17}$, 1013--1017 (2021)] have proven an exponential speedup for quantum support vector machines by leveraging the speedup of Shor's algorithm. We expand upon this result and identify a speedup utilizing Grover's algorithm in the kernel of a support vector machine. To show the practicality of the kernel structure we apply it to a problem related to pattern matching, providing a practical yet provable advantage. Moreover, we show that combining quantum computation in a preprocessing step with classical methods for classification further improves classifier performance.


title: Protostellar cores in Sagittarius B2 N and M

abstract: We present 500 AU and 700 AU resolution 1 mm and 3 mm ALMA observations, respectively, of protostellar cores in protoclusters Sagittarius B2 (Sgr B2) North (N) and Main (M), parts of the most actively star-forming cloud in our Galaxy. Previous lower resolution (5000 AU) 3 mm observations of this region detected $\sim$150 sources inferred to be young stellar objects (YSOs) with $M>8\mathrm{\,M}_\odot$. With a tenfold increase in resolution, we detect 371 sources at 3 mm and 218 sources in the smaller field of view at 1 mm. The sources seen at low resolution are observed to fragment into an average of two objects. About a third of the observed sources fragment. Most of the sources we report are marginally resolved and are at least partially optically thick. We determine that the observed sources are most consistent with Stage 0/I YSOs, i.e., rotationally supported disks with an active protostar and an envelope, that are warmer than those observed in the solar neighborhood. We report source-counting-based inferred stellar mass and the star formation rate of the cloud: 2800$\mathrm{\,M}_\odot$, 0.0038$\mathrm{\,M}_\odot$ yr$^{-1}$ for Sgr B2 N and 6900$\mathrm{\,M}_\odot$, 0.0093$\mathrm{\,M}_\odot$ yr$^{-1}$ for Sgr B2 M respectively.


title: Characterising ultra-high-redshift dark matter halo demographics and assembly histories with the GUREFT simulations

abstract: Dark matter halo demographics and assembly histories are a manifestation of cosmological structure formation and have profound implications for the formation and evolution of galaxies. In particular, merger trees provide fundamental input for several modelling techniques, such as semi-analytic models (SAMs), sub-halo abundance matching (SHAM), and decorated halo occupation distribution models (HODs). Motivated by the new ultra-high-redshift (z > 10) frontier enabled by JWST, we present a new suite of Gadget at Ultrahigh Redshift with Extra-Fine Timesteps (GUREFT) dark matter-only cosmological simulations that are carefully designed to capture halo merger histories and structural properties in the ultra-z universe. The simulation suite consists of four 1024^3-particle simulations with box sizes of 5, 15, 35, and 90 Mpc h-1, each with 170 snapshots stored between 40 > z > 6. With the unprecedented number of available snapshots and strategically chosen dynamic range covered by these boxes, gureft uncovers the emerging dark matter halo populations and their assembly histories in the earliest epochs of cosmic history. In this work, we present the halo mass functions between z ~ 20 to 6 down to log(Mvir/Msun) ~ 5, and show that at high redshift, these robust halo mass functions can differ substantially from commonly used analytic approximations or older fitting functions in the literature. We also present key physical properties of the ultra-z halo population, such as concentration and spin, as well as their mass growth and merger rates, and again provide updated fitting functions.


title: Averaged Null Energy and the Renormalization Group

abstract: We establish a connection between the averaged null energy condition (ANEC) and the monotonicity of the renormalization group, by studying the light-ray operator $\int du T_{uu}$ in quantum field theories that flow between two conformal fixed points. In four dimensions, we derive an exact sum rule relating this operator to the Euler coefficient in the trace anomaly, and show that the ANEC implies the a-theorem. The argument is based on matching anomalies in the stress tensor 3-point function, and relies on special properties of contact terms involving light-ray operators. We also illustrate the sum rule for the example of a free massive scalar field. Averaged null energy appears in a variety of other applications to quantum field theory, including causality constraints, Lorentzian inversion, and quantum information. The quantum information perspective provides a new derivation of the $a$-theorem from the monotonicity of relative entropy. The equation relating our sum rule to the dilaton scattering amplitude in the forward limit suggests an inversion formula for non-conformal theories.


title: A novel eccentricity parameterization for transit-only models

abstract: We present a novel eccentricity parameterization for transit-only fits that allows us to efficiently sample the eccentricity and argument of periastron, while being able to generate a self-consistent model of a planet in a Keplerian orbit around its host star. With simulated fits of 330 randomly generated systems, we demonstrate that typical parameterizations often lead to inaccurate and overly precise determinations of the planetary eccentricity. However, our proposed parameterization allows us to accurately -- and often precisely -- recover the eccentricity for the simulated planetary systems with only transit data available.


title: Signatures of Parafermion Zero Modes in Fractional Quantum Hall-Superconductor Heterostructures

abstract: Parafermion zero modes can arise in hybrid structures composed of $\nu=1/m$ fractional quantum Hall edges proximitized with an s-wave superconductor. Here we consider parafermion and Cooper pair tunneling, and backscattering in a junction formed in such hybrid structures. We find that the $4\pi m$ periodicity due to parafermion-only tunneling reduces, in the presence of backscattering, to $4\pi$-periodic at zero temperature and $2\pi$-periodic at finite temperature unless the fermion parity is fixed. Nevertheless, a clear signature of parafermion tunneling remains in the shape of the current-phase relation.

categories: cond-mat.str-el cond-mat.mes-hall cond-mat.supr-con quant-ph


title: Dualities and Discretizations of Integrable Quantum Field Theories from 4d Chern-Simons Theory

abstract: We elucidate the relationship between 2d integrable field theories and 2d integrable lattice models, in the framework of the 4d Chern-Simons theory. The 2d integrable field theory is realized by coupling the 4d theory to multiple 2d surface order defects, each of which is then discretized into 1d defects. We find that the resulting defects can be dualized into Wilson lines, so that the lattice of discretized defects realizes integrable lattice models. Our discretization procedure works systematically for a broad class of integrable models (including trigonometric and elliptic models), and uncovers a rich web of new dualities among integrable field theories. We also study the anomaly-inflow mechanism for the integrable models, which is required for the quantum integrability of field theories. By analyzing the anomalies of chiral defects, we derive a new set of bosonization dualities between generalizations of massless Thirring models and coupled Wess-Zumino-Witten (WZW) models. We study an embedding of our setup into string theory, where the thermodynamic limit of the lattice models is realized by polarizations of D-branes.

categories: hep-th cond-mat.stat-mech math-ph math.MP nlin.SI


title: Simplicity of AdS Super Yang-Mills at One Loop

abstract: We perform a systematic bootstrap analysis of four-point one-loop Mellin amplitudes for super gluons in $\mathrm{AdS}_5\times\mathrm{S}^3$ with arbitrary Kaluza-Klein weights. The analysis produces the general expressions for these amplitudes at extremalities two and three, as well as analytic results for many other special cases. From these results we observe remarkable simplicity. We find that the Mellin amplitudes always contain only simultaneous poles in two Mellin-Mandelstam variables, extending a previous observation in the simplest case with the lowest Kaluza-Klein weights. Moreover, we discover a substantial extension of the implication of the eight-dimensional hidden conformal symmetry, which goes far beyond the Mellin poles associated with the leading logarithmic singularities. This leaves only a small finite set of poles which can be determined on a case-by-case basis from the contributions of protected operators in the OPE.


title: Characterizing the line emission from molecular clouds. II. A comparative study of California, Perseus, and Orion A

abstract: $Aims.$ We characterize the molecular-line emission of three clouds whose star-formation rates span one order of magnitude: California, Perseus, and Orion A. $Methods.$ We use stratified random sampling to select positions representing the different column density regimes of each cloud and observe them with the IRAM-30m telescope. We cover the 3 mm wavelength band and focus our analysis on CO, HCN, CS, HCO+, HNC, and N2H+. $Results.$ We find that the line intensities depend most strongly on the H2 column density. A secondary effect, especially visible in Orion A, is a dependence of the line intensities on the gas temperature. We explored a method that corrects for temperature variations and show that, when it is applied, the emission from the three clouds behaves very similarly. CO intensities vary weakly with column density, while the intensity of traditional dense-gas tracers such as HCN, CS, and HCO+ varies almost linearly with column density. N2H+ differs from all other species in that it traces only cold dense gas. The intensity of the rare HCN and CS isotopologs reveals additional temperature-dependent abundance variations. Overall, the clouds have similar chemical compositions that, as the depth increases, are sequentially dominated by photodissociation, gas-phase reactions, molecular freeze-out, and stellar feedback in the densest parts of Orion A. Our observations also allowed us to calculate line luminosities for each cloud, and a comparison with literature values shows good agreement. We used our HCN data to explore the behavior of the HCN conversion factor, finding that it is dominated by the emission from the outermost cloud layers. It also depends strongly on the gas kinetic temperature. Finally, we show that the HCN/CO ratio provides a gas volume density estimate, and that its correlation with the column density resembles that found in extragalactic observations.


title: Initial mass function variability from the integrated light of diverse stellar systems

abstract: We present a uniform analysis of the stellar initial mass function (IMF) from integrated light spectroscopy of 15 compact stellar systems (11 globular clusters in M31 and 4 ultra compact dwarfs in the Virgo cluster, UCDs) and two brightest Coma cluster galaxies (BCGs), covering a wide range of metallicities ($-$1.7 $<$ [Fe/H] $<$ 0.01) and velocity dispersions (7.4 km~s$^{-1}$ $< \sigma <$ 275 km~s$^{-1}$). The S/N $\sim 100$ \AA$^{-1}$ Keck LRIS spectra are fitted over the range $4000<\lambda/\mbox{\AA}<10,000$ with flexible, full-spectrum stellar population synthesis models. We use the models to fit simultaneously for ages, metallicities, and individual elemental abundances of the population, allowing us to decouple abundance variations from variations in IMF slope. We show that compact stellar systems do not follow the same trends with physical parameters that have been found for early-type galaxies. Most globular clusters in our sample have an IMF consistent with that of the Milky Way, over a wide range of [Fe/H] and [Mg/Fe]. There is more diversity among the UCDs, with some showing evidence for a bottom-heavy IMF, but with no clear correlation with metallicity, abundance, or velocity dispersion. The two Coma BCGs have similar velocity dispersion and metallicity, but we find the IMF of NGC~4874 is consistent with that of the Milky Way while NGC~4889 presents evidence for a significantly bottom-heavy IMF. For this sample, the IMF appears to vary between objects in a way that is not explained by a single metallicity-dependent prescription.


title: Homotopy, Symmetry, and Non-Hermitian Band Topology

abstract: Non-Hermitian matrices are ubiquitous in the description of nature ranging from classical dissipative systems, including optical, electrical, and mechanical metamaterials, to scattering of waves and open quantum many-body systems. Seminal K-theory classifications of non-Hermitian systems based on line and point gaps have deepened the understanding of many physical phenomena. However, ample systems remain beyond this description; reference points and lines are in general unable to distinguish whether multiple non-Hermitian bands exhibit band crossings and braids. To remedy this we consider the complementary notions of non-Hermitian band gaps and separation gaps that crucially include a broad class of multi-band scenarios, enabling the description of generic band structures with symmetries. With these concepts, we provide a unified and systematic classification of both gapped and nodal systems in the presence of physically relevant parity-time ($\mathcal{PT}$) and pseudo-Hermitian symmetries using homotopy theory. This uncovers new fragile phases and, remarkably, also implies new stable phenomena stemming from the topology of both eigenvalues and eigenvectors. In particular, we reveal different Abelian and non-Abelian phases in $\mathcal{PT}$-symmetric systems, described by frame and braid topology. The corresponding invariants are robust to symmetry-preserving perturbations that do not close band gaps, and they also predict the deformation rules of nodal phases. We further demonstrate that spontaneous $\mathcal{PT}$ symmetry breaking is captured by a Chern-Euler description, a fingerprint of unprecedented non-Hermitian topology. These results open the door for theoretical and experimental exploration of a rich variety of novel topological phenomena in a wide range of physical platforms.

categories: cond-mat.mes-hall math-ph math.MP physics.optics quant-ph


title: Binary Discrimination Through Next-to-Leading Order

abstract: Binary discrimination between well-defined signal and background datasets is a problem of fundamental importance in particle physics. With detailed event simulation and the advent of extensive deep learning tools, identification of the likelihood ratio has typically been reserved as a computational problem. However, this approach can obscure overtraining or excessive sensitivity to tuned features of the simulation that may not be well-defined theoretically. Here, we present the first analysis of binary discrimination for signal and background distributions for which their likelihood ratio is infrared and collinear safe, and can therefore be calculated order-by-order in perturbation theory. We present explicit, general formulas for receiver operator characteristic curves and the area under it through next-to-leading order. As a demonstration of this formalism, we apply it to discrimination of highly-boosted Higgs decays from gluon splitting to bottom quarks. Effects at next-to-leading order are first sensitive to the flow of color in the jet and significantly modify discrimination performance at leading-order. In the limit of infinite boost, these events can be perfectly discriminated because only the gluon will radiate at finite angles from the bottom quarks, and we find that large effects persist at energies accessible at the Large Hadron Collider. Next-to-leading order is therefore required to qualitatively understand results using machine-learning methods.


title: Towards a physically motivated notion of Gaussian complexity geometry

abstract: We present a general construction of a geometric notion of circuit complexity for Gaussian states (both bosonic and fermionic) in terms of Riemannian geometry. We lay out general conditions that a Riemannian metric function on the space of Gaussian states should satisfy in order for it to yield a physically reasonable measure of complexity. This general formalism can naturally accommodate modifications to complexity geometries that arise from cost functions that depend nontrivially on the instantaneous state and on the direction on circuit space at each point. We explore these modifications and, as a particular case, we show how to account for time-reversal symmetry breaking in measures of complexity, which is often natural from an experimental (and thermodynamical) perspective, but is absent in commonly studied complexity measures. This establishes a first step towards building a quantitative, geometric notion of complexity that faithfully mimics what is experienced as "easy" or "hard" to implement in a lab from a physically motivated point of view.


title: On the expressivity of embedding quantum kernels

abstract: One of the most natural connections between quantum and classical machine learning has been established in the context of kernel methods. Kernel methods rely on kernels, which are inner products of feature vectors living in large feature spaces. Quantum kernels are typically evaluated by explicitly constructing quantum feature states and then taking their inner product, here called embedding quantum kernels. Since classical kernels are usually evaluated without using the feature vectors explicitly, we wonder how expressive embedding quantum kernels are. In this work, we raise the fundamental question: can all quantum kernels be expressed as the inner product of quantum feature states? Our first result is positive: Invoking computational universality, we find that for any kernel function there always exists a corresponding quantum feature map and an embedding quantum kernel. The more operational reading of the question is concerned with efficient constructions, however. In a second part, we formalize the question of universality of efficient embedding quantum kernels. For shift-invariant kernels, we use the technique of random Fourier features to show that they are universal within the broad class of all kernels which allow a variant of efficient Fourier sampling. We then extend this result to a new class of so-called composition kernels, which we show also contains projected quantum kernels introduced in recent works. After proving the universality of embedding quantum kernels for both shift-invariant and composition kernels, we identify the directions towards new, more exotic, and unexplored quantum kernel families, for which it still remains open whether they correspond to efficient embedding quantum kernels.


title: Strong cosmic censorship for the spherically symmetric Einstein-Maxwell-charged-Klein-Gordon system with positive $\Lambda$: stability of the Cauchy horizon and $H^1$ extensions

abstract: We investigate the interior of a dynamical black hole as described by the Einstein-Maxwell-charged-Klein-Gordon system of equations with a cosmological constant, under spherical symmetry. In particular, we consider a characteristic initial value problem where, on the outgoing initial hypersurface, interpreted as the event horizon $\mathcal{H}^+$ of a dynamical black hole, we prescribe: a) initial data asymptotically approaching a fixed sub-extremal Reissner-Nordstr\"om-de Sitter solution; b) an exponential Price law upper bound for the charged scalar field. After showing local well-posedness for the corresponding first-order system of partial differential equations, we establish the existence of a Cauchy horizon $\mathcal{CH}^+$ for the evolved spacetime, extending the bootstrap methods used in the case $\Lambda = 0$ by Van de Moortel. In this context, we show the existence of $C^0$ spacetime extensions beyond $\mathcal{CH}^+$. Moreover, if the scalar field decays at a sufficiently fast rate along $\mathcal{H}^+$, we show that the renormalized Hawking mass remains bounded for a large set of initial data. With respect to the analogous model concerning an uncharged and massless scalar field, we are able to extend the known range of parameters for which mass inflation is prevented, up to the optimal threshold suggested by the linear analyses by Costa-Franzen and Hintz-Vasy. In this no-mass-inflation scenario, which includes near-extremal solutions, we further prove that the spacetime can be extended across the Cauchy horizon with continuous metric, Christoffel symbols in $L^2_{\text{loc}}$ and scalar field in $H^1_{\text{loc}}$. By generalizing the work by Costa-Gir\~ao-Nat\'ario-Silva to the case of a charged and massive scalar field, our results reveal a potential failure of the Christodoulou-Chru\'sciel version of the strong cosmic censorship under spherical symmetry.


title: Tunable topological magnetism in superlattices of nonmagnetic B20 systems

abstract: We predict topological magnetic properties of B20 systems, that are organized in atomically thin multilayers. In particular we focus on FeSi/CoSi and FeSi/FeGe superlattices with different number of layers and interface structure. We demonstrate that absence of long range magnetic order, previously observed in bulk FeSi and CoSi, is broken near the FeSi/CoSi interface, where a magnetic state with non-trivial topology appears. Using electronic structure calculations in combination with the magnetic force theorem, we calculate the Heisenberg and Dzyaloshinskii-Moriya (DM) interactions in these systems. With this information, we perform atomistic spin dynamics simulations at finite temperature and applied magnetic field for large supercells with up to $2\cdot10^6$ spins to capture the complexity of non-collinear textures induced by the DM interaction. The spin dynamics simulations predict the formation of antiskyrmions in a [001]-oriented FeSi/CoSi multilayer, intermediate skyrmions in a [111]-oriented FeSi/CoSi system and Bloch skyrmions in the FeSi/FeGe (001) system. The size of different types of skyrmions is found to vary between 7 nm and 37 nm. The varying topological magnetic texture in these systems can be attributed to the complex asymmetric structure of the DM micromagnetic matrix, which is different from previously known topological magnets. Furthermore, through structural engineering, we demonstrate that both FM and AFM skyrmions can be stabilized, where the latter are especially appealing for applications due to the zero skyrmion Hall effect. The proposed B20 multilayers show potential for further exploration and call for experimental confirmation.


title: Structure, spin correlations and magnetism of the $S = 1/2$ square-lattice antiferromagnet Sr$_2$CuTe$_{1-x}$W$_x$O$_6$ ($0 \leq x \leq 1$)

abstract: Quantum spin liquids are highly entangled magnetic states with exotic properties. The $S = 1/2$ square-lattice Heisenberg model is one of the foundational models in frustrated magnetism with a predicted, but never observed, quantum spin liquid state. Isostructural double perovskites Sr$_2$CuTeO$_6$ and Sr$_2$CuWO$_6$ are physical realizations of this model, but have distinctly different types magnetic order and interactions due to a $d^{10}/d^0$ effect. Long-range magnetic order is suppressed in the solid solution Sr$_2$CuTe$_{1-x}$W$_x$O$_6$ in a wide region of $x = 0.05-0.6$, where the ground state has been proposed to be a disorder-induced spin liquid. Here we show that the spin-liquid-like $x = 0.2$ and $x = 0.5$ samples have distinctly different local spin correlations, which suggests they have different ground states. Furthermore, the previously ignored interlayer coupling between the square-planes is likely to play a role in the suppression of magnetic order on the W-rich side at $x \approx 0.6$. These results highlight the complex magnetism of Sr$_2$CuTe$_{1-x}$W$_x$O$_6$ and hint at a new quantum critical point at $x \approx 0.3$.