title: The FruitShell French synthesis system at the Blizzard 2023 Challenge

abstract: This paper presents a French text-to-speech synthesis system for the Blizzard Challenge 2023. The challenge consists of two tasks: generating high-quality speech from female speakers and generating speech that closely resembles specific individuals. Regarding the competition data, we conducted a screening process to remove missing or erroneous text data. We organized all symbols except for phonemes and eliminated symbols that had no pronunciation or zero duration. Additionally, we added word boundary and start/end symbols to the text, which we have found to improve speech quality based on our previous experience. For the Spoke task, we performed data augmentation according to the competition rules. We used an open-source G2P model to transcribe the French texts into phonemes. As the G2P model uses the International Phonetic Alphabet (IPA), we applied the same transcription process to the provided competition data for standardization. However, due to compiler limitations in recognizing special symbols from the IPA chart, we followed the rules to convert all phonemes into the phonetic scheme used in the competition data. Finally, we resampled all competition audio to a uniform sampling rate of 16 kHz. We employed a VITS-based acoustic model with the hifigan vocoder. For the Spoke task, we trained a multi-speaker model and incorporated speaker information into the duration predictor, vocoder, and flow layers of the model. The evaluation results of our system showed a quality MOS score of 3.6 for the Hub task and 3.4 for the Spoke task, placing our system at an average level among all participating teams.


title: Topology and phase transition for EPYM AdS black hole in thermal potential

abstract: As we all know the local topological properties of thermodynamical systems can be expressed by the winding numbers as the defects. The topological number that is the sum of all winding numbers can be used to classify the global topological nature of thermodynamical systems. In this paper, we construct a kind of thermal potential and then put the Einstein-power-Yang-Mills AdS black hole in it. Through the analysis of the geometric characteristics of the thermal potential based on the complex analysis we find the topological number is an invariant that is same as shown in the way of the Duan's $\phi$-mapping topological current [Sci. Sin. 9, 1072 (1979)]. Furthermore, we adopt the Kramer's escape rate method to investigate the intensity of the first-order phase transition.


title: Rapid single-shot parity spin readout in a silicon double quantum dot with fidelity exceeding 99 %

abstract: Silicon-based spin qubits offer a potential pathway toward realizing a scalable quantum computer owing to their compatibility with semiconductor manufacturing technologies. Recent experiments in this system have demonstrated crucial technologies, including high-fidelity quantum gates and multiqubit operation. However, the realization of a fault-tolerant quantum computer requires a high-fidelity spin measurement faster than decoherence. To address this challenge, we characterize and optimize the initialization and measurement procedures using the parity-mode Pauli spin blockade technique. Here, we demonstrate a rapid (with a duration of a few us) and accurate (with >99% fidelity) parity spin measurement in a silicon double quantum dot. These results represent a significant step forward toward implementing measurement-based quantum error correction in silicon.


title: The Role of User-Agent Interactions on Mobile Money Practices in Kenya and Tanzania

abstract: Digital financial services have catalyzed financial inclusion in Africa. Commonly implemented as a mobile wallet service referred to as mobile money (MoMo), the technology provides enormous benefits to its users, some of whom have long been unbanked. While the benefits of mobile money services have largely been documented, the challenges that arise -- especially in the interactions between human stakeholders -- remain relatively unexplored. In this study, we investigate the practices of mobile money users in their interactions with mobile money agents. We conduct 72 structured interviews in Kenya and Tanzania (n=36 per country). The results show that users and agents design workarounds in response to limitations and challenges that users face within the ecosystem. These include advances or loans from agents, relying on the user-agent relationships in place of legal identification requirements, and altering the intended transaction execution to improve convenience. Overall, the workarounds modify one or more of what we see as the core components of mobile money: the user, the agent, and the transaction itself. The workarounds pose new risks and challenges for users and the overall ecosystem. The results suggest a need for rethinking privacy and security of various components of the ecosystem, as well as policy and regulatory controls to safeguard interactions while ensuring the usability of mobile money.


title: What Makes Good Open-Vocabulary Detector: A Disassembling Perspective

abstract: Open-vocabulary detection (OVD) is a new object detection paradigm, aiming to localize and recognize unseen objects defined by an unbounded vocabulary. This is challenging since traditional detectors can only learn from pre-defined categories and thus fail to detect and localize objects out of pre-defined vocabulary. To handle the challenge, OVD leverages pre-trained cross-modal VLM, such as CLIP, ALIGN, etc. Previous works mainly focus on the open vocabulary classification part, with less attention on the localization part. We argue that for a good OVD detector, both classification and localization should be parallelly studied for the novel object categories. We show in this work that improving localization as well as cross-modal classification complement each other, and compose a good OVD detector jointly. We analyze three families of OVD methods with different design emphases. We first propose a vanilla method,i.e., cropping a bounding box obtained by a localizer and resizing it into the CLIP. We next introduce another approach, which combines a standard two-stage object detector with CLIP. A two-stage object detector includes a visual backbone, a region proposal network (RPN), and a region of interest (RoI) head. We decouple RPN and ROI head (DRR) and use RoIAlign to extract meaningful features. In this case, it avoids resizing objects. To further accelerate the training time and reduce the model parameters, we couple RPN and ROI head (CRR) as the third approach. We conduct extensive experiments on these three types of approaches in different settings. On the OVD-COCO benchmark, DRR obtains the best performance and achieves 35.8 Novel AP$_{50}$, an absolute 2.8 gain over the previous state-of-the-art (SOTA). For OVD-LVIS, DRR surpasses the previous SOTA by 1.9 AP$_{50}$ in rare categories. We also provide an object detection dataset called PID and provide a baseline on PID.


title: Induced Gravitational Waves with Kination Era for Recent Pulsar Timing Array Signals

abstract: The evidence of the stochastic gravitational-wave background around the nano-hertz frequency range was recently found by worldwide pulsar timing array (PTA) collaborations. One of the cosmological explanations is the gravitational waves induced by enhanced curvature perturbations, but the issue of primordial black hole (PBH) overproduction in this scenario was pointed out in the literature. Motivated by this issue and the $\Omega_\text{GW} \sim f^2$ scaling suggested by the data, we study the gravitational waves induced in a cosmological epoch dominated by a stiff fluid ($w=1$) and find that they can safely explain the PTA data well without PBH overproduction.


title: Chern Classes of Tropical Manifolds

abstract: We extend the definitions of Chern-Schwartz-MacPherson (CSM) cycles of matroids to tropical manifolds. To do this, we provide an alternate description of CSM cycles of matroids which is invariant under integer affine transformations. Utilising results of Esterov and Katz-Stapledon, we prove correspondence theorems for the CSM classes of tropicalisations of subvarieties of toric varieties. We also provide an adjunction formula relating the CSM cycles of a tropical manifold and a codimension-one tropical submanifold. Lastly, we establish Noether's Formula for compact tropical surfaces with a Delzant face structure. This extends the class of surfaces for which the formula had been previously proved by the third author.


title: JoTR: A Joint Transformer and Reinforcement Learning Framework for Dialog Policy Learning

abstract: Dialogue policy learning (DPL) is a crucial component of dialogue modelling. Its primary role is to determine the appropriate abstract response, commonly referred to as the "dialogue action". Traditional DPL methodologies have treated this as a sequential decision problem, using pre-defined action candidates extracted from a corpus. However, these incomplete candidates can significantly limit the diversity of responses and pose challenges when dealing with edge cases, which are scenarios that occur only at extreme operating parameters. To address these limitations, we introduce a novel framework, JoTR. This framework is unique as it leverages a text-to-text Transformer-based model to generate flexible dialogue actions. Unlike traditional methods, JoTR formulates a word-level policy that allows for a more dynamic and adaptable dialogue action generation, without the need for any action templates. This setting enhances the diversity of responses and improves the system's ability to handle edge cases effectively. In addition, JoTR employs reinforcement learning with a reward-shaping mechanism to efficiently finetune the word-level dialogue policy, which allows the model to learn from its interactions, improving its performance over time. We conducted an extensive evaluation of JoTR to assess its effectiveness. Our extensive evaluation shows that JoTR achieves state-of-the-art performance on two benchmark dialogue modelling tasks, as assessed by both user simulators and human evaluators.


title: Amplifying Non-Resonant Production of Dark Sector Particles in Scattering Dominance Regime

abstract: We investigate the enhancement of dark sector particle production within the scattering dominant regime. These particles typically exhibit a slight mixing with Standard Model particles through various portals, allowing for their generation through in-medium oscillation from Standard Model particle sources. Our analysis reveals that in the scattering dominance regime, with a significantly smaller scattering mean free path $\lambda_{\rm sca}$ compared to the absorption mean free path $\lambda_{\rm abs}$, the nonresonant production of sterile states can experience an enhancement by a factor of $\lambda_{\rm abs}/\lambda_{\rm sca}$. This phenomenon is demonstrated within the context of kinetic mixing dark photon production at a reactor, precisely satisfying this condition. By incorporating this collisional enhancement, we find that the current sensitivity to the mixing parameter $\epsilon$ for dark photons in the TEXONO experiment can be significantly improved across a range spanning from tens of eV to MeV. This advancement establishes the most stringent laboratory constraint within this mass spectrum for the dark photon. Sterile neutrino production, however, does not exhibit such enhancement, either due to the failure to meet the scattering dominance criterion or the neutrino damping in resonant production.


title: The Existence of Hamilton Cycle in n-Balanced k-Partite Graphs

abstract: Let $G_{k,n}$ be the $n$-balanced $k$-partite graph, whose vertex set can be partitioned into $k$ parts, each has $n$ vertices. In this paper, we prove that if $k \geq 2,n \geq 1$, for the edge set $E(G)$ of $G_{k,n}$ $$|E(G)| \geq\left\{\begin{array}{cc} 1 & \text { if } k=2, n=1 n^{2} C_{k}^{2}-(k-1) n+2 & \text { other } \end{array}\right.$$ then $G_{k,n}$ is hamiltonian. And the result may be the best.


title: Object-Centric Multiple Object Tracking

abstract: Unsupervised object-centric learning methods allow the partitioning of scenes into entities without additional localization information and are excellent candidates for reducing the annotation burden of multiple-object tracking (MOT) pipelines. Unfortunately, they lack two key properties: objects are often split into parts and are not consistently tracked over time. In fact, state-of-the-art models achieve pixel-level accuracy and temporal consistency by relying on supervised object detection with additional ID labels for the association through time. This paper proposes a video object-centric model for MOT. It consists of an index-merge module that adapts the object-centric slots into detection outputs and an object memory module that builds complete object prototypes to handle occlusions. Benefited from object-centric learning, we only require sparse detection labels (0%-6.25%) for object localization and feature binding. Relying on our self-supervised Expectation-Maximization-inspired loss for object association, our approach requires no ID labels. Our experiments significantly narrow the gap between the existing object-centric model and the fully supervised state-of-the-art and outperform several unsupervised trackers.


title: Ground Truth Generation Algorithm for Medium-Frequency R-Mode Skywave Detection

abstract: With the advancement of transportation vehicles, the importance and utility of navigation systems providing positioning, navigation, and timing (PNT) information have been increasing. Global navigation satellite systems (GNSS) are widely used navigation systems, but they are vulnerable to radio frequency interference (RFI), resulting in disruptions of satellite navigation signals. Recognizing this limitation, extensive research is being conducted on alternative navigation systems. In the maritime industry, ongoing research focuses on a groundbased integrated navigation system called R-Mode. R-Mode utilizes medium frequency (MF) differential GNSS (DGNSS) and very high-frequency data exchange system (VDES) signals as ranging signals for positioning and incorporates the existing ground-based navigation system known as enhanced long-range navigation (eLoran). However, MF R-Mode, which uses MF DGNSS signals for positioning, exhibits significant performance differences between daytime and nighttime due to skywave interference caused by signals reflecting off the ionosphere. In this study, we propose a skywave ground truth generation algorithm that is crucial for studying mitigation methods for MF R-Mode skywave interference. Furthermore, we demonstrate the proposed algorithm using field-test data.


title: Cantor's theorem may fail for finitary partitions

abstract: A partition is finitary if all its members are finite. For a set $A$, $\mathscr{B}(A)$ denotes the set of all finitary partitions of $A$. It is shown consistent with $\mathsf{ZF}$ (without the axiom of choice) that there exist an infinite set $A$ and a surjection from $A$ onto $\mathscr{B}(A)$. On the other hand, we prove in $\mathsf{ZF}$ some theorems concerning $\mathscr{B}(A)$ for infinite sets $A$, among which are the following: (1) If there is a finitary partition of $A$ without singleton blocks, then there are no surjections from $A$ onto $\mathscr{B}(A)$ and no finite-to-one functions from $\mathscr{B}(A)$ to $A$. (2) For all $n\in\omega$, $|A^n|<|\mathscr{B}(A)|$. (3) $|\mathscr{B}(A)|\neq|\mathrm{seq}(A)|$, where $\mathrm{seq}(A)$ is the set of all finite sequences of elements of $A$.


title: Image Hijacks: Adversarial Images can Control Generative Models at Runtime

abstract: Are foundation models secure against malicious actors? In this work, we focus on the image input to a vision-language model (VLM). We discover image hijacks, adversarial images that control the behaviour of VLMs at inference time, and introduce the general Behaviour Matching algorithm for training image hijacks. From this, we derive the Prompt Matching method, allowing us to train hijacks matching the behaviour of an arbitrary user-defined text prompt (e.g. 'the Eiffel Tower is now located in Rome') using a generic, off-the-shelf dataset unrelated to our choice of prompt. We use Behaviour Matching to craft hijacks for four types of attack, forcing VLMs to generate outputs of the adversary's choice, leak information from their context window, override their safety training, and believe false statements. We study these attacks against LLaVA, a state-of-the-art VLM based on CLIP and LLaMA-2, and find that all attack types achieve a success rate of over 80%. Moreover, our attacks are automated and require only small image perturbations.


title: Publicly Shareable Clinical Large Language Model Built on Synthetic Clinical Notes

abstract: The development of large language models tailored for handling patients' clinical notes is often hindered by the limited accessibility and usability of these notes due to strict privacy regulations. To address these challenges, we first create synthetic large-scale clinical notes using publicly available case reports extracted from biomedical literature. We then use these synthetic notes to train our specialized clinical large language model, Asclepius. While Asclepius is trained on synthetic data, we assess its potential performance in real-world applications by evaluating it using real clinical notes. We benchmark Asclepius against several other large language models, including GPT-3.5-turbo and other open-source alternatives. To further validate our approach using synthetic notes, we also compare Asclepius with its variants trained on real clinical notes. Our findings convincingly demonstrate that synthetic clinical notes can serve as viable substitutes for real ones when constructing high-performing clinical language models. This conclusion is supported by detailed evaluations conducted by both GPT-4 and medical professionals. All resources including weights, codes, and data used in the development of Asclepius are made publicly accessible for future research. (https://github.com/starmpcc/Asclepius)


title: ALJP: An Arabic Legal Judgment Prediction in Personal Status Cases Using Machine Learning Models

abstract: Legal Judgment Prediction (LJP) aims to predict judgment outcomes based on case description. Several researchers have developed techniques to assist potential clients by predicting the outcome in the legal profession. However, none of the proposed techniques were implemented in Arabic, and only a few attempts were implemented in English, Chinese, and Hindi. In this paper, we develop a system that utilizes deep learning (DL) and natural language processing (NLP) techniques to predict the judgment outcome from Arabic case scripts, especially in cases of custody and annulment of marriage. This system will assist judges and attorneys in improving their work and time efficiency while reducing sentencing disparity. In addition, it will help litigants, lawyers, and law students analyze the probable outcomes of any given case before trial. We use a different machine and deep learning models such as Support Vector Machine (SVM), Logistic regression (LR), Long Short Term Memory (LSTM), and Bidirectional Long Short-Term Memory (BiLSTM) using representation techniques such as TF-IDF and word2vec on the developed dataset. Experimental results demonstrate that compared with the five baseline methods, the SVM model with word2vec and LR with TF-IDF achieve the highest accuracy of 88% and 78% in predicting the judgment on custody cases and annulment of marriage, respectively. Furthermore, the LR and SVM with word2vec and BiLSTM model with TF-IDF achieved the highest accuracy of 88% and 69% in predicting the probability of outcomes on custody cases and annulment of marriage, respectively.


title: An HST COS ultra-violet spectroscopic survey of 311 DA white dwarfs.I. Fundamental parameters and comparative studies

abstract: White dwarf studies carry significant implications across multiple fields of astrophysics, including exoplanets, supernova explosions, and cosmological investigations. Thus, accurate determinations of their fundamental parameters (Teff and log g) are of utmost importance. While optical surveys have provided measurements for many white dwarfs, there is a lack of studies utilising ultraviolet (UV) data, particularly focusing on the warmer ones that predominantly emit in the UV range. Here, we present the medium-resolution far-UV spectroscopic survey of 311 DA white dwarfs obtained with Cosmic Origins Spectrograph (COS) onboard Hubble Space Telescope confirming 49 photometric Gaia candidates. We used 3D extinction maps, parallaxes, and hydrogen atmosphere models to fit the spectra of the stars that lie in the range 12 000 < Teff < 33 000 K, and 7 <= log g < 9.2. To assess the impact of input physics, we employed two mass-radius relations in the fitting and compared the results with previous studies. The comparisons suggest the COS Teff are systematically lower by 3 per cent on average than Balmer line fits while they differ by only 1.5 per cent from optical photometric studies. The mass distributions indicate that the COS masses are smaller by approximately 0.05 Msol and 0.02 Msol than Balmer lines and photometric masses, respectively. Performing several tests, we find that the discrepancies are either arising due to issues with the COS calibration, broadening theories for hydrogen lines, or interstellar reddening which needs further examination. Based on comparative analysis, we identify 30 binary candidates drawing attention for follow-up studies to confirm their nature.


title: FactLLaMA: Optimizing Instruction-Following Language Models with External Knowledge for Automated Fact-Checking

abstract: Automatic fact-checking plays a crucial role in combating the spread of misinformation. Large Language Models (LLMs) and Instruction-Following variants, such as InstructGPT and Alpaca, have shown remarkable performance in various natural language processing tasks. However, their knowledge may not always be up-to-date or sufficient, potentially leading to inaccuracies in fact-checking. To address this limitation, we propose combining the power of instruction-following language models with external evidence retrieval to enhance fact-checking performance. Our approach involves leveraging search engines to retrieve relevant evidence for a given input claim. This external evidence serves as valuable supplementary information to augment the knowledge of the pretrained language model. Then, we instruct-tune an open-sourced language model, called LLaMA, using this evidence, enabling it to predict the veracity of the input claim more accurately. To evaluate our method, we conducted experiments on two widely used fact-checking datasets: RAWFC and LIAR. The results demonstrate that our approach achieves state-of-the-art performance in fact-checking tasks. By integrating external evidence, we bridge the gap between the model's knowledge and the most up-to-date and sufficient context available, leading to improved fact-checking outcomes. Our findings have implications for combating misinformation and promoting the dissemination of accurate information on online platforms. Our released materials are accessible at: https://thcheung.github.io/factllama.


title: Spiking based Cellular Learning Automata (SCLA) algorithm for mobile robot motion formulation

abstract: In this paper a new method called SCLA which stands for Spiking based Cellular Learning Automata is proposed for a mobile robot to get to the target from any random initial point. The proposed method is a result of the integration of both cellular automata and spiking neural networks. The environment consists of multiple squares of the same size and the robot only observes the neighboring squares of its current square. It should be stated that the robot only moves either up and down or right and left. The environment returns feedback to the learning automata to optimize its decision making in the next steps resulting in cellular automata training. Simultaneously a spiking neural network is trained to implement long term improvements and reductions on the paths. The results show that the integration of both cellular automata and spiking neural network ends up in reinforcing the proper paths and training time reduction at the same time.


title: A Massively Parallel Dynamic Programming for Approximate Rectangle Escape Problem

abstract: Sublinear time complexity is required by the massively parallel computation (MPC) model. Breaking dynamic programs into a set of sparse dynamic programs that can be divided, solved, and merged in sublinear time. The rectangle escape problem (REP) is defined as follows: For $n$ axis-aligned rectangles inside an axis-aligned bounding box $B$, extend each rectangle in only one of the four directions: up, down, left, or right until it reaches $B$ and the density $k$ is minimized, where $k$ is the maximum number of extensions of rectangles to the boundary that pass through a point inside bounding box $B$. REP is NP-hard for $k>1$. If the rectangles are points of a grid (or unit squares of a grid), the problem is called the square escape problem (SEP) and it is still NP-hard. We give a $2$-approximation algorithm for SEP with $k\geq2$ with time complexity $O(n^{3/2}k^2)$. This improves the time complexity of existing algorithms which are at least quadratic. Also, the approximation ratio of our algorithm for $k\geq 3$ is $3/2$ which is tight. We also give a $8$-approximation algorithm for REP with time complexity $O(n\log n+nk)$ and give a MPC version of this algorithm for $k=O(1)$ which is the first parallel algorithm for this problem.


title: On the Rankin-Selberg $L$-function related to the Godement-Jacquet $L$-function II

abstract: In this paper, we consider the $k$-th Riesz mean for the coefficients of the Rankin-Selberg $L$-function $L_{f \times f}(s)$ related to the Godement-Jacquet $L$-function with respect to $SL(n,\mathbb{Z})$. We establish an asymptotic formula for the $k$-th Riesz mean with an improved range and a better error term. As a result, we get an asymptotic relation for the partial sum of the coefficients of $L_{f \times f}(s)$.


title: NeuroSurgeon: A Toolkit for Subnetwork Analysis

abstract: Despite recent advances in the field of explainability, much remains unknown about the algorithms that neural networks learn to represent. Recent work has attempted to understand trained models by decomposing them into functional circuits (Csord\'as et al., 2020; Lepori et al., 2023). To advance this research, we developed NeuroSurgeon, a python library that can be used to discover and manipulate subnetworks within models in the Huggingface Transformers library (Wolf et al., 2019). NeuroSurgeon is freely available at https://github.com/mlepori1/NeuroSurgeon.


title: City electric power consumption forecasting based on big data & neural network under smart grid background

abstract: With the development of the electric power system, the smart grid has become an important part of the smart city. The rational transmission of electric energy and the guarantee of power supply of the smart grid are very important to smart cities, smart cities can provide better services through smart grids. Among them, predicting and judging city electric power consumption is closely related to electricity supply and regulation, the location of power plants, and the control of electricity transmission losses. Based on big data, this paper establishes a neural network and considers the influence of various nonlinear factors on city electric power consumption. A model is established to realize the prediction of power consumption. Based on the permutation importance test, an evaluation model of the influencing factors of city electric power consumption is constructed to obtain the core characteristic values of city electric power consumption prediction, which can provide an important reference for electric power related industry.


title: Detecting Suicidality in Arabic Tweets Using Machine Learning and Deep Learning Techniques

abstract: Social media platforms have revolutionized traditional communication techniques by enabling people globally to connect instantaneously, openly, and frequently. People use social media to share personal stories and express their opinion. Negative emotions such as thoughts of death, self-harm, and hardship are commonly expressed on social media, particularly among younger generations. As a result, using social media to detect suicidal thoughts will help provide proper intervention that will ultimately deter others from self-harm and committing suicide and stop the spread of suicidal ideation on social media. To investigate the ability to detect suicidal thoughts in Arabic tweets automatically, we developed a novel Arabic suicidal tweets dataset, examined several machine learning models, including Na\"ive Bayes, Support Vector Machine, K-Nearest Neighbor, Random Forest, and XGBoost, trained on word frequency and word embedding features, and investigated the ability of pre-trained deep learning models, AraBert, AraELECTRA, and AraGPT2, to identify suicidal thoughts in Arabic tweets. The results indicate that SVM and RF models trained on character n-gram features provided the best performance in the machine learning models, with 86% accuracy and an F1 score of 79%. The results of the deep learning models show that AraBert model outperforms other machine and deep learning models, achieving an accuracy of 91\% and an F1-score of 88%, which significantly improves the detection of suicidal ideation in the Arabic tweets dataset. To the best of our knowledge, this is the first study to develop an Arabic suicidality detection dataset from Twitter and to use deep-learning approaches in detecting suicidality in Arabic posts.


title: Further study on forbidden subgraphs of power graph

abstract: The undirected power graph (or simply power graph) of a group $G$, denoted by $P(G)$, is a graph whose vertices are the elements of the group $G$, in which two vertices $u$ and $v$ are adjacent if and only if either $u=v^m$ or $v=u^n$ for some positive integers $m$, $n$. Forbidden subgraph has a significant role in graph theory. In our previous work \cite{cmm}, we consider five important classes of forbidden subgraphs of power graph which include perfect graphs, cographs, chordal graphs, split graphs and threshold graphs. In this communication, we go even further in that way. This study, inspired by the articles \cite{celmmp,dong,ck}, examines additional $4$ significant forbidden classes, including chain graphs, diamond-free graphs, $\{P_{5}, \overline{P_{5}}\}$-free graphs and $\{P_{2}\cup P_{3}, \overline{P_{2}\cup P_{3}}\}$-free graph. The finite groups whose power graphs are chain graphs, diamond-free graphs, and $\{P_{2}\cup P_{3}, \overline{P_{2}\cup P_{3}}\}$-free graphs have been successfully identified in this work. In case of $\{P_{5}, \overline{P_{5}}\}$-free graphs, we completely determine all the nilpotent groups, direct product of two groups, finite simple groups whose power graph is $\{P_{5}, \overline{P_{5}}\}$-free.


title: DiffuGen: Adaptable Approach for Generating Labeled Image Datasets using Stable Diffusion Models

abstract: Generating high-quality labeled image datasets is crucial for training accurate and robust machine learning models in the field of computer vision. However, the process of manually labeling real images is often time-consuming and costly. To address these challenges associated with dataset generation, we introduce "DiffuGen," a simple and adaptable approach that harnesses the power of stable diffusion models to create labeled image datasets efficiently. By leveraging stable diffusion models, our approach not only ensures the quality of generated datasets but also provides a versatile solution for label generation. In this paper, we present the methodology behind DiffuGen, which combines the capabilities of diffusion models with two distinct labeling techniques: unsupervised and supervised. Distinctively, DiffuGen employs prompt templating for adaptable image generation and textual inversion to enhance diffusion model capabilities.


title: Suicidal Pedestrian: Generation of Safety-Critical Scenarios for Autonomous Vehicles

abstract: Developing reliable autonomous driving algorithms poses challenges in testing, particularly when it comes to safety-critical traffic scenarios involving pedestrians. An open question is how to simulate rare events, not necessarily found in autonomous driving datasets or scripted simulations, but which can occur in testing, and, in the end may lead to severe pedestrian related accidents. This paper presents a method for designing a suicidal pedestrian agent within the CARLA simulator, enabling the automatic generation of traffic scenarios for testing safety of autonomous vehicles (AVs) in dangerous situations with pedestrians. The pedestrian is modeled as a reinforcement learning (RL) agent with two custom reward functions that allow the agent to either arbitrarily or with high velocity to collide with the AV. Instead of significantly constraining the initial locations and the pedestrian behavior, we allow the pedestrian and autonomous car to be placed anywhere in the environment and the pedestrian to roam freely to generate diverse scenarios. To assess the performance of the suicidal pedestrian and the target vehicle during testing, we propose three collision-oriented evaluation metrics. Experimental results involving two state-of-the-art autonomous driving algorithms trained end-to-end with imitation learning from sensor data demonstrate the effectiveness of the suicidal pedestrian in identifying decision errors made by autonomous vehicles controlled by the algorithms.


title: MIMOCrypt: Multi-User Privacy-Preserving Wi-Fi Sensing via MIMO Encryption

abstract: Wi-Fi signals may help realize low-cost and non-invasive human sensing, yet it can also be exploited by eavesdroppers to capture private information. Very few studies rise to handle this privacy concern so far; they either jam all sensing attempts or rely on sophisticated technologies to support only a single sensing user, rendering them impractical for multi-user scenarios. Moreover, these proposals all fail to exploit Wi-Fi's multiple-in multiple-out (MIMO) capability. To this end, we propose MIMOCrypt, a privacy-preserving Wi-Fi sensing framework to support realistic multi-user scenarios. To thwart unauthorized eavesdropping while retaining the sensing and communication capabilities for legitimate users, MIMOCrypt innovates in exploiting MIMO to physically encrypt Wi-Fi channels, treating the sensed human activities as physical plaintexts. The encryption scheme is further enhanced via an optimization framework, aiming to strike a balance among i) risk of eavesdropping, ii) sensing accuracy, and iii) communication quality, upon securely conveying decryption keys to legitimate users. We implement a prototype of MIMOCrypt on an SDR platform and perform extensive experiments to evaluate its effectiveness in common application scenarios, especially privacy-sensitive human gesture recognition.


title: Optimal Repair Strategy Against Advanced Persistent Threats Under Time-Varying Networks

abstract: Advanced persistent threat (APT) is a kind of stealthy, sophisticated, and long-term cyberattack that has brought severe financial losses and critical infrastructure damages. Existing works mainly focus on APT defense under stable network topologies, while the problem under time-varying dynamic networks (e.g., vehicular networks) remains unexplored, which motivates our work. Besides, the spatiotemporal dynamics in defense resources, complex attackers' lateral movement behaviors, and lack of timely defense make APT defense a challenging issue under time-varying networks. In this paper, we propose a novel game-theoretical APT defense approach to promote real-time and optimal defense strategy-making under both periodic time-varying and general time-varying environments. Specifically, we first model the interactions between attackers and defenders in an APT process as a dynamic APT repair game, and then formulate the APT damage minimization problem as the precise prevention and control (PPAC) problem. To derive the optimal defense strategy under both latency and defense resource constraints, we further devise an online optimal control-based mechanism integrated with two backtracking-forward algorithms to fastly derive the near-optimal solution of the PPAC problem in real time. Extensive experiments are carried out, and the results demonstrate that our proposed scheme can efficiently obtain optimal defense strategy in 54481 ms under seven attack-defense interactions with 9.64$\%$ resource occupancy in stimulated periodic time-varying and general time-varying networks. Besides, even under static networks, our proposed scheme still outperforms existing representative APT defense approaches in terms of service stability and defense resource utilization.


title: Interpretable Medical Imagery Diagnosis with Self-Attentive Transformers: A Review of Explainable AI for Health Care

abstract: Recent advancements in artificial intelligence (AI) have facilitated its widespread adoption in primary medical services, addressing the demand-supply imbalance in healthcare. Vision Transformers (ViT) have emerged as state-of-the-art computer vision models, benefiting from self-attention modules. However, compared to traditional machine-learning approaches, deep-learning models are complex and are often treated as a "black box" that can cause uncertainty regarding how they operate. Explainable Artificial Intelligence (XAI) refers to methods that explain and interpret machine learning models' inner workings and how they come to decisions, which is especially important in the medical domain to guide the healthcare decision-making process. This review summarises recent ViT advancements and interpretative approaches to understanding the decision-making process of ViT, enabling transparency in medical diagnosis applications.


title: Redundant basis interpretation of Doi-Peliti method and an application

abstract: The Doi-Peliti method is effective for investigating classical stochastic processes, and it has wide applications, including field theoretic approaches. Furthermore, it is applicable not only to master equations but also to stochastic differential equations; one can derive a kind of discrete process from stochastic differential equations. A remarkable fact is that the Doi-Peliti method is related to a different analytical approach, i.e., generating function. The connection with the generating function approach helps to understand the derivation of discrete processes from stochastic differential equations. Here, a redundant basis interpretation for the Doi-Peliti method is proposed, which enables us to derive different types of discrete processes. The conventional correspondence with the generating function approach is also extended. The proposed extensions give us a new tool to study stochastic differential equations. As an application of the proposed interpretation, we perform numerical experiments for a finite-state approximation of the derived discrete process from the noisy van der Pol system; the redundant basis yields reasonable results compared with the conventional discrete process with the same number of states.


title: Why do universal adversarial attacks work on large language models?: Geometry might be the answer

abstract: Transformer based large language models with emergent capabilities are becoming increasingly ubiquitous in society. However, the task of understanding and interpreting their internal workings, in the context of adversarial attacks, remains largely unsolved. Gradient-based universal adversarial attacks have been shown to be highly effective on large language models and potentially dangerous due to their input-agnostic nature. This work presents a novel geometric perspective explaining universal adversarial attacks on large language models. By attacking the 117M parameter GPT-2 model, we find evidence indicating that universal adversarial triggers could be embedding vectors which merely approximate the semantic information in their adversarial training region. This hypothesis is supported by white-box model analysis comprising dimensionality reduction and similarity measurement of hidden representations. We believe this new geometric perspective on the underlying mechanism driving universal attacks could help us gain deeper insight into the internal workings and failure modes of LLMs, thus enabling their mitigation.


title: SortedNet: A Scalable and Generalized Framework for Training Modular Deep Neural Networks

abstract: Deep neural networks (DNNs) must cater to a variety of users with different performance needs and budgets, leading to the costly practice of training, storing, and maintaining numerous user/task-specific models. There are solutions in the literature to deal with single dynamic or many-in-one models instead of many individual networks; however, they suffer from significant drops in performance, lack of generalization across different model architectures or different dimensions (e.g. depth, width, attention blocks), heavy model search requirements during training, and training a limited number of sub-models. To address these limitations, we propose SortedNet, a generalized and scalable training solution to harness the inherent modularity of DNNs. Thanks to a generalized nested architecture (which we refer as \textit{sorted} architecture in this paper) with shared parameters and its novel update scheme combining random sub-model sampling and a new gradient accumulation mechanism, SortedNet enables the training of sub-models simultaneously along with the training of the main model (without any significant extra training or inference overhead), simplifies dynamic model selection, customizes deployment during inference, and reduces the model storage requirement significantly. The versatility and scalability of SortedNet are validated through various architectures and tasks, including LLaMA, BERT, RoBERTa (NLP tasks), ResNet and MobileNet (image classification) demonstrating its superiority over existing dynamic training methods. For example, we introduce a novel adaptive self-speculative approach based on sorted-training to accelerate large language models decoding. Moreover, SortedNet is able to train 160 sub-models at once, achieving at least 96\% of the original model's performance.


title: Beyond Screens: Supporting Co-located Augmented Reality Experiences with Smart Home Devices

abstract: We introduce Spooky Spirits, an AR game that makes novel use of everyday smart home devices to support co-located play. Recent exploration of co-located AR experiences consists mainly of digital visual augmentations on mobile or head-mounted screens. In this work, we leverage widely adopted smart lightbulbs to expand AR capabilities beyond the digital and into the physical world, further leveraging the physicality of users' shared environment.


title: Leveraging Learning Metrics for Improved Federated Learning

abstract: Currently in the federated setting, no learning schemes leverage the emerging research of explainable artificial intelligence (XAI) in particular the novel learning metrics that help determine how well a model is learning. One of these novel learning metrics is termed `Effective Rank' (ER) which measures the Shannon Entropy of the singular values of a matrix, thus enabling a metric determining how well a layer is mapping. By joining federated learning and the learning metric, effective rank, this work will \textbf{(1)} give the first federated learning metric aggregation method \textbf{(2)} show that effective rank is well-suited to federated problems by out-performing baseline Federated Averaging \cite{konevcny2016federated} and \textbf{(3)} develop a novel weight-aggregation scheme relying on effective rank.


title: Laplace Sum Rules in Quantum ChromoDynamics

abstract: We shortly review some applications of the (inverse) Laplace (LSR) transform sum rules in Quantum ChromoDynamics (QCD) for extracting the fundamental QCD parameters (coupling constant $\alpha_s$, quark and gluon condensates) and the hadron properties (masses and decay constants). Links of LSR to some other forms of QCD spectral sum rules are also discussed. As prototype examples, we discuss in detail the $\rho$ and $\pi$ meson sum rules.


title: Electrical detection of parallel parametric amplification and attenuation in $\mathrm{Y}_3\mathrm{Fe}_5\mathrm{O}_{12}$/$\mathrm{Pt}$ bilayer disk

abstract: We report a systematic quantitative evaluation of parametric amplification gain of magnetization dynamics in ytirrium iron garnet ($\mathrm{Y}_3\mathrm{Fe}_5\mathrm{O}_{12}$) thin disk via a.c. spin pumping and inverse spin Hall effect. We demonstrate its signature phase-dependence where amplification and attenuation occur every $\frac{\pi}{2}$ phase shift of the input signal. The results also show the pump-power dependence of the gain that is explained well by our theoretical model. Finally, the optimal conditions for the amplification is investigated by measuring the magnetic field dependence, where we find the highest gain of 11.4 dB.


title: Dynamics of ultrarelativistic charged particles with strong radiation reaction. II. Entry into Aristotelian equilibrium

abstract: As first proposed by Gruzinov, a charged particle moving in strong electromagnetic fields can enter an equilibrium state where the power input from the electric field is balanced by radiative losses. When this occurs, the particle moves at nearly light speed along special directions called the principal null directions (PNDs) of the electromagnetic field. This equilibrium is "Aristotelian" in that the particle velocity, rather than acceleration, is determined by the local electromagnetic field. In paper I of this series, we analytically derived the complete formula for the particle velocity at leading order in its deviation from the PND, starting from the fundamental Landau-Lifshitz (LL) equation governing charged particle motion, and demonstrated agreement with numerical solutions of the LL equation. We also identified five necessary conditions on the field configuration for the equilibrium to occur. In this paper we study the entry into equilibrium using a similar combination of analytical and numerical techniques. We simplify the necessary conditions and provide strong numerical evidence that they are also sufficient for equilibrium to occur. Based on exact and approximate solutions to the LL equation, we identify key timescales and properties of entry into equilibrium and show quantitative agreement with numerical simulations. Part of this analysis shows analytically that the equilibrium is linearly stable and identifies the presence of oscillations during entry, which may have distinctive radiative signatures. Our results provide a solid foundation for using the Aristotelian approximation when modeling relativistic plasmas with strong electromagnetic fields.


title: Suppression of both superconductivity and structural transition in hole-doped MoTe$_2$ induced by Ta substitution

abstract: Type-II Weyl semimetal MoTe$_2$ exhibits a first-order structural transition at $T_s$ $\sim$250~K and superconducts at $T_c$ $\sim$0.1~K at ambient pressure. Both $T_s$ and $T_c$ can be manipulated by several tuning parameters, such as hydrostatic pressure and chemical substitution. It is often reported that suppressing $T_s$ enhances $T_c$, but our study shows a different behaviour when MoTe$_2$ is hole-doped by Ta. When $T_s$ is suppressed by Ta doping, $T_c$ is also suppressed. Our findings suggest that the suppression of $T_s$ does not necessarily enhance superconductivity in MoTe$_2$. By connecting with the findings of electron-doped MoTe$_2$, we argue that varying electron carrier concentration can effectively tune $T_c$. In addition, the Hall coefficient is enhanced around the doping region, where $T_s$ is completely suppressed, suggesting that the critical scattering around the structural transition may also play a role in suppressing $T_c$.


title: Second MAYA Catalog of Binary Black Hole Numerical Relativity Waveforms

abstract: Numerical relativity waveforms are a critical resource in the quest to deepen our understanding of the dynamics of, and gravitational waves emitted from, merging binary systems. We present 181 new numerical relativity simulations as the second MAYA catalog of binary black hole waveforms (a sequel to the Georgia Tech waveform catalog). Most importantly, these include 55 high mass ratio (q >= 4), 48 precessing, and 92 eccentric (e > 0.01) simulations, including 7 simulations which are both eccentric and precessing. With these significant additions, this new catalog fills in considerable gaps in existing public numerical relativity waveform catalogs. The waveforms presented in this catalog are shown to be convergent and are consistent with current gravitational wave models. They are available to the public at https://cgp.ph.utexas.edu/waveform.


title: Multichannel quantum defect theory with a frame transformation for ultracold molecular collisions in magnetic fields

abstract: We extend the powerful formalism of multichannel quantum defect theory combined with a frame transformation (MQDT-FT) to ultracold molecular collisions in magnetic fields. By solving the coupled-channel equations with hyperfine and Zeeman interactions omitted at short range, MQDT-FT enables a drastically simplified description of the intricate quantum dynamics of ultracold molecular collisions in terms of a small number of short-range parameters. We apply the formalism to ultracold Mg + NH collisions in a magnetic field, achieving a 10$^4$-fold reduction in computational effort.


title: Superconducting diode effect and interference patterns in Kagome CsV3Sb5

abstract: The interplay among frustrated lattice geometry, nontrivial band topology and correlation yields rich quantum states of matter in Kagome systems. A series of recent members in this family, AV3Sb5 (A= K, Rb, Cs), exhibit a cascade of symmetry-breaking transitions, involving the 3Q chiral charge ordering, electronic nematicity, roton pair-density-wave and superconductivity. The nature of the superconducting order is yet to be resolved. Here, we report an indication of chiral superconducting domains with boundary supercurrents in intrinsic CsV3Sb5 flakes. Magnetic field-free superconducting diode effect is observed with polarity modulated by thermal histories, suggesting dynamical superconducting order domains in a spontaneous time-reversal symmetry breaking background. Strikingly, the critical current exhibits the double-slit superconducting interference patterns when subjected to an external magnetic field. Characteristics of the patterns are modulated by thermal cycling. These phenomena are proposed as a consequence of periodically modulated supercurrents flowing along certain domain boundaries constrained by fluxoid quantization. Our results imply a chiral superconducting order, opening a potential for exploring exotic physics, e.g. Majorana zero modes, in this intriguing topological Kagome system.


title: Application of Machine Learning in Melanoma Detection and the Identification of 'Ugly Duckling' and Suspicious Naevi: A Review

abstract: Skin lesions known as naevi exhibit diverse characteristics such as size, shape, and colouration. The concept of an "Ugly Duckling Naevus" comes into play when monitoring for melanoma, referring to a lesion with distinctive features that sets it apart from other lesions in the vicinity. As lesions within the same individual typically share similarities and follow a predictable pattern, an ugly duckling naevus stands out as unusual and may indicate the presence of a cancerous melanoma. Computer-aided diagnosis (CAD) has become a significant player in the research and development field, as it combines machine learning techniques with a variety of patient analysis methods. Its aim is to increase accuracy and simplify decision-making, all while responding to the shortage of specialized professionals. These automated systems are especially important in skin cancer diagnosis where specialist availability is limited. As a result, their use could lead to life-saving benefits and cost reductions within healthcare. Given the drastic change in survival when comparing early stage to late-stage melanoma, early detection is vital for effective treatment and patient outcomes. Machine learning (ML) and deep learning (DL) techniques have gained popularity in skin cancer classification, effectively addressing challenges, and providing results equivalent to that of specialists. This article extensively covers modern Machine Learning and Deep Learning algorithms for detecting melanoma and suspicious naevi. It begins with general information on skin cancer and different types of naevi, then introduces AI, ML, DL, and CAD. The article then discusses the successful applications of various ML techniques like convolutional neural networks (CNN) for melanoma detection compared to dermatologists' performance. Lastly, it examines ML methods for UD naevus detection and identifying suspicious naevi.


abstract: Let $\{f_j\}_{j=1}^n$ and $\{g_k\}_{k=1}^m$ be Parseval p-frames for a finite dimensional Banach space $\mathcal{X}$. Then we show that \begin{align} (1) \quad\quad\quad\quad \log (nm)\geq S_f (x)+S_g (x)\geq -p \log \left(\displaystyle\sup_{y \in \mathcal{X}_f\cap \mathcal{X}_g, \|y\|=1}\left(\max_{1\leq j\leq n, 1\leq k\leq m}|f_j(y)g_k(y)|\right)\right), \quad \forall x \in \mathcal{X}_f\cap \mathcal{X}_g, \end{align} where \begin{align*} &\mathcal{X}_f:= \{z\in \mathcal{X}: f_j(z)\neq 0, 1\leq j \leq n\}, \quad \mathcal{X}_g:= \{w\in \mathcal{X}: g_k(w)\neq 0, 1\leq k \leq m\},\\ &S_f (x):= -\sum_{j=1}^{n}\left|f_j\left(\frac{x}{\|x\|}\right)\right|^p\log \left|f_j\left(\frac{x}{\|x\|}\right)\right|^p, \quad S_g (x):= -\sum_{k=1}^{m}\left|g_k\left(\frac{x}{\|x\|}\right)\right|^p\log \left|g_k\left(\frac{x}{\|x\|}\right)\right|^p, \quad \forall x \in \mathcal{X}_g. \end{align*} We call Inequality (1) as \textbf{Functional Deutsch Uncertainty Principle}. For Hilbert spaces, we show that Inequality (1) reduces to the uncertainty principle obtained by Deutsch \textit{[Phys. Rev. Lett., 1983]}. We also derive a dual of Inequality (1).


title: RLAIF: Scaling Reinforcement Learning from Human Feedback with AI Feedback

abstract: Reinforcement learning from human feedback (RLHF) has proven effective in aligning large language models (LLMs) with human preferences. However, gathering high-quality human preference labels can be a time-consuming and expensive endeavor. RL from AI Feedback (RLAIF), introduced by Bai et al., offers a promising alternative that leverages a powerful off-the-shelf LLM to generate preferences in lieu of human annotators. Across the tasks of summarization, helpful dialogue generation, and harmless dialogue generation, RLAIF achieves comparable or superior performance to RLHF, as rated by human evaluators. Furthermore, RLAIF demonstrates the ability to outperform a supervised fine-tuned baseline even when the LLM preference labeler is the same size as the policy. In another experiment, directly prompting the LLM for reward scores achieves superior performance to the canonical RLAIF setup, where LLM preference labels are first distilled into a reward model. Finally, we conduct extensive studies on techniques for generating aligned AI preferences. Our results suggest that RLAIF can achieve human-level performance, offering a potential solution to the scalability limitations of RLHF.


title: Concept for an Automatic Annotation of Automotive Radar Data Using AI-segmented Aerial Camera Images

abstract: This paper presents an approach to automatically annotate automotive radar data with AI-segmented aerial camera images. For this, the images of an unmanned aerial vehicle (UAV) above a radar vehicle are panoptically segmented and mapped in the ground plane onto the radar images. The detected instances and segments in the camera image can then be applied directly as labels for the radar data. Owing to the advantageous bird's eye position, the UAV camera does not suffer from optical occlusion and is capable of creating annotations within the complete field of view of the radar. The effectiveness and scalability are demonstrated in measurements, where 589 pedestrians in the radar data were automatically labeled within 2 minutes.


title: Co-Tuning of Cloud Infrastructure and Distributed Data Processing Platforms

abstract: Distributed Data Processing Platforms (e.g., Hadoop, Spark, and Flink) are widely used to store and process data in a cloud environment. These platforms distribute the storage and processing of data among the computing nodes of a cloud. The efficient use of these platforms requires users to (i) configure the cloud i.e., determine the number and type of computing nodes, and (ii) tune the configuration parameters (e.g., data replication factor) of the platform. However, both these tasks require in-depth knowledge of the cloud infrastructure and distributed data processing platforms. Therefore, in this paper, we first study the relationship between the configuration of the cloud and the configuration of distributed data processing platforms to determine how cloud configuration impacts platform configuration. After understanding the impacts, we propose a co-tuning approach for recommending optimal co-configuration of cloud and distributed data processing platforms. The proposed approach utilizes machine learning and optimization techniques to maximize the performance of the distributed data processing system deployed on the cloud. We evaluated our approach for Hadoop, Spark, and Flink in a cluster deployed on the OpenStack cloud. We used three benchmarking workloads (WordCount, Sort, and K-means) in our evaluation. Our results reveal that, in comparison to default settings, our co-tuning approach reduces execution time by 17.5% and $ cost by 14.9% solely via configuration tuning.


title: Evaluation of onboard sensors for track geometry monitoring against conventional track recording measurements

abstract: The main objective of this paper is to assess the estimation of track condition parameters using onboard micro-electro-mechanical-system (MEMS) accelerometers. A prototype of an onboard data acquisition system was designed and installed on a track recording car (TRC) and a measurement campaign was conducted on an extensive portion of the Brisbane Suburban railway network. Comparison of the accelerometer-based results vs TRC recordings have shown that accelerometers installed on the bogie are the best compromise between proximity to the source and insensitivity to impulsive noise. It was found that two vertical bogie accelerometers (left and right) provide a good quantitative estimate of vertical alignment and that strong correlations with TRC measurements exist for lateral MEMS accelerometer measurements (horizontal alignment). These findings suggest that two bogie MEMS accelerometers with vertical and lateral measurement axes are effective in estimating geographical distributions of vertical/horizontal alignment.


title: Probing Inelastic Dark Matter at the LHC, FASER and STCF

abstract: In this work, we explore the potential of probing the inelastic dark matter (DM) model with an extra U(1)D gauge symmetry at the Large Hadron Collider, ForwArd Search ExpeRiment and Super Tau Charm Factory. To saturate the observed DM relic density, the mass splitting between two light dark states has to be small enough, and thus leads to some distinctive signatures at these colliders. By searching for the long-lived particle, the displaced muon-jets, the soft leptons, and the mono-photon events, we find that the inelastic DM mass in the range of 1 MeV to 210 GeV could be tested.


title: Discovery of compact disc Galaxies with High Surface Brightness in the Sloan Digital Sky Survey

abstract: Compact disc galaxies (CDGs) with high surface brightness were identified in the Sloan Digital Sky Survey (SDSS) data. We determined the surface profiles of the CDGs and compared them to those of normal-sized disk galaxies (NDGs). The CDGs have higher central brightness and older stellar age than the NDGs. Furthermore, the brightness profiles of the CDGs fit a S{\'e}rsic model with $n \approx 2.11$ and have a zero $g^{\prime}-r^{\prime}$ color gradient on average. By contrast, the NDGs fit an exponential profile and have a negative color gradient on average. These results indicate that the structure and stellar population of the CDGs and NDGs differ. We suggest that the CDGs are ancient galaxies in the quenching phase following the initial central starburst.


title: Hadamard variation of eigenvalues with respect to general domain perturbations

abstract: We study Hadamard variation of eigenvalues of Laplacian with respect to general domain perturbations. We show their existence up to the second order rigorously and characterize the derivatives, using associated eigenvalue problems in finite dimensional spaces. Then smooth rearrangement of multiple eigenvalues is explicitly given. This result follows from an abstract theory, applicable to general perturbations of symmetric bilinear forms.


title: Mathematical models of Plasmodium vivax transmission: a scoping review

abstract: Plasmodium vivax is one of the most geographically widespread malaria parasites in the world due to its ability to remain dormant in the human liver as hypnozoites and subsequently reactivate after the initial infection (i.e. relapse infections). More than 80% of P. vivax infections are due to hypnozoite reactivation. Mathematical modelling approaches have been widely applied to understand P. vivax dynamics and predict the impact of intervention outcomes. In this article, we provide a scoping review of mathematical models that capture P. vivax transmission dynamics published between January 1988 and May 2023 to provide a comprehensive summary of the mathematical models and techniques used to model P. vivax dynamics. We aim to assist researchers working on P. vivax transmission and other aspects of P. vivax malaria by highlighting best practices in currently published models and highlighting where future model development is required. We provide an overview of the different strategies used to incorporate the parasite's biology, use of multiple scales (within-host and population-level), superinfection, immunity, and treatment interventions. In most of the published literature, the rationale for different modelling approaches was driven by the research question at hand. Some models focus on the parasites' complicated biology, while others incorporate simplified assumptions to avoid model complexity. Overall, the existing literature on mathematical models for P. vivax encompasses various aspects of the parasite's dynamics. We recommend that future research should focus on refining how key aspects of P. vivax dynamics are modelled, including spatial heterogeneity in exposure risk, the accumulation of hypnozoite variation, the interaction between P. falciparum and P. vivax, acquisition of immunity, and recovery under superinfection.


title: Technical Companion to Example-Based Procedural Modeling Using Graph Grammars

abstract: This is a companion piece to my paper on "Example-Based Procedural Modeling Using Graph Grammars." This paper examines some of the theoretical issues in more detail. This paper discusses some more complex parts of the implementation, why certain algorithmic decisions were made, proves the algorithm can solve certain classes of problems, and examines other interesting theoretical questions.


title: Superexchange coupling of donor qubits in silicon

abstract: Atomic engineering in a solid-state material has the potential to functionalize the host with novel phenomena. STM-based lithographic techniques have enabled the placement of individual phosphorus atoms at selective lattice sites of silicon with atomic precision. Here, we show that by placing four phosphorus donors spaced 10-15 nm apart from their neighbours in a linear chain, it is possible to realize coherent spin coupling between the end dopants of the chain, analogous to the superexchange interaction in magnetic materials. Since phosphorus atoms are a promising building block of a silicon quantum computer, this enables spin coupling between their bound electrons beyond nearest neighbours, allowing the qubits to be spaced out by 30-45 nm. The added flexibility in architecture brought about by this long-range coupling not only reduces gate densities but can also reduce correlated noise between qubits from local noise sources that are detrimental to error correction codes. We base our calculations on a full configuration interaction technique in the atomistic tight-binding basis, solving the 4-electron problem exactly, over a domain of a million silicon atoms. Our calculations show that superexchange can be tuned electrically through gate voltages where it is less sensitive to charge noise and donor placement errors.


title: SparseSat-NeRF: Dense Depth Supervised Neural Radiance Fields for Sparse Satellite Images

abstract: Digital surface model generation using traditional multi-view stereo matching (MVS) performs poorly over non-Lambertian surfaces, with asynchronous acquisitions, or at discontinuities. Neural radiance fields (NeRF) offer a new paradigm for reconstructing surface geometries using continuous volumetric representation. NeRF is self-supervised, does not require ground truth geometry for training, and provides an elegant way to include in its representation physical parameters about the scene, thus potentially remedying the challenging scenarios where MVS fails. However, NeRF and its variants require many views to produce convincing scene's geometries which in earth observation satellite imaging is rare. In this paper we present SparseSat-NeRF (SpS-NeRF) - an extension of Sat-NeRF adapted to sparse satellite views. SpS-NeRF employs dense depth supervision guided by crosscorrelation similarity metric provided by traditional semi-global MVS matching. We demonstrate the effectiveness of our approach on stereo and tri-stereo Pleiades 1B/WorldView-3 images, and compare against NeRF and Sat-NeRF. The code is available at https://github.com/LulinZhang/SpS-NeRF


title: Data-driven Topology Optimization of Channel Flow Problems

abstract: Typical topology optimization methods require complex iterative calculations, which cannot meet the requirements of fast computing applications. The neural network is studied to reduce the time of computing the optimization result, however, the data-driven method for fluid topology optimization is less of discussion. This paper intends to introduce a neural network architecture that avoids time-consuming iterative processes and has a strong generalization ability for topology optimization for Stokes flow. Different neural network methods including Convolution Neural Networks (CNN), conditional Generative Adversarial Networks (cGAN), and Denoising Diffusion Implicit Models (DDIM) which have been already successfully used in solid structure optimization problems are mutated and examined for fluid topology optimization cases. The presented neural network method is tested on the channel flow topology optimization problems for Stokes flow. The results have shown that our presented method has high pixel accuracy and gains a 663 times decrease on average in execution time compared with the conventional method.


title: Rethinking Ductility -- A Study Into the Size-Affected Fracture of Polymers

abstract: Ductility quantifies a material's capacity for plastic deformation, and it is a key property for preventing fracture driven failure in engineering parts. While some brittle materials exhibit improved ductility at small scales, the processes underlying this phenomenon are not well understood. This work establishes a mechanism for the origin of ductility via an investigation of size-affected fracture processes and polymer degree of conversion (DC) in two-photon lithography (TPL) fabricated materials. Microscale single edge notch bend ($\mu$SENB) specimens were written with widths from 8 to 26 $\mu$m and with different laser powers and post-write thermal annealing to control the DC between 17\% and 80\%. We find that shifting from low to high DC predictably causes a $\sim$3x and $\sim$4x increase in strength and bending stiffness, respectively, but that there is a corresponding $\sim$6x decrease in fracture energy from 180 $J/m^2$ to 30 $J/m^2$. Notably, this reduced fracture energy is accompanied by a ductile-to-brittle transition (DBT) in the failure behavior. Using finite element analysis, we demonstrate that the DBT occurs when the fracture yielding zone size ($r_p$) approaches the sample width, corresponding with a known fracture size-affected transition from flaw-based to strength-based failure. This finding provides a crucial insight that ductility is a size-induced property that occurs when features are reduced below a characteristic fracture length scale and that strength, stiffness, and toughness alone are insufficient predictors of ductility.


title: Study of the process $e^+e^- \to \omega\pi^0 \to \pi^+\pi^-\pi^0\pi^0$ in the energy range $1.05-2.00$ GeV with SND

abstract: The process $e^+e^- \to \omega\pi^0 \to \pi^+\pi^-\pi^0\pi^0$ is studied in the center-of-mass energy region $1.05-2.00$ GeV using data with an integral luminosity of about 35 pb$^{-1}$ collected with the SND detector at the VEPP-2000 $e^+e^-$ collider. In the energy range under study, the value of the measured Born cross section varies from 0.7 to 18 nb. The statistical uncertainty of the cross section is $2-23$%, while the systematic uncertainty is in the range of $3.0-14.2$%. The results are consistent with previous measurements but have better accuracy.


title: Global solvability for semi-discrete Kirchhoff equation

abstract: In this paper, we consider the global solvability and energy conservation for initial value problem of nonlinear semi-discrete wave equation of Kirchhoff type, which is a discretized model of Kirchhoff equation.


title: Deforming reducible representations of surface and 2-orbifold groups

abstract: For a compact 2-orbifold with negative Euler characteristic $\mathcal O^2$, the variety of characters of $\pi_1(\mathcal O^2)$ in $\mathrm{SL}_{n}(\mathbb R)$ is a non-singular manifold at $\mathbb C$-irreducible representations. In this paper we prove that when a $\mathbb C$-irreducible representation of $\pi_1(\mathcal O^2)$ in $\mathrm{SL}_{n}(\mathbb R)$ is viewed in $\mathrm{SL}_{n+1}(\mathbb R)$, then the variety of characters is singular, and we describe the singularity.


title: Noncommutative Riemannian geometry of Kronecker algebras

abstract: We study aspects of noncommutative Riemannian geometry of the path algebra arising from the Kronecker quiver with N arrows. To start with, the framework of derivation based differential calculi is recalled together with a discussion on metrics and bimodule connections compatible with the *-structure of the algebra. As an illustration, these concepts are applied to the noncommutative torus where examples of torsion free and metric (Levi-Civita) connections are given. In the main part of the paper, noncommutative geometric aspects of (generalized) Kronecker algebras are considered. The structure of derivations and differential calculi is explored, and torsion free bimodule connections are studied together with their compatibility with hermitian forms, playing the role of metrics on the module of differential forms. Moreover, for several different choices of Lie algebras of derivations, non-trivial Levi-Civita connections are constructed.


title: Enhancing the vocal range of single-speaker singing voice synthesis with melody-unsupervised pre-training

abstract: The single-speaker singing voice synthesis (SVS) usually underperforms at pitch values that are out of the singer's vocal range or associated with limited training samples. Based on our previous work, this work proposes a melody-unsupervised multi-speaker pre-training method conducted on a multi-singer dataset to enhance the vocal range of the single-speaker, while not degrading the timbre similarity. This pre-training method can be deployed to a large-scale multi-singer dataset, which only contains audio-and-lyrics pairs without phonemic timing information and pitch annotation. Specifically, in the pre-training step, we design a phoneme predictor to produce the frame-level phoneme probability vectors as the phonemic timing information and a speaker encoder to model the timbre variations of different singers, and directly estimate the frame-level f0 values from the audio to provide the pitch information. These pre-trained model parameters are delivered into the fine-tuning step as prior knowledge to enhance the single speaker's vocal range. Moreover, this work also contributes to improving the sound quality and rhythm naturalness of the synthesized singing voices. It is the first to introduce a differentiable duration regulator to improve the rhythm naturalness of the synthesized voice, and a bi-directional flow model to improve the sound quality. Experimental results verify that the proposed SVS system outperforms the baseline on both sound quality and naturalness.


title: Quantum scattering cross sections of O($^3P$) + N$_2$ collisions for planetary aeronomy

abstract: "Hot atoms", which are atoms in their excited states, transfer their energy to the surrounding atmosphere through collisions. This process of energy transfer is known as thermalization, and it plays a crucial role in various astrophysical and atmospheric processes. Thermalization of hot atoms is mainly governed by the amount of species present in the surrounding atmosphere and the collision cross-section between the hot atoms and surrounding species. In this work, we investigated the elastic and inelastic collisions between hot oxygen atoms and neutral N$_2$ molecules, relevant to oxygen gas escape from the martian atmosphere and for characterizing the chemical reactions in hypersonic flows. We conducted a series of quantum scattering calculations between various isotopes of O($^3P$) atoms and N$_2$ molecules across a range of collision energies (0.3 to 4 eV), and computed both their differential and collision cross-sections using quantum time$-$independent coupled-channel approach. Our differential cross-section results indicate a strong preference for forward scattering over sideways or backward scattering, and this anisotropy in scattering is further pronounced at higher collision energies. By comparing the cross-sections of three oxygen isotopes, we find that the heavier isotopes consistently have larger collision cross-sections than the lighter isotopes over the entire collision energy range examined. However, for all the isotopes, the variation of collision cross-section with respect to collision energy is the same. As a whole, the present study contributes to a better understanding of the energy distribution and thermalization processes of hot atoms within atmospheric environments. Specifically, the cross$-$sectional data presented in this work is directly useful in improving the accuracy of energy relaxation modeling of O and N$_2$ collisions over Mars and Venus atmospheres.

categories: astro-ph.EP physics.ao-ph physics.chem-ph physics.space-ph


title: Ampleness of Automorphic Line Bundles on $U(2)$ Shimura Varieties

abstract: Let $F$ be a totally real field in which $p$ is unramfied and let $S$ denote the integral model of the Hilbert modular variety with good reduction at $p$. Consider the usual automorphic line bundle $\mathcal{L}$ over $S$. On the generic fiber, it is well known that $\mathcal{L}$ is ample if and only if all the coefficients are positive. On the special fiber, it is conjectured in \citep{Tian-Xiao} that $\mathcal{L}$ is ample if and only if the coefficients satisfy certain inequalities. We prove this conjecture for $U(2)$ Shimura varieties in this paper and deduce a similar statement for Hilbert modular varieties from this.


title: Fast Diffusion EM: a diffusion model for blind inverse problems with application to deconvolution

abstract: Using diffusion models to solve inverse problems is a growing field of research. Current methods assume the degradation to be known and provide impressive results in terms of restoration quality and diversity. In this work, we leverage the efficiency of those models to jointly estimate the restored image and unknown parameters of the degradation model such as blur kernel. In particular, we designed an algorithm based on the well-known Expectation-Minimization (EM) estimation method and diffusion models. Our method alternates between approximating the expected log-likelihood of the inverse problem using samples drawn from a diffusion model and a maximization step to estimate unknown model parameters. For the maximization step, we also introduce a novel blur kernel regularization based on a Plug \& Play denoiser. Diffusion models are long to run, thus we provide a fast version of our algorithm. Extensive experiments on blind image deblurring demonstrate the effectiveness of our method when compared to other state-of-the-art approaches.


title: Stark effect tunable terahertz transitions in finite carbon chains

abstract: We employ a tight-binding model to calculate the optical selection rules of gold-terminated carbyne chains in the presence of an applied electric field. We show that both the magnitude of the edge-state gap and the strength of optical transitions across it can be tuned via the Stark effect. In the case of sufficiently long carbyne chains, the dipole transitions between edge states occur within the THz frequency range.


title: A Spatial Sigma-Delta Approach to Mitigation of Power Amplifier Distortions in Massive MIMO Downlink

abstract: In massive multiple-input multiple-output (MIMO) downlink systems, the physical implementation of the base stations (BSs) requires the use of cheap and power-efficient power amplifiers (PAs) to avoid high hardware cost and high power consumption. However, such PAs usually have limited linear amplification ranges. Nonlinear distortions arising from operation beyond the linear amplification ranges can significantly degrade system performance. Existing approaches to handle the nonlinear distortions, such as digital predistortion (DPD), typically require accurate knowledge, or acquisition, of the PA transfer function. In this paper, we present a new concept for mitigation of the PA distortions. Assuming a uniform linear array (ULA) at the BS, the idea is to apply a Sigma-Delta ($\Sigma \Delta$) modulator to spatially shape the PA distortions to the high-angle region. By having the system operating in the low-angle region, the received signals are less affected by the PA distortions. To demonstrate the potential of this spatial $\Sigma \Delta$ approach, we study the application of our approach to the multi-user MIMO-orthogonal frequency division modulation (OFDM) downlink scenario. A symbol-level precoding (SLP) scheme and a zero-forcing (ZF) precoding scheme, with the new design requirement by the spatial $\Sigma \Delta$ approach being taken into account, are developed. Numerical simulations are performed to show the effectiveness of the developed $\Sigma \Delta$ precoding schemes.


title: Design and Numerical Analysis of Hyperbolic Metamaterial Based Ultrasensitive E. Coli Sensor

abstract: We proposed an extremely sensitive \textit{E. Coli} sensor based on a hyperbolic metamaterial structure combining ultra-thin Ag-Al$_2$O$_3$ layers to minimize metallic optical loss. The principle relied on detecting the change in the resonance wavelength due to the interaction of bacteria with the surrounding aqueous environment by utilizing the finite-difference time-domain numerical technique. Our proposed hyperbolic metamaterial \textit{E. Coli} sensor operated in the range from visible to near-infrared wavelengths exhibiting strong bulk plasmon polaritons at the hyperbolic regime ($\lambda \geq$ 460 nm). An anisotropic hyperbolic range was obtained theoretically by solving the effective medium theory. An outstanding sensitivity of 9000 nm per bacteria was achieved for a bulk plasmon-polariton mode. The hyperbolic metamaterial was the origin of obtaining such extremely high sensitivity; no bulk plasmon polaritons were found without hyperbolic metamaterial. We analyzed the effect of different shapes in two-dimensional Ag differential grating on sensing performance. Additionally, we compared the performance parameters of our proposed \textit{E. Coli} sensor with recently demonstrated sensors. Our proposed hyperbolic metamaterial structure has the potential as a highly sensitive \textit{E. Coli} sensor operating in a wide range of wavelengths for label-free detection.


title: Ultraluminous Quasars At High Redshift Show Evolution In Their Radio-Loudness Fraction In Both Redshift And Ultraviolet Luminosity

abstract: We take a sample of 94 ultraluminous, optical quasars from the search of over 14,486 deg^2 by Onken et al. 2022 in the range 4.4<redshift<5.2 and match them against the Rapid ASKAP Continuum Survey (RACS) observed on the Australian Square Kilometre Array Pathfinder (ASKAP). From this most complete sample of the bright end of the redshift ~5 quasar luminosity function, there are 10 radio continuum detections of which 8 are considered radio-loud quasars. The radio-loud fraction for this sample is 8.5 \pm 2.9 per cent. Jiang et al. 2007 found that there is a decrease in the radio-loud fraction of quasars with increasing redshift and an increase with increasing absolute magnitude at rest frame 2500 Angstroms. We show that the radio-loud fraction of our quasar sample is consistent with that predicted by Jiang et al. 2007, extending their result to higher redshifts.


title: Directional movement of a collective of compassless automata on square lattice of width 2

abstract: We study the following problem: Can a collective of finite automata maintain directed movement on a two-dimensional integer lattice of width 2, where the elements (vertices) are anonymous? The automata do not distinguish between vertices based on their coordinates of direction (that means each automaton has no compass). We considered collectives consisting of an automaton and some pebbles, which are automata of the simplest form, whose positions are entirely determined by the automaton. We demonstrate that a collective of one automaton and a maximum of three pebbles cannot maintain a direction of movement on the lattice. However, a collective of one automaton and four pebbles can do so.


title: Model Predictive Control using MATLAB

abstract: This tutorial consists of a brief introduction to the modern control approach called model predictive control (MPC) and its numerical implementation using MATLAB. We discuss the basic concepts and numerical implementation of the two major classes of MPC: Linear MPC (LMPC) and Nonlinear MPC (NMPC). This includes the various aspects of MPC such as formulating the optimization problem, constraints handling, feasibility, stability, and optimality.


title: On representation equivalence and multiplicity measure for lattices in Lie Groups

abstract: We prove an analogue of the strong multiplicity one theorem in the context of finite covolume lattices in the group $G ={ \rm SO}(2,1)^\circ$. We show that the multiplicity measures of two lattices are same if they agree outside a finite measure subset of $\widehat G$.


title: Local discrimination of orbital angular momentum in entangled states

abstract: We address the use of a calcite crystal-based local detector to the discrimination of orbital angular momentum of quantum radiation produced by parametric down conversion. We demonstrate that a discrimination can be obtained exploiting the introduction of a fine and controlled spatial shift between two replicas of the state in the crystals. We believe that this technology could be used for future development of long-distance quantum communication techniques, where information encoding is based on orbital angular momentum.


title: End-to-end Lidar-Driven Reinforcement Learning for Autonomous Racing

abstract: Reinforcement Learning (RL) has emerged as a transformative approach in the domains of automation and robotics, offering powerful solutions to complex problems that conventional methods struggle to address. In scenarios where the problem definitions are elusive and challenging to quantify, learning-based solutions such as RL become particularly valuable. One instance of such complexity can be found in the realm of car racing, a dynamic and unpredictable environment that demands sophisticated decision-making algorithms. This study focuses on developing and training an RL agent to navigate a racing environment solely using feedforward raw lidar and velocity data in a simulated context. The agent's performance, trained in the simulation environment, is then experimentally evaluated in a real-world racing scenario. This exploration underlines the feasibility and potential benefits of RL algorithm enhancing autonomous racing performance, especially in the environments where prior map information is not available.


title: Fine-Grained Spatiotemporal Motion Alignment for Contrastive Video Representation Learning

abstract: As the most essential property in a video, motion information is critical to a robust and generalized video representation. To inject motion dynamics, recent works have adopted frame difference as the source of motion information in video contrastive learning, considering the trade-off between quality and cost. However, existing works align motion features at the instance level, which suffers from spatial and temporal weak alignment across modalities. In this paper, we present a \textbf{Fi}ne-grained \textbf{M}otion \textbf{A}lignment (FIMA) framework, capable of introducing well-aligned and significant motion information. Specifically, we first develop a dense contrastive learning framework in the spatiotemporal domain to generate pixel-level motion supervision. Then, we design a motion decoder and a foreground sampling strategy to eliminate the weak alignments in terms of time and space. Moreover, a frame-level motion contrastive loss is presented to improve the temporal diversity of the motion features. Extensive experiments demonstrate that the representations learned by FIMA possess great motion-awareness capabilities and achieve state-of-the-art or competitive results on downstream tasks across UCF101, HMDB51, and Diving48 datasets. Code is available at \url{https://github.com/ZMHH-H/FIMA}.


title: Phenomenological models of Cosmic Ray transport in Galaxies

abstract: When examining the abundance of elements in the placid interstellar medium, a deep hollow between helium and carbon becomes apparent. Notably, the fragile light nuclei Lithium, Beryllium, and Boron (collectively known as LiBeB) are not formed, with the exception of Li7, during the process of Big Bang nucleosynthesis, nor do they arise as byproducts of stellar lifecycles. In contrast to the majority of elements, these species owe their existence to the most energetic particles in the Universe. Cosmic rays, originating in the most powerful Milky Way's particle accelerators, reach the Earth after traversing tangled and lengthy paths spanning millions of years. During their journey, these primary particles undergo transformations through collisions with interstellar matter. This process, known as spallation, alters their composition and introduces secondary light elements in the cosmic-ray beam. In light of this, the relatively large abundance of LiBeB in the cosmic radiation provides remarkable insights into the mechanisms of particle acceleration, as well as the micro-physics of confinement within galactic magnetic fields. These lecture notes are intended to equip readers with basic knowledge necessary for examining the chemical and isotopic composition, as well as the energy spectra, of cosmic rays, finally fostering a more profound comprehension of the complex high-energy astrophysical processes occurring within our Galaxy.


title: Quantum mechanics of composite fermions

abstract: We establish the quantum mechanics of composite fermions based on the dipole picture initially proposed by Read. It comprises three complimentary components: a wave equation for determining the wave functions of a composite fermion in ideal fractional quantum Hall states and when subjected to external perturbations, a wave function ansatz for mapping a many-body wave function of composite fermions to a physical wave function of electrons, and a microscopic approach for determining the effective Hamiltonian of the composite fermion. The wave equation resembles the ordinary Schr\"{o}dinger equation but has drift velocity corrections which are not present in the Halperin-Lee-Read theory. The wave-function ansatz constructs a physical wave function of electrons by projecting a state of composite fermions onto a half-filled bosonic Laughlin state of vortices. Remarkably, Jain's wave function ansatz can be reinterpreted as the new ansatz in an alternative wave-function representation of composite fermions. The dipole model and the effective Hamiltonian can be derived from the microscopic model of interacting electrons confined in a Landau level, with parameters fully determined. In this framework, we can construct the physical wave function of a fractional quantum Hall state deductively by solving the wave equation and applying the wave function ansatz, based on the effective Hamiltonian derived from first principles, rather than relying on intuitions or educated guesses. For ideal fractional quantum Hall states in the lowest Landau level, the approach yields physical wave functions identical to those prescribed by the standard theory of composite fermions. We further demonstrate that the reformulated theory of composite fermions can be easily generalized for flat Chern bands.


title: Towards the Identifiability and Explainability for Personalized Learner Modeling: An Inductive Paradigm

abstract: Personalized learner modeling using cognitive diagnosis (CD), which aims to model learners' cognitive states by diagnosing learner traits from behavioral data, is a fundamental yet significant task in many web learning services. Existing cognitive diagnosis models (CDMs) follow the proficiency-response paradigm that views learner traits and question parameters as trainable embeddings and learns them through learner performance prediction. However, we notice that this paradigm leads to the inevitable non-identifiability and explainability overfitting problem, which is harmful to the quantification of learners' cognitive states and the quality of web learning services. To address these problems, we propose an identifiable cognitive diagnosis framework (ID-CDF) based on a novel response-proficiency-response paradigm inspired by encoder-decoder models. Specifically, we first devise the diagnostic module of ID-CDF, which leverages inductive learning to eliminate randomness in optimization to guarantee identifiability and captures the monotonicity between overall response data distribution and cognitive states to prevent explainability overfitting. Next, we propose a flexible predictive module for ID-CDF to ensure diagnosis preciseness. We further present an implementation of ID-CDF, i.e., ID-CDM, to illustrate its usability. Extensive experiments on four real-world datasets with different characteristics demonstrate that ID-CDF can effectively address the problems without loss of diagnosis preciseness.


title: Fremlin tensor product respects the unbounded convergences

abstract: Suppose $\Sigma$ is a topological space and $S(\Sigma)$ is the vector lattice of all continuous real-valued functions defined on open dense subsets of $\Sigma$. In this paper, we establish some lattice and topological aspects of $S(\Sigma)$. In particular, as an application, we show that the unbounded order convergence and the order convergence are stable under passing to the Fremlin tensor product of two Archimedean vector lattices. Furthermore, by considering the Fremlin projective tensor product between Banach lattices, we establish a partial variant of this result for unbounded norm convergence and unbounded absolute weak convergence, as well.


title: Arithmetic properties of overpartitions

abstract: The primary focus of this paper is overpartitions, a type of partition that plays a significant role in $q$-series theory. In 2006, Treneer discovered an explicit infinite family of congruences of overpartitions modulo $5$. In our research, we have identified explicit infinite families of congruences of overpartitions modulo $3,7,11$. This work reveals the connection between overpartitions and half-integral modular forms.


title: Optical Probing of Ultrafast Laser-Induced Solid-to-Overdense-Plasma Transitions

abstract: Understanding the target dynamics during its interaction with a relativistic ultrashort laser pulse is a challenging fundamental multi-physics problem involving at least atomic and solid-state physics, plasma physics, and laser physics. Already, the properties of the so-called pre-plasma formed as the laser pulse's rising edge ionizes the target are complicated to access in experiments and modeling, and many aspects of this laser-induced transition from solid to overdense plasma over picosecond time scales are still open questions. At the same time, applications like laser-driven ion acceleration require precise knowledge and control of the pre-plasma because the efficiency of the acceleration process itself crucially depends on the target properties at the arrival of the relativistic intensity peak of the pulse. By capturing the dynamics of the initial stage of the interaction, we report on a detailed visualization of the pre-plasma formation and evolution. Nanometer-thin diamond-like carbon foils are shown to transition from solid to plasma during the laser rising edge with intensities < 10^16 W/cm^2. Single-shot near-infrared probe transmission measurements evidence sub-picosecond dynamics of an expanding plasma with densities above 10^23 cm^-3 (about 100 times the critical plasma density). The complementarity of a solid-state interaction model and a kinetic plasma description provides deep insight into the interplay of ionization, collisions, and expansion.


title: The Case for Replication-Aware Memory-Error Protection in Disaggregated Memory

abstract: Disaggregated memory leverages recent technology advances in high-density, byte-addressable non-volatile memory and high-performance interconnects to provide a large memory pool shared across multiple compute nodes. Due to higher memory density, memory errors may become more frequent. Unfortunately, tolerating memory errors through existing memory-error protection techniques becomes impractical due to increasing storage cost. This work proposes replication-aware memory-error protection to improve storage efficiency of protection in data-centric applications that already rely on memory replication for performance and availability. It lets such applications lower protection storage cost by weakening the protection of each individual replica, but still realize a strong protection target by relying on the collective protection conferred by multiple replicas.


title: Efficient Surrogate Models for Materials Science Simulations: Machine Learning-based Prediction of Microstructure Properties

abstract: Determining, understanding, and predicting the so-called structure-property relation is an important task in many scientific disciplines, such as chemistry, biology, meteorology, physics, engineering, and materials science. Structure refers to the spatial distribution of, e.g., substances, material, or matter in general, while property is a resulting characteristic that usually depends in a non-trivial way on spatial details of the structure. Traditionally, forward simulations models have been used for such tasks. Recently, several machine learning algorithms have been applied in these scientific fields to enhance and accelerate simulation models or as surrogate models. In this work, we develop and investigate the applications of six machine learning techniques based on two different datasets from the domain of materials science: data from a two-dimensional Ising model for predicting the formation of magnetic domains and data representing the evolution of dual-phase microstructures from the Cahn-Hilliard model. We analyze the accuracy and robustness of all models and elucidate the reasons for the differences in their performances. The impact of including domain knowledge through tailored features is studied, and general recommendations based on the availability and quality of training data are derived from this.


title: On the Aggregation of Rules for Knowledge Graph Completion

abstract: Rule learning approaches for knowledge graph completion are efficient, interpretable and competitive to purely neural models. The rule aggregation problem is concerned with finding one plausibility score for a candidate fact which was simultaneously predicted by multiple rules. Although the problem is ubiquitous, as data-driven rule learning can result in noisy and large rulesets, it is underrepresented in the literature and its theoretical foundations have not been studied before in this context. In this work, we demonstrate that existing aggregation approaches can be expressed as marginal inference operations over the predicting rules. In particular, we show that the common Max-aggregation strategy, which scores candidates based on the rule with the highest confidence, has a probabilistic interpretation. Finally, we propose an efficient and overlooked baseline which combines the previous strategies and is competitive to computationally more expensive approaches.