title: A Co-design Study for Multi-Stakeholder Job Recommender System Explanations

abstract: Recent legislation proposals have significantly increased the demand for eXplainable Artificial Intelligence (XAI) in many businesses, especially in so-called `high-risk' domains, such as recruitment. Within recruitment, AI has become commonplace, mainly in the form of job recommender systems (JRSs), which try to match candidates to vacancies, and vice versa. However, common XAI techniques often fall short in this domain due to the different levels and types of expertise of the individuals involved, making explanations difficult to generalize. To determine the explanation preferences of the different stakeholder types - candidates, recruiters, and companies - we created and validated a semi-structured interview guide. Using grounded theory, we structurally analyzed the results of these interviews and found that different stakeholder types indeed have strongly differing explanation preferences. Candidates indicated a preference for brief, textual explanations that allow them to quickly judge potential matches. On the other hand, hiring managers preferred visual graph-based explanations that provide a more technical and comprehensive overview at a glance. Recruiters found more exhaustive textual explanations preferable, as those provided them with more talking points to convince both parties of the match. Based on these findings, we describe guidelines on how to design an explanation interface that fulfills the requirements of all three stakeholder types. Furthermore, we provide the validated interview guide, which can assist future research in determining the explanation preferences of different stakeholder types.


title: Lie-Yamaguti Algebra Bundle

abstract: We introduce the notion of Lie-Yamaguti algebra bundle, define its cohomology groups with coefficients in a representation and show that such bundles appeared naturally from geometric considerations in the work of M. Kikkawa, which motivates us to introduce this object in the proper mathematical framework. We also study abelian extensions of Lie-Yamaguti algebra bundles and investigate their relationship with suitable cohomology group.


title: Evaluating Uncertainties in CFD Simulations of Patient-Specific Aorta Models using Grid Convergence Index Method

abstract: Cardiovascular diseases are among the most important causes of global mortality. Computational Fluid Dynamics (CFD) is a powerful research tool that analyzes the hemodynamics of artery and blood flow patterns. In this study, CFD simulations are performed to assess the patient-specific healthy aorta, fusiform, and saccular aneurysm with various mesh types, including tetrahedral, polyhedral, and poly-hexacore. The aim of this study is to explore how different mesh types and grid densities impact the hemodynamic properties of physiological flows, with the goal of identifying the most cost-effective meshing approach. A mesh independence study is carried out to ensure the precision of the results, considering the wall shear stress distribution. For this, five different mesh resolutions are generated for each geometry. The uncertainties of the simulations associated with the discretization techniques and solutions are evaluated using the Grid Convergence Index (GCI) method. The findings showed that increasing the mesh density provides smaller uncertainty. GCI values for the wall shear stress are in the range of convergence, indicating that the results are reliable and accurate. Mesh type selection affects the accuracy and computational cost of our simulations. The polyhedral and poly-hexacore meshes lead to a good compromise between precision and computational cost, while the tetrahedral mesh style gives the most precise results with fluctuation. This work provides a systematic approach based on the Grid Convergence Index method in order to select the most appropriate mesh type for evaluating uncertainties in CFD simulations of patient-specific healthy aortas and aortas with abdominal aneurysms. According to the findings and GCI analysis, the polyhedral mesh type was chosen for all patient-specific aorta models. The study clearly demonstrated its superiority over other mesh types, ...


title: The dotTHz Project: A Standard Data Format for Terahertz Time-Domain Data and Elementary Data Processing Tools

abstract: From investigating molecular vibrations to observing galaxies, terahertz technology has found extensive applications in research and development over the past three decades. Terahertz time-domain spectroscopy and imaging have experienced significant growth and now dominate spectral observations ranging from 0.1 to 10 THz. However, the lack of standardised protocols for data processing, dissemination, and archiving poses challenges in collaborating and sharing terahertz data between research groups. To tackle these challenges, we present the dotTHz project, which introduces a standardised terahertz data format and the associated open-source tools for processing and interpretation of dotTHz files. The dotTHz project aims to facilitate seamless data processing and analysis by providing a common framework. All software components are released under the MIT licence through GitHub repositories to encourage widespread adoption, modification, and collaboration. We invite the terahertz community to actively contribute to the dotTHz project, fostering the development of additional tools that encompass a greater breadth and depth of functionality. By working together, we can establish a comprehensive suite of resources that benefit the entire terahertz community.


title: Poisson valuations

abstract: We study Poisson valuations and provide their applications in solving problems related to rigidity, automorphisms, Dixmier property, isomorphisms, and embeddings of Poisson algebras and fields.


title: Monte Carlo Simulation for Trading Under a L\'evy-Driven Mean-Reverting Framework

abstract: We present a Monte Carlo approach to pairs trading on mean-reverting spreads modeled by L\'evy-driven Ornstein-Uhlenbeck processes. Specifically, we focus on using a variance gamma driving process, an infinite activity pure jump process to allow for more flexible models of the price spread than is available in the classical model. However, this generalization comes at the cost of not having analytic formulas, so we apply Monte Carlo methods to determine optimal trading levels and develop a variance reduction technique using control variates. Within this framework, we numerically examine how the optimal trading strategies are affected by the parameters of the model. In addition, we extend our method to bivariate spreads modeled using a weak variance alpha-gamma driving process, and explore the effect of correlation on these trades.


title: Median Surface Brightness Profiles of Lyman-$\alpha$ Haloes in the MUSE Extremely Deep Field

abstract: We present the median surface brightness profiles of diffuse Ly$\alpha$ haloes (LAHs) around star-forming galaxies by stacking 155 spectroscopically confirmed Ly$\alpha$ emitters (LAEs) at 3<z<4 in the MUSE Extremely Deep Field (MXDF), with median Ly$\alpha$ luminosity $\mathrm{L_{Ly\alpha} \approx 10^{41.1} erg\,s^{-1}}$. After correcting for a systematic surface brightness offset we identified in the datacube, we detect extended Ly$\alpha$ emission out to a distance of 270 kpc. The median Ly$\alpha$ surface brightness profile shows a power-law decrease in the inner 20 kpc, and a possible flattening trend at larger distance. This shape is similar for LAEs with different Ly$\alpha$ luminosities, but the normalisation of the surface brightness profile increases with luminosity. At distances larger than 50 kpc, we observe strong overlap of adjacent LAHs, and the Ly$\alpha$ surface brightness is dominated by the LAHs of nearby LAEs. We find no clear evidence of redshift evolution of the observed Ly$\alpha$ profiles when comparing with samples at 4<z<5 and 5<z<6. Our results are consistent with a scenario in which the inner 20 kpc of the LAH is powered by star formation in the central galaxy, while the LAH beyond a radius of 50 kpc is dominated by photons from surrounding galaxies.


title: Measurement of the CKM angle $\gamma$ in the $B^0 \to DK^{*0}$ channel using self-conjugate $D \to K_S^0 h^+ h^-$ decays

abstract: A model-independent study of CP violation in $B^0 \to DK^{*0}$ decays is presented using data corresponding to an integrated luminosity of 9fb$^{-1}$ collected by the LHCb experiment at centre-of-mass energies of $\sqrt{s}=7, \, 8$ and $13$TeV. The CKM angle $\gamma$ is determined by examining the distributions of signal decays in phase-space bins of the self-conjugate $D \to K_S^0 h^+ h^-$ decays, where $h = \pi, K$. Observables related to CP violation are measured and the angle $\gamma$ is determined to be $\gamma=(49^{+ 22}_{-19})^\circ$. Measurements of the amplitude ratio and strong-phase difference between the favoured and suppressed $B^0$ decays are also presented.


title: Interactions between several types of cosmic strings

abstract: We study the interaction of several types of static straight cosmic strings, including local strings, global strings, and bosonic superconducting strings with and without magnetic currents. First, we evaluate the interaction energy of two widely separated cosmic strings using the point source formalism and show that the most dominant contribution to the interaction energy comes from the excitation of the lightest mediator particles in a underlying theory. The interaction energy at arbitrary separation distances is then analyzed numerically by the gradient flow method. It turns out that an additional scalar field introduced in the bosonic superconducting string becomes an additional source of attraction. For such a bosonic superconducting string, we find that a string with two winding numbers is energetically favorable compared to two strings with a single winding number in a certain parameter region. Our analysis reveals that a phase structure of bosonic superconducting strings is richer than that of local and global strings and that the formation of bound states at intersections of bosonic superconducting strings is favored.


title: Optimize Weight Rounding via Signed Gradient Descent for the Quantization of LLMs

abstract: Large Language Models (LLMs) have demonstrated exceptional proficiency in language-related tasks, but their deployment poses significant challenges due to substantial memory and storage requirements. Weight-only quantization has emerged as a promising solution to address these challenges. Previous research suggests that fine-tuning through up and down rounding can enhance performance. In this study, we introduce SignRound, a method that utilizes signed gradient descent (SignSGD) to optimize rounding values and weight clipping within just 200 steps. SignRound integrates the advantages of Quantization-Aware Training (QAT) and Post-Training Quantization (PTQ), achieving exceptional results across 2 to 4 bits while maintaining low tuning costs and avoiding additional inference overhead. For example, SignRound achieves absolute average accuracy improvements ranging from 6.91\% to 33.22\% at 2 bits. It also demonstrates robust generalization to recent models and achieves near-lossless quantization in most scenarios at 4 bits. The source code is publicly available at \url{https://github.com/intel/auto-round}.


title: Stream-based Active Learning by Exploiting Temporal Properties in Perception with Temporal Predicted Loss

abstract: Active learning (AL) reduces the amount of labeled data needed to train a machine learning model by intelligently choosing which instances to label. Classic pool-based AL requires all data to be present in a datacenter, which can be challenging with the increasing amounts of data needed in deep learning. However, AL on mobile devices and robots, like autonomous cars, can filter the data from perception sensor streams before reaching the datacenter. We exploited the temporal properties for such image streams in our work and proposed the novel temporal predicted loss (TPL) method. To evaluate the stream-based setting properly, we introduced the GTA V streets and the A2D2 streets dataset and made both publicly available. Our experiments showed that our approach significantly improves the diversity of the selection while being an uncertainty-based method. As pool-based approaches are more common in perception applications, we derived a concept for comparing pool-based and stream-based AL, where TPL out-performed state-of-the-art pool- or stream-based approaches for different models. TPL demonstrated a gain of 2.5 precept points (pp) less required data while being significantly faster than pool-based methods.


title: STAR-loc: Dataset for STereo And Range-based localization

abstract: This document contains a detailed description of the STAR-loc dataset. For a quick starting guide please refer to the associated Github repository (https://github.com/utiasASRL/starloc). The dataset consists of stereo camera data (rectified/raw images and inertial measurement unit measurements) and ultra-wideband (UWB) data (range measurements) collected on a sensor rig in a Vicon motion capture arena. The UWB anchors and visual landmarks (Apriltags) are of known position, so the dataset can be used for both localization and Simultaneous Localization and Mapping (SLAM).


title: NExT-GPT: Any-to-Any Multimodal LLM

abstract: While recently Multimodal Large Language Models (MM-LLMs) have made exciting strides, they mostly fall prey to the limitation of only input-side multimodal understanding, without the ability to produce content in multiple modalities. As we humans always perceive the world and communicate with people through various modalities, developing any-to-any MM-LLMs capable of accepting and delivering content in any modality becomes essential to human-level AI. To fill the gap, we present an end-to-end general-purpose any-to-any MM-LLM system, NExT-GPT. We connect an LLM with multimodal adaptors and different diffusion decoders, enabling NExT-GPT to perceive inputs and generate outputs in arbitrary combinations of text, images, videos, and audio. By leveraging the existing well-trained highly-performing encoders and decoders, NExT-GPT is tuned with only a small amount of parameter (1%) of certain projection layers, which not only benefits low-cost training and also facilitates convenient expansion to more potential modalities. Moreover, we introduce a modality-switching instruction tuning (MosIT) and manually curate a high-quality dataset for MosIT, based on which NExT-GPT is empowered with complex cross-modal semantic understanding and content generation. Overall, our research showcases the promising possibility of building an AI agent capable of modeling universal modalities, paving the way for more human-like AI research in the community. Project page: https://next-gpt.github.io/


title: When ChatGPT Meets Smart Contract Vulnerability Detection: How Far Are We?

abstract: With the development of blockchain technology, smart contracts have become an important component of blockchain applications. Despite their crucial role, the development of smart contracts may introduce vulnerabilities and potentially lead to severe consequences, such as financial losses. Meanwhile, large language models, represented by ChatGPT, have gained great attentions, showcasing great capabilities in code analysis tasks. In this paper, we presented an empirical study to investigate the performance of ChatGPT in identifying smart contract vulnerabilities. Initially, we evaluated ChatGPT's effectiveness using a publicly available smart contract dataset. Our findings discover that while ChatGPT achieves a high recall rate, its precision in pinpointing smart contract vulnerabilities is limited. Furthermore, ChatGPT's performance varies when detecting different vulnerability types. We delved into the root causes for the false positives generated by ChatGPT, and categorized them into four groups. Second, by comparing ChatGPT with other state-of-the-art smart contract vulnerability detection tools, we found that ChatGPT's F-score is lower than others for 3 out of the 7 vulnerabilities. In the case of the remaining 4 vulnerabilities, ChatGPT exhibits a slight advantage over these tools. Finally, we analyzed the limitation of ChatGPT in smart contract vulnerability detection, revealing that the robustness of ChatGPT in this field needs to be improved from two aspects: its uncertainty in answering questions; and the limited length of the detected code. In general, our research provides insights into the strengths and weaknesses of employing large language models, specifically ChatGPT, for the detection of smart contract vulnerabilities.


title: Re-formalization of Individual Fairness

abstract: The notion of individual fairness is a formalization of an ethical principle, "Treating like cases alike," which has been argued such as by Aristotle. In a fairness-aware machine learning context, Dwork et al. firstly formalized the notion. In their formalization, a similar pair of data in an unfair space should be mapped to similar positions in a fair space. We propose to re-formalize individual fairness by the statistical independence conditioned by individuals. This re-formalization has the following merits. First, our formalization is compatible with that of Dwork et al. Second, our formalization enables to combine individual fairness with the fairness notion, equalized odds or sufficiency, as well as statistical parity. Third, though their formalization implicitly assumes a pre-process approach for making fair prediction, our formalization is applicable to an in-process or post-process approach.


title: Maximizers of nonlocal interactions of Wasserstein type

abstract: We characterize the maximizers of a functional involving the minimization of the Wasserstein distance between equal volume sets. This functional appears as a repulsive interaction term in some models describing biological membranes. We combine a symmetrization-by-reflection technique with the uniqueness of optimal transport plans to prove that balls are the only maximizers. Further, in one dimension, we provide a sharp quantitative version of this maximality result.


title: Electromagnetic energy transfer processes in Effective Electro-Magneto Dynamics of axions

abstract: Oscillating and dissipative energy exchange between the electromagnetic and axion fields is investigated in an effective electro-magneto dynamical (EEMD) model theory, implying the coexistence of axions with hypothetic magnetic charges. An exact formula is presented for the energy transfer between the electromagnetic and axionic sectors. In a first example we compute analytically the homogeneously oscillating electric and magnetic field configurations generated by the combined action of a constant static magnetic field and a periodically oscillating axion condensate. In the second example the electromagnetic radiative energy loss of a gravitationally bound axion configuration is computed in the EEMD model. As a result an asymptotic $\sim t^{1/5}$ temporal increase of the clump size is found also in EEMD.


title: Empirical 2MASS-WFC3/IR filter transformations from synthetic photometry

abstract: Near-infrared bandpasses on spaceborne observatories diverge from their ground-based counterparts as they are free of atmospheric telluric absorption. Available transformations between respective filter systems in the literature rely on theoretical stellar atmospheres, which are known to have difficulties reproducing observed spectral energy distributions of cool giants. We present new transformations between the 2MASS $JHK_S$ and HST WFC3/IR F110W, F125W, & F160W photometric systems based on synthetic photometry of empirical stellar spectra from four spectral libraries. This sample comprises over 1000 individual stars, which together span nearly the full HR diagram and sample stellar populations from the solar neighborhood out to the Magellanic Clouds, covering a broad range of ages, metallicities, and other relevant stellar properties. In addition to global color-dependent transformations, we examine band-to-band differences for cool, luminous giant stars in particular, including multiple types of primary distance indicators.


title: Advancing Federated Learning in 6G: A Trusted Architecture with Graph-based Analysis

abstract: Integrating native AI support into the network architecture is an essential objective of 6G. Federated Learning (FL) emerges as a potential paradigm, facilitating decentralized AI model training across a diverse range of devices under the coordination of a central server. However, several challenges hinder its wide application in the 6G context, such as malicious attacks and privacy snooping on local model updates, and centralization pitfalls. This work proposes a trusted architecture for supporting FL, which utilizes Distributed Ledger Technology (DLT) and Graph Neural Network (GNN), including three key features. First, a pre-processing layer employing homomorphic encryption is incorporated to securely aggregate local models, preserving the privacy of individual models. Second, given the distributed nature and graph structure between clients and nodes in the pre-processing layer, GNN is leveraged to identify abnormal local models, enhancing system security. Third, DLT is utilized to decentralize the system by selecting one of the candidates to perform the central server's functions. Additionally, DLT ensures reliable data management by recording data exchanges in an immutable and transparent ledger. The feasibility of the novel architecture is validated through simulations, demonstrating improved performance in anomalous model detection and global model accuracy compared to relevant baselines.


title: The Rational Number Game

abstract: We investigate a game played between two players, Maker and Breaker, on a countably infinite complete graph where the vertices are the rational numbers. The players alternately claim unclaimed edges. It is Maker's goal to have after countably many turns a complete infinite graph contained in her coloured edges where the vertex set of the subgraph is order-isomorphic to the rationals. It is Breaker's goal to prevent Maker from achieving this. We prove that there is a winning strategy for Maker in this game. We also prove that there is a winning strategy for Breaker in the game where Maker must additionally make the vertex set of her complete graph dense in the rational numbers.


title: ReSimAD: Zero-Shot 3D Domain Transfer for Autonomous Driving with Source Reconstruction and Target Simulation

abstract: Domain shifts such as sensor type changes and geographical situation variations are prevalent in Autonomous Driving (AD), which poses a challenge since AD model relying on the previous domain knowledge can be hardly directly deployed to a new domain without additional costs. In this paper, we provide a new perspective and approach of alleviating the domain shifts, by proposing a Reconstruction-Simulation-Perception (ReSimAD) scheme. Specifically, the implicit reconstruction process is based on the knowledge from the previous old domain, aiming to convert the domain-related knowledge into domain-invariant representations, e.g., 3D scene-level meshes. Besides, the point clouds simulation process of multiple new domains is conditioned on the above reconstructed 3D meshes, where the target-domain-like simulation samples can be obtained, thus reducing the cost of collecting and annotating new-domain data for the subsequent perception process. For experiments, we consider different cross-domain situations such as Waymo-to-KITTI, Waymo-to-nuScenes, Waymo-to-ONCE, etc, to verify the zero-shot target-domain perception using ReSimAD. Results demonstrate that our method is beneficial to boost the domain generalization ability, even promising for 3D pre-training.


title: On the detection of Out-Of-Distribution samples in Multiple Instance Learning

abstract: The deployment of machine learning solutions in real-world scenarios often involves addressing the challenge of out-of-distribution (OOD) detection. While significant efforts have been devoted to OOD detection in classical supervised settings, the context of weakly supervised learning, particularly the Multiple Instance Learning (MIL) framework, remains under-explored. In this study, we tackle this challenge by adapting post-hoc OOD detection methods to the MIL setting while introducing a novel benchmark specifically designed to assess OOD detection performance in weakly supervised scenarios. Across extensive experiments based on diverse public datasets, KNN emerges as the best-performing method overall. However, it exhibits significant shortcomings on some datasets, emphasizing the complexity of this under-explored and challenging topic. Our findings shed light on the complex nature of OOD detection under the MIL framework, emphasizing the importance of developing novel, robust, and reliable methods that can generalize effectively in a weakly supervised context. The code for the paper is available here: https://github.com/loic-lb/OOD_MIL.


title: On the meaning of uncertainty for ethical AI: philosophy and practice

abstract: Whether and how data scientists, statisticians and modellers should be accountable for the AI systems they develop remains a controversial and highly debated topic, especially given the complexity of AI systems and the difficulties in comparing and synthesising competing claims arising from their deployment for data analysis. This paper proposes to address this issue by decreasing the opacity and heightening the accountability of decision making using AI systems, through the explicit acknowledgement of the statistical foundations that underpin their development and the ways in which these dictate how their results should be interpreted and acted upon by users. In turn, this enhances (1) the responsiveness of the models to feedback, (2) the quality and meaning of uncertainty on their outputs and (3) their transparency to evaluation. To exemplify this approach, we extend Posterior Belief Assessment to offer a route to belief ownership from complex and competing AI structures. We argue that this is a significant way to bring ethical considerations into mathematical reasoning, and to implement ethical AI in statistical practice. We demonstrate these ideas within the context of competing models used to advise the UK government on the spread of the Omicron variant of COVID-19 during December 2021.


title: Stable $C^1$-conforming finite element methods for the Landau--Lifshitz--Baryakhtar equation

abstract: The Landau--Lifshitz--Baryakhtar equation describes the evolution of magnetic spin field in magnetic materials at elevated temperature below the Curie temperature, when long-range interactions and longitudinal dynamics are taken into account. We propose two linear fully-discrete $C^1$-conforming methods to solve the problem, namely a semi-implicit Euler method and a semi-implicit BDF method, and show that these schemes are unconditionally stable. Error analysis is performed which shows optimal convergence rates in each case. Numerical results corroborate our theoretical results.


title: Inverse probability of treatment weighting with generalized linear outcome models for doubly robust estimation

abstract: There are now many options for doubly robust estimation; however, there is a concerning trend in the applied literature to believe that the combination of a propensity score and an adjusted outcome model automatically results in a doubly robust estimator and/or to misuse more complex established doubly robust estimators. A simple alternative, canonical link generalized linear models (GLM) fit via inverse probability of treatment (propensity score) weighted maximum likelihood estimation followed by standardization (the g-formula) for the average causal effect, is a doubly robust estimation method. Our aim is for the reader not just to be able to use this method, which we refer to as IPTW GLM, for doubly robust estimation, but to fully understand why it has the doubly robust property. For this reason, we define clearly, and in multiple ways, all concepts needed to understand the method and why it is doubly robust. In addition, we want to make very clear that the mere combination of propensity score weighting and an adjusted outcome model does not generally result in a doubly robust estimator. Finally, we hope to dispel the misconception that one can adjust for residual confounding remaining after propensity score weighting by adjusting in the outcome model for what remains `unbalanced' even when using doubly robust estimators. We provide R code for our simulations and real open-source data examples that can be followed step-by-step to use and hopefully understand the IPTW GLM method. We also compare to a much better-known but still simple doubly robust estimator.


title: Probing Spin Wave Diffraction Patterns of Curved Antennas

abstract: We report on the dependence of curvilinear shaped coplanar waveguides on the near-field diffraction patterns of spin waves propagating in perpendicularly magnetized thin films. Implementing the propagating spin waves spectroscopy techniques on either concentrically or eccentrically shaped antennas, we show how the link budget is directly affected by the spin wave interference, in good agreement with near-field diffraction simulations. This work demonstrates the feasibility to inductively probe a magnon interference pattern with a resolution down to 1$\mu$m$^2$, and provides a methodology for shaping spin wave beams from an antenna design. This methodology is successfully implemented in the case study of a spin wave Young's interference experiment.


title: Safe and Stable Adaptive Control for a Class of Dynamic Systems

abstract: Adaptive control has focused on online control of dynamic systems in the presence of parametric uncertainties, with solutions guaranteeing stability and control performance. Safety, a related property to stability, is becoming increasingly important as the footprint of autonomous systems grows in society. One of the popular ways for ensuring safety is through the notion of a control barrier function (CBF). In this paper, we combine adaptation and CBFs to develop a real-time controller that guarantees stability and remains safe in the presence of parametric uncertainties. The class of dynamic systems that we focus on is linear time-invariant systems whose states are accessible and where the inputs are subject to a magnitude limit. Conditions of stability, state convergence to a desired value, and parameter learning are all elucidated. One of the elements of the proposed adaptive controller that ensures stability and safety is the use of a CBF-based safety filter that suitably generates safe reference commands, employs error-based relaxation (EBR) of Nagumo's theorem, and leads to guarantees of set invariance. To demonstrate the effectiveness of our approach, we present two numerical examples, an obstacle avoidance case and a missile flight control case.


title: PAI-Diffusion: Constructing and Serving a Family of Open Chinese Diffusion Models for Text-to-image Synthesis on the Cloud

abstract: Text-to-image synthesis for the Chinese language poses unique challenges due to its large vocabulary size, and intricate character relationships. While existing diffusion models have shown promise in generating images from textual descriptions, they often neglect domain-specific contexts and lack robustness in handling the Chinese language. This paper introduces PAI-Diffusion, a comprehensive framework that addresses these limitations. PAI-Diffusion incorporates both general and domain-specific Chinese diffusion models, enabling the generation of contextually relevant images. It explores the potential of using LoRA and ControlNet for fine-grained image style transfer and image editing, empowering users with enhanced control over image generation. Moreover, PAI-Diffusion seamlessly integrates with Alibaba Cloud's Machine Learning Platform for AI, providing accessible and scalable solutions. All the Chinese diffusion model checkpoints, LoRAs, and ControlNets, including domain-specific ones, are publicly available. A user-friendly Chinese WebUI and the diffusers-api elastic inference toolkit, also open-sourced, further facilitate the easy deployment of PAI-Diffusion models in various environments, making it a valuable resource for Chinese text-to-image synthesis.


title: Gravitational waves with generalized holonomy corrections

abstract: The cosmological tensor perturbation equation with generalized holonomy corrections is derived in the framework of effective loop quantum gravity. This results in a generalized dispersion relation for gravitational waves, encompassing holonomy corrections. Furthermore, we conduct an examination of the constraint algebra concerning vector modes with generalized holonomy corrections. The requirement of anomaly cancellation for vector modes imposes constraints on the possible functional forms of the generalized holonomy corrections.


title: Transport properties of a holographic model with novel gauge-axion coupling

abstract: We investigate the transport properties within a holographic model characterized by a novel gauge-axion coupling. A key innovation is the introduction of the direct coupling between axion fields, the antisymmetric tensor, and the gauge field in our bulk theory. This novel coupling term leads to the emergence of nondiagonal components in the conductivity tensor. An important characteristic is that the off-diagonal elements manifest antisymmetry. Remarkably, the conductivity behavior in this model akin to that of Hall conductivity. Additionally, this model can also achieve metal-insulator transition.


title: D2WFP: A Novel Protocol for Forensically Identifying, Extracting, and Analysing Deep and Dark Web Browsing Activities

abstract: The use of the un-indexed web, commonly known as the deep web and dark web, to commit or facilitate criminal activity has drastically increased over the past decade. The dark web is an in-famously dangerous place where all kinds of criminal activities take place [1-2], despite advances in web forensics techniques, tools, and methodologies, few studies have formally tackled the dark and deep web forensics and the technical differences in terms of investigative techniques and artefacts identification and extraction. This research proposes a novel and comprehensive protocol to guide and assist digital forensics professionals in investigating crimes committed on or via the deep and dark web, The protocol named D2WFP establishes a new sequential approach for performing investigative activities by observing the order of volatility and implementing a systemic approach covering all browsing related hives and artefacts which ultimately resulted into improv-ing the accuracy and effectiveness. Rigorous quantitative and qualitative research has been conducted by assessing D2WFP following a scientifically-sound and comprehensive process in different scenarios and the obtained results show an apparent increase in the number of artefacts re-covered when adopting D2WFP which outperform any current industry or opensource browsing forensics tools. The second contribution of D2WFP is the robust formulation of artefact correlation and cross-validation within D2WFP which enables digital forensics professionals to better document and structure their analysis of host-based deep and dark web browsing artefacts.


title: Implications for the Explosion Mechanism of Type Ia Supernovae from their Late-time Spectra

abstract: Late-time spectra of Type Ia supernovae (SNe Ia) are important in clarifying the physics of their explosions, as they provide key clues to the inner structure of the exploding white dwarfs. We examined late-time optical spectra of 36 SNe Ia, including five from our own project (SNe 2019np, 2019ein, 2021hpr, 2021wuf, and 2022hrs), with phase coverage of $\sim 200$ to $\sim 400$ days after maximum light. At this late phase, the outer ejecta have become transparent and the features of inner iron-group elements emerge in the spectra. Based on multicomponent Gaussian fits and reasonable choices for the pseudocontinuum around Ni and Fe emission features, we get reliable estimates of the Ni to Fe ratio, which is sensitive to the explosion models of SNe Ia. Our results show that the majority (about 67%) of our SNe Ia are more consistent with the sub-Chandrasekhar-mass (i.e., double-detonation) model, although they could be affected by evolutionary or ionisation effects. Moreover, we find that the Si II $\lambda$6355 velocity measured around the time of maximum light tends to increase with the Ni to Fe ratio for the subsample with either redshifted or blueshifted nebular velocities, suggesting that progenitor metallicity might play an important role in accounting for the observed velocity diversity of SNe Ia.


title: The Eclipse Mapping Null Space: Comparing Theoretical Predictions with Observed Maps

abstract: High-precision exoplanet eclipse light curves, like those possible with JWST, enable flux and temperature mapping of exoplanet atmospheres. These eclipse maps will have unprecedented precision, providing an opportunity to constrain current theoretical predictions of exoplanet atmospheres. However, eclipse mapping has unavoidable mathematical limitations because many map patterns are unobservable. This ``null space'' has implications for making comparisons between predictions from general circulation models (GCMs) and the observed planet maps, and, thus, affects our understanding of the physical processes driving the observed maps. We describe the eclipse-mapping null space and show how GCM forward models can be transformed to their observable modes for more appropriate comparison with retrieved eclipse maps, demonstrated with applications to synthetic data of an ultra-hot Jupiter and a cloudy warm Jupiter under JWST-best-case- and extreme-precision observing scenarios. We show that the effects of the null space can be mitigated and manipulated through observational design, and JWST exposure times are short enough to not increase the size of the null space. Furthermore, we show the mathematical connection between the null space and the ``eigenmapping'' method, demonstrating how eigenmaps can be used to understand the null space in a model-independent way. We leverage this connection to incorporate null-space uncertainties in retrieved maps, which increases the uncertainties to now encompass the ground truth for synthetic data. The comparisons between observed maps and forward models that are enabled by this work, and the improved eclipse-mapping uncertainties, will be critical to our interpretation of multidimensional aspects of exoplanets in the JWST era.


title: On the triviality of the shocked map

abstract: The (non-spanning) tree-decorated quadrangulation is a random pair formed by a quadrangulation and a subtree chosen uniformly over the set of pairs with prescribed size. In this paper we study the tree-decorated quadrangulation in the critical regime: when the number of faces of the map, $f$, is proportional to the square of the size of the tree. We show that with high probability in this regime, the diameter of the tree is between $o(f^{1/4})$ and $f^{1/4}/\log^\alpha(f)$, for $\alpha >1$. Thus after scaling the distances by $f^{-1/4}$, the critical tree-decorated quadrangulation converges to a Brownian disk where the boundary has been identified to a point. These results imply the triviality of the shocked map: the metric space generated by gluing a Brownian disk with a continuous random tree.


title: Tradeoff Constructions for Quantum Locally Testable Codes

abstract: In this work, we continue the search for quantum locally testable codes (qLTCs) of new parameters by presenting three constructions that can make new qLTCs from old. The first analyses the soundness of a quantum code under Hastings' weight reduction construction for qLDPC codes arXiv:2102.10030 to give a weight reduction procedure for qLTCs. Secondly, we describe a novel `soundness amplification' procedure for qLTCs which can increase the soundness of any qLTC to a constant while preserving its distance and dimension, with an impact only felt on its locality. Finally, we apply the AEL distance amplification construction to the case of qLTCs for the first time which can turn a high-distance qLTC into one with linear distance, at the expense of other parameters. These constructions can be used on as-yet undiscovered qLTCs to obtain new parameters, but we also find a number of present applications to prove the existence of codes in previously unknown parameter regimes. In particular, applications of these operations to the hypersphere product code arXiv:1608.05089 and the hemicubic code arXiv:1911.03069 yield many previously unknown parameters. Additionally, soundness amplification can be used to produce the first asymptotically good testable quantum code (rather than locally testable) - that being one with linear distance and dimension, as well as constant soundness. Lastly, applications of all three results are described to an upcoming work.


title: Kani: A Lightweight and Highly Hackable Framework for Building Language Model Applications

abstract: Language model applications are becoming increasingly popular and complex, often including features like tool usage and retrieval augmentation. However, existing frameworks for such applications are often opinionated, deciding for developers how their prompts ought to be formatted and imposing limitations on customizability and reproducibility. To solve this we present Kani: a lightweight, flexible, and model-agnostic open-source framework for building language model applications. Kani helps developers implement a variety of complex features by supporting the core building blocks of chat interaction: model interfacing, chat management, and robust function calling. All Kani core functions are easily overridable and well documented to empower developers to customize functionality for their own needs. Kani thus serves as a useful tool for researchers, hobbyists, and industry professionals alike to accelerate their development while retaining interoperability and fine-grained control.


title: The Merged Potts-Clock Model: Algebraic and Conventional Multistructured Multicritical Orderings in Two and Three Dimensions

abstract: A spin system is studied, with simultaneous permutation-symmetric Potts and spin-rotation-symmetric clock interactions, in spatial dimensions d=2 and 3. The global phase diagram is calculated from the renormalizaton-group solution with the recently improved (spontaneous first-order detecting) Migdal-Kadanoff approximation or, equivalently, with hierarchical lattices with the inclusion of effective vacancies. Five different ordered phases are found: conventionally ordered ferromagnetic, quadrupolar, antiferromagnetic phases and algebraically ordered antiferromagnetic, antiquadrupolar phases. These five different ordered phases and the disordered phase are mutually bounded by first- and second-order phase transitions, themselves delimited by multicritical points: inverted bicritical, zero-temperature bicritical, tricritical, second-order bifurcation, and zero-temperature highly degenerate multicritical points. One rich phase diagram topology exhibits all of these phenomena.


title: Sasakian Geometry on Sphere Bundles II: Constant Scalar Curvature

abstract: In a previous paper [BTF21] the authors employed the fiber join construction of Yamazaki [Yam99] together with the admissible construction of Apostolov, Calderbank, Gauduchon, and T{\o}nnesen-Friedman [ACGTF08a] to construct new extremal Sasaki metrics on odd dimensional sphere bundles over smooth projective algebraic varieties. In the present paper we continue this study by applying a recent existence theorem [BHLTF23] that shows that under certain conditions one can always obtain a constant scalar curvature Sasaki metric in the Sasaki cone. Moreover, we explicitly describe this construction for certain sphere bundles of dimension 5 and 7.


title: Nonlinear Model Predictive Control for Uranium Extraction-Scrubbing Operation in Spent Nuclear Fuel Treatment Process

abstract: This paper addresses the particularities of the uranium extraction-scrubbing operation in a spent nuclear fuel treatment process (PUREX-Plutonium Uranium Refining by Extraction) through the use of set-point tracking MPC (Model Predictive Control). The presented controller uses the feed solution flow rate as the manipulated variable to control the saturation of the solvent at the extraction step. In addition, it guarantees not to loose uranium in the raffinates, and ensures equipment limitations during operation time. Simulation results show that the tracking NMPC effectively ensures accurate set point tracking and constraints guarantee. As a result, the system can be driven to its optimal working condition, avoid and recover from constraint violations. The control performance was compared with PID and openloop controllers.


title: Metastability and time scales for parabolic equations with drift 1: the first time scale

abstract: Consider the elliptic operator given by $$ \mathscr{L}_{\epsilon}f= {b} \cdot \nabla f + \epsilon \Delta f $$ for some smooth vector field $ b\colon \mathbb R^d \to\mathbb R^d$ and a small parameter $\epsilon>0$. Consider the initial-valued problem $$ \left\{ \begin{aligned} &\partial_ t u_\epsilon = \mathscr L_\epsilon u_\epsilon,\\ &u_\epsilon (0, \cdot) = u_0(\cdot), \end{aligned} \right. $$ for some bounded continuous function $u_0$. Denote by $\mathcal M_0$ the set of critical points of $b$, $\mathcal M_0 =\{x\in \mathbb R^d : b(x)=0\}$, assumed to be finite. Under the hypothesis that $ b = -(\nabla U + \ell)$, where $ \ell$ is a divergence-free field orthogonal to $\nabla U$, the main result of this article states that there exist a time-scale $\theta^{(1)}_\epsilon$, $\theta^{(1)}_\epsilon \to \infty$ as $\epsilon \rightarrow 0$, and a Markov semigroup $\{p_t : t\ge 0\}$ defined on $\mathcal M_0$ such that $$ \lim_{\epsilon\to 0} u_\epsilon (t\theta^{(1)}_\epsilon, x) =\sum_{m'\in \mathcal M_0} p_t(m, m')\, u_0( m'), $$ for all $t>0$ and $ x$ in the domain of attraction of $m$ for the ODE $\dot{x}(t)= b( x(t))$. The time scale $\theta^{(1)}$ is critical in the sense that, for all time scale $\varrho_\epsilon$ such that $\varrho_\epsilon \to \infty$, $\varrho_\epsilon/\theta^{(1)}_\epsilon \to 0$, $$ \lim_{\epsilon\to 0} u_\epsilon (\varrho_\epsilon, x)=u_0(m) $$ for all $x \in \mathcal D(m)$. Namely, $\theta_\epsilon^{(1)}$ is the first scale at which the solution to the initial-valued problem starts to change. In a companion paper [Landim, Lee, Seo, forthcoming] we extend this result finding all critical time-scales at which the solution $u_\epsilon$ evolves smoothly in time and we show that the solution $u_\epsilon$ is expressed in terms of the semigroup of some Markov chain taking values in sets formed by unions of critical points of $b$.


title: Characterizing the kernel of the Burau representation modulo 2 for the 4-strand braid group

abstract: In 1997, Cooper-Long established the nontriviality of the kernel of the modulo 2 Burau representation for the 4-strand braid group, $B_4$. This paper extends their work by embedding the image group into a finitely presented group. As an application, we characterize the kernel as the intersection of $B_4$ with a normal closure of a finite number of elements in an HNN extension of $B_4$.


title: Distance-Aware eXplanation Based Learning

abstract: eXplanation Based Learning (XBL) is an interactive learning approach that provides a transparent method of training deep learning models by interacting with their explanations. XBL augments loss functions to penalize a model based on deviation of its explanations from user annotation of image features. The literature on XBL mostly depends on the intersection of visual model explanations and image feature annotations. We present a method to add a distance-aware explanation loss to categorical losses that trains a learner to focus on important regions of a training dataset. Distance is an appropriate approach for calculating explanation loss since visual model explanations such as Gradient-weighted Class Activation Mapping (Grad-CAMs) are not strictly bounded as annotations and their intersections may not provide complete information on the deviation of a model's focus from relevant image regions. In addition to assessing our model using existing metrics, we propose an interpretability metric for evaluating visual feature-attribution based model explanations that is more informative of the model's performance than existing metrics. We demonstrate performance of our proposed method on three image classification tasks.


title: Moderate D/H Ratios in Methane Ice on Eris and Makemake as Evidence of Hydrothermal or Metamorphic Processes in Their Interiors: Geochemical Analysis

abstract: Dwarf planets Eris and Makemake have surfaces bearing methane ice of unknown origin. D/H ratios were recently determined from James Webb Space Telescope (JWST) observations of Eris and Makemake, giving us new clues to decipher the origin of methane. Here, we develop geochemical models to test if the origin of methane could be primordial, derived from CO$_2$ or CO ("abiotic"), or sourced by organics ("thermogenic"). We find that primordial methane is inconsistent with the observational data, whereas both abiotic and thermogenic methane can have D/H ratios that overlap the observed ranges. This suggests that Eris and Makemake either never acquired a significant amount of methane during their formation, or their original inventories were removed and then replaced by a source of internally produced methane. Because producing abiotic or thermogenic methane likely requires temperatures above ~150{\deg}C, we infer that Eris and Makemake have rocky cores that underwent substantial radiogenic heating. Their cores may still be warm/hot enough to make methane. This heating could have driven hydrothermal circulation at the bottom of an ice-covered ocean to generate abiotic methane, and/or metamorphic reactions involving accreted organic matter could have occurred in response to heating in the deeper interior, generating thermogenic methane. Additional analyses of relevant thermal evolution model results and theoretical predictions of the D/H ratio of methane in the solar nebula support our findings of elevated subsurface temperatures and an apparent lack of primordial methane on Eris and Makemake. It remains an open question whether their D/H ratios may have evolved subsequent to methane outgassing. Recommendations are given for future activities to further test proposed scenarios of abiotic and thermogenic methane production on Eris and Makemake, and to explore these worlds up close.


title: Multiplierless Design of High-Speed Very Large Constant Multiplications

abstract: In cryptographic algorithms, the constants to be multiplied by a variable can be very large due to security requirements. Thus, the hardware complexity of such algorithms heavily depends on the design architecture handling large constants. In this paper, we introduce an electronic design automation tool, called LEIGER, which can automatically generate the realizations of very large constant multiplications for low-complexity and high-speed applications, targeting the ASIC design platform. LEIGER can utilize the shift-adds architecture and use 3-input operations, i.e., carry-save adders (CSAs), where the number of CSAs is reduced using a prominent optimization algorithm. It can also generate constant multiplications under a hybrid design architecture, where 2-and 3-input operations are used at different stages. Moreover, it can describe constant multiplications under a design architecture using compressor trees. As a case study, high-speed Montgomery multiplication, which is a fundamental operation in cryptographic algorithms, is designed with its constant multiplication block realized under the proposed architectures. Experimental results indicate that LEIGER enables a designer to explore the trade-off between area and delay of the very large constant and Montgomery multiplications and leads to designs with area-delay product, latency, and energy consumption values significantly better than those obtained by a recently proposed algorithm.


title: OpenFashionCLIP: Vision-and-Language Contrastive Learning with Open-Source Fashion Data

abstract: The inexorable growth of online shopping and e-commerce demands scalable and robust machine learning-based solutions to accommodate customer requirements. In the context of automatic tagging classification and multimodal retrieval, prior works either defined a low generalizable supervised learning approach or more reusable CLIP-based techniques while, however, training on closed source data. In this work, we propose OpenFashionCLIP, a vision-and-language contrastive learning method that only adopts open-source fashion data stemming from diverse domains, and characterized by varying degrees of specificity. Our approach is extensively validated across several tasks and benchmarks, and experimental results highlight a significant out-of-domain generalization capability and consistent improvements over state-of-the-art methods both in terms of accuracy and recall. Source code and trained models are publicly available at: https://github.com/aimagelab/open-fashion-clip.


title: Combinatorics of pre-Lie products sharing a Lie bracket

abstract: We study in detail the operad controlling several pre-Lie algebra structures sharing the same Lie bracket. Specifically, we show that this operad admits a combinatorial description similar to that of Chapoton and Livernet for the pre-Lie operad, and that it has many of the remarkable algebraic properties of the pre-Lie operad.


title: Topological phase transition and tunable surface states in YBi

abstract: A unique co-existence of extremely large magnetoresistance (XMR) and topological characteristics in non-magnetic rare-earth monopnictides stimulating intensive research on these materials. Yttrium monobismuthide (YBi) has been reported to exhibit XMR up to 105% but its Topological properties still need clarification. Here we use the hybrid density functional theory to probe the structural, electronic and topological properties of YBi in detail. We observe that YBi is topologically trivial semimetal at ambient pressure which is in accordance with reported experimental results. The topological phase transitions i.e., trivial to non-trivial are obtained with volumetric pressure of 6.5 GPa and 3% of epitaxial strain. This topological phase transitions are well within the structural phase transition of YBi (24.5 GPa). The topological non-trivial state is characterized by band inversions among Y-d band and Bi-p band near {\Gamma}- and X-point in the Brillouin zone. This is further verified with the help of surface band structure along (001) plane. The Z2 topological invariants are calculated with the help of product of parities and evolution of Wannier charge centers. The occurrence of non-trivial phase in YBi with a relatively small epitaxial strain, which a thin film geometry can naturally has, might make it an ideal candidate to probe inter-relationship between XMR and non-trivial topology.


title: Concentration of Submodular Functions Under Negative Dependence

abstract: We study the question of whether submodular functions of random variables satisfying various notions of negative dependence satisfy Chernoff-like concentration inequalities. We prove such a concentration inequality for the lower tail when the random variables satisfy negative association or negative regression, resolving an open problem raised in (\citet{approx/QiuS22}). Previous work showed such concentration results for random variables that come from specific dependent-rounding algorithms (\citet{focs/ChekuriVZ10,soda/HarveyO14}). We discuss some applications of our results to combinatorial optimization and beyond.


title: Unraveling Managerial Tangents in Firm Disclosure: Concealing Issues or Being Exposed?

abstract: Earnings calls influence stock prices and are traditionally analyzed using sentiment and linguistic traces. Our research introduces a "Topic-Switching Index," a novel metric quantified through the transformer model FinBERT, to measure managerial evasion during Q$\&$A sessions in earnings calls. We find a negative correlation between this index and subsequent stock prices, indicating that investors penalize managerial evasiveness. This study is the first to quantify such evasive tactics, adding a new dimension to how earnings calls are understood and suggesting that topic shifting is an overlooked but significant factor. We also show the predictability of the index under three different classifier models and it stands out in all circumstances.


title: Itinerant ferromagnetism in transition metal dichalcogenides moir\'e superlattices

abstract: Moir\'e materials are artificial crystals formed at van der Waals heterojunctions that have emerged as a highly tunable platform to realize much of the rich quantum physics of electrons in atomic scale solids, also providing opportunities to discover new quantum phases of matter. Here we use finite-size exact diagonalization methods to explore the physics of single-band itinerant electron ferromagnetism in semiconductor moir\'e materials. We predict where ferromagnetism is likely to occur in triangular-lattice moir\'e systems, and where it is likely to yield the highest Curie temperatures.


title: An Empirical Study of NetOps Capability of Pre-Trained Large Language Models

abstract: Nowadays, the versatile capabilities of Pre-trained Large Language Models (LLMs) have attracted much attention from the industry. However, some vertical domains are more interested in the in-domain capabilities of LLMs. For the Networks domain, we present NetEval, an evaluation set for measuring the comprehensive capabilities of LLMs in Network Operations (NetOps). NetEval is designed for evaluating the commonsense knowledge and inference ability in NetOps in a multi-lingual context. NetEval consists of 5,732 questions about NetOps, covering five different sub-domains of NetOps. With NetEval, we systematically evaluate the NetOps capability of 26 publicly available LLMs. The results show that only GPT-4 can achieve a performance competitive to humans. However, some open models like LLaMA 2 demonstrate significant potential.


title: A real-time, scalable, fast and highly resource efficient decoder for a quantum computer

abstract: Quantum computers promise to solve computing problems that are currently intractable using traditional approaches. This can only be achieved if the noise inevitably present in quantum computers can be efficiently managed at scale. A key component in this process is a classical decoder, which diagnoses the errors occurring in the system. If the decoder does not operate fast enough, an exponential slowdown in the logical clock rate of the quantum computer occurs. Additionally, the decoder must be resource efficient to enable scaling to larger systems and potentially operate in cryogenic environments. Here we introduce the Collision Clustering decoder, which overcomes both challenges. We implement our decoder on both an FPGA and ASIC, the latter ultimately being necessary for any cost-effective scalable solution. We simulate a logical memory experiment on large instances of the leading quantum error correction scheme, the surface code, assuming a circuit-level noise model. The FPGA decoding frequency is above a megahertz, a stringent requirement on decoders needed for e.g. superconducting quantum computers. To decode an 881 qubit surface code it uses only $4.5\%$ of the available logical computation elements. The ASIC decoding frequency is also above a megahertz on a 1057 qubit surface code, and occupies 0.06 mm$^2$ area and consumes 8 mW of power. Our decoder is optimised to be both highly performant and resource efficient, while its implementation on hardware constitutes a viable path to practically realising fault-tolerant quantum computers.


title: Exploring Accelerating Hairy Black Holes in $2+1$ Dimensions: The Asymptotically Locally Anti-de Sitter Class and its Holography

abstract: In the realm of lower-dimensional accelerating spacetimes, it is well-established that the presence of domain walls, which are co-dimension one topological defects, is a necessary condition for their construction. We expand the geometric framework by adding a conformally coupled scalar field. This endeavor leads to the identification of several new families of three-dimensional accelerating spacetimes with asymptotically locally anti-de Sitter (AdS) behavior. Notably, one of these solutions showcases a hairy generalization of the accelerating BTZ black hole. This solution is constructed at both slow and rapid phases of acceleration, and its connection with established vacuum spacetime models is explicitly elucidated. The inclusion of the scalar field imparts a non-constant Ricci curvature to the domain wall, thereby rendering these configurations particularly suitable for the construction of two-dimensional quantum black holes. To establish a well-posed variational principle in the presence of the domain wall, two essential steps are undertaken. First, we extend the conventional renormalized AdS$_3$ action to accommodate the presence of the scalar field. Second, to establish a well-posed variational principle, we extend the renormalized AdS$_3$ action to include the scalar field and incorporate the Gibbons--Hawking--York term for internal boundaries and domain wall tension. We engage in holographic computations, thereby determining the explicit form of the holographic stress tensor. In this context, the stress tensor can be expressed as that of a perfect fluid situated on a curved background. Additionally, it paves the road to ascertain the spacetime mass. Finally, we close by demonstrating the existence of three-dimensional accelerating spacetimes with asymptotically locally flat and asymptotically locally de Sitter geometries, particularly those embodying black holes.


title: New News is Bad News

abstract: An increase in the novelty of news predicts negative stock market returns and negative macroeconomic outcomes over the next year. We quantify news novelty - changes in the distribution of news text - through an entropy measure, calculated using a recurrent neural network applied to a large news corpus. Entropy is a better out-of-sample predictor of market returns than a collection of standard measures. Cross-sectional entropy exposure carries a negative risk premium, suggesting that assets that positively covary with entropy hedge the aggregate risk associated with shifting news language. Entropy risk cannot be explained by existing long-short factors.


title: Driven and Non-Driven Surface Chaos in Spin-Glass Sponges

abstract: A spin-glass system with a smooth or fractal outer surface is studied by renormalization-group theory, in bulk spatial dimension d=3. Independently varying the surface and bulk random-interaction strengths, phase diagrams are calculated. The smooth surface does not have spin-glass ordering in the absence of bulk spin-glass ordering and always has spin-glass ordering when the bulk is spin-glass ordered. With fractal (d>2) surfaces, a sponge is obtained and has surface spin-glass ordering also in the absence of bulk spin-glass ordering. The phase diagram has the only-surface-spin-glass ordered phase, the bulk and surface spin-glass ordered phase, and the disordered phase, and a special multicritical point where these three phases meet. All spin-glass phases have distinct chaotic renormalization-group trajectories, with distinct Lyapunov and runaway exponents which we have calculated.


title: A crystallographic approach to symmetry-breaking in fluid layers

abstract: Symmetry-breaking bifurcations, where a flow state with a certain symmetry undergoes a transition to state with a different symmetry, are ubiquitous in fluid mechanics. Much can be understood about the nature of these transitions from symmetry alone, using the theory of groups and their representations. Here we show how the extensive databases on groups in crystallography can be exploited to yield insights into fluid-dynamical problems. In particular, we demonstrate the application of the crystallographic layer groups to problems in fluid layers, using thermal convection as an example. Crystallographic notation provides a concise and unambiguous description of the symmetries involved, and we advocate its broader use by the fluid dynamics community.


title: A Two-dimensional Numerical Study of Ion-Acoustic Turbulence

abstract: We investigate the linear and nonlinear evolution of the ion-acoustic instability in a collisionless plasma via two-dimensional (2D2V) Vlasov-Poisson numerical simulations. We initialize the system in a stable state and gradually drive it towards instability with an imposed, weak external electric field, thus avoiding super-critical initial conditions that are physically unrealizable. The nonlinear evolution of ion-acoustic turbulence (IAT) is characterized in detail, including the particles' distribution functions, particle heating, (two-dimensional) wave spectrum, and the resulting anomalous resistivity. An important result is that no steady saturated nonlinear state is ever reached in our simulations: strong ion heating suppresses the instability, which implies that the anomalous resistivity associated with IAT is transient and short-lived. Electron-acoustic waves (EAWs) are triggered during the late nonlinear evolution of the system, caused by strong modifications to the particle distribution induced by IAT.

categories: physics.plasm-ph astro-ph.EP astro-ph.SR physics.space-ph


title: Performance of Commercial Quantum Annealing Solvers for the Capacitated Vehicle Routing Problem

abstract: Quantum annealing (QA) is a heuristic search algorithm that can run on Adiabatic Quantum Computation (AQC) processors to solve combinatorial optimization problems. Although theoretical studies and simulations on classic hardware have shown encouraging results, these analyses often assume that the computation occurs in adiabatically closed systems without environmental interference. This is not a realistic assumption for real systems; therefore, without extensive empirical measurements on real quantum platforms, theory-based predictions, simulations on classical hardware or limited tests do not accurately assess the current commercial capabilities. This study has assessed the quality of the solution provided by a commercial quantum annealing platform compared to known solutions for the Capacitated Vehicle Routing Problem (CVRP). The study has conducted extensive analysis over more than 30 hours of access to QA commercial platforms to investigate how the size of the problem and its complexity impact the solution accuracy and the time used to find a solution. Our results have found that the absolute error is between 0.12 and 0.55, and the quantum processor unit (QPU) time is between 30 and 46 micro seconds. Our results show that as the constraint density increases, the quality of the solution degrades. Therefore, more than the problem size, the model complexity plays a critical role, and practical applications should select formulations that minimize the constraint density.


title: Introduction to the special issue dedicated to Michael J. Duff FRS on the occasion of his 70th birthday

abstract: This special feature, dedicated to Michael J. Duff FRS on the occasion of his 70th birthday, concerns topics in 'Quantum gravity, branes and M-theory'. These three intertwining subjects have been central to Duff's work; indeed many of his contributions have come to define significant aspects of what we actually mean by these terms. From the discovery of Weyl anomalies to recognising superstrings in 10 dimensions as a special case of membranes in an 11-dimensional M-theory, Duff's insights have shaped major developments across these themes. So it is an apposite setting for such a celebration and we are delighted to be able to include in this collection contributions from many of the pioneers of quantum gravity, branes and M-theory. The breadth of these topics has placed little constraint on the multiplicity of ideas appearing in these pages, from astrophysical black holes to chaotic condensed matter. Again, this is fitting as Duff's scientific remit spans a remarkable diversity of motifs, from the fundamentals of M-theory to entanglement in quantum information.


title: Carbon-bearing Molecules in a Possible Hycean Atmosphere

abstract: The search for habitable environments and biomarkers in exoplanetary atmospheres is the holy grail of exoplanet science. The detection of atmospheric signatures of habitable Earth-like exoplanets is challenging due to their small planet-star size contrast and thin atmospheres with high mean molecular weight. Recently, a new class of habitable exoplanets, called Hycean worlds, has been proposed, defined as temperate ocean-covered worlds with H2-rich atmospheres. Their large sizes and extended atmospheres, compared to rocky planets of the same mass, make Hycean worlds significantly more accessible to atmospheric spectroscopy with the JWST. Here we report a transmission spectrum of the candidate Hycean world, K2-18 b, observed with the JWST NIRISS and NIRSpec instruments in the 0.9-5.2 $\mu$m range. The spectrum reveals strong detections of methane (CH4) and carbon dioxide (CO2) at 5$\sigma$ and 3$\sigma$ confidence, respectively, with high volume mixing ratios of ~1% each in a H2-rich atmosphere. The abundant CH4 and CO2 along with the non-detection of ammonia (NH3) are consistent with chemical predictions for an ocean under a temperate H2-rich atmosphere on K2-18 b. The spectrum also suggests potential signs of dimethyl sulfide (DMS), which has been predicted to be an observable biomarker in Hycean worlds, motivating considerations of possible biological activity on the planet. The detection of CH4 resolves the long-standing missing methane problem for temperate exoplanets and the degeneracy in the atmospheric composition of K2-18 b from previous observations. We discuss possible implications of the findings, open questions, and future observations to explore this new regime in the search for life elsewhere.


title: Kinematics and Collimation of the Two-Sided Jets in NGC 4261: VLBI Study on Sub-parsec Scales

abstract: We report multi-frequency VLBI studies of the sub-parsec scale structure of the two-sided jet in the nearby radio galaxy NGC 4261. Our analyses include new observations using the Source Frequency Phase Referencing technique with the Very Long Baseline Array at 44 and 88 GHz, as well as archival data at 15 and 43 GHz. Our results show an extended double-sided structure at 43/44 GHz and provide a clear image of the nuclear region at 88 GHz, showing a core size of $\sim$0.09 mas and a brightness temperature of $\sim1.3\times10^{9}$ K. Proper motions are measured for the first time in the two-sided jet, with apparent speeds ranging from $0.31\pm0.14\,c$ to $0.59\pm0.40\,c$ in the approaching jet and $0.32\pm0.14\,c$ in the receding jet. The jet-to-counter-jet brightness ratio allows us to constrain the viewing angle to between $\sim54^{\circ}$ and $84^{\circ}$ and the intrinsic speed to between $\sim0.30\,c$ and $0.55\,c$. We confirm the parabolic shape of the upstream jet on both sides of the central engine, with a power-law index of $0.56\pm0.07$. Notably, the jet collimation is found to be already completed at sub-parsec scales, with a transition location of about 0.61 pc, which is significantly smaller than the Bondi radius of 99.2 pc. This behavior can be interpreted as the initial confinement of the jet by external pressure from either the geometrically thick, optically thin advection-dominated accretion flows (ADAF) or the disk wind launched from it. Alternatively, the shape transition may also be explained by the internal flow transition from a magnetically dominated to a particle-dominated regime.


title: On the Meromorphic Integrability of the Critical Systems for Optimal Sums of Eigenvalues

abstract: The popularity of estimation to bounds for sums of eigenvalues started from P. Li and S. T. Yau for the study of the P\'{o}lya conjecture. This subject is extended to different types of differential operators. This paper explores for the sums of the first $m$ eigenvalues of Sturm-Liouville operators from two aspects. Firstly, by the complete continuity of eigenvalues, we propose a family of critical systems consisting of nonlinear ordinary differential equations, indexed by the exponent $p\in(1,\infty)$ of the Lebesgue spaces concerned. There have profound relations between the solvability of these systems and the optimal lower or upper bounds for the sums of the first $m$ eigenvalues of Sturm-Liouville operators, which provides a novel idea to study the optimal bounds. Secondly, we investigate the integrability or solvability of the critical systems. With suitable selection of exponents $p$, the critical systems are equivalent to the polynomial Hamiltonian systems of $m$ degrees of freedom. Using the differential Galois theory, we perform a complete classification for meromorphic integrability of these polynomial critical systems. As a by-product of this classification, it gives a positive answer to the conjecture raised by Tian, Wei and Zhang [J. Math. Phys. 64, 092701 (2023)] on the critical systems for optimal eigenvalue gaps. The numerical simulations of the Poincar\'{e} cross sections show that the critical systems for sums of eigenvalues can appear complex dynamical phenomena, such as periodic trajectories, quasi-periodic trajectories and chaos.


title: ITI-GEN: Inclusive Text-to-Image Generation

abstract: Text-to-image generative models often reflect the biases of the training data, leading to unequal representations of underrepresented groups. This study investigates inclusive text-to-image generative models that generate images based on human-written prompts and ensure the resulting images are uniformly distributed across attributes of interest. Unfortunately, directly expressing the desired attributes in the prompt often leads to sub-optimal results due to linguistic ambiguity or model misrepresentation. Hence, this paper proposes a drastically different approach that adheres to the maxim that "a picture is worth a thousand words". We show that, for some attributes, images can represent concepts more expressively than text. For instance, categories of skin tones are typically hard to specify by text but can be easily represented by example images. Building upon these insights, we propose a novel approach, ITI-GEN, that leverages readily available reference images for Inclusive Text-to-Image GENeration. The key idea is learning a set of prompt embeddings to generate images that can effectively represent all desired attribute categories. More importantly, ITI-GEN requires no model fine-tuning, making it computationally efficient to augment existing text-to-image models. Extensive experiments demonstrate that ITI-GEN largely improves over state-of-the-art models to generate inclusive images from a prompt. Project page: https://czhang0528.github.io/iti-gen.


title: Safety Barrier Certificates for Stochastic Control Systems with Wireless Communication Networks

abstract: This work is concerned with a formal approach for safety controller synthesis of stochastic control systems with both process and measurement noises while considering wireless communication networks between sensors, controllers, and actuators. The proposed scheme is based on control barrier certificates (CBC), which allows us to provide safety certifications for wirelessly-connected stochastic control systems. Despite the available literature on designing control barrier certificates, there has been unfortunately no consideration of wireless communication networks to capture potential packet losses and end-to-end delays, which is absolutely crucial in safety-critical real-world applications. In our proposed setting, the key objective is to construct a control barrier certificate together with a safety controller while providing a lower bound on the satisfaction probability of the safety property over a finite time horizon. We propose a systematic approach in the form of sum-of-squares optimization and matrix inequalities for the synthesis of CBC and its associated controller. We demonstrate the efficacy of our approach on a permanent magnet synchronous motor. For the application of automotive electric steering under a wireless communication network, we design a CBC together with a safety controller to maintain the electrical current of the motor in a safe set within a finite time horizon while providing a formal probabilistic guarantee.


title: On the Cauchy problem for $p$-evolution equations with variable coefficients: a necessary condition for Gevrey well-posedness

abstract: In this paper we consider a class of $p$-evolution equations of arbitrary order with variable coefficients depending on time and space variables $(t,x)$. We prove necessary conditions on the decay rates of the coefficients for the well-posedness of the related Cauchy problem in Gevrey spaces.


title: Latency Analysis of LEO Satellite Relay Communication: An Application of Conditional Contact Angle Distribution

abstract: This article investigates the transmission delay of a Low Earth Orbit (LEO) satellite communication system in a bent pipe structure. By employing a stochastic geometry framework, satellites are modeled as spherical binomial point processes (BPP). A suboptimal satellite relay selection strategy is proposed, which achieves optimal conditions through theoretical analysis and numerical exploration. We derive the distance distributions for the uplink and downlink links, and provide corresponding analytical expressions for the transmission delays.


title: UniSeg: A Unified Multi-Modal LiDAR Segmentation Network and the OpenPCSeg Codebase

abstract: Point-, voxel-, and range-views are three representative forms of point clouds. All of them have accurate 3D measurements but lack color and texture information. RGB images are a natural complement to these point cloud views and fully utilizing the comprehensive information of them benefits more robust perceptions. In this paper, we present a unified multi-modal LiDAR segmentation network, termed UniSeg, which leverages the information of RGB images and three views of the point cloud, and accomplishes semantic segmentation and panoptic segmentation simultaneously. Specifically, we first design the Learnable cross-Modal Association (LMA) module to automatically fuse voxel-view and range-view features with image features, which fully utilize the rich semantic information of images and are robust to calibration errors. Then, the enhanced voxel-view and range-view features are transformed to the point space,where three views of point cloud features are further fused adaptively by the Learnable cross-View Association module (LVA). Notably, UniSeg achieves promising results in three public benchmarks, i.e., SemanticKITTI, nuScenes, and Waymo Open Dataset (WOD); it ranks 1st on two challenges of two benchmarks, including the LiDAR semantic segmentation challenge of nuScenes and panoptic segmentation challenges of SemanticKITTI. Besides, we construct the OpenPCSeg codebase, which is the largest and most comprehensive outdoor LiDAR segmentation codebase. It contains most of the popular outdoor LiDAR segmentation algorithms and provides reproducible implementations. The OpenPCSeg codebase will be made publicly available at https://github.com/PJLab-ADG/PCSeg.


title: Vacancy-Engineered Phonon Polaritons in $\alpha$-MoO$_3$

abstract: Low-symmetry van der Waals materials have enabled strong confinement of mid-infrared light through hyperbolic phonon polaritons (HPhPs) at the nanoscale. Yet, the bottleneck persists in manipulating the intrinsic polaritonic dispersion to drive further progress in phonon-polaritonics. Here, we present a thermomechanical strategy to manipulate the HPhPs in $\alpha$-MoO$_3$ using high pressure and temperature treatment. The hot pressing engineers the stoichiometry of $\alpha$-MoO$_3$ by controllably introducing oxygen vacancy defects (OVDs), which cause a semiconductor-to-semimetal transition. Our density functional theory and finite-difference time-domain results, combined with experimental studies show that the OVDs induce a metastable metallic state by reducing the bandgap while modifying the intrinsic dielectric permittivity of $\alpha$-MoO$_3$. Photo-induced force microscopy confirms an average dielectric permittivity tunability of $|\Delta\varepsilon/\varepsilon|\approx0.35$ within a Reststrahlen band of $\alpha$-MoO$_3$, resulting in drastic shifts in the HPhP dispersion. The polariton lifetimes for pristine and hot-pressed flakes were measured as $0.92 \pm 0.06$ and $0.86 \pm 0.11$ ps, respectively, exhibiting a loss of only 7%, while the group velocity exhibited an increase of $38.8 \pm 0.2$%. The OVDs in $\alpha$-MoO$_3$ provide a low-loss platform that enables active tuning of mid-infrared HPhPs and have a profound impact on applications in super-resolution imaging, nanoscale thermal manipulation, boosted molecular sensing, and on-chip photonic circuits.


title: Anisotropic Diffusion Stencils: From Simple Derivations over Stability Estimates to ResNet Implementations

abstract: Anisotropic diffusion processes with a diffusion tensor are important in image analysis, physics, and engineering. However, their numerical approximation has a strong impact on dissipative artefacts and deviations from rotation invariance. In this work, we study a large family of finite difference discretisations on a 3 x 3 stencil. We derive it by splitting 2-D anisotropic diffusion into four 1-D diffusions. The resulting stencil class involves one free parameter and covers a wide range of existing discretisations. It comprises the full stencil family of Weickert et al. (2013) and shows that their two parameters contain redundancy. Furthermore, we establish a bound on the spectral norm of the matrix corresponding to the stencil. This gives time step size limits that guarantee stability of an explicit scheme in the Euclidean norm. Our directional splitting also allows a very natural translation of the explicit scheme into ResNet blocks. Employing neural network libraries enables simple and highly efficient parallel implementations on GPUs.


title: Reentrant Ferromagnetic Ordering of the Random-Field Heisenberg Model in d>2 Dimensions: Fourier-Legendre Renormalization-Group Theory

abstract: The random-magnetic-field classical Heisenberg model is solved in spatial dimensions d>=2 using the recently developed Fourier-Legendre renormalization-group theory for $4\pi$ steradians continuously orientable spins, with renormalization-group flows of 12,500 variables. The random-magnetic-field Heisenberg model is exactly solved in 10 hierarchical models, for d=2,2.26,2.46,2.58,2.63,2.77,2.89,3. For non-zero random fields, ferromagnetic order is seen for d>2. This ordering shows, at d=3, reentrance as a function of temperature.


title: Periodically driven open quantum systems with vibronic interaction: Resonance effects and vibrationally mediated decoupling

abstract: Periodic driving and Floquet engineering have emerged as invaluable tools for controlling and uncovering novel phenomena in quantum systems. In this study, we adopt these methods to manipulate nonequilibrium processes within electronic-vibronic open quantum systems. Through resonance mechanisms and by focusing on the limit-cycle dynamics and quantum thermodynamic properties, we illustrate the intricate interplay between the driving field and vibronic states and its overall influence on the electronic system. Specifically, we observe an effective decoupling of the electronic system from the periodic driving at specific frequencies, a phenomenon that is mediated by the vibrational mode interaction. Additionally, we engineer the driving field to obtain a partial removal of the Franck-Condon blockade. These insights hold promise for efficient charge current control. Our results are obtained from numerically exact calculations of the hierarchical equations of motion and further analyzed by a time-periodic master equation approach.


title: Automatic Regenerative Simulation via Non-Reversible Simulated Tempering

abstract: Simulated Tempering (ST) is an MCMC algorithm for complex target distributions that operates on a path between the target and a more amenable reference distribution. Crucially, if the reference enables i.i.d. sampling, ST is regenerative and can be parallelized across independent tours. However, the difficulty of tuning ST has hindered its widespread adoption. In this work, we develop a simple nonreversible ST (NRST) algorithm, a general theoretical analysis of ST, and an automated tuning procedure for ST. A core contribution that arises from the analysis is a novel performance metric -- Tour Effectiveness (TE) -- that controls the asymptotic variance of estimates from ST for bounded test functions. We use the TE to show that NRST dominates its reversible counterpart. We then develop an automated tuning procedure for NRST algorithms that targets the TE while minimizing computational cost. This procedure enables straightforward integration of NRST into existing probabilistic programming languages. We provide extensive experimental evidence that our tuning scheme improves the performance and robustness of NRST algorithms on a diverse set of probabilistic models.


title: Towards inferring the geometry of kilonovae

abstract: Recent analysis of the kilonova, AT2017gfo, has indicated that this event was highly spherical. This may challenge hydrodynamics simulations of binary neutron star mergers, which usually predict a range of asymmetries, and radiative transfer simulations show a strong direction dependence. Here we investigate whether the synthetic spectra from a 3D kilonova simulation of asymmetric ejecta from a hydrodynamical merger simulation can be compatible with the observational constraints suggesting a high degree of sphericity in AT2017gfo. Specifically, we determine whether fitting a simple P-Cygni line profile model leads to a value for the photospheric velocity that is consistent with the value obtained from the expanding photosphere method. We would infer that our kilonova simulation is highly spherical at early times, when the spectra resemble a blackbody distribution. The two independently inferred photospheric velocities can be very similar, implying a high degree of sphericity, which can be as spherical as inferred for AT2017gfo, demonstrating that the photosphere can appear spherical even for asymmetrical ejecta. The last-interaction velocities of radiation escaping the simulation show a high degree of sphericity, supporting the inferred symmetry of the photosphere. We find that when the synthetic spectra resemble a blackbody the expanding photosphere method can be used to obtain an accurate luminosity distance (within 4-7 per cent).


title: Deformations of Lagrangian $Q$-submanifolds

abstract: In this paper we prove graded versions of the Darboux Theorem and Weinstein's tubular neighbourhood Theorem in order to study the deformation theory of Lagrangian $Q$-submanifolds of degree $n$ symplectic $Q$-manifolds. Using Weinstein's tubular neighbourhood Theorem, we attach to every Lagrangian $Q$-submanifold an $L_\infty$-algebra, which controls its deformation theory. The main examples are coisotropic submanifolds of Poisson manifolds and (higher) Dirac structures with support in (higher) Courant algebroids.


title: Attenuation of long waves through regions of irregular floating ice and bathymetry

abstract: Existing theoretical results for attenuation of surface waves propagating on water of random fluctuating depth are shown to over predict the rate of decay due to the way in which ensemble averaging is performed. A revised approach is presented which corrects this and is shown to conserve energy. New theoretical predictions are supported by numerical results which use averaging of simulations of wave scattering over finite sections of random bathymetry for which transfer matrix eigenvalues are used to accurately measure decay. The model of wave propagation used in this paper is derived from a linearised long wavelength assumption whereby depth averaging leads to time harmonic waves being represented as solutions to a simple ordinary differential equation. In this paper it is shown how this can be adapted to incorporate a model of a continuous covering of the surface by fragmented floating ice. Attenuation of waves through broken ice of random thickness is then analysed in a similar manner as bed variations previously and some comparisons are made with published field data for attenuation of waves in the marginal ice zones. Key features of the data are reproduced by theory including the attenuation being proportional to a power of frequency between 2 and 4 as well as capturing the "roll-over effect" at high frequencies.


title: Mind the Uncertainty: Risk-Aware and Actively Exploring Model-Based Reinforcement Learning

abstract: We introduce a simple but effective method for managing risk in model-based reinforcement learning with trajectory sampling that involves probabilistic safety constraints and balancing of optimism in the face of epistemic uncertainty and pessimism in the face of aleatoric uncertainty of an ensemble of stochastic neural networks.Various experiments indicate that the separation of uncertainties is essential to performing well with data-driven MPC approaches in uncertain and safety-critical control environments.


title: Undergraduate Research of Decentralized Localization of Roombas Through Usage of Wall-Finding Software

abstract: This paper introduces the research effort of an undergraduate research team in realizing robot localization. More specifically, the undergraduate research team developed and tested wall-following software that allowed a ground robot Roombas to independently find their positions within a defined space. The software also allows a robot to send its localized position to other Roombas, so that each Roomba knows its relative location to realize robot cooperation.


title: Distributional Probabilistic Model Checking

abstract: Probabilistic model checking can provide formal guarantees on the behavior of stochastic models relating to a wide range of quantitative properties, such as runtime, energy consumption or cost. But decision making is typically with respect to the expected value of these quantities, which can mask important aspects of the full probability distribution such as the possibility of high-risk, low-probability events or multimodalities. We propose a distributional extension of probabilistic model checking, applicable to discrete-time Markov chains (DTMCs) and Markov decision processes (MDPs). We formulate distributional queries, which can reason about a variety of distributional measures, such as variance, value-at-risk or conditional value-at-risk, for the accumulation of reward until a co-safe linear temporal logic formula is satisfied. For DTMCs, we propose a method to compute the full distribution to an arbitrary level of precision, based on a graph analysis and forward analysis of the model. For MDPs, we approximate the optimal policy with respect to expected value or conditional value-at-risk using distributional value iteration. We implement our techniques and investigate their performance and scalability across a range of benchmark models. Experimental results demonstrate that our techniques can be successfully applied to check various distributional properties of large probabilistic models.


title: Local conservation laws of continuous Galerkin method for the incompressible Navier--Stokes equations in EMAC form

abstract: We consider {\it local} balances of momentum and angular momentum for the incompressible Navier-Stokes equations. First, we formulate new weak forms of the physical balances (conservation laws) of these quantities, and prove they are equivalent to the usual conservation law formulations. We then show that continuous Galerkin discretizations of the Navier-Stokes equations using the EMAC form of the nonlinearity preserve discrete analogues of the weak form conservation laws, both in the Eulerian formulation and the Lagrangian formulation (which are not equivalent after discretizations). Numerical tests illustrate the new theory.


title: Extra invariant and plasma inhomogeneity to improve zonal flow

abstract: Zonal flows are known to diminish turbulent transport in magnetic fusion. Interstingly, there is an adiabatic invariant that implies the emergence of zonal flow. The paper shows that if this invariant is decreasing (due to some external factors) then the emerging zonal flow is better. It is also shown that the plasma inhomogeneity can lead to the decrease of the adiabatic invariant. A simple condition for such decrease is found.


title: Development of an X-ray polarimeter at the SOLEIL Synchrotron

abstract: Synchrotron radiation facilities provide highly polarized X-ray beams across a wide energy range. However, the exact type and degree of polarization varies according to the beamline and experimental setup. To accurately determine the angle and degree of linear polarization, a portable X-ray polarimeter has been developed. This setup consists of a Silicon Drift Detector that rotates around a target made of high-density polyethylene. The imprint generated in the angular distribution of scattered photons at a 90-degree angle from the target has been exploited to determine the beam polarization. Measurements were conducted at the GALAXIES beamline of the SOLEIL Synchrotron. The expected angular distribution of the scattered photons for a given beam polarization was obtained through simulations using the Geant4 simulation toolkit. An excellent agreement between simulations and the collected data has been obtained, validating the setup and enabling a precise determination of the beam polarization.


title: Transient analysis of arm locking controller

abstract: Arm locking is one of the key technologies to suppress the laser phase noise in spaced-based gravitational waves observatories. Since arm locking was proposed, phase margin criterion was always used as the fundamental design strategy for the controller development. In this paper, we find that this empirical method from engineering actually cannot guarantee the arm locking stability. Therefore, most of the advanced arm locking controllers reported so far may have instable problems. After comprehensive analysis of the single arm locking's transient responses, strict analytical stability criterions are summarized for the first time. These criterions are then generalized to dual arm locking, modified-dual arm locking and common arm locking, and special considerations for the design of arm locking controllers in different architectures are also discussed. It is found that PI controllers can easily meet our stability criterions in most of the arm locking systems. Using a simple high gain PI controller, it is possible to suppress the laser phase noise by 5 orders of magnitude within the science band. Our stability criterions can also be used in other feedback systems, where several modules with different delays are connected in parallel.


title: Quantitative Analysis of Forecasting Models:In the Aspect of Online Political Bias

abstract: Understanding and mitigating political bias in online social media platforms are crucial tasks to combat misinformation and echo chamber effects. However, characterizing political bias temporally using computational methods presents challenges due to the high frequency of noise in social media datasets. While existing research has explored various approaches to political bias characterization, the ability to forecast political bias and anticipate how political conversations might evolve in the near future has not been extensively studied. In this paper, we propose a heuristic approach to classify social media posts into five distinct political leaning categories. Since there is a lack of prior work on forecasting political bias, we conduct an in-depth analysis of existing baseline models to identify which model best fits to forecast political leaning time series. Our approach involves utilizing existing time series forecasting models on two social media datasets with different political ideologies, specifically Twitter and Gab. Through our experiments and analyses, we seek to shed light on the challenges and opportunities in forecasting political bias in social media platforms. Ultimately, our work aims to pave the way for developing more effective strategies to mitigate the negative impact of political bias in the digital realm.


title: Temporal Action Localization with Enhanced Instant Discriminability

abstract: Temporal action detection (TAD) aims to detect all action boundaries and their corresponding categories in an untrimmed video. The unclear boundaries of actions in videos often result in imprecise predictions of action boundaries by existing methods. To resolve this issue, we propose a one-stage framework named TriDet. First, we propose a Trident-head to model the action boundary via an estimated relative probability distribution around the boundary. Then, we analyze the rank-loss problem (i.e. instant discriminability deterioration) in transformer-based methods and propose an efficient scalable-granularity perception (SGP) layer to mitigate this issue. To further push the limit of instant discriminability in the video backbone, we leverage the strong representation capability of pretrained large models and investigate their performance on TAD. Last, considering the adequate spatial-temporal context for classification, we design a decoupled feature pyramid network with separate feature pyramids to incorporate rich spatial context from the large model for localization. Experimental results demonstrate the robustness of TriDet and its state-of-the-art performance on multiple TAD datasets, including hierarchical (multilabel) TAD datasets.