title: From Sim-to-Real: Toward General Event-based Low-light Frame Interpolation with Per-scene Optimization

abstract: Video Frame Interpolation (VFI) is important for video enhancement, frame rate up-conversion, and slow-motion generation. The introduction of event cameras, which capture per-pixel brightness changes asynchronously, has significantly enhanced VFI capabilities, particularly for high-speed, nonlinear motions. However, these event-based methods encounter challenges in low-light conditions, notably trailing artifacts and signal latency, which hinder their direct applicability and generalization. Addressing these issues, we propose a novel per-scene optimization strategy tailored for low-light conditions. This approach utilizes the internal statistics of a sequence to handle degraded event data under low-light conditions, improving the generalizability to different lighting and camera settings. To evaluate its robustness in low-light condition, we further introduce EVFI-LL, a unique RGB+Event dataset captured under low-light conditions. Our results demonstrate state-of-the-art performance in low-light environments. Both the dataset and the source code will be made publicly available upon publication. Project page: https://naturezhanghn.github.io/sim2real.


title: Musielak-Orlicz-Sobolev embeddings: Necessary and Sufficient Conditions

abstract: In this paper we study the necessary and sufficient conditions on domain for Musielak-Orlicz-Sobolev embedding of the space $W^{1,\Phi(\cdot,\cdot)}(\Omega)$ where $\Phi(x,t):=t^{p(x)}{(\log(e+t))}^{q(x)}.$


title: Languages Transferred Within the Encoder: On Representation Transfer in Zero-Shot Multilingual Translation

abstract: Understanding representation transfer in multilingual neural machine translation can reveal the representational issue causing the zero-shot translation deficiency. In this work, we introduce the identity pair, a sentence translated into itself, to address the lack of the base measure in multilingual investigations, as the identity pair represents the optimal state of representation among any language transfers. In our analysis, we demonstrate that the encoder transfers the source language to the representational subspace of the target language instead of the language-agnostic state. Thus, the zero-shot translation deficiency arises because representations are entangled with other languages and are not transferred effectively to the target language. Based on our findings, we propose two methods: 1) low-rank language-specific embedding at the encoder, and 2) language-specific contrastive learning of the representation at the decoder. The experimental results on Europarl-15, TED-19, and OPUS-100 datasets show that our methods substantially enhance the performance of zero-shot translations by improving language transfer capacity, thereby providing practical evidence to support our conclusions.


title: Learnable & Interpretable Model Combination in Dynamic Systems Modeling

abstract: One of the core concepts in science, and something that happens intuitively in every-day dynamic systems modeling, is the combination of models or methods. Especially in dynamical systems modeling, often two or more structures are combined to obtain a more powerful or efficient architecture regarding a specific application (area). Further, even physical simulations are combined with machine learning architectures, to increase prediction accuracy or optimize the computational performance. In this work, we shortly discuss, which types of models are usually combined and propose a model interface that is capable of expressing a width variety of mixed algebraic, discrete and differential equation based models. Further, we examine different established, as well as new ways of combining these models from a system theoretical point of view and highlight two challenges - algebraic loops and local event affect functions in discontinuous models - that require a special approach. Finally, we propose a new wildcard topology, that is capable of describing the generic connection between two combined models in an easy to interpret fashion that can be learned as part of a gradient based optimization procedure. The contributions of this paper are highlighted at a proof of concept: Different connection topologies between two models are learned, interpreted and compared applying the proposed methodology and software implementation.


title: Cosmological particle production in a quantum field simulator as a quantum mechanical scattering problem

abstract: The production of quantum field excitations or particles in cosmological spacetimes is a hallmark prediction of curved quantum field theory. The generation of cosmological perturbations from quantum fluctuations in the early universe constitutes an important application. The problem can be quantum-simulated in terms of structure formation in an interacting Bose-Einstein condensate (BEC) with time-dependent s-wave scattering length. Here, we explore a mapping between cosmological particle production in general (D+1)-dimensional spacetimes and scattering problems described by the non-relativistic stationary Schr\"odinger equation in one dimension. Through this mapping, intuitive explanations for emergent spatial structures in both the BEC and the cosmological system can be obtained for a large class of analogue cosmological scenarios, ranging from power-law expansions to periodic modulations. The investigated cosmologies and their scattering analogues are tuned to be implemented in a (2+1)-dimensional quantum field simulator.


title: Substochastic operators in symmetric spaces

abstract: First, we solve a crucial problem under which conditions increasing uniform K-monotonicity is equivalent to lower locally uniform K-monotonicity. Next, we investigate properties of substochastic operators on $L^1+L^\infty$ with applications. Namely, we show that a countable infinite combination of substochastic operators is also substochastic. Using K-monotonicity properties, we prove several theorems devoted to the convergence of the sequence of substochastic operators in the norm of a symmetric space E under addition assumption on E. In our final discussion we focus on compactness of admissible operators for arbitrary Banach couples.


title: Make Your Actor Talk: Generalizable and High-Fidelity Lip Sync with Motion and Appearance Disentanglement

abstract: We aim to edit the lip movements in talking video according to the given speech while preserving the personal identity and visual details. The task can be decomposed into two sub-problems: (1) speech-driven lip motion generation and (2) visual appearance synthesis. Current solutions handle the two sub-problems within a single generative model, resulting in a challenging trade-off between lip-sync quality and visual details preservation. Instead, we propose to disentangle the motion and appearance, and then generate them one by one with a speech-to-motion diffusion model and a motion-conditioned appearance generation model. However, there still remain challenges in each stage, such as motion-aware identity preservation in (1) and visual details preservation in (2). Therefore, to preserve personal identity, we adopt landmarks to represent the motion, and further employ a landmark-based identity loss. To capture motion-agnostic visual details, we use separate encoders to encode the lip, non-lip appearance and motion, and then integrate them with a learned fusion module. We train MyTalk on a large-scale and diverse dataset. Experiments show that our method generalizes well to the unknown, even out-of-domain person, in terms of both lip sync and visual detail preservation. We encourage the readers to watch the videos on our project page (https://Ingrid789.github.io/MyTalk/).


title: Inductive Global and Local Manifold Approximation and Projection

abstract: Nonlinear dimensional reduction with the manifold assumption, often called manifold learning, has proven its usefulness in a wide range of high-dimensional data analysis. The significant impact of t-SNE and UMAP has catalyzed intense research interest, seeking further innovations toward visualizing not only the local but also the global structure information of the data. Moreover, there have been consistent efforts toward generalizable dimensional reduction that handles unseen data. In this paper, we first propose GLoMAP, a novel manifold learning method for dimensional reduction and high-dimensional data visualization. GLoMAP preserves locally and globally meaningful distance estimates and displays a progression from global to local formation during the course of optimization. Furthermore, we extend GLoMAP to its inductive version, iGLoMAP, which utilizes a deep neural network to map data to its lower-dimensional representation. This allows iGLoMAP to provide lower-dimensional embeddings for unseen points without needing to re-train the algorithm. iGLoMAP is also well-suited for mini-batch learning, enabling large-scale, accelerated gradient calculations. We have successfully applied both GLoMAP and iGLoMAP to the simulated and real-data settings, with competitive experiments against the state-of-the-art methods.


title: Scalable Defect Detection via Traversal on Code Graph

abstract: Detecting defects and vulnerabilities in the early stage has long been a challenge in software engineering. Static analysis, a technique that inspects code without execution, has emerged as a key strategy to address this challenge. Among recent advancements, the use of graph-based representations, particularly Code Property Graph (CPG), has gained traction due to its comprehensive depiction of code structure and semantics. Despite the progress, existing graph-based analysis tools still face performance and scalability issues. The main bottleneck lies in the size and complexity of CPG, which makes analyzing large codebases inefficient and memory-consuming. Also, query rules used by the current tools can be over-specific. Hence, we introduce QVoG, a graph-based static analysis platform for detecting defects and vulnerabilities. It employs a compressed CPG representation to maintain a reasonable graph size, thereby enhancing the overall query efficiency. Based on the CPG, it also offers a declarative query language to simplify the queries. Furthermore, it takes a step forward to integrate machine learning to enhance the generality of vulnerability detection. For projects consisting of 1,000,000+ lines of code, QVoG can complete analysis in approximately 15 minutes, as opposed to 19 minutes with CodeQL.


title: Confidence Interval Estimation of Predictive Performance in the Context of AutoML

abstract: Any supervised machine learning analysis is required to provide an estimate of the out-of-sample predictive performance. However, it is imperative to also provide a quantification of the uncertainty of this performance in the form of a confidence or credible interval (CI) and not just a point estimate. In an AutoML setting, estimating the CI is challenging due to the ``winner's curse", i.e., the bias of estimation due to cross-validating several machine learning pipelines and selecting the winning one. In this work, we perform a comparative evaluation of 9 state-of-the-art methods and variants in CI estimation in an AutoML setting on a corpus of real and simulated datasets. The methods are compared in terms of inclusion percentage (does a 95\% CI include the true performance at least 95\% of the time), CI tightness (tighter CIs are preferable as being more informative), and execution time. The evaluation is the first one that covers most, if not all, such methods and extends previous work to imbalanced and small-sample tasks. In addition, we present a variant, called BBC-F, of an existing method (the Bootstrap Bias Correction, or BBC) that maintains the statistical properties of the BBC but is more computationally efficient. The results support that BBC-F and BBC dominate the other methods in all metrics measured.


title: Multimodal Table Understanding

abstract: Although great progress has been made by previous table understanding methods including recent approaches based on large language models (LLMs), they rely heavily on the premise that given tables must be converted into a certain text sequence (such as Markdown or HTML) to serve as model input. However, it is difficult to access such high-quality textual table representations in some real-world scenarios, and table images are much more accessible. Therefore, how to directly understand tables using intuitive visual information is a crucial and urgent challenge for developing more practical applications. In this paper, we propose a new problem, multimodal table understanding, where the model needs to generate correct responses to various table-related requests based on the given table image. To facilitate both the model training and evaluation, we construct a large-scale dataset named MMTab, which covers a wide spectrum of table images, instructions and tasks. On this basis, we develop Table-LLaVA, a generalist tabular multimodal large language model (MLLM), which significantly outperforms recent open-source MLLM baselines on 23 benchmarks under held-in and held-out settings. The code and data is available at this https://github.com/SpursGoZmy/Table-LLaVA


title: CoXQL: A Dataset for Parsing Explanation Requests in Conversational XAI Systems

abstract: Conversational explainable artificial intelligence (ConvXAI) systems based on large language models (LLMs) have garnered significant interest from the research community in natural language processing (NLP) and human-computer interaction (HCI). Such systems can provide answers to user questions about explanations in dialogues, have the potential to enhance users' comprehension and offer more information about the decision-making and generation processes of LLMs. Currently available ConvXAI systems are based on intent recognition rather than free chat, as this has been found to be more precise and reliable in identifying users' intentions. However, the recognition of intents still presents a challenge in the case of ConvXAI, since little training data exist and the domain is highly specific, as there is a broad range of XAI methods to map requests onto. In order to bridge this gap, we present CoXQL, the first dataset for user intent recognition in ConvXAI, covering 31 intents, seven of which require filling multiple slots. Subsequently, we enhance an existing parsing approach by incorporating template validations, and conduct an evaluation of several LLMs on CoXQL using different parsing strategies. We conclude that the improved parsing approach (MP+) surpasses the performance of previous approaches. We also discover that intents with multiple slots remain highly challenging for LLMs.


title: Adversarial Patch for 3D Local Feature Extractor

abstract: Local feature extractors are the cornerstone of many computer vision tasks. However, their vulnerability to adversarial attacks can significantly compromise their effectiveness. This paper discusses approaches to attack sophisticated local feature extraction algorithms and models to achieve two distinct goals: (1) forcing a match between originally non-matching image regions, and (2) preventing a match between originally matching regions. At the end of the paper, we discuss the performance and drawbacks of different patch generation methods.


title: Null controllability for stochastic parabolic equations with Robin boundary conditions

abstract: We establish the null controllability of forward and backward linear stochastic parabolic equations with linear Robin (or Fourier) boundary conditions. These equations incorporate zero and first order terms with bounded coefficients. To prove our null controllability results, a key tool will be the derivation of two new global Carleman estimates for the weak solutions of the corresponding adjoint equations in negative Sobolev space. These Carleman estimates are established using a duality method.


title: Resource Leveling: Complexity of a UET two-processor scheduling variant and related problems

abstract: This paper mainly focuses on a resource leveling variant of a two-processor scheduling problem. The latter problem is to schedule a set of dependent UET jobs on two identical processors with minimum makespan. It is known to be polynomial-time solvable. In the variant we consider, the resource constraint on processors is relaxed and the objective is no longer to minimize makespan. Instead, a deadline is imposed on the makespan and the objective is to minimize the total resource use exceeding a threshold resource level of two. This resource leveling criterion is known as the total overload cost. Sophisticated matching arguments allow us to provide a polynomial algorithm computing the optimal solution as a function of the makespan deadline. It extends a solving method from the literature for the two-processor scheduling problem. Moreover, the complexity of related resource leveling problems sharing the same objective is studied. These results lead to polynomial or pseudo-polynomial algorithms or NP-hardness proofs, allowing for an interesting comparison with classical machine scheduling problems.


title: Prediction of the Realisation of an Information Need: An EEG Study

abstract: One of the foundational goals of Information Retrieval (IR) is to satisfy searchers' Information Needs (IN). Understanding how INs physically manifest has long been a complex and elusive process. However, recent studies utilising Electroencephalography (EEG) data have provided real-time insights into the neural processes associated with INs. Unfortunately, they have yet to demonstrate how this insight can practically benefit the search experience. As such, within this study, we explore the ability to predict the realisation of IN within EEG data across 14 subjects whilst partaking in a Question-Answering (Q/A) task. Furthermore, we investigate the combinations of EEG features that yield optimal predictive performance, as well as identify regions within the Q/A queries where a subject's realisation of IN is more pronounced. The findings from this work demonstrate that EEG data is sufficient for the real-time prediction of the realisation of an IN across all subjects with an accuracy of 73.5% (SD 2.6%) and on a per-subject basis with an accuracy of 90.1% (SD 22.1%). This work helps to close the gap by bridging theoretical neuroscientific advancements with tangible improvements in information retrieval practices, paving the way for real-time prediction of the realisation of IN.


title: Counterfactual-based Root Cause Analysis for Dynamical Systems

abstract: Identifying the underlying reason for a failing dynamic process or otherwise anomalous observation is a fundamental challenge, yet has numerous industrial applications. Identifying the failure-causing sub-system using causal inference, one can ask the question: "Would the observed failure also occur, if we had replaced the behaviour of a sub-system at a certain point in time with its normal behaviour?" To this end, a formal description of behaviour of the full system is needed in which such counterfactual questions can be answered. However, existing causal methods for root cause identification are typically limited to static settings and focusing on additive external influences causing failures rather than structural influences. In this paper, we address these problems by modelling the dynamic causal system using a Residual Neural Network and deriving corresponding counterfactual distributions over trajectories. We show quantitatively that more root causes are identified when an intervention is performed on the structural equation and the external influence, compared to an intervention on the external influence only. By employing an efficient approximation to a corresponding Shapley value, we also obtain a ranking between the different subsystems at different points in time being responsible for an observed failure, which is applicable in settings with large number of variables. We illustrate the effectiveness of the proposed method on a benchmark dynamic system as well as on a real world river dataset.


title: Analytical evaluation of ground state gradients in quantum electrodynamics coupled cluster theory

abstract: Analytical gradients of potential energy surfaces play a central role in quantum chemistry, allowing for molecular geometry optimizations and molecular dynamics simulations. In strong coupling conditions, potential energy surfaces can account for strong interactions between matter and the quantized electromagnetic field. In this paper, we derive expressions for the ground state analytical gradients in quantum electrodynamics coupled cluster theory. We also present a Cholesky-based implementation for the coupled cluster singles and doubles model. We report timings to show the performance of the implementation and present optimized geometries to highlight cavity-induced molecular orientation effects in strong coupling conditions.


title: Simulation of the Dissipative Dynamics of Strongly Interacting NV Centers with Tensor Networks

abstract: NV centers in diamond are a promising platform for highly sensitive quantum sensors for magnetic fields and other physical quantities. The quest for high sensitivity combined with high spatial resolution leads naturally to dense ensembles of NV centers, and hence to strong, long-range interactions between them. Hence, simulating strongly interacting NVs becomes essential. However, obtaining the exact dynamics for a many-spin system is a challenging task due to the exponential scaling of the Hilbert space dimension, a problem that is exacerbated when the system is modelled as an open quantum system. In this work, we employ the Matrix Product Density Operator (MPDO) method to represent the many-body mixed state and to simulate the dynamics of an ensemble of NVs in the presence of strong long-range couplings due to dipole-dipole forces. We benchmark different time-evolution algorithms in terms of numerical accuracy and stability. Subsequently, we simulate the dynamics in the strong interaction regime, with and without dissipation.


title: On the representation property for 1D general diffusion semimartingales

abstract: A general diffusion semimartingale is a one-dimensional path-continuous semimartingale that is also a regular strong Markov process. We say that a continuous semimartingale has the representation property if all local martingales w.r.t. its canonical filtration have an integral representation w.r.t. its continuous local martingle part. The representation property is of fundamental interest in the field of mathematical finance, where it is strongly connected to market completeness. The main result from this paper shows that the representation property holds for a general diffusion semimartingale (that is not started in an absorbing boundary point) if and only if its scale function is (locally) absolutely continuous on the interior of the state space. As an application of our main theorem, we deduce that the laws of general diffusion semimartingales with such scale functions are extreme points of their semimartingale problems, and, moreover, we construct a general diffusion semimartingale whose law is no extreme point of its semimartingale problem. These observations contribute to a solution of problems posed by J. Jacod and M. Yor, and D. W. Stroock and M. Yor, on the extremality of strong Markov solutions.


title: Conference Proceedings of The European DAO Workshop 2024

abstract: The European DAO Workshop 2024 held on July 4th/5th in Winterthur, Switzerland aims to explore the challenges and opportunities of Decentralized Autonomous Organizations (DAOs). Its goal is to foster innovation and knowledge transfer between academics and practitioners to advance DAOs as a new organizational structure. This collection of full papers delves into areas such as decentralized decision-making, business models, artificial intelligence, economics, and legal challenges for DAOs. This diverse compilation offers a multi-disciplinary examination of the rapidly growing phenomenon of DAOs that are based on blockchain technology.


title: Audio-conditioned phonemic and prosodic annotation for building text-to-speech models from unlabeled speech data

abstract: This paper proposes an audio-conditioned phonemic and prosodic annotation model for building text-to-speech (TTS) datasets from unlabeled speech samples. For creating a TTS dataset that consists of label-speech paired data, the proposed annotation model leverages an automatic speech recognition (ASR) model to obtain phonemic and prosodic labels from unlabeled speech samples. By fine-tuning a large-scale pre-trained ASR model, we can construct the annotation model using a limited amount of label-speech paired data within an existing TTS dataset. To alleviate the shortage of label-speech paired data for training the annotation model, we generate pseudo label-speech paired data using text-only corpora and an auxiliary TTS model. This TTS model is also trained with the existing TTS dataset. Experimental results show that the TTS model trained with the dataset created by the proposed annotation method can synthesize speech as naturally as the one trained with a fully-labeled dataset.


title: Codecfake: An Initial Dataset for Detecting LLM-based Deepfake Audio

abstract: With the proliferation of Large Language Model (LLM) based deepfake audio, there is an urgent need for effective detection methods. Previous deepfake audio generation methods typically involve a multi-step generation process, with the final step using a vocoder to predict the waveform from handcrafted features. However, LLM-based audio is directly generated from discrete neural codecs in an end-to-end generation process, skipping the final step of vocoder processing. This poses a significant challenge for current audio deepfake detection (ADD) models based on vocoder artifacts. To effectively detect LLM-based deepfake audio, we focus on the core of the generation process, the conversion from neural codec to waveform. We propose Codecfake dataset, which is generated by seven representative neural codec methods. Experiment results show that codec-trained ADD models exhibit a 41.406% reduction in average equal error rate compared to vocoder-trained ADD models on the Codecfake test set.


title: Valeo4Cast: A Modular Approach to End-to-End Forecasting

abstract: Motion forecasting is crucial in autonomous driving systems to anticipate the future trajectories of surrounding agents such as pedestrians, vehicles, and traffic signals. In end-to-end forecasting, the model must jointly detect from sensor data (cameras or LiDARs) the position and past trajectories of the different elements of the scene and predict their future location. We depart from the current trend of tackling this task via end-to-end training from perception to forecasting and we use a modular approach instead. Following a recent study, we individually build and train detection, tracking, and forecasting modules. We then only use consecutive finetuning steps to integrate the modules better and alleviate compounding errors. Our study reveals that this simple yet effective approach significantly improves performance on the end-to-end forecasting benchmark. Consequently, our solution ranks first in the Argoverse 2 end-to-end Forecasting Challenge held at CVPR 2024 Workshop on Autonomous Driving (WAD), with 63.82 mAPf. We surpass forecasting results by +17.1 points over last year's winner and by +13.3 points over this year's runner-up. This remarkable performance in forecasting can be explained by our modular paradigm, which integrates finetuning strategies and significantly outperforms the end-to-end-trained counterparts.


title: Massive 1D Dirac Line, Solitons and Reversible Manipulation on the Surface of a Prototype Obstructed Atomic Insulator, Silicon

abstract: Topologically trivial insulators can be classified into atomic insulators (AIs) and obstructed atomic insulators (OAIs) depending on whether the Wannier charge centers are localized or not at spatial positions occupied by atoms. An OAI can possess unusual properties such as surface states along certain crystalline surfaces, which advantageously appear in materials with much larger bulk energy gap than topological insulators, making them more attractive for potential applications. In this work, we show that a well-known crystal, silicon (Si) is a model OAI, which naturally explains some of Si's unusual properties such as its famous (111) surface states. On this surface, using angle resolved photoemission spectroscopy (ARPES), we reveal sharp quasi-1D massive Dirac line dispersions; we also observe, using scanning tunneling microscopy/spectroscopy (STM/STS), topological solitons at the interface of the two atomic chains. Remarkably, we show that the different chain domains can be reversibly switched at the nanometer scale, suggesting the application potential in ultra-high density storage devices.


title: Resource Allocation and Workload Scheduling for Large-Scale Distributed Deep Learning: A Survey

abstract: With rapidly increasing distributed deep learning workloads in large-scale data centers, efficient distributed deep learning framework strategies for resource allocation and workload scheduling have become the key to high-performance deep learning. The large-scale environment with large volumes of datasets, models, and computational and communication resources raises various unique challenges for resource allocation and workload scheduling in distributed deep learning, such as scheduling complexity, resource and workload heterogeneity, and fault tolerance. To uncover these challenges and corresponding solutions, this survey reviews the literature, mainly from 2019 to 2024, on efficient resource allocation and workload scheduling strategies for large-scale distributed DL. We explore these strategies by focusing on various resource types, scheduling granularity levels, and performance goals during distributed training and inference processes. We highlight critical challenges for each topic and discuss key insights of existing technologies. To illustrate practical large-scale resource allocation and workload scheduling in real distributed deep learning scenarios, we use a case study of training large language models. This survey aims to encourage computer science, artificial intelligence, and communications researchers to understand recent advances and explore future research directions for efficient framework strategies for large-scale distributed deep learning.


title: Supportiveness-based Knowledge Rewriting for Retrieval-augmented Language Modeling

abstract: Retrieval-augmented language models (RALMs) have recently shown great potential in mitigating the limitations of implicit knowledge in LLMs, such as untimely updating of the latest expertise and unreliable retention of long-tail knowledge. However, since the external knowledge base, as well as the retriever, can not guarantee reliability, potentially leading to the knowledge retrieved not being helpful or even misleading for LLM generation. In this paper, we introduce Supportiveness-based Knowledge Rewriting (SKR), a robust and pluggable knowledge rewriter inherently optimized for LLM generation. Specifically, we introduce the novel concept of "supportiveness"--which represents how effectively a knowledge piece facilitates downstream tasks--by considering the perplexity impact of augmented knowledge on the response text of a white-box LLM. Based on knowledge supportiveness, we first design a training data curation strategy for our rewriter model, effectively identifying and filtering out poor or irrelevant rewrites (e.g., with low supportiveness scores) to improve data efficacy. We then introduce the direct preference optimization (DPO) algorithm to align the generated rewrites to optimal supportiveness, guiding the rewriter model to summarize augmented content that better improves the final response. Comprehensive evaluations across six popular knowledge-intensive tasks and four LLMs have demonstrated the effectiveness and superiority of SKR. With only 7B parameters, SKR has shown better knowledge rewriting capability over GPT-4, the current state-of-the-art general-purpose LLM.


title: Algorithmic methods of finite discrete structures. Isomorphism of Nonseparable Graphs

abstract: In this monography, it is proposed to consider the concepts of spectra of edge cuts and edge cycles of a graph as a basic mathematical structure for solving the problem of graph isomorphism. An edge cut is defined by an edge and the vertices incident to it. In contrast to the generation of iterated edge graphs, we consider an iterated chain of qualicuts of the original graph, generated by edge cuts and determined by a recurrence relation. An edge cycle is defined by the set of isometric cycles of a graph. The monography examines the issues of constructing the spectrum of edge cuts Ws and the spectrum of edge cycles Tc of a graph G. It is shown that the formation of spectra is based on the incidence matrix of the graph. The independence of the construction of the graph structure from the numbering of vertices and edges is shown. The necessity and sufficiency of the spectra of edge cuts and the spectrum of edge cycles for determining the isomorphism of graph structures is shown. The relation between the internal structures of the graph and Whitney's theorem is considered.


title: Non-maximal Anosov representations from surface groups to $\mathrm{SO}_0(2,3)$

abstract: We prove the representation given by a stable $\alpha_1$-cyclic parabolic $\mathrm{SO}_0(2,3)$-Higgs bundle through the non-Abelian Hodge correspondence is $\{\alpha_2\}$-almost dominated. This is a generalization of Filip's result on weight $3$ variation of Hodge structures and answers a question asked by Collier, Tholozan and Toulisse.


title: Low-Complexity Acoustic Scene Classification Using Parallel Attention-Convolution Network

abstract: This work is an improved system that we submitted to task 1 of DCASE2023 challenge. We propose a method of low-complexity acoustic scene classification by a parallel attention-convolution network which consists of four modules, including pre-processing, fusion, global and local contextual information extraction. The proposed network is computationally efficient to capture global and local contextual information from each audio clip. In addition, we integrate other techniques into our method, such as knowledge distillation, data augmentation, and adaptive residual normalization. When evaluated on the official dataset of DCASE2023 challenge, our method obtains the highest accuracy of 56.10% with parameter number of 5.21 kilo and multiply-accumulate operations of 1.44 million. It exceeds the top two systems of DCASE2023 challenge in accuracy and complexity, and obtains state-of-the-art result. Code is at: https://github.com/Jessytan/Low-complexity-ASC.


title: Interlinking User Stories and GUI Prototyping: A Semi-Automatic LLM-based Approach

abstract: Interactive systems are omnipresent today and the need to create graphical user interfaces (GUIs) is just as ubiquitous. For the elicitation and validation of requirements, GUI prototyping is a well-known and effective technique, typically employed after gathering initial user requirements represented in natural language (NL) (e.g., in the form of user stories). Unfortunately, GUI prototyping often requires extensive resources, resulting in a costly and time-consuming process. Despite various easy-to-use prototyping tools in practice, there is often a lack of adequate resources for developing GUI prototypes based on given user requirements. In this work, we present a novel Large Language Model (LLM)-based approach providing assistance for validating the implementation of functional NL-based requirements in a GUI prototype embedded in a prototyping tool. In particular, our approach aims to detect functional user stories that are not implemented in a GUI prototype and provides recommendations for suitable GUI components directly implementing the requirements. We collected requirements for existing GUIs in the form of user stories and evaluated our proposed validation and recommendation approach with this dataset. The obtained results are promising for user story validation and we demonstrate feasibility for the GUI component recommendations.


title: Moments of derivatives of the Riemann zeta function: Characteristic polynomials and the hybrid formula

abstract: We conjecture results about the moments of mixed derivatives of the Riemann zeta function, evaluated at the non-trivial zeros of the Riemann zeta function. We do this in two different ways, both giving us the same conjecture. In the first, we find asymptotics for the moments of derivatives of the characteristic polynomials of matrices in the Circular Unitary Ensemble. In the second, we consider the hybrid model approach first proposed by Gonek, Hughes and Keating.


title: Fully Few-shot Class-incremental Audio Classification Using Expandable Dual-embedding Extractor

abstract: It's assumed that training data is sufficient in base session of few-shot class-incremental audio classification. However, it's difficult to collect abundant samples for model training in base session in some practical scenarios due to the data scarcity of some classes. This paper explores a new problem of fully few-shot class-incremental audio classification with few training samples in all sessions. Moreover, we propose a method using expandable dual-embedding extractor to solve it. The proposed model consists of an embedding extractor and an expandable classifier. The embedding extractor consists of a pretrained Audio Spectrogram Transformer (AST) and a finetuned AST. The expandable classifier consists of prototypes and each prototype represents a class. Experiments are conducted on three datasets (LS-100, NSynth-100 and FSC-89). Results show that our method exceeds seven baseline ones in average accuracy with statistical significance. Code is at: https://github.com/YongjieSi/EDE.


title: Defect-related Anomalous Mobility of Small polarons in Oxides: the Case of Congruent Lithium Niobate

abstract: Polarons play a major role in the description of optical, electrical and dielectrical properties of several ferroelectric oxides. The motion of those particles occur by elementary hops among the material lattice sites. In order to compute macroscopic transport parameters such as charge mobility, normal diffusion laws are generally assumed. In this paper we show that when defect states able to trap the polarons for long times are considered, significant deviations from the normal diffusion behaviour arise. As an example of this behavior, we consider here the case of lithium niobate (LN), a prototypical system, having interacting polaron types. Our analysis considers the case of a stoichiometric LN containing a certain concentration of small electron polarons hopping on regular Nb sites and compares it to the material in congruent composition, which is characterized by a large concentration of antisite defects. While in the first case the charge carriers are free polarons hopping on a regular Nb sublattice, in the second case a fraction of polarons is trapped on antisite defects. Thus a range of different hopping possibilities arises, depending on the type of starting and destination sites. We develop a formalism encompassing all these microscopic processes in the framework of a switching diffusion model which can be well approximated by a mobile-immobile transport model providing explicit expressions for the polaron mobility. Starting from the Marcus-Holstein model for the polaron hopping frequency we verify by means of a Monte Carlo approach the diffusion/mobility of the different polarons showing that, while free polarons obey the laws for normal diffusion as expected, bound polarons follow an anomalous diffusion behaviour and that in the case of the congruent crystal where mixed free and bound polaron transport is involved, our expressions indeed provide a satisfactory description.


title: Legend: Leveraging Representation Engineering to Annotate Safety Margin for Preference Datasets

abstract: The success of the reward model in distinguishing between responses with subtle safety differences depends critically on the high-quality preference dataset, which should capture the fine-grained nuances of harmful and harmless responses. This motivates the need to develop a dataset involving preference margins, which accurately quantify how harmless one response is compared to another. In this paper, we take the first step to propose an effective and cost-efficient framework to promote the margin-enhanced preference dataset development. Our framework, Legend, Leverages representation engineering to annotate preference datasets. It constructs the specific direction within the LLM's embedding space that represents safety. By leveraging this safety direction, Legend can then leverage the semantic distances of paired responses along this direction to annotate margins automatically. We experimentally demonstrate our effectiveness in both reward modeling and harmless alignment for LLMs. Legend also stands out for its efficiency, requiring only the inference time rather than additional training. This efficiency allows for easier implementation and scalability, making Legend particularly valuable for practical applications in aligning LLMs with safe conversations.


title: Discrete Single-Parameter Optimal Auction Design

abstract: We study the classic single-item auction setting of Myerson, but under the assumption that the buyers' values for the item are distributed over finite supports. Using strong LP duality and polyhedral theory, we rederive various key results regarding the revenue-maximizing auction, including the characterization through virtual welfare maximization and the optimality of deterministic mechanisms, as well as a novel, generic equivalence between dominant-strategy and Bayesian incentive compatibility. Inspired by this, we abstract our approach to handle more general auction settings, where the feasibility space can be given by arbitrary convex constraints, and the objective is a convex combination of revenue and social welfare. We characterize the optimal auctions of such systems as generalized virtual welfare maximizers, by making use of their KKT conditions, and we present an analogue of Myerson's payment formula for general discrete single-parameter auction settings. Additionally, we prove that total unimodularity of the feasibility space is a sufficient condition to guarantee the optimality of auctions with integral allocation rules. Finally, we demonstrate this KKT approach by applying it to a setting where bidders are interested in buying feasible flows on trees with capacity constraints, and provide a combinatorial description of the (randomized, in general) optimal auction.


title: Towards a unified description of isotopic fragment properties in spontaneous and fusion-induced fission within a 4D dynamical Langevin model

abstract: Spontaneous fission of 252Cf and fusion-induced fission of 250Cf are investigated within a multi-dimensional Langevin model. The potential-energy surface is calculated in the macroscopic-microscopic LSD+Yukawa-folded approach using the four-dimensional Fourier-over-Spheroid shape parametrization. The dynamical evolution described by the Langevin equation is coupled to neutron evaporation, thereby allowing for the possibility of multi-chance fission. Charge equilibration and excitation-energy sharing between the fragments emerging at scission are evaluated, and their de-excitation is finally computed. The correlation between various observables, particularly the isotopic properties of the fragments, is discussed and compared with the experiment whenever available. The theoretical predictions are generally in good agreement with the data.


title: Coproduct Formula for Motivic Version of Yamamoto's Integral

abstract: Goncharov proved an explicit formula for the coproduct in the Hopf algebra of motivic iterated integrals. Yamamoto introduced Yamamoto's integral which generalizes iterated integrals and gave a new integral expression for multiple zeta star values using Yamamoto's integral. In this paper, we consider the motivic version of Yamamoto's integral and generalize Goncharov's coproduct formula to those motivic integrals. As an example, we will compute the coproduct of a certain type of Schur multiple zeta values.


title: Short-Long Convolutions Help Hardware-Efficient Linear Attention to Focus on Long Sequences

abstract: To mitigate the computational complexity in the self-attention mechanism on long sequences, linear attention utilizes computation tricks to achieve linear complexity, while state space models (SSMs) popularize a favorable practice of using non-data-dependent memory pattern, i.e., emphasize the near and neglect the distant, to processing sequences. Recent studies have shown the priorities by combining them as one. However, the efficiency of linear attention remains only at the theoretical level in a causal setting, and SSMs require various designed constraints to operate effectively on specific data. Therefore, in order to unveil the true power of the hybrid design, the following two issues need to be addressed: (1) hardware-efficient implementation for linear attention and (2) stabilization of SSMs. To achieve this, we leverage the thought of tiling and hierarchy to propose CHELA (short-long Convolutions with Hardware-Efficient Linear Attention), which replaces SSMs with short-long convolutions and implements linear attention in a divide-and-conquer manner. This approach enjoys global abstraction and data-dependent selection from stable SSM and linear attention while maintaining real linear complexity. Our comprehensive experiments on the Long Range Arena benchmark and language modeling tasks demonstrate the effectiveness of the proposed method.


title: Upper bounds on the highest phonon frequency and superconducting temperature from fundamental physical constants

abstract: Fundamental physical constants govern key effects in high-energy particle physics and astrophysics, including the stability of particles, nuclear reactions, formation and evolution of stars, synthesis of heavy nuclei and emergence of stable molecular structures. Here, we show that fundamental constants also set an upper bound for the frequency of phonons in condensed matter phases, or how rapidly an atom can vibrate. This bound is in agreement with \textit{ab initio} simulations of atomic hydrogen and high-temperature hydride superconductors, and implies an upper limit to the superconducting transition temperature $T_c$ in condensed matter. Fundamental constants set this limit to the order of 10$^2-10^3$ K. This range is consistent with our calculations of $T_c$ from optimal Eliashberg functions. As a corollary, we observe that the very existence of high-temperature superconductivity research is due to the observed values of fundamental constants. We finally discuss how fundamental constants affect the observability of other condensed matter phenomena including phase transitions.


title: Anomalous Nernst Effect in Ferromagnetic Weyl Semimetal

abstract: In a three-dimensional Dirac semimetal the time reversal symmetry (TRS) or the inversion symmetry (IS) is not broken. With either of these symmetries broken, the Dirac points in the three-dimensional band structure split up into pairs of so-called Weyl points. The ferromagnetic Weyl semimetals (FMWSM), such as Co3Sn2S2, feature pairs of Weyl points characterized by the opposite chiralities. In this communication we study FMWSM based on TRS broken continuum and lattice Hamiltonians. The latter one is more realistic and represents Co3Sn2S2. These models include all essential ingredients leading to the formation of a pair of Weyl nodes and tilted Weyl cones. Our analysis shows a large anomalous Nernst conductivity which is unlocked due to the divergent Berry curvature - a local manifestation of the geometric properties of electronic wavefunctions - at Weyl points.


title: dx2-y2-wave Bose Metal induced by the next-nearest-neighbor hopping t'

abstract: Superconductivity arises when electrons form Cooper pairs with phase coherence. In contrast, a lack of phase coherence in Cooper pairs can lead to an uncondensed metallic ground state known as the Bose metal state. In this study, we investigate an attractively interacting fermionic system with nearest-neighbor (NN) hopping (t) and next-nearest-neighbor (NNN) hopping (t') anisotropy between two species of spins in a two-dimensional (2D) lattice. Utilizing the constrained path quantum Monte Carlo (CPQMC) method, we demonstrate the existence of a dx2-y2-wave Cooper pair Bose metal (CPBM) phase with t'/t > 0.7. The CPBM phase exhibits a dome-like structure in the phase diagram of filling n~0.65, with the maximal region around an optimal t'/t ~ 0.2, suggesting that an appropriate value of t' facilitates the formation of the Bose metal. Furthermore, we find that a Bose metal formed by fermions with a closed Fermi surface confirms that the crucial condition for this exotic phenomenon is primarily the anisotropy of the Fermi surface, rather than its topology. Our finding of the dx2-y2-wave CPBM demonstrates the same pairing symmetry as the pseudogap behavior in cuprates, and its experimental realization in ultracold atom systems is also feasible.


title: Relative nonhomogeneous Koszul duality for PROPs associated to nonaugmented operads

abstract: The purpose of this paper is to show how Positselski's relative nonhomogeneous Koszul duality theory applies when studying the linear category underlying the PROP associated to a (non-augmented) operad of a certain form, in particular assuming that the reduced part of the operad is binary quadratic. In this case, the linear category has both a left augmentation and a right augmentation (corresponding to different units), using Positselski's terminology. The general theory provides two associated linear differential graded (DG) categories; indeed, in this framework, one can work entirely within the DG realm, as opposed to the curved setting required for Positselski's general theory. Moreover, DG modules over DG categories are related by adjunctions. When the reduced part of the operad is Koszul (working over a field of characteristic zero), the relative Koszul duality theory shows that there is a Koszul-type equivalence between the appropriate homotopy categories of DG modules. This gives a form of Koszul duality relationship between the above DG categories. This is illustrated by the case of the operad encoding unital, commutative associative algebras, extending the classical Koszul duality between commutative associative algebras and Lie algebras. In this case, the associated linear category is the linearization of the category of finite sets and all maps. The relative nonhomogeneous Koszul duality theory relates its derived category to the respective homotopy categories of modules over two explicit linear DG categories.


title: Temperature and composition disturbances in the southern auroral region of Jupiter revealed by JWST/MIRI

abstract: Jupiters south polar region was observed by JWST Mid Infrared Instrument in December 2022. We used the Medium Resolution Spectrometer mode to provide new information about Jupiters South Polar stratosphere. The southern auroral region was visible and influenced the atmosphere in several ways. 1: In the interior of the southern auroral oval, we retrieved peak temperatures at two distinct pressure levels near 0.01 and 1 mbar, with warmer temperatures with respect to non auroral regions of 12 pm 2 K and 37 pm 4 K respectively. A cold polar vortex is centered at 65S at 10 mbar. 2: We found that the homopause is elevated to 590+25-118 km above the 1-bar pressure level inside the auroral oval compared to 460+60-50 km at neighboring latitudes and with an upper altitude of 350 km in regions not affected by auroral precipitation. 3: The retrieved abundance of C2H2 shows an increase within the auroral oval, and it exhibits high abundances throughout the polar region. The retrieved abundance of C2H6 increases towards the pole, without being localized in the auroral oval, in contrast with previous analysis. We determined that the warming at 0.01 mbar and the elevated homopause might be caused by the flux of charged particles depositing their energy in the South Polar Region. The 1 mbar hotspot may arise from adiabatic heating resulting from auroral driven downwelling. The cold region at 10 mbar may be caused by radiative cooling by stratospheric aerosols. The differences in spatial distribution seem to indicate that the hydrocarbons analyzed are affected differently by auroral precipitation.


title: Making AI Intelligible: Philosophical Foundations

abstract: Can humans and artificial intelligences share concepts and communicate? 'Making AI Intelligible' shows that philosophical work on the metaphysics of meaning can help answer these questions. Herman Cappelen and Josh Dever use the externalist tradition in philosophy to create models of how AIs and humans can understand each other. In doing so, they illustrate ways in which that philosophical tradition can be improved. The questions addressed in the book are not only theoretically interesting, but the answers have pressing practical implications. Many important decisions about human life are now influenced by AI. In giving that power to AI, we presuppose that AIs can track features of the world that we care about (for example, creditworthiness, recidivism, cancer, and combatants). If AIs can share our concepts, that will go some way towards justifying this reliance on AI. This ground-breaking study offers insight into how to take some first steps towards achieving Interpretable AI.


title: Design, modeling, and characteristics of ringshaped robot actuated by functional fluid

abstract: The controlled actuation of hydraulic and pneumatic actuators has unveiled fresh and thrilling opportunities for designing mobile robots with adaptable structures. Previously reported rolling robots, which were powered by fluidic systems, often relied on complex principles, cumbersome pump and valve systems, and intricate control strategies, limiting their applicability in other fields. In this investigation, we employed a distinct category of functional fluid identified as Electrohydrodynamic (EHD) fluid, serving as the pivotal element within the ring-shaped actuator. A short stream of functional fluid is placed within a fluidic channel and is then actuated by applying a direct current voltage aiming at shifting the center of mass of the robot and finally pushed the actuator to roll. We designed a ring-shaped fluidic robot, manufactured it using digital machining methods, and evaluated the robot's characteristics. Furthermore, we developed static and dynamic models to analyze the oscillation and rolling motion of the ring-shaped robots using the Lagrange method. This study is anticipated to contribute to the expansion of current research on EHD flexible actuators, enabling the realization of complex robotic systems.


title: $\omega$-regular Expression Synthesis from Transition-Based B\"uchi Automata

abstract: A popular method for modelling reactive systems is to use $\omega$-regular languages. These languages can be represented as nondeterministic B\"uchi automata (NBAs) or $\omega$-regular expressions. Existing methods synthesise expressions from state-based NBAs. Synthesis from transition-based NBAs is traditionally done by transforming transition-based NBAs into state-based NBAs. This transformation, however, can increase the complexity of the synthesised expressions. This paper proposes a novel method for directly synthesising $\omega$-regular expressions from transition-based NBAs. We prove that the method is sound and complete. Our empirical results show that the $\omega$-regular expressions synthesised from transition-based NBAs are more compact than those synthesised from state-based NBAs. This is particularly the case for NBAs computed from obligation, reactivity, safety and recurrence-type LTL formulas, reporting in the latter case an average reduction of over 50%. We also show that our method successfully synthesises $\omega$-regular expressions from more LTL formulas when using a transition-based instead of a state-based NBA.


title: The impact of deep learning aid on the workload and interpretation accuracy of radiologists on chest computed tomography: a cross-over reader study

abstract: Interpretation of chest computed tomography (CT) is time-consuming. Previous studies have measured the time-saving effect of using a deep-learning-based aid (DLA) for CT interpretation. We evaluated the joint impact of a multi-pathology DLA on the time and accuracy of radiologists' reading. 40 radiologists were randomly split into three experimental arms: control (10), who interpret studies without assistance; informed group (10), who were briefed about DLA pathologies, but performed readings without it; and the experimental group (20), who interpreted half studies with DLA, and half without. Every arm used the same 200 CT studies retrospectively collected from BIMCV-COVID19 dataset; each radiologist provided readings for 20 CT studies. We compared interpretation time, and accuracy of participants diagnostic report with respect to 12 pathological findings. Mean reading time per study was 15.6 minutes [SD 8.5] in the control arm, 13.2 minutes [SD 8.7] in the informed arm, 14.4 [SD 10.3] in the experimental arm without DLA, and 11.4 minutes [SD 7.8] in the experimental arm with DLA. Mean sensitivity and specificity were 41.5 [SD 30.4], 86.8 [SD 28.3] in the control arm; 53.5 [SD 22.7], 92.3 [SD 9.4] in the informed non-assisted arm; 63.2 [SD 16.4], 92.3 [SD 8.2] in the experimental arm without DLA; and 91.6 [SD 7.2], 89.9 [SD 6.0] in the experimental arm with DLA. DLA speed up interpretation time per study by 2.9 minutes (CI95 [1.7, 4.3], p<0.0005), increased sensitivity by 28.4 (CI95 [23.4, 33.4], p<0.0005), and decreased specificity by 2.4 (CI95 [0.6, 4.3], p=0.13). Of 20 radiologists in the experimental arm, 16 have improved reading time and sensitivity, two improved their time with a marginal drop in sensitivity, and two participants improved sensitivity with increased time. Overall, DLA introduction decreased reading time by 20.6%.


title: Limit cycles of piecewise smooth differential systems of the type nonlinear center and saddle

abstract: Piecewise linear differential systems separated by two parallel straight lines of the type of center-center-Hamiltonian saddle and the center-Hamiltonian saddle-Hamiltonian saddle can have at most one limit cycle and there are systems in these classes having one limit cycle. In this paper, we study the limit cycles of a piecewise smooth differential system separated by two parallel straight lines formed by nonlinear centers and a Hamiltonian saddle.


title: Unified study of the phase transition for block-weighted random planar maps

abstract: In [Fleurat, Salvy 2024], we introduced a model of block-weighted random maps that undergoes a phase transition as the density of separating elements changes. The purpose of this note is to demonstrate that the methodology we developed can be extended to many other families of maps. We prove that a phase transition exists and provide detailed information about the size of the largest blocks in each regime.


title: Functional voxel hierarchy and afferent capacity revealed mental state transition on dynamic correlation resting-state fMRI

abstract: Voxel hierarchy on dynamic brain graphs is produced by k core percolation on functional dynamic amplitude correlation of resting-state fMRI. Directed graphs and their afferent/efferent capacities are produced by Markov modeling of the universal cover of undirected graphs simultaneously with the calculation of volume entropy. Positive and unsigned negative brain graphs were analyzed separately on sliding-window representation to underpin the visualization and quantitation of mental dynamic states with their transitions. Voxel hierarchy animation maps of positive graphs revealed abrupt changes in coreness k and kmaxcore, which we called mental state transitions. Afferent voxel capacities of the positive graphs also revealed transient modules composed of dominating voxels/independent components and their exchanges representing mental state transitions. Animation and quantification plots of voxel hierarchy and afferent capacity corroborated each other in underpinning mental state transitions and afferent module exchange on the positive directed functional connectivity graphs. We propose the use of spatiotemporal trajectories of voxels on positive dynamic graphs to construct hierarchical structures by k core percolation and quantified in- and out-flows of information of voxels by volume entropy/directed graphs to subserve diverse resting mental state transitions on resting-state fMRI graphs in normal human individuals.


title: The Sun's Magnetic Power Spectra over Two Solar Cycles. \uppercase\expandafter{\romannumeral2}. Cycle Dependence of Active Region, Magnetic Network, and Their Relation

abstract: The multi-scaled solar magnetic field consists of two major components: active regions (ARs) and magnetic network. Unraveling the cycle-dependent properties and interrelations of these components is crucial for understanding the evolution of the solar magnetic field. In this study, we investigate these components using magnetic power spectra derived from high-resolution and continuous synoptic magnetograms since cycle 23 onwards. Our results show that the size of the magnetic network ranges from 26 Mm to 41 Mm without dependence on the solar cycle. The power of the network field ($P_{NW}$) accounts for approximately 20\% of the total power during any phase of solar cycles. In contrast to the AR power ($P_{AR}$), $P_{NW}$ displays a weaker cycle dependence, as described by the relationship $P_{NW}$ $\approx$ 0.6* $P_{AR}$ + 40. The power-law index between AR sizes and magnetic network sizes presents a strong anti-correlation with the activity level. Additionally, our study indicates that in the absence of sunspots on the solar disc, the magnetic power spectra remain time-independent, consistently exhibiting similarity in both shape and power. This study introduces a new method to investigate the properties of the magnetic network and provides magnetic power spectra for high-resolution simulations of the solar magnetic field at the surface at various phases of solar cycles.


title: A computational materials science paradigm for a Course-based Undergraduate Research Experience (CURE)

abstract: Course-based Undergraduate Research Experiences (CUREs) bring the excitement of research into the classroom to improve learning and the sense of belonging in the field. They can reach more students, earlier in their studies, than typical undergraduate research. Key aspects are: students learn and use research methods, give input into the project, generate new research data, and analyze it to draw conclusions that are not known beforehand. CUREs are common in other fields but have been rare in materials science and engineering. I propose a paradigm for computational material science CUREs, enabled by web-based simulation tools from nanoHUB.org that require minimal computational skills. After preparatory exercises, students each calculate part of a set of closely related materials, following a defined protocol to contribute to a novel class dataset which they analyze, and also calculate an additional property of their choice. This approach has been used successfully in several class projects.


title: Constraining the axial-vector X17 interpretation with ${}^{12}$C data

abstract: Recent findings of an unexpected, narrow resonance in the $e^+e^-$ decay spectra of excited states of $^8$Be, $^4$He and $^{12}$C by the ATOMKI collaboration have received considerable experimental and theoretical attention, whereby a new, 17-MeV vector-like or axial-vector-like boson termed X17 was conjectured as an explanation of the anomaly. Further analysis of all existing constraints disfavors a vector X17 scenario. For a similar analysis of the axial-vector scenario, a calculation of the reduced matrix element of a spin-dipole operator between the excited nuclear state ${}^{12}$C(17.23) and the carbon ground state is required. In the present work, we compute the aforementioned reduced matrix element under the assumption that the state ${}^{12}$C(17.23) is well represented by the $2s_{1/2}1p^{-1}_{3/2}$ particle-hole shell-model excitation of the ground state, as supported by experimental data. Within such a framework, our results indicate that, like the vector scenario, the axial-vector interpretation of X17 shows strong tensions with the other existing constraints on the nucleon coupling of a conjectured X17.


title: Design,fabrication and characterization of 8x9 n-type silicon pad array for sampling calorimetry

abstract: This paper reports the development and testing of n-type silicon pad array detectors targeted for the Forward Calorimeter (FoCal) detector, which is an upgrade of the ALICE detector at CERN, scheduled for data taking in Run~4~(2029-2034). The FoCal detector includes hadronic and electromagnetic calorimeters, with the latter made of tungsten absorber layers and granular silicon pad arrays read out using the High Granularity Calorimeter Readout Chip~(HGCROC). This paper covers the Technology Computer-Aided Design (TCAD) simulations, the fabrication process, current versus voltage (IV) and capacitance versus voltage (CV) measurements, test results with a blue LED and $^{90}$Sr beta source, and neutron radiation hardness tests. IV measurements for the detector showed that 90\% of the pads had leakage current below 10~nA at full depletion voltage. Simulations predicted a breakdown voltage of 1000~V and practical tests confirmed stable operation up to 500~V without breakdown. CV measurements in the data and the simulations gave a full depletion voltage of around 50~V at a capacitance of 35~pF. LED tests verified that all detector pads responded correctly. Additionally, the 1$\times$1 cm$^2$ pads were also tested with the neutron radiations at a fluence of $5\times10^{13}$ 1~MeV~n$_{eq}$/cm$^2$.


title: Realizations of free actions via their fixed point algebras

abstract: Let $G$ be a compact group, let $\mathcal{B}$ be a unital C$^*$-algebra, and let $(\mathcal{A},G,\alpha)$ be a free C$^*$-dynamical system, in the sense of Ellwood, with fixed point algebra $\mathcal{B}$. We prove that $(\mathcal{A},G,\alpha)$ can be realized as the invariants of an equivariant coaction of $G$ on a corner of $\mathcal{B} \otimes \mathcal{K}(\mathfrak{H})$ for a certain Hilbert space $\mathfrak{H}$ that arises from the freeness of the action. This extends a result by Wassermann for free C$^*$-dynamical systems with trivial fixed point algebras. As an application, we show that any faithful \Star-representation of $\mathcal{B}$ on a Hilbert space $\mathfrak{H}_{\mathcal{B}}$ gives rise to a faithful covariant representation of $(\mathcal{A},G,\alpha)$ on some truncation of $\mathfrak{H}_{\mathcal{B}} \otimes \mathfrak{H}$.


title: Interfacial Dynamics and Catalytic Behavior of Single Ni Atom Site

abstract: Single-atom catalysts (SACs) have garnered significant interest due to their ability to reduce metal particles to the atomic scale, enabling finely tunable local environments and enhanced catalytic properties in terms of reactivity and selectivity. Despite this potential, their application has largely been confined to small-molecule transformations as metal-catalyzed reaction. In this study, we present a diverse single-atom nickel (Ni) catalyst established via a nanoporous carbon (NPC) supported practice. This catalyst represents a breakthrough by achieving the bond formation between carbon and nitrogen and interfacial dynamics in the SAC. The present first principle-based density functional simulations establish the reaction dynamics and catalytic behaviour of such SAC. This dynamic nature comprises an exclusive nitrogen intercalated site showing excellent base effects. This base quickly tunes the interfacial atmosphere, enabling dynamic movement of adatoms into the NPC species, significantly changing the reaction path in Ni SACs due to superior steric effects. The research demonstrates that SACs can extend the capabilities of catalytic systems to include a wider range of complex reactions, offering substantial promise for the development of new, efficient synthetic methods for creating value-added molecular products.


title: A New Linear Programming Approach and a New Backtracking Strategy for Multiple-Gradient Descent in Multi-Objective Optimization

abstract: In this work, the author presents a novel method for finding descent directions shared by two or more differentiable functions defined on the same unconstrained domain space. Then, the author illustrates an alternative Multiple-Gradient Descent procedure for Multi-Objective Optimization problems that is based on this new method. In particular, the proposed method consists in finding the shared descent direction solving a relatively cheap Linear Programming (LP) problem, where the LP's objective function and the constraints are defined by the gradients of the objective functions of the Multi-Objective Optimization problem. More precisely, the formulation of the LP problem is such that, if a shared descent direction does not exist for the objective functions, but a non-ascent direction for all the objectives does, the LP problem returns the latter. Moreover, the author defines a new backtracking strategy for Multiple-Gradient Descent methods such that, if the proposed LP is used for computing the direction, the ability to reach and/or explore the Pareto set and the Pareto front is improved. A theoretical analysis of the properties of the new methods is performed, and tests on classic Multi-Objective Optimization problems are proposed to assess their goodness.


title: Probing Implicit Bias in Semi-gradient Q-learning: Visualizing the Effective Loss Landscapes via the Fokker--Planck Equation

abstract: Semi-gradient Q-learning is applied in many fields, but due to the absence of an explicit loss function, studying its dynamics and implicit bias in the parameter space is challenging. This paper introduces the Fokker--Planck equation and employs partial data obtained through sampling to construct and visualize the effective loss landscape within a two-dimensional parameter space. This visualization reveals how the global minima in the loss landscape can transform into saddle points in the effective loss landscape, as well as the implicit bias of the semi-gradient method. Additionally, we demonstrate that saddle points, originating from the global minima in loss landscape, still exist in the effective loss landscape under high-dimensional parameter spaces and neural network settings. This paper develop a novel approach for probing implicit bias in semi-gradient Q-learning.


title: Universal Scale Laws for Colors and Patterns in Imagery

abstract: Distribution of colors and patterns in images is observed through cascades that adjust spatial resolution and dynamics. Cascades of colors reveal the emergent universal property that Fully Colored Images (FCIs) of natural scenes adhere to the debated continuous linear log-scale law (slope $-2.00 \pm 0.01$) (L1). Cascades of discrete $2 \times 2$ patterns are derived from pixel squares reductions onto the seven unlabeled rotation-free textures (0000, 0001, 0011, 0012, 0101, 0102, 0123). They exhibit an unparalleled universal entropy maximum of $1.74 \pm 0.013$ at some dynamics regardless of spatial scale (L2). Patterns also adhere to the Integral Fluctuation Theorem ($1.00 \pm 0.01$) (L3), pivotal in studies of chaotic systems. Images with fewer colors exhibit quadratic shift and bias from L1 and L3 but adhere to L2. Randomized Hilbert fractals FCIs better match the laws than basic-to-AI-based simulations. Those results are of interest in Neural Networks, out of equilibrium physics and spectral imagery.


title: Distribution spaces associated with elliptic operators

abstract: We study complex distribution spaces given over a bounded Lipschitz domain $\Omega$ and associated with an elliptic differential operator $A$ with $C^{\infty}$-coefficients on $\overline{\Omega}$. If $X$ and $Y$ are quasi-Banach distribution spaces over $\Omega$, then the space $X(A,Y)$ under study consists of all distributions $u\in X$ such that $Au\in Y$ and is endowed with the graph quasi-norm. Assuming $X$ to be an arbitrary Besov space or Triebel--Lizorkin space over $\Omega$, we find sufficient conditions for $Y$ under which the interpolation between the spaces $X(A,Y)$ preserves their structure, these spaces are separable, and the set $C^{\infty}(\overline{\Omega})$ is dense in them. We then explicitly describe the spaces obtained by the real, complex, and $\pm$ interpolation between the spaces under study. We apply these spaces to general elliptic problems with rough boundary data by proving the Fredholm property for bounded operators induced by these problems and defined on certain spaces $X(A,Y)$. Specifically, we establish the maximal regularity of solutions to some elliptic problems with Gaussian white noise in boundary conditions. Quasi-Banach distribution spaces are involved in the concept of $X(A,Y)$ for the first time. Our results are new even for inner product Sobolev spaces of integer-valued order.


title: Unveiling potential neutron halos in intermediate-mass nuclei: an \textit{ab initio} study

abstract: Halos epitomize the fascinating interplay between weak binding, shell evolution, and deformation effects, especially in nuclei near the drip line. In this Letter, we apply the state-of-the-art \textit{ab initio} valence-space in-medium similarity renormalization group approach to predict potential candidates for one- and two-neutron halo in the intermediate-mass region. Notably, we use spectroscopic factors (SF) and two-nucleon amplitudes (TNA) as criteria for suggesting one- and two-neutron halo candidates, respectively. This approach is not only theoretically sound but also amenable to experimental validation. Our research focuses on Mg, Al, Si, P, and S neutron-drip-line nuclei, offering systematic predictions of neutron halo candidates in terms of separation energies, SF (TNA), and average occupation. The calculation suggests the ground states of $^{40,42,44,46}$Al, $^{41,43,45,47}$Si, $^{46,48}$P, and $^{47,49}$S are promising candidates for one-neutron halos, while $^{40,42,44,46}$Mg, $^{45,47}$Al, $^{46,48}$Si, $^{49}$P, and $^{50}$S may harbor two-neutron halos. In addition, the relative mean-square neutron radius between halo nuclei and \textit{inner core} is calculated for suggested potential neutron halos. Finally, the relations of halo formations and shell evolution are discussed.


title: CT3D++: Improving 3D Object Detection with Keypoint-induced Channel-wise Transformer

abstract: The field of 3D object detection from point clouds is rapidly advancing in computer vision, aiming to accurately and efficiently detect and localize objects in three-dimensional space. Current 3D detectors commonly fall short in terms of flexibility and scalability, with ample room for advancements in performance. In this paper, our objective is to address these limitations by introducing two frameworks for 3D object detection with minimal hand-crafted design. Firstly, we propose CT3D, which sequentially performs raw-point-based embedding, a standard Transformer encoder, and a channel-wise decoder for point features within each proposal. Secondly, we present an enhanced network called CT3D++, which incorporates geometric and semantic fusion-based embedding to extract more valuable and comprehensive proposal-aware information. Additionally, CT3D ++ utilizes a point-to-key bidirectional encoder for more efficient feature encoding with reduced computational cost. By replacing the corresponding components of CT3D with these novel modules, CT3D++ achieves state-of-the-art performance on both the KITTI dataset and the large-scale Way\-mo Open Dataset. The source code for our frameworks will be made accessible at https://github.com/hlsheng1/CT3D-plusplus.


title: Optimal control of quantum system in fermion fields: Pontryagin-type maximum principle(I)

abstract: In this paper, the Pontryagin-type maximum principle for optimal control of quantum stochastic systems in fermion fields is obtained. These systems have gained significant prominence in numerous quantum applications ranging from physical chemistry to multi-dimensional nuclear magnetic resonance experiments. Furthermore, we establish the existence and uniqueness of solutions to backward quantum stochastic differential equations driven by fermion Brownian motion. The application of noncommutative martingale inequalities and the martingale representation theorem enables this achievement.


title: Revisiting N$_2$ with Neural-Network-Supported CI

abstract: We apply a recently proposed computational protocol for a neural-network-supported configuration interaction (NN CI) calculation to the paradigmatic N$_2$ molecule. By comparison of correlation energy, binding energy, and the full dissociation curve to experimental and full CI benchmarks, we demonstrate the applicability and robustness of our approach for the first time in the context of molecular systems, and offer thereby a new complementary tool in the family of machine-learning-based computation methods. The main advantage of the method lies in the efficiency of the neural-network-selected many-body basis set. Specifically, we approximate full CI results obtained on bases of $\approx 10^{10}$ Slater Determinants with only $\approx10^{5}$ determinants with good accuracy. The high efficiency of the NN CI approach underlines its potential for broader applications such as structural optimizations and even computation of spectroscopic observables in systems for which computational resources are a limiting factor.


title: Examining Post-Training Quantization for Mixture-of-Experts: A Benchmark

abstract: Large Language Models~(LLMs) have become foundational in the realm of natural language processing, demonstrating performance improvements as model sizes increase. The Mixture-of-Experts~(MoE) approach offers a promising way to scale LLMs more efficiently by using fewer computational FLOPs through sparse activation. However, it suffers from significant memory overheads, necessitating model compression techniques. Post-training quantization, a popular method for model compression, proves less effective when directly applied to MoE models due to MoE's overlooked inherent sparsity. This paper explores several MoE structure-aware quantization heuristics, ranging from coarse to fine granularity, from MoE block to individual linear weight. Our investigations reveal critical principles: different MoE structures (i.e., blocks, experts, linear layers) require varying numbers of weight bits for effective and efficient quantization. Conclusions are supported by extensive benchmarking across two representative MoE models and six tasks. We further introduce novel enhancements to more accurately identify the most critical weights in MoE quantization that necessitate higher bit allocations, including the linear weight outlier scorer and MoE block scorer. Additionally, subsequent experiments validate our findings in the context of both weight and activation quantization.


title: Scaling behavior of the localization length for TE waves at critical incidence on short-range correlated stratified random media

abstract: We theoretically investigate the scaling behavior of the localization length for $s$-polarized electromagnetic waves incident at a critical angle on stratified random media with short-range correlated disorder. By employing the invariant embedding method, extended to waves in correlated random media, and utilizing the Shapiro-Loginov formula of differentiation, we accurately compute the localization length $\xi$ of $s$ waves incident obliquely on stratified random media that exhibit short-range correlated dichotomous randomness in the dielectric permittivity. The random component of the permittivity is characterized by the disorder strength parameter $\sigma^2$ and the disorder correlation length $l_c$. Away from the critical angle, $\xi$ depends on these parameters independently. However, precisely at the critical angle, we discover that for waves with wavenumber $k$, $k\xi$ depends on the single parameter $kl_c\sigma^2$, satisfying a universal equation $k\xi\approx 1.3717\left(kl_c\sigma^2\right)^{-1/3}$ across the entire range of parameter values. Additionally, we find that $\xi$ scales as ${\lambda}^{4/3}$ for the entire range of the wavelength $\lambda$, regardless of the values of $\sigma^2$ and $l_c$. We demonstrate that under sufficiently strong disorder, the scaling behavior of the localization length for all other incident angles converges to that for the critical incidence.


title: Superconducting diode effect under time reversal symmetry

abstract: In noncentrosymmetric superconductors, superconducting and normal conductions can interchange based on the current flow direction. This effect is termed a superconducting diode effect (SDE), which is a focal point of recent research. The broken inversion and time reversal symmetry is believed to be the requirements of SDE but their intrinsic role has remained elusive. Here, we report strain-controlled SDEs in a layered trigonal superconductor, PbTaSe2. The SDE was found exclusively in a strained device with its absence in an unstrained device, despite that it is allowed in unstrained trigonal structure. Moreover, the zero-field or magnetic field-even (magnetic field-odd) SDE is observed when the strain and current are along armchair (zigzag) direction The results unambiguously demonstrate the intrinsic SDE under time-reversal symmetry and the critical role of strain-induced electric polarization.


title: Dark matter in the Milky Way: Measurements up to 3 kpc from the Galactic plane above Sun's location

abstract: We are probing the gravitational force perpendicular to the Galactic plane at the position of the Sun with a sample of red giants whose measurements are taken from the DR3-Gaia catalogue. Measurements far out of the Galactic plane up to 3.5 kpc allow us to determine directly the total mass density where dark matter is dominant, while stellar and gas densities are very low. In a complementary way, we are also using a new determination of the local baryonic mass density to help us determine the density of dark matter in the Galactic plane at the solar position. We obtain for the local mass density of dark matter $\rho_\mathrm{dm}$=0.0128$\pm $0.0008 M$_\odot$ pc$^{-3}$ = 0.486 $\pm$0.030 Gev cm$^{-3}$, for the flattening of the gravitational potential of the dark halo $q_\mathrm{\phi,h}$=0.843$\pm0.035$, and for its density $q_\mathrm{\rho,h}$=0.781$\pm$0.055.


title: Quadratic perturbations of the Schwarzschild black hole: The algebraically special sector

abstract: We investigate quadratic algebraically special perturbations (ASPs) of the Schwarzschild black hole. Their dynamics are derived from the expansion up to second order in perturbation of the most general algebraically special twisting vacuum solution of general relativity. Following this strategy, we present analytical expressions for the axial-axial, polar-polar and polar-axial source terms entering in the dynamical equations. We show that these complicated inhomogeneous equations can be solved analytically and we present explicit expressions for the profiles of the quadratic ASPs. As expected, they exhibit exponential growth both at the past and future horizons even in the non-linear regime. We further use this result to analyze the quadratic zero modes and their interpretation in terms of quadratic corrections to mass and spin of the Schwarzschild black hole. The present work provides a direct extension beyond the linear regime of the original work by Couch and Newman.


title: Chemistry3D: Robotic Interaction Benchmark for Chemistry Experiments

abstract: The advent of simulation engines has revolutionized learning and operational efficiency for robots, offering cost-effective and swift pipelines. However, the lack of a universal simulation platform tailored for chemical scenarios impedes progress in robotic manipulation and visualization of reaction processes. Addressing this void, we present Chemistry3D, an innovative toolkit that integrates extensive chemical and robotic knowledge. Chemistry3D not only enables robots to perform chemical experiments but also provides real-time visualization of temperature, color, and pH changes during reactions. Built on the NVIDIA Omniverse platform, Chemistry3D offers interfaces for robot operation, visual inspection, and liquid flow control, facilitating the simulation of special objects such as liquids and transparent entities. Leveraging this toolkit, we have devised RL tasks, object detection, and robot operation scenarios. Additionally, to discern disparities between the rendering engine and the real world, we conducted transparent object detection experiments using Sim2Real, validating the toolkit's exceptional simulation performance. The source code is available at https://github.com/huangyan28/Chemistry3D, and a related tutorial can be found at https://www.omni-chemistry.com.


title: A circle method approach to K-multimagic squares

abstract: In this paper we investigate $K$-multimagic squares of order $N$, these are $N \times N$ magic squares which remain magic after raising each element to the $k$th power for all $2 \le k \le K$. Given $K \ge 2$, we consider the problem of establishing the smallest integer $N_2(K)$ for which there exists non-trivial $K$-multimagic squares of order $N_2(K)$. Previous results on multimagic squares show that $N_2(K) \le (4K-2)^K$ for large $K$. Here we utilize the Hardy-Littlewood circle method and establish the bound \[N_2(K) \le 2K(K+1)+1.\] Via an argument of Granville's we additionally deduce the existence of infinitely many non-trivial prime valued $K$-multimagic squares of order $2K(K+1)+1$.


title: Non-existence of low rank Ulrich bundles on Veronese varieties

abstract: We show that Veronese varieties of dimension $n \ge 4$ do not carry any Ulrich bundles of rank $r \le 3$. In order to prove this, we prove that a Veronese embedding of a complete intersection of dimension $m \ge 4$, which if $m=4$ is either $\mathbb P^4$ or has degree $d \ge 2$ and is very general and not of type $(2), (2,2)$, does not carry any Ulrich bundles of rank $r \le 3$.


title: A conceptual predator-prey model with super-long transients

abstract: Drawing on the understanding of the logistic map, we propose a simple predator-prey model where predators and prey adapt to each other, leading to the co-evolution of the system. The special dynamics observed in periodic windows contribute to the coexistence of multiple time scales, adding to the complexity of the system. Typical dynamics in ecosystems, such as the persistence and coexistence of population cycles and chaotic behaviors, the emergence of super-long transients, regime shifts, and the quantifying of resilience, are encapsulated within this single model. The simplicity of our model allows for detailed analysis, including linear analysis, reinforcing its potential as a conceptual tool for understanding ecosystems deeply. Additionally, our results suggest that longer lifetimes in ecosystems might come at the expense of reduced populations due to limited resources.


title: ConMe: Rethinking Evaluation of Compositional Reasoning for Modern VLMs

abstract: Compositional Reasoning (CR) entails grasping the significance of attributes, relations, and word order. Recent Vision-Language Models (VLMs), comprising a visual encoder and a Large Language Model (LLM) decoder, have demonstrated remarkable proficiency in such reasoning tasks. This prompts a crucial question: have VLMs effectively tackled the CR challenge? We conjecture that existing CR benchmarks may not adequately push the boundaries of modern VLMs due to the reliance on an LLM-only negative text generation pipeline. Consequently, the negatives produced either appear as outliers from the natural language distribution learned by VLMs' LLM decoders or as improbable within the corresponding image context. To address these limitations, we introduce ConMe -- a compositional reasoning benchmark and a novel data generation pipeline leveraging VLMs to produce `hard CR Q&A'. Through a new concept of VLMs conversing with each other to collaboratively expose their weaknesses, our pipeline autonomously generates, evaluates, and selects challenging compositional reasoning questions, establishing a robust CR benchmark, also subsequently validated manually. Our benchmark provokes a noteworthy, up to 33%, decrease in CR performance compared to preceding benchmarks, reinstating the CR challenge even for state-of-the-art VLMs.


title: Double pion photoproduction off nucleons in covariant chiral perturbation theory

abstract: The double pion photoproduction off nucleons near threshold is analyzed in a covariant baryon chiral perturbation theory up to next to leading order, where the $\Delta(1232)$, $N^*(1400)$ and $\rho(770)$ resonances are included as explicit degrees of freedom. For the process $\gamma p \to \pi^+ \pi^0 n$, the chiral results of total cross sections, invariant-mass distributions and beam-helicity asymmetry are in good agreement with the experimental data within uncertainties. For the process $\gamma p \to \pi^0 \pi^0 p$, the prediction of total cross section deviates from the existing experimental data. Once the final-state interaction of $\pi \pi$ in the isoscalar S-wave channel is taken into account, a good description of the cross section is achieved. The effect of the Roper resonance always turns out be negligible, and hence can be thrown away in future study of this process.


title: Exploring the ultra-hot Jupiter WASP-178b. Constraints on atmospheric chemistry and dynamics from a joint retrieval of VLT/CRIRES$^+$ and space photometric data

abstract: Despite recent progress in the spectroscopic characterization of individual exoplanets, the atmospheres of key ultra-hot Jupiters (UHJs) still lack comprehensive investigations. These include WASP-178b, one of the most irradiated UHJs known to date. We observed the dayside emission signal of this planet with CRIRES$^+$ in the spectral K-band. By applying the cross-correlation technique and a Bayesian retrieval framework to the high-resolution spectra, we identified the emission signature of $^{12}$CO (S/N = 8.9) and H$_2$O (S/N = 4.9), and a strong atmospheric thermal inversion. A joint retrieval with space-based secondary eclipse measurements from TESS and CHEOPS allows us to refine our results on the thermal profile and thus to constrain the atmospheric chemistry, yielding a solar to super-solar metallicity (1.4$\pm$1.6 dex) and a solar C/O ratio (0.6$\pm$0.2). We infer a significant excess of spectral line broadening and identify a slight Doppler-shift between the $^{12}$CO and H$_2$O signals. These findings provide strong evidence for a super-rotating atmospheric flow pattern and suggest the possible existence of chemical inhomogeneities across the planetary dayside hemisphere. In addition, the inclusion of photometric data in our retrieval allows us to account for stellar light reflected by the planetary atmosphere, resulting in an upper limit on the geometric albedo (0.23). The successful characterization of WASP-178b's atmosphere through a joint analysis of CRIRES$^+$, TESS, and CHEOPS observations highlights the potential of combined studies with space- and ground-based instruments and represents a promising avenue for advancing our understanding of exoplanet atmospheres.


title: Optical Investigations of Coherence and Relaxation Dynamics of a Thulium-doped Yttrium Gallium Garnet Crystal at sub-Kelvin Temperatures for Optical Quantum Memory

abstract: Rare-earth ion-doped crystals are of great interest for quantum memories, a central component in future quantum repeaters. To assess the promise of 1$\%$ Tm$^{3+}$-doped yttrium gallium garnet (Tm:YGG), we report measurements of optical coherence and energy-level lifetimes of its $^3$H$_6$ $\leftrightarrow$ $^3$H$_4$ transition at a temperature of around 500 mK and various magnetic fields. Using spectral hole burning, we find hyperfine ground-level (Zeeman level) lifetimes of several minutes at magnetic fields of less than 1000 G. We also measure coherence time exceeding one millisecond using two-pulse photon echoes. Three-pulse photon echo and spectral hole burning measurements reveal that due to spectral diffusion, the effective coherence time reduces to a few $\mu$s over a timescale of around two hundred seconds. Finally, temporal and frequency-multiplexed storage of optical pulses using the atomic frequency comb protocol is demonstrated. Our results suggest Tm:YGG to be promising for multiplexed photonic quantum memory for quantum repeaters.


title: Global Tests for Smoothed Functions in Mean Field Variational Additive Models

abstract: Variational regression methods are an increasingly popular tool for their efficient estimation of complex. Given the mixed model representation of penalized effects, additive regression models with smoothed effects and scalar-on-function regression models can be fit relatively efficiently in a variational framework. However, inferential procedures for smoothed and functional effects in such a context is limited. We demonstrate that by using the Mean Field Variational Bayesian (MFVB) approximation to the additive model and the subsequent Coordinate Ascent Variational Inference (CAVI) algorithm, we can obtain a form of the estimated effects required of a Frequentist test for semiparametric curves. We establish MFVB approximations and CAVI algorithms for both Gaussian and binary additive models with an arbitrary number of smoothed and functional effects. We then derive a global testing framework for smoothed and functional effects. Our empirical study demonstrates that the test maintains good Frequentist properties in the variational framework and can be used to directly test results from a converged, MFVB approximation and CAVI algorithm. We illustrate the applicability of this approach in a wide range of data illustrations.


title: Feedback-Based Quantum Algorithm for Constrained Optimization Problems

abstract: The feedback-based algorithm for quantum optimization \\(FALQON) has recently been proposed to solve quadratic unconstrained binary optimization problems. This paper efficiently generalizes FALQON to tackle quadratic constrained binary optimization (QCBO) problems. For this purpose, we introduce a new operator that encodes the problem's solution as its ground state. Using Lyapunov control theory, we design a quantum control system such that the state converges to the ground state of this operator. When applied to the QCBO problem, we show that our proposed algorithm saves computational resources by reducing the depth of the quantum circuit and can perform better than FALQON. The effectiveness of our proposed algorithm is further illustrated through numerical simulations.


title: Can AI Understand Human Personality? -- Comparing Human Experts and AI Systems at Predicting Personality Correlations

abstract: We test the abilities of specialised deep neural networks like PersonalityMap as well as general LLMs like GPT-4o and Claude 3 Opus in understanding human personality. Specifically, we compare their ability to predict correlations between personality items to the abilities of lay people and academic experts. We find that when compared with individual humans, all AI models make better predictions than the vast majority of lay people and academic experts. However, when selecting the median prediction for each item, we find a different pattern: Experts and PersonalityMap outperform LLMs and lay people on most measures. Our results suggest that while frontier LLMs' are better than most individual humans at predicting correlations between personality items, specialised models like PersonalityMap continue to match or exceed expert human performance even on some outcome measures where LLMs underperform. This provides evidence both in favour of the general capabilities of large language models and in favour of the continued place for specialised models trained and deployed for specific domains.


title: Continuous fake media detection: adapting deepfake detectors to new generative techniques

abstract: Generative techniques continue to evolve at an impressively high rate, driven by the hype about these technologies. This rapid advancement severely limits the application of deepfake detectors, which, despite numerous efforts by the scientific community, struggle to achieve sufficiently robust performance against the ever-changing content. To address these limitations, in this paper, we propose an analysis of two continuous learning techniques on a Short and a Long sequence of fake media. Both sequences include a complex and heterogeneous range of deepfakes generated from GANs, computer graphics techniques, and unknown sources. Our study shows that continual learning could be important in mitigating the need for generalizability. In fact, we show that, although with some limitations, continual learning methods help to maintain good performance across the entire training sequence. For these techniques to work in a sufficiently robust way, however, it is necessary that the tasks in the sequence share similarities. In fact, according to our experiments, the order and similarity of the tasks can affect the performance of the models over time. To address this problem, we show that it is possible to group tasks based on their similarity. This small measure allows for a significant improvement even in longer sequences. This result suggests that continual techniques can be combined with the most promising detection methods, allowing them to catch up with the latest generative techniques. In addition to this, we propose an overview of how this learning approach can be integrated into a deepfake detection pipeline for continuous integration and continuous deployment (CI/CD). This allows you to keep track of different funds, such as social networks, new generative tools, or third-party datasets, and through the integration of continuous learning, allows constant maintenance of the detectors.