title: Generating grid maps via the snake model

abstract: The grid map, often referred to as the tile map, stands as a vital tool in geospatial visualization, possessing unique attributes that differentiate it from more commonly known techniques such as choropleths and cartograms. It transforms geographic regions into grids, which requires the displacement of both region centroids and boundary nodes to establish a coherent grid arrangement. However, existing approaches typically displace region centroids and boundary nodes separately, potentially resulting in self-intersected boundaries and compromised relative orientation relations between regions. In this paper, we introduce a novel approach that leverages the Snake displacement algorithm from cartographic generalization to concurrently displace region centroids and boundary nodes. The revised Constrained Delaunay triangulation (CDT) is employed to represent the relations between regions and serves as a structural foundation for the Snake algorithm. Forces for displacing the region centroids into a grid-like pattern are then computed. These forces are iteratively applied within the Snake model until a satisfactory new boundary is achieved. Subsequently, the grid map is created by aligning the grids with the newly generated boundary, utilizing a one-to-one match algorithm to assign each region to a specific grid. Experimental results demonstrate that the proposed approach excels in maintaining the relative orientation and global shape of regions, albeit with a potential increase in local location deviations. We also present two strategies aligned with existing approaches to generate diverse grid maps for user preferences. Further details and resources are available on our project website: https://github.com/TrentonWei/DorlingMap.git.


title: Unsupervised Few-Shot Continual Learning for Remote Sensing Image Scene Classification

abstract: A continual learning (CL) model is desired for remote sensing image analysis because of varying camera parameters, spectral ranges, resolutions, etc. There exist some recent initiatives to develop CL techniques in this domain but they still depend on massive labelled samples which do not fully fit remote sensing applications because ground truths are often obtained via field-based surveys. This paper addresses this problem with a proposal of unsupervised flat-wide learning approach (UNISA) for unsupervised few-shot continual learning approaches of remote sensing image scene classifications which do not depend on any labelled samples for its model updates. UNISA is developed from the idea of prototype scattering and positive sampling for learning representations while the catastrophic forgetting problem is tackled with the flat-wide learning approach combined with a ball generator to address the data scarcity problem. Our numerical study with remote sensing image scene datasets and a hyperspectral dataset confirms the advantages of our solution. Source codes of UNISA are shared publicly in \url{https://github.com/anwarmaxsum/UNISA} to allow convenient future studies and reproductions of our numerical results.


title: Research on Driver Facial Fatigue Detection Based on Yolov8 Model

abstract: In a society where traffic accidents frequently occur, fatigue driving has emerged as a grave issue. Fatigue driving detection technology, especially those based on the YOLOv8 deep learning model, has seen extensive research and application as an effective preventive measure. This paper discusses in depth the methods and technologies utilized in the YOLOv8 model to detect driver fatigue, elaborates on the current research status both domestically and internationally, and systematically introduces the processing methods and algorithm principles for various datasets. This study aims to provide a robust technical solution for preventing and detecting fatigue driving, thereby contributing significantly to reducing traffic accidents and safeguarding lives.


title: Negative Prototypes Guided Contrastive Learning for WSOD

abstract: Weakly Supervised Object Detection (WSOD) with only image-level annotation has recently attracted wide attention. Many existing methods ignore the inter-image relationship of instances which share similar characteristics while can certainly be determined not to belong to the same category. Therefore, in order to make full use of the weak label, we propose the Negative Prototypes Guided Contrastive learning (NPGC) architecture. Firstly, we define Negative Prototype as the proposal with the highest confidence score misclassified for the category that does not appear in the label. Unlike other methods that only utilize category positive feature, we construct an online updated global feature bank to store both positive prototypes and negative prototypes. Meanwhile, we propose a pseudo label sampling module to mine reliable instances and discard the easily misclassified instances based on the feature similarity with corresponding prototypes in global feature bank. Finally, we follow the contrastive learning paradigm to optimize the proposal's feature representation by attracting same class samples closer and pushing different class samples away in the embedding space. Extensive experiments have been conducted on VOC07, VOC12 datasets, which shows that our proposed method achieves the state-of-the-art performance.


title: Measurement of dynamic nonlocal deformation using nanodiamond sensors

abstract: Nonlocal deformation sensing achieved by integrating atomic force microscopy indentation with nanodiamond-based orientation tracking features high precision and high spatial resolution, providing a useful technique for studying the mechanical properties of soft biological systems. However, this technique is currently limited to lifeless systems because it cannot differentiate the indentation-induced deformation from that associated with live activities or other external perturbations. Here we develop a dynamic nonlocal deformation sensing method using oscillatory nanoindentation and spectroscopic analysis to overcome this limitation. The method realizes both temporally and spatially resolved mechanical analysis, with tens of microsecond time-lag precision, nanometer vertical deformation precision, and sub-hundred nanometer lateral spatial resolution, leading to the disclosure of surface/interface effects in the mechanical response of viscoelastic materials and live cells. Neglecting surface tension would underestimate the liquid-like characteristics of the materials. This work demonstrates nanodiamond sensors as a useful tool for spatial-temporal mechanical analysis of soft, complex bio-relevant materials.


title: Waveform Learning under Phase Noise Impairment for Sub-THz Communications

abstract: The large untapped spectrum in sub-THz allows for ultra-high throughput communication to realize many seemingly impossible applications in 6G. Phase noise (PN) is one key hardware impairment, which is accentuated as we increase the frequency and bandwidth. Furthermore, the modest output power of the power amplifier demands limits on peak to average power ratio (PAPR) signal design. In this work, we design a PN-robust, low PAPR single-carrier (SC) waveform by geometrically shaping the constellation and adapting the pulse shaping filter pair under practical PN modeling and adjacent channel leakage ratio (ACLR) constraints for a given excess bandwidth. We optimize the waveforms under conventional and state-of-the-art PN-aware demappers. Moreover, we introduce a neural-network (NN) demapper enhancing transceiver adaptability. We formulate the waveform optimization problem in its augmented Lagrangian form and use a back-propagation-inspired technique to obtain a design that is numerically robust to PN, while adhering to PAPR and ACLR constraints. The results substantiate the efficacy of the method, yielding up to 2.5 dB in the required Eb/N0 under stronger PN along with a PAPR reduction of 0.5 dB. Moreover, PAPR reductions up to 1.2 dB are possible with competitive BLER and SE performance in both low and high PN conditions.


title: Hire: Hybrid-modal Interaction with Multiple Relational Enhancements for Image-Text Matching

abstract: Image-text matching (ITM) is a fundamental problem in computer vision. The key issue lies in jointly learning the visual and textual representation to estimate their similarity accurately. Most existing methods focus on feature enhancement within modality or feature interaction across modalities, which, however, neglects the contextual information of the object representation based on the inter-object relationships that match the corresponding sentences with rich contextual semantics. In this paper, we propose a Hybrid-modal Interaction with multiple Relational Enhancements (termed \textit{Hire}) for image-text matching, which correlates the intra- and inter-modal semantics between objects and words with implicit and explicit relationship modelling. In particular, the explicit intra-modal spatial-semantic graph-based reasoning network is designed to improve the contextual representation of visual objects with salient spatial and semantic relational connectivities, guided by the explicit relationships of the objects' spatial positions and their scene graph. We use implicit relationship modelling for potential relationship interactions before explicit modelling to improve the fault tolerance of explicit relationship detection. Then the visual and textual semantic representations are refined jointly via inter-modal interactive attention and cross-modal alignment. To correlate the context of objects with the textual context, we further refine the visual semantic representation via cross-level object-sentence and word-image-based interactive attention. Extensive experiments validate that the proposed hybrid-modal interaction with implicit and explicit modelling is more beneficial for image-text matching. And the proposed \textit{Hire} obtains new state-of-the-art results on MS-COCO and Flickr30K benchmarks.


title: Shedding Light on Large Generative Networks: Estimating Epistemic Uncertainty in Diffusion Models

abstract: Generative diffusion models, notable for their large parameter count (exceeding 100 million) and operation within high-dimensional image spaces, pose significant challenges for traditional uncertainty estimation methods due to computational demands. In this work, we introduce an innovative framework, Diffusion Ensembles for Capturing Uncertainty (DECU), designed for estimating epistemic uncertainty for diffusion models. The DECU framework introduces a novel method that efficiently trains ensembles of conditional diffusion models by incorporating a static set of pre-trained parameters, drastically reducing the computational burden and the number of parameters that require training. Additionally, DECU employs Pairwise-Distance Estimators (PaiDEs) to accurately measure epistemic uncertainty by evaluating the mutual information between model outputs and weights in high-dimensional spaces. The effectiveness of this framework is demonstrated through experiments on the ImageNet dataset, highlighting its capability to capture epistemic uncertainty, specifically in under-sampled image classes.


title: Dream-in-Style: Text-to-3D Generation using Stylized Score Distillation

abstract: We present a method to generate 3D objects in styles. Our method takes a text prompt and a style reference image as input and reconstructs a neural radiance field to synthesize a 3D model with the content aligning with the text prompt and the style following the reference image. To simultaneously generate the 3D object and perform style transfer in one go, we propose a stylized score distillation loss to guide a text-to-3D optimization process to output visually plausible geometry and appearance. Our stylized score distillation is based on a combination of an original pretrained text-to-image model and its modified sibling with the key and value features of self-attention layers manipulated to inject styles from the reference image. Comparisons with state-of-the-art methods demonstrated the strong visual performance of our method, further supported by the quantitative results from our user study.


title: Canonical Consolidation Fields: Reconstructing Dynamic Shapes from Point Clouds

abstract: We present Canonical Consolidation Fields (CanFields): a method for reconstructing a time series of independently-sampled point clouds into a single deforming coherent shape. Such input often comes from motion capture. Existing methods either couple the geometry and the deformation, where by doing so they smooth fine details and lose the ability to track moving points, or they track the deformation explicitly, but introduce topological and geometric artifacts. Our novelty lies in the consolidation of the point clouds into a single canonical shape in a way that reduces the effect of noise and outliers, and enables us to overcome missing regions. We simultaneously reconstruct the velocity fields that guide the deformation. This consolidation allows us to retain the high-frequency details of the geometry, while faithfully reproducing the low-frequency deformation. Our architecture comprises simple components, and fits any single input shape without using datasets. We demonstrate the robustness and accuracy of our methods on a diverse benchmark of dynamic point clouds, including missing regions, sparse frames, and noise.


title: Lumina-Next: Making Lumina-T2X Stronger and Faster with Next-DiT

abstract: Lumina-T2X is a nascent family of Flow-based Large Diffusion Transformers that establishes a unified framework for transforming noise into various modalities, such as images and videos, conditioned on text instructions. Despite its promising capabilities, Lumina-T2X still encounters challenges including training instability, slow inference, and extrapolation artifacts. In this paper, we present Lumina-Next, an improved version of Lumina-T2X, showcasing stronger generation performance with increased training and inference efficiency. We begin with a comprehensive analysis of the Flag-DiT architecture and identify several suboptimal components, which we address by introducing the Next-DiT architecture with 3D RoPE and sandwich normalizations. To enable better resolution extrapolation, we thoroughly compare different context extrapolation methods applied to text-to-image generation with 3D RoPE, and propose Frequency- and Time-Aware Scaled RoPE tailored for diffusion transformers. Additionally, we introduced a sigmoid time discretization schedule to reduce sampling steps in solving the Flow ODE and the Context Drop method to merge redundant visual tokens for faster network evaluation, effectively boosting the overall sampling speed. Thanks to these improvements, Lumina-Next not only improves the quality and efficiency of basic text-to-image generation but also demonstrates superior resolution extrapolation capabilities and multilingual generation using decoder-based LLMs as the text encoder, all in a zero-shot manner. To further validate Lumina-Next as a versatile generative framework, we instantiate it on diverse tasks including visual recognition, multi-view, audio, music, and point cloud generation, showcasing strong performance across these domains. By releasing all codes and model weights, we aim to advance the development of next-generation generative AI capable of universal modeling.


title: Assessment of Sentinel-2 spatial and temporal coverage based on the scene classification layer

abstract: Since the launch of the Sentinel-2 (S2) satellites, many ML models have used the data for diverse applications. The scene classification layer (SCL) inside the S2 product provides rich information for training, such as filtering images with high cloud coverage. However, there is more potential in this. We propose a technique to assess the clean optical coverage of a region, expressed by a SITS and calculated with the S2-based SCL data. With a manual threshold and specific labels in the SCL, the proposed technique assigns a percentage of spatial and temporal coverage across the time series and a high/low assessment. By evaluating the AI4EO challenge for Enhanced Agriculture, we show that the assessment is correlated to the predictive results of ML models. The classification results in a region with low spatial and temporal coverage is worse than in a region with high coverage. Finally, we applied the technique across all continents of the global dataset LandCoverNet.


title: Flexible ViG: Learning the Self-Saliency for Flexible Object Recognition

abstract: Existing computer vision methods mainly focus on the recognition of rigid objects, whereas the recognition of flexible objects remains unexplored. Recognizing flexible objects poses significant challenges due to their inherently diverse shapes and sizes, translucent attributes, ambiguous boundaries, and subtle inter-class differences. In this paper, we claim that these problems primarily arise from the lack of object saliency. To this end, we propose the Flexible Vision Graph Neural Network (FViG) to optimize the self-saliency and thereby improve the discrimination of the representations for flexible objects. Specifically, on one hand, we propose to maximize the channel-aware saliency by extracting the weight of neighboring nodes, which adapts to the shape and size variations in flexible objects. On the other hand, we maximize the spatial-aware saliency based on clustering to aggregate neighborhood information for the centroid nodes, which introduces local context information for the representation learning. To verify the performance of flexible objects recognition thoroughly, for the first time we propose the Flexible Dataset (FDA), which consists of various images of flexible objects collected from real-world scenarios or online. Extensive experiments evaluated on our Flexible Dataset demonstrate the effectiveness of our method on enhancing the discrimination of flexible objects.


title: Cut-and-Paste with Precision: a Content and Perspective-aware Data Augmentation for Road Damage Detection

abstract: Damage to road pavement can develop into cracks, potholes, spallings, and other issues posing significant challenges to the integrity, safety, and durability of the road structure. Detecting and monitoring the evolution of these damages is crucial for maintaining the condition and structural health of road infrastructure. In recent years, researchers have explored various data-driven methods for image-based damage detection in road monitoring applications. The field gained attention with the introduction of the Road Damage Detection Challenge (RDDC2018), encouraging competition in developing object detectors on street-view images from various countries. Leading teams have demonstrated the effectiveness of ensemble models, mostly based on the YOLO and Faster R-CNN series. Data augmentations have also shown benefits in object detection within the computer vision field, including transformations such as random flipping, cropping, cutting out patches, as well as cut-and-pasting object instances. Applying cut-and-paste augmentation to road damages appears to be a promising approach to increase data diversity. However, the standard cut-and-paste technique, which involves sampling an object instance from a random image and pasting it at a random location onto the target image, has demonstrated limited effectiveness for road damage detection. This method overlooks the location of the road and disregards the difference in perspective between the sampled damage and the target image, resulting in unrealistic augmented images. In this work, we propose an improved Cut-and-Paste augmentation technique that is both content-aware (i.e. considers the true location of the road in the image) and perspective-aware (i.e. takes into account the difference in perspective between the injected damage and the target image).


title: Nomic Embed Vision: Expanding the Latent Space

abstract: This technical report describes the training of nomic-embed-vision, a highly performant, open-code, open-weights image embedding model that shares the same latent space as nomic-embed-text. Together, nomic-embed-vision and nomic-embed-text form the first unified latent space to achieve high performance across vision, language, and multimodal tasks.


title: Varying Manifolds in Diffusion: From Time-varying Geometries to Visual Saliency

abstract: Deep generative models learn the data distribution, which is concentrated on a low-dimensional manifold. The geometric analysis of distribution transformation provides a better understanding of data structure and enables a variety of applications. In this paper, we study the geometric properties of the diffusion model, whose forward diffusion process and reverse generation process construct a series of distributions on manifolds which vary over time. Our key contribution is the introduction of generation rate, which corresponds to the local deformation of manifold over time around an image component. We show that the generation rate is highly correlated with intuitive visual properties, such as visual saliency, of the image component. Further, we propose an efficient and differentiable scheme to estimate the generation rate for a given image component over time, giving rise to a generation curve. The differentiable nature of our scheme allows us to control the shape of the generation curve via optimization. Using different loss functions, our generation curve matching algorithm provides a unified framework for a range of image manipulation tasks, including semantic transfer, object removal, saliency manipulation, image blending, etc. We conduct comprehensive analytical evaluations to support our findings and evaluate our framework on various manipulation tasks. The results show that our method consistently leads to better manipulation results, compared to recent baselines.


title: Text-Guided Alternative Image Clustering

abstract: Traditional image clustering techniques only find a single grouping within visual data. In particular, they do not provide a possibility to explicitly define multiple types of clustering. This work explores the potential of large vision-language models to facilitate alternative image clustering. We propose Text-Guided Alternative Image Consensus Clustering (TGAICC), a novel approach that leverages user-specified interests via prompts to guide the discovery of diverse clusterings. To achieve this, it generates a clustering for each prompt, groups them using hierarchical clustering, and then aggregates them using consensus clustering. TGAICC outperforms image- and text-based baselines on four alternative image clustering benchmark datasets. Furthermore, using count-based word statistics, we are able to obtain text-based explanations of the alternative clusterings. In conclusion, our research illustrates how contemporary large vision-language models can transform explanatory data analysis, enabling the generation of insightful, customizable, and diverse image clusterings.


title: The modelling of the action potentials in myelinated nerve fibres

abstract: The classical Hodgkin-Huxley model describes the propagation of an axon potential (AP) in unmyelinated axons. In many cases the axons have a myelin sheath and the experimental studies have then revealed significant changes in the velocity of APs. In this paper, a theoretical model is proposed describing the AP propagation in myelinated axons. As far as the velocity of an AP is affected, the basis of the model is taken after Lieberstein, who included the possible effect of inductance that might influence velocity, into the governing equation. The proposed model includes the structural properties of the myelin sheath: the $\mu$-factor (the ratio of the length of the myelin sheath and the Ranvier node) and g-ratio (the ratio of the inner-to-outer diameter of a myelinated axon) through parameter $\gamma$. It is demonstrated that the Lieberstein model can describe all the essential effects characteristic to the formation and propagation of an AP in an unmyelinated axon. Then a phenomenological model for a myelinated axon is described including the influence of the structural properties of the myelin sheath and the radius of an axon. The numerical simulation using the physical variables demonstrates the changes in the velocity of an AP as well as the changes in its profile. These results match well the known effects from experimental studies.


title: Composition Vision-Language Understanding via Segment and Depth Anything Model

abstract: We introduce a pioneering unified library that leverages depth anything, segment anything models to augment neural comprehension in language-vision model zero-shot understanding. This library synergizes the capabilities of the Depth Anything Model (DAM), Segment Anything Model (SAM), and GPT-4V, enhancing multimodal tasks such as vision-question-answering (VQA) and composition reasoning. Through the fusion of segmentation and depth analysis at the symbolic instance level, our library provides nuanced inputs for language models, significantly advancing image interpretation. Validated across a spectrum of in-the-wild real-world images, our findings showcase progress in vision-language models through neural-symbolic integration. This novel approach melds visual and language analysis in an unprecedented manner. Overall, our library opens new directions for future research aimed at decoding the complexities of the real world through advanced multimodal technologies and our code is available at \url{https://github.com/AnthonyHuo/SAM-DAM-for-Compositional-Reasoning}.


title: On the Coexistence of OTFS Modulation with OFDM-based Communication Systems

abstract: We investigate the coexistence of orthogonal time-frequency space (OTFS) modulation with current fourth- and fifth-generation (4G/5G) communication systems that primarily use orthogonal frequency-division multiplexing (OFDM) waveforms. We first derive the input-output-relation of OTFS in the considered coexisting system. In this derivation, we consider (i) the inclusion of multiple cyclic prefixes (CPs) with unequal lengths to the OTFS signal and (ii) edge carrier unloading (ECU), to account for the impacts of CP length, frame structure, and subcarrier arrangement described in 3GPP standards for 4G/5G systems. Our analysis reveals that the inclusion of multiple CPs to the OTFS signal and ECU lead to the channel response exhibiting spreading effects/leakage along the Doppler and delay dimensions, respectively. Consequently, the effective sampled delay-Doppler (DD) domain channel model for OTFS in coexisting systems may exhibit reduced sparsity. We also show that the effective DD domain channel coefficients for OTFS in coexisting systems are influenced by the unequal lengths of CPs. Subsequently, we propose an interference cancellation-based channel estimation (CE) technique for OTFS in coexisting systems. Through numerical results, we validate our analysis, highlight the importance of not ignoring the unequal lengths of CPs during signal detection, and show the significance of the proposed CE technique.


title: Neural Appearance Modeling From Single Images

abstract: We propose a material appearance modeling neural network for visualizing plausible, spatially-varying materials under diverse view and lighting conditions, utilizing only a single photograph of a material under co-located light and view as input for appearance estimation. Our neural architecture is composed of two network stages: a network that infers learned per-pixel neural parameters of a material from a single input photograph, and a network that renders the material utilizing these neural parameters, similar to a BRDF. We train our model on a set of 312,165 synthetic spatially-varying exemplars. Since our method infers learned neural parameters rather than analytical BRDF parameters, our method is capable of encoding anisotropic and global illumination (inter-pixel interaction) information into individual pixel parameters. We demonstrate our model's performance compared to prior work and demonstrate the feasibility of the render network as a BRDF by implementing it into the Mitsuba3 rendering engine. Finally, we briefly discuss the capability of neural parameters to encode global illumination information.


title: Modeling Soils' Failure Envelope with Virtual Displacements (LSVD)

abstract: This work proposes the Least Squares with Virtual Displacements (LSVD) method to obtain the shear strength of n soil samples for the cohesionless, frictionless and mixed resistance conditions. Finding a common tangent line of more than two samples may not have an exact solution, especially if there are measurement errors. LSVD is an iterative method to find the best common tangent line or function to the n soil samples. There are soils that can be modeled with a linear failure envelope but the LSVD can be formulated in different forms, adapting itself to other criterion too, like the logarithmic failure envelope. The tested data is analyzed with LSVD and compared between other commonly used methods, like p-q method and CTPAC. The soils' samples were subjected to random noise to simulate errors from measurements to study the method's results. Also with that analysis a common reference point can be found to compare the methods given that all of them take different points of the Mohr Circles.


title: Realtime Dynamic Gaze Target Tracking and Depth-Level Estimation

abstract: The integration of Transparent Displays (TD) in various applications, such as Heads-Up Displays (HUDs) in vehicles, is a burgeoning field, poised to revolutionize user experiences. However, this innovation brings forth significant challenges in realtime human-device interaction, particularly in accurately identifying and tracking a user's gaze on dynamically changing TDs. In this paper, we present a two-fold robust and efficient systematic solution for realtime gaze monitoring, comprised of: (1) a tree-based algorithm for identifying and dynamically tracking gaze targets (i.e., moving, size-changing, and overlapping 2D content) projected on a transparent display, in realtime; (2) a multi-stream self-attention architecture to estimate the depth-level of human gaze from eye tracking data, to account for the display's transparency and preventing undesired interactions with the TD. We collected a real-world eye-tracking dataset to train and test our gaze monitoring system. We present extensive results and ablation studies, including inference experiments on System on Chip (SoC) evaluation boards, demonstrating our model's scalability, precision, and realtime feasibility in both static and dynamic contexts. Our solution marks a significant stride in enhancing next-generation user-device interaction and experience, setting a new benchmark for algorithmic gaze monitoring technology in dynamic transparent displays.


title: Uniform Stability of Dynamic SICA HIV Transmission Models on Time Scales

abstract: We consider a SICA model for HIV transmission on time scales. We prove permanence of solutions and we derive sufficient conditions for the existence and uniform asymptotic stability of a unique positive almost periodic solution of the system in terms of a Lyapunov function.


title: Relative Measurement and Extrapolation of the Scintillation Quenching Factor of $\alpha$-Particles in Liquid Argon using DEAP-3600 Data

abstract: The knowledge of scintillation quenching of $\alpha$-particles plays a paramount role in understanding $\alpha$-induced backgrounds and improving the sensitivity of liquid argon-based direct detection of dark matter experiments. We performed a relative measurement of scintillation quenching in the MeV energy region using radioactive isotopes ($^{222}$Rn, $^{218}$Po and $^{214}$Po isotopes) present in trace amounts in the DEAP-3600 detector and quantified the uncertainty of extrapolating the quenching factor to the low-energy region.


title: CubeSat-Enabled Free-Space Optics: Joint Data Communication and Fine Beam Tracking

abstract: The integration of CubeSats with Free Space Optical (FSO) links accelerates a major advancement in high-throughput, low-Earth orbit communication systems. However, CubeSats face challenges such as size, weight, and power (SWaP) limitations, as well as vibrations that cause fluctuations in the angle-of-arrival (AoA) of the optical beam at the receiver. These practical challenges make establishing CubeSat-assisted FSO links complicated. To mitigate AoA fluctuations, we expand the receiver's field of view and track the location of the focused beam spot using an array of avalanche photodiodes at the receiver. Initially, we model the optical channel between the transmitter and the detector array. Furthermore, to reduce the computational load of maximum likelihood sequence detection, which is infeasible for CubeSats due to SWaP constraints, we propose a sub-optimal blind sequence data detection approach that relies on the generalized likelihood ratio test (GLRT) criterion. We also utilize combining methods such as equal gain combining (EGC) and maximal ratio combining (MRC) for data detection, benchmarking their performance against the GLRT-based method. Numerical results demonstrate that the proposed low-complexity GLRT-based method outperforms the combining methods, achieving performance close to that of the ideal receiver.


title: Fudan Multi-purpose Active TArget Time Projection Chamber (fMeta-TPC) for Photonnuclear Reaction Experiments

abstract: Active Target Time Projection Chambers (AT-TPCs) are state-of-the-art tools in the field of low-energy nuclear physics, particularly suitable for experiments using low-intensity radioactive ion beams or gamma rays. The Fudan Multi-purpose Active Target Time Projection Chamber (fMeta-TPC) with 2048 channels has been developed to study $\alpha$-clustering nuclei. {\fcb In this work, the focus is on the study of the photonuclear reaction with the Laser Compton Scattering (LCS) gamma source, especially for the decay of the highly excited $\alpha$-cluster state.} The design of fMeta-TPC is described and a comprehensive evaluation of its offline performance is performed by ultraviolet (UV) laser and $^{241}$Am $\alpha$ source. The result shows that the intrinsic angular resolution of the detector is within 0.30$^{\circ}$ and has an energy resolution of 6.85\% for 3.0 MeV $\alpha$ particles. The gain uniformity of the detector is about 10\% (RMS/Mean), tested by the $^{55}$Fe X-ray source.


title: Ultra-Short Pulse Looped Antennas

abstract: Modern optical systems send and receive ultra-short temporal pulses (USP). While ultra-broad band antennas do exist in the microwave region (e.g., log-periodic antennas, or, concentric loop antennas), their short temporal response is typically limited by the antenna's large dispersion, hence, resulting in a substantial pulse broadening. Here we show that loop antennas may exhibit USP attributes, below 400 ps (or, an equivalent coherent band pass exceeding 2.5 GHz) with only three loops, or, with a single, thick loop.

categories: physics.ins-det cs.SY eess.SY physics.app-ph


title: Heavy tails and negative correlation in a binomial model for sports matches: applications to curling

abstract: A binomial model for sports matches is developed making use of the maximum possible score $n$ in a game. In contrast to previous approaches the scores of the two teams are negatively correlated, abstracting from a scenario whereby teams cancel each other out. When $n$ is known, analytical results are possible via a Gaussian approximation. Model calibration is obtained via generalized linear modelling, enabling elementary econometric and strategic analysis to be performed. Inter alia this includes quantifying the Last Stone First End effect, analogous to the home-field advantage found in conventional sports. When $n$ is unknown the model behaviour is richer and leads to heavy-tailed non-Gaussian behaviour. We present an approximate analysis of this case based on the Variance Gamma distribution.


title: Multi-level Phenotypic Models of Cardiovascular Disease and Obstructive Sleep Apnea Comorbidities: A Longitudinal Wisconsin Sleep Cohort Study

abstract: Cardiovascular diseases (CVDs) are notably prevalent among patients with obstructive sleep apnea (OSA), posing unique challenges in predicting CVD progression due to the intricate interactions of comorbidities. Traditional models typically lack the necessary dynamic and longitudinal scope to accurately forecast CVD trajectories in OSA patients. This study introduces a novel multi-level phenotypic model to analyze the progression and interplay of these conditions over time, utilizing data from the Wisconsin Sleep Cohort, which includes 1,123 participants followed for decades. Our methodology comprises three advanced steps: (1) Conducting feature importance analysis through tree-based models to underscore critical predictive variables like total cholesterol, low-density lipoprotein (LDL), and diabetes. (2) Developing a logistic mixed-effects model (LGMM) to track longitudinal transitions and pinpoint significant factors, which displayed a diagnostic accuracy of 0.9556. (3) Implementing t-distributed Stochastic Neighbor Embedding (t-SNE) alongside Gaussian Mixture Models (GMM) to segment patient data into distinct phenotypic clusters that reflect varied risk profiles and disease progression pathways. This phenotypic clustering revealed two main groups, with one showing a markedly increased risk of major adverse cardiovascular events (MACEs), underscored by the significant predictive role of nocturnal hypoxia and sympathetic nervous system activity from sleep data. Analysis of transitions and trajectories with t-SNE and GMM highlighted different progression rates within the cohort, with one cluster progressing more slowly towards severe CVD states than the other. This study offers a comprehensive understanding of the dynamic relationship between CVD and OSA, providing valuable tools for predicting disease onset and tailoring treatment approaches.


title: Confidence interval estimation of mixed oil length with conditional diffusion model

abstract: Accurately estimating the mixed oil length plays a big role in the economic benefit for oil pipeline network. While various proposed methods have tried to predict the mixed oil length, they often exhibit an extremely high probability (around 50\%) of underestimating it. This is attributed to their failure to consider the statistical variability inherent in the estimated length of mixed oil. To address such issues, we propose to use the conditional diffusion model to learn the distribution of the mixed oil length given pipeline features. Subsequently, we design a confidence interval estimation for the length of the mixed oil based on the pseudo-samples generated by the learned diffusion model. To our knowledge, we are the first to present an estimation scheme for confidence interval of the oil-mixing length that considers statistical variability, thereby reducing the possibility of underestimating it. When employing the upper bound of the interval as a reference for excluding the mixed oil, the probability of underestimation can be as minimal as 5\%, a substantial reduction compared to 50\%. Furthermore, utilizing the mean of the generated pseudo samples as the estimator for the mixed oil length enhances prediction accuracy by at least 10\% compared to commonly used methods.


title: Most general isotropic charged fluid solution for Buchdahl model in $\mathscr{F}(Q)$ gravity

abstract: In this work, we investigated a most general isotropic charged fluid solution for the Buchdahl model via a two-step method in $\mathscr{F}(Q)$-gravity framework for the first time. In this context, a linear function of the form $\mathscr{F}(Q)=\zeta_1 Q+\zeta_2$ and a particular transformation is used to solve the Einstein-Maxwell Equations (EMEs) employing the Buchdahl ansatz: $ e^{\Upsilon(r)}=\frac{\mu(1+\lambda r^2)}{\mu+\lambda r^2}$, where $\zeta_1$, $\zeta_2$, $\lambda$ and $\mu$ are constant parameters. The Schwarzschild de Sitter~(AdS) exterior solution is joined to the interior solution at the boundary to determine the constant parameters. It should be emphasized that, for a given transformation, the Buchdahl ansatz only offers a mathematically feasible solution in the context of electric charge, where pressure and density are maximum at the center and decrease monotonically towards the boundary when $0<\mu<1$. We taken into account the compact star EX01785-248 with $M=(1.3\pm 0.2)M_{\odot}$; Radius $=12.02^{+0.55}_{-0.55}$~km for graphical analysis. The physical acceptability of the model in the context of $\mathscr{F}(Q)$ has been evaluated by looking at the necessary physical properties, including energy conditions, causality, hydrostatic equilibrium, pressure-density ratio, etc. Additionally, we predicted the maximum mass limit of different compact objects for various parameter values along with the mass-radius relation. The maximum masses range (1.927 - 2.321)~$M_\odot$ are obtained for our solution. It can be observed that when the coupling parameter $\zeta_1$ for $\mathscr{F}(Q)$ gravity is smaller, then our solution yields massive stars. The present investigation provides novel insights and realistic implications regarding the formation of compact astrophysical objects.


title: The neutron array of the compact spectrometer for heavy ion experiments in Fermi energy region

abstract: The emission of neutrons from heavy ion reactions is an important observable for studying the asymmetric nuclear equation of state and the reaction dynamics. A 20-unit neutron array has been developed and mounted on the compact spectrometer for heavy ion experiments (CSHINE) to measure the neutron spectra, neutron-neutron and neutron-proton correlation functions. Each unit consists of a $\rm 15\times 15\times 15~cm^3$ plastic scintillator coupled to a $ \phi=52 ~\rm mm$ photomultiplier. The Geant4 simulation with optical process is performed to investigate the time resolution and the neutron detection efficiency. The inherent time resolution of 212 ps is obtained by cosmic ray coincidence test. The n-$\gamma$ discrimination and time-of-flight performance are given by $\rm ^{252}Cf$ radioactive source test and beam test. The neutron energy spectra have been obtained in the angle range $30^\circ \le \theta_{\rm lab} \le 51^\circ$ in the beam experiment of $^{124}$Sn+$^{124}$Sn at 25 MeV/u with CSHINE.


title: Bayesian Inference for Stochastic Predictions of Non-Gaussian Systems with Applications in Climate Change

abstract: Climate change poses significant challenges for accurate climate modeling due to the complexity and variability of non-Gaussian climate systems. To address the complexities of non-Gaussian systems in climate modeling, this thesis proposes a Bayesian framework utilizing the Unscented Kalman Filter (UKF), Ensemble Kalman Filter (EnKF), and Unscented Particle Filter (UPF) for one-dimensional and two-dimensional stochastic climate models, evaluated with real-world temperature and sea level data. We study these methods under varying conditions, including measurement noise, sample sizes, and observed and hidden variables, to highlight their respective advantages and limitations. Our findings reveal that merely increasing data is insufficient for accurate predictions; instead, selecting appropriate methods is crucial. This research provides insights into issues related to information barrier, curse of dimensionality, prediction variability, and measurement noise quantification, thereby enhancing the application of these techniques in real-world climate scenarios.


title: Neutron Yield of Thermo Scientific P385 D-T Neutron Generator vs. Current and Voltage

abstract: The Thermo Scientific P385 Neutron Generator is a compact neutron source, producing 14 MeV neutrons through the deuterium-tritium (DT) fusion reaction. For practical use, it is important to measure and preferably understand the dependence of the neutron production rate on the accelerator current and voltage. In this study, we evaluated neutron production with a neutron spectrometer (BTI N-Probe), a He-3 detector surrounded by HDPE shells (Nested Neutron Spectrometer, NNS), and two ZnS fast neutron scintillators (EJ-410) for both P385 A3082 and A3083 sealed tubes. We also predicted the neutron yield using the TRIM code, which calculates the trajectory and the energy loss of deuterons and tritons within the target. Experimental and theoretical results showed a linear dependence on beam current and a $\sim$3.5 power law dependence on the operating voltage. A series of NNS measurements, neutron spectrum from N-Probe and MCNP calculation showed that the A3083 and A3082 tubes provide a maximum neutron yield of $\sim 8.2 \times 10^8$ n/s and $\sim 4.5 \times 10^8$ n/s, respectively. We showed that tritium decay was not a significant contributor to this difference.


title: Cosmic Ray Navigation System (CRoNS) for Autonomous Navigation in GPS-Denied Environments

abstract: In an era where Position, Navigation, and Timing (PNT) systems are integral to our technological infrastructure, the increasing prevalence of severe space weather events and the advent of deliberate disruptions such as GPS jamming and spoofing pose significant risks. These challenges are underscored by recent military operations in Ukraine, highlighting the vulnerability of Global Navigation Satellite Systems (GNSS). In response, we introduce the Cosmic Ray Navigation System (CRoNS). This innovative and resilient alternative utilizes cosmic muon showers for precise location pinpointing, especially in environments where GNSS is compromised or unavailable. CRoNS capitalizes on an economical, distributed network of compact muon sensors deployed across urban landscapes and potentially integrated into mobile devices. These sensors are tasked with continuously monitoring muon flux resulting from extensive air showers (EASs) triggered by the consistent high-energy particle flux entering Earth's atmosphere. A central AI unit synthesizes the collected data, determining EAS parameters to establish a dynamic reference coordinate system that could span cities and even nations. A notable advantage of CRoNS lies in its capability for reliable operation beneath the Earth's surface and in aquatic environments.


title: Fluorescence-enhanced photodynamic assessments for human breast cancer cell characterizations

abstract: The primary and metastatic stages of BC consider different cancerous cell lines (MDAs), meaning the highest number of cells in this research (300,000) represents the metastatic stages of BC, and 50,000 represents the primary level of BC developments have been studied based on fluorescence-enhanced photodynamic characterizations. The ability to characterize the fluorescence caused by MDA with 50,000 cells compared to the dominant radiation of MDA with 300,000 cells is emphatic proof of the high potential of fluorescence technique in timely BC detections. 5-ALA induces an accumulation of protoporphyrin IX (PpIX) photosensitizer through a biosynthetic pathway, leading to red radiation of fluorescence measurements. The fluorescence signal reduction due to decreased cell viability and increased MDA's cellular death rate corresponds to the changes in lipid metabolism enzymes of MDAs cultured at different doses. Furthermore, statistical concerns have been studied using PCA multivariate component analysis to differentiate MDA cells administrated by 5-ALA.


title: Vox-UDA: Voxel-wise Unsupervised Domain Adaptation for Cryo-Electron Subtomogram Segmentation with Denoised Pseudo Labeling

abstract: Cryo-Electron Tomography (cryo-ET) is a 3D imaging technology facilitating the study of macromolecular structures at near-atomic resolution. Recent volumetric segmentation approaches on cryo-ET images have drawn widespread interest in biological sector. However, existing methods heavily rely on manually labeled data, which requires highly professional skills, thereby hindering the adoption of fully-supervised approaches for cryo-ET images. Some unsupervised domain adaptation (UDA) approaches have been designed to enhance the segmentation network performance using unlabeled data. However, applying these methods directly to cryo-ET images segmentation tasks remains challenging due to two main issues: 1) the source data, usually obtained through simulation, contain a certain level of noise, while the target data, directly collected from raw-data from real-world scenario, have unpredictable noise levels. 2) the source data used for training typically consists of known macromoleculars, while the target domain data are often unknown, causing the model's segmenter to be biased towards these known macromolecules, leading to a domain shift problem. To address these challenges, in this work, we introduce the first voxel-wise unsupervised domain adaptation approach, termed Vox-UDA, specifically for cryo-ET subtomogram segmentation. Vox-UDA incorporates a noise generation module to simulate target-like noises in the source dataset for cross-noise level adaptation. Additionally, we propose a denoised pseudo-labeling strategy based on improved Bilateral Filter to alleviate the domain shift problem. Experimental results on both simulated and real cryo-ET subtomogram datasets demonstrate the superiority of our proposed approach compared to state-of-the-art UDA methods.


title: Analysis of Full-scale Riser Responses in Field Conditions Based on Gaussian Mixture Model

abstract: Offshore slender marine structures experience complex and combined load conditions from waves, current and vessel motions that may result in both wave frequency and vortex shedding response patterns. Field measurements often consist of records of environmental conditions and riser responses, typically with 30-minute intervals. These data can be represented in a high-dimensional parameter space. However, it is difficult to visualize and understand the structural responses, as they are affected by many of these parameters. It becomes easier to identify trends and key parameters if the measurements with the same characteristics can be grouped together. Cluster analysis is an unsupervised learning method, which groups the data based on their relative distance, density of the data space, intervals, or statistical distributions. In the present study, a Gaussian mixture model guided by domain knowledge has been applied to analyze field measurements. Using the 242 measurement events of the Helland-Hansen riser, it is demonstrated that riser responses can be grouped into 12 clusters by the identification of key environmental parameters. This results in an improved understanding of complex structure responses. Furthermore, the cluster results are valuable for evaluating the riser response prediction accuracy.


title: Optimal spanning tree reconstruction in symbolic regression

abstract: This paper investigates the problem of regression model generation. A model is a superposition of primitive functions. The model structure is described by a weighted colored graph. Each graph vertex corresponds to some primitive function. An edge assigns a superposition of two functions. The weight of an edge equals the probability of superposition. To generate an optimal model one has to reconstruct its structure from its graph adjacency matrix. The proposed algorithm reconstructs the~minimum spanning tree from the~weighted colored graph. This paper presents a novel solution based on the prize-collecting Steiner tree algorithm. This algorithm is compared with its alternatives.


title: Inducing Riesz and orthonormal bases in $L^2$ via composition operators

abstract: We investigate perturbations of orthonormal bases of $L^2$ via a composition operator $C_h$ induced by a mapping $h$. We provide a comprehensive characterization of the mapping $h$ required for the perturbed sequence to form an orthonormal or Riesz basis. Restricting our analysis to differentiable mappings, we reveal that all Riesz bases of the given form are induced by bi-Lipschitz mappings. In addition, we discuss implications of these results for approximation theory, highlighting the potential of using bijective neural networks to construct complete sequences with favorable approximation properties.


title: Translation of Nagumo's Foundational Work on Barrier Functions: On the Location of Integral Curves of Ordinary Differential Equations

abstract: In 1942, Prof. Mitio Nagumo published his seminal paper on the location of integral curves of ordinary differential equations. Nagumo's paper provides the foundation of the set invariance of ordinary differential equations and barrier functions, which have recently gained popularity for the control design of safety critical dynamical systems. This translation shall serve the community with an easily accessible version of the original 1942 paper in English. A copy of Nagumo's paper in German is also attached as a reference. That copy was created by the Boeing Company, Germany, in an attempt to improve pdf format readability of the original paper.


title: Improving Execution Concurrency in Partial-Order Plans via Block-Substitution

abstract: Partial-order plans in AI planning facilitate execution flexibility and several other tasks, such as plan reuse, modification, and decomposition, due to their less constrained nature. A Partial-Order Plan (POP) allows two actions with no ordering between them, thus providing the flexibility of executing actions in different sequences. This flexibility can be further extended by enabling parallel execution of actions in a POP to reduce its overall execution time. While extensive studies exist on improving the flexibility of a POP by optimizing its action orderings through plan deordering and reordering, there has been limited focus on the flexibility of executing actions concurrently in a plan. Execution concurrency in a POP can be achieved by incorporating action non-concurrency constraints, specifying which actions can not be executed in parallel. This work formalizes the conditions for non-concurrency constraints to transform a POP into a parallel plan. We also introduce an algorithm to enhance the plan's concurrency by optimizing resource utilization through substitutions of its subplans with respect to the corresponding planning task. Our algorithm employs block deordering that eliminates orderings in a POP by encapsulating coherent actions in blocks, and then exploits blocks as candidate subplans for substitutions. Experiments over the benchmark problems from International Planning Competitions (IPC) exhibit significant improvement in plan concurrency, specifically, with improvement in 25% of the plans, and an overall increase of 2.1% in concurrency.


title: Towards Large Language Model Aided Program Refinement

abstract: Program refinement involves correctness-preserving transformations from formal high-level specification statements into executable programs. Traditional verification tool support for program refinement is highly interactive and lacks automation. On the other hand, the emergence of large language models (LLMs) enables automatic code generations from informal natural language specifications. However, code generated by LLMs is often unreliable. Moreover, the opaque procedure from specification to code provided by LLM is an uncontrolled black box. We propose LLM4PR, a tool that combines formal program refinement techniques with informal LLM-based methods to (1) transform the specification to preconditions and postconditions, (2) automatically build prompts based on refinement calculus, (3) interact with LLM to generate code, and finally, (4) verify that the generated code satisfies the conditions of refinement calculus, thus guaranteeing the correctness of the code. We have implemented our tool using GPT4, Coq, and Coqhammer, and evaluated it on the HumanEval and EvalPlus datasets.


title: Similarities among top one day batters: physics-based quantification

abstract: Assessment of the performance of a player in any sport is very much needed to determine the ranking of players and make a solid team with the best players. Besides these, fans, journalists, sports persons, and sports councils often analyse the performances of current and retired players to identify the best players of all time. Here, we study the performance of all-time top batters in one-day cricket using physics-based statistical methods. The batters are selected in this study who possess either higher total runs or a high number of centuries. It is found that the total runs increases linearly with the innings number at the later stage of the batter carrier, and the runs rate estimated from the linear regression analysis also increases linearly with the average runs. The probability of non-scoring innings is found to be a negligibly small number (i.e., $\leq 0.1$ ) for each batter. Furthermore, based on innings-wise runs, we have computed the six-dimensional probability distribution vector for each player. Two components of the probability distribution vector vary linearly with average runs. The component representing the probability of scoring runs less than 50 linearly decreases with the average runs. In contrast, the probability of scoring runs greater than or equal to 100 and less than 150 linearly increases with the average runs. We have also estimated the entropy to assess the diversity of a player. Interestingly, the entropy varies linearly with the average runs, giving rise to two clusters corresponding to the old and recent players. Furthermore, the angle between two probability vectors is calculated for each pair of players to measure the similarities among the players. It is found that some of the players are almost identical to each other.


title: Markov Decision Process and Approximate Dynamic Programming for a Patient Assignment Scheduling problem

abstract: We study the Patient Assignment Scheduling (PAS) problem in a random environment that arises in the management of patient flow in the hospital systems, due to the stochastic nature of the arrivals as well as the Length of Stay distribution. We develop a Markov Decision Process (MDP) which aims to assign the newly arrived patients in an optimal way so as to minimise the total expected long-run cost per unit time over an infinite horizon. We assume Poisson arrival rates that depend on patient types, and Length of Stay distributions that depend on whether patients stay in their primary wards or not. Since the instances of realistic size of this problem are not easy to solve, we develop numerical methods based on Approximate Dynamic Programming. We illustrate the theory with numerical examples with parameters obtained by fitting to data from a tertiary referral hospital in Australia, and demonstrate the application potential of our methodology under practical considerations.


title: A Cyclical Fast Iterative Method for Simulating Reentries in Cardiac Electrophysiology Using an Eikonal-Based Model

abstract: Background: Computer models for simulating cardiac electrophysiology are valuable tools for research and clinical applications. Traditional reaction-diffusion (RD) models used for these purposes are computationally expensive. While eikonal models offer a faster alternative, they are not well-suited to study cardiac arrhythmias driven by reentrant activity. The present work extends the diffusion-reaction eikonal alternant model (DREAM), incorporating conduction velocity (CV) restitution for simulating complex cardiac arrhythmias. Methods: The DREAM modifies the fast iterative method to model cyclical behavior, dynamic boundary conditions, and frequency-dependent anisotropic CV. Additionally, the model alternates with an approximated RD model, using a detailed ionic model for the reaction term and a triple-Gaussian to approximate the diffusion term. The DREAM and monodomain models were compared, simulating reentries in 2D manifolds with different resolutions. Results: The DREAM produced similar results across all resolutions, while experiments with the monodomain model failed at lower resolutions. CV restitution curves obtained using the DREAM closely approximated those produced by the monodomain simulations. Reentry in 2D slabs yielded similar results in vulnerable window and mean reentry duration for low CV in both models. In the left atrium, most inducing points identified by the DREAM were also present in the high-resolution monodomain model. DREAM's reentry simulations on meshes with an average edge length of 1600$\mu$m were 40x faster than monodomain simulations at 200$\mu$m. Conclusion: This work establishes the mathematical foundation for using the accelerated DREAM simulation method for cardiac electrophysiology. Cardiac research applications are enabled by a publicly available implementation in the openCARP simulator.


title: Documentation Practices of Artificial Intelligence

abstract: Artificial Intelligence (AI) faces persistent challenges in terms of transparency and accountability, which requires rigorous documentation. Through a literature review on documentation practices, we provide an overview of prevailing trends, persistent issues, and the multifaceted interplay of factors influencing the documentation. Our examination of key characteristics such as scope, target audiences, support for multimodality, and level of automation, highlights a dynamic evolution in documentation practices, underscored by a shift towards a more holistic, engaging, and automated documentation.


title: Towards Deep Active Learning in Avian Bioacoustics

abstract: Passive acoustic monitoring (PAM) in avian bioacoustics enables cost-effective and extensive data collection with minimal disruption to natural habitats. Despite advancements in computational avian bioacoustics, deep learning models continue to encounter challenges in adapting to diverse environments in practical PAM scenarios. This is primarily due to the scarcity of annotations, which requires labor-intensive efforts from human experts. Active learning (AL) reduces annotation cost and speed ups adaption to diverse scenarios by querying the most informative instances for labeling. This paper outlines a deep AL approach, introduces key challenges, and conducts a small-scale pilot study.


title: Unveiling the role of magnetic fields in an accreting filament onto a young protocluster

abstract: In order to develop a more comprehensive picture of star formation, it is essential to understand the physical relationship between dense cores and the filaments embedding them. There is evidence that magnetic fields play a crucial role in this context. We aim to understand how magnetic fields influence the properties and kinematics of an isolated filament located east of the Barnard 59 clump, belonging to the Pipe Nebula. We use near infrared polarization observations to determine the magnetic field configuration, and we apply the Davis Chandrasekhar Fermi method to infer the magnetic field strength in the plane of the sky. Furthermore, we use complementary data from the James Clerk Maxwell Submillimetre Telescope (JCMT) of C18O and 13CO J=3-2 transition to determine the filament's kinematics. Finally, we model the radial density profile of the filament with polytropic cylindrical models. Our results indicate that the filament is stable to radial collapse and is radially supported by agents other than thermal pressure. In addition, based on previous observations of emission lines on this source, we suggest that gas is flowing toward the hub, while C18O (3-2) non-thermal motions indicate that the cloud is in a quiescent state.


title: Unbiased least squares regression via averaged stochastic gradient descent

abstract: We consider an on-line least squares regression problem with optimal solution $\theta^*$ and Hessian matrix H, and study a time-average stochastic gradient descent estimator of $\theta^*$. For $k\ge2$, we provide an unbiased estimator of $\theta^*$ that is a modification of the time-average estimator, runs with an expected number of time-steps of order k, with O(1/k) expected excess risk. The constant behind the O notation depends on parameters of the regression and is a poly-logarithmic function of the smallest eigenvalue of H. We provide both a biased and unbiased estimator of the expected excess risk of the time-average estimator and of its unbiased counterpart, without requiring knowledge of either H or $\theta^*$. We describe an "average-start" version of our estimators with similar properties. Our approach is based on randomized multilevel Monte Carlo. Our numerical experiments confirm our theoretical findings.


title: Robust Low-Cost Drone Detection and Classification in Low SNR Environments

abstract: The proliferation of drones, or unmanned aerial vehicles (UAVs), has raised significant safety concerns due to their potential misuse in activities such as espionage, smuggling, and infrastructure disruption. This paper addresses the critical need for effective drone detection and classification systems that operate independently of UAV cooperation. We evaluate various convolutional neural networks (CNNs) for their ability to detect and classify drones using spectrogram data derived from consecutive Fourier transforms of signal components. The focus is on model robustness in low signal-to-noise ratio (SNR) environments, which is critical for real-world applications. A comprehensive dataset is provided to support future model development. In addition, we demonstrate a low-cost drone detection system using a standard computer, software-defined radio (SDR) and antenna, validated through real-world field testing. On our development dataset, all models consistently achieved an average balanced classification accuracy of >= 85% at SNR > -12dB. In the field test, these models achieved an average balance accuracy of > 80%, depending on transmitter distance and antenna direction. Our contributions include: a publicly available dataset for model development, a comparative analysis of CNN for drone detection under low SNR conditions, and the deployment and field evaluation of a practical, low-cost detection system.


title: Automatic Prediction of Amyotrophic Lateral Sclerosis Progression using Longitudinal Speech Transformer

abstract: Automatic prediction of amyotrophic lateral sclerosis (ALS) disease progression provides a more efficient and objective alternative than manual approaches. We propose ALS longitudinal speech transformer (ALST), a neural network-based automatic predictor of ALS disease progression from longitudinal speech recordings of ALS patients. By taking advantage of high-quality pretrained speech features and longitudinal information in the recordings, our best model achieves 91.0\% AUC, improving upon the previous best model by 5.6\% relative on the ALS TDI dataset. Careful analysis reveals that ALST is capable of fine-grained and interpretable predictions of ALS progression, especially for distinguishing between rarer and more severe cases. Code is publicly available.


title: An LLM-based Knowledge Synthesis and Scientific Reasoning Framework for Biomedical Discovery

abstract: We present BioLunar, developed using the Lunar framework, as a tool for supporting biological analyses, with a particular emphasis on molecular-level evidence enrichment for biomarker discovery in oncology. The platform integrates Large Language Models (LLMs) to facilitate complex scientific reasoning across distributed evidence spaces, enhancing the capability for harmonizing and reasoning over heterogeneous data sources. Demonstrating its utility in cancer research, BioLunar leverages modular design, reusable data access and data analysis components, and a low-code user interface, enabling researchers of all programming levels to construct LLM-enabled scientific workflows. By facilitating automatic scientific discovery and inference from heterogeneous evidence, BioLunar exemplifies the potential of the integration between LLMs, specialised databases and biomedical tools to support expert-level knowledge synthesis and discovery.


title: AssertionBench: A Benchmark to Evaluate Large-Language Models for Assertion Generation

abstract: Assertions have been the de facto collateral for simulation-based and formal verification of hardware designs for over a decade. The quality of hardware verification, \ie, detection and diagnosis of corner-case design bugs, is critically dependent on the quality of the assertions. There has been a considerable amount of research leveraging a blend of data-driven statistical analysis and static analysis to generate high-quality assertions from hardware design source code and design execution trace data. Despite such concerted effort, all prior research struggles to scale to industrial-scale large designs, generates too many low-quality assertions, often fails to capture subtle and non-trivial design functionality, and does not produce any easy-to-comprehend explanations of the generated assertions to understand assertions' suitability to different downstream validation tasks. Recently, with the advent of Large-Language Models (LLMs), there has been a widespread effort to leverage prompt engineering to generate assertions. However, there is little effort to quantitatively establish the effectiveness and suitability of various LLMs for assertion generation. In this paper, we present AssertionBench, a novel benchmark to evaluate LLMs' effectiveness for assertion generation quantitatively. AssertioBench contains 100 curated Verilog hardware designs from OpenCores and formally verified assertions for each design generated from GoldMine and HARM. We use AssertionBench to compare state-of-the-art LLMs to assess their effectiveness in inferring functionally correct assertions for hardware designs. Our experiments demonstrate how LLMs perform relative to each other, the benefits of using more in-context exemplars in generating a higher fraction of functionally correct assertions, and the significant room for improvement for LLM-based assertion generators.


title: IDA-UIE: An Iterative Framework for Deep Network-based Degradation Aware Underwater Image Enhancement

abstract: Underwater image quality is affected by fluorescence, low illumination, absorption, and scattering. Recent works in underwater image enhancement have proposed different deep network architectures to handle these problems. Most of these works have proposed a single network to handle all the challenges. We believe that deep networks trained for specific conditions deliver better performance than a single network learned from all degradation cases. Accordingly, the first contribution of this work lies in the proposal of an iterative framework where a single dominant degradation condition is identified and resolved. This proposal considers the following eight degradation conditions -- low illumination, low contrast, haziness, blurred image, presence of noise and color imbalance in three different channels. A deep network is designed to identify the dominant degradation condition. Accordingly, an appropriate deep network is selected for degradation condition-specific enhancement. The second contribution of this work is the construction of degradation condition specific datasets from good quality images of two standard datasets (UIEB and EUVP). This dataset is used to learn the condition specific enhancement networks. The proposed approach is found to outperform nine baseline methods on UIEB and EUVP datasets.


title: Step-DPO: Step-wise Preference Optimization for Long-chain Reasoning of LLMs

abstract: Mathematical reasoning presents a significant challenge for Large Language Models (LLMs) due to the extensive and precise chain of reasoning required for accuracy. Ensuring the correctness of each reasoning step is critical. To address this, we aim to enhance the robustness and factuality of LLMs by learning from human feedback. However, Direct Preference Optimization (DPO) has shown limited benefits for long-chain mathematical reasoning, as models employing DPO struggle to identify detailed errors in incorrect answers. This limitation stems from a lack of fine-grained process supervision. We propose a simple, effective, and data-efficient method called Step-DPO, which treats individual reasoning steps as units for preference optimization rather than evaluating answers holistically. Additionally, we have developed a data construction pipeline for Step-DPO, enabling the creation of a high-quality dataset containing 10K step-wise preference pairs. We also observe that in DPO, self-generated data is more effective than data generated by humans or GPT-4, due to the latter's out-of-distribution nature. Our findings demonstrate that as few as 10K preference data pairs and fewer than 500 Step-DPO training steps can yield a nearly 3% gain in accuracy on MATH for models with over 70B parameters. Notably, Step-DPO, when applied to Qwen2-72B-Instruct, achieves scores of 70.8% and 94.0% on the test sets of MATH and GSM8K, respectively, surpassing a series of closed-source models, including GPT-4-1106, Claude-3-Opus, and Gemini-1.5-Pro. Our code, data, and models are available at https://github.com/dvlab-research/Step-DPO.


title: Improving Hyperparameter Optimization with Checkpointed Model Weights

abstract: When training deep learning models, the performance depends largely on the selected hyperparameters. However, hyperparameter optimization (HPO) is often one of the most expensive parts of model design. Classical HPO methods treat this as a black-box optimization problem. However, gray-box HPO methods, which incorporate more information about the setup, have emerged as a promising direction for more efficient optimization. For example, using intermediate loss evaluations to terminate bad selections. In this work, we propose an HPO method for neural networks using logged checkpoints of the trained weights to guide future hyperparameter selections. Our method, Forecasting Model Search (FMS), embeds weights into a Gaussian process deep kernel surrogate model, using a permutation-invariant graph metanetwork to be data-efficient with the logged network weights. To facilitate reproducibility and further research, we open-source our code at https://github.com/NVlabs/forecasting-model-search.


title: HATS-38 b and WASP-139 b join a growing group of eccentric hot Neptunes on polar orbits

abstract: We constrain the sky-projected obliquities of two low-density hot Neptune planets HATS-38 b and WASP-139 b orbiting nearby G and K stars using Rossiter-McLaughlin (RM) observations with VLT/ESPRESSO, yielding $\lambda = -108_{-16}^{+11}$ deg and $-85.6_{-4.2}^{+7.7}$ deg, respectively. To model the RM effect, we use a new publicly available code, \texttt{ironman}, which is capable of jointly fitting transit photometry, Keplerian radial velocities, and RM effects. The two planets have residual eccentricities ($e= 0.112_{-0.070}^{+0.072}$, and $0.103_{-0.041}^{+0.050}$, respectively), and together with the obliquity constraints, we show that they join a growing group of eccentric hot and low-density Neptunes on polar orbits. We use long-term radial velocities to rule out companions with masses $\sim 0.3-50$ $M_J$ within $\sim$10 au. We show that the orbital architectures of the two Neptunes disfavor an origin from primordial disk misalignment and/or in-situ secular interactions with distant companions and instead favor high-eccentricity migration from $\gtrsim 2$ au driven by a distant companion. Finally, we performed a hierarchical Bayesian modeling of the true obliquity distribution of Neptunes and found suggestive evidence for a higher preponderance of polar orbits of hot Neptunes compared to Jupiters. However, we note that the exact distribution is sensitive to the choice of priors, highlighting the need for additional obliquity measurements of Neptunes to robustly compare the hot Neptune obliquity distribution to Jupiters.


title: Revising the quantum work fluctuation framework to encompass energy conservation

abstract: Work is a process-based quantity, and its measurement typically requires interaction with a measuring device multiple times. While classical systems allow for non-invasive and accurate measurements, quantum systems present unique challenges due to the influence of the measuring device on the final value of work. As recent studies have shown, among these challenges is the impossibility of formulating a universal definition of work that respects energy conservation for coherent quantum systems and is compatible with the Jarzynski equality - a fluctuation relation linking the equilibrium free energy difference to the non-equilibrium work. Here we overcome this challenge by introducing a genuinely quantum, positive correction to the Jarzynski equality stemming from imposing energy conservation. When sufficiently large, this correction forces quantum work to violate the second law more often. Moreover, we construct modified two-point measurement (TPM) schemes for work that ensure energy conservation for coherent quantum states and align with our quantum-corrected fluctuation relation. We further underscore the practicality and effectiveness of these schemes by providing detailed circuit implementations for them.


title: Chern-Simons theory, decomposition, and the A model

abstract: In this paper, we discuss how gauging one-form symmetries in Chern-Simons theories is implemented in an A-twisted topological open string theory. For example, the contribution from a fixed H/Z bundle on a three-manifold M, arising in a BZ gauging of H Chern-Simons, for Z a finite subgroup of the center of H, is described by an open string worldsheet theory whose bulk is a sigma model with target a Z-gerbe (a bundle of one-form symmetries) over T^* M, of characteristic class determined by the H/Z bundle. We give a worldsheet picture of the decomposition of one-form-symmetry-gauged Chern-Simons in three dimensinos, and we describe how a target-space constraint on bundles arising in the gauged Chern-Simons theory has a natural worldsheet realization. Our proposal provides examples of the expected correspondence between worldsheet global higher-form symmetries, and target-space gauged higher-form symmetries.


title: Resonant Conversion of Gravitational Waves in Neutron Star Magnetospheres

abstract: High frequency gravitational waves are the subject of rapidly growing interest in the theoretical and experimental community. In this work we calculate the resonant conversion of gravitational waves into photons in the magnetospheres of neutron stars via the inverse Gertsenshtein mechanism. The resonance occurs in regions where the vacuum birefringence effects cancel the classical plasma contribution to the photon dispersion relation, leading to a massless photon in the medium which becomes kinematically matched to the graviton. We set limits on the amplitude of a possible stochastic background of gravitational waves using X-ray and IR flux measurements of neutron stars. Using Chandra ($2-8\,\text{keV}$) and NuSTAR ($3-79\,\text{keV}$) observations of RX J1856.6-3754, we set strain limits $h_c^{\rm lim} \simeq 10^{-26} - 10^{-24}$ in the frequency range $ 5\times 10^{17}\, {\rm Hz} \lesssim f \lesssim 2\times 10^{19}\,\text{Hz}$. Our limits are many orders of magnitude stronger than existing constrains from individual neutron stars at the same frequencies. We also use recent JWST observations of the Magnetar 4U 0142+61 in the range $2.7\times 10^{13}\, {\rm Hz} \lesssim f \lesssim 5.9\times 10^{13}\, {\rm Hz} $, setting a limit $h_{\rm c}^{\rm lim} \simeq 5 \times 10^{-19}$. These constraints are in complementary frequency ranges to laboratory searches with CAST, OSQAR and ALPS II. We expect these limits to be improved both in reach and breadth with a more exhaustive use of telescope data across the full spectrum of frequencies and targets.


title: Dark Matter from Dark Glueball Dominance

abstract: New gauge forces can play an important role in the evolution of the early universe. In this work we investigate the cosmological implications of a pure Yang-Mills dark sector that is dominantly populated after primordial inflation. Such a dark sector takes the form of a bath of dark gluons at high temperatures, but confines at lower temperatures to produce a spectrum of dark glueballs. These glueballs then undergo a freezeout process such that the remnant population is nearly completely dominated by the lightest state. To reproduce the observed cosmology, this lightest glueball species must decay to the Standard Model to repopulate and reheat it. At leading order, this can occur through a connector operator of dimension-6. In contrast, other glueballs can be parametrically long-lived or stable, and remain as contributors to dark matter or modify the observed cosmology through their later decays. In this work we study the evolution of such dark sectors in detail. We demonstrate that stable remnant glueballs can produce the measured dark matter abundance. We also derive broad constraints on non-Abelian dark sectors from overproduction of remnant glueballs when they are stable or from their destructive impact when they are able to decay.


title: The Pristine Inner Galaxy Survey (PIGS) X. Probing the early chemical evolution of the Sagittarius dwarf galaxy with carbon abundances

abstract: Carbon abundances, especially at low metallicity, reveal the early chemical evolution of a system, tracing the supernovae (SNe) that contributed and how much of their ejecta made it into the next stellar generation. Our sample from the \textit{Pristine} Inner Galaxy Survey (PIGS) includes $\sim 350$ metal-poor ([Fe/H]~$<-1.5$) stars in the main body of Sgr with good quality spectroscopic observations. Our metal-poor Sgr population has a larger velocity dispersion than metal-rich Sgr from the literature, which could be explained by outside-in star formation, extreme Galactic tidal perturbations and/or the presence of a metal-rich disc/bar $+$ a metal-poor halo. The average carbon abundance in Sgr is similar to that of other classical dwarf galaxies (DGs) and consistently lower than in the Milky Way by $\sim0.2-0.3$~dex at low metallicity. The interstellar medium in DGs, including Sgr, may have retained yields from more energetic Pop III and II SNe, thereby reducing the average [C/Fe]. Additionally, SNe~Ia, producing more Fe than C, would start to contribute at lower metallicity in DGs/Sgr than in the Galaxy. The presence of a [C/Fe] gradient for Sgr stars with [Fe/H]~$\gtrsim-2.0$ ($\sim 6.8\times 10^{-4}$ dex arcmin$^{-1}$) suggests that SNe~Ia contributed in the system at those metallicities, especially in its inner regions. There is a low frequency of carbon-enhanced metal-poor (CEMP) stars in our Sgr sample. At higher metallicity/carbon abundance (mostly CEMP-s) this may be due to photometric selection effects, but those are less likely to affect CEMP-no stars. We propose that, given the lower average [C/Fe] in DGs, using the same CEMP definition ([C/Fe]~$>+0.7$) as in the Galaxy under-predicts the number of CEMP stars in DGs, and for Sgr a cut at [C/Fe]$~\sim +0.35$ may be more appropriate, which brings the frequency of CEMP stars in agreement with that in the Galaxy.


title: Rapid Mid-Infrared Spectral-Timing with JWST. I. The prototypical black hole X-ray Binary GRS 1915+105 during a MIR-bright and X-ray-obscured state

abstract: We present mid-infrared (MIR) spectral-timing measurements of the prototypical Galactic microquasar GRS 1915+105. The source was observed with the Mid-Infrared Instrument (MIRI) onboard JWST in June 2023 at a MIR luminosity L(MIR)~10^{36} erg/s exceeding past IR levels by about a factor of 10. By contrast, the X-ray flux is much fainter than the historical average, in the source's now-persistent 'obscured' state. The MIRI low-resolution spectrum shows a plethora of emission lines, the strongest of which are consistent with recombination in the hydrogen Pfund (Pf) series and higher. Low amplitude (~1%) but highly significant peak-to-peak photometric variability is found on timescales of ~1,000 s. The brightest Pf(6-5) emission line lags the continuum. Though difficult to constrain accurately, this lag is commensurate with light-travel timescales across the outer accretion disc or with expected recombination timescales inferred from emission line diagnostics. Using the emission line as a bolometric indicator suggests a moderate (~5-30% Eddington) intrinsic accretion rate. Multiwavelength monitoring shows that JWST caught the source close in-time to unprecedentedly bright MIR and radio long-term flaring. Assuming a thermal bremsstrahlung origin for the MIRI continuum suggests an unsustainably high mass-loss rate during this time unless the wind remains bound, though other possible origins cannot be ruled out. PAH features previously detected with Spitzer are now less clear in the MIRI data, arguing for possible destruction of dust in the interim. These results provide a preview of new parameter space for exploring MIR spectral-timing in XRBs and other variable cosmic sources on rapid timescales.


title: Absence of a Correlation between White Dwarf Planetary Accretion and Primordial Stellar Metallicity

abstract: Over a quarter of white dwarfs have photospheric metal pollution, which is evidence for recent accretion of exoplanetary material. While a wide range of mechanisms have been proposed to account for this pollution, there are currently few observational constraints to differentiate between them. To investigate the driving mechanism, we observe a sample of polluted and non-polluted white dwarfs in wide binary systems with main-sequence stars. Using the companion stars' metallicities as a proxy for the white dwarfs' primordial metallicities, we compare the metallicities of polluted and non-polluted systems. Because there is a well-known correlation between giant planet occurrence and higher metallicity (with a stronger correlation for close-in and eccentric planets), these metallicity distributions can be used to probe the role of gas giants in white dwarf accretion. We find that the metallicity distributions of polluted and non-polluted systems are consistent with the hypothesis that both samples have the same underlying metallicity distribution. However, we note that this result is likely biased by several selection effects. Additionally, we find no significant trend between white dwarf accretion rates and metallicity. These findings suggest that giant planets are not the dominant cause of white dwarf accretion events in binary systems.


title: Long Range Asymptotic Baxter-Bethe Ansatz for N=4 BFKL

abstract: We demonstrate that the Balitsky-Fadin-Kuraev-Lipatov regime of maximally supersymmetric Yang-Mills theory can be explicitly solved up to the L+1 order in weak coupling by uncovering a novel long-range asymptotic Baxter-Bethe ansatz for trajectories with L scalar fields. The set of equations we have found is reminiscent of the Beisert-Eden-Staudacher equations for local operators but instead applies to non-local operators corresponding to the horizontal Regge trajectories. We also verify and give new predictions for the light-ray operator spectrum by resummation of the leading singularities in our result.


title: Neutrino emission in cold neutron stars: Bremsstrahlung and modified urca rates reexamined

abstract: Neutrino emission in cold neutron stars is dominated by the modified urca (murca) process and nucleon-nucleon bremsstrahlung. The standard emission rates were provided by Friman and Maxwell in 1979, effectively based on a chiral Lagrangian framework with pion and rho meson exchange, supplemented by Landau parameters to describe short-range interactions. We reevaluate these rates within the same framework, correcting several errors and removing unnecessary simplifications, notably the triangular approximation -- Fermi momenta of protons and leptons negligible compared to the neutrons one -- in MURCA, and quantify their importance. The impact of rho meson exchange, previously argued to cancel with interference effects, is actually quite relevant. Altogether, the cooling rates are reduced by as much as a factor 2. We provide comprehensive analytical formulas encompassing all contributions, designed for straightforward numerical implementation. Our results are particularly relevant for astrophysical studies of neutron stars evolution and for studies of physics beyond the standard model, where the emission of new particles -- such as axions -- is typically computed within the same framework we adopt here.


title: Neutrino masses and mixing from milli-charged dark matter

abstract: We propose a simple extension to the Standard Model, wherein neutrinos naturally attain small Majorana masses through a one-loop radiative mechanism featuring particles within the loops characterized by milli-charges. Unlike the conventional scotogenic model, our approach avoids imposing a discrete symmetry or expanding the gauge sector. The minuscule electric charges ensure the stability of the lightest particle within the loop as a viable dark matter candidate. Our investigation systematically scrutinizes the far-reaching phenomenological implications arising from these minuscule charges.

categories: hep-ph astro-ph.CO astro-ph.HE hep-ex hep-th


title: $\overline{\text{D}}$arkRayNet: Emulation of cosmic-ray antideuteron fluxes from dark matter

abstract: Cosmic-ray antimatter, particularly low-energy antideuterons, serves as a sensitive probe of dark matter annihilating in our Galaxy. We study this smoking-gun signature and explore its complementarity with indirect dark matter searches using cosmic-ray antiprotons. To this end, we develop the neural network emulator $\overline{\text{D}}$arkRayNet, enabling a fast prediction of propagated antideuteron energy spectra for a wide range of annihilation channels and their combinations. We revisit the Monte Carlo simulation of antideuteron coalescence and cosmic-ray propagation, allowing us to explore the uncertainties of both processes. In particular, we take into account uncertainties from the $\Lambda_b$ production rate and consider two distinctly different propagation models. Requiring consistency with cosmic-ray antiproton limits, we find that AMS-02 shows sensitivity to a few windows of dark matter masses only, most prominently below 20 GeV. This region can be probed independently by the upcoming GAPS experiment. The program package $\overline{\text{D}}$arkRayNet is available on GitHub.


title: Not So Round: VLA Observations of the Starless Dark Matter Halo Candidate Cloud-9

abstract: Observations with FAST recently detected HI 21-cm emission near M94, revealing an intriguing object, Cloud-9, without an optical counterpart. Subsequent analysis suggests Cloud-9 is consistent with a gas-rich ($M_{\rm HI} \approx 10^{6} \ M_{\odot}$), starless dark matter (DM) halo of mass $M_{200} \approx 5 \times 10^{9} \ M_{\odot}$. Using VLA in D-array configuration, we present interferometric observations of Cloud-9 revealing it as a dynamically cold ($W_{50} \approx 12 \rm \ km \ s^{-1}$), non-rotating, and spatially-asymmetric system, exhibiting gas compression on one side and a tail-like structure towards the other, features likely originating from ram pressure. Our observations suggest Cloud-9 is consistent with a starless $\Lambda$CDM dark matter halo if the gas is largely isothermal. If interpreted as a faint dwarf, Cloud-9 is similar to Leo T, a nearby gas-rich galaxy that would fall below current optical detection limits at Cloud-9's distance ($d\approx 5 \rm \ Mpc$). Further observations with HST reaching magnitudes $m_{g} \approx 30$ would help identify such a galaxy or dramatically lower current limits to its stellar mass ($M_{\rm gal} \lesssim 10^{5} \ M_{\odot}$). Cloud-9 thus stands as the firmest starless DM halo candidate to date or the faintest galaxy known at its distance.


title: Topological phases, van Hove singularities, and spin texture in magic-angle twisted bilayer graphene in the presence of proximity-induced spin-orbit couplings

abstract: We investigate magic-angle twisted bilayer graphene (MATBG) with proximity-induced Ising and Rashba spin-orbit couplings (SOC) in the top layer, as recently achieved experimentally. Utilizing the Bistritzer-MacDonald model with SOCs, we reveal a rich single-particle topological phase diagram featuring topological flat bands across different twist angles and interlayer hopping energies. The evolution of Dirac cones and Chern numbers is examined to understand the topological phase transitions. We find that all phases can be achieved with an experimentally accessible SOC strength ($\sim$1 meV) in systems with angles very close to the magic angle. Furthermore, the van Hove singularity for each topological flat band splits in the presence of SOC, significantly altering the electronic properties. Additionally, we investigate the spin textures of each band in momentum space, discovering a skyrmion-like spin texture in the center of the moir\'e Brillouin zone, which is correlated with the topological phase transitions and can be tuned via the SOCs and an out-of-plane electric field. Our findings provide a comprehensive understanding of the topological flat bands, establishing a foundation for grasping the intrinsic and rich roles of SOCs in MATBG.


title: Flat band physics in the charge-density wave state of $1T$-TaS$_2$

abstract: 1$T$-TaS$_2$ is the only insulating transition-metal dichalcogenide (TMD) with an odd number of electrons per unit cell. This insulating state is non-magnetic, making it a potential spin-liquid candidate. The unusual electronic behavior arises from a naturally occurring nearly flat mini-band, where the properties of the strongly correlated states are significantly influenced by the microscopic starting point, necessitating a detailed and careful investigation. We revisit the electronic band structure of 1$T$-TaS$_2$, starting with the tight-binding model without CDW order. Symmetry dictates the nature of spin-orbit coupling (SOC), which, unlike in the 2H TMD structure, allows for strong off-diagonal "spin-flip" terms as well as Ising SOC. Incorporating the CDW phase, we construct a 78$\times$78 tight-binding model to analyze the band structure as a function of various parameters. Our findings show that an isolated flat band is a robust feature of this model. Depending on parameters such as SOC strength and symmetry-allowed orbital splittings, the flat band can exhibit non-trivial topological classifications. These results have significant implications for the strongly correlated physics emerging from interacting electrons in the half-filled or doped flat band.


title: Using 3.4-$\mu$m Variability towards White Dwarfs as a Signpost of Remnant Planetary Systems

abstract: Roughly 2% of white dwarfs harbor planetary debris disks detectable via infrared excesses, but only a few percent of these disks show a gaseous component, distinguished by their double-peaked emission at the near-infrared calcium triplet. Previous studies found most debris disks around white dwarfs are variable at 3.4 and 4.5 $\mu$m, but they analyzed only a few of the now 21 published disks showing calcium emission. To test if most published calcium emission disks exhibit large-amplitude stochastic variability in the near-infrared, we use light curves generated from the unWISE images at 3.4 $\mu$m that are corrected for proper motion to characterize the near-infrared variability of these disks against samples of disks without calcium emission, highly variable cataclysmic variables, and 3215 isolated white dwarfs. We find most calcium emission disks are extremely variable: 6/11 with sufficient signal-to-noise show high-amplitude variability in their 3.4-$\mu$m light curves. These results lend further credence to the notion that disks showing gaseous debris in emission are the most collisionally active. Under the assumption that 3.4-$\mu$m variability is characteristic of white dwarfs with dusty debris disks, we generate a catalog of 104 high-confidence near-infrared variable white dwarfs, 84 of which are published as variable for the first time. We do near-infrared spectroscopic follow-up of seven new candidate 3.4-$\mu$m variables, confirming at least one new remnant planetary system, and posit that empirical near-infrared variability can be a discovery engine for debris disks showing gaseous emission.


title: Majorana phases beyond neutrinoless double beta decay

abstract: The $\nu_M{\rm SM}$ is defined as the SM extended to include dimension-5 operators. In this model neutrino masses violate lepton number, and two parameters of the lepton mixing matrix, the Majorana phases, are yet to be constrained. One combination of these phases and the neutrino masses, often denoted by $m_{ee}$, is probed by neutrinoless double beta decays ($0\nu\beta\beta$). We explore what information may be obtained beyond $0\nu\beta\beta$, and how it depends on the lightest neutrino mass. We point out that with current central values of the mixing parameters, $\Delta L_e=2$ and $\Delta L_e=\Delta L_\mu = 1$ (or $\Delta L_e=2$ and $\Delta L_\mu = 2$) processes cannot simultaneously vanish, providing a no-lose theorem, in principle, for excluding the $\nu_M{\rm SM}$, even in the case of normal mass ordering.


title: Equivariant localization and gluing rules in 4d $\mathcal{N}=2$ higher derivative supergravity

abstract: We complete the proof of the conjecture in arXiv:2111.06903 regarding the form of gravitational building blocks in higher derivative supergravity and examine the related gluing rules. The derivation, based on certain assumptions, combines the BVAB equivariant localization formula (on non-compact spaces) and the direct evaluation of the action on the Omega background in AdS$_4$, arXiv:2212.10590. Utilizing the superconformal gravity formalism and avoiding equations of motion ensures our results are valid at any perturbative order in the Newton constant. As an application, we illustrate the holographic predictions for supersymmetric M2-brane partition functions. We conclude with a to-do list of related calculations in effective supergravity and string theory, aiming for full quantum control of BPS backgrounds.