title: On the Nystrom Approximation for Preconditioning in Kernel Machines

abstract: Kernel methods are a popular class of nonlinear predictive models in machine learning. Scalable algorithms for learning kernel models need to be iterative in nature, but convergence can be slow due to poor conditioning. Spectral preconditioning is an important tool to speed-up the convergence of such iterative algorithms for training kernel models. However computing and storing a spectral preconditioner can be expensive which can lead to large computational and storage overheads, precluding the application of kernel methods to problems with large datasets. A Nystrom approximation of the spectral preconditioner is often cheaper to compute and store, and has demonstrated success in practical applications. In this paper we analyze the trade-offs of using such an approximated preconditioner. Specifically, we show that a sample of logarithmic size (as a function of the size of the dataset) enables the Nystrom-based approximated preconditioner to accelerate gradient descent nearly as well as the exact preconditioner, while also reducing the computational and storage overheads.


title: Optimizing Two-Pass Cross-Lingual Transfer Learning: Phoneme Recognition and Phoneme to Grapheme Translation

abstract: This research optimizes two-pass cross-lingual transfer learning in low-resource languages by enhancing phoneme recognition and phoneme-to-grapheme translation models. Our approach optimizes these two stages to improve speech recognition across languages. We optimize phoneme vocabulary coverage by merging phonemes based on shared articulatory characteristics, thus improving recognition accuracy. Additionally, we introduce a global phoneme noise generator for realistic ASR noise during phoneme-to-grapheme training to reduce error propagation. Experiments on the CommonVoice 12.0 dataset show significant reductions in Word Error Rate (WER) for low-resource languages, highlighting the effectiveness of our approach. This research contributes to the advancements of two-pass ASR systems in low-resource languages, offering the potential for improved cross-lingual transfer learning.


title: Boundedness and moduli of traditional stable minimal models

abstract: For good minimal models with semi-log canonical (slc) singularities, polarized by effective divisors that are relatively ample over the bases of Iitaka fibration, Birkar proves that they belong to a bounded family after fixing appropriate numerical invariants recently. Subsequently, he constructs their projective coarse moduli spaces. In this paper, we consider good minimal models with only Kawamata log terminal (klt) singularities but polarized by possibly non-effective divisors. We prove that they still belong to a bounded family after fixing the same invariants. As an application, we construct separated coarse moduli spaces for klt good minimal models polarized by line bundles.


title: Implications of Gamma Ray Burst GRB221009A for Extra Dimensions

abstract: Anomalous high energy photons, known as GRB221009A, with 18 TeV and 251 TeV were observed by LHAASO and Carpet-2 recently. Such observation of high energy gamma-ray bursts from distant source causes a mystery since high energy photons suffer severe attenuation before reaching the earth. One possibility is the existence of axion-like particles (ALP), and high energy photons at the source can convert to these ALPs which travel intergalactically. In this paper, we study the effects of extra dimensions on the conversion probability between photon and ALPs. The conversion probability saturates and may reach almost $100\%$ for high energy photons. We show that the size of extra dimension affects the energy at which saturation occurs. The observations of high-energy photons may support the possibility of smaller extra dimension.


title: Impact of parallel code optimization on computer power consumption

abstract: The increase in performance and power of computing systems requires the wider use of program optimizations. The goal of performing optimizations is not only to reduce program runtime, but also to reduce other computer resources including power consumption. The goal of the study was to evaluate the impact of different optimization levels and various optimization strategies on power consumption. In a series of experiments, it was established that the average power consumption tends to peak for the programs with optimized source code. The articles also describes the impact of changing computer architecture on power consumption graphs. The relationships between the average and median values of power consumption by example programs are considered. The possibility of creating program energy consumption profile for a parallel program is shown.


title: Inferring host galaxy properties of LIGO-Virgo-KAGRA's black holes

abstract: Observations of gravitational waves from binary black hole (BBH) mergers have measured the redshift evolution of the BBH merger rate. The number density of galaxies in the Universe evolves differently with redshift based on their physical properties, such as their stellar masses and star formation rates. In this work we show that the measured population-level redshift distribution of BBHs sheds light on the properties of their probable host galaxies. We first assume that the hosts of BBHs can be described by a mixture model of galaxies weighted by stellar mass or star formation rate, and find that we can place upper limits on the fraction of mergers coming from a stellar mass weighted sample of galaxies. We then constrain parameters of a physically motivated power-law delay-time distribution using GWTC-3 data, and self-consistently track galaxies in the \textsc{UniverseMachine} simulations with this delay time model to infer the probable host galaxies of BBHs over a range of redshifts. We find that the inferred host galaxy distribution at redshift $z=0.21$ has a median star formation rate $\sim 0.9\,M_\odot\mathrm{yr}^{-1}$ and a median stellar mass of $\sim 1.9 \times 10^{10}\,M_\odot$. We also provide distributions for the mean stellar age, halo mass, halo radius, peculiar velocity, and large scale bias associated with the host galaxies, as well as their absolute magnitudes in the B- and ${ \rm K_s}$-bands. Our results can be used to design optimal electromagnetic follow-up strategies for BBHs, and also to aid the measurement of cosmological parameters using the statistical dark siren method.


title: Brief review on unstable states in dissociation of relativistic nuclei

abstract: The article presents a review of studying unstable states in the relativistic dissociation of nuclei $^{10}$B, $^{11,12}$C, $^{16}$O, $^{22}$Ne, $^{28}$Si, $^{84}$Kr and $^{197}$Au in the energy range from hundreds of MeV/nucleon to several tens of GeV/nucleon using the nuclear track emulsion method. A systematic study of the fragmentation of incident nuclei with multiple formation of the lightest fragments of He and H. This made it possible to study the dynamics of unstable nuclear states of $^8$Be, the Hoyle state and the 4$\alpha$-particle state of the $^{16}$O nucleus above the threshold in the relativistic dissociation of nuclei due to precision measurements of fragment emission angles. It is shown that to reconstruct the relativistic decays of unstable nuclei in a nuclear track emulsion, it is sufficient to determine the invariant mass of the system of He and H fragments in the approximation of conservation of momentum per nucleon of the parent nucleus. This approach allows one to search for more complex nuclear states. An indication has been obtained of growing probability to detect $^8$Be with increasing the number of relativistic $\alpha$ particles in the event.


title: Complementary Benefits of Contrastive Learning and Self-Training Under Distribution Shift

abstract: Self-training and contrastive learning have emerged as leading techniques for incorporating unlabeled data, both under distribution shift (unsupervised domain adaptation) and when it is absent (semi-supervised learning). However, despite the popularity and compatibility of these techniques, their efficacy in combination remains unexplored. In this paper, we undertake a systematic empirical investigation of this combination, finding that (i) in domain adaptation settings, self-training and contrastive learning offer significant complementary gains; and (ii) in semi-supervised learning settings, surprisingly, the benefits are not synergistic. Across eight distribution shift datasets (e.g., BREEDs, WILDS), we demonstrate that the combined method obtains 3--8% higher accuracy than either approach independently. We then theoretically analyze these techniques in a simplified model of distribution shift, demonstrating scenarios under which the features produced by contrastive learning can yield a good initialization for self-training to further amplify gains and achieve optimal performance, even when either method alone would fail.


title: Search for Planets in Hot Jupiter Systems with Multi-Sector TESS Photometry. IV. Null Detections in 12 Systems

abstract: We present the results of our search for nearby planetary companions of transiting hot Jupiters in 12 planetary systems: HAT-P-24, HAT-P-39, HAT-P-42, HAT-P-50, KELT-2, KELT-15, KELT-17, WASP-23, WASP-63, WASP-76, WASP-79, and WASP-161. Our analysis was based on multi-sector time-series photometry from the Transiting Exoplanet Survey Satellite and precise transit timing data sets. We detected no additional transiting planets down to the 2-4 Earth radii regime. For ten hot Jupiters, no departure from linear transit ephemerides was observed. Whilst we refute long-term variations of the orbital period for WASP-161 b, which were claimed in the literature, we notice a tentative hint of the orbital period shortening for WASP-79 b. In addition, we spot a short-period transit timing variation for KELT-2A b with the characteristics typical of the so-called exomoon corridor. We conclude, however, that further observations are required to confirm these findings.


title: Advantage of probabilistic non-Gaussian operations in the distillation of single mode squeezed vacuum state

abstract: We consider the distillation of squeezing in single mode squeezed vacuum state using three different probabilistic non-Gaussian operations: photon subtraction (PS), photon addition (PA) and photon catalysis (PC). To accomplish this, we consider a practical model to implement these non-Gaussian operations and derive the Wigner characteristic function of the resulting non-Gaussian states. Our result shows that while PS and PC operations can distill squeezing, PA operations cannot. Furthermore, we delve into the success probabilities associated with these non-Gaussian operations and identify optimal parameters for the distillation of squeezing. Our current analysis holds significant relevance for experimental endeavors concerned with squeezing distillation.


title: First-principles prediction of energy band gaps in 18-valence electron semiconducting half-Heusler compounds: Exploring the role of exchange and correlation

abstract: The choice of exchange functional is a critical factor in determining the energy bandgap of semiconductors. Ab initio calculations using different exchange functionals, including the conventional generalized-gradient approximation (GGA) functionals, meta-GGA functionals, and hybrid functionals, show significant differences in the calculated energy bandgap for semiconducting half-Heusler compounds. These compounds, which have 18 valence electrons per unit cell, are of great interest due to their thermoelectric properties, making them suitable for energy conversion applications. In addition, accounting for electronic correlations using the GW method also affects the calculated energy bandgaps compared to standard GGA calculations. The variations in calculated energy bandgaps are specific to each material when using different functionals. Hence, a detailed investigation of the electronic properties of each compound is necessary to determine the most appropriate functional for an accurate description of the electronic properties. Our results indicate that no general rules can be established and a comparison with experimental results is required to determine the most appropriate functional.


title: Background Clustering Pre-training for Few-shot Segmentation

abstract: Recent few-shot segmentation (FSS) methods introduce an extra pre-training stage before meta-training to obtain a stronger backbone, which has become a standard step in few-shot learning. Despite the effectiveness, current pre-training scheme suffers from the merged background problem: only base classes are labelled as foregrounds, making it hard to distinguish between novel classes and actual background. In this paper, we propose a new pre-training scheme for FSS via decoupling the novel classes from background, called Background Clustering Pre-Training (BCPT). Specifically, we adopt online clustering to the pixel embeddings of merged background to explore the underlying semantic structures, bridging the gap between pre-training and adaptation to novel classes. Given the clustering results, we further propose the background mining loss and leverage base classes to guide the clustering process, improving the quality and stability of clustering results. Experiments on PASCAL-5i and COCO-20i show that BCPT yields advanced performance. Code will be available.


title: Triggering the magnetopause reconnection by solar wind discontinuities

abstract: Magnetic reconnection is one of the most universal processes in space plasma that is responsible for charged particle acceleration, mixing and heating of plasma populations. In this paper we consider a triggering process of reconnection that is driven by interaction of two discontinuities: solar wind rotational discontinuity and tangential discontinuity at the Earth's magnetospheric boundary, magnetopause. Combining the multispacecraft measurements and global hybrid simulations, we show that solar wind discontinuities may drive the magnetopause reconnection and cause the mixing of the solar wind and magnetosphere plasmas around the magnetopause, well downstream of the solar wind flow. Since large-amplitude discontinuities are frequently observed in the solar wind and predicted for various stellar winds, our results of reconnection driven by the discontinuity-discontinuity interaction may have a broad application beyond the magnetosphere.


title: Lightweight Speaker Verification Using Transformation Module with Feature Partition and Fusion

abstract: Although many efforts have been made on decreasing the model complexity for speaker verification, it is still challenging to deploy speaker verification systems with satisfactory result on low-resource terminals. We design a transformation module that performs feature partition and fusion to implement lightweight speaker verification. The transformation module consists of multiple simple but effective operations, such as convolution, pooling, mean, concatenation, normalization, and element-wise summation. It works in a plug-and-play way, and can be easily implanted into a wide variety of models to reduce the model complexity while maintaining the model error. First, the input feature is split into several low-dimensional feature subsets for decreasing the model complexity. Then, each feature subset is updated by fusing it with the inter-feature-subsets correlational information to enhance its representational capability. Finally, the updated feature subsets are independently fed into the block (one or several layers) of the model for further processing. The features that are output from current block of the model are processed according to the steps above before they are fed into the next block of the model. Experimental data are selected from two public speech corpora (namely VoxCeleb1 and VoxCeleb2). Results show that implanting the transformation module into three models (namely AMCRN, ResNet34, and ECAPA-TDNN) for speaker verification slightly increases the model error and significantly decreases the model complexity. Our proposed method outperforms baseline methods on the whole in memory requirement and computational complexity with lower equal error rate. It also generalizes well across truncated segments with various lengths.


title: FAGC:Feature Augmentation on Geodesic Curve in the Pre-Shape Space

abstract: Deep learning has yielded remarkable outcomes in various domains. However, the challenge of requiring large-scale labeled samples still persists in deep learning. Thus, data augmentation has been introduced as a critical strategy to train deep learning models. However, data augmentation suffers from information loss and poor performance in small sample environments. To overcome these drawbacks, we propose a feature augmentation method based on shape space theory, i.e., feature augmentation on Geodesic curve, called FAGC in brevity.First, we extract features from the image with the neural network model. Then, the multiple image features are projected into a pre-shape space as features. In the pre-shape space, a Geodesic curve is built to fit the features. Finally, the many generated features on the Geodesic curve are used to train the various machine learning models. The FAGC module can be seamlessly integrated with most machine learning methods. And the proposed method is simple, effective and insensitive for the small sample datasets.Several examples demonstrate that the FAGC method can greatly improve the performance of the data preprocessing model in a small sample environment.


title: Mandelbrot set as a particular Julia set of Fractional Order, echipotential lines and external rays of Mandelbrot and Julia sets of Fractional Order

abstract: In this paper it is shown analytically and computationally that the Mandelbrot set of integer order are particular cases of Julia sets of Caputo s like fractional order. Also the differences between the fractional-order Mandelbrot set and Julia sets from their integer-order variants are revealed. Equipotential lines and external rays of Mandelbrot set and Julia sets of fractional order are determined.


title: Building Category Graphs Representation with Spatial and Temporal Attention for Visual Navigation

abstract: Given an object of interest, visual navigation aims to reach the object's location based on a sequence of partial observations. To this end, an agent needs to 1) learn a piece of certain knowledge about the relations of object categories in the world during training and 2) look for the target object based on the pre-learned object category relations and its moving trajectory in the current unseen environment. In this paper, we propose a Category Relation Graph (CRG) to learn the knowledge of object category layout relations and a Temporal-Spatial-Region (TSR) attention architecture to perceive the long-term spatial-temporal dependencies of objects helping the navigation. We learn prior knowledge of object layout, establishing a category relationship graph to deduce the positions of specific objects. Subsequently, we introduced TSR to capture the relationships of objects in temporal, spatial, and regions within the observation trajectories. Specifically, we propose a Temporal attention module (T) to model the temporal structure of the observation sequence, which implicitly encodes the historical moving or trajectory information. Then, a Spatial attention module (S) is used to uncover the spatial context of the current observation objects based on the category relation graph and past observations. Last, a Region attention module (R) shifts the attention to the target-relevant region. Based on the visual representation extracted by our method, the agent can better perceive the environment and easily learn superior navigation policy. Experiments on AI2-THOR demonstrate our CRG-TSR method significantly outperforms existing methods regarding both effectiveness and efficiency. The code has been included in the supplementary material and will be publicly available.


title: Deep Learning for Koopman-based Dynamic Movement Primitives

abstract: The challenge of teaching robots to perform dexterous manipulation, dynamic locomotion, or whole--body manipulation from a small number of demonstrations is an important research field that has attracted interest from across the robotics community. In this work, we propose a novel approach by joining the theories of Koopman Operators and Dynamic Movement Primitives to Learning from Demonstration. Our approach, named \gls{admd}, projects nonlinear dynamical systems into linear latent spaces such that a solution reproduces the desired complex motion. Use of an autoencoder in our approach enables generalizability and scalability, while the constraint to a linear system attains interpretability. Our results are comparable to the Extended Dynamic Mode Decomposition on the LASA Handwriting dataset but with training on only a small fractions of the letters.


title: On intermediate factors of a product of disjoint systems

abstract: We consider an intermediate factor situation in two categories: probability measure preserving ergodic theory and compact topological dynamics. In the first we prove a master-key theorem and examine a wide range of applications. In the second we treat the case when one of the systems is distal and then provide some counterexamples.


title: Measuring Misogyny in Natural Language Generation: Preliminary Results from a Case Study on two Reddit Communities

abstract: Generic `toxicity' classifiers continue to be used for evaluating the potential for harm in natural language generation, despite mounting evidence of their shortcomings. We consider the challenge of measuring misogyny in natural language generation, and argue that generic `toxicity' classifiers are inadequate for this task. We use data from two well-characterised `Incel' communities on Reddit that differ primarily in their degrees of misogyny to construct a pair of training corpora which we use to fine-tune two language models. We show that an open source `toxicity' classifier is unable to distinguish meaningfully between generations from these models. We contrast this with a misogyny-specific lexicon recently proposed by feminist subject-matter experts, demonstrating that, despite the limitations of simple lexicon-based approaches, this shows promise as a benchmark to evaluate language models for misogyny, and that it is sensitive enough to reveal the known differences in these Reddit communities. Our preliminary findings highlight the limitations of a generic approach to evaluating harms, and further emphasise the need for careful benchmark design and selection in natural language evaluation.


title: Room temperature cathodoluminescence quenching of Er3+ in AlNOEr

abstract: This paper reports a cathodoluminescence (CL) spectroscopic study of nanogranular AlNOErx samples with erbiumcontent, x, in the range 0.5--3.6 at%. A wide range of erbium concentration was studied with the aim ofunderstanding the concentration quenching of CL. The composition of thin films, deposited by radiofrequencyreactive magnetron sputtering, was accurately determined by Energy Dispersive X-ray Spectroscopy (EDS). CLemission was investigated in the extended visible spectral range from 350 nm to 850 nm. The critical concentrationof luminescent activator Er3+ above which CL quenching occurs is 1%; the corresponding criticaldistance between Er3+ ions in AlNOErx is about 1.0 nm. The quenching mechanism is discussed. We discount anexchange-mediated interaction in favour of a multipole-multipole phonon-assisted interaction.


title: Geometry from D-branes in Nonrelativistic String Theory

abstract: Nonrelativistic (NR) string theory was discovered as a framework that underlies and unifies the various noncommutative open string (NCOS) theories, which were originally envisioned as surprising exceptions to the maxim that all string theories are gravitational in nature. In that view, the fact that NCOS has a gravitational dual was believed to be directly analogous to the AdS/CFT correspondence. When NCOS theories were understood to be simply the particular classes of states of the underlying NR theory that include longitudinal D-branes, it was suggested that the duality between NCOS and the corresponding gravitational theory is not an instance of gauge/gravity-type duality, but of open-string/closed-string duality between D-branes and black branes. The present paper provides direct evidence in support of this perspective, by starting from a stack of D-branes in NR string theory and deriving the long-distance profile of the curved geometry in the corresponding black brane.


title: Quantum Random Number Generation with Partial Source Assumptions

abstract: Quantum random number generator harnesses the power of quantum mechanics to generate true random numbers, making it valuable for various scientific applications. However, real-world devices often suffer from imperfections that can undermine the integrity and privacy of generated randomness. To combat this issue, we present a novel quantum random number generator and experimentally demonstrate it. Our approach circumvents the need for exhaustive characterization of measurement devices, even in the presence of a quantum side channel. Additionally, we also do not require detailed characterization of the source, relying instead on reasonable assumptions about encoding dimension and noise constraints. Leveraging commercially available all-fiber devices, we achieve a randomness generation rate of 40 kbps.


title: Automorphisms of self-similar trees

abstract: We explicitly determine the automorphism groups of all self-similar trees (a.k.a. trees with finitely many cone types). We show that any such automorphism group is a direct limit of certain finite products of finite symmetric groups, which are parametrized by a certain deterministic finite automaton.


title: EndWatch: A Practical Method for Detecting Non-Termination in Real-World Software

abstract: Detecting non-termination is crucial for ensuring program correctness and security, such as preventing denial-of-service attacks. While termination analysis has been studied for many years, existing methods have limited scalability and are only effective on small programs. To address this issue, we propose a practical termination checking technique, called EndWatch, for detecting non-termination caused by infinite loops through testing. Specifically, we introduce two methods to generate non-termination oracles based on checking state revisits, i.e., if the program returns to a previously visited state at the same program location, it does not terminate. The non-termination oracles can be incorporated into testing tools (e.g., AFL used in this paper) to detect non-termination in large programs. For linear loops, we perform symbolic execution on individual loops to infer State Revisit Conditions (SRCs) and instrument SRCs into target loops. For non-linear loops, we instrument target loops for checking concrete state revisits during execution. We evaluated EndWatch on standard benchmarks with small-sized programs and real-world projects with large-sized programs. The evaluation results show that EndWatch is more effective than the state-of-the-art tools on standard benchmarks (detecting 87% of non-terminating programs while the best baseline detects only 67%), and useful in detecting non-termination in real-world projects (detecting 90% of known non-termination CVEs and 4 unknown bugs).


title: Automorphism groups of cocompact CAT(0) cube complexes and simplicity

abstract: We provide a systematic description of the automorphism groups of specially cocompact CAT(0) cube complexes. We show that these groups are topologically finitely generated, present a method to explicitly obtain generating sets, and prove a dichotomy on their size. Furthermore, we show that, under some extra assumptions, the normal subgroup known as Aut^+ is simple, non-discrete, and tdlc. In particular, we obtain a new class of simple, non-discrete, tdlc groups that are accessible to further study. Finally, we study the relative size of Aut^+ in the automorphism group, providing a sufficient condition for its closure to be finite index and presenting a common example where it is not even cocompact.


title: Analysis of Generalized Iteratively Regularized Landweber Iterations driven by data

abstract: We investigate generalized versions of the Iteratively Regularized Landweber Method, initially introduced in [Appl. Math. Optim., 38(1):45-68, 1998], to address linear and nonlinear ill-posed problems. Our approach is inspired by the data-driven perspective emphasized in the introduction by Aspri et al. [Numer. Funct. Anal. Optim., 41(10):1190-1227, 2020]. We provide a rigorous analysis establishing convergence and stability results and present numerical outcomes for linear operators, with the Radon transform serving as a prototype.


title: Modeling human activity-related spread of the spotted lanternfly (Lycorma delicatula) in the US

abstract: The spotted lanternfly (Lycorma delicatula) has recently spread from its native range to several other countries and forecasts predict that it may become a global invasive pest. In particular, since its confirmed presence in the United States in 2014 it has established itself as a major invasive pest in the Mid-Atlantic region where it is damaging both naturally occurring and commercially important farmed plants. Quarantine zones have been introduced to contain the infestation, but the spread to new areas continues. At present the pathways and drivers of spread are not well-understood. In particular, several human activity related factors have been proposed to contribute to the spread; however, which features of the current spread can be attributed to these factors remains unclear. Here we collect county level data on infestation status and four human activity related factors and use statistical methods to determine whether there is evidence for an association between the factors and infestation. Then we construct a mechanistic network model based on the factors found to be associated with infestation and use it to simulate local spread. We find that the model reproduces key features of the spread 2014 to 2021. In particular, the growth of the main infestation region and the opening of spread corridors in the westward and southwestern directions is consistent with data and the model accurately forecasts the correct infestation status at the county level in 2021 with $81\%$ accuracy. We then use the model to forecast the spread up to 2025 in a larger region. Given that this model is based on a few human activity related factors that can be targeted, it may prove useful in informing management and further modeling efforts related to the current spotted lanternfly infestation in the US and potentially for current and future invasions elsewhere globally.


title: PointJEM: Self-supervised Point Cloud Understanding for Reducing Feature Redundancy via Joint Entropy Maximization

abstract: Most deep learning-based point cloud processing methods are supervised and require large scale of labeled data. However, manual labeling of point cloud data is laborious and time-consuming. Self-supervised representation learning can address the aforementioned issue by learning robust and generalized representations from unlabeled datasets. Nevertheless, the embedded features obtained by representation learning usually contain redundant information, and most current methods reduce feature redundancy by linear correlation constraints. In this paper, we propose PointJEM, a self-supervised representation learning method applied to the point cloud field. PointJEM comprises an embedding scheme and a loss function based on joint entropy. The embedding scheme divides the embedding vector into different parts, each part can learn a distinctive feature. To reduce redundant information in the features, PointJEM maximizes the joint entropy between the different parts, thereby rendering the learned feature variables pairwise independent. To validate the effectiveness of our method, we conducted experiments on multiple datasets. The results demonstrate that our method can significantly reduce feature redundancy beyond linear correlation. Furthermore, PointJEM achieves competitive performance in downstream tasks such as classification and segmentation.


title: Probing CP Violation in Dark Sector through the Electron Electric Dipole Moment

abstract: The Two Higgs Doublet Model (2HDM) stands as a promising framework for exploring physics beyond the Standard Model (SM). Within this context, we explore the possibility that the two Higgs doublets may serve as a window into CP-violating dark sectors, neutral under the SM gauge groups. Specifically, our focus is on investigating the electric dipole moment (EDM) of the electron, generated solely by CP violation in the dark sector. We present a general formula for the electron EDM, without specifying the structure of the dark sectors, and discuss the current constraints on various dark sector models. It is noteworthy that even in the case of a CP-conserving 2HDM, the resulting electron EDM is capable of reaching the current experimental limit, with CP violation arising exclusively from the dark sectors. Furthermore, we introduce a heavy dark sector (HDS) approximation for the analytic calculation of the EDM, assuming that the dark sector particles are much heavier than the physical states in the 2HDM. This approximation yields simplified analytic results that are consistent with the full numerical calculations.


title: Online Vectorized HD Map Construction using Geometry

abstract: The construction of online vectorized High-Definition (HD) maps is critical for downstream prediction and planning. Recent efforts have built strong baselines for this task, however, shapes and relations of instances in urban road systems are still under-explored, such as parallelism, perpendicular, or rectangle-shape. In our work, we propose GeMap ($\textbf{Ge}$ometry $\textbf{Map}$), which end-to-end learns Euclidean shapes and relations of map instances beyond basic perception. Specifically, we design a geometric loss based on angle and distance clues, which is robust to rigid transformations. We also decouple self-attention to independently handle Euclidean shapes and relations. Our method achieves new state-of-the-art performance on the NuScenes and Argoverse 2 datasets. Remarkably, it reaches a 71.8% mAP on the large-scale Argoverse 2 dataset, outperforming MapTR V2 by +4.4% and surpassing the 70% mAP threshold for the first time. Code is available at https://github.com/cnzzx/GeMap


title: Topic and genre in dialogue

abstract: In this paper we argue that topic plays a fundamental role in conversations, and that the concept is needed in addition to that of genre to define interactions. In particular, the concepts of genre and topic need to be separated and orthogonally defined. This would enable modular, reliable and controllable flexible-domain dialogue systems.


title: Observations of super-resolution using phase-controlled coherent photons in a delayed-choice quantum eraser scheme

abstract: Super-resolution overcoming the standard quantum limit has been intensively studied for quantum sensing applications of precision target detection over the last decades. Not only higher-order entangled photons but also phase-controlled coherent photons have been used to demonstrate the super-resolution. Due to the extreme inefficiency of higher-order entangled photon-pair generation and ultralow signal-to-noise ratio, however, quantum sensing has been severely limited. Here, we report observations of coherently excited super-resolution using phase-controlled coherent photons in a delayed-choice quantum eraser scheme. Using phase manipulations of the quantum erasers, super-resolution has been observed for higher-order intensity correlations between them, satisfying the Heisenberg limit in phase resolution. This new type of precision phase-detection technique opens the door to practical applications of quantum sensing compatible with current technologies based on coherence optics.


title: Interpretable Mechanistic Representations for Meal-level Glycemic Control in the Wild

abstract: Diabetes encompasses a complex landscape of glycemic control that varies widely among individuals. However, current methods do not faithfully capture this variability at the meal level. On the one hand, expert-crafted features lack the flexibility of data-driven methods; on the other hand, learned representations tend to be uninterpretable which hampers clinical adoption. In this paper, we propose a hybrid variational autoencoder to learn interpretable representations of CGM and meal data. Our method grounds the latent space to the inputs of a mechanistic differential equation, producing embeddings that reflect physiological quantities, such as insulin sensitivity, glucose effectiveness, and basal glucose levels. Moreover, we introduce a novel method to infer the glucose appearance rate, making the mechanistic model robust to unreliable meal logs. On a dataset of CGM and self-reported meals from individuals with type-2 diabetes and pre-diabetes, our unsupervised representation discovers a separation between individuals proportional to their disease severity. Our embeddings produce clusters that are up to 4x better than naive, expert, black-box, and pure mechanistic features. Our method provides a nuanced, yet interpretable, embedding space to compare glycemic control within and across individuals, directly learnable from in-the-wild data.


title: GraNet: A Multi-Level Graph Network for 6-DoF Grasp Pose Generation in Cluttered Scenes

abstract: 6-DoF object-agnostic grasping in unstructured environments is a critical yet challenging task in robotics. Most current works use non-optimized approaches to sample grasp locations and learn spatial features without concerning the grasping task. This paper proposes GraNet, a graph-based grasp pose generation framework that translates a point cloud scene into multi-level graphs and propagates features through graph neural networks. By building graphs at the scene level, object level, and grasp point level, GraNet enhances feature embedding at multiple scales while progressively converging to the ideal grasping locations by learning. Our pipeline can thus characterize the spatial distribution of grasps in cluttered scenes, leading to a higher rate of effective grasping. Furthermore, we enhance the representation ability of scalable graph networks by a structure-aware attention mechanism to exploit local relations in graphs. Our method achieves state-of-the-art performance on the large-scale GraspNet-1Billion benchmark, especially in grasping unseen objects (+11.62 AP). The real robot experiment shows a high success rate in grasping scattered objects, verifying the effectiveness of the proposed approach in unstructured environments.


title: eROSITA studies of the Carina Nebula

abstract: During the first four all-sky surveys eRASS:4 carried out from December 2019 to 2021, the extended Roentgen Survey with an Imaging Telescope Array (eROSITA) on board Spektrum-Roentgen-Gamma (Spektr-RG, SRG) observed the Galactic HII region Carina nebula. We analysed the eRASS:4 data to study the distribution and the spectral properties of the hot interstellar plasma and the bright stellar sources in the Carina nebula. Spectral extraction regions of the diffuse emission were defined based on X-ray spectral morphology and multi-wavelength data. The spectra were fit with a combination of thermal and non-thermal emission models. X-ray bright point sources in the Carina nebula are the colliding wind binary $\eta$ Car, several O stars, and Wolf-Rayet (WR) stars. We extracted the spectrum of the brightest stellar sources, which can be well fit with a multi-component thermal plasma model. The spectra of the diffuse emission in the brighter parts of the Carina nebula is well reproduced by two thermal models, a lower-temperature component ($\sim$0.2 keV) and a higher-temperature component (0.6 - 0.8 keV). An additional non-thermal component dominates the emission above $\sim$1 keV in the central region around $\eta$ Car and the other massive stars. Significant orbital variation of the X-ray flux was measured for $\eta$ Car, WR22 and WR25. $\eta$ Car requires an additional time-variable thermal component in the spectral model, which is associated to the wind-wind-collision zone. Properties like temperature, pressure, and luminosity of the X-ray emitting plasma in the Carina nebula derived from the eROSITA data are consistent with theoretical calculations of emission from superbubbles. It confirms that the X-ray emission is caused by the hot plasma inside the Carina nebula which has been shocked-heated by the stellar winds of the massive stars, in particular, of $\eta$ Car.


title: Identifying hubs in directed networks

abstract: Nodes in networks that exhibit high connectivity, also called ``hubs'', play a critical role in determining the structural and functional properties of networked systems. However, there is no clear definition of what constitutes a hub node in a network, and the classification of network hubs in existing work has either been purely qualitative or relies on ad hoc criteria for thresholding continuous data that do not generalize well to networks with certain degree sequences. Here we develop a set of efficient nonparametric methods that classify hub nodes in directed networks using the Minimum Description Length principle, effectively providing a clear and principled definition for network hubs. We adapt our methods to both unweighted and weighted networks and demonstrate them in a range of example applications using real and synthetic network data.


title: Uncertainty Propagation on Unimodular Matrix Lie Groups

abstract: This paper addresses uncertainty propagation on unimodular matrix Lie groups that have a surjective exponential map. We derive the exact formula for the propagation of mean and covariance in a continuous-time setting from the governing Fokker-Planck equation. Two approximate propagation methods are discussed based on the exact formula. One uses numerical quadrature and another utilizes the expansion of moments. A closed-form second-order propagation formula is derived. We apply the general theory to the joint attitude and angular momentum uncertainty propagation problem and numerical experiments demonstrate two approximation methods. These results show that our new methods have high accuracy while being computationally efficient.


title: Gravitational Wave as a Probe of Light Feebly Interacting Dark Matter

abstract: Light feebly interacting dark matter is widely predicted in a plethora of new physics models. However, due to very feeble couplings with the Standard Model particles, its relic density produced via the relativistic thermal freeze-out process easily exceeds the observed value. The entropy dilution in an early matter-dominated era provides an attractive mechanism for solving such an overabundance problem. In this work, we note that this dark matter dilution mechanism will lead to two distinctive kinks in the primordial GW spectrum, whose frequencies strongly correlate with the DM mass. We show that the GW detectors, such as Cosmic Explorer (CE) and Big Bang Observer (BBO), can measure the kinks in the primordial GW spectrum and will offer a new avenue to probe light feebly interacting dark matter.


title: PointMoment:Mixed-Moment-based Self-Supervised Representation Learning for 3D Point Clouds

abstract: Large and rich data is a prerequisite for effective training of deep neural networks. However, the irregularity of point cloud data makes manual annotation time-consuming and laborious. Self-supervised representation learning, which leverages the intrinsic structure of large-scale unlabelled data to learn meaningful feature representations, has attracted increasing attention in the field of point cloud research. However, self-supervised representation learning often suffers from model collapse, resulting in reduced information and diversity of the learned representation, and consequently degrading the performance of downstream tasks. To address this problem, we propose PointMoment, a novel framework for point cloud self-supervised representation learning that utilizes a high-order mixed moment loss function rather than the conventional contrastive loss function. Moreover, our framework does not require any special techniques such as asymmetric network architectures, gradient stopping, etc. Specifically, we calculate the high-order mixed moment of the feature variables and force them to decompose into products of their individual moment, thereby making multiple variables more independent and minimizing the feature redundancy. We also incorporate a contrastive learning approach to maximize the feature invariance under different data augmentations of the same point cloud. Experimental results show that our approach outperforms previous unsupervised learning methods on the downstream task of 3D point cloud classification and segmentation.


title: On the variants of SVM methods applied to GPR data to classify tack coat characteristics in French pavements: two experimental case studies

abstract: Among the commonly used non-destructive techniques, the Ground Penetrating Radar (GPR) is one of the most widely adopted today for assessing pavement conditions in France. However, conventional radar systems and their forward processing methods have shown their limitations for the physical and geometrical characterization of very thin layers such as tack coats. However, the use of Machine Learning methods applied to GPR with an inverse approach showed that it was numerically possible to identify the tack coat characteristics despite masking effects due to low timefrequency resolution noted in the raw B-scans. Thus, we propose in this paper to apply the inverse approach based on Machine Learning, already validated in previous works on numerical data, on two experimental cases with different pavement structures. The first case corresponds to a validation on known pavement structures on the Gustave Eiffel University (Nantes, France) with its pavement fatigue carousel and the second case focuses on a new real road in Vend{\'e}e department (France). In both case studies, the performances of SVM/SVR methods showed the efficiency of supervised learning methods to classify and estimate the emulsion proportioning in the tack coats.


title: Large Non-Volatile Frequency Tuning of Spin Hall Nano-Oscillators using Circular Memristive Nano-Gates

abstract: Spin Hall nano oscillators (SHNOs) are promising candidates for neuromorphic computing due to their miniaturized dimensions, non-linearity, fast dynamics, and ability to synchronize in long chains and arrays. However, tuning the individual SHNOs in large chains/arrays, which is key to implementing synaptic control, has remained a challenge. Here, we demonstrate circular memristive nano-gates, both precisely aligned and shifted with respect to nano-constriction SHNOs of W/CoFeB/HfOx, with increased quality of the device tunability. Gating at the exact center of the nano-constriction region is found to cause irreversible degradation to the oxide layer, resulting in a permanent frequency shift of the auto-oscillating modes. As a remedy, gates shifted outside of the immediate nano-constriction region can tune the frequency dramatically (>200 MHz) without causing any permanent change to the constriction region. Circular memristive nano-gates can, therefore, be used in SHNO chains/arrays to manipulate the synchronization states precisely over large networks of oscillators.


title: A unified linear intrinsic alignment model for elliptical and disc galaxies and the resulting ellipticity spectra

abstract: Alignments of spiral galaxies were thought to result from tidal torquing, where tidal field of the cosmic large-scale structure exert torquing moments onto dark matter haloes, determining their angular momentum and ultimately the orientation of galactic discs. In this model, resulting intrinsic ellipticity correlations are typically present on small scales, but neither observations nor simulations have found empirical evidence; instead, simulations point at the possibility that alignments of disc galaxies follow a similar alignment model as elliptical galaxies, but with a weaker alignment amplitude. In our article we make the case for the theory of linear alignments resulting from tidal distortions of the galactic disc, investigate the physical properties of this model and derive the resulting angular ellipticity spectra, as they would appear as a contribution to weak gravitational lensing in surveys such as Euclid's. We discuss in detail on the statistical and physical properties of tidally induced alignments in disc galaxies, as they are relevant for mitigation of alignment contamination in weak lensing data, comment on the consistency between the alignment amplitude in spiral and elliptical galaxies and finally, estimate their observability with an Euclid-like survey.


title: Calibrating Figures

abstract: It is known that a camera can be calibrated using three pictures of either squares, spheres, or surfaces of revolution. We give a new method to calibrate a camera with the picture of a single torus.


title: Homological stability for the space of hypersurfaces with marked points

abstract: We study the space of smooth marked hypersurfaces in a given linear system. Specifically, we prove a homology h-principle to compare it with a space of sections of an appropriate jet bundle. Using rational models, we compute its rational cohomology in a range of degrees, and deduce a homological stability result for hypersurfaces of increasing degree. We also describe the Hodge weights on the stable cohomology, and thereby connect our topological result to motivic results of Howe.


title: Bile Duct Segmentation Methods Under 3D Slicer Applied to ERCP: Advantages and Disadvantages

abstract: This article presents an evaluation of biliary tract segmentation methods used for 3D reconstruction, which may be very usefull in various critical interventions, such as endoscopic retrograde cholangiopancreatography (ERCP), using the 3D Slicer software. This article provides an assessment of biliary tract segmentation techniques employed for 3D reconstruction, which can prove highly valuable in diverse critical procedures like endoscopic retrograde cholangiopancreatography (ERCP) through the utilization of 3D Slicer software. Three different methods, namely thresholding, flood filling, and region growing, were assessed in terms of their advantages and disadvantages. The study involved 10 patient cases and employed quantitative indices and qualitative evaluation to assess the segmentations obtained by the different segmentation methods against ground truth. The results indicate that the thresholding method is almost manual and time-consuming, while the flood filling method is semi-automatic and also time-consuming. Although both methods improve segmentation quality, they are not reproducible. Therefore, an automatic method based on region growing was developed to reduce segmentation time, albeit at the expense of quality. These findings highlight the pros and cons of different conventional segmentation methods and underscore the need to explore alternative approaches, such as deep learning, to optimize biliary tract segmentation in the context of ERCP.


title: RING-NeRF : Rethinking Inductive Biases for Versatile and Efficient Neural Fields

abstract: Recent advances in Neural Fields mostly rely on developing task-specific supervision which often complicates the models. Rather than developing hard-to-combine and specific modules, another approach generally overlooked is to directly inject generic priors on the scene representation (also called inductive biases) into the NeRF architecture. Based on this idea, we propose the RING-NeRF architecture which includes two inductive biases : a continuous multi-scale representation of the scene and an invariance of the decoder's latent space over spatial and scale domains. We also design a single reconstruction process that takes advantage of those inductive biases and experimentally demonstrates on-par performances in terms of quality with dedicated architecture on multiple tasks (anti-aliasing, few view reconstruction, SDF reconstruction without scene-specific initialization) while being more efficient. Moreover, RING-NeRF has the distinctive ability to dynamically increase the resolution of the model, opening the way to adaptive reconstruction.


title: On Geometries and Monodromies for Branes of Codimension Two

abstract: We study geometries for the NS5-, the KK5- and the $5^2_2$-branes of codimension two in type II and heterotic string theories. The geometries are classified by monodromies that each brane has. They are the $B$-, the general coordinate and the $\beta$-transformations of the spacetime metric, the $B$-field and the dilaton (and the gauge fields). We show that the monodromy nature appears also in the geometric quantities such as the curvature and the complex structures of spacetime. They are linearly realized in the doubled (generalized) structures in the doubled space.


title: Sub-nanosecond coherent optical manipulation of a single aromatic molecule at cryogenic temperature

abstract: Single molecules trapped in the solid state at liquid helium temperatures are promising quantum emitters for the development of quantum technologies owing to their remarkable photostability and their lifetime-limited optical coherence time of the order of 10 ns. The coherent preparation of their electronic state requires resonant excitation with a Rabi period much shorter than their optical coherence time. Sculpting the optical excitation with sharp edges and a high on-off intensity ratio ($\sim 3\times 10^5$) from a single-frequency laser beam, we demonstrate sub-nanosecond drive of a single dibenzanthanthrene molecule embedded in a naphthalene matrix at 3.2$^\circ$K, over more than 17 Rabi periods. With pulses tailored for a half-Rabi period, the electronic excited state is prepared with fidelity as high as 0.97. Using single-molecule Ramsey spectroscopy, we prove up to 5$^\circ$K that the optical coherence lifetime remains at its fundamental upper limit set by twice the excited-state lifetime, making single molecules suitable for quantum bit manipulations under standard cryogen-free cooling technologies.


title: Teaching Specific Scientific Knowledge into Large Language Models through Additional Training

abstract: Through additional training, we explore embedding specialized scientific knowledge into the Llama 2 Large Language Model (LLM). Key findings reveal that effective knowledge integration requires reading texts from multiple perspectives, especially in instructional formats. We utilize text augmentation to tackle the scarcity of specialized texts, including style conversions and translations. Hyperparameter optimization proves crucial, with different size models (7b, 13b, and 70b) reasonably undergoing additional training. Validating our methods, we construct a dataset of 65,000 scientific papers. Although we have succeeded in partially embedding knowledge, the study highlights the complexities and limitations of incorporating specialized information into LLMs, suggesting areas for further improvement.


title: KhabarChin: Automatic Detection of Important News in the Persian Language

abstract: Being aware of important news is crucial for staying informed and making well-informed decisions efficiently. Natural Language Processing (NLP) approaches can significantly automate this process. This paper introduces the detection of important news, in a previously unexplored area, and presents a new benchmarking dataset (Khabarchin) for detecting important news in the Persian language. We define important news articles as those deemed significant for a considerable portion of society, capable of influencing their mindset or decision-making. The news articles are obtained from seven different prominent Persian news agencies, resulting in the annotation of 7,869 samples and the creation of the dataset. Two challenges of high disagreement and imbalance between classes were faced, and solutions were provided for them. We also propose several learning-based models, ranging from conventional machine learning to state-of-the-art transformer models, to tackle this task. Furthermore, we introduce the second task of important sentence detection in news articles, as they often come with a significant contextual length that makes it challenging for readers to identify important information. We identify these sentences in a weakly supervised manner.


title: Generalized Hernandez-Leclerc modules and cluster algebras

abstract: We introduce generalized Hernandez-Leclerc modules over $U_q(\widehat{\mathfrak{sl}_{n+1}})$ as a generalization of Hernandez-Leclerc modules of type A, and prove that they are real and prime via monoidal categorifications of cluster algebras.


title: Darboux transformations of spacelike curves in the Lorentz-Minkowski plane

abstract: This paper concerns (Lorentz-)Darboux transformations in the Lorentz-Minkowski plane $\mathbb{R}^{1,1}$. We use the Penrose diagram for conformal compactification and show some unique properties of Darboux transformations of spacelike curves in $\mathbb{R}^{1,1}$, especially with regard to singularities and blowup. Finally, we make some comments on Darboux transformation of type-changing curves.


title: Tuning spinaron and Kondo resonances via quantum confinement

abstract: Controlling zero bias anomalies in magnetic atoms provides a promising strategy to engineer tunable quantum many-body excitations. Here we show how two different quantum impurities featuring spinaron and Kondo excitations can be controlled via quantum confinement engineering by using circular quantum corrals on a Ag(111) surface. In corrals built from both Ag and Co adatoms, the width of the zero bias anomaly in the central Co adatom oscillates as a function of corral radius with a period of half of the Ag(111) surface state wavelength. Parameters extracted for Co/Ag(111) show only small differences in extracted spinaron zero-bias anomaly between corral walls built from Ag or Co adatoms. In quantum corrals occupied with metal-free phthalocyanine, a $S=1/2$ Kondo system, we observe notable changes in the zero bias anomaly lineshape as a function of corral radius. Our results offer insight into many-body Kondo and spinaron resonances where the electronic density is controlled by confinement engineering.


title: Demand response for residential building heating: Effective Monte Carlo Tree Search control based on physics-informed neural networks

abstract: To reduce global carbon emissions and limit climate change, controlling energy consumption in buildings is an important piece of the puzzle. Here, we specifically focus on using a demand response (DR) algorithm to limit the energy consumption of a residential building's heating system while respecting user's thermal comfort. In that domain, Reinforcement learning (RL) methods have been shown to be quite effective. One such RL method is Monte Carlo Tree Search (MCTS), which has achieved impressive success in playing board games (go, chess). A particular advantage of MCTS is that its decision tree structure naturally allows to integrate exogenous constraints (e.g., by trimming branches that violate them), while conventional RL solutions need more elaborate techniques (e.g., indirectly by adding penalties in the cost/reward function, or through a backup controller that corrects constraint-violating actions). The main aim of this paper is to study the adoption of MCTS for building control, since this (to the best of our knowledge) has remained largely unexplored. A specific property of MCTS is that it needs a simulator component that can predict subsequent system states, based on actions taken. A straightforward data-driven solution is to use black-box neural networks (NNs). We will however extend a Physics-informed Neural Network (PiNN) model to deliver multi-timestep predictions, and show the benefit it offers in terms of lower prediction errors ($-$32\% MAE) as well as better MCTS performance ($-$4\% energy cost, $+$7\% thermal comfort) compared to a black-box NN. A second contribution will be to extend a vanilla MCTS version to adopt the ideas applied in AlphaZero (i.e., using learned prior and value functions and an action selection heuristic) to obtain lower computational costs while maintaining control performance.


title: Concatenated Backward Ray Mapping on the Compound Parabolic Concentrator

abstract: Concatenated backward ray mapping is an alternative for ray tracing in 2D. It is based on the phase-space description of an optical system. Phase space is the set of position and direction coordinates of light rays intersecting a surface. The original algorithm is limited to optical systems consisting of only straight surfaces; we generalize it to accommodate curved surfaces. The algorithm is applied to a standard optical system, the compound parabolic concentrator. We compare the accuracy and speed of the generalized algorithm, the original algorithm and Monte Carlo ray tracing. The results show that the generalized algorithm outperforms both other methods.


title: Lazy-k: Decoding for Constrained Token Classification

abstract: We explore the possibility of improving probabilistic models in structured prediction. Specifically, we combine the models with constrained decoding approaches in the context of token classification for information extraction. The decoding methods search for constraint-satisfying label-assignments while maximizing the total probability. To do this, we evaluate several existing approaches, as well as propose a novel decoding method called Lazy-$k$. Our findings demonstrate that constrained decoding approaches can significantly improve the models' performances, especially when using smaller models. The Lazy-$k$ approach allows for more flexibility between decoding time and accuracy. The code for using Lazy-$k$ decoding can be found here: https://github.com/ArthurDevNL/lazyk.


title: Bottom-Up Instance Segmentation of Catheters for Chest X-Rays

abstract: Chest X-ray (CXR) is frequently employed in emergency departments and intensive care units to verify the proper placement of central lines and tubes and to rule out related complications. The automation of the X-ray reading process can be a valuable support tool for non-specialist technicians and minimize reporting delays due to non-availability of experts. While existing solutions for automated catheter segmentation and malposition detection show promising results, the disentanglement of individual catheters remains an open challenge, especially in complex cases where multiple devices appear superimposed in the X-ray projection. Moreover, conventional top-down instance segmentation methods are ineffective on such thin and long devices, that often extend through the entire image. In this paper, we propose a deep learning approach based on associative embeddings for catheter instance segmentation, able to overcome those limitations and effectively handle device intersections.


title: Analysis of Linux-PRNG (Pseudo Random Number Generator)

abstract: The Linux pseudorandom number generator (PRNG) is a PRNG with entropy inputs and is widely used in many security-related applications and protocols. This PRNG is written as an open-source code which is subject to regular changes. It has been analysed in the works of Gutterman et al., Lacharme et al., while in the meantime, several changes have been applied to the code, to counter the attacks presented since then. Our work describes the Linux PRNG of kernel versions 5.3 and upwards. We discuss the PRNG architecture briefly and in detail about the entropy mixing function. Our goal is to study the entropy mixing function and analyse it over two properties, namely, injectivity and length of the longest chain. For this purpose, we will be using SAT solving and model counting over targetted formulas involving multiple states of the Linux entropy store.


title: Minimal slopes and bubbling for complex Hessian equations

abstract: The existence of smooth solutions to a broad class of complex Hessian equations is related to nonlinear Nakai type criteria on intersection numbers on Kahler manifolds. Such a Nakai criteria can be interpreted as a slope stability condition analogous to the slope stability for Hermitian vector bundles over Kahler manifolds. In the present work, we initiate a program to find canonical solutions to such equations in the unstable case when the Nakai criteria fails. Conjecturally such solutions should arise as limits of natural parabolic flows and should be minimisers of the corresponding moment-map energy functionals. We implement our approach for the J-equation and the deformed Hermitian Yang-Mills equation on surfaces and some examples with symmetry. We prove that there always exist unique canonical solutions to these two equations on Kahler surfaces in the unstable cases. Such canonical solutions with singularities are also shown to be the limits of the corresponding J-flow and the cotangent flow on certain projective bundles. We further present the bubbling phenomena for the J-equation by constructing minimizing sequences of the moment-map energy functionals, whose Gromov-Hausdorff limits are singular algebraic spaces.


title: Understanding Concepts in Graph Signal Processing for Neurophysiological Signal Analysis

abstract: Multivariate signals, which are measured simultaneously over time and acquired by sensor networks, are becoming increasingly common. The emerging field of graph signal processing (GSP) promises to analyse spectral characteristics of these multivariate signals, while at the same time taking the spatial structure between the time signals into account. A central idea in GSP is the graph Fourier transform, which projects a multivariate signal onto frequency-ordered graph Fourier modes, and can therefore be regarded as a spatial analog of the temporal Fourier transform. This chapter derives and discusses key concepts in GSP, with a specific focus on how the various concepts relate to one another. The experimental section focuses on the role of graph frequency in data classification, with applications to neuroimaging. To address the limited sample size of neurophysiological datasets, we introduce a minimalist simulation framework that can generate arbitrary amounts of data. Using this artificial data, we find that lower graph frequency signals are less suitable for classifying neurophysiological data as compared to higher graph frequency signals. Finally, we introduce a baseline testing framework for GSP. Employing this framework, our results suggest that GSP applications may attenuate spectral characteristics in the signals, highlighting current limitations of GSP for neuroimaging.


title: Evaluating the point cloud of individual trees generated from images based on Neural Radiance fields (NeRF) method

abstract: Three-dimensional (3D) reconstruction of trees has always been a key task in precision forestry management and research. Due to the complex branch morphological structure of trees themselves and the occlusions from tree stems, branches and foliage, it is difficult to recreate a complete three-dimensional tree model from a two-dimensional image by conventional photogrammetric methods. In this study, based on tree images collected by various cameras in different ways, the Neural Radiance Fields (NeRF) method was used for individual tree reconstruction and the exported point cloud models are compared with point cloud derived from photogrammetric reconstruction and laser scanning methods. The results show that the NeRF method performs well in individual tree 3D reconstruction, as it has higher successful reconstruction rate, better reconstruction in the canopy area, it requires less amount of images as input. Compared with photogrammetric reconstruction method, NeRF has significant advantages in reconstruction efficiency and is adaptable to complex scenes, but the generated point cloud tends to be noisy and low resolution. The accuracy of tree structural parameters (tree height and diameter at breast height) extracted from the photogrammetric point cloud is still higher than those of derived from the NeRF point cloud. The results of this study illustrate the great potential of NeRF method for individual tree reconstruction, and it provides new ideas and research directions for 3D reconstruction and visualization of complex forest scenes.


title: EnvGuard: Guaranteeing Environment-Centric Safety and Security Properties in Web of Things

abstract: Web of Things (WoT) technology facilitates the standardized integration of IoT devices ubiquitously deployed in daily environments, promoting diverse WoT applications to automatically sense and regulate the environment. In WoT environment, heterogeneous applications, user activities, and environment changes collectively influence device behaviors, posing risks of unexpected violations of safety and security properties. Existing work on violation identification primarily focuses on the analysis of automated applications, lacking consideration of the intricate interactions in the environment. Moreover, users' intention for violation resolving strategy is much less investigated. To address these limitations, we introduce EnvGuard, an environment-centric approach for property customizing, violation identification and resolution execution in WoT environment. We evaluated EnvGuard in two typical WoT environments. By conducting user studies and analyzing collected real-world environment data, we assess the performance of EnvGuard, and construct a dataset from the collected data to support environment-level violation identification. The results demonstrate the superiority of EnvGuard compared to previous state-of-the-art work, and confirm its usability, feasibility and runtime efficiency.


title: Implementing Digital Twin in Field-Deployed Optical Networks: Uncertain Factors, Operational Guidance, and Field-Trial Demonstration

abstract: Digital twin has revolutionized optical communication networks by enabling their full life-cycle management, including design, troubleshooting, optimization, upgrade, and prediction. While extensive literature exists on frameworks, standards, and applications of digital twin, there is a pressing need in implementing digital twin in field-deployed optical networks operating in real-world environments, as opposed to controlled laboratory settings. This paper addresses this challenge by examining the uncertain factors behind the inaccuracy of digital twin in field-deployed optical networks from three main challenges and proposing operational guidance for implementing accurate digital twin in field-deployed optical networks. Through the proposed guidance, we demonstrate the effective implementation of digital twin in a field-trial C+L-band optical transmission link, showcasing its capabilities in performance recovery in a fiber cut scenario.


title: A novel coupled-cluster singles and doubles implementation that combines the exploitation of point-group symmetry and Cholesky decomposition of the two-electron integrals

abstract: A novel implementation of the coupled-cluster singles and doubles (CCSD) approach is presented that is specifically tailored for the treatment of large, symmetric systems. It fully exploits Abelian point-group symmetry and the use of the Cholesky decomposition of the two-electron repulsion integrals. In accordance with modern CCSD algorithms, we propose two alternative strategies for the computation of the so-called particle-particle ladder term. The code is driven towards the optimal choice depending on the available hardware resources. As a large-scale application, we computed the frozen-core correlation energy of buckminsterfullerene (C$_{60}$) with a polarized valence triple-zeta basis set (240 correlated electrons in 1740 orbitals).


title: Beacon-enabled TDMA Ultraviolet Communication Network System Design and Realization

abstract: Nonline of sight (NLOS) ultraviolet (UV) scattering communication can serve as a good candidate for outdoor optical wireless communication (OWC) in the cases of non-perfect transmitter-receiver alignment and radio silence. We design and demonstrate a NLOS UV scattering communication network system in this paper, where a beacon-enabled time division multiple access (TDMA) scheme is adopted. In our system, LED and PMT are employed for transmitter and receiver devices, repectivey. Furthermore, we design algorithms for beacon transmission, beacon reception, time compensation, and time slot transition for hardware realization in field-programmable gate array (FPGA) board based on master-slave structure, where master node periodically transmits beacon signals to slave nodes. Experimental results are provided to evaluate the time synchronization error and specify the system key parameters for real-time implementation. We perform field tests for real-time communication network with the transmission range over 110 multiplied by 90 square meters, where the system throughput reaches 800kbps.


title: On $B$-root subgroups on horospherical varieties

abstract: Given a connected reductive algebraic group $G$ and a spherical $G$-variety $X$, a $B$-root subgroup on $X$ is a one-parameter additive group of automorphisms of $X$ normalized by a Borel subgroup $B \subset G$. We obtain a complete description of all $B$-root subgroups on a certain open subset of $X$. When $X$ is horospherical and either complete or contains a unique closed $G$-orbit, we determine all $G$-stable prime divisors in $X$ that can be connected with the open $G$-orbit via the action of a suitable $B$-root subgroup.


title: Riemannian Complex Matrix Convolution Network for PolSAR Image Classification

abstract: Recently, deep learning methods have achieved superior performance for Polarimetric Synthetic Aperture Radar(PolSAR) image classification. Existing deep learning methods learn PolSAR data by converting the covariance matrix into a feature vector or complex-valued vector as the input. However, all these methods cannot learn the structure of complex matrix directly and destroy the channel correlation. To learn geometric structure of complex matrix, we propose a Riemannian complex matrix convolution network for PolSAR image classification in Riemannian space for the first time, which directly utilizes the complex matrix as the network input and defines the Riemannian operations to learn complex matrix's features. The proposed Riemannian complex matrix convolution network considers PolSAR complex matrix endowed in Riemannian manifold, and defines a series of new Riemannian convolution, ReLu and LogEig operations in Riemannian space, which breaks through the Euclidean constraint of conventional networks. Then, a CNN module is appended to enhance contextual Riemannian features. Besides, a fast kernel learning method is developed for the proposed method to learn class-specific features and reduce the computation time effectively. Experiments are conducted on three sets of real PolSAR data with different bands and sensors. Experiments results demonstrates the proposed method can obtain superior performance than the state-of-the-art methods.


title: A Text-to-Text Model for Multilingual Offensive Language Identification

abstract: The ubiquity of offensive content on social media is a growing cause for concern among companies and government organizations. Recently, transformer-based models such as BERT, XLNET, and XLM-R have achieved state-of-the-art performance in detecting various forms of offensive content (e.g. hate speech, cyberbullying, and cyberaggression). However, the majority of these models are limited in their capabilities due to their encoder-only architecture, which restricts the number and types of labels in downstream tasks. Addressing these limitations, this study presents the first pre-trained model with encoder-decoder architecture for offensive language identification with text-to-text transformers (T5) trained on two large offensive language identification datasets; SOLID and CCTK. We investigate the effectiveness of combining two datasets and selecting an optimal threshold in semi-supervised instances in SOLID in the T5 retraining step. Our pre-trained T5 model outperforms other transformer-based models fine-tuned for offensive language detection, such as fBERT and HateBERT, in multiple English benchmarks. Following a similar approach, we also train the first multilingual pre-trained model for offensive language identification using mT5 and evaluate its performance on a set of six different languages (German, Hindi, Korean, Marathi, Sinhala, and Spanish). The results demonstrate that this multilingual model achieves a new state-of-the-art on all the above datasets, showing its usefulness in multilingual scenarios. Our proposed T5-based models will be made freely available to the community.


title: Balade newtonienne entre analyse et arithm\'etique (Newtonian promenade between analysis and arithmetic)

abstract: Invented by Kurt Hensel at the very end of 19th century on the model of power series in one indeterminate, the $p$-adic numbers have not only become an indispensable tool of contemporary arithmetic, but a research topic per se. In this text, stemming out two talks at the 2023 X-UPS lectures, I shall explain their construction, how they fit in a vaster framework, between analysis and arithmetic, where two constructions bearing the name of Isaac Newton play a central role : Newton's method and Newton's polygon. Invent\'es par Kurt Hensel \`a la toute fin du 19e si\`ecle sur le mod\`ele des s\'eries formelles en une ind\'etermin\'ee, les nombres $p$-adiques sont devenus non seulement un outil indispensable de l'arithm\'etique contemporaine, mais un sujet d'\'etude en soi. Dans ce texte, issu de deux expos\'es aux journ\'ees X-UPS 2023, j'expliquerai leur construction, comment ils s'ins\`erent dans un cadre plus vaste, entre analyse et arithm\'etique, o\`u deux constructions portant le nom d'Isaac Newton jouent un r\^ole central: la m\'ethode de Newton et la notion de polygone de Newton.


title: Geocoronal Solar Wind Charge Exchange Process Associated with the 2006-December-13 Coronal Mass Ejection Event

abstract: We report the discovery of a geocoronal solar wind charge exchange (SWCX) event corresponding to the well-known 2006 December 13th coronal mass ejection (CME) event. Strong evidence for the charge exchange origin of this transient diffuse emission is provided by prominent non-thermal emission lines at energies of $\rm O^{7+}$, $\rm Ne^{9+}$, $\rm Mg^{11+}$, $\rm Si^{12+}$, $\rm Si^{13+}$. Especially, a 0.53 keV emission line that most likely arises from the $\rm N^{5+}$ $1s^1 5p^1 \to 1s^2$ transition is detected. Previously, the forecastability of SWCX occurrence with proton flares has been disputed. In this particular event, we found that the SWCX signal coincided with the arrival of the magnetic cloud inside CME, triggered with a time delay after the proton flux fluctuation as the CME shock front passed through the Earth. Moreover, a spacecraft orbital modulation in SWCX light curve suggests that the emission arises close to the Earth. The line of sight was found to always pass through the northern magnetospheric cusp. The SWCX intensity was high when the line of sight passed the dusk side of the cusp, suggesting an azimuthal anisotropy in the flow of solar-wind ions inside the cusp. An axisymmetric SWCX emission model is found to underestimate the observed peak intensity by a factor of about 50. We suggest this discrepancy is related to the azimuthal anisotropy of the solar-wind flow in the cusp.

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


title: Strange higher-spin topological systems in 3D

abstract: Motivated by the generation of action principles from off-shell dualisation, we present a general class of free, topological theories in three dimensional Minkowski spacetime that exhibit higher-spin gauge invariance. In the spin-two case, we recover a dual reformulation of the triplet system already known, while the higher-spin systems that we obtain seem to be new. They are associated with wild quivers. We study in which situations these exotic (or strange) higher-spin models can be extended to dS${}_3$ and AdS${}_3$ backgrounds, revealing that the flat limit of such models, when they exist, admits a one-parameter freedom. Interactions are studied in the simplest higher-spin case featuring spin-2 and spin-3 fields. We then give several higher-spin generalisations of these strange systems.


title: Correlations for an anisotropic polarized stochastic gravitational wave background in pulsar timing arrays

abstract: The recent compelling observation of the nanohertz stochastic gravitational wave background has brought to light a new galactic arena to test gravity. In this paper, we derive a formula for the most general expression of the stochastic gravitational wave background correlation that could be tested with pulsar timing and future square kilometer arrays. Our expressions extends the harmonic space analysis, also often referred to as the power spectrum approach, to predict the correlation signatures of an anisotropic polarized stochastic gravitational wave background with subluminal tensor, vector, and scalar gravitational degrees of freedom. We present the first few nontrivial anisotropy and polarization signatures in the correlation and discuss their dependence on the gravitational wave speed and pulsar distances. Our results set up tests that could potentially be used to rigorously examine the isotropy of the stochastic gravitational wave background and strengthen the existing constraints on possible non-Einsteinian polarizations in the nanohertz gravitational wave regime.


title: Domination of subcubic planar graphs with large girth

abstract: Since Reed conjectured in 1996 that the domination number of a connected cubic graph of order $n$ is at most $\lceil \frac13 n \rceil$, the domination number of cubic graphs has been extensively studied. It is now known that the conjecture is false in general, but Henning and Dorbec showed that it holds for graphs with girth at least $9$. Zhu and Wu stated an analogous conjecture for 2-connected cubic planar graphs. In this paper, we present a new upper bound for the domination number of subcubic planar graphs: if $G$ is a subcubic planar graph with girth at least 8, then $\gamma(G) < n_0 + \frac{3}{4} n_1 + \frac{11}{20} n_2 + \frac{7}{20} n_3$, where $n_i$ denotes the number of vertices in $G$ of degree $i$, for $i \in \{0,1,2,3\}$. We also prove that if $G$ is a subcubic planar graph with girth at least 9, then $\gamma(G) < n_0 + \frac{13}{17} n_1 + \frac{9}{17} n_2 + \frac{6}{17} n_3$.


title: Measuring the arrival time of an electron wave packet using a dynamical potential barrier

abstract: A time-dependent potential barrier has been used to probe the arrival-time distribution of the wave packet of a hot electron by raising the barrier to block the packet upon arrival of the packet at the barrier. To see whether the barrier precisely detects the distribution, it is necessary to study an error caused by a finite rising speed of the barrier. For this purpose, we study transmission of an electron wave packet through the dynamical barrier, and identify two regimes, the semiclassical regime and the quasistatic regime. In each regime, we calculate the arrival-time distribution reconstructed by using the barrier and quantify the error in the detection, the difference of the temporal uncertainty between the wave-packet distribution and the reconstructed distribution. Our finding suggests that for precise detection, the time scale, in which the barrier height rises over the energy distribution of the wave packet and the tunneling energy window of the barrier, has to be much shorter than the temporal uncertainty of the wave packet. The analytical results are confirmed with numerical calculations.


title: An Infinite-Width Analysis on the Jacobian-Regularised Training of a Neural Network

abstract: The recent theoretical analysis of deep neural networks in their infinite-width limits has deepened our understanding of initialisation, feature learning, and training of those networks, and brought new practical techniques for finding appropriate hyperparameters, learning network weights, and performing inference. In this paper, we broaden this line of research by showing that this infinite-width analysis can be extended to the Jacobian of a deep neural network. We show that a multilayer perceptron (MLP) and its Jacobian at initialisation jointly converge to a Gaussian process (GP) as the widths of the MLP's hidden layers go to infinity and characterise this GP. We also prove that in the infinite-width limit, the evolution of the MLP under the so-called robust training (i.e., training with a regulariser on the Jacobian) is described by a linear first-order ordinary differential equation that is determined by a variant of the Neural Tangent Kernel. We experimentally show the relevance of our theoretical claims to wide finite networks, and empirically analyse the properties of kernel regression solution to obtain an insight into Jacobian regularisation.


title: Three-dimensional harmonic oscillator as a quantum Otto engine

abstract: A quantum Otto engine based on a three-dimensional harmonic oscillator is proposed. One of the modes of this oscillator functions as the working fluid, while the other two play the role of baths. The coupling between the working fluid and the baths is controlled using an external central potential. All four strokes of the engine are simulated numerically, exploring the nonadiabatic effects in the compression and expansion phases, as well as the energy transfer during the working fluid's contact with the baths. The efficiency and power of several realizations of the proposed engine are also computed with the former agreeing well with the theoretical predictions for the quantum Otto cycle.


title: A scalable narrow linewidth high power laser for barium ion optical qubit

abstract: The linewidth of a laser plays a pivotal role in ensuring the high fidelity of ion trap quantum processors and optical clocks. As quantum computing endeavors scale up in qubit number, the demand for higher laser power with ultra-narrow linewidth becomes imperative, and leveraging fiber amplifiers emerges as a promising approach to meet these requirements. This study explores the effectiveness of Thulium-doped fiber amplifiers (TDFAs) as a viable solution for addressing optical qubit transitions in trapped barium ion qubits. We demonstrate that by performing high-fidelity gates on the qubit while introducing minimal intensity noise, TDFAs do not significantly broaden the linewidth of the seed lasers. We employed a Voigt fitting scheme in conjunction with a delayed self-heterodyne method to accurately measure the linewidth independently, corroborating our findings through quadrupole spectroscopy with trapped barium ions. Our results show linewidth values of $160 \pm 15$ Hz and $156 \pm 16$ Hz, respectively, using these two methods, underscoring the reliability of our measurement techniques. The slight variation between the two methods can be attributed to factors such as amplified spontaneous emission in the TDFA or the influence of 1/f noise within the heterodyne setup delay line. These contribute to advancing our understanding of laser linewidth control in the context of ion trap quantum computing as well as stretching the availability of narrow linewidth, high-power tunable lasers beyond the C-band.


title: Relaxation systems and cyclic monotonicity

abstract: It is shown that an LTI system is a relaxation system if and only if its Hankel operator is cyclic monotone. Cyclic monotonicity of the Hankel operator implies the existence of a storage function whose gradient is the Hankel operator. This storage is a function of past inputs alone, is independent of the state space realization, and admits a generalization to nonlinear circuit elements.


title: Excitations of a binary supersolid

abstract: We predict a rich excitation spectrum of a binary dipolar supersolid in a linear crystal geometry, where the ground state consists of two partially immiscible components with alternating, interlocking domains. We identify three Goldstone branches, each with first-sound, second-sound or spin-sound character. In analogy with a diatomic crystal, the resulting lattice has a two-domain primitive basis and we find that the crystal (first-sound-like) branch is split into optical and acoustic phonons. We also find a spin-Higgs branch that is associated with the supersolid modulation amplitude.


title: Action Scene Graphs for Long-Form Understanding of Egocentric Videos

abstract: We present Egocentric Action Scene Graphs (EASGs), a new representation for long-form understanding of egocentric videos. EASGs extend standard manually-annotated representations of egocentric videos, such as verb-noun action labels, by providing a temporally evolving graph-based description of the actions performed by the camera wearer, including interacted objects, their relationships, and how actions unfold in time. Through a novel annotation procedure, we extend the Ego4D dataset by adding manually labeled Egocentric Action Scene Graphs offering a rich set of annotations designed for long-from egocentric video understanding. We hence define the EASG generation task and provide a baseline approach, establishing preliminary benchmarks. Experiments on two downstream tasks, egocentric action anticipation and egocentric activity summarization, highlight the effectiveness of EASGs for long-form egocentric video understanding. We will release the dataset and the code to replicate experiments and annotations.


title: O'Neill's Theorem for Games

abstract: We present an analog of O'Neill's Theorem (Theorem 5.2 in [17]) for finite games, which reveals a picture of the structure of equilibria under payoff perturbations in finite games.


title: PS$^3$: Precise Patch Presence Test based on Semantic Symbolic Signature

abstract: During software development, vulnerabilities have posed a significant threat to users. Patches are the most effective way to combat vulnerabilities. In a large-scale software system, testing the presence of a security patch in every affected binary is crucial to ensure system security. Identifying whether a binary has been patched for a known vulnerability is challenging, as there may only be small differences between patched and vulnerable versions. Existing approaches mainly focus on detecting patches that are compiled in the same compiler options. However, it is common for developers to compile programs with very different compiler options in different situations, which causes inaccuracy for existing methods. In this paper, we propose a new approach named PS3, referring to precise patch presence test based on semantic-level symbolic signature. PS3 exploits symbolic emulation to extract signatures that are stable under different compiler options. Then PS3 can precisely test the presence of the patch by comparing the signatures between the reference and the target at semantic level. To evaluate the effectiveness of our approach, we constructed a dataset consisting of 3,631 (CVE, binary) pairs of 62 recent CVEs in four C/C++ projects. The experimental results show that PS3 achieves scores of 0.82, 0.97, and 0.89 in terms of precision, recall, and F1 score, respectively. PS3 outperforms the state-of-the-art baselines by improving 33% in terms of F1 score and remains stable in different compiler options.


title: On Weighted $L^{p}$-Sobolev Estimates for Solutions of the $\overline{\partial}$-equation on Lineally Convex Domains of Finite Type and Application

abstract: We obtain some weighted $L^{p}$-Sobolev estimates with gain on $p$ and the weight for solutions of the $\overline{\partial}$-equation in lineally convex domains of finite type in $\mathbb{C}^{n}$ and apply them to obtain weighted $L^{p}$-Sobolev estimates for weighted Bergman projections of convex domains of finite type for quite general weights equivalent to a power of the distance to the boundary.


title: Diffused Task-Agnostic Milestone Planner

abstract: Addressing decision-making problems using sequence modeling to predict future trajectories shows promising results in recent years. In this paper, we take a step further to leverage the sequence predictive method in wider areas such as long-term planning, vision-based control, and multi-task decision-making. To this end, we propose a method to utilize a diffusion-based generative sequence model to plan a series of milestones in a latent space and to have an agent to follow the milestones to accomplish a given task. The proposed method can learn control-relevant, low-dimensional latent representations of milestones, which makes it possible to efficiently perform long-term planning and vision-based control. Furthermore, our approach exploits generation flexibility of the diffusion model, which makes it possible to plan diverse trajectories for multi-task decision-making. We demonstrate the proposed method across offline reinforcement learning (RL) benchmarks and an visual manipulation environment. The results show that our approach outperforms offline RL methods in solving long-horizon, sparse-reward tasks and multi-task problems, while also achieving the state-of-the-art performance on the most challenging vision-based manipulation benchmark.


title: High-speed impulsive stimulated Brillouin microscopy

abstract: Brillouin microscopy, which maps elastic modulus from the frequency shift of scattered light, has evolved to a faster speed for the investigation of rapid biomechanical changes. Impulsive stimulated Brillouin scattering (ISBS) spectroscopy has the potential to speed up measurement through the resonant amplification interaction from pulsed excitation and time-domain continuous detection. However, significant progress has not been achieved due to the limitation in signal-to-noise ratio (SNR) and the corresponding need for excessive averaging to maintain high spectral precision. Moreover, the limited spatial resolution also hinders its application in mechanical imaging. Here, by scrutinizing the SNR model, we design a high-speed ISBS microscope through multi-parameter optimization including phase, reference power, and acquisition time. Leveraging this, with the further assistance of the Matrix Pencil method for data processing, three-dimensional mechanical images are mapped under multiple contrast mechanisms for a millimeter-scale polydimethylsiloxane pattern immersed in methanol, enabling the identification of these two transparent materials without any contact or labeling. Our experimental results demonstrate the capability to maintain high spectral precision and resolution at a sub-millisecond integration time for one pixel. With a two-order improvement in the speed and a tenfold improvement in the spatial resolution over the state-of-the-art systems, this method makes it possible for ISBS microscopes to sensitively investigate rapid mechanical changes in time and space.


title: Generalized Contrastive Divergence: Joint Training of Energy-Based Model and Diffusion Model through Inverse Reinforcement Learning

abstract: We present Generalized Contrastive Divergence (GCD), a novel objective function for training an energy-based model (EBM) and a sampler simultaneously. GCD generalizes Contrastive Divergence (Hinton, 2002), a celebrated algorithm for training EBM, by replacing Markov Chain Monte Carlo (MCMC) distribution with a trainable sampler, such as a diffusion model. In GCD, the joint training of EBM and a diffusion model is formulated as a minimax problem, which reaches an equilibrium when both models converge to the data distribution. The minimax learning with GCD bears interesting equivalence to inverse reinforcement learning, where the energy corresponds to a negative reward, the diffusion model is a policy, and the real data is expert demonstrations. We present preliminary yet promising results showing that joint training is beneficial for both EBM and a diffusion model. GCD enables EBM training without MCMC while improving the sample quality of a diffusion model.


title: Averaging lemmas and hypoellipticity

abstract: We use the methods of commutator and fundamental solutions to establish averaging lemmas and hypoelliptic estimates for purely kinetic transport equations. Assuming certain amount of velocity regularity for solutions, we extend our analysis using the commutator method to derive the averaging and hypoelliptic regularity properties for kinetic equations in the presence of general inhomogeneous flows.


title: Connected Dominating Sets in Triangulations

abstract: We show that every $n$-vertex triangulation has a connected dominating set of size at most $10n/21$. Equivalently, every $n$ vertex triangulation has a spanning tree with at least $11n/21$ leaves. Prior to the current work, the best known bounds were $n/2$, which follows from work of Albertson, Berman, Hutchinson, and Thomassen (J. Graph Theory \textbf{14}(2):247--258). One immediate consequence of this result is an improved bound for the SEFENOMAP graph drawing problem of Angelini, Evans, Frati, and Gudmundsson (J. Graph Theory \textbf{82}(1):45--64). As a second application, we show that for every set $P$ of $\lceil 11n/21\rceil$ points in $\R^2$ every $n$-vertex planar graph has a one-bend non-crossing drawing in which some set of $11n/21$ vertices is drawn on the points of $P$. The main result extends to $n$-vertex triangulations of genus-$g$ surfaces, and implies that these have connected dominating sets of size at most $10n/21+O(\sqrt{gn})$.