title: Tracking the motion of a shock along a channel in the low solar corona

abstract: Shock waves are excited by coronal mass ejections (CMEs) and large-scale extreme-ultraviolet (EUV) wave fronts and can result in low-frequency radio emission under certain coronal conditions. In this work, we investigate a moving source of low-frequency radio emission as a CME and an associated EUV wave front move along a channel of a lower density, magnetic field, and Alfv\'en speed in the solar corona. Observations from the Atmospheric Imaging Assembly on board the Solar Dynamics Observatory, the Nan\c{c}ay Radio Heliograph (NRH), and the Irish Low Frequency Array(I-LOFAR) were analysed. Differential emission measure maps were generated to determine densities and Alfv\'en maps, and the kinematics of the EUV wave front was tracked using CorPITA. The radio sources' positions and velocity were calculated from NRH images and I-LOFAR dynamic spectra. The EUV wave expanded radially with a uniform velocity of $\sim$ 500 km s$^{-1}$. However, the radio source was observed to be deflected and appeared to move along a channel of a lower Alfv\'en speed, abruptly slowing from 1700 km s$^{-1}$ to 250 km s$^{-1}$ as it entered a quiet-Sun region. A shock wave with an apparent radial velocity of > 420 km s$^{-1}$ was determined from the drift rate of the associated Type II radio burst. The apparent motion of the radio source may have resulted from a wave front moving along a coronal wave guide or by different points along the wave front emitting at locations with favourable conditions for shock formation.


title: CANOS: A Fast and Scalable Neural AC-OPF Solver Robust To N-1 Perturbations

abstract: Optimal Power Flow (OPF) refers to a wide range of related optimization problems with the goal of operating power systems efficiently and securely. In the simplest setting, OPF determines how much power to generate in order to minimize costs while meeting demand for power and satisfying physical and operational constraints. In even the simplest case, power grid operators use approximations of the AC-OPF problem because solving the exact problem is prohibitively slow with state-of-the-art solvers. These approximations sacrifice accuracy and operational feasibility in favor of speed. This trade-off leads to costly "uplift payments" and increased carbon emissions, especially for large power grids. In the present work, we train a deep learning system (CANOS) to predict near-optimal solutions (within 1% of the true AC-OPF cost) without compromising speed (running in as little as 33--65 ms). Importantly, CANOS scales to realistic grid sizes with promising empirical results on grids containing as many as 10,000 buses. Finally, because CANOS is a Graph Neural Network, it is robust to changes in topology. We show that CANOS is accurate across N-1 topological perturbations of a base grid typically used in security-constrained analysis. This paves the way for more efficient optimization of more complex OPF problems which alter grid connectivity such as unit commitment, topology optimization and security-constrained OPF.


title: Language Models for Text Classification: Is In-Context Learning Enough?

abstract: Recent foundational language models have shown state-of-the-art performance in many NLP tasks in zero- and few-shot settings. An advantage of these models over more standard approaches based on fine-tuning is the ability to understand instructions written in natural language (prompts), which helps them generalise better to different tasks and domains without the need for specific training data. This makes them suitable for addressing text classification problems for domains with limited amounts of annotated instances. However, existing research is limited in scale and lacks understanding of how text generation models combined with prompting techniques compare to more established methods for text classification such as fine-tuning masked language models. In this paper, we address this research gap by performing a large-scale evaluation study for 16 text classification datasets covering binary, multiclass, and multilabel problems. In particular, we compare zero- and few-shot approaches of large language models to fine-tuning smaller language models. We also analyse the results by prompt, classification type, domain, and number of labels. In general, the results show how fine-tuning smaller and more efficient language models can still outperform few-shot approaches of larger language models, which have room for improvement when it comes to text classification.


title: Rapid non-destructive inspection of sub-surface defects in 3D printed alumina through 30 layers with 7 {\mu}m depth resolution

abstract: The use of additive manufacturing (AM) processes for industrial fabrication has grown rapidly over the last ten years. The most well-known AM technologies are fused deposition modelling and stereolithography techniques. One particular industry where 3D printing is advantageous over traditional fabrication techniques is within ceramic components due to its flexibility. To establish a new and improved level of print quality and reduce resource consumption in the 3D printing ceramics industry, there is a need for fast integrated, sub-surface and non-destructive inspection (NDI) with high resolution. Several techniques have already been developed for high-resolution NDI, such as X-ray computed tomography (XCT), but none of them are both fast, integrable, and non-destructive while allowing deep penetration with high resolution. In this study, we demonstrate sub-surface monitoring of 3D printed alumina parts to a depth of $\sim$0.7 mm in images of 400$\times$2048 pixels with a lateral resolution of 30$~\mu$m and depth (or axial) resolution of 7$~\mu$m . The results were achieved using mid-infrared optical coherence tomography (MIR OCT) based on a MIR supercontinuum laser with a 4$~\mu$m center wavelength. We find that it is possible to detect individual printed ceramic layers and track predefined defects through all four processing steps: green, preconditioned, debinded, and sintered. Our results also demonstrate how a defect in the green phase could affect the final product. Based on the understanding of how defects develop in maturing printed parts, we pave the way for NDI integration in AM, which can be combined with artificial intelligence and machine learning algorithms for automatic defect classification in volume production of a new standard of high quality ceramic components.


title: Cover times of the massive random walk loop soup

abstract: We study cover times of subsets of ${\mathbb Z}^2$ by a two-dimensional massive random walk loop soup. We consider a sequence of subsets $A_n \subset {\mathbb Z}^2$ such that $|A_n| \to \infty$ and determine the distributional limit of their cover times ${\mathcal T}(A_n).$ We allow the killing rate $\kappa_n$ (or equivalently the ``mass'') of the loop soup to depend on the size of the set $A_n$ to be covered. In particular, we determine the limiting behavior of the cover times for inverse killing rates all the way up to $\kappa_n^{-1}=|A_n|^{1-8/(\log \log |A_n|)},$ showing that it can be described by a Gumbel distribution. Since a typical loop in this model will have length at most of order $\kappa_n^{-1/2}=|A_n|^{1/2},$ if $\kappa_n^{-1}$ exceeded $|A_n|,$ the cover times of all points in a tightly packed set $A_n$ (i.e. a square or close to a ball) would presumably be heavily correlated, complicating the analysis. Our result comes close to this extreme case.


title: DiffFAE: Advancing High-fidelity One-shot Facial Appearance Editing with Space-sensitive Customization and Semantic Preservation

abstract: Facial Appearance Editing (FAE) aims to modify physical attributes, such as pose, expression and lighting, of human facial images while preserving attributes like identity and background, showing great importance in photograph. In spite of the great progress in this area, current researches generally meet three challenges: low generation fidelity, poor attribute preservation, and inefficient inference. To overcome above challenges, this paper presents DiffFAE, a one-stage and highly-efficient diffusion-based framework tailored for high-fidelity FAE. For high-fidelity query attributes transfer, we adopt Space-sensitive Physical Customization (SPC), which ensures the fidelity and generalization ability by utilizing rendering texture derived from 3D Morphable Model (3DMM). In order to preserve source attributes, we introduce the Region-responsive Semantic Composition (RSC). This module is guided to learn decoupled source-regarding features, thereby better preserving the identity and alleviating artifacts from non-facial attributes such as hair, clothes, and background. We further introduce a consistency regularization for our pipeline to enhance editing controllability by leveraging prior knowledge in the attention matrices of diffusion model. Extensive experiments demonstrate the superiority of DiffFAE over existing methods, achieving state-of-the-art performance in facial appearance editing.


title: When View- and Conflict-Robustness Coincide for Multiversion Concurrency Control

abstract: A DBMS allows trading consistency for efficiency through the allocation of isolation levels that are strictly weaker than serializability. The robustness problem asks whether, for a given set of transactions and a given allocation of isolation levels, every possible interleaved execution of those transactions that is allowed under the provided allocation, is always safe. In the literature, safe is interpreted as conflict-serializable (to which we refer here as conflict-robustness). In this paper, we study the view-robustness problem, interpreting safe as view-serializable. View-serializability is a more permissive notion that allows for a greater number of schedules to be serializable and aligns more closely with the intuitive understanding of what it means for a database to be consistent. However, view-serializability is more complex to analyze (e.g., conflict-serializability can be decided in polynomial time whereas deciding view-serializability is NP-complete). While conflict-robustness implies view-robustness, the converse does not hold in general. In this paper, we provide a sufficient condition for isolation levels guaranteeing that conflict- and view-robustness coincide and show that this condition is satisfied by the isolation levels occurring in Postgres and Oracle: read committed (RC), snapshot isolation (SI) and serializable snapshot isolation (SSI). It hence follows that for these systems, widening from conflict- to view-serializability does not allow for more sets of transactions to become robust. Interestingly, the complexity of deciding serializability within these isolation levels is still quite different. Indeed, deciding conflict-serializability for schedules allowed under RC and SI remains in polynomial time, while we show that deciding view-serializability within these isolation levels remains NP-complete.


title: Stable non-Hausdorff Riemannian foliations

abstract: This paper aims to construct foliations $\mathcal{F}$ that are stable, meaning that any other foliation close to $\mathcal{F}$ is conjugate to $\mathcal{F}$ by a diffeomorphism. Our main result yields examples of stable Riemannian foliations $\mathcal{F}$ with dense leaves. To our knowledge, these are the first examples of stable Riemannian foliations that are not Hausdorff.


title: Learning Goal-Directed Object Pushing in Cluttered Scenes with Location-Based Attention

abstract: Non-prehensile planar pushing is a challenging task due to its underactuated nature with hybrid-dynamics, where a robot needs to reason about an object's long-term behaviour and contact-switching, while being robust to contact uncertainty. The presence of clutter in the environment further complicates this task, introducing the need to include more sophisticated spatial analysis to avoid collisions. Building upon prior work on reinforcement learning (RL) with multimodal categorical exploration for planar pushing, in this paper we incorporate location-based attention to enable robust navigation through clutter. Unlike previous RL literature addressing this obstacle avoidance pushing task, our framework requires no predefined global paths and considers the target orientation of the manipulated object. Our results demonstrate that the learned policies successfully navigate through a wide range of complex obstacle configurations, including dynamic obstacles, with smooth motions, achieving the desired target object pose. We also validate the transferability of the learned policies to robotic hardware using the KUKA iiwa robot arm.


title: Radiative Acceleration and X-ray Spectrum of Outflowing Pure Electron-Positron Pair Fireball in Magnetar Bursts

abstract: One X-ray short burst accompanied by a Galactic fast radio burst has been detected so far, and its X-ray cut-off energy was significantly higher than that of other X-ray short bursts. Such X-ray bursts are thought to be emitted from a fireball in the magnetosphere of magnetars. If a fireball is formed around a magnetic pole, it expands and is accelerated under its radiation pressure, later producing photon emission and plasma outflow, which can be responsible for radio bursts. We numerically study the radiative acceleration of this outflowing fireball, which consists of electron-positron pairs and radiation, and obtain the spectrum of the escaped X-ray photons. We consistently take into account cyclotron resonant scattering, which enhances the scattering cross section resulting in a strong radiative force and high optical depth. Our results show that similar spectra to the observed X-ray spectrum in the Galactic fast radio burst are realized in outflowing fireballs and that the plasma outflow is simultaneously accelerated to a high Lorentz factor owing to cyclotron resonant scattering.


title: A scaling limit of the 2D parabolic Anderson model with exclusion interaction

abstract: We consider the (discrete) parabolic Anderson model $\partial u(t,x)/\partial t=\Delta u(t,x) +\xi_t(x) u(t,x)$, $t\geq 0$, $x\in \mathbb{Z}^d$. Here, the $\xi$-field is $\mathbb{R}$-valued, acting as a dynamic random environment, and $\Delta$ represents the discrete Laplacian. We focus on the case where $\xi$ is given by a rescaled symmetric simple exclusion process which converges to an Ornstein--Uhlenbeck process. By scaling the Laplacian diffusively and considering the equation on a torus, we demonstrate that in dimension $d=2$, when a suitably renormalized version of the above equation is considered, the sequence of solutions converges in law. This resolves an open problem from~\cite{EH23}, where a similar result was shown in the three-dimensional case. The novel contribution in the present work is the establishment of a gradient bound on the transition probability of a fixed but arbitrary number of labelled exclusion particles.


title: A family of Chatterjee's correlation coefficients and their properties

abstract: Quantifying the strength of functional dependence between random scalars $X$ and $Y$ is an important statistical problem. While many existing correlation coefficients excel in identifying linear or monotone functional dependence, they fall short in capturing general non-monotone functional relationships. In response, we propose a family of correlation coefficients $\xi^{(h,F)}_n$, characterized by a continuous bivariate function $h$ and a cdf function $F$. By offering a range of selections for $h$ and $F$, $\xi^{(h,F)}_n$ encompasses a diverse class of novel correlation coefficients, while also incorporates the Chatterjee's correlation coefficient (Chatterjee, 2021) as a special case. We prove that $\xi^{(h,F)}_n$ converges almost surely to a deterministic limit $\xi^{(h,F)}$ as sample size $n$ approaches infinity. In addition, under appropriate conditions imposed on $h$ and $F$, the limit $\xi^{(h,F)}$ satisfies the three appealing properties: (P1). it belongs to the range of $[0,1]$; (P2). it equals 1 if and only if $Y$ is a measurable function of $X$; and (P3). it equals 0 if and only if $Y$ is independent of $X$. As amplified by our numerical experiments, our proposals provide practitioners with a variety of options to choose the most suitable correlation coefficient tailored to their specific practical needs.


title: Revealing the Microscopic Mechanism of Elementary Vortex Pinning in Superconductors

abstract: Vortex pinning is a crucial factor that determines the critical current of practical superconductors. However, the understanding of its underlying mechanism has long been phenomenological without a clear microscopic description. Here using high-resolution scanning tunneling microscopy, we studied single vortex pinning induced by point defect in layered FeSe-based superconductors. We found the defect-vortex interaction drives low-energy vortex bound states away from EF, resulting a mini gap which effectively lowered the energy of vortex and caused the pinning. By measuring the local density-of-states, we directly obtained the elementary pinning energy and estimated the pinning force through the spatial gradient of pinning energy. The results align with the bulk critical current measurement. We further show that a general microscopic quantum model with considering defect-vortex interaction can well capture our observation. It indicates the local pairing near pinned vortex core is actually enhanced, which is beyond the traditional understanding that non-superconducting regions pin vortices. Our study thus revealed a general microscopic mechanism of vortex pinning in superconductors.


title: Predicting Perceived Gloss: Do Weak Labels Suffice?

abstract: Estimating perceptual attributes of materials directly from images is a challenging task due to their complex, not fully-understood interactions with external factors, such as geometry and lighting. Supervised deep learning models have recently been shown to outperform traditional approaches, but rely on large datasets of human-annotated images for accurate perception predictions. Obtaining reliable annotations is a costly endeavor, aggravated by the limited ability of these models to generalise to different aspects of appearance. In this work, we show how a much smaller set of human annotations ("strong labels") can be effectively augmented with automatically derived "weak labels" in the context of learning a low-dimensional image-computable gloss metric. We evaluate three alternative weak labels for predicting human gloss perception from limited annotated data. Incorporating weak labels enhances our gloss prediction beyond the current state of the art. Moreover, it enables a substantial reduction in human annotation costs without sacrificing accuracy, whether working with rendered images or real photographs.


title: How Private are DP-SGD Implementations?

abstract: We demonstrate a substantial gap between the privacy guarantees of the Adaptive Batch Linear Queries (ABLQ) mechanism under different types of batch sampling: (i) Shuffling, and (ii) Poisson subsampling; the typical analysis of Differentially Private Stochastic Gradient Descent (DP-SGD) follows by interpreting it as a post-processing of ABLQ. While shuffling-based DP-SGD is more commonly used in practical implementations, it has not been amenable to easy privacy analysis, either analytically or even numerically. On the other hand, Poisson subsampling-based DP-SGD is challenging to scalably implement, but has a well-understood privacy analysis, with multiple open-source numerically tight privacy accountants available. This has led to a common practice of using shuffling-based DP-SGD in practice, but using the privacy analysis for the corresponding Poisson subsampling version. Our result shows that there can be a substantial gap between the privacy analysis when using the two types of batch sampling, and thus advises caution in reporting privacy parameters for DP-SGD.


title: Depending on yourself when you should: Mentoring LLM with RL agents to become the master in cybersecurity games

abstract: Integrating LLM and reinforcement learning (RL) agent effectively to achieve complementary performance is critical in high stake tasks like cybersecurity operations. In this study, we introduce SecurityBot, a LLM agent mentored by pre-trained RL agents, to support cybersecurity operations. In particularly, the LLM agent is supported with a profile module to generated behavior guidelines, a memory module to accumulate local experiences, a reflection module to re-evaluate choices, and an action module to reduce action space. Additionally, it adopts the collaboration mechanism to take suggestions from pre-trained RL agents, including a cursor for dynamic suggestion taken, an aggregator for multiple mentors' suggestions ranking and a caller for proactive suggestion asking. Building on the CybORG experiment framework, our experiences show that SecurityBot demonstrates significant performance improvement compared with LLM or RL standalone, achieving the complementary performance in the cybersecurity games.


title: Chattering Phenomena in Time-Optimal Control for High-Order Chain-of-Integrators Systems with Full State Constraints

abstract: Time-optimal control for high-order chain-of-integrators systems with full state constraints remains an open and challenging problem in the optimal control theory domain. The behaviors of optimal control in high-order problems lack precision characterization, even where the existence of the chattering phenomenon remains unknown and overlooked. This paper establishes a theoretical framework for chattering phenomena in the considered problem, providing novel findings on the uniqueness of state constraints inducing chattering, the upper bound on switching times in an unconstrained arc during chattering, and the convergence of states and costates to the chattering limit point. For the first time, this paper proves the existence of the chattering phenomenon in the considered problem. The chattering optimal control for 4th order problems with velocity constraints is precisely solved, providing an approach to plan strictly time-optimal snap-limited trajectories. Other cases of order $n\leq4$ are proved not to allow chattering. The conclusions correct the longstanding misconception in the industry regarding the time-optimality of S-shaped trajectories with minimal switching times.


title: Analysis on reservoir activation with the nonlinearity harnessed from solution-processed MoS2 devices

abstract: Reservoir computing is a recurrent neural network that has been applied across various domains in machine learning. The implementation of reservoir computing, however, often demands heavy computations for activating the reservoir. Configuring physical reservoir networks and harnessing the nonlinearity from the underlying devices for activation is an emergent solution to address the computational challenge. Herein, we analyze the feasibility of employing the nonlinearity from solution-processed molybdenum disulfide (MoS2) devices for reservoir activation. The devices, fabricated using liquid-phase exfoliated MoS2, exhibit a high-order nonlinearity achieved by Stark modulation of the MoS2 material. We demonstrate that this nonlinearity can be fitted and employed as the activation function to facilitate reservoir computing implementation. Notably, owing to the high-order nonlinearity, the network exhibits long-term synchronization and robust generalization abilities for approximating complex dynamical systems. Given the remarkable reservoir activation capability, coupled with the scalability of the device fabrication, our findings open the possibility for the physical realization of lightweight, efficient reservoir computing for, for instance, signal classification, motion tracking, and pattern recognition of complex time series as well as secure cryptography. As an example, we show the network can be appointed to generate chaotic random numbers for secure data encryption.


title: Onboard deep lossless and near-lossless predictive coding of hyperspectral images with line-based attention

abstract: Deep learning methods have traditionally been difficult to apply to compression of hyperspectral images onboard of spacecrafts, due to the large computational complexity needed to achieve adequate representational power, as well as the lack of suitable datasets for training and testing. In this paper, we depart from the traditional autoencoder approach and we design a predictive neural network, called LineRWKV, that works recursively line-by-line to limit memory consumption. In order to achieve that, we adopt a novel hybrid attentive-recursive operation that combines the representational advantages of Transformers with the linear complexity and recursive implementation of recurrent neural networks. The compression algorithm performs prediction of each pixel using LineRWKV, followed by entropy coding of the residual. Experiments on the HySpecNet-11k dataset and PRISMA images show that LineRWKV is the first deep-learning method to outperform CCSDS-123.0-B-2 at lossless and near-lossless compression. Promising throughput results are also evaluated on a 7W embedded system.


title: Hierarchical Light Transformer Ensembles for Multimodal Trajectory Forecasting

abstract: Accurate trajectory forecasting is crucial for the performance of various systems, such as advanced driver-assistance systems and self-driving vehicles. These forecasts allow to anticipate events leading to collisions and, therefore, to mitigate them. Deep Neural Networks have excelled in motion forecasting, but issues like overconfidence and uncertainty quantification persist. Deep Ensembles address these concerns, yet applying them to multimodal distributions remains challenging. In this paper, we propose a novel approach named Hierarchical Light Transformer Ensembles (HLT-Ens), aimed at efficiently training an ensemble of Transformer architectures using a novel hierarchical loss function. HLT-Ens leverages grouped fully connected layers, inspired by grouped convolution techniques, to capture multimodal distributions, effectively. Through extensive experimentation, we demonstrate that HLT-Ens achieves state-of-the-art performance levels, offering a promising avenue for improving trajectory forecasting techniques.


title: Shape Optimization of Geometrically Nonlinear Modal Coupling Coefficients: An Application to MEMS Gyroscopes

abstract: Micro- and nanoelectromechanical system (MEMS and NEMS) resonators can exhibit rich nonlinear dynamics as they are often operated at large amplitudes with high quality factors and possess a high mode density with a variety of nonlinear modal couplings. Their impact is strongly influenced by internal resonance conditions and by the strength of the modal coupling coefficients. On one hand, strong nonlinear couplings are of academic interest and promise novel device concepts. On the other hand, however, they have the potential to disturb the linear system behavior on which industrial devices such as gyroscopes and micro mirrors are based on. In either case, being able to optimize the coupling coefficients by design is certainly beneficial. A main source of nonlinear modal couplings are geometric nonlinearities. In this work, we apply node-based shape optimization to tune the geometrically nonlinear 3-wave coupling coefficients of a MEMS gyroscope. We demonstrate that individual coupling coefficients can be tuned over several orders of magnitude by shape optimization, while satisfying typical constraints on manufacturability and operability of the devices. The optimized designs contain unintuitive geometrical features far away from any solution an experienced human MEMS or NEMS designer could have thought of. Thus, this work demonstrates the power of shape optimization for tailoring the complex nonlinear dynamic properties of MEMS and NEMS resonators.


title: Echoes in genus three of Teichm\"uller curves in genus two

abstract: We classify the Teichm\"uller curves in the moduli space of genus three Riemann surfaces $\mathcal M_3$ that are obtained by a covering construction from a primitive Teichm\"uller curve in $\mathcal M_2$. We describe the action on homology modulo two of the affine groups of translation surfaces generating these primitive curves. We also classify the $\mathrm{SL}_2(\mathbb Z)$-orbits of square-tiled surfaces in $\mathcal H(2, 2)$ that are a cover of a genus two one.


title: A Wall Crossing Formula for Motivic Enumerative Invariants

abstract: We prove an analog of the wall crossing formula for Welschinger invariants relating the difference of signed curve counting of real curves passing through configurations that differ by a pair of complex conjugated points, and a correspondence Welschinger invariant of the blow up. We prove this analogue for the motivic count of rational curves of fixed degree passing through a generic configuration of points, counted with a motivic multiplicity in the Grothendieck-Witt ring of a base field, extending the notions in the correspondence theorem between motivic invariants for $k$-rational point conditions and tropical curves. We use this formula to compute the degree 4 motivic enumerative invariants of the projective plane counting curves passing through configurations of points defined over quadratic extensions of a base field.


title: Ueda foliation problem for complex tori

abstract: We consider an embedded general complex torus $C_n$ into a complex manifold $M_{n+d}$ with a unitary flat normal bundle $N_C$. We show the existence of (non-singular) holomorphic foliation in a neighborhood of $C$ in $M$ having $C$ as leaf under some conditions.


title: Solution for Emotion Prediction Competition of Workshop on Emotionally and Culturally Intelligent AI

abstract: This report provide a detailed description of the method that we explored and proposed in the WECIA Emotion Prediction Competition (EPC), which predicts a person's emotion through an artistic work with a comment. The dataset of this competition is ArtELingo, designed to encourage work on diversity across languages and cultures. The dataset has two main challenges, namely modal imbalance problem and language-cultural differences problem. In order to address this issue, we propose a simple yet effective approach called single-multi modal with Emotion-Cultural specific prompt(ECSP), which focuses on using the single modal message to enhance the performance of multimodal models and a well-designed prompt to reduce cultural differences problem. To clarify, our approach contains two main blocks: (1)XLM-R\cite{conneau2019unsupervised} based unimodal model and X$^2$-VLM\cite{zeng2022x} based multimodal model (2) Emotion-Cultural specific prompt. Our approach ranked first in the final test with a score of 0.627.


title: Omega-categorical pseudofinite groups

abstract: We explore the interplay between omega-categoricity and pseudofiniteness for groups, conjecturing that omega-categorical pseudofinite groups are finite-by-abelian-by-finite. We show that the conjecture reduces to nilpotent p-groups of class 2, and give a proof that several of the known examples of omega-categorical p-groups satisfy the conjecture. In particular, we show by a direct counting argument that for any odd prime p the (omega-categorical) model companion of the theory of nilpotent class 2 exponent p groups, constructed by Saracino and Wood, is not pseudofinite, and that an omega-categorical group constructed by Baudisch with supersimple rank 1 theory is not pseudofinite. We also survey some scattered literature on omega-categorical groups over 50 years.


title: Simultaneous Diophantine approximation to points on the Veronese curve

abstract: We compute the Hausdorff dimension of the set of simultaneously $q^{-\lambda}$-well approximable points on the Veronese curve in $\mathbb{R}^n$ for $\lambda$ between $\frac{1}{n}$ and $\frac{2}{2n-1}$. For $n=3$, the same result is given for a wider range of $\lambda$ between $\frac13$ and $\frac12$. We also provide a nontrivial upper bound for this Hausdorff dimension in the case $\lambda\le \frac{2}{n}$. In the course of the proof we establish that the number of cubic polynomials of height at most $H$ and non-zero discriminant at most $D$ is bounded from above by $c(\epsilon) H^{2/3 + \epsilon} D^{5/6}$.


title: Foldings in relatively hyperbolic groups

abstract: Carrier graphs of groups representing subgroups of a given relatively hyperbolic groups are introduced and a combination theorem for relatively quasi-convex subgroups is proven. Subsequently a theory of folds for such carrier graphs is introduced and finiteness results for subgroups of locally relatively quasiconvex relatively hyperbolic groups and Kleinian groups are established.


title: Assessing the similarity of real matrices with arbitrary shape

abstract: Assessing the similarity of matrices is valuable for analyzing the extent to which data sets exhibit common features in tasks such as data clustering, dimensionality reduction, pattern recognition, group comparison, and graph analysis. Methods proposed for comparing vectors, such as cosine similarity, can be readily generalized to matrices. However, this approach usually neglects the inherent two-dimensional structure of matrices. Here, we propose singular angle similarity (SAS), a measure for evaluating the structural similarity between two arbitrary, real matrices of the same shape based on singular value decomposition. After introducing the measure, we compare SAS with standard measures for matrix comparison and show that only SAS captures the two-dimensional structure of matrices. Further, we characterize the behavior of SAS in the presence of noise and as a function of matrix dimensionality. Finally, we apply SAS to two use cases: square non-symmetric matrices of probabilistic network connectivity, and non-square matrices representing neural brain activity. For synthetic data of network connectivity, SAS matches intuitive expectations and allows for a robust assessment of similarities and differences. For experimental data of brain activity, SAS captures differences in the structure of high-dimensional responses to different stimuli. We conclude that SAS is a suitable measure for quantifying the shared structure of matrices with arbitrary shape.


title: Large Language Models Enhanced Collaborative Filtering

abstract: Recent advancements in Large Language Models (LLMs) have attracted considerable interest among researchers to leverage these models to enhance Recommender Systems (RSs). Existing work predominantly utilizes LLMs to generate knowledge-rich texts or utilizes LLM-derived embeddings as features to improve RSs. Although the extensive world knowledge embedded in LLMs generally benefits RSs, the application can only take limited number of users and items as inputs, without adequately exploiting collaborative filtering information. Considering its crucial role in RSs, one key challenge in enhancing RSs with LLMs lies in providing better collaborative filtering information through LLMs. In this paper, drawing inspiration from the in-context learning and chain of thought reasoning in LLMs, we propose the Large Language Models enhanced Collaborative Filtering (LLM-CF) framework, which distils the world knowledge and reasoning capabilities of LLMs into collaborative filtering. We also explored a concise and efficient instruction-tuning method, which improves the recommendation capabilities of LLMs while preserving their general functionalities (e.g., not decreasing on the LLM benchmark). Comprehensive experiments on three real-world datasets demonstrate that LLM-CF significantly enhances several backbone recommendation models and consistently outperforms competitive baselines, showcasing its effectiveness in distilling the world knowledge and reasoning capabilities of LLM into collaborative filtering.


title: Mean temperature and concentration profiles in turbulent internal flows

abstract: We derive explicit formulas for the mean profiles of temperature or concentration of a diffusing substance (modeled as passive scalars) in forced turbulent convection, as a function of the Reynolds and Prandtl numbers. The derivation leverages on the observed universality of the inner-layer thermal eddy diffusivity with respect to Reynolds and Prandtl number variations and across different flows, and on universality of the passive scalar defect in the core flow. Matching of the inner- and outer-layer expression yields a smooth compound passive scalar profile. We find excellent agreement of the analytical profile with data from direct numerical simulations of pipe and channel flows under various forcing conditions, and over a wide range of Reynolds and Prandtl numbers.


title: Looking For Timing Variations in the Transits of 16 Exoplanets

abstract: We update the ephemerides of 16 transiting exoplanets using our ground-based observations, new TESS data, and previously published observations including those of amateur astronomers. All these light curves were modeled by making use of a set of quantitative criteria with the EXOFAST code to obtain mid-transit times. We searched for statistically significant secular and/or periodic trends in the mid-transit times. We found that the timing data are well modeled by a linear ephemeris for all systems except for XO-2 b, for which we detect an orbital decay with the rate of -12.95 $\pm$ 1.85 ms/yr that can be confirmed with future observations. We also detect a hint of potential periodic variations in the TTV data of HAT-P-13 b which also requires confirmation with further precise observations.


title: Not All Similarities Are Created Equal: Leveraging Data-Driven Biases to Inform GenAI Copyright Disputes

abstract: The advent of Generative Artificial Intelligence (GenAI) models, including GitHub Copilot, OpenAI GPT, and Stable Diffusion, has revolutionized content creation, enabling non-professionals to produce high-quality content across various domains. This transformative technology has led to a surge of synthetic content and sparked legal disputes over copyright infringement. To address these challenges, this paper introduces a novel approach that leverages the learning capacity of GenAI models for copyright legal analysis, demonstrated with GPT2 and Stable Diffusion models. Copyright law distinguishes between original expressions and generic ones (Sc\`enes \`a faire), protecting the former and permitting reproduction of the latter. However, this distinction has historically been challenging to make consistently, leading to over-protection of copyrighted works. GenAI offers an unprecedented opportunity to enhance this legal analysis by revealing shared patterns in preexisting works. We propose a data-driven approach to identify the genericity of works created by GenAI, employing "data-driven bias" to assess the genericity of expressive compositions. This approach aids in copyright scope determination by utilizing the capabilities of GenAI to identify and prioritize expressive elements and rank them according to their frequency in the model's dataset. The potential implications of measuring expressive genericity for copyright law are profound. Such scoring could assist courts in determining copyright scope during litigation, inform the registration practices of Copyright Offices, allowing registration of only highly original synthetic works, and help copyright owners signal the value of their works and facilitate fairer licensing deals. More generally, this approach offers valuable insights to policymakers grappling with adapting copyright law to the challenges posed by the era of GenAI.


title: Manifold-Guided Lyapunov Control with Diffusion Models

abstract: This paper presents a novel approach to generating stabilizing controllers for a large class of dynamical systems using diffusion models. The core objective is to develop stabilizing control functions by identifying the closest asymptotically stable vector field relative to a predetermined manifold and adjusting the control function based on this finding. To achieve this, we employ a diffusion model trained on pairs consisting of asymptotically stable vector fields and their corresponding Lyapunov functions. Our numerical results demonstrate that this pre-trained model can achieve stabilization over previously unseen systems efficiently and rapidly, showcasing the potential of our approach in fast zero-shot control and generalizability.


title: ExpressEdit: Video Editing with Natural Language and Sketching

abstract: Informational videos serve as a crucial source for explaining conceptual and procedural knowledge to novices and experts alike. When producing informational videos, editors edit videos by overlaying text/images or trimming footage to enhance the video quality and make it more engaging. However, video editing can be difficult and time-consuming, especially for novice video editors who often struggle with expressing and implementing their editing ideas. To address this challenge, we first explored how multimodality$-$natural language (NL) and sketching, which are natural modalities humans use for expression$-$can be utilized to support video editors in expressing video editing ideas. We gathered 176 multimodal expressions of editing commands from 10 video editors, which revealed the patterns of use of NL and sketching in describing edit intents. Based on the findings, we present ExpressEdit, a system that enables editing videos via NL text and sketching on the video frame. Powered by LLM and vision models, the system interprets (1) temporal, (2) spatial, and (3) operational references in an NL command and spatial references from sketching. The system implements the interpreted edits, which then the user can iterate on. An observational study (N=10) showed that ExpressEdit enhanced the ability of novice video editors to express and implement their edit ideas. The system allowed participants to perform edits more efficiently and generate more ideas by generating edits based on user's multimodal edit commands and supporting iterations on the editing commands. This work offers insights into the design of future multimodal interfaces and AI-based pipelines for video editing.


title: AniPortrait: Audio-Driven Synthesis of Photorealistic Portrait Animation

abstract: In this study, we propose AniPortrait, a novel framework for generating high-quality animation driven by audio and a reference portrait image. Our methodology is divided into two stages. Initially, we extract 3D intermediate representations from audio and project them into a sequence of 2D facial landmarks. Subsequently, we employ a robust diffusion model, coupled with a motion module, to convert the landmark sequence into photorealistic and temporally consistent portrait animation. Experimental results demonstrate the superiority of AniPortrait in terms of facial naturalness, pose diversity, and visual quality, thereby offering an enhanced perceptual experience. Moreover, our methodology exhibits considerable potential in terms of flexibility and controllability, which can be effectively applied in areas such as facial motion editing or face reenactment. We release code and model weights at https://github.com/scutzzj/AniPortrait


title: PlainMamba: Improving Non-Hierarchical Mamba in Visual Recognition

abstract: We present PlainMamba: a simple non-hierarchical state space model (SSM) designed for general visual recognition. The recent Mamba model has shown how SSMs can be highly competitive with other architectures on sequential data and initial attempts have been made to apply it to images. In this paper, we further adapt the selective scanning process of Mamba to the visual domain, enhancing its ability to learn features from two-dimensional images by (i) a continuous 2D scanning process that improves spatial continuity by ensuring adjacency of tokens in the scanning sequence, and (ii) direction-aware updating which enables the model to discern the spatial relations of tokens by encoding directional information. Our architecture is designed to be easy to use and easy to scale, formed by stacking identical PlainMamba blocks, resulting in a model with constant width throughout all layers. The architecture is further simplified by removing the need for special tokens. We evaluate PlainMamba on a variety of visual recognition tasks including image classification, semantic segmentation, object detection, and instance segmentation. Our method achieves performance gains over previous non-hierarchical models and is competitive with hierarchical alternatives. For tasks requiring high-resolution inputs, in particular, PlainMamba requires much less computing while maintaining high performance. Code and models are available at https://github.com/ChenhongyiYang/PlainMamba


title: Tutte polynomials of matroids as universal valuative invariants

abstract: We provide a full classification of all families of matroids that are closed under duality and minors, and for which the Tutte polynomial is a universal valuative invariant. There are four inclusion-wise maximal families, two of which are the class of elementary split matroids and the class of graphic Schubert matroids. As a consequence of our framework, we derive new properties of Tutte polynomials of arbitrary matroids. Among other results, we show that the Tutte polynomial of every matroid can be expressed uniquely as an integral combination of Tutte polynomials of graphic Schubert matroids.


title: Cosmology of axion dark matter

abstract: I present an introduction and topical review on axions as a dark matter candidate. Emphasis is placed on issues surrounding the cosmology of axion dark matter that are relevant for present-day searches, including: early-Universe production mechanisms, predictions of the axion mass, bounds on axion properties derived from cosmological data, as well as the direct and indirect detection of relic axion populations.


title: MEP: Multiple Kernel Learning Enhancing Relative Positional Encoding Length Extrapolation

abstract: When the predicted sequence length exceeds the length seen during training, the transformer's inference accuracy diminishes. Existing relative position encoding methods, such as those based on the ALiBi technique, address the length extrapolation challenge exclusively through the implementation of a single kernel function, which introduces a constant bias to every post-softmax attention scores according to their distance. These approaches do not investigate or employ multiple kernel functions to address the extrapolation challenge. Drawing on the ALiBi approach, this study proposes a novel relative positional encoding method, called MEP, which employs a weighted average to combine distinct kernel functions(such as the exponential kernel and the Gaussian kernel) to generate a bias that is applied to post-softmax attention scores. Initially, the framework utilizes various kernel functions to construct multiple kernel functions. Each kernel function adheres to a consistent mean weight coefficient, harnessing the synergistic advantages of different kernels to formulate an innovative bias function. Subsequently, specific slopes are tailored for each kernel function, applying penalties at varying rates, to enhance the model's extrapolation capabilities. Finally, this bias is seamlessly incorporated as a penalty to the post-softmax scores. We present two distinct versions of our method: a parameter-free variant that requires no new learnable parameters, which enhances length extrapolation capabilities without compromising training efficiency, and a parameterized variant capable of integrating state-of-the-art techniques. Empirical evaluations across diverse datasets have demonstrated that both variants of our method achieve state-of-the-art performance, outperforming traditional parameter-free and parameterized approaches.


title: Simulation of hydrogen adsorption in hierarchical silicalite: Role of electrostatics and surface chemistry

abstract: Adsorption in nanoporous materials is one strategy that can be used to store hydrogen at conditions of temperature and pressure that are economically viable. Adsorption capacity of nanoporous materials depends on surface area which can be enhanced by incorporating a hierarchical pore structure. We report grand canonical Monte Carlo (GCMC) simulation results on the adsorption of hydrogen in hierarchical models of silicalite that incorporate 4 nm wide mesopores in addition to the 0.5 nm wide micropores at 298 K, using different force fields to model hydrogen. Our results suggest that incorporating mesopores in silicalite can enhance adsorption by at least 20% if electrostatic interactions are not included and up to 100% otherwise. Incorporating electrostatic interactions results in higher adsorption by close to 100% at lower pressures for hierarchical silicalite whereas for unmodified silicalite, it is less significant at all pressures. Hydroxylating the mesopore surface in hierarchical silicalite results in an enhancement in adsorption at pressures below 1 atm and suppression by up to 20 % at higher pressures. Temperature dependence at selected pressures exhibits expected decrease in adsorption amounts at higher temperatures. These findings can be useful in the engineering, selection, and optimization of nanoporous materials for hydrogen storage.


title: Dynamical Zeta functions for differentiable parabolic maps of the interval

abstract: This paper explores the domain of meromorphic extension for the dynamical zeta function associated to a class of one-dimensional differentiable parabolic maps featuring an indifferent fixed point. We establish the connection between this domain and the spectrum of the weighted transfer operators of the induced map. Furthermore, we discuss scenarios where meromorphic extensions occur beyond the confines of the natural disc of convergence of the dynamical zeta function.


title: Rotate to Scan: UNet-like Mamba with Triplet SSM Module for Medical Image Segmentation

abstract: Image segmentation holds a vital position in the realms of diagnosis and treatment within the medical domain. Traditional convolutional neural networks (CNNs) and Transformer models have made significant advancements in this realm, but they still encounter challenges because of limited receptive field or high computing complexity. Recently, State Space Models (SSMs), particularly Mamba and its variants, have demonstrated notable performance in the field of vision. However, their feature extraction methods may not be sufficiently effective and retain some redundant structures, leaving room for parameter reduction. Motivated by previous spatial and channel attention methods, we propose Triplet Mamba-UNet. The method leverages residual VSS Blocks to extract intensive contextual features, while Triplet SSM is employed to fuse features across spatial and channel dimensions. We conducted experiments on ISIC17, ISIC18, CVC-300, CVC-ClinicDB, Kvasir-SEG, CVC-ColonDB, and Kvasir-Instrument datasets, demonstrating the superior segmentation performance of our proposed TM-UNet. Additionally, compared to the previous VM-UNet, our model achieves a one-third reduction in parameters.


title: The Solution for the CVPR 2023 1st foundation model challenge-Track2

abstract: In this paper, we propose a solution for cross-modal transportation retrieval. Due to the cross-domain problem of traffic images, we divide the problem into two sub-tasks of pedestrian retrieval and vehicle retrieval through a simple strategy. In pedestrian retrieval tasks, we use IRRA as the base model and specifically design an Attribute Classification to mine the knowledge implied by attribute labels. More importantly, We use the strategy of Inclusion Relation Matching to make the image-text pairs with inclusion relation have similar representation in the feature space. For the vehicle retrieval task, we use BLIP as the base model. Since aligning the color attributes of vehicles is challenging, we introduce attribute-based object detection techniques to add color patch blocks to vehicle images for color data augmentation. This serves as strong prior information, helping the model perform the image-text alignment. At the same time, we incorporate labeled attributes into the image-text alignment loss to learn fine-grained alignment and prevent similar images and texts from being incorrectly separated. Our approach ranked first in the final B-board test with a score of 70.9.


title: Residual finiteness of fundamental $n$-quandles of links

abstract: In this paper, we investigate residual finiteness and subquandle separability of quandles. The existence of these finiteness properties implies the solvability of the word problem and the generalised word problem for quandles. We prove that the fundamental $n$-quandle of any link in the 3-sphere is residually finite for each $n \ge 2$. This supplements the recent result on residual finiteness of link quandles and the classification of links whose fundamental $n$-quandles are finite for some $n$. We also establish several general results on these finiteness properties and give many families of quandles admitting them.


title: Prioritize Team Actions: Multi-Agent Temporal Logic Task Planning with Ordering Constraints

abstract: In this paper, we investigate the problem of linear temporal logic (LTL) path planning for multi-agent systems, introducing the new concept of \emph{ordering constraints}. Specifically, we consider a generic objective function that is defined for the path of each individual agent. The primary objective is to find a global plan for the team of agents, ensuring they collectively meet the specified LTL requirements. Simultaneously, we aim to maintain a pre-determined order in the values of the objective function for each agent, which we refer to as the ordering constraints. This new requirement stems from scenarios like security-aware planning, where relative orders outweigh absolute values in importance. We present an efficient algorithm to solve this problem, supported by proofs of correctness that demonstrate the optimality of our solution. Additionally, we provide a case study in security-aware path planning to illustrate the practicality and effectiveness of our proposed approach.


title: On the convex hull of two planar random walks

abstract: In this paper, we study the limiting behavior of the perimeter and diameter functionals of the convex hull spanned by the first $n$ steps of two planar random walks. As the main results, we obtain the strong law of large numbers and the central limit theorem for the perimeter and diameter of these random sets.


title: Enhanced Short Text Modeling: Leveraging Large Language Models for Topic Refinement

abstract: Crafting effective topic models for brief texts, like tweets and news headlines, is essential for capturing the swift shifts in social dynamics. Traditional topic models, however, often fall short in accurately representing the semantic intricacies of short texts due to their brevity and lack of contextual data. In our study, we harness the advanced capabilities of Large Language Models (LLMs) to introduce a novel approach termed "Topic Refinement". This approach does not directly involve itself in the initial modeling of topics but focuses on improving topics after they have been mined. By employing prompt engineering, we direct LLMs to eliminate off-topic words within a given topic, ensuring that only contextually relevant words are preserved or substituted with ones that fit better semantically. This method emulates human-like scrutiny and improvement of topics, thereby elevating the semantic quality of the topics generated by various models. Our comprehensive evaluation across three unique datasets has shown that our topic refinement approach significantly enhances the semantic coherence of topics.


title: Effect of light-assisted tunable interaction on the position response function of cold atoms

abstract: The position response of a particle subjected to a perturbation is of general interest in physics. We study the modification of the position response function of an ensemble of cold atoms in a magneto-optical trap in the presence of tunable light-assisted interactions. We subject the cold atoms to an intense laser light tuned near the photoassociation resonance and observe the position response of the atoms subjected to a sudden displacement. Surprisingly, we observe that the entire cold atomic cloud undergoes collective oscillations. We use a generalised quantum Langevin approach to theoretically analyse the results of the experiments and find good agreement.


title: Panonut360: A Head and Eye Tracking Dataset for Panoramic Video

abstract: With the rapid development and widespread application of VR/AR technology, maximizing the quality of immersive panoramic video services that match users' personal preferences and habits has become a long-standing challenge. Understanding the saliency region where users focus, based on data collected with HMDs, can promote multimedia encoding, transmission, and quality assessment. At the same time, large-scale datasets are essential for researchers and developers to explore short/long-term user behavior patterns and train AI models related to panoramic videos. However, existing panoramic video datasets often include low-frequency user head or eye movement data through short-term videos only, lacking sufficient data for analyzing users' Field of View (FoV) and generating video saliency regions. Driven by these practical factors, in this paper, we present a head and eye tracking dataset involving 50 users (25 males and 25 females) watching 15 panoramic videos. The dataset provides details on the viewport and gaze attention locations of users. Besides, we present some statistics samples extracted from the dataset. For example, the deviation between head and eye movements challenges the widely held assumption that gaze attention decreases from the center of the FoV following a Gaussian distribution. Our analysis reveals a consistent downward offset in gaze fixations relative to the FoV in experimental settings involving multiple users and videos. That's why we name the dataset Panonut, a saliency weighting shaped like a donut. Finally, we also provide a script that generates saliency distributions based on given head or eye coordinates and pre-generated saliency distribution map sets of each video from the collected eye tracking data. The dataset is available on website: https://dianvrlab.github.io/Panonut360/.


title: Groupwise Query Specialization and Quality-Aware Multi-Assignment for Transformer-based Visual Relationship Detection

abstract: Visual Relationship Detection (VRD) has seen significant advancements with Transformer-based architectures recently. However, we identify two key limitations in a conventional label assignment for training Transformer-based VRD models, which is a process of mapping a ground-truth (GT) to a prediction. Under the conventional assignment, an unspecialized query is trained since a query is expected to detect every relation, which makes it difficult for a query to specialize in specific relations. Furthermore, a query is also insufficiently trained since a GT is assigned only to a single prediction, therefore near-correct or even correct predictions are suppressed by being assigned no relation as a GT. To address these issues, we propose Groupwise Query Specialization and Quality-Aware Multi-Assignment (SpeaQ). Groupwise Query Specialization trains a specialized query by dividing queries and relations into disjoint groups and directing a query in a specific query group solely toward relations in the corresponding relation group. Quality-Aware Multi-Assignment further facilitates the training by assigning a GT to multiple predictions that are significantly close to a GT in terms of a subject, an object, and the relation in between. Experimental results and analyses show that SpeaQ effectively trains specialized queries, which better utilize the capacity of a model, resulting in consistent performance gains with zero additional inference cost across multiple VRD models and benchmarks. Code is available at https://github.com/mlvlab/SpeaQ.


title: Optimization-based Prompt Injection Attack to LLM-as-a-Judge

abstract: LLM-as-a-Judge is a novel solution that can assess textual information with large language models (LLMs). Based on existing research studies, LLMs demonstrate remarkable performance in providing a compelling alternative to traditional human assessment. However, the robustness of these systems against prompt injection attacks remains an open question. In this work, we introduce JudgeDeceiver, a novel optimization-based prompt injection attack tailored to LLM-as-a-Judge. Our method formulates a precise optimization objective for attacking the decision-making process of LLM-as-a-Judge and utilizes an optimization algorithm to efficiently automate the generation of adversarial sequences, achieving targeted and effective manipulation of model evaluations. Compared to handcraft prompt injection attacks, our method demonstrates superior efficacy, posing a significant challenge to the current security paradigms of LLM-based judgment systems. Through extensive experiments, we showcase the capability of JudgeDeceiver in altering decision outcomes across various cases, highlighting the vulnerability of LLM-as-a-Judge systems to the optimization-based prompt injection attack.


title: Using quantum computers in control: interval matrix properties

abstract: Quantum computing provides a powerful framework for tackling computational problems that are classically intractable. The goal of this paper is to explore the use of quantum computers for solving relevant problems in systems and control theory. In the recent literature, different quantum algorithms have been developed to tackle binary optimization, which plays an important role in various control-theoretic problems. As a prototypical example, we consider the verification of interval matrix properties such as non-singularity and stability on a quantum computer. We present a quantum algorithm solving these problems and we study its performance in simulation. Our results demonstrate that quantum computers provide a promising tool for control whose applicability to further computationally complex problems remains to be explored.


title: Invisible Gas Detection: An RGB-Thermal Cross Attention Network and A New Benchmark

abstract: The widespread use of various chemical gases in industrial processes necessitates effective measures to prevent their leakage during transportation and storage, given their high toxicity. Thermal infrared-based computer vision detection techniques provide a straightforward approach to identify gas leakage areas. However, the development of high-quality algorithms has been challenging due to the low texture in thermal images and the lack of open-source datasets. In this paper, we present the RGB-Thermal Cross Attention Network (RT-CAN), which employs an RGB-assisted two-stream network architecture to integrate texture information from RGB images and gas area information from thermal images. Additionally, to facilitate the research of invisible gas detection, we introduce Gas-DB, an extensive open-source gas detection database including about 1.3K well-annotated RGB-thermal images with eight variant collection scenes. Experimental results demonstrate that our method successfully leverages the advantages of both modalities, achieving state-of-the-art (SOTA) performance among RGB-thermal methods, surpassing single-stream SOTA models in terms of accuracy, Intersection of Union (IoU), and F2 metrics by 4.86%, 5.65%, and 4.88%, respectively. The code and data will be made available soon.


title: Distance-Based Hierarchical Cutting of Complex Networks with Non-Preferential and Preferential Choice of Seeds

abstract: Graphs and complex networks can be successively separated into connected components associated to respective seed nodes, therefore establishing a respective hierarchical organization. In the present work, we study the properties of the hierarchical structure implied by distance-based cutting of Erd\H{o}s-R\'enyi, Barab\'asi-Albert, and a specific geometric network. Two main situations are considered regarding the choice of the seeds: non-preferential and preferential to the respective node degree. Among the obtained findings, we have the tendency of geometrical networks yielding more balanced pairs of connected components along the network progressive separation, presenting little chaining effects, followed by the Erd\H{o}s-R\'enyi and Barab\'asi-Albert types of networks. The choice of seeds preferential to the node degree tended to enhance the balance of the connected components in the case of the geometrical networks.


title: Evaluating Authoring Tools with the Explorable Authoring Requirements

abstract: Explorables with interactive, multimodal content, openly available on the web, are a promising medium for education. Yet authoring such explorables requires web development expertise, excluding most educators and students from the authoring and remixing process. Some tools are available to reduce this barrier of entry and others are in development, making a method to evaluate these new tools necessary. On the basis of the software quality model ISO 25010, empirical results, and domain modeling, we derive the Explorable Authoring Requirements (EAR) as a requirements catalogue explorable authoring tools should implement. We then outline a future research design to operationalize EAR.


title: A characterization on trees $T$ with $m(T, \lambda)=p(T)-2$

abstract: Let $m(G,\lambda)$ be the multiplicity of an eigenvalue $\lambda$ of a connected graph $G$. Wang et al. [Linear Algebra Appl. 584(2020), 257-266] proved that for any connected graph $G\neq C_n$, $m(G, \lambda) \leq 2c(G) + p(G) -1$, where $c (G) = |E(G)| - |V (G)| + 1$ and $p(G)$ are the cyclomatic number and the number of pendant vertices of $G$, respectively. In the same paper, they proposed the problem to characterize all connected graphs $G$ with eigenvalue $\lambda$ such that $m(G, \lambda) =2c (G)+ p(G)-1$. Wong et al. [Discrete Math. 347(2024), 113845] solved this problem for the case when $G$ is a tree by characterizing all trees $T$ with eigenvalue $\lambda$ such that $m(T , \lambda) = p(T )-1$. In this paper, we further provide the structural characterization on trees $T$ with eigenvalue $\lambda$ such that $m(T , \lambda) = p(T )-2$.


title: A Comprehensive Study of Massive Compact Star Admitting Conformal Motion Under Bardeen Geometry

abstract: This article primarily investigates the existence of the charged compact star under the conformal motion treatment within the context of f(Q) gravity. We have developed two models by implementing the power-law and linear form of conformal factor, enabling an in-depth comparison in our study. We have selected the MIT Bag model equation of state to describe the connection between pressure and energy density and matched the interior spherically symmetric space-time with the Bardeen space-time. In addition, the present research examines various physically valid characteristics of realistic stars, such as PSR J1614-2230, PSR J1903+327, Vela X-1, Cen X-3, and SMC X-1. We compare two constructed models by attributing the behavior of density, pressure, equilibrium conditions, and the adiabatic index. We have additionally included a brief analysis of the scenario involving Reissner-Nordstrom spacetime as an external geometry for the matching condition. In contrast to the Reissner-Nordstrom instance, the Bardeen model with the extra term in the asymptotic representations yields a more intriguing and viable result. The current analysis reveals that the resulting compact star solutions are physically acceptable and authentic when considering the presence of charge with conformal motion in f(Q) gravity.


title: On the first eigenvalue and eigenfunction of the Laplacian with mixed boundary conditions

abstract: We consider the eigenvalue problem for the Laplacian with mixed Dirichlet and Neumann boundary conditions. For a certain class of bounded, simply connected planar domains we prove monotonicity properties of the first eigenfunction. As a consequence, we establish a variant of the hot spots conjecture for mixed boundary conditions. Moreover, we obtain an inequality between the lowest eigenvalue of this mixed problem and the lowest eigenvalue of the corresponding dual problem where the Dirichlet and Neumann boundary conditions are interchanged. The proofs are based on a novel variational principle, which we establish.


title: Testing beyond-Kerr spacetimes with GWTC-3

abstract: The Kerr spacetime is a fundamental solution of general relativity (GR), describing the gravitational field around a rotating, uncharged black hole (BH). Kerr spacetime has been crucial in modern astrophysics and it serves as a foundation for the study of gravitational waves (GWs). Possible deviations in Kerr geometry may indicate deviations from GR predictions. In this work, we consider the Johannsen-Psaltis metric, which is a beyond-Kerr metric characterized by a single free parameter, and then we probe this theory framework using several GWs observations from the third Gravitational-wave Transient Catalog (GWTC-3). We find that, for most of the events analyzed, there are no significant deviations from the null hypothesis, i.e. the Kerr metric. Our main findings demonstrate alignment and certain enhancements when compared to previous estimates documented in the literature.


title: Resolution Limit of Single-Photon LiDAR

abstract: Single-photon Light Detection and Ranging (LiDAR) systems are often equipped with an array of detectors for improved spatial resolution and sensing speed. However, given a fixed amount of flux produced by the laser transmitter across the scene, the per-pixel Signal-to-Noise Ratio (SNR) will decrease when more pixels are packed in a unit space. This presents a fundamental trade-off between the spatial resolution of the sensor array and the SNR received at each pixel. Theoretical characterization of this fundamental limit is explored. By deriving the photon arrival statistics and introducing a series of new approximation techniques, the Mean Squared Error (MSE) of the maximum-likelihood estimator of the time delay is derived. The theoretical predictions align well with simulations and real data.


title: Low-temperature benchmarking of qubit control wires by primary electron thermometry

abstract: Low-frequency qubit control wires require non-trivial thermal anchoring and low-pass filtering. The resulting electron temperature serves as a quality benchmark for these signal lines. In this technical note, we make use of a primary electron thermometry technique, using a Coulomb blockade thermometer, to establish the electron temperature in the millikelvin regime. The experimental four-probe measurement setup, the data analysis, and the measurement limitations are discussed in detail. We verify the results by also using another electron thermometry technique, based on a superconductor-insulator-normal metal junction. Our comparison of signal lines with QDevil's QFilter to unfiltered signal lines demonstrates that the filter significantly reduces both the rms noise and electron temperature, which is measured to be 22 $\pm$ 1 mK.


title: Electron Diffusion in Microbunched Electron Cooling

abstract: Coherent electron cooling is a novel method to cool dense hadron beams on timescales of a few hours. This method uses a copropagating beam of electrons to pick up the density fluctuations within the hadron beam in one straight section and then provide corrective energy kicks to the hadrons in a downstream straight, cooling the beam. Microbunched electron cooling is an extension of this idea which induces a microbunching instability in the electron beam as it travels between the two straights, amplifying the signal. However, initial noise in the electron bunch will also be amplified, providing random kicks to the hadrons downstream which tend to increase their emittance. In this paper, we develop an analytic estimate of the effect of the electron noise and benchmark it against simulations.


title: Nuclear matrix elements of neutrinoless double-beta decay in covariant density functional theory with different mechanisms

abstract: Nuclear matrix elements (NMEs) for neutrinoless double-beta ($0\nu\beta\beta$) decay in candidate nuclei play a crucial role in interpreting results from current experiments and in designing future ones. Accurate NME values serve as important nuclear inputs for constraining parameters in new physics, such as neutrino mass and the Wilson coefficients of lepton-number-violating (LNV) operators. In this study, we present a comprehensive calculation of NMEs for $0\nu\beta\beta$ decay in $^{76}$Ge, $^{82}$Se, $^{100}$Mo, $^{130}$Te, and $^{136}$Xe, using nuclear wave functions obtained from multi-reference covariant density functional theory (MR-CDFT). We employ three types of transition potentials at the leading order in chiral effective field theory. Our results, along with recent data, are utilized to constrain the coefficients of LNV operators. The results demonstrate that the combined NMEs based on the Feynman diagrams at the hadronic scale for the nonstandard mechanisms leads to the uncertainty by different nuclear models comparable to that for the standard mechanism. The use of NMEs from various nuclear models does not dramatically change the parameter space intervals for the coefficients, although MR-CDFT yields the most stringent constraint. Furthermore, our NMEs can also be used to perform a more comprehensive analysis with multiple isotopes.


title: Regularity for nonlocal equations with local Neumann boundary conditions

abstract: In this article we establish fine results on the boundary behavior of solutions to nonlocal equations in $C^{k,\gamma}$ domains which satisfy local Neumann conditions on the boundary. Such solutions typically blow up at the boundary like $v \asymp d^{s-1}$ and are sometimes called large solutions. In this setup we prove optimal regularity results for the quotients $v/d^{s-1}$, depending on the regularity of the domain and on the data of the problem. The results of this article will be important in a forthcoming work on nonlocal free boundary problems.


title: Magnonic inverse-design processor

abstract: Artificial Intelligence (AI) technology has revolutionized our everyday lives and research. The concept of inverse design, which involves defining a functionality by a human and then using an algorithm to search for the device's design, opened new perspectives for information processing. A specialized AI-driven processor capable of solving an inverse problem in real-time offers a compelling alternative to the time and energy-intensive CMOS computations. Here, we report on a magnon-based processor that uses a complex reconfigurable medium to process data in the gigahertz range, catering to the demands of 5G and 6G telecommunication. Demonstrating its versatility, the processor solves inverse problems using two algorithms to realize RF notch filters and demultiplexers. The processor also exhibits potential for binary, reservoir, and neuromorphic computing paradigms.


title: Deep Learning for Segmentation of Cracks in High-Resolution Images of Steel Bridges

abstract: Automating the current bridge visual inspection practices using drones and image processing techniques is a prominent way to make these inspections more effective, robust, and less expensive. In this paper, we investigate the development of a novel deep-learning method for the detection of fatigue cracks in high-resolution images of steel bridges. First, we present a novel and challenging dataset comprising of images of cracks in steel bridges. Secondly, we integrate the ConvNext neural network with a previous state-of-the-art encoder-decoder network for crack segmentation. We study and report, the effects of the use of background patches on the network performance when applied to high-resolution images of cracks in steel bridges. Finally, we introduce a loss function that allows the use of more background patches for the training process, which yields a significant reduction in false positive rates.


title: Tiny Models are the Computational Saver for Large Models

abstract: This paper introduces TinySaver, an early-exit-like dynamic model compression approach which employs tiny models to substitute large models adaptively. Distinct from traditional compression techniques, dynamic methods like TinySaver can leverage the difficulty differences to allow certain inputs to complete their inference processes early, thereby conserving computational resources. Most existing early exit designs are implemented by attaching additional network branches to the model's backbone. Our study, however, reveals that completely independent tiny models can replace a substantial portion of the larger models' job with minimal impact on performance. Employing them as the first exit can remarkably enhance computational efficiency. By searching and employing the most appropriate tiny model as the computational saver for a given large model, the proposed approaches work as a novel and generic method to model compression. This finding will help the research community in exploring new compression methods to address the escalating computational demands posed by rapidly evolving AI models. Our evaluation of this approach in ImageNet-1k classification demonstrates its potential to reduce the number of compute operations by up to 90%, with only negligible losses in performance, across various modern vision models. The code of this work will be available.


title: FastPerson: Enhancing Video Learning through Effective Video Summarization that Preserves Linguistic and Visual Contexts

abstract: Quickly understanding lengthy lecture videos is essential for learners with limited time and interest in various topics to improve their learning efficiency. To this end, video summarization has been actively researched to enable users to view only important scenes from a video. However, these studies focus on either the visual or audio information of a video and extract important segments in the video. Therefore, there is a risk of missing important information when both the teacher's speech and visual information on the blackboard or slides are important, such as in a lecture video. To tackle this issue, we propose FastPerson, a video summarization approach that considers both the visual and auditory information in lecture videos. FastPerson creates summary videos by utilizing audio transcriptions along with on-screen images and text, minimizing the risk of overlooking crucial information for learners. Further, it provides a feature that allows learners to switch between the summary and original videos for each chapter of the video, enabling them to adjust the pace of learning based on their interests and level of understanding. We conducted an evaluation with 40 participants to assess the effectiveness of our method and confirmed that it reduced viewing time by 53\% at the same level of comprehension as that when using traditional video playback methods.


title: Masked Autoencoders are PDE Learners

abstract: Neural solvers for partial differential equations (PDEs) have great potential to generate fast and accurate physics solutions, yet their practicality is currently limited by their generalizability. PDEs evolve over broad scales and exhibit diverse behaviors; predicting these phenomena will require learning representations across a wide variety of inputs which may encompass different coefficients, boundary conditions, resolutions, or even equations. As a step towards generalizable PDE modeling, we adapt masked pretraining for physics problems. Through self-supervised learning across PDEs, masked autoencoders can consolidate heterogeneous physics to learn meaningful latent representations and perform latent PDE arithmetic in this space. Furthermore, we demonstrate that masked pretraining can improve PDE coefficient regression and the classification of PDE features. Lastly, conditioning neural solvers on learned latent representations can improve time-stepping and super-resolution performance across a variety of coefficients, discretizations, or boundary conditions, as well as on unseen PDEs. We hope that masked pretraining can emerge as a unifying method across large, unlabeled, and heterogeneous datasets to learn latent physics at scale.


title: EulerFormer: Sequential User Behavior Modeling with Complex Vector Attention

abstract: To capture user preference, transformer models have been widely applied to model sequential user behavior data. The core of transformer architecture lies in the self-attention mechanism, which computes the pairwise attention scores in a sequence. Due to the permutation-equivariant nature, positional encoding is used to enhance the attention between token representations. In this setting, the pairwise attention scores can be derived by both semantic difference and positional difference. However, prior studies often model the two kinds of difference measurements in different ways, which potentially limits the expressive capacity of sequence modeling. To address this issue, this paper proposes a novel transformer variant with complex vector attention, named EulerFormer, which provides a unified theoretical framework to formulate both semantic difference and positional difference. The EulerFormer involves two key technical improvements. First, it employs a new transformation function for efficiently transforming the sequence tokens into polar-form complex vectors using Euler's formula, enabling the unified modeling of both semantic and positional information in a complex rotation form.Secondly, it develops a differential rotation mechanism, where the semantic rotation angles can be controlled by an adaptation function, enabling the adaptive integration of the semantic and positional information according to the semantic contexts.Furthermore, a phase contrastive learning task is proposed to improve the isotropy of contextual representations in EulerFormer. Our theoretical framework possesses a high degree of completeness and generality. It is more robust to semantic variations and possesses moresuperior theoretical properties in principle. Extensive experiments conducted on four public datasets demonstrate the effectiveness and efficiency of our approach.


title: On Structural Non-commutativity in Affine Feedback of SISO Nonlinear Systems

abstract: The affine feedback connection of SISO nonlinear systems modeled by Chen--Fliess series is shown to be a group action on the plant which is isomorphic to the semi-direct product of shuffle and additive group of non-commutative formal power series. The additive and multiplicative feedback loops in an affine feedback connection are thus proven to be structurally non-commutative. A flip in the order of these loops results in a net additive feedback loop.


title: Coupled Boundary and Volume Integral Equations for Electromagnetic Scattering

abstract: We study frequency domain electromagnetic scattering at a bounded, penetrable, and inhomogeneous obstacle $ \Omega \subset \mathbb{R}^3 $. From the Stratton-Chu integral representation, we derive a new representation formula when constant reference coefficients are given for the interior domain. The resulting integral representation contains the usual layer potentials, but also volume potentials on $\Omega$. Then it is possible to follow a single-trace approach to obtain boundary integral equations perturbed by traces of compact volume integral operators with weakly singular kernels. The coupled boundary and volume integral equations are discretized with a Galerkin approach with usual Curl-conforming and Div-conforming finite elements on the boundary and in the volume. Compression techniques and special quadrature rules for singular integrands are required for an efficient and accurate method. Numerical experiments provide evidence that our new formulation enjoys promising properties.


title: On a class of nonautonomous quasilinear systems with general time-gradually-degenerate damping

abstract: In this paper, we study two systems with a time-variable coefficient and general time-gradually-degenerate damping. More explicitly, we construct the Riemann solutions to the time-variable coefficient Zeldovich approximation and time-variable coefficient pressureless gas systems both with general time-gradually-degenerate damping. Applying the method of similar variables and nonlinear viscosity, we obtain classical Riemann solutions and delta shock wave solutions.


title: Continual Few-shot Event Detection via Hierarchical Augmentation Networks

abstract: Traditional continual event detection relies on abundant labeled data for training, which is often impractical to obtain in real-world applications. In this paper, we introduce continual few-shot event detection (CFED), a more commonly encountered scenario when a substantial number of labeled samples are not accessible. The CFED task is challenging as it involves memorizing previous event types and learning new event types with few-shot samples. To mitigate these challenges, we propose a memory-based framework: Hierarchical Augmentation Networks (HANet). To memorize previous event types with limited memory, we incorporate prototypical augmentation into the memory set. For the issue of learning new event types in few-shot scenarios, we propose a contrastive augmentation module for token representations. Despite comparing with previous state-of-the-art methods, we also conduct comparisons with ChatGPT. Experiment results demonstrate that our method significantly outperforms all of these methods in multiple continual few-shot event detection tasks.


title: Paired Diffusion: Generation of related, synthetic PET-CT-Segmentation scans using Linked Denoising Diffusion Probabilistic Models

abstract: The rapid advancement of Artificial Intelligence (AI) in biomedical imaging and radiotherapy is hindered by the limited availability of large imaging data repositories. With recent research and improvements in denoising diffusion probabilistic models (DDPM), high quality synthetic medical scans are now possible. Despite this, there is currently no way of generating multiple related images, such as a corresponding ground truth which can be used to train models, so synthetic scans are often manually annotated before use. This research introduces a novel architecture that is able to generate multiple, related PET-CT-tumour mask pairs using paired networks and conditional encoders. Our approach includes innovative, time step-controlled mechanisms and a `noise-seeding' strategy to improve DDPM sampling consistency. While our model requires a modified perceptual loss function to ensure accurate feature alignment we show generation of clearly aligned synthetic images and improvement in segmentation accuracy with generated images.


title: Out-of-distribution Rumor Detection via Test-Time Adaptation

abstract: Due to the rapid spread of rumors on social media, rumor detection has become an extremely important challenge. Existing methods for rumor detection have achieved good performance, as they have collected enough corpus from the same data distribution for model training. However, significant distribution shifts between the training data and real-world test data occur due to differences in news topics, social media platforms, languages and the variance in propagation scale caused by news popularity. This leads to a substantial decline in the performance of these existing methods in Out-Of-Distribution (OOD) situations. To address this problem, we propose a simple and efficient method named Test-time Adaptation for Rumor Detection under distribution shifts (TARD). This method models the propagation of news in the form of a propagation graph, and builds propagation graph test-time adaptation framework, enhancing the model's adaptability and robustness when facing OOD problems. Extensive experiments conducted on two group datasets collected from real-world social platforms demonstrate that our framework outperforms the state-of-the-art methods in performance.


title: A Family of Monomial Gr\"obner Degenerations of Determinantal Ideals with Minimal Cellular Resolutions

abstract: We explore a family of monomial ideals derived as Gr\"obner degenerations of determinantal ideals. These ideals, previously examined as block diagonal matching field ideals within the realm of toric degenerations of Grassmannians, are identified as monomial initial ideals of determinantal ideals. We establish their linear quotient property and calculate their Betti numbers, demonstrating that their minimal free resolution is supported on a regular CW complex, equivalently, they have a cellular resolution. On the combinatorial front, we examine a range of weight vectors that yield diverse monomial initial ideals for determinantal ideals. We show that despite variations in weight vectors, all these ideals share identical Betti numbers. However, altering a weight vector results in distinct cellular complexes supporting their minimal free resolutions.


title: Dirac Dispersions and Fermi Surface Nesting in LaCuSb$_{2}$

abstract: LaCuSb$_{2}$ is a superconductor with a transition temperature of about $T_\text{c} = 0.9$K and is a potential platform where Dirac fermions can be experimentally observed. In this paper, we report systematic high-resolution studies of its electronic structure using the angle-resolved photoemission spectroscopy (ARPES) technique supported by the DFT calculation. The Fermi surface consists of four branches, of which the two inner ones are more 3-dimensional and the theoretical calculations reproduce well the experiment. We observe several linear dispersions forming Dirac-like structures. The nodal lines are present in the system along ${\text{M}}$-${\text{A}}$ and ${\text{X}}$-${\text{R}}$ and Dirac crossings along ${\text{X}}$-${\text{R}}$ are observed by ARPES. Finally, the nesting between external Fermi surface pockets, which corresponds to charge density wave (CDW) modulation vector is enhanced in LaCuSb$_{2}$ as compared to LaAgSb$_{2}$, while CDW appears in the latter system.


title: Renormalization of the next-to-leading-power $\gamma\gamma \to h $ and $gg\to h$ soft quark functions

abstract: We calculate directly in position space the one-loop renormalization kernels of the soft operators $O_\gamma$ and $O_g$ that appear in the soft-quark contributions to, respectively, the subleading-power $\gamma\gamma\to h$ and $gg\to h$ form factors mediated by the $b$-quark. We present an IR/rapidity divergence-free definition for $O_g$ and demonstrate that with a correspondent definition of the collinear function, a consistent factorization theorem is recovered. Using conformal symmetry techniques, we establish a relation between the evolution kernels of the leading-twist heavy-light light-ray operator, whose matrix element defines the $B$-meson light-cone distribution amplitude (LCDA), and $O_\gamma$ to all orders in perturbation theory. Application of this relation allows us to bootstrap the kernel of $O_\gamma$ to the two-loop level. We construct an ansatz for the kernel of $O_g$ at higher orders. We test this ansatz against the consistency requirement at two-loop and find they differ only by a particular constant.


title: The Unified Era: An understanding journey from observations to the Unified Model of Active Galactic Nuclei

abstract: The Unified Model of Active Galactic Nuclei (UMAGN) is a comprehensive theoretical framework aimed at elucidating the diverse observations of AGN, encompassing quasars and Seyfert galaxies. The Model attributes the observed variations to different orientations of a surrounding matter disk around a supermassive black hole (SMBH), with the primary factor influencing observational diversity being the alignment of the AGN with the observer's line of sight. We present a comprehensive overview of the observational evidence, empirical and theoretical research, tracing key milestones that led to a unified perspective. We encapsulate the scientific journey culminating in the proposal of the UMAGN, including insights into the accretion disk, torus, and relativistic jet, and emphasize the properties of objects within UMAGN. Additionally, we underscore recent progress in multimessenger research involving electromagnetic waves, gravitational waves, astroparticles, and neutrinos, notably through collaborations such as the Event Horizon Telescope, LIGO/Virgo, IceCube, Pierre Auger, and KM3Net. We argue that these advancements present opportunities to enhance and refine UMAGN, contributing to a deeper understanding of AGNs and their implications for the formation and evolution of galaxies. The convergence of observational and theoretical research, coupled with emerging multimessenger techniques, paves the way for further strides in comprehending these enigmatic cosmic phenomena.


title: All-in-One: Heterogeneous Interaction Modeling for Cold-Start Rating Prediction

abstract: Cold-start rating prediction is a fundamental problem in recommender systems that has been extensively studied. Many methods have been proposed that exploit explicit relations among existing data, such as collaborative filtering, social recommendations and heterogeneous information network, to alleviate the data insufficiency issue for cold-start users and items. However, the explicit relations constructed based on data between different roles may be unreliable and irrelevant, which limits the performance ceiling of the specific recommendation task. Motivated by this, in this paper, we propose a flexible framework dubbed heterogeneous interaction rating network (HIRE). HIRE dose not solely rely on the pre-defined interaction pattern or the manually constructed heterogeneous information network. Instead, we devise a Heterogeneous Interaction Module (HIM) to jointly model the heterogeneous interactions and directly infer the important interactions via the observed data. In the experiments, we evaluate our model under three cold-start settings on three real-world datasets. The experimental results show that HIRE outperforms other baselines by a large margin. Furthermore, we visualize the inferred interactions of HIRE to confirm the contribution of our model.


title: The low multipoles in the Pantheon+SH0ES data

abstract: In previous work we have shown that the dipole in the low redshift supernovae of the Pantheon+SH0ES data does not agree with the one inferred from the velocity of the solar system as obtained from CMB data. We interpreted this as the presence of significant bulk velocities. In this paper we study the monopole, dipole and quadrupole in the Pantheon+SH0ES data. We find that in addition to the dipole also both, the monopole and the quadrupole are detected with high significance. They are of similar amplitudes as the bulk flow. While the monopole is only significant at very low redshift, the quadrupole even increases with redshift.


title: Using Stratified Sampling to Improve LIME Image Explanations

abstract: We investigate the use of a stratified sampling approach for LIME Image, a popular model-agnostic explainable AI method for computer vision tasks, in order to reduce the artifacts generated by typical Monte Carlo sampling. Such artifacts are due to the undersampling of the dependent variable in the synthetic neighborhood around the image being explained, which may result in inadequate explanations due to the impossibility of fitting a linear regressor on the sampled data. We then highlight a connection with the Shapley theory, where similar arguments about undersampling and sample relevance were suggested in the past. We derive all the formulas and adjustment factors required for an unbiased stratified sampling estimator. Experiments show the efficacy of the proposed approach.


title: Low-energy elastic (anti)neutrino-nucleon scattering in covariant baryon chiral perturbation theory

abstract: The low-energy antineutrino- and neutrino-nucleon neutral current elastic scattering is studied within the framework of the relativistic SU(2) baryon chiral perturbation theory up to the order of $\mathcal{O}(p^3)$. We have derived the model-independent hadronic amplitudes and extracted the form factors from them. It is found that differential cross sections ${{\rm d} \sigma}/{{\rm d} Q^2}$ for the processes of (anti)neutrino-proton scattering are in good agreement with the existing MiniBooNE data in the $Q^2$ region $[0.13,0.20]$ GeV$^2$, where nuclear effects are expected to be negligible. For $Q^2\leq 0.13$ GeV$^2$, large deviation is observed, which is mainly owing to the sizeable Pauli blocking effect. Comparisons with the simulation data produced by the NuWro and GIENE Mento Carlo events generators are also discussed. The chiral results obtained in this work can be utilized as inputs in various nuclear models to achieve the goal of precise determination of the strangeness axial vector form factor, in particular when the low-energy MicroBooNE data are available in the near future.


title: Facile synthesis of micro-flower NiCo2O4 assembled by nanosheets efficient for electrocatalysis of water

abstract: Effective regulation of the morphology of transition metal spinel structures is crucial for creating efficient and stable bifunctional catalysts for electrocatalysis of water. In this work, micro-flower NiCo2O4 (F-NCO) assembled by nanosheets via a chemical template method for the simultaneous promotion of hydrogen evolution reaction (HER) and oxygen evolution reaction (OER). Electronic microscope analysis revealed that the thickness of the F-NCO catalyst was only 2.7% of that of the NiCo2O4 bulk (B-NCO), and this ultrathin lamellar structure was conducive to further exposure of the active site and improved reaction kinetics. The F-NCO catalyst exhibited superior HER and OER performance (10 = 236 and 310 mV) and robust long-term stability over the B-NCO catalyst in 1.0 M KOH, with a 2.68-fold and 4.16-fold increase in active surface area and a 0.42-fold and 0.61-fold decrease in charge transfer resistance values, respectively. This micro-flower-structured electrode has remarkable electrocatalytic property and long-term durability, providing a novel insight for characterizing cost-effective and high-performance bifunctional electrocatalysts.