title: Modified holographic Ricci interacting dark energy models: dynamical system analysis and bayesian comparison

abstract: We perform a dynamical system analysis and a Bayesian model selection for a new set of interacting scenarios in the framework of modified holographic Ricci dark energy models (MHR-IDE). The dynamical analysis shows a modified radiation epoch and a late-time attractor corresponding to dark energy. We use a combination of background data such as type Ia supernovae, cosmic chronometers, cosmic microwave background, and baryon acoustic oscillations measurements. We find evidence against all the MHR-IDE scenarios studied with respect to $\Lambda$CDM, when the full joint analysis is considered.


title: A well behaved bijection of Brauer characters above the DGN correspondence

abstract: Let $N$ be a normal subgroup of a finite group $G$ and let $H/N$ be a normal $p$-subgroup of $G/N,$ where $p$ is a prime. Let $\theta$ be an $H$-invariant $p$-defect zero irreducible Brauer character of $N.$ Let $D$ be a defect group of the unique block of $H$ covering $\theta$ and let $M={\rm N}_G(D).$ Let $\theta^{\star_{D}}$ be the DGN correspondent of $\theta$ with respect of $D.$ Suppose that $^{g}\theta$ is Galois conjugate to $\theta$ for any $g\in G.$ Then we prove that there exists a well behaved bijection from the set of irreducible Brauer characters of subgroups of $G$ that covering a $G$-conjugation of $\theta$ to the set of irreducible Brauer characters of subgroups of $M$ that covering a $M$-conjugation of $\theta^{\star_D}.$ This bijection of irreducible Brauer characters commutes with Galois action and $G$-action, and is compatible with restriction and keeps the vertex.


title: Special least squares solutions of the reduced biquaternion matrix equation with applications

abstract: This paper presents an efficient method for obtaining the least squares Hermitian solutions of the reduced biquaternion matrix equation $(AXB, CXD) = (E, F )$. The method leverages the real representation of reduced biquaternion matrices. Furthermore, we establish the necessary and sufficient conditions for the existence and uniqueness of the Hermitian solution, along with a general expression for it. Notably, this approach differs from the one previously developed by Yuan et al. $(2020)$, which relied on the complex representation of reduced biquaternion matrices. In contrast, our method exclusively employs real matrices and utilizes real arithmetic operations, resulting in enhanced efficiency. We also apply our developed framework to find the Hermitian solutions for the complex matrix equation $(AXB, CXD) = (E, F )$, expanding its utility in addressing inverse problems. Specifically, we investigate its effectiveness in addressing partially described inverse eigenvalue problems. Finally, we provide numerical examples to demonstrate the effectiveness of our method and its superiority over the existing approach.


title: Further Evidence for the ~ 9 s Pulsation in LS 5039 from NuSTAR and ASCA

abstract: The present study aims to reinforce the evidence for the ~9 s pulsation in the gamma-ray binary LS 5039, derived with a Suzaku observation in 2007 and that with NuSTAR in 2016 (Yoneda et al 2000). Through a reanalysis of the NuSTAR data incorporating the orbital Doppler correction, the 9.0538 s pulsation was confirmed successfully even in the 3--10 keV range, where it was undetectable previously. This was attained by perceiving an energy-dependent drift in the pulse phase below 10 keV, and correcting the pulse timing of individual photons for that effect. Similarly, an archival 0.7--12 keV data set of LS 5039, taken with the ASCA GIS in 1999 October, was analyzed. The data showed possible periodicity at about 8.882 s, but again the energy-dependent phase drift was noticed below 10 keV. By correcting for this effect, and for the orbital Doppler delays in the LS 5039 system, the 2.8--12 keV periodicity became statistically significant at 8.891+- 0.001 s. The periods measured with ASCA, Suzaku, and NuSTAR approximately follow an average period derivative of dP/dt = 3.0 e-10 s/s. These results provide further evidence for the pulsation in this object, and strengthen the scenario by (Yoneda et al 2000), that the compact object in LS 5039 is a strongly magnetized neutron star.


title: An energy-based discontinuous Galerkin method for the nonlinear Schr\"odinger equation with wave operator

abstract: This work develops an energy-based discontinuous Galerkin (EDG) method for the nonlinear Schr\"odinger equation with the wave operator. The focus of the study is on the energy-conserving or energy-dissipating behavior of the method with some simple mesh-independent numerical fluxes we designed. We establish error estimates in the energy norm that require careful selection of a test function for the auxiliary equation involving the time derivative of the displacement variable. A critical part of the convergence analysis is to establish the L2 error bounds for the time derivative of the approximation error in the displacement variable by using the equation that determines its mean value. Using a specially chosen test function, we show that one can create a linear system for the time evolution of the unknowns even when dealing with nonlinear properties in the original problem. Extensive numerical experiments are provided to demonstrate the optimal convergence of the scheme in the L2 norm with our choices of the numerical flux.


title: A Counterexample for the Principal Eigenvalue of An Elliptic Operator with Large Advection

abstract: There are numerous studies focusing on the convergence of the principal eigenvalue $\lambda(s)$ as $s\to+\infty$ corresponding to the elliptic eigenvalue problem \begin{align*} -\Delta\varphi(x)-2s\mathbf{v}\cdot\nabla\varphi(x)+c(x)\varphi(x)=\lambda(s)\varphi(x),\quad x\in \Omega, \end{align*} where $\Omega$ is a bounded domain and the advection term $\mathbf{v}$ under some certain restrictions. In this paper, we construct an infinitely oscillating gradient advection term $\mathbf{v}=\nabla m(x)\in C^1(\Omega)$ such that the principal eigenvalue $\lambda(s)$ does not converge as $s\to+\infty$. As far as we know, this is the first result that guarantee the non-convergence of the principal eigenvalue.


title: Relative entropy-regularized robust optimal order execution

abstract: The problem of order execution is cast as a relative entropy-regularized robust optimal control problem in this article. The order execution agent's goal is to maximize an objective functional associated with his profit-and-loss of trading and simultaneously minimize the execution risk and the market's liquidity and uncertainty. We model the market's liquidity and uncertainty by the principle of least relative entropy associated with the market volume. The problem of order execution is made into a relative entropy-regularized stochastic differential game. Standard argument of dynamic programming yields that the value function of the differential game satisfies a relative entropy-regularized Hamilton-Jacobi-Isaacs (rHJI) equation. Under the assumptions of linear-quadratic model with Gaussian prior, the rHJI equation reduces to a system of Riccati and linear differential equations. Further imposing constancy of the corresponding coefficients, the system of differential equations can be solved in closed form, resulting in analytical expressions for optimal strategy and trajectory as well as the posterior distribution of market volume. Numerical examples illustrating the optimal strategies and the comparisons with conventional trading strategies are conducted.


title: Report of the 1st Workshop on Generative AI and Law

abstract: This report presents the takeaways of the inaugural Workshop on Generative AI and Law (GenLaw), held in July 2023. A cross-disciplinary group of practitioners and scholars from computer science and law convened to discuss the technical, doctrinal, and policy challenges presented by law for Generative AI, and by Generative AI for law, with an emphasis on U.S. law in particular. We begin the report with a high-level statement about why Generative AI is both immensely significant and immensely challenging for law. To meet these challenges, we conclude that there is an essential need for 1) a shared knowledge base that provides a common conceptual language for experts across disciplines; 2) clarification of the distinctive technical capabilities of generative-AI systems, as compared and contrasted to other computer and AI systems; 3) a logical taxonomy of the legal issues these systems raise; and, 4) a concrete research agenda to promote collaboration and knowledge-sharing on emerging issues at the intersection of Generative AI and law. In this report, we synthesize the key takeaways from the GenLaw workshop that begin to address these needs. All of the listed authors contributed to the workshop upon which this report is based, but they and their organizations do not necessarily endorse all of the specific claims in this report.


title: Reduced Dimensional Monte Carlo Method: Preliminary Integrations

abstract: A technique for reducing the number of integrals in a Monte Carlo calculation is introduced. For integrations relying on classical or mean-field trajectories with local weighting functions, it is possible to integrate analytically at least half of the integration variables prior to setting up the particular Monte Carlo calculation of interest, in some cases more. Proper accounting of invariant phase space structures shows the system's dynamics is reducible into composite stable and unstable degrees of freedom. Stable degrees of freedom behave locally in the reduced dimensional phase space exactly as an analogous integrable system would. Classification of the unstable degrees of freedom is dependent upon the degree of chaos present in the dynamics. The techniques for deriving the requisite canonical coordinate transformations are developed and shown to block diagonalize the stability matrix into irreducible parts. In doing so, it is demonstrated how to reduce the amount of sampling directions necessary in a Monte Carlo simulation. The technique is illustrated by calculating return probabilities and expectation values for different dynamical regimes of a two-degree-of-freedom coupled quartic oscillator within a classical Wigner method framework.


title: FiND: Few-shot three-dimensional image-free confocal focusing on point-like emitters

abstract: Confocal fluorescence microscopy is widely applied for the study of point-like emitters such as biomolecules, material defects, and quantum light sources. Confocal techniques offer increased optical resolution, dramatic fluorescence background rejection and sub-nanometer localization, useful in super-resolution imaging of fluorescent biomarkers, single-molecule tracking, or the characterization of quantum emitters. However, rapid, noise-robust automated 3D focusing on point-like emitters has been missing for confocal microscopes. Here, we introduce FiND (Focusing in Noisy Domain), an imaging-free, non-trained 3D focusing framework that requires no hardware add-ons or modifications. FiND achieves focusing for signal-to-noise ratios down to 1, with a few-shot operation for signal-to-noise ratios above 5. FiND enables unsupervised, large-scale focusing on a heterogeneous set of quantum emitters. Additionally, we demonstrate the potential of FiND for real-time 3D tracking by following the drift trajectory of a single NV center indefinitely with a positional precision of < 10 nm. Our results show that FiND is a useful focusing framework for the scalable analysis of point-like emitters in biology, material science, and quantum optics.


title: Adversarial Fine-tuning using Generated Respiratory Sound to Address Class Imbalance

abstract: Deep generative models have emerged as a promising approach in the medical image domain to address data scarcity. However, their use for sequential data like respiratory sounds is less explored. In this work, we propose a straightforward approach to augment imbalanced respiratory sound data using an audio diffusion model as a conditional neural vocoder. We also demonstrate a simple yet effective adversarial fine-tuning method to align features between the synthetic and real respiratory sound samples to improve respiratory sound classification performance. Our experimental results on the ICBHI dataset demonstrate that the proposed adversarial fine-tuning is effective, while only using the conventional augmentation method shows performance degradation. Moreover, our method outperforms the baseline by 2.24% on the ICBHI Score and improves the accuracy of the minority classes up to 26.58%. For the supplementary material, we provide the code at https://github.com/kaen2891/adversarial_fine-tuning_using_generated_respiratory_sound.


title: Topology-Matching Normalizing Flows for Out-of-Distribution Detection in Robot Learning

abstract: To facilitate reliable deployments of autonomous robots in the real world, Out-of-Distribution (OOD) detection capabilities are often required. A powerful approach for OOD detection is based on density estimation with Normalizing Flows (NFs). However, we find that prior work with NFs attempts to match the complex target distribution topologically with naive base distributions leading to adverse implications. In this work, we circumvent this topological mismatch using an expressive class-conditional base distribution trained with an information-theoretic objective to match the required topology. The proposed method enjoys the merits of wide compatibility with existing learned models without any performance degradation and minimum computation overhead while enhancing OOD detection capabilities. We demonstrate superior results in density estimation and 2D object detection benchmarks in comparison with extensive baselines. Moreover, we showcase the applicability of the method with a real-robot deployment.


title: Autonomous Robots for Active Removal of Orbital Debris

abstract: This paper presents a vision guidance and control method for autonomous robotic capture and stabilization of orbital objects in a time-critical manner. The method takes into account various operational and physical constraints, including ensuring a smooth capture, handling line-of-sight (LOS) obstructions of the target, and staying within the acceleration, force, and torque limits of the robot. Our approach involves the development of an optimal control framework for an eye-to-hand visual servoing method, which integrates two sequential sub-maneuvers: a pre-capturing maneuver and a post-capturing maneuver, aimed at achieving the shortest possible capture time. Integrating both control strategies enables a seamless transition between them, allowing for real-time switching to the appropriate control system. Moreover, both controllers are adaptively tuned through vision feedback to account for the unknown dynamics of the target. The integrated estimation and control architecture also facilitates fault detection and recovery of the visual feedback in situations where the feedback is temporarily obstructed. The experimental results demonstrate the successful execution of pre- and post-capturing operations on a tumbling and drifting target, despite multiple operational constraints.


title: Stacked networks improve physics-informed training: applications to neural networks and deep operator networks

abstract: Physics-informed neural networks and operator networks have shown promise for effectively solving equations modeling physical systems. However, these networks can be difficult or impossible to train accurately for some systems of equations. We present a novel multifidelity framework for stacking physics-informed neural networks and operator networks that facilitates training. We successively build a chain of networks, where the output at one step can act as a low-fidelity input for training the next step, gradually increasing the expressivity of the learned model. The equations imposed at each step of the iterative process can be the same or different (akin to simulated annealing). The iterative (stacking) nature of the proposed method allows us to progressively learn features of a solution that are hard to learn directly. Through benchmark problems including a nonlinear pendulum, the wave equation, and the viscous Burgers equation, we show how stacking can be used to improve the accuracy and reduce the required size of physics-informed neural networks and operator networks.


title: Weighted $p$-R\'{e}nyi Entropy Power Inequality: Information Theory to Quantum Shannon Theory

abstract: We study the $p$-R\'{e}nyi entropy power inequality with a weight factor $t$ on two independent continuous random variables $X$ and $Y$. The extension essentially relies on a modulation on the sharp Young's inequality due to Bobkov and Marsiglietti. Our research provides a key result that can be used as a fundamental research finding in quantum Shannon theory, as it offers a R\'{e}nyi version of the entropy power inequality for quantum systems.


title: Celestial OPE in Self Dual Gravity

abstract: In this paper we compute the celestial operator product expansion between two outgoing positive helicity gravitons in the self dual gravity. It has been shown that the self dual gravity is a $ w_{1+\infty} $-invariant theory whose scattering amplitudes are one loop exact with all positive helicity gravitons. Celestial $w_{1+\infty}$ symmetry is generated by an infinite tower of (conformally soft) gravitons which are holomorphic conserved currents. We find that at any given order only a \textit{finite} number of $w_{1+\infty}$ descendants contribute to the OPE. This is somewhat surprising because the spectrum of conformal dimensions in celestial CFT is not bounded from below. However, this is consistent with our earlier analysis based on the representation theory of $w_{1+\infty}$. The phenomenon of truncation suggests that in some (unknown) formulation the spectrum of conformal dimensions in the dual two dimensional theory can be bounded from below.


title: Spacetime quantum and classical mechanics with dynamical foliation

abstract: The conventional phase space of classical physics treats space and time differently, and this difference carries over to field theories and quantum mechanics (QM). In this paper, the phase space is enhanced through two main extensions. First, we promote the time choice of the Legendre transform to a dynamical variable. Second, we extend the Poisson brackets of matter fields to a spacetime symmetric form. The ensuing "spacetime phase space" is employed to obtain an explicitly covariant version of Hamilton equations for relativistic field theories. A canonical-like quantization of the formalism is then presented in which the fields satisfy spacetime commutation relations and the foliation is quantum. In this approach, the classical action is also promoted to an operator and retains explicit covariance through its non-separability in the matter-foliation partition. The problem of establishing a correspondence between the new noncausal framework (where fields at different times are independent) and conventional QM is solved through a generalization of spacelike correlators to spacetime. In this generalization, the Hamiltonian is replaced by the action, and conventional particles by off-shell particles. When the foliation is quantized, the previous map is recovered by conditioning on foliation eigenstates, in analogy with the Page and Wootters mechanism. We also provide an interpretation of the correspondence in which the causal structure of a given theory emerges from the quantum correlations between the system and an environment. This idea holds for general quantum systems and allows one to generalize the density matrix to an operator containing the information of correlators both in space and time.


title: An Augmented Index-based Efficient Community Search for Large Directed Graphs

abstract: Given a graph G and a query vertex q, the topic of community search (CS), aiming to retrieve a dense subgraph of G containing q, has gained much attention. Most existing works focus on undirected graphs which overlooks the rich information carried by the edge directions. Recently, the problem of community search over directed graphs (or CSD problem) has been studied; it finds a connected subgraph containing q, where the in-degree and out-degree of each vertex within the subgraph are at least k and l, respectively. However, existing solutions are inefficient, especially on large graphs. To tackle this issue, in this paper, we propose a novel index called D-Forest, which allows a CSD query to be completed within the optimal time cost. We further propose efficient index construction methods. Extensive experiments on six real large graphs show that our index-based query algorithm is up to two orders of magnitude faster than existing solutions.


title: Tuning Multipolar Mie Scattering of Particles on a Dielectric-Covered Mirror

abstract: Optically resonant particles are key building blocks of many nanophotonic devices such as optical antennas and metasurfaces. Because the functionalities of such devices are largely determined by the optical properties of individual resonators, extending the attainable responses from a given particle is highly desirable. Practically, this is usually achieved by introducing an asymmetric dielectric environment. However, commonly used simple substrates have limited influences on the optical properties of the particles atop. Here, we show that the multipolar scattering of silicon microspheres can be effectively modified by placing the particles on a dielectric-covered mirror, which tunes the coupling between the Mie resonances of microspheres and the standing waves and waveguide modes in the dielectric spacer. This tunability allows selective excitation, enhancement, and suppression of the multipolar resonances and enables scattering at extended wavelengths, providing new opportunities in controlling light-matter interactions for various applications. We further demonstrate with experiments the detection of molecular fingerprints by single-particle mid-infrared spectroscopy, and, with simulations strong optical repulsive forces that could elevate the particles from a substrate.


title: Lattice sums of $I$-Bessel functions, theta functions, linear codes and heat equations

abstract: We extend a certain type of identities on sums of $I$-Bessel functions on lattices, previously given by G. Chinta, J. Jorgenson, A Karlsson and M. Neuhauser. Moreover we prove that, with continuum limit, the transformation formulas of theta functions such as the Dedekind eta function can be given by $I$-Bessel lattice sum identities with characters. We consider analogues of theta functions of lattices coming from linear codes and show that sums of $I$-Bessel functions defined by linear codes can be expressed by complete weight enumerators. We also prove that $I$-Bessel lattice sums appear as solutions of heat equations on general lattices. As a further application, we obtain an explicit solution of the heat equation on $\mathbb{Z}^n$ whose initial condition is given by a linear code.


title: Integer Programming Formulations and Probabilistic Bounds for Some Domination Parameters

abstract: In this paper, we further study the concepts of hop domination and 2-step domination and introduce the concepts of restrained hop domination, total restrained hop domination, 2-step restrained domination, and total 2-step restrained domination in graphs. We then construct integer programming formulations and present probabilistic upper bounds for these domination parameters.


title: Nonsmooth-Optimization-Based Bandwidth Optimal Control for Precision Motion Systems

abstract: Precision motion systems are at the core of various manufacturing equipment. The rapidly increasing demand for higher productivity necessitates higher control bandwidth in the motion systems to effectively reject disturbances while maintaining excellent positioning accuracy. However, most existing optimal control methods do not explicitly optimize for control bandwidth, and the classic loop-shaping method suffers from conservative designs and fails to address cross-couplings, which motivates the development of new control solutions for bandwidth optimization. This paper proposes a novel bandwidth optimal control formulation based on nonsmooth optimization for precision motion systems. Our proposed method explicitly optimizes the system's MIMO control bandwidth while constraining the H-infinity norm of the closed-loop sensitivity function for robustness. A nonsmooth optimization solver, GRANSO, is used to solve the proposed program, and an augmented quadratic programming (QP)--based descent direction search is proposed to facilitate convergence. Simulation evaluations show that the bandwidth optimal control method can achieve a 23% higher control bandwidth than conventional loop-shaping design, and the QP-based descent direction search can reduce iteration number by 60%, which illustrates the effectiveness and efficiency of the proposed approach.


title: Spectral Modeling of the Supersoft X-ray Source CAL87 based on Radiative Transfer Codes

abstract: Super Soft X-ray Sources (SSS) are white dwarf (WD) binaries that radiate almost entirely below $\sim$1~keV. Their X-ray spectra are often complex when viewed with the X-ray grating spectrometers, where numerous emission and absorption features are intermingled and hard to separate. The absorption features are mostly from the WD atmosphere, for which radiative transfer models have been constructed. The emission features are from the corona surrounding the WD atmosphere, in which incident emission from the WD surface is reprocessed. Modeling the corona requires different solvers and assumptions for the radiative transfer, which is yet to be achieved. We chose CAL87, a SSS in the Large Magellanic Cloud, which exhibits emission-dominated spectra from the corona as the WD atmosphere emission is assumed to be completely blocked by the accretion disk. We constructed a radiative transfer model for the corona using the two radiative transfer codes; xstar for a one-dimensional two-stream solver and MONACO for a three-dimensional Monte Carlo solver. We identified their differences and limitations in comparison to the spectra taken with the Reflection Grating Spectrometer onboard the XMM-Newton satellite. We finally obtained a sufficiently good spectral model of CAL87 based on the radiative transfer of the corona plus an additional collisionally ionized plasma. In the coming X-ray microcalorimeter era, it will be required to interpret spectra based on radiative transfer in a wider range of sources than what is presented here.


title: L3 Ensembles: Lifelong Learning Approach for Ensemble of Foundational Language Models

abstract: Fine-tuning pre-trained foundational language models (FLM) for specific tasks is often impractical, especially for resource-constrained devices. This necessitates the development of a Lifelong Learning (L3) framework that continuously adapts to a stream of Natural Language Processing (NLP) tasks efficiently. We propose an approach that focuses on extracting meaningful representations from unseen data, constructing a structured knowledge base, and improving task performance incrementally. We conducted experiments on various NLP tasks to validate its effectiveness, including benchmarks like GLUE and SuperGLUE. We measured good performance across the accuracy, training efficiency, and knowledge transfer metrics. Initial experimental results show that the proposed L3 ensemble method increases the model accuracy by 4% ~ 36% compared to the fine-tuned FLM. Furthermore, L3 model outperforms naive fine-tuning approaches while maintaining competitive or superior performance (up to 15.4% increase in accuracy) compared to the state-of-the-art language model (T5) for the given task, STS benchmark.


title: Classification of spin Hall effect in two-dimensional systems

abstract: Physical properties such as the conductivity are usually classified according to the symmetry of the underlying system using Neumann's principle, which gives an upper bound for the number of independent components of the corresponding property tensor. However, for a given Hamiltonian, this global approach usually can not give a definite answer on whether a physical effect such as spin Hall effect (SHE) exists or not. It is found that the parity and types of spin-orbit interactions (SOIs) are good indicators that can further reduce the number of independent components of the spin Hall conductivity for a specific system. In terms of the parity as well as various Rashba-like and Dresselhaus-like SOIs, we propose a local approach to classify SHE in two-dimensional (2D) two-band models, where sufficient conditions for identifying the existence or absence of SHE in all 2D magnetic point groups are presented.


title: LayoutPrompter: Awaken the Design Ability of Large Language Models

abstract: Conditional graphic layout generation, which automatically maps user constraints to high-quality layouts, has attracted widespread attention today. Although recent works have achieved promising performance, the lack of versatility and data efficiency hinders their practical applications. In this work, we propose LayoutPrompter, which leverages large language models (LLMs) to address the above problems through in-context learning. LayoutPrompter is made up of three key components, namely input-output serialization, dynamic exemplar selection and layout ranking. Specifically, the input-output serialization component meticulously designs the input and output formats for each layout generation task. Dynamic exemplar selection is responsible for selecting the most helpful prompting exemplars for a given input. And a layout ranker is used to pick the highest quality layout from multiple outputs of LLMs. We conduct experiments on all existing layout generation tasks using four public datasets. Despite the simplicity of our approach, experimental results show that LayoutPrompter can compete with or even outperform state-of-the-art approaches on these tasks without any model training or fine-tuning. This demonstrates the effectiveness of this versatile and training-free approach. In addition, the ablation studies show that LayoutPrompter is significantly superior to the training-based baseline in a low-data regime, further indicating the data efficiency of LayoutPrompter. Our project is available at https://github.com/microsoft/LayoutGeneration/tree/main/LayoutPrompter.


title: Counting maximal isotropic subbundles of orthogonal bundles over a curve

abstract: Let $C$ be a smooth projective curve and $V$ an orthogonal bundle over $C$. Let $\IQeV$ be the isotropic Quot scheme parameterizing degree $e$ isotropic subsheaves of maximal rank in $V$. We give a closed formula for intersection numbers on components of $\IQeV$ whose generic element is saturated. As a special case, for $g \ge 2$, we compute the number of isotropic subbundles of maximal rank and degree of a general stable orthogonal bundle in most cases when this is finite. This is an orthogonal analogue of Holla's enumeration of maximal subbundles in \cite{Ho}, and of the symplectic case studied in \cite{CCH1}.


title: DRUformer: Enhancing the driving scene Important object detection with driving relationship self-understanding

abstract: Traffic accidents frequently lead to fatal injuries, contributing to over 50 million deaths until 2023. To mitigate driving hazards and ensure personal safety, it is crucial to assist vehicles in anticipating important objects during travel. Previous research on important object detection primarily assessed the importance of individual participants, treating them as independent entities and frequently overlooking the connections between these participants. Unfortunately, this approach has proven less effective in detecting important objects in complex scenarios. In response, we introduce Driving scene Relationship self-Understanding transformer (DRUformer), designed to enhance the important object detection task. The DRUformer is a transformer-based multi-modal important object detection model that takes into account the relationships between all the participants in the driving scenario. Recognizing that driving intention also significantly affects the detection of important objects during driving, we have incorporated a module for embedding driving intention. To assess the performance of our approach, we conducted a comparative experiment on the DRAMA dataset, pitting our model against other state-of-the-art (SOTA) models. The results demonstrated a noteworthy 16.2\% improvement in mIoU and a substantial 12.3\% boost in ACC compared to SOTA methods. Furthermore, we conducted a qualitative analysis of our model's ability to detect important objects across different road scenarios and classes, highlighting its effectiveness in diverse contexts. Finally, we conducted various ablation studies to assess the efficiency of the proposed modules in our DRUformer model.


title: Semantic Communication for Cooperative Perception based on Importance Map

abstract: Cooperative perception, which has a broader perception field than single-vehicle perception, has played an increasingly important role in autonomous driving to conduct 3D object detection. Through vehicle-to-vehicle (V2V) communication technology, various connected automated vehicles (CAVs) can share their sensory information (LiDAR point clouds) for cooperative perception. We employ an importance map to extract significant semantic information and propose a novel cooperative perception semantic communication scheme with intermediate fusion. Meanwhile, our proposed architecture can be extended to the challenging time-varying multipath fading channel. To alleviate the distortion caused by the time-varying multipath fading, we adopt explicit orthogonal frequency-division multiplexing (OFDM) blocks combined with channel estimation and channel equalization. Simulation results demonstrate that our proposed model outperforms the traditional separate source-channel coding over various channel models. Moreover, a robustness study indicates that only part of semantic information is key to cooperative perception. Although our proposed model has only been trained over one specific channel, it has the ability to learn robust coded representations of semantic information that remain resilient to various channel models, demonstrating its generality and robustness.


title: Iwasawa theory of fine Selmer groups associated to Drinfeld modules

abstract: Let $q$ be a prime power and $F=\mathbb{F}_q(T)$ be the rational function field over $\mathbb{F}_q$, the field with $q$ elements. Let $\phi$ be a Drinfeld module over $F$ and $\mathfrak{p}$ be a non-zero prime ideal of $A:=\mathbb{F}_q[T]$. Over the constant $\mathbb{Z}_p$-extension of $F$, we introduce the fine Selmer group associated to the $\mathfrak{p}$-primary torsion of $\phi$. We show that it is a cofinitely generated module over $A_{\mathfrak{p}}$. This proves an analogue of Iwasawa's $\mu=0$ conjecture in this setting, and provides context for the further study of the objects that have been introduced in this article.


title: Knowledge Distillation and Training Balance for Heterogeneous Decentralized Multi-Modal Learning over Wireless Networks

abstract: Decentralized learning is widely employed for collaboratively training models using distributed data over wireless networks. Existing decentralized learning methods primarily focus on training single-modal networks. For the decentralized multi-modal learning (DMML), the modality heterogeneity and the non-independent and non-identically distributed (non-IID) data across devices make it difficult for the training model to capture the correlated features across different modalities. Moreover, modality competition can result in training imbalance among different modalities, which can significantly impact the performance of DMML. To improve the training performance in the presence of non-IID data and modality heterogeneity, we propose a novel DMML with knowledge distillation (DMML-KD) framework, which decomposes the extracted feature into the modality-common and the modality-specific components. In the proposed DMML-KD, a generator is applied to learn the global conditional distribution of the modality-common features, thereby guiding the modality-common features of different devices towards the same distribution. Meanwhile, we propose to decrease the number of local iterations for the modalities with fast training speed in DMML-KD to address the imbalanced training. We design a balance metric based on the parameter variation to evaluate the training speed of different modalities in DMML-KD. Using this metric, we optimize the number of local iterations for different modalities on each device under the constraint of remaining energy on devices. Experimental results demonstrate that the proposed DMML-KD with training balance can effectively improve the training performance of DMML.


title: Sum-Rate Optimization for RIS-Aided Multiuser Communications with Movable Antenna

abstract: Reconfigurable intelligent surface (RIS) is known as a promising technology to improve the performance of wireless communication networks, which has been extensively studied. Movable antenna (MA) is a novel technology that fully exploits the antenna position for enhancing the channel capacity. In this paper, we propose a new RIS-aided multiuser communication system with MAs. The sum-rate is maximized by jointly optimizing the beamforming, the reflection coefficient (RC) values of RIS and the positions of MAs. A fractional programming-based iterative algorithm is proposed to solve the formulated non-convex problem, considering three assumptions for the RIS. Numerical results are presented to verify the effectiveness of the proposed algorithm and the superiority of the proposed MA-based system in terms of sum-rate.


title: Superconvergent P1 honeycomb virtual elements and lifted P3 solutions

abstract: When solving the Poisson equation on honeycomb hexagonal grids, we show that the $P_1$ virtual element is three-order superconvergent in $H^1$-norm, and two-order superconvergent in $L^2$ and $L^\infty$ norms. We define a local post-process which lifts the superconvergent $P_1$ solution to a $P_3$ solution of the optimal-order approximation. The theory is confirmed by a numerical test.


title: Knowledgeable Preference Alignment for LLMs in Domain-specific Question Answering

abstract: Deploying large language models (LLMs) to real scenarios for domain-specific question answering (QA) is a key thrust for LLM applications, which poses numerous challenges, especially in ensuring that responses are both accommodating to user requirements and appropriately leveraging domain-specific knowledge bases. They are the two major difficulties for LLM application as vanilla fine-tuning falls short of addressing. Combining these requirements, we conceive of them as the requirement for the model's preference to be harmoniously aligned with humans'. Thus, we introduce Knowledgeable Preference AlignmenT (KnowPAT), which constructs two kinds of preference sets to tackle the two issues. Besides, we design a new alignment objective to align the LLM preference with different human preferences uniformly, aiming to optimize LLM performance in real-world, domain-specific QA settings. Adequate experiments and comprehensive comparisons with 15 baseline methods illustrate that our KnowPAT is a superior pipeline for real-scenario domain-specific QA with LLMs.


title: SCL-VI: Self-supervised Context Learning for Visual Inspection of Industrial Defects

abstract: The unsupervised visual inspection of defects in industrial products poses a significant challenge due to substantial variations in product surfaces. Current unsupervised models struggle to strike a balance between detecting texture and object defects, lacking the capacity to discern latent representations and intricate features. In this paper, we present a novel self-supervised learning algorithm designed to derive an optimal encoder by tackling the renowned jigsaw puzzle. Our approach involves dividing the target image into nine patches, tasking the encoder with predicting the relative position relationships between any two patches to extract rich semantics. Subsequently, we introduce an affinity-augmentation method to accentuate differences between normal and abnormal latent representations. Leveraging the classic support vector data description algorithm yields final detection results. Experimental outcomes demonstrate that our proposed method achieves outstanding detection and segmentation performance on the widely used MVTec AD dataset, with rates of 95.8% and 96.8%, respectively, establishing a state-of-the-art benchmark for both texture and object defects. Comprehensive experimentation underscores the effectiveness of our approach in diverse industrial applications.


title: CompCodeVet: A Compiler-guided Validation and Enhancement Approach for Code Dataset

abstract: Large language models (LLMs) have become increasingly prominent in academia and industry due to their remarkable performance in diverse applications. As these models evolve with increasing parameters, they excel in tasks like sentiment analysis and machine translation. However, even models with billions of parameters face challenges in tasks demanding multi-step reasoning. Code generation and comprehension, especially in C and C++, emerge as significant challenges. While LLMs trained on code datasets demonstrate competence in many tasks, they struggle with rectifying non-compilable C and C++ code. Our investigation attributes this subpar performance to two primary factors: the quality of the training dataset and the inherent complexity of the problem which demands intricate reasoning. Existing "Chain of Thought" (CoT) prompting techniques aim to enhance multi-step reasoning. This approach, however, retains the limitations associated with the latent drawbacks of LLMs. In this work, we propose CompCodeVet, a compiler-guided CoT approach to produce compilable code from non-compilable ones. Diverging from the conventional approach of utilizing larger LLMs, we employ compilers as a teacher to establish a more robust zero-shot thought process. The evaluation of CompCodeVet on two open-source code datasets shows that CompCodeVet has the ability to improve the training dataset quality for LLMs.


title: From Toda hierarchy to KP hierarchy

abstract: Using the matrix-resolvent method and a formula of the second-named author on the $n$-point function for a KP tau-function, we show that the tau-function of an arbitrary solution to the Toda lattice hierarchy is a KP tau-function. We then generalize this result to tau-functions for the extended Toda hierarchy (ETH) by developing the matrix-resolvent method for the ETH. As an example the partition function of Gromov--Witten invariants of the complex projective line is a KP tau-function, and an application on irreducible representations of the symmetric group is obtained.


title: Angular-momentum modes in a bosonic condensate trapped in the inverse-square potential

abstract: In the mean-field approximation, the well-known effect of the critical quantum collapse in a 3D gas of particles pulled to the center by potential U(r) = -U_0/r^2 is suppressed by repulsive interparticle interactions, which create the otherwise non-existing s-wave ground state. Here, we address excited bound states carrying angular momentum, with the orbital and magnetic quantum numbers, l and m. They exist above a threshold value of the potential's strength, U_0 > l(l+1). The sectoral, tesseral, and zonal modes, which correspond to m = l, 0 < m < l, and m = 0, respectively, are found in an approximate analytical form for relatively small values of U_0 - l(l+1). Explicit results are produced for the p- and d-wave states, with l = 1 and 2, respectively. In the general form, the bound states are obtained numerically, confirming the accuracy of the analytical approximation.


title: Resonance graphs of plane bipartite graphs as daisy cubes

abstract: We characterize all plane bipartite graphs whose resonance graphs are daisy cubes and therefore generalize related results on resonance graphs of benzenoid graphs, catacondensed even ring systems, as well as 2-connected outerplane bipartite graphs. Firstly, we prove that if $G$ is a plane elementary bipartite graph other than $K_2$, then the resonance graph $R(G)$ is a daisy cube if and only if the Fries number of $G$ equals the number of finite faces of $G$, which in turn is equivalent to $G$ being homeomorphically peripheral color alternating. Next, we extend the above characterization from plane elementary bipartite graphs to all plane bipartite graphs and show that the resonance graph of a plane bipartite graph $G$ is a daisy cube if and only if $G$ is weakly elementary bipartite and every elementary component of $G$ other than $K_2$ is homeomorphically peripheral color alternating. Along the way, we prove that a Cartesian product graph is a daisy cube if and only if all of its nontrivial factors are daisy cubes.


title: Search for Highly-Ionizing Particles in pp Collisions During LHC Run-2 Using the Full MoEDAL Detector

abstract: This search for Magnetic Monopoles (MMs) and High Electric Charge Objects (HECOs) with spins 0, 1/2 and 1, uses for the first time the full MoEDAL detector, exposed to 6.6 fb^-1 proton-proton collisions at 13 TeV. The results are interpreted in terms of Drell-Yan and photon-fusion pair production. Mass limits on direct production of MMs of up to 10 Dirac magnetic charges and HECOs with electric charge in the range 5e to 350e were achieved. The charge limits placed on MM and HECO production are currently the strongest in the world. MoEDAL is the only LHC experiment capable of being directly calibrated for highly-ionizing particles using heavy ions and with a detector system dedicated to definitively measuring magnetic charge.


title: Band-wise Hyperspectral Image Pansharpening using CNN Model Propagation

abstract: Hyperspectral pansharpening is receiving a growing interest since the last few years as testified by a large number of research papers and challenges. It consists in a pixel-level fusion between a lower-resolution hyperspectral datacube and a higher-resolution single-band image, the panchromatic image, with the goal of providing a hyperspectral datacube at panchromatic resolution. Thanks to their powerful representational capabilities, deep learning models have succeeded to provide unprecedented results on many general purpose image processing tasks. However, when moving to domain specific problems, as in this case, the advantages with respect to traditional model-based approaches are much lesser clear-cut due to several contextual reasons. Scarcity of training data, lack of ground-truth, data shape variability, are some such factors that limit the generalization capacity of the state-of-the-art deep learning networks for hyperspectral pansharpening. To cope with these limitations, in this work we propose a new deep learning method which inherits a simple single-band unsupervised pansharpening model nested in a sequential band-wise adaptive scheme, where each band is pansharpened refining the model tuned on the preceding one. By doing so, a simple model is propagated along the wavelength dimension, adaptively and flexibly, with no need to have a fixed number of spectral bands, and, with no need to dispose of large, expensive and labeled training datasets. The proposed method achieves very good results on our datasets, outperforming both traditional and deep learning reference methods. The implementation of the proposed method can be found on https://github.com/giu-guarino/R-PNN


title: Chebyshev admissible meshes and Lebesgue constants of complex polynomial projections

abstract: We construct admissible polynomial meshes on piecewise polynomial or trigonometric curves of the complex plane, by mapping univariate Chebyshev points. Such meshes can be used for polynomial least-squares, for the extraction of Fekete-like and Leja-like interpolation sets, and also for the evaluation of their Lebesgue constants.


title: Comparison theorems for multi-dimensional BSDEs with jumps and applications to constrained stochastic linear-quadratic control

abstract: In this paper, we, for the first time, establish two comparison theorems for multi-dimensional backward stochastic differential equations with jumps. Our approach is novel and completely different from the existing results for one-dimensional case. Using these and other delicate tools, we then construct solutions to coupled two-dimensional stochastic Riccati equation with jumps in both standard and singular cases. In the end, these results are applied to solve a cone-constrained stochastic linear-quadratic and a mean-variance portfolio selection problem with jumps. Different from no jump problems, the optimal (relative) state processes may change their signs, which is of course due to the presence of jumps.


title: Step by Step to Fairness: Attributing Societal Bias in Task-oriented Dialogue Systems

abstract: Recent works have shown considerable improvements in task-oriented dialogue (TOD) systems by utilizing pretrained large language models (LLMs) in an end-to-end manner. However, the biased behavior of each component in a TOD system and the error propagation issue in the end-to-end framework can lead to seriously biased TOD responses. Existing works of fairness only focus on the total bias of a system. In this paper, we propose a diagnosis method to attribute bias to each component of a TOD system. With the proposed attribution method, we can gain a deeper understanding of the sources of bias. Additionally, researchers can mitigate biased model behavior at a more granular level. We conduct experiments to attribute the TOD system's bias toward three demographic axes: gender, age, and race. Experimental results show that the bias of a TOD system usually comes from the response generation model.


title: Set Augmented Finite Automata over Infinite Alphabets

abstract: A data language is a set of finite words defined on an infinite alphabet. Data languages are used to express properties associated with data values (domain defined over a countably infinite set). In this paper, we introduce set augmented finite automata (SAFA), a new class of automata for expressing data languages. We investigate the decision problems, closure properties, and expressiveness of SAFA. We also study the deterministic variant of these automata.


title: Tunable interfacial chemisorption with atomic-level precision in a graphene WSe2 heterostructure

abstract: It has long been an ultimate goal to introduce chemical doping at the atomic level to precisely tune properties of materials. Two-dimensional materials have natural advantage because of its highly-exposed surface atoms, however, it is still a grand challenge to achieve this goal experimentally. Here, we demonstrate the ability to introduce chemical doping in graphene with atomic-level precision by controlling chemical adsorption of individual Se atoms, which are extracted from the underneath WSe2, at the interface of graphene-WSe2 heterostructures. Our scanning tunneling microscopy (STM) measurements, combined with first-principles calculations, reveal that individual Se atoms can chemisorbed on three possible positions in graphene, which generate distinct pseudospin-mediated atomic-scale vortices in graphene. We demonstrate that the chemisorbed positions of individual Se atoms can be manipulated by STM tip, which enables us to achieve atomic-scale controlling quantum interference of the pseudospin-mediated vortices in graphene. This result offers the promise of controlling properties of materials through chemical doping with atomic-level precision.


title: Effects of wave parameters on load reduction performance for amphibious aircraft with V-hydrofoil

abstract: An investigation of the influence of the hydrofoil on load reduction performance during an amphibious aircraft landing on still and wavy water is conducted by solving the Unsteady Reynolds-Averaged Navier-Stokes equations coupled with the standard $k-\omega$ turbulence model in this paper. During the simulations, the numerical wave tank is realized by using the velocity-inlet boundary wave maker coupled with damping wave elimination technique on the outlet, while the volume of fluid model is employed to track the water-air interface. Subsequently, the effects of geometric parameters of hydrofoil have been first discussed on still water, which indicates the primary factor influencing the load reduction is the static load coefficient of hydrofoil. Furthermore, the effects of descent velocity, wave length and wave height on load reduction are comprehensively investigated. The results show that the vertical load reduces more than 55$\%$ at the early stage of landing on the still water through assembling the hydrofoil for different descent velocity cases. Meanwhile, for the amphibious aircraft with high forward velocity, the bottom of the fuselage will come into close contact with the first wave when landing on crest position, and then the forebody will impact the next wave surface with extreme force. In this circumstance, the load reduction rate decreases to around 30$\%$, which will entail a further decline with the increase of wave length or wave height.


title: BClean: A Bayesian Data Cleaning System

abstract: There is a considerable body of work on data cleaning which employs various principles to rectify erroneous data and transform a dirty dataset into a cleaner one. One of prevalent approaches is probabilistic methods, including Bayesian methods. However, existing probabilistic methods often assume a simplistic distribution (e.g., Gaussian distribution), which is frequently underfitted in practice, or they necessitate experts to provide a complex prior distribution (e.g., via a programming language). This requirement is both labor-intensive and costly, rendering these methods less suitable for real-world applications. In this paper, we propose BClean, a Bayesian Cleaning system that features automatic Bayesian network construction and user interaction. We recast the data cleaning problem as a Bayesian inference that fully exploits the relationships between attributes in the observed dataset and any prior information provided by users. To this end, we present an automatic Bayesian network construction method that extends a structure learning-based functional dependency discovery method with similarity functions to capture the relationships between attributes. Furthermore, our system allows users to modify the generated Bayesian network in order to specify prior information or correct inaccuracies identified by the automatic generation process. We also design an effective scoring model (called the compensative scoring model) necessary for the Bayesian inference. To enhance the efficiency of data cleaning, we propose several approximation strategies for the Bayesian inference, including graph partitioning, domain pruning, and pre-detection. By evaluating on both real-world and synthetic datasets, we demonstrate that BClean is capable of achieving an F-measure of up to 0.9 in data cleaning, outperforming existing Bayesian methods by 2% and other data cleaning methods by 15%.


title: Minimum Description Length Hopfield Networks

abstract: Associative memory architectures are designed for memorization but also offer, through their retrieval method, a form of generalization to unseen inputs: stored memories can be seen as prototypes from this point of view. Focusing on Modern Hopfield Networks (MHN), we show that a large memorization capacity undermines the generalization opportunity. We offer a solution to better optimize this tradeoff. It relies on Minimum Description Length (MDL) to determine during training which memories to store, as well as how many of them.


title: Portfolio diversification with varying investor abilities

abstract: We introduce new mathematical methods to study the optimal portfolio size of investment portfolios over time, considering investors with varying skill levels. First, we explore the benefit of portfolio diversification on an annual basis for poor, average and strong investors defined by the 10th, 50th and 90th percentiles of risk-adjusted returns, respectively. Second, we conduct a thorough regression experiment examining quantiles of risk-adjusted returns as a function of portfolio size across investor ability, testing for trends and curvature within these functions. Finally, we study the optimal portfolio size for poor, average and strong investors in a continuously temporal manner using more than 20 years of data. We show that strong investors should hold concentrated portfolios, poor investors should hold diversified portfolios; average investors have a less obvious distribution with the optimal number varying materially over time.


title: Dynamics of toxic behavior in the Covid-19 vaccination debate

abstract: In this paper, we study the behavior of users on Online Social Networks in the context of Covid-19 vaccines in Italy. We identify two main polarized communities: Provax and Novax. We find that Novax users are more active, more clustered in the network, and share less reliable information compared to the Provax users. On average, Novax are more toxic than Provax. However, starting from June 2021, the Provax became more toxic than the Novax. We show that the change in trend is explained by the aggregation of some contagion effects and the change in the activity level within communities. In fact, we establish that Provax users who increase their intensity of activity after May 2021 are significantly more toxic than the other users, shifting the toxicity up within the Provax community. Our study suggests that users presenting a spiky activity pattern tend to be more toxic.


title: Extirpation of Atlantic Cod from a Northwest Atlantic ecosystem in the absence of predator control: inference from an ecosystem model of intermediate complexity

abstract: Atlantic cod (Gadus morhua) in the southern Gulf of St. Lawrence (sGSL) declined to low abundance in the early 1990s and have since failed to recover due to high natural mortality, which has been linked to grey seal (Halichoerus grypus) predation. Increased grey seal harvests have been suggested to improve cod survival, however, predicting the response of cod to seal abundance changes in the sGSL is complicated by a hypothesized triangular food web involving seals, cod, and small pelagic fishes, wherein the pelagic fishes are prey for cod and grey seals, but may also prey on young cod. Grey seals may therefore have an indirect positive effect on prerecruit cod survival via predation on pelagic fish. Using a multispecies model of intermediate complexity fitted to various scientific and fisheries data, we found that seal predation accounted for the majority of recent cod mortality and that cod will likely be extirpated without a strong and rapid reduction in grey seal abundance. We did not find evidence that reducing grey seal abundance will result in large increases to herring biomass that could impair cod recovery.


title: Semantic-aware Sampling and Transmission in Energy Harvesting Systems: A POMDP Approach

abstract: We address the problem of real-time remote tracking of a partially observable Markov source in an energy harvesting system with an unreliable communication channel. We consider both sampling and transmission costs. Different from most prior studies that assume the source is fully observable, the sampling cost renders the source partially observable. The goal is to jointly optimize sampling and transmission policies for two semantic-aware metrics: i) a general distortion measure and ii) the age of incorrect information (AoII). We formulate a stochastic control problem. To solve the problem for each metric, we cast a partially observable Markov decision process (POMDP), which is transformed into a belief MDP. Then, for both AoII under the perfect channel setup and distortion, we express the belief as a function of the age of information (AoI). This expression enables us to effectively truncate the corresponding belief space and formulate a finite-state MDP problem, which is solved using the relative value iteration algorithm. For the AoII metric in the general setup, a deep reinforcement learning policy is proposed to solve the belief MDP problem. Simulation results show the effectiveness of the derived policies and, in particular, reveal a non-monotonic switching-type structure of the real-time optimal policy with respect to AoI.


title: Generative AI for Space-Air-Ground Integrated Networks (SAGIN)

abstract: Recently, generative AI technologies have emerged as a significant advancement in artificial intelligence field, renowned for their language and image generation capabilities. Meantime, space-air-ground integrated network (SAGIN) is an integral part of future B5G/6G for achieving ubiquitous connectivity. Inspired by this, this article explores an integration of generative AI in SAGIN, focusing on potential applications and case study. We first provide a comprehensive review of SAGIN and generative AI models, highlighting their capabilities and opportunities of their integration. Benefiting from generative AI's ability to generate useful data and facilitate advanced decision-making processes, it can be applied to various scenarios of SAGIN. Accordingly, we present a concise survey on their integration, including channel modeling and channel state information (CSI) estimation, joint air-space-ground resource allocation, intelligent network deployment, semantic communications, image extraction and processing, security and privacy enhancement. Next, we propose a framework that utilizes a Generative Diffusion Model (GDM) to construct channel information map to enhance quality of service for SAGIN. Simulation results demonstrate the effectiveness of the proposed framework. Finally, we discuss potential research directions for generative AI-enabled SAGIN.


title: Towards a Personal Health Knowledge Graph Framework for Patient Monitoring

abstract: Healthcare providers face significant challenges with monitoring and managing patient data outside of clinics, particularly with insufficient resources and limited feedback on their patients' conditions. Effective management of these symptoms and exploration of larger bodies of data are vital for maintaining long-term quality of life and preventing late interventions. In this paper, we propose a framework for constructing personal health knowledge graphs from heterogeneous data sources. Our approach integrates clinical databases, relevant ontologies and standard healthcare guidelines to support alert generation, clinician interpretation and querying of patient data. Through a use case of monitoring Chronic Obstructive Pulmonary Disease (COPD) patients, we demonstrate that inference and reasoning on personal health knowledge graphs built with our framework can aid in patient monitoring and enhance the efficacy and accuracy of patient data queries.


title: A new optimal estimate for the norm of time-frequency localization operators

abstract: In this paper we provide an optimal estimate for the operator norm of time-frequency localization operators with Gaussian window $L_{F,\varphi} : L^2(\mathbb{R}^d) \rightarrow L^2(\mathbb{R}^d)$, under the assumption that $F \in L^p(\mathbb{R}^{2d}) \cap L^q(\mathbb{R}^{2d})$ for some $p$ and $q$ in $(1,+\infty)$. We are also able to characterize optimal weight functions, whose shape turns out to depend on the ratio $\|F\|_q / \|F\|_p$. Roughly speaking, if this ratio is "sufficiently large" or "sufficiently small" optimal weight functions are certain Gaussians, while if it is in the intermediate regime the optimal functions are no longer Gaussians. As an application, we extend Lieb's uncertainty inequality to the space $L^p + L^q$.


title: Uniform-in-time boundedness in a class of local and nonlocal nonlinear attraction-repulsion chemotaxis models with logistics

abstract: This article deals with a class of chemotaxis systems describing mechanisms from mathematical biology. In the specific, for a rather general class of attraction-repulsion models, with nonlinear productions, diffusion, sensitivities and logistic term, we are interested in deriving interplays on the parameters involved in the problem capable to ensure globality and boundedness of related solutions. This project is precisely contextualized in the frame of a series of results dealing with local and nonlocal, and linear and nonlinear, attraction-repulsion chemotaxis systems. For these problems, rooms of improvements are still open; in this sense, this research exactly enhances and extends already known analyses in the literature. More specifically, a direct comparison with [Jiao, Jadlovsk\'a, Li, Nonlinear Anal. Real World Appl., 2023; Ren, Liu, Math. Models Methods Appl. Sci., 2020; Chiyo, Yokota, Z. Angew. Math. Phys., 2022; Columbu, Frassu, Viglialoro, Appl. Anal., 2023] is carried out.


title: TURBO: The Swiss Knife of Auto-Encoders

abstract: We present a novel information-theoretic framework, termed as TURBO, designed to systematically analyse and generalise auto-encoding methods. We start by examining the principles of information bottleneck and bottleneck-based networks in the auto-encoding setting and identifying their inherent limitations, which become more prominent for data with multiple relevant, physics-related representations. The TURBO framework is then introduced, providing a comprehensive derivation of its core concept consisting of the maximisation of mutual information between various data representations expressed in two directions reflecting the information flows. We illustrate that numerous prevalent neural network models are encompassed within this framework. The paper underscores the insufficiency of the information bottleneck concept in elucidating all such models, thereby establishing TURBO as a preferable theoretical reference. The introduction of TURBO contributes to a richer understanding of data representation and the structure of neural network models, enabling more efficient and versatile applications.


title: Inertial control of a spinning flat disk

abstract: This paper proposes a Lyapunov based approach to control the rotation of a flat disk spinning in the space without external forces. The motion of the disk is governed by the Euler's rotation equation for spinning objects. The control is made through the inertia matrix of the disk.


title: Insight-HXMT on-orbit thermal control status and thermal deformation impact analysis

abstract: Purpose: The Hard X-ray Modulation Telescope is China's first X-ray astronomy satellite launched on June 15th, 2017, dubbed Insight-HXMT. Active and passive thermal control measures are employed to keep devices at suitable temperatures. In this paper, we analyzed the on-orbit thermal monitoring data of the first 5 years and investigated the effect of thermal deformation on the point spread function (PSF) of the telescopes. Methods: We examined the data of the on-orbit temperatures measured using 157 thermistors placed on the collimators, detectors and their support structures and compared the results with the thermal control requirements. The thermal deformation was evaluated by the relative orientation of the two star sensors installed on the main support structure. its effect was estimated with evolution of the PSF obtained with calibration scanning observations of the Crab nebula. Conclusion: The on-orbit temperatures met the thermal control requirements thus far, and the effect of thermal deformation on the PSF was negligible after the on-orbit pointing calibration.


title: Exploring ChatGPT's Capabilities on Vulnerability Management

abstract: Recently, ChatGPT has attracted great attention from the code analysis domain. Prior works show that ChatGPT has the capabilities of processing foundational code analysis tasks, such as abstract syntax tree generation, which indicates the potential of using ChatGPT to comprehend code syntax and static behaviors. However, it is unclear whether ChatGPT can complete more complicated real-world vulnerability management tasks, such as the prediction of security relevance and patch correctness, which require an all-encompassing understanding of various aspects, including code syntax, program semantics, and related manual comments. In this paper, we explore ChatGPT's capabilities on 6 tasks involving the complete vulnerability management process with a large-scale dataset containing 70,346 samples. For each task, we compare ChatGPT against SOTA approaches, investigate the impact of different prompts, and explore the difficulties. The results suggest promising potential in leveraging ChatGPT to assist vulnerability management. One notable example is ChatGPT's proficiency in tasks like generating titles for software bug reports. Furthermore, our findings reveal the difficulties encountered by ChatGPT and shed light on promising future directions. For instance, directly providing random demonstration examples in the prompt cannot consistently guarantee good performance in vulnerability management. By contrast, leveraging ChatGPT in a self-heuristic way -- extracting expertise from demonstration examples itself and integrating the extracted expertise in the prompt is a promising research direction. Besides, ChatGPT may misunderstand and misuse the information in the prompt. Consequently, effectively guiding ChatGPT to focus on helpful information rather than the irrelevant content is still an open problem.


title: Large deviation principles for graphon sampling

abstract: We investigate possible large deviation principles (LDPs) for the $n$-vertex sampling from a given graphon with various speeds $s(n)$ and resolve all the cases except when the speed $s(n)$ is of order $n^2$. For quadratic speed $s=(c+o(1))n^2$, we establish an LDP for an arbitrary $k$-step graphon, which extends a result of Chatterjee and Varadhan [Europ. J. Combin., 32 (2011) 1000-1017] who did this for $k=1$ (that is, for the homogeneous binomial random graphs). This is done by reducing the problem to the LDP for stochastic $k$-block models established recently by Borgs, Chayes, Gaudio, Petti and Sen ["A large deviation principle for block models", arxiv:2007.14508, 2020]. Also, we improve some results by Borgs et al.


title: Added Toxicity Mitigation at Inference Time for Multimodal and Massively Multilingual Translation

abstract: Added toxicity in the context of translation refers to the fact of producing a translation output with more toxicity than there exists in the input. In this paper, we present MinTox which is a novel pipeline to identify added toxicity and mitigate this issue which works at inference time. MinTox uses a toxicity detection classifier which is multimodal (speech and text) and works in languages at scale. The mitigation method is applied to languages at scale and directly in text outputs. MinTox is applied to SEAMLESSM4T, which is the latest multimodal and massively multilingual machine translation system. For this system, MinTox achieves significant added toxicity mitigation across domains, modalities and language directions. MinTox manages to approximately filter out from 25% to 95% of added toxicity (depending on the modality and domain) while keeping translation quality.


title: MASKE: A kinetic simulator of coupled chemo-mechanical processes driving microstructural evolution

abstract: The microstructure of materials evolves through chemical reactions and mechanical stress, often strongly coupled in phenomena such as pressure solution or crystallization pressure. This article presents MASKE: a simulator to address the challenge of modelling coupled chemo-mechanical processes in microstructures. MASKE represents solid phases as agglomerations of particles whose off-lattice displacements generate mechanical stress through interaction potentials. Particle precipitation and dissolution are sampled using Kinetic Monte Carlo, with original reaction rate equations derived from Transition State Theory and featuring contributions from mechanical interactions. Molecules in solution around the solid are modelled implicitly, through concentrations that change during microstructural evolution and define the saturation indexes for user-defined chemical reactions. The structure and implementation of the software are explained first. Then, two examples on a nanocrystal of calcium hydroxide address its chemical equilibrium and its mechanical response under a range of imposed strain rates, involving stress-driven dissolution and recrystallization. These examples highlight MASKE's distinctive ability to simulate strongly coupled chemo-mechanical processes. MASKE is available, open-source, on GitHub.


title: Translating Legalese: Enhancing Public Understanding of Court Opinions with Legal Summarizers

abstract: Judicial opinions are written to be persuasive and could build public trust in court decisions, yet they can be difficult for non-experts to understand. We present a pipeline for using an AI assistant to generate simplified summaries of judicial opinions. Compared to existing expert-written summaries, these AI-generated simple summaries are more accessible to the public and more easily understood by non-experts. We show in a survey experiment that the AI summaries help respondents understand the key features of a ruling, and have higher perceived quality, especially for respondents with less formal education.


title: Quantum interference in the Kerr spacetime

abstract: The gravitational induced interference is here studied in the framework of Teleparallel Gravity. We derive the gravitational phase difference and we apply the result to the case of a Kerr spacetime. Afterwards, we compute the fringe shifts in an interference experiment of particles and discuss how to increase their values by changing the given parameters that include: the area in between the paths, the energy of the particles, the distance from the black hole, the mass and the spin of the black hole. It turns out that it is more difficult to detect the fringe shifts for massless particles than for massive particles. As a further application, we show how the mass of the black hole and its angular momentum can be obtained from the measurement of the fringe shifts. Finally, we compare the phase difference derived in Teleparallel Gravity with a previous work in General Relativity.


title: CrashCar101: Procedural Generation for Damage Assessment

abstract: In this paper, we are interested in addressing the problem of damage assessment for vehicles, such as cars. This task requires not only detecting the location and the extent of the damage but also identifying the damaged part. To train a computer vision system for the semantic part and damage segmentation in images, we need to manually annotate images with costly pixel annotations for both part categories and damage types. To overcome this need, we propose to use synthetic data to train these models. Synthetic data can provide samples with high variability, pixel-accurate annotations, and arbitrarily large training sets without any human intervention. We propose a procedural generation pipeline that damages 3D car models and we obtain synthetic 2D images of damaged cars paired with pixel-accurate annotations for part and damage categories. To validate our idea, we execute our pipeline and render our CrashCar101 dataset. We run experiments on three real datasets for the tasks of part and damage segmentation. For part segmentation, we show that the segmentation models trained on a combination of real data and our synthetic data outperform all models trained only on real data. For damage segmentation, we show the sim2real transfer ability of CrashCar101.


title: Is Machine Learning Unsafe and Irresponsible in Social Sciences? Paradoxes and Reconsidering from Recidivism Prediction Tasks

abstract: The paper addresses some fundamental and hotly debated issues for high-stakes event predictions underpinning the computational approach to social sciences. We question several prevalent views against machine learning and outline a new paradigm that highlights the promises and promotes the infusion of computational methods and conventional social science approaches.


title: On Amiot's conjecture

abstract: In a survey paper in 2011, Amiot proposed a conjectural characterisation of the cluster categories which were conceived in the mid 2000s to lift the combinatorics of Fomin-Zelevinsky's cluster algebras to the categorical level. This paper is devoted to a proof of (a variant of) her conjecture. More generally, cluster categories admit higher dimensional and relative variants, the so-called Higgs categories recently introduced by Wu. We also prove higher-dimensional and relative variants of the conjecture.


title: Experimental Demonstration of Inequivalent Mutually Unbiased Bases

abstract: Quantum measurements based on mutually unbiased bases (MUB) play crucial roles in foundational studies and quantum information processing. It is known that there exist inequivalent MUB, but little is known about their operational distinctions, not to say experimental demonstration. In this work, by virtue of a simple estimation problem we experimentally demonstrate the operational distinctions between inequivalent triples of MUB in dimension 4 based on high-precision photonic systems. The experimental estimation fidelities coincide well with the theoretical predictions with only 0.16$\%$ average deviation, which is 25 times less than the difference (4.1$\%$) between the maximum estimation fidelity and the minimum estimation fidelity. Our experiments clearly demonstrate that inequivalent MUB have different information extraction capabilities and different merits for quantum information processing.


title: Ideally $r$-constrained graded Lie subalgebras of maximal class algebras

abstract: Let $E\supseteq F$ be a field extension and $M$ a graded Lie algebra of maximal class over $E$. We investigate the $F$-subalgebras $L$ of $M$, generated by elements of degree $1$. We provide conditions for $L$ being either ideally $r$-constrained or not just infinite. We show by an example that those conditions are tight. Furthermore, we determine the structure of $L$ when the field extension $E\supseteq F$ is finite. A class of ideally $r$-constrained Lie algebras which are not $(r-1)$-constrained is explicitly constructed, for every $r\geq 1$.


title: Room-Temperature entangled quantum processor on integrated semiconductor photonics platform

abstract: The rise of the 4H-silicon-carbide-on-insulator (SiCOI) platform marks a promising pathway towards the realization of monolithic quantum photonic networks. However, the challenge of establishing room-temperature entangled registers on these integrated photonics platforms remains unresolved. Herein, we demonstrate the first entangled processor on the SiCOI platform. We show that both deterministic generation of single divacancy electron spins and near-unity spin initialization of a single $^{13}$C nuclear spin can be achieved on SiCOI at room temperature. Besides coherently manipulating the single nuclear spin, a maximally entangled state with a fidelity of 0.89 has been prepared on this CMOS-compatible semiconductor-integrated photonics system. This work establishes the foundation for compact and on-chip solutions within existing defect-based computing and sensing protocols, positioning the SiCOI platform as the most promising candidate for integrated monolithic quantum photonic networks.


title: Generation Of Colors using Bidirectional Long Short Term Memory Networks

abstract: Human vision can distinguish between a vast spectrum of colours, estimated to be between 2 to 7 million discernible shades. However, this impressive range does not inherently imply that all these colours have been precisely named and described within our lexicon. We often associate colours with familiar objects and concepts in our daily lives. This research endeavors to bridge the gap between our visual perception of countless shades and our ability to articulate and name them accurately. A novel model has been developed to achieve this goal, leveraging Bidirectional Long Short-Term Memory (BiLSTM) networks with Active learning. This model operates on a proprietary dataset meticulously curated for this study. The primary objective of this research is to create a versatile tool for categorizing and naming previously unnamed colours or identifying intermediate shades that elude traditional colour terminology. The findings underscore the potential of this innovative approach in revolutionizing our understanding of colour perception and language. Through rigorous experimentation and analysis, this study illuminates a promising avenue for Natural Language Processing (NLP) applications in diverse industries. By facilitating the exploration of the vast colour spectrum the potential applications of NLP are extended beyond conventional boundaries.


title: Bootstrapping Robotic Skill Learning With Intuitive Teleoperation: Initial Feasibility Study

abstract: Robotic skill learning has been increasingly studied but the demonstration collections are more challenging compared to collecting images/videos in computer vision and texts in natural language processing. This paper presents a skill learning paradigm by using intuitive teleoperation devices to generate high-quality human demonstrations efficiently for robotic skill learning in a data-driven manner. By using a reliable teleoperation interface, the da Vinci Research Kit (dVRK) master, a system called dVRK-Simulator-for-Demonstration (dS4D) is proposed in this paper. Various manipulation tasks show the system's effectiveness and advantages in efficiency compared to other interfaces. Using the collected data for policy learning has been investigated, which verifies the initial feasibility. We believe the proposed paradigm can facilitate robot learning driven by high-quality demonstrations and efficiency while generating them.


title: A note on "A multi-compartment VRP model for the health care waste transportation problem"

abstract: A mathematical model and a genetic algorithm, referred to as an adaptive one, have been proposed in the paper by Nasreddine Ouertani, Hajer Ben-Romdhane, Issam Nouaouri, Hamid Allaoui, and Saoussen Krichen, titled "A multi-compartment VRP model for the healthcare waste transportation problem," published in the Journal of ComputationalScience in 2023 (72), pages 102-104. This model addresses the problem of waste disposal and the transportation of waste from healthcare facilities to treatment centers. In this note, we demonstrate that the model contains several minor and major flaws in its structure, making it, in short, incorrect. Therefore, we conclude that it cannot serve as a reliable benchmark for evaluating the proposed heuristic. We recommend amending the model to rectify some of these flaws.


title: Understanding Generalization via Set Theory

abstract: Generalization is at the core of machine learning models. However, the definition of generalization is not entirely clear. We employ set theory to introduce the concepts of algorithms, hypotheses, and dataset generalization. We analyze the properties of dataset generalization and prove a theorem on surrogate generalization procedures. This theorem leads to our generalization method. Through a generalization experiment on the MNIST dataset, we obtain 13,541 sample bases. When we use the entire training set to evaluate the model's performance, the models achieve an accuracy of 99.945%. However, if we shift the sample bases or modify the neural network structure, the performance experiences a significant decline. We also identify consistently mispredicted samples and find that they are all challenging examples. The experiments substantiated the accuracy of the generalization definition and the effectiveness of the proposed methods. Both the set-theoretic deduction and the experiments help us better understand generalization.


title: Droplet coalescence kinetics: thermodynamic non-equilibrium effects and entropy production mechanism

abstract: The thermodynamic non-equilibrium (TNE) effects and the relationships between various TNE effects and entropy production rate, morphology, kinematics, and dynamics during two initially static droplet coalescence are studied in detail via the discrete Boltzmann method. The temporal evolutions of the total TNE strength ($D^*$) and the total entropy production rate ($\dot S$) can both provide concise, effective and consistent physical criteria to distinguish the stages of droplet coalescence. Specifically, when $\bar D^*$ and $\dot S$ reach their maxima, it corresponds to the time when the liquid-vapor interface length changes the fastest; when $D^*$ and $\dot S$ reach their valleys, it corresponds to the moment of the droplet being the longest elliptical shape. During the merging process, the force contributed by surface tension in the coalescence direction acts as the primary promoting force for droplet coalescence and reaches its maximum concurrently with coalescent acceleration. In contrast, the force contributed by non-organized momentum fluxes (NOMFs) in the coalescing direction inhibits the merging process and reaches its maximum at the same time as $D^*$. For the coalescence of two unequal size droplets, the smaller droplet exhibits larger values for TNE intensity, merging velocity, driving force contributed by surface tension, and resistance contributed by NOMFs. Moreover, these values gradually increase with the initial radius ratio of the large and small droplets due to larger curvature. However, non-equilibrium components and forces related to shear velocity in the small droplet, are all smaller than those in the larger droplet and gradually decrease with the radius ratio.


title: From Charts to Atlas: Merging Latent Spaces into One

abstract: Models trained on semantically related datasets and tasks exhibit comparable inter-sample relations within their latent spaces. We investigate in this study the aggregation of such latent spaces to create a unified space encompassing the combined information. To this end, we introduce Relative Latent Space Aggregation, a two-step approach that first renders the spaces comparable using relative representations, and then aggregates them via a simple mean. We carefully divide a classification problem into a series of learning tasks under three different settings: sharing samples, classes, or neither. We then train a model on each task and aggregate the resulting latent spaces. We compare the aggregated space with that derived from an end-to-end model trained over all tasks and show that the two spaces are similar. We then observe that the aggregated space is better suited for classification, and empirically demonstrate that it is due to the unique imprints left by task-specific embedders within the representations. We finally test our framework in scenarios where no shared region exists and show that it can still be used to merge the spaces, albeit with diminished benefits over naive merging.


title: Star-forming Main Sequence of Giant Low Surface Brightness Galaxies

abstract: Giant Low Surface Brightness Galaxies (GLSBGs) are fundamentally distinct from normal galaxies (LSBGs) in star formation and evolution. In this work, we collected 27 local GLSBGs. They have high stellar masses (M*>10^10 Msolar) and low SFRs. With the specific SFRs lower than the characteristic value of the local star-forming (SF) galaxies of M*=10^10 Msolar(sSFR < 0.1 Gyr^-1), GLSBGs deviate from the SF main sequence (MS) defined for local SFGs respectively by E07 and S16 at the high M* regime. They are HI-rich systems with HI gas mass fractions (fHI) higher than the S16 MS galaxies, but have little molecular gas (H2), implying a low efficiency of HI-to-H2 transition due to the low HI surface densities that are far lower than the minimum of 6 - 8 Msolar pc^-2 required for shielding the formed H2 from photodissociation. For GLSBGs, the inner, bulge-dominated part with lower SFRs and higher M* is the main force pulling the entire GLSBG off from the MS, while the outer, disk-dominated part with relatively higher SFRs and lower M* reduces the deviations from the MS. For some cases, the outer, disk-dominated parts even tend to follow the MS. In the aspect of NUV - r versus g - r colors, the outer, disk-dominated parts are blue and behave similarly to the normal star-forming galaxies while the inner, bulge-dominated parts are in statistics red, indicating an inside-out star formation mechanism for the GLSBGs. They show few signs of external interactions in morphology, excluding the recent major merger scenario.


title: Zero-Shot Cross-Lingual Sentiment Classification under Distribution Shift: an Exploratory Study

abstract: The brittleness of finetuned language model performance on out-of-distribution (OOD) test samples in unseen domains has been well-studied for English, yet is unexplored for multi-lingual models. Therefore, we study generalization to OOD test data specifically in zero-shot cross-lingual transfer settings, analyzing performance impacts of both language and domain shifts between train and test data. We further assess the effectiveness of counterfactually augmented data (CAD) in improving OOD generalization for the cross-lingual setting, since CAD has been shown to benefit in a monolingual English setting. Finally, we propose two new approaches for OOD generalization that avoid the costly annotation process associated with CAD, by exploiting the power of recent large language models (LLMs). We experiment with 3 multilingual models, LaBSE, mBERT, and XLM-R trained on English IMDb movie reviews, and evaluate on OOD test sets in 13 languages: Amazon product reviews, Tweets, and Restaurant reviews. Results echo the OOD performance decline observed in the monolingual English setting. Further, (i) counterfactuals from the original high-resource language do improve OOD generalization in the low-resource language, and (ii) our newly proposed cost-effective approaches reach similar or up to +3.1% better accuracy than CAD for Amazon and Restaurant reviews.


title: Non-Hermitian Skin Effect In Periodically-Driven Dissipative Ultracold Atoms

abstract: The non-Hermitian skin effect (NHSE), featured by the collapse of bulk-band eigenstates into the localized boundary modes of the systems, is one of most striking properties in the fields of non-Hermitian physics. Unique physical phenomena related to the NHSE have attracted a lot of interest, however, their experimental realizations usually require nonreciprocal hopping, which faces a great challenge in ultracold-atom systems. In this work, we propose to realize the NHSE in a 1D optical lattice by periodically-driven ultracold atoms in the presence of staggered atomic loss. By studying the effective Floquet Hamiltonian in the high-frequency approximation, we reveal the underlying mechanism for the periodic-driving-induced the NHSE. We found that the robust NHSE can be tuned by driving phase, which is manifested by the dynamical localization. Most remarkably, we uncover the periodic-driving-induced critical skin effect for two coupled chains with different driving phases, accompanied by the appearance of size-dependent topological in-gap modes. Our studies provide a feasible way for observing the NHSE and exploring corresponding unique physical phenomena due to the interplay of non-Hermiticity and many-body statistics in ultracold-atom systems.


title: FDNet: Feature Decoupled Segmentation Network for Tooth CBCT Image

abstract: Precise Tooth Cone Beam Computed Tomography (CBCT) image segmentation is crucial for orthodontic treatment planning. In this paper, we propose FDNet, a Feature Decoupled Segmentation Network, to excel in the face of the variable dental conditions encountered in CBCT scans, such as complex artifacts and indistinct tooth boundaries. The Low-Frequency Wavelet Transform (LF-Wavelet) is employed to enrich the semantic content by emphasizing the global structural integrity of the teeth, while the SAM encoder is leveraged to refine the boundary delineation, thus improving the contrast between adjacent dental structures. By integrating these dual aspects, FDNet adeptly addresses the semantic gap, providing a detailed and accurate segmentation. The framework's effectiveness is validated through rigorous benchmarks, achieving the top Dice and IoU scores of 85.28% and 75.23%, respectively. This innovative decoupling of semantic and boundary features capitalizes on the unique strengths of each element to significantly elevate the quality of segmentation performance.


title: Stain Consistency Learning: Handling Stain Variation for Automatic Digital Pathology Segmentation

abstract: Stain variation is a unique challenge associated with automated analysis of digital pathology. Numerous methods have been developed to improve the robustness of machine learning methods to stain variation, but comparative studies have demonstrated limited benefits to performance. Moreover, methods to handle stain variation were largely developed for H&E stained data, with evaluation generally limited to classification tasks. Here we propose Stain Consistency Learning, a novel framework combining stain-specific augmentation with a stain consistency loss function to learn stain colour invariant features. We perform the first, extensive comparison of methods to handle stain variation for segmentation tasks, comparing ten methods on Masson's trichrome and H&E stained cell and nuclei datasets, respectively. We observed that stain normalisation methods resulted in equivalent or worse performance, while stain augmentation or stain adversarial methods demonstrated improved performance, with the best performance consistently achieved by our proposed approach. The code is available at: https://github.com/mlyg/stain_consistency_learning


title: Visual Commonsense based Heterogeneous Graph Contrastive Learning

abstract: How to select relevant key objects and reason about the complex relationships cross vision and linguistic domain are two key issues in many multi-modality applications such as visual question answering (VQA). In this work, we incorporate the visual commonsense information and propose a heterogeneous graph contrastive learning method to better finish the visual reasoning task. Our method is designed as a plug-and-play way, so that it can be quickly and easily combined with a wide range of representative methods. Specifically, our model contains two key components: the Commonsense-based Contrastive Learning and the Graph Relation Network. Using contrastive learning, we guide the model concentrate more on discriminative objects and relevant visual commonsense attributes. Besides, thanks to the introduction of the Graph Relation Network, the model reasons about the correlations between homogeneous edges and the similarities between heterogeneous edges, which makes information transmission more effective. Extensive experiments on four benchmarks show that our method greatly improves seven representative VQA models, demonstrating its effectiveness and generalizability.


title: PGODE: Towards High-quality System Dynamics Modeling

abstract: This paper studies the problem of modeling multi-agent dynamical systems, where agents could interact mutually to influence their behaviors. Recent research predominantly uses geometric graphs to depict these mutual interactions, which are then captured by powerful graph neural networks (GNNs). However, predicting interacting dynamics in challenging scenarios such as out-of-distribution shift and complicated underlying rules remains unsolved. In this paper, we propose a new approach named Prototypical Graph ODE (PGODE) to address the problem. The core of PGODE is to incorporate prototype decomposition from contextual knowledge into a continuous graph ODE framework. Specifically, PGODE employs representation disentanglement and system parameters to extract both object-level and system-level contexts from historical trajectories, which allows us to explicitly model their independent influence and thus enhances the generalization capability under system changes. Then, we integrate these disentangled latent representations into a graph ODE model, which determines a combination of various interacting prototypes for enhanced model expressivity. The entire model is optimized using an end-to-end variational inference framework to maximize the likelihood. Extensive experiments in both in-distribution and out-of-distribution settings validate the superiority of PGODE compared to various baselines.


title: Heuristic-Driven Link-of-Analogy Prompting: Enhancing Large Language Models for Document-Level Event Argument Extraction

abstract: In this study, we investigate in-context learning (ICL) in document-level event argument extraction (EAE) to alleviate the dependency on large-scale labeled data for this task. We introduce the Heuristic-Driven Link-of-Analogy (HD-LoA) prompting to address the challenge of example selection and to develop a prompting strategy tailored for EAE. Specifically, we hypothesize and validate that LLMs learn task-specific heuristics from demonstrations via ICL. Building upon this hypothesis, we introduce an explicit heuristic-driven demonstration construction approach, which transforms the haphazard example selection process into a methodical method that emphasizes task heuristics. Additionally, inspired by the analogical reasoning of human, we propose the link-of-analogy prompting, which enables LLMs to process new situations by drawing analogies to known situations, enhancing their performance on unseen classes beyond limited ICL examples. Experiments show that our method outperforms existing prompting methods and few-shot supervised learning methods on document-level EAE datasets. Additionally, the HD-LoA prompting shows effectiveness in diverse tasks like sentiment analysis and natural language inference, demonstrating its broad adaptability.


title: A survey on skein modules via braids

abstract: In this paper we present recent results on the computation of skein modules of 3-manifolds using braids and appropriate knot algebras. Skein modules generalize knot polynomials in $S^3$ to knot polynomials in arbitrary 3-manifolds and they have become extremely essential algebraic tools in the study of 3-manifolds. In this paper we present the braid approach to the HOMFLYPT and the Kauffman bracket skein modules of the Solid Torus ST and the lens spaces $L(p,1)$ and $S^1\times S^2$.