title: DreamDA: Generative Data Augmentation with Diffusion Models

abstract: The acquisition of large-scale, high-quality data is a resource-intensive and time-consuming endeavor. Compared to conventional Data Augmentation (DA) techniques (e.g. cropping and rotation), exploiting prevailing diffusion models for data generation has received scant attention in classification tasks. Existing generative DA methods either inadequately bridge the domain gap between real-world and synthesized images, or inherently suffer from a lack of diversity. To solve these issues, this paper proposes a new classification-oriented framework DreamDA, which enables data synthesis and label generation by way of diffusion models. DreamDA generates diverse samples that adhere to the original data distribution by considering training images in the original data as seeds and perturbing their reverse diffusion process. In addition, since the labels of the generated data may not align with the labels of their corresponding seed images, we introduce a self-training paradigm for generating pseudo labels and training classifiers using the synthesized data. Extensive experiments across four tasks and five datasets demonstrate consistent improvements over strong baselines, revealing the efficacy of DreamDA in synthesizing high-quality and diverse images with accurate labels. Our code will be available at https://github.com/yunxiangfu2001/DreamDA.


title: The Bayes Principle and Segal Axioms for $P(\phi)_2$, with application to Periodic Covers

abstract: The goal of the present paper is to reconcile the so-called $P(\phi)_2$ model from classical constructive quantum field theory (CQFT) with (metric version of) geometric and categorical axioms proposed by G. Segal (see refs in Kontsevich and Segal arXiv:2105.10161) in the 90's, in showing that the $P(\phi)_2$ model satisfies these axioms, appropriately adjusted. The approach is based on previous works of Dimock arXiv:math-ph/0305017 and Pickrell arXiv:math-ph/0702077, while we give a new proof to a key step using what we call ``the Bayes principle'' of conditional probabilities in the infinite dimensional setting. We also give a precise statement and full proof of the locality of the $P(\phi)_2$ interaction. After that, we note that the so-called ``transfer operator'' associated to a cobordism has strictly positive kernel, this implies the operator has a spectral gap and allows to define a $P(\phi)_2$ Gibbs state on non-compact periodic curved surfaces (namely, with discrete ``time translations'') by analogy with 1-dimensional spin chains. This also implies asymptotic properties of the $P(\phi)_2$ partition function on periodic covers of large degrees.


title: Contextual Moral Value Alignment Through Context-Based Aggregation

abstract: Developing value-aligned AI agents is a complex undertaking and an ongoing challenge in the field of AI. Specifically within the domain of Large Language Models (LLMs), the capability to consolidate multiple independently trained dialogue agents, each aligned with a distinct moral value, into a unified system that can adapt to and be aligned with multiple moral values is of paramount importance. In this paper, we propose a system that does contextual moral value alignment based on contextual aggregation. Here, aggregation is defined as the process of integrating a subset of LLM responses that are best suited to respond to a user input, taking into account features extracted from the user's input. The proposed system shows better results in term of alignment to human value compared to the state of the art.


title: VisualCritic: Making LMMs Perceive Visual Quality Like Humans

abstract: At present, large multimodal models (LMMs) have exhibited impressive generalization capabilities in understanding and generating visual signals. However, they currently still lack sufficient capability to perceive low-level visual quality akin to human perception. Can LMMs achieve this and show the same degree of generalization in this regard? If so, not only could the versatility of LMMs be further enhanced, but also the challenge of poor cross-dataset performance in the field of visual quality assessment could be addressed. In this paper, we explore this question and provide the answer "Yes!". As the result of this initial exploration, we present VisualCritic, the first LMM for broad-spectrum image subjective quality assessment. VisualCritic can be used across diverse data right out of box, without any requirements of dataset-specific adaptation operations like conventional specialist models. As an instruction-following LMM, VisualCritic enables new capabilities of (1) quantitatively measuring the perceptual quality of given images in terms of their Mean Opinion Score (MOS), noisiness, colorfulness, sharpness, and other numerical indicators, (2) qualitatively evaluating visual quality and providing explainable descriptions, (3) discerning whether a given image is AI-generated or photographic. Extensive experiments demonstrate the efficacy of VisualCritic by comparing it with other open-source LMMs and conventional specialist models over both AI-generated and photographic images.


title: Freshness-aware Block Propagation Optimization in 6G-based Web 3.0: An Evolutionary Game Approach

abstract: Driven by the aspiration to establish a decentralized digital economy, Web 3.0 is emerging as the fundamental technology for digital transformation. Incorporating the promising sixth-generation (6G) technology with large bandwidth and space-air-ground integrated coverage, 6G-based Web 3.0 holds great potential in empowering users with enhanced data control and facilitating secure peer-to-peer transactions, especially in consumer electronics, through the utilization of blockchain technologies. However, 6G-based Web 3.0 is still in its infancy, such as ensuring block freshness and optimizing block propagation to improve blockchain performance. In this paper, we develop a freshness-aware block propagation optimization framework for 6G-based Web 3.0. We first propose a novel metric called Age of Block Information (AoBI) based on the concept of age of information to quantify block freshness. To make block propagation optimization tractable, we classify miners into five different states and propose a block propagation model for public blockchains inspired by epidemic models. Moreover, considering that the miners are bounded rational, we propose an incentive mechanism based on the evolutionary game for block propagation to improve block propagation efficiency. Numerical results demonstrate that compared with other block propagation mechanisms, the proposed scheme has a higher block forwarding probability, which improves block propagation efficiency.


title: Fermi gas formalism for D-type quiver Chern-Simons theory with non-uniform ranks

abstract: We construct the Fermi gas formalism for the partition function of supersymmetric Chern-Simons theories with affine $D$-type quiver diagrams with non-uniform ranks of the gauge groups and Fayet-Illiopoulos parameters by two different approaches: the open string formalism and the closed string formalism. In the closed string formalism approach, we find a novel connection between the partition function of this theory and the partition function of a four-nodes circular quiver supersymmetric Chern-Simons theory. We also studied a symmetry of a density matrix appeared in the closed string formalism. We further calculate the exact values of the partition function for finite $N$, with which we identified the exponent of the leading non-perturbative effect in $1/N$ corresponding to the worldsheet instantons in the circular quiver supersymmetric Chern-Simons theories.


title: Comparing Explanation Faithfulness between Multilingual and Monolingual Fine-tuned Language Models

abstract: In many real natural language processing application scenarios, practitioners not only aim to maximize predictive performance but also seek faithful explanations for the model predictions. Rationales and importance distribution given by feature attribution methods (FAs) provide insights into how different parts of the input contribute to a prediction. Previous studies have explored how different factors affect faithfulness, mainly in the context of monolingual English models. On the other hand, the differences in FA faithfulness between multilingual and monolingual models have yet to be explored. Our extensive experiments, covering five languages and five popular FAs, show that FA faithfulness varies between multilingual and monolingual models. We find that the larger the multilingual model, the less faithful the FAs are compared to its counterpart monolingual models.Our further analysis shows that the faithfulness disparity is potentially driven by the differences between model tokenizers. Our code is available: https://github.com/casszhao/multilingual-faith.


title: Stability restoration by asymmetric nonlinear states in non-Hermitian double-well potentials

abstract: We introduce a class of one-dimensional complex optical potentials that feature a nonlinearity-induced stability restoration, i.e., the existence of stable nonlinear modes propagating in a waveguide whose linear eigenmodes are unstable. The optical potential is an even function of the transverse coordinate, i.e., the system is parity symmetric but not parity-time symmetric. The stability restoration occurs for asymmetric stationary nonlinear modes that do not respect the parity symmetry. Stable nonlinear states exist either for focusing and defocusing nonlinearities. On the qualitative level the stability restoration cab be analyzed using a simple bimodal system. Its solutions enable systematic construction of stable stationary modes and more complex patterns with intensity periodically oscillating along the propagation distance.


title: The Inflationary Butterfly Effect: Non-Perturbative Dynamics From Small-Scale Features

abstract: For the first time, we investigate the non-perturbative dynamics of single field inflation with a departure from slow-roll. Using simulations, we find that oscillatory features in the potential can drastically alter the course of inflation, with major phenomenological implications. In certain cases, the entire Universe gets trapped in a forever inflating de Sitter state. In others, only some regions get stuck in a false vacuum, offering an alternative channel for primordial black hole formation. Analogous to the flap of a butterfly, these results show that small-scale phenomena can have profound consequences on the evolution of the entire Universe. This demonstrates the necessity of a non-perturbative approach in the exploration of the small-scale physics of inflation, particularly in the regime relevant for gravitational-wave astronomy.


title: The Emergence of Hardware Fuzzing: A Critical Review of its Significance

abstract: In recent years, there has been a notable surge in attention towards hardware security, driven by the increasing complexity and integration of processors, SoCs, and third-party IPs aimed at delivering advanced solutions. However, this complexity also introduces vulnerabilities and bugs into hardware systems, necessitating early detection during the IC design cycle to uphold system integrity and mitigate re-engineering costs. While the Design Verification (DV) community employs dynamic and formal verification strategies, they encounter challenges such as scalability for intricate designs and significant human intervention, leading to prolonged verification durations. As an alternative approach, hardware fuzzing, inspired by software testing methodologies, has gained prominence for its efficacy in identifying bugs within complex hardware designs. Despite the introduction of various hardware fuzzing techniques, obstacles such as inefficient conversion of hardware modules into software models impede their effectiveness. This Systematization of Knowledge (SoK) initiative delves into the fundamental principles of existing hardware fuzzing, methodologies, and their applicability across diverse hardware designs. Additionally, it evaluates factors such as the utilization of golden reference models (GRMs), coverage metrics, and toolchains to gauge their potential for broader adoption, akin to traditional formal verification methods. Furthermore, this work examines the reliability of existing hardware fuzzing techniques in identifying vulnerabilities and identifies research gaps for future advancements in design verification techniques.


title: Knowledge and Data Dual-Driven Channel Estimation and Feedback for Ultra-Massive MIMO Systems under Hybrid Field Beam Squint Effect

abstract: Acquiring accurate channel state information (CSI) at an access point (AP) is challenging for wideband millimeter wave (mmWave) ultra-massive multiple-input and multiple-output (UMMIMO) systems, due to the high-dimensional channel matrices, hybrid near- and far- field channel feature, beam squint effects, and imperfect hardware constraints, such as low-resolution analog-to-digital converters, and in-phase and quadrature imbalance. To overcome these challenges, this paper proposes an efficient downlink channel estimation (CE) and CSI feedback approach based on knowledge and data dual-driven deep learning (DL) networks. Specifically, we first propose a data-driven residual neural network de-quantizer (ResNet-DQ) to pre-process the received pilot signals at user equipment (UEs), where the noise and distortion brought by imperfect hardware can be mitigated. A knowledge-driven generalized multiple measurement vector learned approximate message passing (GMMV-LAMP) network is then developed to jointly estimate the channels by exploiting the approximately same physical angle shared by different subcarriers. In particular, two wideband redundant dictionaries (WRDs) are proposed such that the measurement matrices of the GMMV-LAMP network can accommodate the far-field and near-field beam squint effect, respectively. Finally, we propose an encoder at the UEs and a decoder at the AP by a data-driven CSI residual network (CSI-ResNet) to compress the CSI matrix into a low-dimensional quantized bit vector for feedback, thereby reducing the feedback overhead substantially. Simulation results show that the proposed knowledge and data dual-driven approach outperforms conventional downlink CE and CSI feedback methods, especially in the case of low signal-to-noise ratios.


title: On the chemical and kinematic signatures of the resonances of the Galactic bar as revealed by the LAMOST-APOGEE red clump stars

abstract: The Milky Way is widely considered to exhibit features of a rotational bar or quadrupole bar. In either case, the feature of the resonance of the Galactic bar should be present in the properties of the chemistry and kinematics, over a large area of the disk. With a sample of over 170,000 red clump (RC) stars from LAMOST-APOGEE data, we attempt to detect the chemical and kinematic signatures of the resonances of the Galactic bar, within 4.0 $\leq$ $R$ $\leq$ 15.0 kpc and $|Z|$ $\leq$ 3.0 kpc. The measurement of the $\Delta$[Fe/H]/$\Delta|Z|$ $-$ $R$ with subtracted the global profiles trends, shows that the thin and thick disks values are Cor_$\Delta$[Fe/H]/$\Delta|Z|$ = 0.010 $\mathrm{sin}$ (1.598 $R$ + 2.551) and Cor_$\Delta$[Fe/H]/$\Delta|Z|$ = 0.006 $\mathrm{sin}$ (1.258 $R$ $-$ 0.019), respectively. The analysis of the tilt angle of the velocity ellipsoid indicates that the thin and thick disks are accurately described as $\alpha$ = $\alpha_{0}$ arctan (Z/R), with $\alpha_{0}$ = 0.198 $\mathrm{sin}$ (0.853 $R$ + 1.982) + 0.630 and $\alpha_{0}$ = 0.220 $\mathrm{sin}$ (0.884 $R$ + 2.012) + 0.679 for thin and thick disks, respectively. These periodic oscillations in Cor_$\Delta$[Fe/H]/$\Delta|Z|$ and $\alpha_{0}$ with $R$ appear in both thin and thick disks, are the most likely chemical and kinematic signatures of the resonance of the Galactic bar. The difference in the phase of the functions of the fitted periodic oscillations for the thin and thick disks may be related to the presence of a second Galactic bar.


title: A Unified Framework for Rerandomization using Quadratic Forms

abstract: In the design stage of a randomized experiment, one way to ensure treatment and control groups exhibit similar covariate distributions is to randomize treatment until some prespecified level of covariate balance is satisfied. This experimental design strategy is known as rerandomization. Most rerandomization methods utilize balance metrics based on a quadratic form $v^TAv$ , where $v$ is a vector of covariate mean differences and $A$ is a positive semi-definite matrix. In this work, we derive general results for treatment-versus-control rerandomization schemes that employ quadratic forms for covariate balance. In addition to allowing researchers to quickly derive properties of rerandomization schemes not previously considered, our theoretical results provide guidance on how to choose the matrix $A$ in practice. We find the Mahalanobis and Euclidean distances optimize different measures of covariate balance. Furthermore, we establish how the covariates' eigenstructure and their relationship to the outcomes dictates which matrix $A$ yields the most precise mean-difference estimator for the average treatment effect. We find that the Euclidean distance is minimax optimal, in the sense that the mean-difference estimator's precision is never too far from the optimal choice, regardless of the relationship between covariates and outcomes. Our theoretical results are verified via simulation, where we find that rerandomization using the Euclidean distance has better performance in high-dimensional settings and typically achieves greater variance reduction to the mean-difference estimator than other quadratic forms.


title: Re-identification from histopathology images

abstract: In numerous studies, deep learning algorithms have proven their potential for the analysis of histopathology images, for example, for revealing the subtypes of tumors or the primary origin of metastases. These models require large datasets for training, which must be anonymized to prevent possible patient identity leaks. This study demonstrates that even relatively simple deep learning algorithms can re-identify patients in large histopathology datasets with substantial accuracy. We evaluated our algorithms on two TCIA datasets including lung squamous cell carcinoma (LSCC) and lung adenocarcinoma (LUAD). We also demonstrate the algorithm's performance on an in-house dataset of meningioma tissue. We predicted the source patient of a slide with F1 scores of 50.16 % and 52.30 % on the LSCC and LUAD datasets, respectively, and with 62.31 % on our meningioma dataset. Based on our findings, we formulated a risk assessment scheme to estimate the risk to the patient's privacy prior to publication.


title: Searching for Lepton Flavor Violation with the CMS Experiment

abstract: Searches for lepton flavor violation (LFV) stand at the forefront of experimental particle physics research, offering a sensitive probe to many scenarios of physics beyond the Standard Model. The high proton-proton collision energy and luminosity provided by the CERN Large Hadron Collider (LHC) and the excellent CMS detector performance allow for an extensive program of LFV searches. This article reviews a broad range of LFV searches conducted at the CMS experiment using data collected in LHC Run 2, including $\tau\to3\mu$ decays, Higgs boson decays, and top quark production and decays. In each analysis, the online and offline event selections, signal modeling, background suppression and estimation, and statistical interpretation are elucidated. These searches involve various final state particles in a large transverse momentum range, showcasing the capability of the CMS experiment in exploring fundamental questions in particle physics.


title: Dynamic Survival Analysis for Early Event Prediction

abstract: This study advances Early Event Prediction (EEP) in healthcare through Dynamic Survival Analysis (DSA), offering a novel approach by integrating risk localization into alarm policies to enhance clinical event metrics. By adapting and evaluating DSA models against traditional EEP benchmarks, our research demonstrates their ability to match EEP models on a time-step level and significantly improve event-level metrics through a new alarm prioritization scheme (up to 11% AuPRC difference). This approach represents a significant step forward in predictive healthcare, providing a more nuanced and actionable framework for early event prediction and management.


title: Two-dimensional inference of divertor plasma characteristics: advancements to a multi-instrument Bayesian analysis system

abstract: An integrated data analysis system based on Bayesian inference has been developed for application to data from multiple diagnostics over the two-dimensional cross-section of tokamak divertors. Tests of the divertor multi-instrument Bayesian analysis system (D-MIBAS) on a synthetic data set (including realistic experimental uncertainties) generated from SOLPS-ITER predictions of the MAST-U divertor have been performed. The resulting inference was within 6\%, 5\% and 30\% median absolute percentage error of the SOLPS-predicted electron temperature, electron density and neutral atomic hydrogen density, respectively, across a two-dimensional poloidal cross-section of the MAST-U Super-X outer divertor. To accommodate molecular contributions to Balmer emission, an advanced emission model has been developed which is shown to be crucial for inference accuracy. Our D-MIBAS system utilises a mesh aligned to poloidal magnetic flux-surfaces, throughout the divertor, with plasma parameters assigned to each mesh vertex and collectively considered in the inference. This allowed comprehensive forward models to multiple diagnostics and the inclusion of expected physics. This is shown to be important for inference precision when including molecular contributions to Balmer emission. These developments pave the way for accurate two-dimensional electron temperature, electron density and neutral atomic hydrogen density inferences for MAST-U divertor experimental data for the first time.


title: A Physics-embedded Deep Learning Framework for Cloth Simulation

abstract: Delicate cloth simulations have long been desired in computer graphics. Various methods were proposed to improve engaged force interactions, collision handling, and numerical integrations. Deep learning has the potential to achieve fast and real-time simulation, but common neural network structures often demand many parameters to capture cloth dynamics. This paper proposes a physics-embedded learning framework that directly encodes physical features of cloth simulation. The convolutional neural network is used to represent spatial correlations of the mass-spring system, after which three branches are designed to learn linear, nonlinear, and time derivate features of cloth physics. The framework can also integrate with other external forces and collision handling through either traditional simulators or sub neural networks. The model is tested across different cloth animation cases, without training with new data. Agreement with baselines and predictive realism successfully validate its generalization ability. Inference efficiency of the proposed model also defeats traditional physics simulation. This framework is also designed to easily integrate with other visual refinement techniques like wrinkle carving, which leaves significant chances to incorporate prevailing macing learning techniques in 3D cloth amination.


title: FlowerFormer: Empowering Neural Architecture Encoding using a Flow-aware Graph Transformer

abstract: The success of a specific neural network architecture is closely tied to the dataset and task it tackles; there is no one-size-fits-all solution. Thus, considerable efforts have been made to quickly and accurately estimate the performances of neural architectures, without full training or evaluation, for given tasks and datasets. Neural architecture encoding has played a crucial role in the estimation, and graphbased methods, which treat an architecture as a graph, have shown prominent performance. For enhanced representation learning of neural architectures, we introduce FlowerFormer, a powerful graph transformer that incorporates the information flows within a neural architecture. FlowerFormer consists of two key components: (a) bidirectional asynchronous message passing, inspired by the flows; (b) global attention built on flow-based masking. Our extensive experiments demonstrate the superiority of FlowerFormer over existing neural encoding methods, and its effectiveness extends beyond computer vision models to include graph neural networks and auto speech recognition models. Our code is available at http://github.com/y0ngjaenius/CVPR2024_FLOWERFormer.


title: FORM-based global reliability sensitivity analysis of systems with multiple failure modes

abstract: Global variance-based reliability sensitivity indices arise from a variance decomposition of the indicator function describing the failure event. The first-order indices reflect the main effect of each variable on the variance of the failure event and can be used for variable prioritization; the total-effect indices represent the total effect of each variable, including its interaction with other variables, and can be used for variable fixing. This contribution derives expressions for the variance-based reliability indices of systems with multiple failure modes that are based on the first-order reliability method (FORM). The derived expressions are a function of the FORM results and, hence, do not require additional expensive model evaluations. They do involve the evaluation of multinormal integrals, for which effective solutions are available. We demonstrate that the derived expressions enable an accurate estimation of variance-based reliability sensitivities for general system problems to which FORM is applicable.


title: Answer Set Programming for Flexible Payroll Management

abstract: Payroll management is a critical business task that is subject to a large number of rules, which vary widely between companies, sectors, and countries. Moreover, the rules are often complex and change regularly. Therefore, payroll management systems must be flexible in design. In this paper, we suggest an approach based on a flexible Answer Set Programming (ASP) model and an easy-to-read tabular representation based on the Decision Model and Notation (DMN) standard. It allows HR consultants to represent complex rules without the need for a software engineer, and to ultimately design payroll systems for a variety of different scenarios. We show how the multi-shot solving capabilities of the clingo ASP system can be used to reach the performance that is necessary to handle real-world instances.


title: Well-posedness and no-uniform dependence for the Euler-Poincar\'{e} equations in Triebel-Lizorkin spaces

abstract: In this paper, we study the Cauchy problem of the Euler-Poincar\'{e} equations in $\R^d$ with initial data belonging to the Triebel-Lizorkin spaces. We prove the local-in-time unique existence of solutions to the Euler-Poincar\'{e} equations in $F^s_{p,r}(\R^d)$. Furthermore, we obtain that the data-to-solution of this equation is continuous but not uniformly continuous in these spaces.


title: Oriented and Non-oriented Cubical Surfaces in The Penteract

abstract: Which surfaces can be realized with two-dimensional faces of the five-dimensional cube (the penteract)? How can we visualize them? In recent work, Aveni, Govc, and Roldan, show that there exist 2690 connected closed cubical surfaces up to isomorphism in the 5-cube. They give a classification in terms of their genus $g$ for closed orientable cubical surfaces and their demigenus $k$ for a closed non-orientable cubical surface. In this paper, we explain the main idea behind the exhaustive search and we visualize the projection to $\mathbb{R}^3$ of a torus, a genus two torus, the projective plane, and the Klein bottle. We use reinforcement learning techniques to obtain configurations optimized for 3D printing.


title: Cross Interpolation for Solving High-Dimensional Dynamical Systems on Low-Rank Tucker and Tensor Train Manifolds

abstract: We present a novel tensor interpolation algorithm for the time integration of nonlinear tensor differential equations (TDEs) on the tensor train and Tucker tensor low-rank manifolds, which are the building blocks of many tensor network decompositions. This paper builds upon our previous work (Donello et al., Proceedings of the Royal Society A, Vol. 479, 2023) on solving nonlinear matrix differential equations on low-rank matrix manifolds using CUR decompositions. The methodology we present offers multiple advantages: (i) It delivers near-optimal computational savings both in terms of memory and floating-point operations by leveraging cross algorithms based on the discrete empirical interpolation method to strategically sample sparse entries of the time-discrete TDEs to advance the solution in low-rank form. (ii) Numerical demonstrations show that the time integration is robust in the presence of small singular values. (iii) High-order explicit Runge-Kutta time integration schemes are developed. (iv) The algorithm is easy to implement, as it requires the evaluation of the full-order model at strategically selected entries and does not use tangent space projections, whose efficient implementation is intrusive. We demonstrate the efficiency of the presented algorithm for several test cases, including a nonlinear 100-dimensional TDE for the evolution of a tensor of size $70^{100} \approx 3.2 \times 10^{184}$ and a stochastic advection-diffusion-reaction equation with a tensor of size $4.7 \times 10^9$.


title: Predicting the stability of profiling signals of small RNAs

abstract: Profiling is a process that finds similarities between different RNA secondary structures by extracting signals from the Boltzmann sampling. The reproducibility of profiling can be identified by the standard deviation of number of features among Boltzmann samples. We found a strong relationship between the frequency of each helix class and its standard deviation of the frequency upon repeated Boltzmann sampling. We developed a perturbation technique to predict the stability of these featured helix classes without the need for repeated Boltzmann sampling, with accuracy between 84% and 94%, depending on the type of RNA. Our technique only requires 0.2% of the computation time compared to one profiling process.


title: Semilinear elliptic degenerate equations with critical exponent

abstract: In this paper we are mainly concerned with nontrivial positive solutions to the Dirichlet problem for the degenerate elliptic equation \begin{gather} -\frac{\partial^2 u}{\partial x^2} -\left|x\right|^{2k}\frac{\partial^2 u}{\partial y^2}=|x|^{2k}u^p+f(x,y,u) \quad\text{ in }\Omega, \ u=0 \quad\text{ on }\partial\Omega,\label{equ0} \end{gather} where $\Omega$ is a bounded domain with smooth boundary in $\mathbb{R}^2, \Omega \cap \{x=0\}\ne \emptyset,$ $k\in\mathbb N,$ $f(x,y,0)=0,$ and $p=(4+5k)/k$ is the critical exponent. Recently, the equation (1) was investigated in [12] for the subcritical case based on a new result obtained in [17] on embedding theorem of weighted Sobolev spaces. In the critical case considered in this paper we will essentially use the optimal functions and constants found in [17]


title: Kinetic-type Mean Field Games with Non-separable Local Hamiltonians

abstract: We prove well-posedness of a class of kinetic-type Mean Field Games, which typically arise when agents control their acceleration. Such systems include independent variables representing the spatial position as well as velocity. We consider non-separable Hamiltonians without any structural conditions, which depend locally on the density variable. Our analysis is based on two main ingredients: an energy method for the forward-backward system in Sobolev spaces, on the one hand and on a suitable vector field method to control derivatives with respect to the velocity variable, on the other hand. The careful combination of these two techniques reveals interesting phenomena applicable for Mean Field Games involving general classes of drift-diffusion operators and nonlinearities. While many prior existence theories for general Mean Field Games systems take the final datum function to be smoothing, we can allow this function to be non-smoothing, i.e. also depending locally on the final measure. Our well-posedness results hold under an appropriate smallness condition, assumed jointly on the data.


title: Towards Lifecycle Unlearning Commitment Management: Measuring Sample-level Approximate Unlearning Completeness

abstract: By adopting a more flexible definition of unlearning and adjusting the model distribution to simulate training without the targeted data, approximate machine unlearning provides a less resource-demanding alternative to the more laborious exact unlearning methods. Yet, the unlearning completeness of target samples-even when the approximate algorithms are executed faithfully without external threats-remains largely unexamined, raising questions about those approximate algorithms' ability to fulfill their commitment of unlearning during the lifecycle. In this paper, we introduce the task of Lifecycle Unlearning Commitment Management (LUCM) for approximate unlearning and outline its primary challenges. We propose an efficient metric designed to assess the sample-level unlearning completeness. Our empirical results demonstrate its superiority over membership inference techniques in two key areas: the strong correlation of its measurements with unlearning completeness across various unlearning tasks, and its computational efficiency, making it suitable for real-time applications. Additionally, we show that this metric is able to serve as a tool for monitoring unlearning anomalies throughout the unlearning lifecycle, including both under-unlearning and over-unlearning. We apply this metric to evaluate the unlearning commitments of current approximate algorithms. Our analysis, conducted across multiple unlearning benchmarks, reveals that these algorithms inconsistently fulfill their unlearning commitments due to two main issues: 1) unlearning new data can significantly affect the unlearning utility of previously requested data, and 2) approximate algorithms fail to ensure equitable unlearning utility across different groups. These insights emphasize the crucial importance of LUCM throughout the unlearning lifecycle. We will soon open-source our newly developed benchmark.


title: Electronic instability, layer selectivity and Fermi arcs in La$_3$Ni$_2$O$_7$

abstract: Using advanced dynamical mean-field theory on a realistic level we study the normal-state correlated electronic structure of the high-pressure superconductor La$_3$Ni$_2$O$_7$ and compare the features of the conventional bilayer (2222) Ruddelsden-Popper crystal structure with those of a newly-identified monolayer-trilayer (1313) alternation. Both structural cases display Ni-$d_{z^2}$ flat-band character at low-energy, which drives an electronic instability with a wave vector ${\bf q_{\rm I}}=(0.25,0.25,q_z)$ at ambient pressure, in line with recent experimental findings. The 1313 electronic structure exhibits significant layer selectivity, rendering especially the monolayer part to be Mott-critical. At high pressure, this layer selectivity weakens and the 1313 fermiology displays arcs reminiscent to those of high-$T_c$ cuprates. In contrast to dominant inter-site self-energy effects in the latter systems, here the Fermi arcs are the result of the multiorbital and multilayer interplay within a correlated flat-band scenario.


title: On high-dimensional classification by sparse generalized Bayesian logistic regression

abstract: This work addresses the problem of high-dimensional classification by exploring the generalized Bayesian logistic regression method under a sparsity-inducing prior distribution. The method involves utilizing a fractional power of the likelihood resulting the fractional posterior. Our study yields concentration results for the fractional posterior, not only on the joint distribution of the predictor and response variable but also for the regression coefficients. Significantly, we derive novel findings concerning misclassification excess risk bounds using sparse generalized Bayesian logistic regression. These results parallel recent findings for penalized methods in the frequentist literature. Furthermore, we extend our results to the scenario of model misspecification, which is of critical importance.


title: Weak exactness and amalgamated free product of von Neumann algebras

abstract: We show that the amalgamated free product of weakly exact von Neumann algebras is weakly exact. This is done by using a universal property of Toeplitz-Pimsner algebras and a locally convex topology on bimodules of von Neumann algebras, which is used to characterize weakly exact von Neumann algebras.


title: Embarrassingly Simple Scribble Supervision for 3D Medical Segmentation

abstract: Traditionally, segmentation algorithms require dense annotations for training, demanding significant annotation efforts, particularly within the 3D medical imaging field. Scribble-supervised learning emerges as a possible solution to this challenge, promising a reduction in annotation efforts when creating large-scale datasets. Recently, a plethora of methods for optimized learning from scribbles have been proposed, but have so far failed to position scribble annotation as a beneficial alternative. We relate this shortcoming to two major issues: 1) the complex nature of many methods which deeply ties them to the underlying segmentation model, thus preventing a migration to more powerful state-of-the-art models as the field progresses and 2) the lack of a systematic evaluation to validate consistent performance across the broader medical domain, resulting in a lack of trust when applying these methods to new segmentation problems. To address these issues, we propose a comprehensive scribble supervision benchmark consisting of seven datasets covering a diverse set of anatomies and pathologies imaged with varying modalities. We furthermore propose the systematic use of partial losses, i.e. losses that are only computed on annotated voxels. Contrary to most existing methods, these losses can be seamlessly integrated into state-of-the-art segmentation methods, enabling them to learn from scribble annotations while preserving their original loss formulations. Our evaluation using nnU-Net reveals that while most existing methods suffer from a lack of generalization, the proposed approach consistently delivers state-of-the-art performance. Thanks to its simplicity, our approach presents an embarrassingly simple yet effective solution to the challenges of scribble supervision. Source code as well as our extensive scribble benchmarking suite will be made publicly available upon publication.


title: AnySkill: Learning Open-Vocabulary Physical Skill for Interactive Agents

abstract: Traditional approaches in physics-based motion generation, centered around imitation learning and reward shaping, often struggle to adapt to new scenarios. To tackle this limitation, we propose AnySkill, a novel hierarchical method that learns physically plausible interactions following open-vocabulary instructions. Our approach begins by developing a set of atomic actions via a low-level controller trained via imitation learning. Upon receiving an open-vocabulary textual instruction, AnySkill employs a high-level policy that selects and integrates these atomic actions to maximize the CLIP similarity between the agent's rendered images and the text. An important feature of our method is the use of image-based rewards for the high-level policy, which allows the agent to learn interactions with objects without manual reward engineering. We demonstrate AnySkill's capability to generate realistic and natural motion sequences in response to unseen instructions of varying lengths, marking it the first method capable of open-vocabulary physical skill learning for interactive humanoid agents.


title: Predicting Winning Lottery Numbers

abstract: We use mathematical statistics theory to derive the Compound-Dirichlet-Multinomial (CDM) prediction model. We then use this model to predict winning numbers for the 6-number, 5-number, pick-4 and pick-3 lottery games. We also develop a strategy which we call the 3-strategy, for generating profit by predicting winning numbers for the pick-3 lottery game.


title: Opti-Acoustic Semantic SLAM with Unknown Objects in Underwater Environments

abstract: Despite recent advances in semantic Simultaneous Localization and Mapping (SLAM) for terrestrial and aerial applications, underwater semantic SLAM remains an open and largely unaddressed research problem due to the unique sensing modalities and the object classes found underwater. This paper presents an object-based semantic SLAM method for underwater environments that can identify, localize, classify, and map a wide variety of marine objects without a priori knowledge of the object classes present in the scene. The method performs unsupervised object segmentation and object-level feature aggregation, and then uses opti-acoustic sensor fusion for object localization. Probabilistic data association is used to determine observation to landmark correspondences. Given such correspondences, the method then jointly optimizes landmark and vehicle position estimates. Indoor and outdoor underwater datasets with a wide variety of objects and challenging acoustic and lighting conditions are collected for evaluation and made publicly available. Quantitative and qualitative results show the proposed method achieves reduced trajectory error compared to baseline methods, and is able to obtain comparable map accuracy to a baseline closed-set method that requires hand-labeled data of all objects in the scene.


title: How Spammers and Scammers Leverage AI-Generated Images on Facebook for Audience Growth

abstract: Much of the research and discourse on risks from artificial intelligence (AI) image generators, such as DALL-E and Midjourney, has centered around whether they could be used to inject false information into political discourse. We show that spammers and scammers - seemingly motivated by profit or clout, not ideology - are already using AI-generated images to gain significant traction on Facebook. At times, the Facebook Feed is recommending unlabeled AI-generated images to users who neither follow the Pages posting the images nor realize that the images are AI-generated, highlighting the need for improved transparency and provenance standards as AI models proliferate.


title: Global-guided Focal Neural Radiance Field for Large-scale Scene Rendering

abstract: Neural radiance fields~(NeRF) have recently been applied to render large-scale scenes. However, their limited model capacity typically results in blurred rendering results. Existing large-scale NeRFs primarily address this limitation by partitioning the scene into blocks, which are subsequently handled by separate sub-NeRFs. These sub-NeRFs, trained from scratch and processed independently, lead to inconsistencies in geometry and appearance across the scene. Consequently, the rendering quality fails to exhibit significant improvement despite the expansion of model capacity. In this work, we present global-guided focal neural radiance field (GF-NeRF) that achieves high-fidelity rendering of large-scale scenes. Our proposed GF-NeRF utilizes a two-stage (Global and Focal) architecture and a global-guided training strategy. The global stage obtains a continuous representation of the entire scene while the focal stage decomposes the scene into multiple blocks and further processes them with distinct sub-encoders. Leveraging this two-stage architecture, sub-encoders only need fine-tuning based on the global encoder, thus reducing training complexity in the focal stage while maintaining scene-wide consistency. Spatial information and error information from the global stage also benefit the sub-encoders to focus on crucial areas and effectively capture more details of large-scale scenes. Notably, our approach does not rely on any prior knowledge about the target scene, attributing GF-NeRF adaptable to various large-scale scene types, including street-view and aerial-view scenes. We demonstrate that our method achieves high-fidelity, natural rendering results on various types of large-scale datasets. Our project page: https://shaomq2187.github.io/GF-NeRF/


title: Optical properties of Euler-Heisenberg black hole in the Cold Dark Matter Halo

abstract: The optical properties of Euler-Heisenberg (EH) black hole (BH) surrounded by Cold Dark Matter (CDM) halo are investigated. By changing BH's parameters, we found that the radius of horizon r_{h} and radius of photon sphere r_{ph} will transparently increase as CDM halo parameters R and \rho increase. To show the influence of CDM halo on the BH's optical characteristics, we took two sets of R and \rho with prominent differences and plot the first four orders of images for thin accretion disk with different angle of inclination \theta of observer. The images with light intensity distributions using Novikov-Thorne (N-T) model are also derived, as well as the effective potential, photon orbits. Especially, analysis of intersection behaviors between photon trajectories with different impact parameters and circular time-like orbits in accretion disk will help better understand the image of thin accretion disk. Our results showed that CDM halo will make BH become more larger and dimmer distinctly.


title: Episodicity in accretion-ejection processes associated with IRAS 15398-3359

abstract: The protostar IRAS 15398-3359 is associated with a bipolar molecular outflow ejected in an nearly northeast-southwest (NE-SW) direction which has been extensively studied. It has been suggested previous episodic accretion events by this source. Furthermore, the analysis of the morphology and kinematics of the molecular outflow revealed the presence of four $^{12}$CO(2-1) bipolar elliptical shock-like structures identified in both lobes. These structures seem to trace different ejections inclined $\sim$10\deg on the plane of the sky from each other. This led to the hypothesis that the outflow axis likely precesses and launches material episodically. We analyze ALMA archive observations in Band 6, revealing the presence of low-velocity ($<3.5$km s$^{-1}$) emission from the line $^{12}$CO(2-1) to the south and north of the protostar. We study the morphology and kinematics of the gas, which seems to support the hypothesis of a precessing episodic outflow. The ALMA observations reveal a north-south (N-S) outflow most likely associated with the IRAS 15398-3359 protostellar system. This outflow could be older than the well-studied NE-SW outflow. The orientation of the N-S outflow is 50\deg - 60\deg on the plane of the sky away from that of the NE-SW outflow. We also analyze the Spectral Energy Distribution of a far away young star and preliminary discard it as the driver of the SE outflow remnants. The new observations support the hypothesis of strong episodic accretion-ejection events in IRAS 15398-3359, accompanied by dramatic changes in the orientation of its ejection axis, implying that all the outflows in the region may have been driven by the same protostar.


title: The Interplay Between Symmetries and Impact Effects on Hybrid Mechanical Systems

abstract: Hybrid systems are dynamical systems with continuous-time and discrete-time components in their dynamics. When hybrid systems are defined on a principal bundle we are able to define two classes of impacts for the discrete-time transition of the dynamics: interior impacts and exterior impacts. In this paper we define hybrid systems on principal bundles, study the underlying geometry on the switching surface where impacts occur and we find conditions for which both exterior and interior impacts are preserved by the mechanical connection induced in the principal bundle.


title: On the positivity of Fourier transform of the stretched Gau{\ss}ian function

abstract: The stretched Gau{\ss}ian function $f(\mathbf{x})=\exp \left(-\|\mathbf{x}\|^s\right)$, as a real function defined on $\mathbb{R}^d$, has found numerous applications in mathematics and physics. For instance, to describe results from spectroscopy or inelastic scattering, the Fourier transform of the stretched Gau{\ss}ian function is needed. For $s \in(0,2]$, we prove that the Fourier transform of $f(\mathbf{x})=\exp \left(-\|\mathbf{x}\|^s\right)$ is everywhere positive on $\mathbb{R}^d$.


title: MELTing point: Mobile Evaluation of Language Transformers

abstract: Transformers have revolutionized the machine learning landscape, gradually making their way into everyday tasks and equipping our computers with ``sparks of intelligence''. However, their runtime requirements have prevented them from being broadly deployed on mobile. As personal devices become increasingly powerful and prompt privacy becomes an ever more pressing issue, we explore the current state of mobile execution of Large Language Models (LLMs). To achieve this, we have created our own automation infrastructure, MELT, which supports the headless execution and benchmarking of LLMs on device, supporting different models, devices and frameworks, including Android, iOS and Nvidia Jetson devices. We evaluate popular instruction fine-tuned LLMs and leverage different frameworks to measure their end-to-end and granular performance, tracing their memory and energy requirements along the way. Our analysis is the first systematic study of on-device LLM execution, quantifying performance, energy efficiency and accuracy across various state-of-the-art models and showcases the state of on-device intelligence in the era of hyperscale models. Results highlight the performance heterogeneity across targets and corroborates that LLM inference is largely memory-bound. Quantization drastically reduces memory requirements and renders execution viable, but at a non-negligible accuracy cost. Drawing from its energy footprint and thermal behavior, the continuous execution of LLMs remains elusive, as both factors negatively affect user experience. Last, our experience shows that the ecosystem is still in its infancy, and algorithmic as well as hardware breakthroughs can significantly shift the execution cost. We expect NPU acceleration, and framework-hardware co-design to be the biggest bet towards efficient standalone execution, with the alternative of offloading tailored towards edge deployments.


title: Giant electrode effect on tunneling magnetoresistance and electroresistance in van der Waals intrinsic multiferroic tunnel junctions using VS2

abstract: Van der Waals multiferroic tunnel junctions (vdW-MFTJs) with multiple nonvolatile resistive states are highly suitable for new physics and next-generation storage electronics. However, currently reported vdW-MFTJs are based on two types of materials, i.e., vdW ferromagnetic and ferroelectric materials, forming a multiferroic system. This undoubtedly introduces additional interfaces, increasing the complexity of experimental preparation. Herein, we engineer vdW intrinsic MFTJs utilizing bilayer VS$_2$. By employing the nonequilibrium Green's function combined with density functional theory, we systematically investigate the influence of three types of electrodes (including non-vdW pure metal Ag/Au, vdW metallic 1T-MoS$_2$/2H-PtTe$_2$, and vdW ferromagnetic metallic Fe$_3$GaTe$_2$/Fe$_3$GeTe$_2$) on the electronic transport properties of VS$_2$-based intrinsic MFTJs. We demonstrate that these MFTJs manifest a giant electrode-dependent electronic transport characteristic effect. Comprehensively comparing these electrode pairs, the Fe$_3$GaTe$_2$/Fe$_3$GeTe$_2$ electrode combination exhibits optimal transport properties, the maximum TMR (TER) can reach 10949\% (69\%) and the minimum resistance-area product (RA) is 0.45 $\Omega$$\mu$m$^{2}$, as well as the perfect spin filtering and negative differential resistance effects. More intriguingly, TMR (TER) can be further enhanced to 34000\% (380\%) by applying an external bias voltage (0.1 V), while RA can be reduced to 0.16 $\Omega$$\mu$m$^{2}$ under the influence of biaxial stress (-3\%). Our proposed concept of designing vdW-MFTJs using intrinsic multiferroic materials points towards new avenues in experimental exploration.


title: Higher Derivative Muffin Tin Orbitals (HDMTO) and Higher Derivative Koringa Khon and Rostoker (HDKKR) methods

abstract: In this work we introduce a Linearized version of the Koringa Khon and Rostoker method (LKKR) and show it to be equivalent to the Linearized Muffin Tin Orbitals method (LMTO). We then present higher derivative versions of both methods, e.g. HDKKR and HDMTO and show them to be partially distinct (not equivalent). In particular HDKKR basis set does not have an equivalent ground state for the Khon Sham (KS) Hamiltonian as the HDKKR basis set and has greater variational power than the HDMTO one. Because the KS method, for Density Functional Theory (DFT), is variational HDKKR will give better ground state energies than HDMTO. However HDKKR is much harder to work with then HDMTO requiring much greater computer resources so HDMTO can often be preferred.


title: Policy Bifurcation in Safe Reinforcement Learning

abstract: Safe reinforcement learning (RL) offers advanced solutions to constrained optimal control problems. Existing studies in safe RL implicitly assume continuity in policy functions, where policies map states to actions in a smooth, uninterrupted manner; however, our research finds that in some scenarios, the feasible policy should be discontinuous or multi-valued, interpolating between discontinuous local optima can inevitably lead to constraint violations. We are the first to identify the generating mechanism of such a phenomenon, and employ topological analysis to rigorously prove the existence of policy bifurcation in safe RL, which corresponds to the contractibility of the reachable tuple. Our theorem reveals that in scenarios where the obstacle-free state space is non-simply connected, a feasible policy is required to be bifurcated, meaning its output action needs to change abruptly in response to the varying state. To train such a bifurcated policy, we propose a safe RL algorithm called multimodal policy optimization (MUPO), which utilizes a Gaussian mixture distribution as the policy output. The bifurcated behavior can be achieved by selecting the Gaussian component with the highest mixing coefficient. Besides, MUPO also integrates spectral normalization and forward KL divergence to enhance the policy's capability of exploring different modes. Experiments with vehicle control tasks show that our algorithm successfully learns the bifurcated policy and ensures satisfying safety, while a continuous policy suffers from inevitable constraint violations.


title: Compositional 3D Scene Synthesis with Scene Graph Guided Layout-Shape Generation

abstract: Compositional 3D scene synthesis has diverse applications across a spectrum of industries such as robotics, films, and video games, as it closely mirrors the complexity of real-world multi-object environments. Early works typically employ shape retrieval based frameworks which naturally suffer from limited shape diversity. Recent progresses have been made in shape generation with powerful generative models, such as diffusion models, which increases the shape fidelity. However, these approaches separately treat 3D shape generation and layout generation. The synthesized scenes are usually hampered by layout collision, which implies that the scene-level fidelity is still under-explored. In this paper, we aim at generating realistic and reasonable 3D scenes from scene graph. To enrich the representation capability of the given scene graph inputs, large language model is utilized to explicitly aggregate the global graph features with local relationship features. With a unified graph convolution network (GCN), graph features are extracted from scene graphs updated via joint layout-shape distribution. During scene generation, an IoU-based regularization loss is introduced to constrain the predicted 3D layouts. Benchmarked on the SG-FRONT dataset, our method achieves better 3D scene synthesis, especially in terms of scene-level fidelity. The source code will be released after publication.


title: Optimizing Service Placement in Edge-to-Cloud AR/VR Systems using a Multi-Objective Genetic Algorithm

abstract: Augmented Reality (AR) and Virtual Reality (VR) systems involve computationally intensive image processing algorithms that can burden end-devices with limited resources, leading to poor performance in providing low latency services. Edge-to-cloud computing overcomes the limitations of end-devices by offloading their computations to nearby edge devices or remote cloud servers. Although this proves to be sufficient for many applications, optimal placement of latency sensitive AR/VR services in edge-to-cloud infrastructures (to provide desirable service response times and reliability) remain a formidable challenging. To address this challenge, this paper develops a Multi-Objective Genetic Algorithm (MOGA) to optimize the placement of AR/VR-based services in multi-tier edge-to-cloud environments. The primary objective of the proposed MOGA is to minimize the response time of all running services, while maximizing the reliability of the underlying system from both software and hardware perspectives. To evaluate its performance, we mathematically modeled all components and developed a tailor-made simulator to assess its effectiveness on various scales. MOGA was compared with several heuristics to prove that intuitive solutions, which are usually assumed sufficient, are not efficient enough for the stated problem. The experimental results indicated that MOGA can significantly reduce the response time of deployed services by an average of 67\% on different scales, compared to other heuristic methods. MOGA also ensures reliability of the 97\% infrastructure (hardware) and 95\% services (software).


title: 3d Quantum Trace Map

abstract: We construct the 3d quantum trace map, a homomorphism from the Kauffman bracket skein module of an ideally triangulated 3-manifold to its (square root) quantum gluing module, thereby giving a precise relationship between the two quantizations of the character variety of ideally triangulated 3-manifolds. This map, whose existence was conjectured earlier by Agarwal, Gang, Lee, and Romo, is a natural 3-dimensional analog of the 2d quantum trace map of Bonahon and Wong. Our construction is based on the study of stated skein modules and their behavior under splitting, especially into face suspensions.


title: Observation of spectral lines in the exceptional GRB 221009A

abstract: As the brightest gamma-ray burst ever observed, GRB 221009A provided a precious opportunity to explore spectral line features. In this paper, we performed a comprehensive spectroscopy analysis of GRB 221009A jointly with GECAM-C and Fermi/GBM data to search for emission and absorption lines. For the first time we investigated the line feature throughout this GRB including the most bright part where many instruments suffered problems, and identified prominent emission lines in multiple time intervals. The central energy of the Gaussian emission line evolves from about 37 MeV to 6 MeV, with a nearly constant ratio (about 10\%) between the line width and central energy. Particularly, we find that both the central energy and the energy flux of the emission line evolve with time as a power law decay with power law index of -1 and -2 respectively. We suggest that the observed emission lines most likely originate from the blue-shifted electron positron pair annihilation 511 keV line. We find that a standard high latitude emission scenario cannot fully interpret the observation, thus we propose that the emission line comes from some dense clumps with electron positron pairs traveling together with the jet. In this scenario, we can use the emission line to directly, for the first time, measure the bulk Lorentz factor of the jet ($\Gamma$) and reveal its time evolution (i.e. $\Gamma \sim t^{-1}$) during the prompt emission. Interestingly, we find that the flux of the annihilation line in the co-moving frame keeps constant. These discoveries of the spectral line features shed new and important lights on the physics of GRB and relativistic jet.


title: Generative Enhancement for 3D Medical Images

abstract: The limited availability of 3D medical image datasets, due to privacy concerns and high collection or annotation costs, poses significant challenges in the field of medical imaging. While a promising alternative is the use of synthesized medical data, there are few solutions for realistic 3D medical image synthesis due to difficulties in backbone design and fewer 3D training samples compared to 2D counterparts. In this paper, we propose GEM-3D, a novel generative approach to the synthesis of 3D medical images and the enhancement of existing datasets using conditional diffusion models. Our method begins with a 2D slice, noted as the informed slice to serve the patient prior, and propagates the generation process using a 3D segmentation mask. By decomposing the 3D medical images into masks and patient prior information, GEM-3D offers a flexible yet effective solution for generating versatile 3D images from existing datasets. GEM-3D can enable dataset enhancement by combining informed slice selection and generation at random positions, along with editable mask volumes to introduce large variations in diffusion sampling. Moreover, as the informed slice contains patient-wise information, GEM-3D can also facilitate counterfactual image synthesis and dataset-level de-enhancement with desired control. Experiments on brain MRI and abdomen CT images demonstrate that GEM-3D is capable of synthesizing high-quality 3D medical images with volumetric consistency, offering a straightforward solution for dataset enhancement during inference. The code is available at https://github.com/HKU-MedAI/GEM-3D.


title: RASP: A Drone-based Reconfigurable Actuation and Sensing Platform Towards Ambient Intelligent Systems

abstract: Realizing consumer-grade drones that are as useful as robot vacuums throughout our homes or personal smartphones in our daily lives requires drones to sense, actuate, and respond to general scenarios that may arise. Towards this vision, we propose RASP, a modular and reconfigurable sensing and actuation platform that allows drones to autonomously swap onboard sensors and actuators in only 25 seconds, allowing a single drone to quickly adapt to a diverse range of tasks. RASP consists of a mechanical layer to physically swap sensor modules, an electrical layer to maintain power and communication lines to the sensor/actuator, and a software layer to maintain a common interface between the drone and any sensor module in our platform. Leveraging recent advances in large language and visual language models, we further introduce the architecture, implementation, and real-world deployments of a personal assistant system utilizing RASP. We demonstrate that RASP can enable a diverse range of useful tasks in home, office, lab, and other indoor settings.


title: An inhomogeneous porous medium equation with non-integrable data: asymptotics

abstract: We investigate the asymptotic behavior as $t\to+\infty$ of solutions to a weighted porous medium equation in $ \mathbb{R}^N $, whose weight $\rho(x)$ behaves at spatial infinity like $ |x|^{-\gamma} $ with subcritical power, namely $ \gamma \in [0,2) $. Inspired by some results by Alikakos-Rostamian and Kamin-Ughi from the 1980s on the unweighted problem, we focus on solutions whose initial data $u_0(x)$ are not globally integrable with respect to the weight and behave at infinity like $ |x|^{-\alpha} $, for $\alpha\in(0,N-\gamma)$. In the special case $ \rho(x)=|x|^{-\gamma} $ and $ u_0(x)=|x|^{-\alpha} $ we show that self-similar solutions of Barenblatt type, i.e. reminiscent of the usual source-type solutions, still exist, although they are no longer compactly supported. Moreover, they exhibit a transition phenomenon which is new even for the unweighted equation. We prove that such self-similar solutions are attractors for the original problem, and convergence takes place globally in suitable weighted $ L^p $ spaces for $p\in[1,\infty)$ and even globally in $L^\infty$ under some mild additional regularity assumptions on the weight. Among the fundamental tools that we exploit, it is worth mentioning a global smoothing effect for non-integrable data.


title: Uniform boundedness of semistable pure sheaves on projective manifolds

abstract: We prove uniform boundedness statements for semistable pure sheaves on projective manifolds. For example, we prove that the set of isomorphism classes of pure sheaves of dimension 2 that are slope semistable with respect to ample classes that vary in a compact set $K$ are bounded. We also prove uniform boundedness for pure sheaves of higher dimension, but with restrictions on the compact set $K$. As applications we get new statements about moduli spaces of semistable sheaves, and the wall-chamber structure that governs their variation.


title: Equivariant Ensembles and Regularization for Reinforcement Learning in Map-based Path Planning

abstract: In reinforcement learning (RL), exploiting environmental symmetries can significantly enhance efficiency, robustness, and performance. However, ensuring that the deep RL policy and value networks are respectively equivariant and invariant to exploit these symmetries is a substantial challenge. Related works try to design networks that are equivariant and invariant by construction, limiting them to a very restricted library of components, which in turn hampers the expressiveness of the networks. This paper proposes a method to construct equivariant policies and invariant value functions without specialized neural network components, which we term equivariant ensembles. We further add a regularization term for adding inductive bias during training. In a map-based path planning case study, we show how equivariant ensembles and regularization benefit sample efficiency and performance.


title: Average circuit eigenvalue sampling on NISQ devices

abstract: Average circuit eigenvalue sampling (ACES) was introduced by Flammia in arXiv:2108.05803 as a protocol to characterize the Pauli error channels of individual gates across the device simultaneously. The original paper posed using ACES to characterize near-term devices as an open problem. This work advances in this direction by presenting a full implementation of ACES for real devices and deploying it to Superstaq arXiv:2309.05157, along with a device-tailored resource estimation obtained through simulations and experiments. Our simulations show that ACES is able to estimate one- and two-qubit non-uniform Pauli error channels to an average eigenvalue absolute error of under $0.003$ and total variation distance of under 0.001 between simulated and reconstructed probability distributions over Pauli errors with $10^5$ shots per circuit using 5 circuits of depth 14. The question of estimating general error channels through twirling techniques in real devices remains open, as it is dependent on a device's native gates, but simulations with the Clifford set show results in agreement with reported hardware data. Experimental results on IBM's Algiers and Osaka devices are presented, where we characterize their error channels as Pauli channels without twirling.


title: Settlement Mapping for Population Density Modelling in Disease Risk Spatial Analysis

abstract: In disease risk spatial analysis, many researchers especially in Indonesia are still modelling population density as the ratio of total population to administrative area extent. This model oversimplifies the problem, because it covers large uninhabited areas, while the model should focus on inhabited areas. This study uses settlement mapping against satellite imagery to focus the model and calculate settlement area extent. As far as our search goes, we did not find any specific studies comparing the use of settlement mapping with administrative area to model population density in computing its correlation to a disease case rate. This study investigates the comparison of both models using data on Tuberculosis (TB) case rate in Central and East Java Indonesia. Our study shows that using administrative area density the Spearman's $\rho$ was considered as "Fair" (0.566, p<0.01) and using settlement density was "Moderately Strong" (0.673, p<0.01). The difference is significant according to Hotelling's t test. By this result we are encouraging researchers to use settlement mapping to improve population density modelling in disease risk spatial analysis. Resources used by and resulting from this work are publicly available at https://github.com/mirzaalimm/PopulationDensityVsDisease.


title: Primal Methods for Variational Inequality Problems with Functional Constraints

abstract: Constrained variational inequality problems are recognized for their broad applications across various fields including machine learning and operations research. First-order methods have emerged as the standard approach for solving these problems due to their simplicity and scalability. However, they typically rely on projection or linear minimization oracles to navigate the feasible set, which becomes computationally expensive in practical scenarios featuring multiple functional constraints. Existing efforts to tackle such functional constrained variational inequality problems have centered on primal-dual algorithms grounded in the Lagrangian function. These algorithms along with their theoretical analysis often require the existence and prior knowledge of the optimal Lagrange multipliers. In this work, we propose a simple primal method, termed Constrained Gradient Method (CGM), for addressing functional constrained variational inequality problems, without necessitating any information on the optimal Lagrange multipliers. We establish a non-asymptotic convergence analysis of the algorithm for variational inequality problems with monotone operators under smooth constraints. Remarkably, our algorithms match the complexity of projection-based methods in terms of operator queries for both monotone and strongly monotone settings, while utilizing significantly cheaper oracles based on quadratic programming. Furthermore, we provide several numerical examples to evaluate the efficacy of our algorithms.


title: Mutually orthogoval projective and affine spaces

abstract: A recent paper showed how to find sets of finite affine or projective planes constructed on a common set of points, so that lines of one plane meet lines of a different plane in at most two points. In this paper, those results are generalized in two different ways to spaces of higher dimension. The simpler of the two generalizations admits many solutions, both affine and projective. For the stronger definition, where a line of one space must be an arc in the other, we show the existence of pairs of projective spaces of dimension one less than a prime.


title: D-Cubed: Latent Diffusion Trajectory Optimisation for Dexterous Deformable Manipulation

abstract: Mastering dexterous robotic manipulation of deformable objects is vital for overcoming the limitations of parallel grippers in real-world applications. Current trajectory optimisation approaches often struggle to solve such tasks due to the large search space and the limited task information available from a cost function. In this work, we propose D-Cubed, a novel trajectory optimisation method using a latent diffusion model (LDM) trained from a task-agnostic play dataset to solve dexterous deformable object manipulation tasks. D-Cubed learns a skill-latent space that encodes short-horizon actions in the play dataset using a VAE and trains a LDM to compose the skill latents into a skill trajectory, representing a long-horizon action trajectory in the dataset. To optimise a trajectory for a target task, we introduce a novel gradient-free guided sampling method that employs the Cross-Entropy method within the reverse diffusion process. In particular, D-Cubed samples a small number of noisy skill trajectories using the LDM for exploration and evaluates the trajectories in simulation. Then, D-Cubed selects the trajectory with the lowest cost for the subsequent reverse process. This effectively explores promising solution areas and optimises the sampled trajectories towards a target task throughout the reverse diffusion process. Through empirical evaluation on a public benchmark of dexterous deformable object manipulation tasks, we demonstrate that D-Cubed outperforms traditional trajectory optimisation and competitive baseline approaches by a significant margin. We further demonstrate that trajectories found by D-Cubed readily transfer to a real-world LEAP hand on a folding task.


title: Epistemology of Language Models: Do Language Models Have Holistic Knowledge?

abstract: This paper investigates the inherent knowledge in language models from the perspective of epistemological holism. The purpose of this paper is to explore whether LLMs exhibit characteristics consistent with epistemological holism. These characteristics suggest that core knowledge, such as general scientific knowledge, each plays a specific role, serving as the foundation of our knowledge system and being difficult to revise. To assess these traits related to holism, we created a scientific reasoning dataset and examined the epistemology of language models through three tasks: Abduction, Revision, and Argument Generation. In the abduction task, the language models explained situations while avoiding revising the core knowledge. However, in other tasks, the language models were revealed not to distinguish between core and peripheral knowledge, showing an incomplete alignment with holistic knowledge principles.


title: F-signature functions of diagonal hypersurfaces

abstract: Let $f$ be a diagonal hypersurface in $A_p=\mathbb{F}_p[[x_1,\dots,x_n]]$. We study the behavior of the function $\phi_{f,p}({a}/{p^e})=p^{-ne}\dim_{\mathbb{F}_p}\big(A_p/(x_1^{p^e},\dots,x_n^{p^e},f^a)\big)$ which encodes information about the F-threshold, the Hilbert-Kunz, and the F-signature functions. We prove that when $p$ goes to infinity $\phi_{f,p}$ converges to a piecewise polynomial function $\phi_f$ and the left and right derivatives of $\phi_{f,p}$ converge to $\phi'_f$. We use this fact to prove the existence of the limit F-signature and limit Hilbert-Kunz multiplicity for diagonal hypersurfaces. When $f$ is a Fermat hypersurface, we investigate the shape of the F-signature function of $f$ and provide an explicit formula for the limit F-signature and, in some cases, also for the F-signature for fixed $p$. This allows us to answer negatively to a question of Watanabe and Yoshida.


title: A Comparison of Deep Learning Architectures for Spacecraft Anomaly Detection

abstract: Spacecraft operations are highly critical, demanding impeccable reliability and safety. Ensuring the optimal performance of a spacecraft requires the early detection and mitigation of anomalies, which could otherwise result in unit or mission failures. With the advent of deep learning, a surge of interest has been seen in leveraging these sophisticated algorithms for anomaly detection in space operations. This study aims to compare the efficacy of various deep learning architectures in detecting anomalies in spacecraft data. The deep learning models under investigation include Convolutional Neural Networks (CNNs), Recurrent Neural Networks (RNNs), Long Short-Term Memory (LSTM) networks, and Transformer-based architectures. Each of these models was trained and validated using a comprehensive dataset sourced from multiple spacecraft missions, encompassing diverse operational scenarios and anomaly types. Initial results indicate that while CNNs excel in identifying spatial patterns and may be effective for some classes of spacecraft data, LSTMs and RNNs show a marked proficiency in capturing temporal anomalies seen in time-series spacecraft telemetry. The Transformer-based architectures, given their ability to focus on both local and global contexts, have showcased promising results, especially in scenarios where anomalies are subtle and span over longer durations. Additionally, considerations such as computational efficiency, ease of deployment, and real-time processing capabilities were evaluated. While CNNs and LSTMs demonstrated a balance between accuracy and computational demands, Transformer architectures, though highly accurate, require significant computational resources. In conclusion, the choice of deep learning architecture for spacecraft anomaly detection is highly contingent on the nature of the data, the type of anomalies, and operational constraints.


title: PE-Planner: A Performance-Enhanced Quadrotor Motion Planner for Autonomous Flight in Complex and Dynamic Environments

abstract: The role of a motion planner is pivotal in quadrotor applications, yet existing methods often struggle to adapt to complex environments, limiting their ability to achieve fast, safe, and robust flight. In this letter, we introduce a performance-enhanced quadrotor motion planner designed for autonomous flight in complex environments including dense obstacles, dynamic obstacles, and unknown disturbances. The global planner generates an initial trajectory through kinodynamic path searching and refines it using B-spline trajectory optimization. Subsequently, the local planner takes into account the quadrotor dynamics, estimated disturbance, global reference trajectory, control cost, time cost, and safety constraints to generate real-time control inputs, utilizing the framework of model predictive contouring control. Both simulations and real-world experiments corroborate the heightened robustness, safety, and speed of the proposed motion planner. Additionally, our motion planner achieves flights at more than 6.8 m/s in a challenging and complex racing scenario.


title: Purifying photon indistinguishability through quantum interference

abstract: Indistinguishability between photons is a key requirement for scalable photonic quantum technologies. We experimentally demonstrate that partly distinguishable single photons can be purified to reach near-unity indistinguishability by the process of quantum interference with ancillary photons followed by heralded detection of a subset of them. We report on the indistinguishability of the purified photons by interfering two purified photons and show improvements in the photon indistinguishability of $2.774(3)$\% in the low-noise regime, and as high as $10.2(5)$ \% in the high-noise regime.


title: Balls minimize moments of logarithmic and Newtonian equilibrium measures

abstract: The $q$-th moment ($q>0$) of electrostatic equilibrium measure is shown to be minimal for a centered ball among $3$-dimensional sets of given capacity, while among $2$-dimensional sets a centered disk is the minimizer for $0<q \leq 2$. Analogous results are developed for Newtonian capacity in higher dimensions and logarithmic capacity in $2$ dimensions. Open problems are raised for Riesz equilibrium moments.


title: Model-independent predictions for decays of hidden-heavy hadrons into pairs of heavy hadrons

abstract: Hidden-heavy hadrons can decay into pairs of heavy hadrons through transitions from confining Born-Oppenheimer potentials to hadron-pair potentials with the same Born-Oppenheimer quantum numbers. The transitions are also constrained by conservation of angular momentum and parity. From these constraints, we derive model-independent selection rules for decays of hidden-heavy hadrons into pairs of heavy hadrons. The coupling potentials are expressed as sums of products of Born-Oppenheimer transition amplitudes and angular-momentum coefficients. If there is a single dominant Born-Oppenheimer transition amplitude, it factors out of the coupling potentials between hidden-heavy hadrons in the same Born-Oppenheimer multiplet and pairs of heavy hadrons in specific heavy-quark-spin-symmetry doublets. If furthermore the kinetic energies of the heavy hadrons are much larger than their spin splittings, we obtain analytic expressions for the relative partial decay rates in terms of Wigner 6-j and 9-j symbols. We consider in detail the decays of quarkonia and quarkonium hybrids into the lightest heavy-meson pairs. For quarkonia, our model-independent selection rules and relative partial decay rates agree with previous results from quark-pair-creation models in simple cases and give stronger results in other cases. For quarkonium hybrids, we find disagreement even in simple cases.


title: Regularization in Spider-Style Strategy Discovery and Schedule Construction

abstract: To achieve the best performance, automatic theorem provers often rely on schedules of diverse proving strategies to be tried out (either sequentially or in parallel) on a given problem. In this paper, we report on a large-scale experiment with discovering strategies for the Vampire prover, targeting the FOF fragment of the TPTP library and constructing a schedule for it, based on the ideas of Andrei Voronkov's system Spider. We examine the process from various angles, discuss the difficulty (or ease) of obtaining a strong Vampire schedule for the CASC competition, and establish how well a schedule can be expected to generalize to unseen problems and what factors influence this property.


title: PoNQ: a Neural QEM-based Mesh Representation

abstract: Although polygon meshes have been a standard representation in geometry processing, their irregular and combinatorial nature hinders their suitability for learning-based applications. In this work, we introduce a novel learnable mesh representation through a set of local 3D sample Points and their associated Normals and Quadric error metrics (QEM) w.r.t. the underlying shape, which we denote PoNQ. A global mesh is directly derived from PoNQ by efficiently leveraging the knowledge of the local quadric errors. Besides marking the first use of QEM within a neural shape representation, our contribution guarantees both topological and geometrical properties by ensuring that a PoNQ mesh does not self-intersect and is always the boundary of a volume. Notably, our representation does not rely on a regular grid, is supervised directly by the target surface alone, and also handles open surfaces with boundaries and/or sharp features. We demonstrate the efficacy of PoNQ through a learning-based mesh prediction from SDF grids and show that our method surpasses recent state-of-the-art techniques in terms of both surface and edge-based metrics.


title: Wildfire danger prediction optimization with transfer learning

abstract: Convolutional Neural Networks (CNNs) have proven instrumental across various computer science domains, enabling advancements in object detection, classification, and anomaly detection. This paper explores the application of CNNs to analyze geospatial data specifically for identifying wildfire-affected areas. Leveraging transfer learning techniques, we fine-tuned CNN hyperparameters and integrated the Canadian Fire Weather Index (FWI) to assess moisture conditions. The study establishes a methodology for computing wildfire risk levels on a scale of 0 to 5, dynamically linked to weather patterns. Notably, through the integration of transfer learning, the CNN model achieved an impressive accuracy of 95\% in identifying burnt areas. This research sheds light on the inner workings of CNNs and their practical, real-time utility in predicting and mitigating wildfires. By combining transfer learning and CNNs, this study contributes a robust approach to assess burnt areas, facilitating timely interventions and preventative measures against conflagrations.


title: H$\alpha$/H$\beta$ a Galactic Low Energy Cosmic Rays tracer

abstract: Context. Investigating the diagnostic power of H$\alpha$/H$\beta$ Charge-Exchange (CE) emission as Low-Energy Galactic Cosmic Rays(LECRs) tracer in diffuse regions. Aims. In this work, we define and test a spectroscopic indicator of CE reactions between LECRs protons and neutral hydrogen atoms of the diffuse medium. This indicator can be used for mapping LECRs density in diffuse clouds and can lead to the identification of new LECRs sources as we expect density variations caused by the distance between an observed cloud and the nearest site of particle acceleration. We also lay the foundations for the definition of a photometric indicator to be used in the next full-sky photometric surveys such as the Vera Rubin 10-year Legacy Survey of Space and Time (LSST). Methods. Based on literature cross-sections, we calculate H$\alpha$/H$\beta$ line profile ratio in the case of CE and compare it with the recombination ratio. We then test our results on the Balmer-dominated filaments of the SNR RCW 86 and we explore how the spectroscopic constraints can turn into a photometric indicator based on colour indices. Results. We find that, in shocked environments, CE between LECRS and neutral hydrogen become the dominant process for Balmer lines emission. The hydrogen spectroscopic emission is expected to be modified, with respect to the recombination Balmer decrement,to result in double the H$\alpha$/H$\beta$ with respect to a similar but quiescent region. The test on the known Balmer-dominated filaments of the SNR RCW 86 confirm the efficiency of our spectroscopic indicator. Therefore we explore possible conversions of the spectroscopic indicator into colour indices combinations. This is the first step toward the definition and test of a photometric indicator for tracing LECRs to be applied in the LSST pipelines to photometrically identify new LECRs accelerators in the whole Galaxy.


title: Short-Term Solar Irradiance Forecasting Under Data Transmission Constraints

abstract: We report a data-parsimonious machine learning model for short-term forecasting of solar irradiance. The model inputs include sky camera images that are reduced to scalar features to meet data transmission constraints. The output irradiance values are transformed to focus on unknown short-term dynamics. Inspired by control theory, a noise input is used to reflect unmeasured variables and is shown to improve model predictions, often considerably. Five years of data from the NREL Solar Radiation Research Laboratory were used to create three rolling train-validate sets and determine the best representations for time, the optimal span of input measurements, and the most impactful model input data (features). For the chosen test data, the model achieves a mean absolute error of 74.34 $W/m^2$ compared to a baseline 134.35 $W/m^2$ using the persistence of cloudiness model.


title: Solutions to a Romanoff type problem

abstract: We answer negatively a 2014 problem of Yang and Chen on Romanoff type representations. Sharp results involving their problem were also obtained in this article.


title: Markovian lifting and optimal control for integral stochastic Volterra equations with completely monotone kernels

abstract: In this paper, we focus on solving the optimal control problem for integral stochastic Volterra equations in a finite dimensional setting. In our setting, the noise term is driven by a pure jump L\'evy noise and the control acts on the intensity of the jumps. We use recent techniques proposed by Hamaguchi, where a crucial requirement is that the convolution kernel should be a completely monotone function. This allows us to use Bernstein's representation and the machinery of Laplace transform to obtain a Markovian lift. It is natural that the Markovian lift, in whatever form constructed, transforms the state equation into a stochastic differential equation in an infinite-dimensional space. This space should be large enough to contain all the information about the history of the process. Hence, although the original equation is taken in a finite dimensional space, the resulting lift is always infinite dimensional. We solve the problem by using the forward-backward approach in the infinite-dimensional setting and prove the existence of the optimal control for the original problem. Under additional assumptions on the coefficients, we see that a control in closed-loop form can be achieved.


title: LAVA: Long-horizon Visual Action based Food Acquisition

abstract: Robotic Assisted Feeding (RAF) addresses the fundamental need for individuals with mobility impairments to regain autonomy in feeding themselves. The goal of RAF is to use a robot arm to acquire and transfer food to individuals from the table. Existing RAF methods primarily focus on solid foods, leaving a gap in manipulation strategies for semi-solid and deformable foods. This study introduces Long-horizon Visual Action (LAVA) based food acquisition of liquid, semisolid, and deformable foods. Long-horizon refers to the goal of "clearing the bowl" by sequentially acquiring the food from the bowl. LAVA employs a hierarchical policy for long-horizon food acquisition tasks. The framework uses high-level policy to determine primitives by leveraging ScoopNet. At the mid-level, LAVA finds parameters for primitives using vision. To carry out sequential plans in the real world, LAVA delegates action execution which is driven by Low-level policy that uses parameters received from mid-level policy and behavior cloning ensuring precise trajectory execution. We validate our approach on complex real-world acquisition trials involving granular, liquid, semisolid, and deformable food types along with fruit chunks and soup acquisition. Across 46 bowls, LAVA acquires much more efficiently than baselines with a success rate of 89 +/- 4% and generalizes across realistic plate variations such as different positions, varieties, and amount of food in the bowl. Code, datasets, videos, and supplementary materials can be found on our website.


title: Boundary layers in thermal convection are fluctuation-dominated

abstract: We study the dynamics of thermal and momentum boundary layers in three-dimensional direct numerical simulations of Rayleigh-B\'enard convection for the Rayleigh number range $10^5 \le Ra \le 10^{11}$ and $Pr=0.7$. Using a Cartesian slab with horizontal periodic boundary conditions and an aspect ratio of 4, we obtain statistical homogeneity in the horizontal $x$- and $y$-directions, thus approximating an infinitely extended system. We observe that upon canonical use of long-time and area averages, a coherent mean flow is practically absent. Instead, the velocity field close to the wall is a collection of differently oriented local shear patches interspersed by shear-free, incoherent flow regions. These shear patches occupy an area fraction of approximately $40\%$ for all $Ra$. Rather than resulting in a pronounced mean with small fluctuations about it, the velocity field is dominated by strong fluctuations of all three components around a non-existent or weak mean. This feature is particularly pronounced for $Ra \ge 10^9$. We discuss the consequences of these observations for convection layers with larger aspect ratios, including boundary layer instabilities and the resulting turbulent heat transport.


title: Fr\'{e}chet Edit Distance

abstract: We define and investigate the Fr\'{e}chet edit distance problem. Given two polygonal curves $\pi$ and $\sigma$ and a threshhold value $\delta>0$, we seek the minimum number of edits to $\sigma$ such that the Fr\'{e}chet distance between the edited $\sigma$ and $\pi$ is at most $\delta$. For the edit operations we consider three cases, namely, deletion of vertices, insertion of vertices, or both. For this basic problem we consider a number of variants. Specifically, we provide polynomial time algorithms for both discrete and continuous Fr\'{e}chet edit distance variants, as well as hardness results for weak Fr\'{e}chet edit distance variants.


title: General properties of the electric Penrose process

abstract: We consider the Penrose process with the charged particles in the Reissner-Nordstr\"{o}m (RN) background. Let parent particle 0 decay to particles 1 and 2. With the assumption that all three particles move in the equatorial plane, the exact formulas for characteristics of particles 1 and 2 in terms of those of particle 0 are derived. We concentrate on scenarios in which particle 1 and 2 are ejected along the trajectory of particle 0. It is shown that such scenarios correspond to the extrema of energies $E_{1}$ or $E_{2}$ of daughter particles with respect to the angular momentum $L_{1}$ or $L_{2}$. We derive bounds on the values of angular momenta $L_{1}$ and $% L_{2}$. We give classification of these scenarios and discuss their properties including decay in the near-horizon region. We find that the maximum of efficiency is achieved on the horizon for some of these scenarios but not for all of them and with additional constraints on particle parameters. The results are reformulated in terms of velocities of daughter particles in the center of mass frame. The approach is applicable also to collisional Penrose process, in which a combination of particles 1 and 2 is considered as one effective particle. If the mass of particle 0 $% m_{0}\rightarrow \infty $, the situation corresponds to the Ba\~{n}% ados-Silk-West effect, the results agree with the ones known in literature before. In addition, we consider special cases when decay occurs in the turning point for one or all three particles. The formalism developed in this work has a model-independent character and applies not only to the RN metric.


title: Clustered Mallows Model

abstract: Rankings are a type of preference elicitation that arise in experiments where assessors arrange items, for example, in decreasing order of utility. Orderings of n items labelled {1,...,n} denoted are permutations that reflect strict preferences. For a number of reasons, strict preferences can be unrealistic assumptions for real data. For example, when items share common traits it may be reasonable to attribute them equal ranks. Also, there can be different importance attributions to decisions that form the ranking. In a situation with, for example, a large number of items, an assessor may wish to rank at top a certain number items; to rank other items at the bottom and to express indifference to all others. In addition, when aggregating opinions, a judging body might be decisive about some parts of the rank but ambiguous for others. In this paper we extend the well-known Mallows (Mallows, 1957) model (MM) to accommodate item indifference, a phenomenon that can be in place for a variety of reasons, such as those above mentioned.The underlying grouping of similar items motivates the proposed Clustered Mallows Model (CMM). The CMM can be interpreted as a Mallows distribution for tied ranks where ties are learned from the data. The CMM provides the flexibility to combine strict and indifferent relations, achieving a simpler and robust representation of rank collections in the form of ordered clusters. Bayesian inference for the CMM is in the class of doubly-intractable problems since the model's normalisation constant is not available in closed form. We overcome this challenge by sampling from the posterior with a version of the exchange algorithm \citep{murray2006}. Real data analysis of food preferences and results of Formula 1 races are presented, illustrating the CMM in practical situations.


title: Agent-FLAN: Designing Data and Methods of Effective Agent Tuning for Large Language Models

abstract: Open-sourced Large Language Models (LLMs) have achieved great success in various NLP tasks, however, they are still far inferior to API-based models when acting as agents. How to integrate agent ability into general LLMs becomes a crucial and urgent problem. This paper first delivers three key observations: (1) the current agent training corpus is entangled with both formats following and agent reasoning, which significantly shifts from the distribution of its pre-training data; (2) LLMs exhibit different learning speeds on the capabilities required by agent tasks; and (3) current approaches have side-effects when improving agent abilities by introducing hallucinations. Based on the above findings, we propose Agent-FLAN to effectively Fine-tune LANguage models for Agents. Through careful decomposition and redesign of the training corpus, Agent-FLAN enables Llama2-7B to outperform prior best works by 3.5\% across various agent evaluation datasets. With comprehensively constructed negative samples, Agent-FLAN greatly alleviates the hallucination issues based on our established evaluation benchmark. Besides, it consistently improves the agent capability of LLMs when scaling model sizes while slightly enhancing the general capability of LLMs. The code will be available at https://github.com/InternLM/Agent-FLAN.


title: Quantum invariants arising from $U_h\mathfrak{sl}(2|1)$ are q-holonomic

abstract: We show that the quantum invariants arising from typical representations of the quantum group $U_h\mathfrak{sl}(2|1)$ are q-holonomic. In particular, this implies the existence of an underlying field theory for which this family of invariants are partition functions.


title: Confusing Pair Correction Based on Category Prototype for Domain Adaptation under Noisy Environments

abstract: In this paper, we address unsupervised domain adaptation under noisy environments, which is more challenging and practical than traditional domain adaptation. In this scenario, the model is prone to overfitting noisy labels, resulting in a more pronounced domain shift and a notable decline in the overall model performance. Previous methods employed prototype methods for domain adaptation on robust feature spaces. However, these approaches struggle to effectively classify classes with similar features under noisy environments. To address this issue, we propose a new method to detect and correct confusing class pair. We first divide classes into easy and hard classes based on the small loss criterion. We then leverage the top-2 predictions for each sample after aligning the source and target domain to find the confusing pair in the hard classes. We apply label correction to the noisy samples within the confusing pair. With the proposed label correction method, we can train our model with more accurate labels. Extensive experiments confirm the effectiveness of our method and demonstrate its favorable performance compared with existing state-of-the-art methods. Our codes are publicly available at https://github.com/Hehxcf/CPC/.