title: Minimal spanning arborescence

abstract: We study the minimal spanning arborescence which is the directed analogue of the minimal spanning tree, with a particular focus on its infinite volume limit and its geometric properties. We prove that in a certain large class of transient trees, the infinite volume limit exists almost surely. We also prove that for nonamenable, unimodular graphs, the limit is almost surely one-ended assuming a certain sufficient condition that guarantees the existence of the limit. This object cannot be studied using well-known algorithms, such as Kruskal's or Prim's algorithm, to sample the minimal spanning tree which has been instrumental in getting analogous results about them (Lyons, Peres, and Schramm). Instead, we use a recursive algorithm due to Chu, Liu, Edmonds, and Bock, which leads to a novel stochastic process which we call the \emph{loop contracting random walk}. This is similar to the well-known and widely studied loop erased random walk, except instead of erasing loops we contract them. The full algorithm bears similarities with the celebrated Wilson's algorithm to generate uniform spanning trees and can be seen as a certain limit of the original Wilson's algorithm.


title: Adaptive Crowdsourcing Via Self-Supervised Learning

abstract: Common crowdsourcing systems average estimates of a latent quantity of interest provided by many crowdworkers to produce a group estimate. We develop a new approach -- predict-each-worker -- that leverages self-supervised learning and a novel aggregation scheme. This approach adapts weights assigned to crowdworkers based on estimates they provided for previous quantities. When skills vary across crowdworkers or their estimates correlate, the weighted sum offers a more accurate group estimate than the average. Existing algorithms such as expectation maximization can, at least in principle, produce similarly accurate group estimates. However, their computational requirements become onerous when complex models, such as neural networks, are required to express relationships among crowdworkers. Predict-each-worker accommodates such complexity as well as many other practical challenges. We analyze the efficacy of predict-each-worker through theoretical and computational studies. Among other things, we establish asymptotic optimality as the number of engagements per crowdworker grows.


title: A pilot search for MeV gamma-ray emission from five galaxy clusters using archival COMPTEL data

abstract: We search for MeV gamma-ray emission between 0.75-30 MeV from five galaxy clusters, viz. Coma, VIRGO, SPT-CL J2012-5649, Bullet, and El Gordo, using archival data from the COMPTEL telescope. For this purpose we use three search templates: point source, radial disk and radial Gaussian. We do not detect any signals from Coma, SPT-CL J2012-5649, Bullet and El Gordo clusters with the 95\% c.l. photon energy flux limit $\sim 10^{-10} ~\rm{erg /cm^2/s} $. For VIRGO, we detect a non-zero signal between 0.92 to 1.63 MeV having marginal significance of about $2.5\sigma$, with the observed energy flux $ \sim 10^{-9}~\rm{ergs/cm^2/s}$. However, we do not confirm the previously reported evidence in literature for a gamma-ray line from Coma and VIRGO clusters between 5-7 MeV.


title: Semblance study of force-field and convection-diffusion solutions with observations of solar magnetic phenomena

abstract: A quantitative analytical model based on the semblance method between the modulation factor with solar phenomena is proposed. Different Local Interstellar Spectra (LIS) have been computed to introduce into a transport equation solution which in turn have been introduced into the atmospheric yield function (Caballero-Lopez & Moraal 2012), that allows to compute a Cosmic Rays (CR) Modulation Factor. The results were as expected. &here are correlation between modulation factor and sunspots, and anticorrelation between modulation factor and mean magnetic field. A transport equation's solution is necessary to compute atmospheric yield function, in this case the used transport equation's solutions were convection-diffusion and force field. Both solutions offer similar models, yet the force field solution shows a higher correlation value in the semblance than the convection-diffusion solution. Several LIS were also computed because they are introduced into the transport equation solutions. The used LIS were Lagner, Potgieter and Webber LIS in 2003, Burguer and Potgieter LIS in 2000, Garcia-Munoz, Mason and Simpson LIS in 1975 and Ghelfi, Barao, Derome and Maurin LIS in 2017. Those LIS were used because they have a model for different nuclear composition: Helium and Hydrogen. The LIS with more changes when is introduced into the semblance is Garcia-Munoz, Mason and Simpson in 1975.


title: Companion points and locally analytic socle conjecture for Steinberg case

abstract: In this paper, we will modify the Breuil-Hellmann-Schraen's (more generally, resp.,Breuil-Ding's) local model for the trianguline variety (resp.,Bernstein paraboline variety) to certain semistable (resp., potentially semistable) non-crystalline point with regular Hodge-Tate weights. Then we deduce several local-global compatibility results, including a classicality result, and the existence of expected companion points on the (definite) eigenvariety and locally analytic socle conjecture for certain semistable non-crystalline Galois representations (in other words, the so-called Steinberg case), under some wild hypothesis on on trianguline variety and the usual Taylor-Wiles assumptions.


title: Continuous Variable Based Quantum Communication in the Ocean

abstract: Continuous Variable-Based Quantum Cryptography (CV-QKD) is an emerging field in quantum information science, offering unprecedented security for communication protocols by harnessing the principles of quantum mechanics. However, ocean environments pose unique challenges to quantum communication due to their distinct properties and characteristics. This work investigates the impact of turbulence on the transmission of Gaussian light beams used in a continuous variable-based quantum key distribution system for underwater quantum communication. The objective is to quantitatively analyze the induced losses and propose methodologies to mitigate their effects. To achieve this, we adopt the widely accepted ABCD matrix formalism, which provides a comprehensive framework for characterizing the propagation of optical beams through different media. Moreover, a numerical simulation framework is developed to assess the resulting losses and evaluate the performance of the proposed system. The implications of these numerical simulation frameworks for the design and optimization of quantum communication systems for oceanic environments are thoroughly discussed.


title: Automating Unrealizability Logic: Hoare-style Proof Synthesis for Infinite Sets of Programs

abstract: Unrealizability logic (UL) was proposed by Kim et al. as the first Hoare-style proof system for proving properties that hold for an infinite set of programs (defined by a regular tree grammar). The goal of our work is to automate reasoning and proof generation for UL. A key ingredient in UL is the notion of nonterminal summaries-inductive facts that characterize recursive nonterminals in the grammar that defines the set of programs. They are analogous to procedure summaries in Hoare logic. The goal of automating UL led us to reformulate the inference rules-in particular, introducing a unified rule for nonterminal summaries, called the rule of adaptation, which draws inspiration from how procedure summaries are handled in Hoare logic. In the same way that verification conditions can be used to synthesize loop invariants for Hoare logic proofs, our reformulation of UL reduces the problem of synthesizing a nonterminal summary to a Syntax-Guided Synthesis problem. We implement Wuldo, the first checker and synthesizer for UL. Wuldo can express proofs beyond the reach of existing tools, including proofs that establish how infinitely many programs behave on infinitely many inputs, and in some cases Wuldo can even synthesize the needed nonterminal summaries.


title: GraphiMind: LLM-centric Interface for Information Graphics Design

abstract: Information graphics are pivotal in effective information dissemination and storytelling. However, creating such graphics is extremely challenging for non-professionals, since the design process requires multifaceted skills and comprehensive knowledge. Thus, despite the many available authoring tools, a significant gap remains in enabling non-experts to produce compelling information graphics seamlessly, especially from scratch. Recent breakthroughs show that Large Language Models (LLMs), especially when tool-augmented, can autonomously engage with external tools, making them promising candidates for enabling innovative graphic design applications. In this work, we propose a LLM-centric interface with the agent GraphiMind for automatic generation, recommendation, and composition of information graphics design resources, based on user intent expressed through natural language. Our GraphiMind integrates a Textual Conversational Interface, powered by tool-augmented LLM, with a traditional Graphical Manipulation Interface, streamlining the entire design process from raw resource curation to composition and refinement. Extensive evaluations highlight our tool's proficiency in simplifying the design process, opening avenues for its use by non-professional users. Moreover, we spotlight the potential of LLMs in reshaping the domain of information graphics design, offering a blend of automation, versatility, and user-centric interactivity.


title: SEER: Facilitating Structured Reasoning and Explanation via Reinforcement Learning

abstract: Elucidating the reasoning process with structured explanations from question to answer is crucial, as it significantly enhances the interpretability, traceability, and trustworthiness of question-answering (QA) systems. However, structured explanations demand models to perform intricately structured reasoning, which poses great challenges. Most existing methods focus on single-step reasoning through supervised learning, ignoring logical dependencies between steps. Moreover, existing reinforcement learning (RL) based methods overlook the structured relationships, underutilizing the potential of RL in structured reasoning. In this paper, we propose SEER, a novel method that maximizes a structure-based return to facilitate structured reasoning and explanation. Our proposed structure-based return precisely describes the hierarchical and branching structure inherent in structured reasoning, effectively capturing the intricate relationships between different reasoning steps. In addition, we introduce a fine-grained reward function to meticulously delineate diverse reasoning steps. Extensive experiments show that SEER significantly outperforms state-of-the-art methods, achieving an absolute improvement of 6.9% over RL-based methods on EntailmentBank, a 4.4% average improvement on STREET benchmark, and exhibiting outstanding efficiency and cross-dataset generalization performance. Our code is available at https://github.com/Chen-GX/SEER.


title: A Human-Centered Review of Algorithms in Homelessness Research

abstract: Homelessness is a humanitarian challenge affecting an estimated 1.6 billion people worldwide. In the face of rising homeless populations in developed nations and a strain on social services, government agencies are increasingly adopting data-driven models to determine one's risk of experiencing homelessness and assigning scarce resources to those in need. We conducted a systematic literature review of 57 papers to understand the evolution of these decision-making algorithms. We investigated trends in computational methods, predictor variables, and target outcomes used to develop the models using a human-centered lens and found that only 9 papers (15.7%) investigated model fairness and bias. We uncovered tensions between explainability and ecological validity wherein predictive risk models (53.4%) focused on reductive explainability while resource allocation models (25.9%) were dependent on unrealistic assumptions and simulated data that are not useful in practice. Further, we discuss research challenges and opportunities for developing human-centered algorithms in this area.


title: "Here's Your Evidence": False Consensus in Public Twitter Discussions of COVID-19 Science

abstract: The COVID-19 pandemic brought about an extraordinary rate of scientific papers on the topic that were discussed among the general public, although often in biased or misinformed ways. In this paper, we present a mixed-methods analysis aimed at examining whether public discussions were commensurate with the scientific consensus on several COVID-19 issues. We estimate scientific consensus based on samples of abstracts from preprint servers and compare against the volume of public discussions on Twitter mentioning these papers. We find that anti-consensus posts and users, though overall less numerous than pro-consensus ones, are vastly over-represented on Twitter, thus producing a false consensus effect. This transpires with favorable papers being disproportionately amplified, along with an influx of new anti-consensus user sign-ups. Finally, our content analysis highlights that anti-consensus users misrepresent scientific findings or question scientists' integrity in their efforts to substantiate their claims.


title: MOS-FAD: Improving Fake Audio Detection Via Automatic Mean Opinion Score Prediction

abstract: Automatic Mean Opinion Score (MOS) prediction is employed to evaluate the quality of synthetic speech. This study extends the application of predicted MOS to the task of Fake Audio Detection (FAD), as we expect that MOS can be used to assess how close synthesized speech is to the natural human voice. We propose MOS-FAD, where MOS can be leveraged at two key points in FAD: training data selection and model fusion. In training data selection, we demonstrate that MOS enables effective filtering of samples from unbalanced datasets. In the model fusion, our results demonstrate that incorporating MOS as a gating mechanism in FAD model fusion enhances overall performance.


title: Interferences effects in polarized nonlinear Breit-Wheeler process

abstract: The creation of polarized electron-positron pairs by the nonlinear Breit-Wheeler process in short laser pulses is investigated using the Baier-Katkov semiclassical method beyond local-constant-field approximation (LCFA), which allows for identifying the interferences effects in the positron polarization. When the laser intensity is in the intermediate %multiphoton regime, the interferences of pair production in different formation lengths induce an enhancement of pair production probability for spin-down positrons, which significantly affects the polarization of created positrons. The polarization features are distinct from that obtained with LCFA, revealing the invalidity of LCFA in this regime. Meanwhile, the angular distribution for different spin states varies, resulting in an angular-dependent polarization of positrons. The average polarization of positrons at beam center is highly sensitive to the laser's carrier-envelope phase (CEP), which provides a potential alternative way of determining the CEP of strong lasers. The verification of the observed interference phenomenon is possible for the upcoming experiments.


title: On rips and cosmological singularities in a universe merging with baby universes

abstract: Understanding the late-time acceleration of the universe and its subtleties is one of the biggest mysteries in cosmology. A lot of different approaches have been put forward to deal with this, ranging from the conventional cosmological constant to various models of dark energy and beyond. Recently one very interesting approach to explaining the late time acceleration has been put forward, where the the expansion of the universe is driven by mergers with other "baby" universes and has been shown to be quite viable as well from the point of view of recent observational data. So in this work we examine the possibility of various rip scenarios and other future cosmological singularities in such "multiversal" scenario, probing such singularities for the first time in a multi universe scenario. We examine two models of such a baby universe merging cosmology, and show that remarkably no rip scenario or future cosmological singularity is possible in such models.


title: Compact groups of dwarf galaxies in TNG50: late hierarchical assembly and delayed stellar build-up in the low-mass regime

abstract: Compact groups of dwarf galaxies (CGDs) have been observed at low redshifts ($z<0.1$) and are direct evidence of hierarchical assembly at low masses. To understand the formation of CGDs and the galaxy assembly in the low-mass regime, we search for analogues of compact (radius $\leq 100$ kpc) groups of dwarfs ($7 \leq \log[M_{\ast}/{\rm M}_\odot] \leq 9.5$) in the IllustrisTNG highest-resolution simulation. Our analysis shows that TNG50-1 can successfully produce CGDs at $z=0$ with realistic total and stellar masses. We also find that the CGD number density decreases towards the present, especially at $z \lesssim 0.26$, reaching $n \approx 10^{-3.5}$ $\rm cMpc^{-3}$ at $z = 0$. This prediction can be tested observationally with upcoming surveys targeting the faint end of the galaxy population and is essential to constrain galaxy evolution models in the dwarf regime. The majority of simulated groups at $z \sim 0$ formed recently ($\lesssim 1.5 \ \rm Gyr$), and CGDs identified at $z \leq 0.5$ commonly take more than 1 Gyr to merge completely, giving origin to low- to intermediate-mass ($8 \leq \log[M_{\ast}/{\rm M}_\odot] \leq 10$) normally star-forming galaxies at $z=0$. We find that halos hosting CGDs at $z = 0$ formed later when compared to halos of similar mass, having lower stellar masses and higher total gas fractions. The simulations suggest that CGDs observed at $z \sim 0$ arise from a late hierarchical assembly in the last $\sim 3$ Gyr, producing rapid growth in total mass relative to stellar mass and creating dwarf groups with median halo masses of $\sim 10^{11.3}$ $\rm M_\odot$ and B-band mass-to-light ratios mostly in the range $10 \lesssim M/L \lesssim 100$, in agreement with previous theoretical and observational studies.


title: Transport Dynamics of Water Molecules Confined between Lipid Membranes

abstract: Water molecules confined between biological membranes exhibit a distinctive non-Gaussian displacement distribution, far different from bulk water. Here, we introduce a new transport equation for water molecules in the intermembrane space, quantitatively explaining molecular dynamics simulation results. We find the unique transport dynamics of water molecules stems from the lateral diffusion coefficient fluctuation caused by their longitudinal motion. We also identify an interfacial region where water possesses distinct physical properties, unaffected by changes in the intermembrane separation.


title: A modular architecture for IMU-based data gloves

abstract: The flexibility and range of motion in human hands play a crucial role in human interaction with the environment and have been studied across different fields. Researchers explored various technological solutions for gathering information from the hands. These solutions include tracking hand motion through cameras or wearable sensors and using wearable sensors to measure the position and pressure of contact points. Data gloves can collect both types of information by utilizing inertial measurement units, flex sensors, magnetic trackers for motion tracking, and force resistors or touch sensors for contact measurement. Although there are commercially available data gloves, researchers often create custom data gloves to achieve the desired flexibility and control over the hardware. However, the existing literature lacks standardization and the reuse of previously designed data gloves. As a result, many gloves with unclear characteristics exist, which makes replication challenging and negatively impacts the reproducibility of studies. This work proposes a modular, open hardware and software architecture for creating customized data gloves based on IMU technology. We also provide an architecture implementation along with an experimental protocol to evaluate device performance.


title: Constructing a fully homomorphic encryption scheme with the Yoneda Lemma

abstract: This paper redefines the foundations of asymmetric cryptography's homomorphic cryptosystems through the application of the Yoneda Lemma. It explicitly illustrates that widely adopted systems, including ElGamal, RSA, Benaloh, Regev's LWE, and NTRUEncrypt, directly derive from the principles of the Yoneda Lemma. This synthesis gives rise to a holistic homomorphic encryption framework named the Yoneda Encryption Scheme. Within this scheme, encryption is elucidated through the bijective maps of the Yoneda Lemma Isomorphism, and decryption seamlessly follows from the naturality of these maps. This unification suggests a conjecture for a unified model theory framework, providing a basis for reasoning about both homomorphic and fully homomorphic encryption (FHE) schemes. As a practical demonstration, the paper introduces an FHE scheme capable of processing arbitrary finite sequences of encrypted multiplications and additions without the need for additional tweaking techniques, such as squashing or bootstrapping. This not only underscores the practical implications of the proposed theoretical advancements but also introduces new possibilities for leveraging model theory and forcing techniques in cryptography to facilitate the design of FHE schemes.


title: UniMS-RAG: A Unified Multi-source Retrieval-Augmented Generation for Personalized Dialogue Systems

abstract: Large Language Models (LLMs) has shown exceptional capabilities in many natual language understanding and generation tasks. However, the personalization issue still remains a much-coveted property, especially when it comes to the multiple sources involved in the dialogue system. To better plan and incorporate the use of multiple sources in generating personalized response, we firstly decompose it into three sub-tasks: Knowledge Source Selection, Knowledge Retrieval, and Response Generation. We then propose a novel Unified Multi-Source Retrieval-Augmented Generation system (UniMS-RAG) Specifically, we unify these three sub-tasks with different formulations into the same sequence-to-sequence paradigm during the training, to adaptively retrieve evidences and evaluate the relevance on-demand using special tokens, called acting tokens and evaluation tokens. Enabling language models to generate acting tokens facilitates interaction with various knowledge sources, allowing them to adapt their behavior to diverse task requirements. Meanwhile, evaluation tokens gauge the relevance score between the dialogue context and the retrieved evidence. In addition, we carefully design a self-refinement mechanism to iteratively refine the generated response considering 1) the consistency scores between the generated response and retrieved evidence; and 2) the relevance scores. Experiments on two personalized datasets (DuLeMon and KBP) show that UniMS-RAG achieves state-of-the-art performance on the knowledge source selection and response generation task with itself as a retriever in a unified manner. Extensive analyses and discussions are provided for shedding some new perspectives for personalized dialogue systems.


title: Diverse Science from VLT imagery and spectroscopy of PNe in the Galactic Bulge

abstract: We have undertaken a deep investigation of a well defined sample of 136 PNe located in a 10x10 degree central region of the Galactic Bulge observed with the ESO VLT and supplemented by archival HST imagery. These studies have provided precise morphologies, major axes position angles and the most robust sample of consistently derived chemical abundances available to date. Using these data we have statistically confirmed, at 5-sigma, the precise PNe population that provides the PNe alignment of major axes previously suggested in the Galactic Bulge, revealed a partial solution to the sulfur anomaly and uncovered interesting morphological, abundance and kinematic features. We summarise the most significant findings here with detailed results appearing in a series of related publications.


title: Novel 3D Reciprocal Space Visualization of Strain Relaxation in InSb on GaAs Substrates

abstract: This study introduces the Reciprocal Space Polar Visualization (RSPV) method, a novel approach for visualizing X-ray diffraction-based reciprocal space data. RSPV allows for the precise separation of tilt and strain, facilitating their individual analysis. InSb was grown by molecular beam epitaxy (MBE) on two (001) GaAs substrates $\unicode{x2014}$ one with no misorientation (Sample A) $\unicode{x2014}$ one with 2{\deg} surface misorientation from the (001) planes (Sample B). There is a substantial lattice mismatch with the substrate and this results in the generation of defects within the InSb layer during growth. To demonstrate RSPV's effectiveness, a comprehensive comparison of surface morphology, dislocation density, strain, and tilt was conducted. RSPV revealed previously unobserved features of the (004) InSb Bragg peak, partially explained by the presence of threading dislocations and oriented abrupt steps (OASs). Surface morphologies examined by an atomic force microscope (AFM) revealed that Sample B had significantly lower root mean square (RMS) roughness. Independent estimates of threading dislocation density (TDD) using X-ray diffraction (XRD) and electron channelling contrast imaging (ECCI) confirmed that Sample B exhibited a significantly lower TDD than Sample A. XRD methods further revealed unequal amounts of $\alpha$ and $\beta$ type threading dislocations in both samples, contributing to an anisotropic Bragg peak. RSPV is shown to be a robust method for exploring 3D reciprocal space in any crystal, demonstrating that growing InSb on misoriented GaAs produced a higher-quality crystal compared to an on-orientation substrate.


title: Three closed characteristics on non-degenerate star-shaped hypersurfaces in $\mathbf{R}^{6}$

abstract: In this paper, we prove that for every non-degenerate $C^3$ compact star-shaped hypersurface $\Sigma$ in $\mathbf{R}^{6}$ which carries no prime closed characteristic of Maslov-type index $0$ or no prime closed characteristic of Maslov-type index $-1$, there exist at least three prime closed characteristics on $\Sigma$.


title: MF-AED-AEC: Speech Emotion Recognition by Leveraging Multimodal Fusion, Asr Error Detection, and Asr Error Correction

abstract: The prevalent approach in speech emotion recognition (SER) involves integrating both audio and textual information to comprehensively identify the speaker's emotion, with the text generally obtained through automatic speech recognition (ASR). An essential issue of this approach is that ASR errors from the text modality can worsen the performance of SER. Previous studies have proposed using an auxiliary ASR error detection task to adaptively assign weights of each word in ASR hypotheses. However, this approach has limited improvement potential because it does not address the coherence of semantic information in the text. Additionally, the inherent heterogeneity of different modalities leads to distribution gaps between their representations, making their fusion challenging. Therefore, in this paper, we incorporate two auxiliary tasks, ASR error detection (AED) and ASR error correction (AEC), to enhance the semantic coherence of ASR text, and further introduce a novel multi-modal fusion (MF) method to learn shared representations across modalities. We refer to our method as MF-AED-AEC. Experimental results indicate that MF-AED-AEC significantly outperforms the baseline model by a margin of 4.1\%.


title: A geometric flow on noncompact affine Riemannian manifolds

abstract: In this paper, we obtain the existence criteria for a geometic flow on noncompact affine Riemannian manifolds. Our results can be regarded as a real version of Lee-Tam [19]. As an application, we prove that a complete noncompact Hessian manifold with nonnegative Hessian sectional curvature and bounded geometry is diffeomorphic to $\mathbb{R}^n$ if its tangent bundle has maximal volume growth.


title: Designing Redistribution Mechanisms for Reducing Transaction Fees in Blockchains

abstract: Blockchains deploy Transaction Fee Mechanisms (TFMs) to determine which user transactions to include in blocks and determine their payments (i.e., transaction fees). Increasing demand and scarce block resources have led to high user transaction fees. As these blockchains are a public resource, it may be preferable to reduce these transaction fees. To this end, we introduce Transaction Fee Redistribution Mechanisms (TFRMs) -- redistributing VCG payments collected from such TFM as rebates to minimize transaction fees. Classic redistribution mechanisms (RMs) achieve this while ensuring Allocative Efficiency (AE) and User Incentive Compatibility (UIC). Our first result shows the non-triviality of applying RM in TFMs. More concretely, we prove that it is impossible to reduce transaction fees when (i) transactions that are not confirmed do not receive rebates and (ii) the miner can strategically manipulate the mechanism. Driven by this, we propose \emph{Robust} TFRM (\textsf{R-TFRM}): a mechanism that compromises on an honest miner's individual rationality to guarantee strictly positive rebates to the users. We then introduce \emph{robust} and \emph{rational} TFRM (\textsf{R}$^2$\textsf{-TFRM}) that uses trusted on-chain randomness that additionally guarantees miner's individual rationality (in expectation) and strictly positive rebates. Our results show that TFRMs provide a promising new direction for reducing transaction fees in public blockchains.


title: Local Sobolev-Poincare imbedding domains

abstract: In this article, we study local Sobolev-Poincar\'e imbedding domains. The main result reads as below. \begin{enumerate} \item for $1\leq p\leq n$, a bounded uniform domain is also a local Sobolev-Poincar\'e imbedding domain of order $p$; conversely a local Sobolev-Poincar\'e imbedding domain of order $p$ is locally linearly connected $(LLC)$. A uniform domain is $(LLC)$. Conversely, with some very weak connecting assumption, a $(LLC)$ domain is uniform. \item for $n<p<\fz$, a bounded domain is a local Sobolev-Poincar\'e imbedding domain of order $p$ if and only if it is an $\alpha$-cigar domain for $\alpha=(p-n)/(p-1)$. Hence, a domain is a local Sobolev-Poincar\'e imbedding domain of oder $p$ if and only if it is a (global) Sobolev-Poincar\'e imbedding domain. \end{enumerate}


title: Enhancing cross-domain detection: adaptive class-aware contrastive transformer

abstract: Recently,the detection transformer has gained substantial attention for its inherent minimal post-processing requirement.However,this paradigm relies on abundant training data,yet in the context of the cross-domain adaptation,insufficient labels in the target domain exacerbate issues of class imbalance and model performance degradation.To address these challenges, we propose a novel class-aware cross domain detection transformer based on the adversarial learning and mean-teacher framework.First,considering the inconsistencies between the classification and regression tasks,we introduce an IoU-aware prediction branch and exploit the consistency of classification and location scores to filter and reweight pseudo labels.Second, we devise a dynamic category threshold refinement to adaptively manage model confidence.Third,to alleviate the class imbalance,an instance-level class-aware contrastive learning module is presented to encourage the generation of discriminative features for each class,particularly benefiting minority classes.Experimental results across diverse domain-adaptive scenarios validate our method's effectiveness in improving performance and alleviating class imbalance issues,which outperforms the state-of-the-art transformer based methods.


title: Global well-posedness of 3D inhomogenous incompressible Navier-Stokes equations with density-dependent viscosity

abstract: The issue of global well-posedness for the 3D inhomogenous incompressible Navier-Stokes equations was first addressed by Kazhikov in 1974. In this manuscript, we obtain its global well-posedness for the system with density-dependent viscosity under the smallness assumption of initial velocity in the critical space $\dot{B}_{p,1}^{-1+\frac 3p}$ with $p\in ]1, 9/2]$. To the best of our knowledge, this is the first result about the global well-posedness for which one does not assume any smallness condition on the density when the initial density is far away from vacuum.


title: SpecLLM: Exploring Generation and Review of VLSI Design Specification with Large Language Model

abstract: The development of architecture specifications is an initial and fundamental stage of the integrated circuit (IC) design process. Traditionally, architecture specifications are crafted by experienced chip architects, a process that is not only time-consuming but also error-prone. Mistakes in these specifications may significantly affect subsequent stages of chip design. Despite the presence of advanced electronic design automation (EDA) tools, effective solutions to these specification-related challenges remain scarce. Since writing architecture specifications is naturally a natural language processing (NLP) task, this paper pioneers the automation of architecture specification development with the advanced capabilities of large language models (LLMs). Leveraging our definition and dataset, we explore the application of LLMs in two key aspects of architecture specification development: (1) Generating architecture specifications, which includes both writing specifications from scratch and converting RTL code into detailed specifications. (2) Reviewing existing architecture specifications. We got promising results indicating that LLMs may revolutionize how these critical specification documents are developed in IC design nowadays. By reducing the effort required, LLMs open up new possibilities for efficiency and accuracy in this crucial aspect of chip design.


title: Dual-modal Dynamic Traceback Learning for Medical Report Generation

abstract: With increasing reliance on medical imaging in clinical practices, automated report generation from medical images is in great demand. Existing report generation methods typically adopt an encoder-decoder deep learning framework to build a uni-directional image-to-report mapping. However, such a framework ignores the bi-directional mutual associations between images and reports, thus incurring difficulties in associating the intrinsic medical meanings between them. Recent generative representation learning methods have demonstrated the benefits of dual-modal learning from both image and text modalities. However, these methods exhibit two major drawbacks for medical report generation: 1) they tend to capture morphological information and have difficulties in capturing subtle pathological semantic information, and 2) they predict masked text rely on both unmasked images and text, inevitably degrading performance when inference is based solely on images. In this study, we propose a new report generation framework with dual-modal dynamic traceback learning (DTrace) to overcome the two identified drawbacks and enable dual-modal learning for medical report generation. To achieve this, our DTrace introduces a traceback mechanism to control the semantic validity of generated content via self-assessment. Further, our DTrace introduces a dynamic learning strategy to adapt to various proportions of image and text input, enabling report generation without reliance on textual input during inference. Extensive experiments on two well-benchmarked datasets (IU-Xray and MIMIC-CXR) show that our DTrace outperforms state-of-the-art medical report generation methods.


title: Loss Allocation in Submarine Armored Three-core HVAC Power Cables

abstract: Loss allocation of the three different components (conductor, sheaths and armor) of solidly bonded three-core separated lead-sheathed armored cables, frequently employed in offshore wind farms, is challenging due to the lack of accurate enough analytical expressions in the IEC standard. Also, loss allocation through experimental tests leads to inaccurate results since it is based on questionable assumptions. This paper improves both the IEC formulae and experimental methods by means of different analytical corrections in the conductor and sheath loss expressions. To this aim, an ad hoc application interface (Virtual Lab) based on 3D numerical simulations (finite element method) has been developed. This tool virtualizes and automates different test setups to emulate, in few seconds, the most employed experimental procedures in this type of cable. The analytical corrections have been derived from an in-depth analysis of a first set of 368 cables, ranging from 30 to 275 kV. The new loss expressions were successfully applied to a second set of 645 armored cables of quite diverse features (voltages from 10 to 275 kV, sections and dimensional parameters), hence bringing a general framework for any kind of three-core armored cable.


title: LyC Leakers in the AstroSat UV Deep Field: Extreme UV emitters at the Cosmic Noon

abstract: We report the direct detection of Lyman Continuum (LyC) emission from 9 galaxies and 1 Active Galactic Nuclei (AGN) at $z$ $\sim$ 1.1-1.6 in the GOODS-North field using deep observations from the Ultraviolet Imaging Telescope (UVIT) onboard AstroSat. The absolute escape fraction of the sources estimated from the far-ultraviolet (FUV) and H$\alpha$ line luminosities using Monte Carlo (MC) analysis of two Inter-Galactic Medium (IGM) models span a range $\sim$ 10 - 55 $\%$. The restframe UV wavelength of the sources falls in the extreme-ultraviolet (EUV) regime $\sim$ 550-700 \AA, the shortest LyC wavelength range probed so far. This redshift range remains devoid of direct detections of LyC emission due to the instrumental limitations of previously available facilities. With UVIT having a very low detector noise, each of these sources are detected with an individual signal-to-noise ratio (SNR) $>$ 3 while for the stack of six sources, we achieve an SNR $\sim$ 7.4. The LyC emission is seen to be offset from the optical centroids and extended beyond the UVIT PSF of 1.$^{\prime\prime}6$ in most of the sources. This sample fills an important niche between GALEX and Cosmic Origins Spectrograph (COS) at low-$z$, and HST WFC3 at high-$z$ and is crucial in understanding the evolution of LyC leakers.


title: Audio-Infused Automatic Image Colorization by Exploiting Audio Scene Semantics

abstract: Automatic image colorization is inherently an ill-posed problem with uncertainty, which requires an accurate semantic understanding of scenes to estimate reasonable colors for grayscale images. Although recent interaction-based methods have achieved impressive performance, it is still a very difficult task to infer realistic and accurate colors for automatic colorization. To reduce the difficulty of semantic understanding of grayscale scenes, this paper tries to utilize corresponding audio, which naturally contains extra semantic information about the same scene. Specifically, a novel audio-infused automatic image colorization (AIAIC) network is proposed, which consists of three stages. First, we take color image semantics as a bridge and pretrain a colorization network guided by color image semantics. Second, the natural co-occurrence of audio and video is utilized to learn the color semantic correlations between audio and visual scenes. Third, the implicit audio semantic representation is fed into the pretrained network to finally realize the audio-guided colorization. The whole process is trained in a self-supervised manner without human annotation. In addition, an audiovisual colorization dataset is established for training and testing. Experiments demonstrate that audio guidance can effectively improve the performance of automatic colorization, especially for some scenes that are difficult to understand only from visual modality.


title: Higher equations of motion for boundary Liouville Conformal Field Theory from the Ward identities

abstract: In this document we prove higher equations of motion at the level $2$ for boundary Liouville Conformal Field Theory. As a corollary we present a new derivation of the Belavin-Polyakov-Zamolodchikov differential equations. Our method of proof does not rely on the mating of trees machinery but rather exploits the symmetries of the model through the Ward identities it satisfies. To do so we provide a definition of derivatives of the correlation functions with respect to a boundary insertion which was lacking in the existing literature, and introduce a new notion of descendant fields related to these Ward identities.


title: SiPM understanding using simple Geiger-breakdown simulations

abstract: The results of a 1-D Monte-Carlo program, which simulates the avalanche multiplication in diodes with depths of the order of 1 $\mu$m based on the method proposed in Ref.1, are presented. The aim of the study is to achieve a deeper understanding of silicon photo-multipliers. It is found that for a given over-voltage, $\mathit{OV}$, the maximum of the discharge current is reached at the breakdown voltage, $U_\mathit{bd}$, and that the avalanche stops when the voltage drops to $U_\mathit{bd} - \mathit{OV}$. This is completely different to the generally accepted understanding of SiPMs, which has already been noted in Ref.1. Simulated characteristics of the avalanche breakdown, like the time dependence of the avalanche current, over-voltage dependence of the Geiger-breakdown probability and the gain for photons and dark counts, are presented and compared to the expectations from silicon photo-multipliers.


title: The elastic stiffness tensor of cellulosic viscose fibers measured with Brillouin spectroscopy

abstract: Brillouin light scattering spectroscopy (BLS) is applied to study the micromechanics of cellulosic viscose fibers, one of the commercially most important, man-made biobased fibers. Using an equal angle scattering geometry, we provide a thorough description of the procedure to determine the complete transversely isotropic elastic stiffness tensor. From the stiffness tensor the engineering-relevant material parameters such as Young's moduli, shear moduli, and Poisson's ratios in radial and axial fiber direction are evaluated. The investigated fiber type shows that, at ideal conditions, the material exhibits optical waveguide properties resulting in spontaneous Brillouin backscattering which can be used to obtain additional information from the Brillouin spectra, enabling the measurement of two different scattering processes and directions with only one scattering geometry.


title: An energy-stable parametric finite element method for the planar Willmore flow

abstract: We propose an energy-stable parametric finite element method (PFEM) for the planar Willmore flow and establish its unconditional energy stability of the full discretization scheme. The key lies in the introduction of two novel geometric identities to describe the planar Willmore flow: the first one involves the coupling of the outward unit normal vector $\boldsymbol{n}$ and the normal velocity $V$, and the second one concerns the time derivative of the mean curvature $\kappa$. Based on them, we derive a set of new geometric partial differential equations for the planar Willmore flow, leading to our new fully-discretized and unconditionally energy-stable PFEM. Our stability analysis is also based on the two new geometric identities. Extensive numerical experiments are provided to illustrate its efficiency and validate its unconditional energy stability.


title: Can AI Assistants Know What They Don't Know?

abstract: Recently, AI assistants based on large language models (LLMs) show surprising performance in many tasks, such as dialogue, solving math problems, writing code, and using tools. Although LLMs possess intensive world knowledge, they still make factual errors when facing some knowledge intensive tasks, like open-domain question answering. These untruthful responses from the AI assistant may cause significant risks in practical applications. We believe that an AI assistant's refusal to answer questions it does not know is a crucial method for reducing hallucinations and making the assistant truthful. Therefore, in this paper, we ask the question "Can AI assistants know what they don't know and express them through natural language?" To answer this question, we construct a model-specific "I don't know" (Idk) dataset for an assistant, which contains its known and unknown questions, based on existing open-domain question answering datasets. Then we align the assistant with its corresponding Idk dataset and observe whether it can refuse to answer its unknown questions after alignment. Experimental results show that after alignment with Idk datasets, the assistant can refuse to answer most its unknown questions. For questions they attempt to answer, the accuracy is significantly higher than before the alignment.


title: SCNet: Sparse Compression Network for Music Source Separation

abstract: Deep learning-based methods have made significant achievements in music source separation. However, obtaining good results while maintaining a low model complexity remains challenging in super wide-band music source separation. Previous works either overlook the differences in subbands or inadequately address the problem of information loss when generating subband features. In this paper, we propose SCNet, a novel frequency-domain network to explicitly split the spectrogram of the mixture into several subbands and introduce a sparsity-based encoder to model different frequency bands. We use a higher compression ratio on subbands with less information to improve the information density and focus on modeling subbands with more information. In this way, the separation performance can be significantly improved using lower computational consumption. Experiment results show that the proposed model achieves a signal to distortion ratio (SDR) of 9.0 dB on the MUSDB18-HQ dataset without using extra data, which outperforms state-of-the-art methods. Specifically, SCNet's CPU inference time is only 48% of HT Demucs, one of the previous state-of-the-art models.


title: On the Jacobian variety of the Accola-Maclachlan curve of genus four

abstract: In this short note, we study the Jacobian variety of the Accola-Maclachlan curve of genus four and obtain explicitly its Poincar\'e isogeny decomposition. More precisely, we show that its Jacobian variety is isomorphic to the product of two abelian surfaces that are simple, and provide explicitly a Riemann matrix for each one of the involved abelian surfaces


title: Dynamical Chiral Nernst Effect in Twisted Van der Waals Few Layers

abstract: The Nernst effect is a fundamental thermoelectric conversion phenomenon that was deemed to be possible only in systems with magnetic field or magnetization. In this work, we propose a novel dynamical chiral Nernst effect that can appear in two-dimensional van der Waals materials with chiral structural symmetry in the absence of any magnetic degree of freedom. This unconventional effect is triggered by time variation of an out-of-plane electric field, and has an intrinsic quantum geometric origin linked to not only the intralayer center-of-mass motion but also the interlayer coherence of electronic states. We demonstrate the effect in twisted homobilayer and homotrilayer transition metal dichalcogenides, where the strong twisted interlayer coupling leads to sizable intrinsic Nernst conductivities well within the experimental capacity. This work suggests a new route for electric control of thermoelectric conversion.


title: Multi-phase $k$-quadrature domains and applications to acoustic waves and magnetic fields

abstract: The primary objective of this paper is to explore the multi-phase variant of quadrature domains associated with the Helmholtz equation, commonly referred to as $k$-quadrature domains. Our investigation employs both the minimization problem approach, which delves into the segregation ground state of an energy functional, and the partial balayage procedure, drawing inspiration from the recent work by Gardiner and Sj\"odin. Furthermore, we present practical applications of these concepts in the realms of acoustic waves and magnetic fields.


title: DDI-CoCo: A Dataset For Understanding The Effect Of Color Contrast In Machine-Assisted Skin Disease Detection

abstract: Skin tone as a demographic bias and inconsistent human labeling poses challenges in dermatology AI. We take another angle to investigate color contrast's impact, beyond skin tones, on malignancy detection in skin disease datasets: We hypothesize that in addition to skin tones, the color difference between the lesion area and skin also plays a role in malignancy detection performance of dermatology AI models. To study this, we first propose a robust labeling method to quantify color contrast scores of each image and validate our method by showing small labeling variations. More importantly, applying our method to \textit{the only} diverse-skin tone and pathologically-confirmed skin disease dataset DDI, yields \textbf{DDI-CoCo Dataset}, and we observe a performance gap between the high and low color difference groups. This disparity remains consistent across various state-of-the-art (SoTA) image classification models, which supports our hypothesis. Furthermore, we study the interaction between skin tone and color difference effects and suggest that color difference can be an additional reason behind model performance bias between skin tones. Our work provides a complementary angle to dermatology AI for improving skin disease detection.


title: On the metric of the jet bundle and similarity on Dirichlet spaces

abstract: In general, it is more difficult to formulate a sufficient condition for similarity than a necessary condition. We give a sufficient condition for a Cowen-Douglas operator with a positivity condition to be similar to the backward shift operator on weighted Dirichlet space. This condition involves the holomorphic jet bundle of the eigenvector bundle of the operator.


title: RefreshNet: Learning Multiscale Dynamics through Hierarchical Refreshing

abstract: Forecasting complex system dynamics, particularly for long-term predictions, is persistently hindered by error accumulation and computational burdens. This study presents RefreshNet, a multiscale framework developed to overcome these challenges, delivering an unprecedented balance between computational efficiency and predictive accuracy. RefreshNet incorporates convolutional autoencoders to identify a reduced order latent space capturing essential features of the dynamics, and strategically employs multiple recurrent neural network (RNN) blocks operating at varying temporal resolutions within the latent space, thus allowing the capture of latent dynamics at multiple temporal scales. The unique "refreshing" mechanism in RefreshNet allows coarser blocks to reset inputs of finer blocks, effectively controlling and alleviating error accumulation. This design demonstrates superiority over existing techniques regarding computational efficiency and predictive accuracy, especially in long-term forecasting. The framework is validated using three benchmark applications: the FitzHugh-Nagumo system, the Reaction-Diffusion equation, and Kuramoto-Sivashinsky dynamics. RefreshNet significantly outperforms state-of-the-art methods in long-term forecasting accuracy and speed, marking a significant advancement in modeling complex systems and opening new avenues in understanding and predicting their behavior.


title: Functoriality in Finitary Vacuum Einstein Gravity and Free Yang-Mills Theories from an Abstract Differential Geometric Perspective

abstract: We continue ongoing research work on applying the homological algebraic conceptual and technical machinery of Abstract Differential Geometry towards formulating a finitary, causal and quantal version of vacuum Einstein Lorentzian gravity and free Yang-Mills theories.


title: On the number of real forms of a complex variety

abstract: We give a bound on the number of weighted real forms of a complex variety with finite automorphism group, where the weight is the inverse of the number of automorphisms of the real form. We give another bound involving the Sylow 2-subgroup and as an application we give bounds on real forms of plane curves.


title: Small Object Tracking in LiDAR Point Cloud: Learning the Target-awareness Prototype and Fine-grained Search Region

abstract: Single Object Tracking in LiDAR point cloud is one of the most essential parts of environmental perception, in which small objects are inevitable in real-world scenarios and will bring a significant barrier to the accurate location. However, the existing methods concentrate more on exploring universal architectures for common categories and overlook the challenges that small objects have long been thorny due to the relative deficiency of foreground points and a low tolerance for disturbances. To this end, we propose a Siamese network-based method for small object tracking in the LiDAR point cloud, which is composed of the target-awareness prototype mining (TAPM) module and the regional grid subdivision (RGS) module. The TAPM module adopts the reconstruction mechanism of the masked decoder to learn the prototype in the feature space, aiming to highlight the presence of foreground points that will facilitate the subsequent location of small objects. Through the above prototype is capable of accentuating the small object of interest, the positioning deviation in feature maps still leads to high tracking errors. To alleviate this issue, the RGS module is proposed to recover the fine-grained features of the search region based on ViT and pixel shuffle layers. In addition, apart from the normal settings, we elaborately design a scaling experiment to evaluate the robustness of the different trackers on small objects. Extensive experiments on KITTI and nuScenes demonstrate that our method can effectively improve the tracking performance of small targets without affecting normal-sized objects.


title: Dynamics of non-Hermitian Floquet Wannier-Stark system

abstract: We study the dynamics of the non-Hermitian Floquet Wannier-Stark system in the framework of the tight-binding approximation, where the hopping strength is a periodic function of time with Floquet frequency $\omega$. It is shown that the energy level of the instantaneous Hamiltonian is still equally spaced and independent of time $t$ and the Hermiticity of the hopping term. In the case of off resonance, the dynamics are still periodic, while the occupied energy levels spread out at the resonance, exhibiting $t^z$ behavior. Analytic analysis and numerical simulation show that the level-spreading dynamics for real and complex hopping strengths exhibit distinct behaviors and are well described by the dynamical exponents $z=1$ and $z=1/2$, respectively.


title: Simplified Shielded MEG-MRI Multimodal System with Scalar-mode Optically Pumped Magnetometers as MEG Sensors

abstract: Magnetoencephalography (MEG) conventionally operates within high-performance magnetic shields due to the extremely weak magnetic field signals from the measured objects and the narrow dynamic range of the magnetic sensors employed for detection. This limitation results in elevated equipment costs and restricted usage. Additionally, the information obtained from MEG is functional images, and to analyze from which part of the brain the signals are coming, it is necessary to capture morphological images separately. When MEG and morphological imaging devices are separate, despite their individual high measurement accuracies, discrepancies in positional information may arise. In response, we have developed a low-field magnetic resonance imaging system that incorporates scalar-mode optically pumped magnetometers with a wide dynamic range and exceptionally high measurement sensitivity as sensors for MEG. Operating at low magnetic fields eliminates the need for superconducting coils in magnetic resonance imaging and the high-performance magnetic shields essential for MEG, promising a substantial cost reduction compared to traditional approaches. We achieved a noise level of about $16\,\rm{pT/Hz}^{1/2}$ with a single channel magnetometer, and reached a noise level of $367\,\rm{fT/cm/Hz}^{1/2}$ through differential measurements. The system successfully conducted MR imaging on a phantom, demonstrating the potential of MEG and MRI fusion.


title: Black hole no-hair theorem for self-gravitating time-dependent spherically symmetric multiple scalar fields

abstract: We prove under certain weak assumptions a black hole no-hair theorem in spherically symmetric spacetimes for self-gravitating time-dependent multiple scalar fields with an arbitrary target space admitting a Killing field with a non-empty axis and arbitrary non-negative potential invariant under the flow of the Killing field. It is shown that for such configurations the only spherically symmetric and asymptotically flat black hole solutions consist of the Schwarzschild metric and a constant multi-scalar map. In due course of the proof we also unveil the intrinsic connection of the time-dependence of the scalar fields with the symmetries of the target space.


title: The Automorphism Equivariant Hitchin Index

abstract: Let T be the one-dimensional complex torus. We consider the action of an automorphism of a Riemann surface X on the cohomology of the T-equivariant determinant line bundle over the moduli space of rank two Higgs bundles on X with fixed determinant of odd degree. We define and study the automorphism equivariant Hitchin index. We prove a formula for it in terms of cohomological pairings of canonical T-equivariant classes of certain moduli spaces of parabolic Higgs bundles over the quotient Riemann surface.


title: Chandra/HETG Doppler velocity measurements in stellar coronal sources

abstract: Stellar coronal sources have been observed in the past not only for their astrophysical interest in the field of binary system evolution and interaction, but also for their invaluable roles as benchmarks for plasma spectral models and as calibration sources for high resolution spectroscopic X-ray instruments. These include the gratings on-board Chandra and XMM-Newton, as well as the new generation of high resolution capable-detectors recently flown on-board XRISM and planned for the future also on-board the Athena and the LEM missions. In our previous paper exploiting Chandra/HETG observations of the prototypical coronal source Capella, it has been shown that the centroid energies of the many X-ray emission lines detected in the spectrum of this object change as a function of time due to the Doppler modulation within the binary. This is an effect that needs to be corrected while performing calibrations of high resolution X-ray instruments. In this paper, we extend our previous work on Capella to other known stellar coronal sources which have been observed with the Chandra/HETG (11 objects in total). We measure in several objects clear trends in the velocity shifts along the orbit of the primary star, meaning that in these sources one of the two star components is largely dominating the high energy emission. In a number of systems the trend in the velocity shift is not obvious. This can be ascribed to the fact that both stellar components contribute significantly to the X-ray emission.


title: Investigation of the hyperfine coupling constant of locally noncentrosymmetric heavy-fermion superconductor CeRh$_{2}$As$_{2}$

abstract: We performed $^{75}$As-NMR measurements in $H\parallel ab$ to investigate the normal-state magnetic properties of CeRh$_2$As$_2$, a recently-discovered heavy-fermion superconductor. We compared the NMR Knight shift $K$ with the magnetic susceptibility $\chi_{ab}$, and estimated the hyperfine coupling constant $A_{\mathrm{hf}}$ from the slope of the $K-\chi$ plot. We observed that the magnitude of $A_{\mathrm{hf},ab}$ at the As(1) site changes at around 20 K owing to emerging the heavy-fermion state, which was also observed in $A_{\mathrm{hf}}$ at the As(2) site and in $H\parallel c$. The sign of $A_{\mathrm{hf},ab}$ at the As(1) site is negative in low temperature. These are important for the analysis of the NMR results of CeRh$_2$As$_2$ in the superconducting state.


title: Transport and information in open quantum systems

abstract: With the approaching second quantum revolution, the study of quantum thermodynamics, particularly heat flow, has become even more relevant for two main reasons. First, understanding heat and other types of noise is essential for protecting quantum information and preventing decoherence. Second, the ability to manufacture and control quantum systems developed for the quantum computer allows for experimental study of quantum thermodynamics in entirely new settings. In this thesis, several systems involving quantum systems in contact with baths are studied theoretically in experimentally available settings. First, two rectification or diode setups for heat currents are proposed using a dark-state mechanism. In one system, the dark-state mechanism is imperfect but very robust. In the other system, the dark-state mechanism relies on quantum entanglement and is much better but more fragile towards decoherence. Next, a quantum version of the Wheatstone bridge is built using the same entanglement-powered dark state mechanism. After having studied several boundary-driven quantum systems, the lessons learned are generalized into resonance conditions using a general linear chain of weakly interacting chains of strongly interacting spins. The final two chapters focus on the ability to study statistical physics in realizable quantum systems. First, a Maxwell's demon setup is proposed. A demon-controlled qutrit is coupled to two non-Markovian baths. The information back-flow from the non-Markovian baths allows the demon to more effectively transfer heat from the cold bath to the hot bath. Second, the Mott insulator to superfluid phase transition in a lattice of transmons is examined. The ground state has a variable particle number and is prepared using adiabatic state preparation. This allows for the exploration of the entire phase diagram.


title: Detecting and Characterizing Exomoons and Exorings (Handbook of Exoplanets, 2nd Edition)

abstract: The circumplanetary environments in our Solar System host a stunning array of moon and ring systems. Study of these environs has yielded valuable insights into planetary system formation and evolution, and there is every reason to believe that we will have much to learn from the moons and rings that are likely to exist in exoplanetary systems as well. This has motivated a small but growing number of researchers to investigate questions related to the formation, stability, long-term viability, composition, and observability of these exomoons and exorings. Still, due to a range of significant observational challenges, we remain at a relatively early stage of this work. As a result, we continue to face a number of difficult, unanswered questions, but this also means there are myriad opportunities for fundamental contributions to the field. In this review we will examine a variety of important issues for the astronomical community to consider, with an aim of providing a comprehensive understanding of ongoing efforts to identify and characterize exomoons and exorings, while also increasing interest and engagement. We begin with an overview of what we expect from systems hosting moons and/or rings in terms of their architectures, habitability, and observational signatures. We then highlight the contributions from a variety of works that have been aimed at detecting and characterizing them. We conclude by examining the outlook for finding these objects and discussing a number of ongoing challenges that we will want to overcome in the years ahead.


title: Moist Convective Storms on Saturn

abstract: Convective storms (CS) on Saturn appear as bright clouds, irregular in shape and rapidly changing over time, accompanied by lightning phenomena. They cover a wide range of size scales, from 500 km or less and up to sizes that encircle the planet. In this chapter we focus on medium or synoptic-scale events (typical sizes 2,000 - 7,000 km) and planetary-scale major storms known as Great White Spots (GWS). In general, the storms emerge in westward jets and in the peak of the strong eastward equatorial jet. They have been observed preferentially in the northern hemisphere and seem to occur in the same latitude in intervals of 30 and 60 years coinciding with the times of maximum insolation within the seasonal cycle. Moist convection models locate the origin of the storms in the water clouds (at about 10 bars of pressure) and to some extent in ammonia clouds, and their thermodynamics explain the possible periodicity of the phenomena. Once triggered, the storms grow and expand, and their interaction with the zonal wind system gives rise to anticyclonic ovals and to disturbances that propagate zonally covering an entire latitude band in the case of the GWS.


title: Families over the integral Bernstein Center and Tate cohomology of local Base change lifts for GL(n, F)

abstract: Let $p$ and $l$ be distinct odd primes, and let $F$ be a $p$-adic field. Let $\pi$ be a generic smooth integral representation of ${\rm GL}_n(F)$ over an $\overline{\mathbb{Q}}_l$-vector space. Let $E$ be a finite Galois extension of $F$ with $[E:F]=l$. Let $\Pi$ be the base change lift of $\pi$ to the group ${\rm GL}_n(E)$. Let $\mathbb{W}^0(\Pi, \psi_E)$ be the lattice of $\overline{\mathbb{Z}}_l$-valued functions in the Whittaker model of $\Pi$, with respect to a standard ${\rm Gal}(E/F)$-equivaraint additive character $\psi_E:E\rightarrow \overline{\mathbb{Q}}_l^\times$. We show that the unique generic sub-quotient of the zero-th Tate cohomology group of $\mathbb{W}^0(\Pi, \psi_E)$ is isomorphic to the Frobenius twist of the unique generic sub-quotient of the mod-$l$ reduction of $\pi$. We first prove a version of this result for a family of smooth generic representations of ${\rm GL}_n(E)$ over the integral Bernstein center of ${\rm GL}_n(F)$. Our methods use the theory of Rankin-selberg convolutions and simple identities of local $\gamma$-factors. The results of this article remove the hypothesis that $l$ does not divide the pro-order of ${\rm GL}_{n-1}(F)$ in our previous work.


title: Visual Objectification in Films: Towards a New AI Task for Video Interpretation

abstract: In film gender studies, the concept of 'male gaze' refers to the way the characters are portrayed on-screen as objects of desire rather than subjects. In this article, we introduce a novel video-interpretation task, to detect character objectification in films. The purpose is to reveal and quantify the usage of complex temporal patterns operated in cinema to produce the cognitive perception of objectification. We introduce the ObyGaze12 dataset, made of 1914 movie clips densely annotated by experts for objectification concepts identified in film studies and psychology. We evaluate recent vision models, show the feasibility of the task and where the challenges remain with concept bottleneck models. Our new dataset and code are made available to the community.


title: Tunable electron scattering mechanism in plasmonic SrMoO$_3$ thin films

abstract: 4d transition metal perovskite oxides serve as suitable testbeds for the study of strongly correlated metallic properties. Among these, $SrMoO_{3}$ (SMO) exhibits remarkable electrical conductivity at room temperature. The temperature-dependent resistivity $(\rho(T))$ exhibits a Fermi-liquid behavior below the transition temperature $T^{*}$, reflecting the dominant electron-electron interaction. Above $T^{*}$, electron-phonon interaction becomes more appreciable. In this study, we employed the power-law scaling of $\rho(T)$ to rigorously determine the $T^{*}$. We further demonstrate that the $T^{*}$ can be modified substantially by ~40 K in epitaxial thin films. It turns out that the structural quality determines $T^{*}$. Whereas the plasma frequency could be tuned by the change in the electron-electron interaction via the effective mass enhancement, we show that the plasmonic properties are more directly governed by the electron-impurity scattering. The facile control of the electron scattering mechanism through structural quality modulation can be useful for plasmonic sensing applications in the visible region.


title: Towards Explainable Harmful Meme Detection through Multimodal Debate between Large Language Models

abstract: The age of social media is flooded with Internet memes, necessitating a clear grasp and effective identification of harmful ones. This task presents a significant challenge due to the implicit meaning embedded in memes, which is not explicitly conveyed through the surface text and image. However, existing harmful meme detection methods do not present readable explanations that unveil such implicit meaning to support their detection decisions. In this paper, we propose an explainable approach to detect harmful memes, achieved through reasoning over conflicting rationales from both harmless and harmful positions. Specifically, inspired by the powerful capacity of Large Language Models (LLMs) on text generation and reasoning, we first elicit multimodal debate between LLMs to generate the explanations derived from the contradictory arguments. Then we propose to fine-tune a small language model as the debate judge for harmfulness inference, to facilitate multimodal fusion between the harmfulness rationales and the intrinsic multimodal information within memes. In this way, our model is empowered to perform dialectical reasoning over intricate and implicit harm-indicative patterns, utilizing multimodal explanations originating from both harmless and harmful arguments. Extensive experiments on three public meme datasets demonstrate that our harmful meme detection approach achieves much better performance than state-of-the-art methods and exhibits a superior capacity for explaining the meme harmfulness of the model predictions.


title: Langevin dynamics of lattice Yang-Mills-Higgs and applications

abstract: We investigate the Langevin dynamics of various lattice formulations of the Yang-Mills-Higgs model, where the Higgs component takes values in $\mathbb{R}^N$, $\mathbb{S}^{N-1}$ or a Lie group. We prove the exponential ergodicity of the dynamics on the whole lattice via functional inequalities. As an application, we establish that correlations for a broad range of observables decay exponentially. Specifically, the infinite volume measure exhibits a strictly positive mass gap under strong coupling conditions. Moreover, appropriately rescaled observables exhibit factorized correlations in the large $N$ limit when the state space is compact. Our approach involves disintegration and a nuanced analysis of correlations to effectively control the unbounded Higgs component.


title: On distributional limit laws for recurrence

abstract: For a probability measure preserving dynamical system $(\mathcal{X},f,\mu)$, the Poincar\'e Recurrence Theorem asserts that $\mu$-almost every orbit is recurrent with respect to its initial condition. This motivates study of the statistics of the process $X_n(x)=\text{dist}(f^n(x),x))$, and real-valued functions thereof. For a wide class of non-uniformly expanding dynamical systems, we show that the time-$n$ counting process $R_n(x)$ associated to the number recurrences below a certain radii sequence $r_n(\tau)$ follows an \emph{averaged} Poisson distribution $G(\tau)$. Furthermore, we obtain quantitative results on almost sure rates for the recurrence statistics of the process $X_n$.


title: Classification of Radiologically Isolated Syndrome and Clinically Isolated Syndrome with Machine-Learning Techniques

abstract: Background and purpose: The unanticipated detection by magnetic resonance imaging (MRI) in the brain of asymptomatic subjects of white matter lesions suggestive of multiple sclerosis (MS) has been named radiologically isolated syndrome (RIS). As the difference between early MS [i.e. clinically isolated syndrome (CIS)] and RIS is the occurrence of a clinical event, it is logical to improve detection of the subclinical form without interfering with MRI as there are radiological diagnostic criteria for that. Our objective was to use machine-learning classification methods to identify morphometric measures that help to discriminate patients with RIS from those with CIS. Methods: We used a multimodal 3-T MRI approach by combining MRI biomarkers (cortical thickness, cortical and subcortical grey matter volume, and white matter integrity) of a cohort of 17 patients with RIS and 17 patients with CIS for single-subject level classification. Results: The best proposed models to predict the diagnosis of CIS and RIS were based on the Naive Bayes, Bagging and Multilayer Perceptron classifiers using only three features: the left rostral middle frontal gyrus volume and the fractional anisotropy values in the right amygdala and right lingual gyrus. The Naive Bayes obtained the highest accuracy [overall classification, 0.765; area under the receiver operating characteristic (AUROC), 0.782]. Conclusions: A machine-learning approach applied to multimodal MRI data may differentiate between the earliest clinical expressions of MS (CIS and RIS) with an accuracy of 78%. Keywords: Bagging; Multilayer Perceptron; Naive Bayes classifier; clinically isolated syndrome; diffusion tensor imaging; machine-learning; magnetic resonance imaging; multiple sclerosis; radiologically isolated syndrome.


title: A Lagrange-Newton Approach to Smoothing-and-Mapping

abstract: In this report we explore the application of the Lagrange-Newton method to the SAM (smoothing-and-mapping) problem in mobile robotics. In Lagrange-Newton SAM, the angular component of each pose vector is expressed by orientation vectors and treated through Lagrange constraints. This is different from the typical Gauss-Newton approach where variations need to be mapped back and forth between Euclidean space and a manifold suitable for rotational components. We derive equations for five different types of measurements between robot poses: translation, distance, and rotation from odometry in the plane, as well as home-vector angle and compass angle from visual homing. We demonstrate the feasibility of the Lagrange-Newton approach for a simple example related to a cleaning robot scenario.


title: MaLA-500: Massive Language Adaptation of Large Language Models

abstract: Large language models (LLMs) have advanced the state of the art in natural language processing. However, their predominant design for English or a limited set of languages creates a substantial gap in their effectiveness for low-resource languages. To bridge this gap, we introduce MaLA-500, a novel large language model designed to cover an extensive range of 534 languages. To train MaLA-500, we employ vocabulary extension and continued pretraining on LLaMA 2 with Glot500-c. Our intrinsic evaluation demonstrates that MaLA-500 is better at predicting the given texts of low-resource languages than existing multilingual LLMs. Moreover, the extrinsic evaluation of in-context learning shows that MaLA-500 outperforms previous LLMs on SIB200 and Taxi1500 by a significant margin, i.e., 11.68% and 4.82% marco-average accuracy across languages. We release MaLA-500 at https://huggingface.co/MaLA-LM


title: An analysis of the constructive content of Henkin's proof of G\"odel's completeness theorem

abstract: G{\"o}del's completeness theorem for classical first-order logic is one of the most basic theorems of logic. Central to any foundational course in logic, it connects the notion of valid formula to the notion of provable formula.We survey a few standard formulations and proofs of the completeness theorem before focusing on the formal description of a slight modification of Henkin's proof within intuitionistic second-order arithmetic.It is standard in the context of the completeness of intuitionistic logic with respect to various semantics such as Kripke or Beth semantics to follow the Curry-Howard correspondence and to interpret the proofs of completeness as programs which turn proofs of validity for these semantics into proofs of derivability.We apply this approach to Henkin's proof to phrase it as a program which transforms any proof of validity with respect to Tarski semantics into a proof of derivability.By doing so, we hope to shed an effective light on the relation between Tarski semantics and syntax: proofs of validity are syntactic objects with which we can compute.


title: Optimal regularity for the variable coefficients parabolic Signorini problem

abstract: In this paper we discuss the optimal regularity of the variable coefficient parabolic Signorini problem with $W^{1,1}_p$ coefficients and $L^p$ inhomogeneity, where $p>n+2$ with $n$ being the space dimension. Relying on an parabolic Carleman estimate and an epiperimetric inequality, we show the optimal regularity of the solutions as well as the regularity of the regular free boundary.


title: POSTER: Towards Secure 5G Infrastructures for Production Systems

abstract: To meet the requirements of modern production, industrial communication increasingly shifts from wired fieldbus to wireless 5G communication. Besides tremendous benefits, this shift introduces severe novel risks, ranging from limited reliability over new security vulnerabilities to a lack of accountability. To address these risks, we present approaches to (i) prevent attacks through authentication and redundant communication, (ii) detect anomalies and jamming, and (iii) respond to detected attacks through device exclusion and accountability measures.


title: ChatterBox: Multi-round Multimodal Referring and Grounding

abstract: In this study, we establish a baseline for a new task named multimodal multi-round referring and grounding (MRG), opening up a promising direction for instance-level multimodal dialogues. We present a new benchmark and an efficient vision-language model for this purpose. The new benchmark, named CB-300K, spans challenges including multi-round dialogue, complex spatial relationships among multiple instances, and consistent reasoning, which are beyond those shown in existing benchmarks. The proposed model, named ChatterBox, utilizes a two-branch architecture to collaboratively handle vision and language tasks. By tokenizing instance regions, the language branch acquires the ability to perceive referential information. Meanwhile, ChatterBox feeds a query embedding in the vision branch to a token receiver for visual grounding. A two-stage optimization strategy is devised, making use of both CB-300K and auxiliary external data to improve the model's stability and capacity for instance-level understanding. Experiments show that ChatterBox outperforms existing models in MRG both quantitatively and qualitatively, paving a new path towards multimodal dialogue scenarios with complicated and precise interactions. Code, data, and model are available at: https://github.com/sunsmarterjie/ChatterBox.


title: Acceleration of the Solar Wind by Ambipolar Electric Field

abstract: Kinetic exospheric models revealed that the solar wind is accelerated by an ambipolar electric field up to supersonic velocities. The presence of suprathermal Strahl electrons at the exobase can further increase the velocity to higher values, leading to profiles comparable to the observations in the fast and slow wind at all radial distances. Such suprathermal electrons are observed at large distances and recently at low distances as well. Those suprathermal electrons were introduced into the kinetic exospheric model using Kappa distributions. Here, the importance of the exobase's altitude is also underlined for its ability to maintain the electric potential to a higher level for slower winds, conversely to what is induced through the effect of a lower kappa index only. In fact, the exobase is located at lower altitude in the coronal holes where the density is smaller than in the other regions of the corona, allowing the wind originating from the holes to be accelerated from lower distances to higher velocities. The new observations of Parker Solar Probe (PSP) and Solar Orbiter (SolO) from launch to mid-2023 are here used to determine the characteristics of the plasma in the corona so that the model fits best to the averaged observed profiles for the slow and fast winds. The observations at low radial distances show suprathermal electrons already well present in the Strahl in the antisunward direction and a deficit in the sunward direction, confirming the exospheric feature of almost no incoming particles.


title: Comparison of Two Formulations for Computing Body Surface Potential Maps

abstract: In order to establish a link between the activation map and the body surface signals, we want to compute body potentials from activation maps and a frontlike approximation of the activation of the heart. To do so, two formulations that map the extracardiac potential from the transmembrane voltage naturally emerge from the bidomain model. Either the extracellular/extracardiac potential solves a Laplace equation with discontinuous conductivity coefficient and ionic current as a source (Source Formulation F1); or the quasi-stationary electrical balance between the intra- and extracellular fields (Balance Formulation F2). In this work, we compare F1 and F2, to determine which formulation is the most relevant to use. We compute reference activation map $\psi$ , transmembrane voltage $v$ and body surface map $u$ with a bidomain 2D code. We design two alternative shapes $\tilde{v}$ for a frontlike approximation of $v$ . Afterwards, two extracellular / extracardiac potentials are computed from the activation time $\psi$ and $\tilde{v}$ , using the two different formulations. Then the extracardiac potentials solutions of F1 and F2 are compared respectively to the solution of the bidomain $u$ . Results show that the Balance Formulation F2 is robust to the input data ($\tilde{v}$ and $\psi$). On the contrary, the Source Formulation F1 is very unstable and generates very large errors on the body surface map.


title: Lessons Learned Migrating CUDA to SYCL: A HEP Case Study with ROOT RDataFrame

abstract: The world's largest particle accelerator, located at CERN, produces petabytes of data that need to be analysed efficiently, to study the fundamental structures of our universe. ROOT is an open-source C++ data analysis framework, developed for this purpose. Its high-level data analysis interface, RDataFrame, currently only supports CPU parallelism. Given the increasing heterogeneity in computing facilities, it becomes crucial to efficiently support GPGPUs to take advantage of the available resources. SYCL allows for a single-source implementation, which enables support for different architectures. In this paper, we describe a CUDA implementation and the migration process to SYCL, focusing on a core high energy physics operation in RDataFrame -- histogramming. We detail the challenges that we faced when integrating SYCL into a large and complex code base. Furthermore, we perform an extensive comparative performance analysis of two SYCL compilers, AdaptiveCpp and DPC++, and the reference CUDA implementation. We highlight the performance bottlenecks that we encountered, and the methodology used to detect these. Based on our findings, we provide actionable insights for developers of SYCL applications.


title: ConTextual: Evaluating Context-Sensitive Text-Rich Visual Reasoning in Large Multimodal Models

abstract: Many real-world tasks require an agent to reason jointly over text and visual objects, (e.g., navigating in public spaces), which we refer to as context-sensitive text-rich visual reasoning. Specifically, these tasks require an understanding of the context in which the text interacts with visual elements within an image. However, there is a lack of existing datasets to benchmark the state-of-the-art multimodal models' capability on context-sensitive text-rich visual reasoning. In this paper, we introduce ConTextual, a novel dataset featuring human-crafted instructions that require context-sensitive reasoning for text-rich images. We conduct experiments to assess the performance of 14 foundation models (GPT-4V, Gemini-Pro-Vision, LLaVA-Next) and establish a human performance baseline. Further, we perform human evaluations of the model responses and observe a significant performance gap of 30.8% between GPT-4V (the current best-performing Large Multimodal Model) and human performance. Our fine-grained analysis reveals that GPT-4V encounters difficulties interpreting time-related data and infographics. However, it demonstrates proficiency in comprehending abstract visual contexts such as memes and quotes. Finally, our qualitative analysis uncovers various factors contributing to poor performance including lack of precise visual perception and hallucinations. Our dataset, code, and leaderboard can be found on the project page https://con-textual.github.io/


title: Evaluation of the power frequency magnetic field generated by three-core armored cables through 3D finite element simulations

abstract: The great expansion in offshore power plants is raising the concern regarding the cumulative effect of the electromagnetic field emissions caused by submarine power cables. In this sense, owners are required to predict these emissions during the permitting and consenting process of new power plants. This is a challenging task, especially in the case of HVAC three-core armored cables due to their complex geometry. Customarily, 2D approaches based on the finite element method (FEM) have been employed for evaluating the magnetic field emissions caused by these cables. However, inaccurate results are obtained since the phase conductors and armor twisting is omitted. This work develops, for the first time in the literature, an in-depth analysis of the magnetic field caused by this type of cable through an ultra-shortened 3D-FEM model, which is also faced to experimental measurements taken on an actual 132 kV, 800 mm2 three-core armored cable. Relevant conclusions are derived regarding the impact of the cable design on the magnetic field emissions, including material properties, as well as single and double-layer armors, presenting the proposed model not only as a valuable tool for predicting purposes, but also for optimizing cable design in terms of magnetic field emissions.


title: InstructDoc: A Dataset for Zero-Shot Generalization of Visual Document Understanding with Instructions

abstract: We study the problem of completing various visual document understanding (VDU) tasks, e.g., question answering and information extraction, on real-world documents through human-written instructions. To this end, we propose InstructDoc, the first large-scale collection of 30 publicly available VDU datasets, each with diverse instructions in a unified format, which covers a wide range of 12 tasks and includes open document types/formats. Furthermore, to enhance the generalization performance on VDU tasks, we design a new instruction-based document reading and understanding model, InstructDr, that connects document images, image encoders, and large language models (LLMs) through a trainable bridging module. Experiments demonstrate that InstructDr can effectively adapt to new VDU datasets, tasks, and domains via given instructions and outperforms existing multimodal LLMs and ChatGPT without specific training.


title: An Explicit Scheme for Pathwise XVA Computations

abstract: Motivated by the equations of cross valuation adjustments (XVAs) in the realistic case where capital is deemed fungible as a source of funding for variation margin, we introduce a simulation/regression scheme for a class of anticipated BSDEs, where the coefficient entails a conditional expected shortfall of the martingale part of the solution. The scheme is explicit in time and uses neural network least-squares and quantile regressions for the embedded conditional expectations and expected shortfall computations. An a posteriori Monte Carlo validation procedure allows assessing the regression error of the scheme at each time step. The superiority of this scheme with respect to Picard iterations is illustrated in a high-dimensional and hybrid market/default risks XVA use-case.


title: Deep Learning for Improved Polyp Detection from Synthetic Narrow-Band Imaging

abstract: To cope with the growing prevalence of colorectal cancer (CRC), screening programs for polyp detection and removal have proven their usefulness. Colonoscopy is considered the best-performing procedure for CRC screening. To ease the examination, deep learning based methods for automatic polyp detection have been developed for conventional white-light imaging (WLI). Compared with WLI, narrow-band imaging (NBI) can improve polyp classification during colonoscopy but requires special equipment. We propose a CycleGAN-based framework to convert images captured with regular WLI to synthetic NBI (SNBI) as a pre-processing method for improving object detection on WLI when NBI is unavailable. This paper first shows that better results for polyp detection can be achieved on NBI compared to a relatively similar dataset of WLI. Secondly, experimental results demonstrate that our proposed modality translation can achieve improved polyp detection on SNBI images generated from WLI compared to the original WLI. This is because our WLI-to-SNBI translation model can enhance the observation of polyp surface patterns in the generated SNBI images.


title: On the supporting quasi-hyperplane and separation theorem of geodesic convex sets with applications on Riemannian manifolds

abstract: In this paper, we first establish the separation theorem between a point and a locally geodesic convex set and then prove the existence of a supporting quasi-hyperplane at any point on the boundary of the closed locally geodesic convex set on a Riemannian manifold. As applications, some optimality conditions are obtained for optimization problems with constraints on Riemannian manifolds.


title: Commutative B\_infty -algebras are shuffle algebras

abstract: We here construct an explicit isomorphism between any commutative Hopf algebra which underlying coalgebra is the tensor coalgebra of a space $V$ and the shuffle algebra based on the same space. This isomorphism uses the commutative $B_\infty$ structure that governs the product and the eulerian idempotent, as well as the canonical projection on the space $V$. This generalizes Homan's isomorphism between commutative quasi-shuffle and shuffle algebras, which correspond to the case when the $B_\infty$ structure is given by an associative and commutative product. We develop several examples in details, including the Hopf algebra of finite topologies.


title: Magnetic structure and Ising-like antiferromagnetism in the bilayer triangular lattice compound NdZnPO

abstract: The complex interplay of spin frustration and quantum fluctuations in low-dimensional quantum materials leads to a variety of intriguing phenomena. This research focuses on a detailed analysis of the magnetic behavior exhibited by NdZnPO, a bilayer spin-1/2 triangular lattice antiferromagnet. The investigation employs magnetization, specific heat, and powder neutron scattering measurements. At zero field, a long-range magnetic order is observed at $T_{\rm N}=1.64~\rm K$. Powder neutron diffraction experiments show the Ising-like magnetic moments along the $c$-axis, revealing a stripe-like magnetic structure with three equivalent magnetic propagation vectors. Application of a magnetic field along the $c$-axis suppresses the antiferromagnetic order, leading to a fully polarized ferromagnetic state above $B_{\rm c}=4.5~\rm T$. This transition is accompanied by notable enhancements in the nuclear Schottky contribution. Moreover, the absence of spin frustration and expected field-induced plateau-like phases are remarkable observations. Detailed calculations of magnetic dipolar interactions revealed complex couplings reminiscent of a honeycomb lattice, suggesting the potential emergence of Kitaev-like physics within this system. This comprehensive study of the magnetic properties of NdZnPO highlights unresolved intricacies, underscoring the imperative for further exploration to unveil the underlying governing mechanisms.


title: Two high-amplitude $\delta$ Scuti-$\gamma$ Doradus hybrids constrained by the radial fundamental p and equally spaced g modes

abstract: Based on 2-minute cadence TESS data, we investigate pulsations of TIC 65138566 and TIC 139729335 and discover them to be two new HADS stars with equally spaced g modes. We recognize the radial fundamental mode $f_1$ = 18.3334 c/d and the first overtone $f_3$ = 23.6429 c/d for TIC 65138566, and identify the highest peak $f_1$ = 19.0955 c/d as the radial fundamental mode for TIC 139729335. For g modes, both stars display a regular period spacing of 2413 s. Through detailed seismological analysis, we deduce that these period spacing patterns correspond to modes with $\ell$ = 1. Moreover, our analysis reveals that with the increase in masses and metallicities, the star should display a higher degree of evolution to match a specific period spacing $\Pi_0$. Conversely, the star should have a lower extent of evolution to match the radial fundamental mode. These two contradictory behaviors allow us to precisely obtain stellar physical parameters. TIC 65138566 and TIC 139729335 are determined to be two main sequence stars that have almost the same range of masses and metallicities, with $M$ = 1.36 $\pm$ 0.06 $M_{\odot}$ and $Z$ = 0.005 $\pm$ 0.002. The hydrogen abundance in the core of TIC 65138566 is estimated to be about 0.28, while TIC 139729335 has a slightly higher value of around 0.31. Finally, we suggest that the HADS $\delta$ Scuti-$\gamma$ Doradus star TIC 308396022 is a main sequence star with $M$ = 1.54 $\pm$ 0.08 $M_{\odot}$, $Z$ = 0.007 $\pm$ 0.001, and $X_{\rm c}$ = 0.18 $\pm$ 0.02.


title: A Big Data Architecture for Early Identification and Categorization of Dark Web Sites

abstract: The dark web has become notorious for its association with illicit activities and there is a growing need for systems to automate the monitoring of this space. This paper proposes an end-to-end scalable architecture for the early identification of new Tor sites and the daily analysis of their content. The solution is built using an Open Source Big Data stack for data serving with Kubernetes, Kafka, Kubeflow, and MinIO, continuously discovering onion addresses in different sources (threat intelligence, code repositories, web-Tor gateways, and Tor repositories), downloading the HTML from Tor and deduplicating the content using MinHash LSH, and categorizing with the BERTopic modeling (SBERT embedding, UMAP dimensionality reduction, HDBSCAN document clustering and c-TF-IDF topic keywords). In 93 days, the system identified 80,049 onion services and characterized 90% of them, addressing the challenge of Tor volatility. A disproportionate amount of repeated content is found, with only 6.1% unique sites. From the HTML files of the dark sites, 31 different low-topics are extracted, manually labeled, and grouped into 11 high-level topics. The five most popular included sexual and violent content, repositories, search engines, carding, cryptocurrencies, and marketplaces. During the experiments, we identified 14 sites with 13,946 clones that shared a suspiciously similar mirroring rate per day, suggesting an extensive common phishing network. Among the related works, this study is the most representative characterization of onion services based on topics to date.


title: Temperature Compensation Method of Fluxgate Sensor Based on Polynomial Fitting

abstract: Fluxgate sensors are widely used in the field of low frequency and weak vector magnetic field measurement because of their good performance, such as high resolution and low power consumption. However, during the long-term continuous observation, the drift errors of the fluxgate sensor will occur due to the variable ambient temperature. This paper proposes a temperature compensation method for fluxgate sensors based on polynomial fitting. First, a physical model of the temperature & fluxgate sensor was established on the COMSOL Multiphysics simulation platform, and the influence of temperature on the measurement performance of the fluxgate sensor was analyzed. Second, according to the existing temperature-magnetic field data, a temperature compensation model of the fluxgate sensor was constructed. And compared it with other temperature compensation method, the result shows that the proposed temperature compensation method is relatively simple and can better achieve real-time compensation for sensor application scenarios. Finally, to verify the effectiveness of the proposed method, numerous laboratory experiments were implemented. The temperature drift is reduced from more than 500 nT before compensation to about 1 nT. The results show that the proposed method has a good temperature compensation effect on the data measured by the fluxgate sensor within a variable temperature background.


title: Polynomial-free unisolvence of polyharmonic splines with odd exponent by random sampling

abstract: In a recent paper almost sure unisolvence of RBF interpolation at random points with no polynomial addition was proved, for Thin-Plate Splines and Radial Powers with noninteger exponent. The proving technique left unsolved the case of odd exponents. In this short note we prove almost sure polynomial-free unisolvence in such instances, by a deeper analysis of the interpolation matrix determinant and fundamental properties of analytic functions.


title: Heavy photophobic ALP at the LHC

abstract: We study the photophobic ALP model in high-mass regions under LHC Run-II. Since the ALP is predominantly coupled with electroweak gauge bosons such as $ZZ$, $WW$, and $Z\gamma$, and less with di-photon, the model may be probed via multi-boson final-state processes. We find that on-shell ALP productions with $Z\gamma$ final states currently provide the best sensitivities for $m_{a} > 40~{\rm GeV}$.