title: Dome Craters on Ganymede and Callisto May Form by Topographic Relaxation of Pit Craters Aided by Remnant Impact Heat

abstract: The icy Galilean satellites display impact crater morphologies that are rare in the Solar System. They deviate from the archetypal sequence of crater morphologies as a function of size found on rocky bodies and other icy satellites: they exhibit central pits in place of peaks, followed by central dome craters, anomalous dome craters, penepalimpsests, palimpsests, and multi-ring structures. Understanding the origin of these features will provide insight into the geophysical factors that operate within the icy Galilean satellites. Pit craters above a size threshold feature domes. This trend, and the similarity in morphology between the two classes, suggests a genetic link between pit and dome craters. We propose that dome craters evolve from pit craters through topographic relaxation, facilitated by remnant heat from the impact. Our finite element simulations show that, for the specific crater sizes where we see domes on Ganymede and Callisto, domes form from pit craters within 10 Myr. Topographic relaxation acts to eliminate the stresses induced by crater topography and restore a flat surface: ice flows downwards from the rim and upwards from the crater depression driven by gravity. When the starting topography is a pit crater, the heat left over from the impact is concentrated below the pit. Since warm ice flows more rapidly, the upward flow is enhanced beneath the pit, leading to the emergence of a dome. Given the timescales and the dependence on heat flux, this model could be used to constrain the thermal history and evolution of these moons.


title: The Effectiveness of Local Updates for Decentralized Learning under Data Heterogeneity

abstract: We revisit two fundamental decentralized optimization methods, Decentralized Gradient Tracking (DGT) and Decentralized Gradient Descent (DGD), with multiple local updates. We consider two settings and demonstrate that incorporating $K > 1$ local update steps can reduce communication complexity. Specifically, for $\mu$-strongly convex and $L$-smooth loss functions, we proved that local DGT achieves communication complexity $\tilde{\mathcal{O}} \Big(\frac{L}{\mu K} + \frac{\delta}{\mu (1 - \rho)} + \frac{\rho }{(1 - \rho)^2} \cdot \frac{L+ \delta}{\mu}\Big)$, where $\rho$ measures the network connectivity and $\delta$ measures the second-order heterogeneity of the local loss. Our result reveals the tradeoff between communication and computation and shows increasing $K$ can effectively reduce communication costs when the data heterogeneity is low and the network is well-connected. We then consider the over-parameterization regime where the local losses share the same minimums, we proved that employing local updates in DGD, even without gradient correction, can yield a similar effect as DGT in reducing communication complexity. Numerical experiments validate our theoretical results.


title: Vietoris-Rips Complexes of Split-Decomposable Spaces

abstract: Split-metric decompositions are an important tool in the theory of phylogenetics, particularly because of the link between the tight span and the class of totally decomposable spaces, a generalization of metric trees whose decomposition does not have a ``prime'' component. We use this connection to study the Vietoris-Rips complexes of totally decomposable spaces. In particular, we characterize the homotopy type of the Vietoris-Rips complex of circular decomposable spaces whose metric is monotone. We extend this result to compute the homology of certain non-monotone circular decomposable spaces. We also use the block decomposition of the tight span of a totally decomposable metric to induce a decomposition of the VR complex of a totally decomposable metric.


title: Constraint Preconditioning and Parameter Selection for a First-Order Primal-Dual Method applied to Model Predictive Control

abstract: Many techniques for real-time trajectory optimization and control require the solution of optimization problems at high frequencies. However, ill-conditioning in the optimization problem can significantly reduce the speed of first-order primal-dual optimization algorithms. We introduce a preconditioning technique and step-size heuristic for Proportional-Integral Projected Gradient (PIPG), a first-order primal-dual algorithm. The preconditioning technique, based on the QR factorization, aims to reduce the condition number of the KKT matrix associated with the optimization problem. Our step-size selection heuristic chooses step-sizes to minimize the upper bound on the convergence of the primal-dual gap for the optimization problem. These algorithms are tested on two model predictive control problem examples and show a solve-time reduction of at least 3.6x.


title: The Non-triviality of Dynamical Chern-Simons Gravity and the Standard Model

abstract: Given the growing interest in gravitational-wave and cosmological parity-violating effects in dynamical Chern-Simons (dCS) gravity, it is crucial to investigate whether the scalar-gravitational Pontryagin term in dCS persists when formulated in the context of the $\text{U(1)}_{\text{B}-\text{L}}$ anomaly in the Standard Model (SM). In particular, it has been argued that dCS gravity can be reduced to Einstein gravity after ''rotating away'' the gravitational-Pontryagin coupling into the phase of the Weinberg operator $\unicode{x2013}$ analogous to the rotation of the axion zero-mode into the quark mass matrix. We find that dCS is nontrivial if the scalar field $\phi$ has significant space-time dependence from dynamics. We provide a comprehensive consideration of the dCS classical and quantum symmetries relevant for embedding a dCS sector in the SM. We find that, because of the B-L chiral gravitational anomaly, the scalar-Pontryagin term cannot be absorbed by a field redefinition. Assuming a minimal extension of the SM, we also find that a coupling of the dCS scalar with right-handed neutrinos induces both the scalar-Pontryagin coupling and an axion-like phase in the dimension-five Weinberg operator. We comment on the issue of gauging the $\text{U(1)}_{\text{B}-\text{L}}$, the observational effects with these two operators present for upcoming experiments, and the origin of dCS gravity in string theory.


title: Data-Driven Predictive Control for Robust Exoskeleton Locomotion

abstract: Exoskeleton locomotion must be robust while being adaptive to different users with and without payloads. To address these challenges, this work introduces a data-driven predictive control (DDPC) framework to synthesize walking gaits for lower-body exoskeletons, employing Hankel matrices and a state transition matrix for its data-driven model. The proposed approach leverages DDPC through a multi-layer architecture. At the top layer, DDPC serves as a planner employing Hankel matrices and a state transition matrix to generate a data-driven model that can learn and adapt to varying users and payloads. At the lower layer, our method incorporates inverse kinematics and passivity-based control to map the planned trajectory from DDPC into the full-order states of the lower-body exoskeleton. We validate the effectiveness of this approach through numerical simulations and hardware experiments conducted on the Atalante lower-body exoskeleton with different payloads. Moreover, we conducted a comparative analysis against the model predictive control (MPC) framework based on the reduced-order linear inverted pendulum (LIP) model. Through this comparison, the paper demonstrates that DDPC enables robust bipedal walking at various velocities while accounting for model uncertainties and unknown perturbations.


title: A Novel Non-Terrestrial Networks Architecture: All Optical LEO Constellations with High-Altitude Ground Stations

abstract: The emergence of low Earth orbit (LEO) satellite mega-constellations is dynamically transforming the space sector. While free-space optical (FSO) links efficiently facilitate intersatellite data forwarding, they suffer from atmospheric/weather conditions in the space-to-ground link. This study delves into utilizing high-altitude platform stations (HAPS) as elevated relay stations strategically positioned above terrestrial ground stations. We introduce the concept of high-altitude ground stations (HAGS), an innovative approach to enabling the development of all optical LEO satellite constellations. The first contribution is an analysis of the HAGS-based network architecture where the LEO spacecraft only hosts FSO transceivers. Secondly, we execute an extensive simulation campaign to determine the gain of HAGS, including a new equivalency model with the traditional ground station approach. Finally, we examine the research challenges of implementing HAGS-based, all optical LEO mega-constellations.


title: HMS symmetries of toric boundary divisors

abstract: Let $X$ be a projective crepant resolution of a Gorenstein affine toric variety and let $((\mathbb{C}^*)^k,f)$ be the LG-model which is the Hori-Vafa mirror dual of $X$. Let ${D}$ be a generic fiber of $f$ equipped with the restriction of the standard Liouville form on $(\mathbb{C}^*)^k$. Let $\mathcal{K}_A$ be the so-called "stringy K\"ahler moduli space" of $X$. We show that $\pi_1(\mathcal{K}_A)$ acts on the wrapped Fukaya category of $D$. Using results by Gammage - Shende and Zhou, this result implies that $\pi_1(\mathcal{K}_A)$ acts on $D^b(\operatorname{coh}(\partial X))$ where $\partial X$ is the toric boundary divisor of $X$. We show that the induced action of $\pi_1(\mathcal{K}_A)$ on $K_0(\operatorname{coh}(\partial X))$ may be extended in a natural way to an action on $K_0(X)$ which corresponds to a GKZ system.


title: An Embedding of Schwartz Distributions in the Algebra of Asymptotic Functions

abstract: We present a solution of the problem of multiplication of Schwartz distributions by embedding the space of distributions into a differential algebra of generalized functions, called in the paper ``asymptotic function'', similar to but different from J. F. Colombeau's algebras of new generalized functions.


title: Set-Valued Stochastic Differential Equations with Unbounded Coefficients

abstract: In this paper, we mainly focus on the set-valued (stochastic) analysis on the space of convex, closed, but possibly unbounded sets, and try to establish a useful theoretical framework for studying the set-valued stochastic differential equations with unbounded coefficients. The space that we will be focusing on are convex, closed sets that are "generated" by a given cone, in the sense that the Hausdorff distance of all elements to the "generating" cone is finite. Such space should in particular include the so-called "upper sets", and has many useful cases in finance, such as the well-known set-valued risk measures, as well as the solvency cone in some super-hedging problems. We shall argue that, for such a special class of unbounded sets, under some conditions, the cancellation law is still valid, eliminating a major obstacle for extending the set-valued analysis to non-compact sets. We shall establish some basic algebraic and topological properties of such spaces, and show that some standard techniques will again be valid in studying the set-valued SDEs with unbounded (drift) coefficients which, to the best of our knowledge, is new.


title: Nonlinear Stability for the Superposition of Viscous Contact Wave and Rarefaction Waves to Non-isentropic Compressible Navier-Stokes System with General Initial Perturbations

abstract: In this paper, the large time behavior of the solutions for the Cauchy problem to the one-dimensional compressible Navier-Stokes system with the motion of a viscous heat-conducting perfect polytropic gas is investigated.Our result shows that the combination of a viscous contact wave with rarefaction waves is asymptotically stable, when the large initial disturbance of the density, velocity and temperature belong to $H^{1}(\mathbb{R})$, $L^{2}(\mathbb{R})\cap L^{4}(\mathbb{R})$ and $L^{2}(\mathbb{R})$, provided the strength of the combination waves is suitably small. In addition, the initial disturbance on the derivation of velocity and temperature belong to $L^{2}(\mathbb{R})$ can be arbitrarily large.


title: What Do You See in Vehicle? Comprehensive Vision Solution for In-Vehicle Gaze Estimation

abstract: Driver's eye gaze holds a wealth of cognitive and intentional cues crucial for intelligent vehicles. Despite its significance, research on in-vehicle gaze estimation remains limited due to the scarcity of comprehensive and well-annotated datasets in real driving scenarios. In this paper, we present three novel elements to advance in-vehicle gaze research. Firstly, we introduce IVGaze, a pioneering dataset capturing in-vehicle gaze, collected from 125 subjects and covering a large range of gaze and head poses within vehicles. Conventional gaze collection systems are inadequate for in-vehicle use. In this dataset, we propose a new vision-based solution for in-vehicle gaze collection, introducing a refined gaze target calibration method to tackle annotation challenges. Second, our research focuses on in-vehicle gaze estimation leveraging the IVGaze. In-vehicle face images often suffer from low resolution, prompting our introduction of a gaze pyramid transformer that leverages transformer-based multilevel features integration. Expanding upon this, we introduce the dual-stream gaze pyramid transformer (GazeDPTR). Employing perspective transformation, we rotate virtual cameras to normalize images, utilizing camera pose to merge normalized and original images for accurate gaze estimation. GazeDPTR shows state-of-the-art performance on the IVGaze dataset. Thirdly, we explore a novel strategy for gaze zone classification by extending the GazeDPTR. A foundational tri-plane and project gaze onto these planes are newly defined. Leveraging both positional features from the projection points and visual attributes from images, we achieve superior performance compared to relying solely on visual features, substantiating the advantage of gaze estimation. Our project is available at https://yihua.zone/work/ivgaze.


title: Improved Methods of Task Assignment and Resource Allocation with Preemption in Edge Computing Systems

abstract: Edge computing has become a very popular service that enables mobile devices to run complex tasks with the help of network-based computing resources. However, edge clouds are often resource-constrained, which makes resource allocation a challenging issue. In addition, edge cloud servers must make allocation decisions with only limited information available, since the arrival of future client tasks might be impossible to predict, and the states and behavior of neighboring servers might be obscured. We focus on a distributed resource allocation method in which servers operate independently and do not communicate with each other, but interact with clients (tasks) to make allocation decisions. We follow a two-round bidding approach to assign tasks to edge cloud servers, and servers are allowed to preempt previous tasks to allocate more useful ones. We evaluate the performance of our system using realistic simulations and real-world trace data from a high-performance computing cluster. Results show that our heuristic improves system-wide performance by $20-25\%$ over previous work when accounting for the time taken by each approach. In this way, an ideal trade-off between performance and speed is achieved.


title: Maximal Number of Skew Lines in the Fermat Surface

abstract: It is well-known that the Fermat surface of degree $d\geq 3$ has $3d^2$ lines. However, it has not yet been established what is the maximum number of pairwise disjoint lines that it can have if $d\geq 4$. In this article we show that the maximal number of skew lines on the Fermat surface of degree $d \geq 4$ is $3d$ either $d$ even or $d$ odd distinct of $5$, otherwise ($d = 5$) it contains no more than $13$ pairwise disjoint lines.


title: QueryExplorer: An Interactive Query Generation Assistant for Search and Exploration

abstract: Formulating effective search queries remains a challenging task, particularly when users lack expertise in a specific domain or are not proficient in the language of the content. Providing example documents of interest might be easier for a user. However, such query-by-example scenarios are prone to concept drift, and the retrieval effectiveness is highly sensitive to the query generation method, without a clear way to incorporate user feedback. To enable exploration and to support Human-In-The-Loop experiments we propose QueryExplorer -- an interactive query generation, reformulation, and retrieval interface with support for HuggingFace generation models and PyTerrier's retrieval pipelines and datasets, and extensive logging of human feedback. To allow users to create and modify effective queries, our demo supports complementary approaches of using LLMs interactively, assisting the user with edits and feedback at multiple stages of the query formulation process. With support for recording fine-grained interactions and user annotations, QueryExplorer can serve as a valuable experimental and research platform for annotation, qualitative evaluation, and conducting Human-in-the-Loop (HITL) experiments for complex search tasks where users struggle to formulate queries.


title: Prototype Faraday rotation measure catalogs from the Polarisation Sky Survey of the Universe's Magnetism (POSSUM) pilot observations

abstract: The Polarisation Sky Survey of the Universe's Magnetism (POSSUM) will conduct a sensitive $\sim$1 GHz radio polarization survey covering 20 000 square degrees of the Southern sky with the Australian Square Kilometre Array Pathfinder (ASKAP). In anticipation of the full survey, we analyze pilot observations of low-band (800-1087 MHz), mid-band (1316-1439 MHz), and combined-band observations for an extragalactic field and a Galactic-plane field (low-band only). Using the POSSUM processing pipeline, we produce prototype RM catalogs that are filtered to construct prototype RM grids. We assess typical RM grid densities and RM uncertainties and their dependence on frequency, bandwidth, and Galactic latitude. We present a median filter method for separating foreground diffuse emission from background components, and find that after application of the filter, 99.5% of measured RMs of simulated sources are within 3$\sigma$ of their true RM, with a typical loss of polarized intensity of 5% $\pm$ 5%. We find RM grid densities of 35.1, 30.6, 37.2, and 13.5 RMs per square degree and median uncertainties on RM measurements of 1.55, 12.82, 1.06, and 1.89 rad m$^{-2}$ for the median-filtered low-band, mid-band, combined-band, and Galactic observations, respectively. We estimate that the full POSSUM survey will produce an RM catalog of $\sim$775 000 RMs with median-filtered low-band observations and $\sim$877 000 RMs with median-filtered combined-band observations. We construct a structure function from the Galactic RM catalog, which shows a break at $0.7^{\circ}$, corresponding to a physical scale of 12-24 pc for the nearest spiral arm.


title: Review of Large-Scale Simulation Optimization

abstract: Large-scale simulation optimization (SO) problems encompass both large-scale ranking-and-selection problems and high-dimensional discrete or continuous SO problems, presenting significant challenges to existing SO theories and algorithms. This paper begins by providing illustrative examples that highlight the differences between large-scale SO problems and those of a more moderate scale. Subsequently, it reviews several widely employed techniques for addressing large-scale SO problems, such as divide and conquer, dimension reduction, and gradient-based algorithms. Additionally, the paper examines parallelization techniques leveraging widely accessible parallel computing environments to facilitate the resolution of large-scale SO problems.


title: Computationally Scalable Bayesian SPDE Modeling for Censored Spatial Responses

abstract: Observations of groundwater pollutants, such as arsenic or Perfluorooctane sulfonate (PFOS), are riddled with left censoring. These measurements have impact on the health and lifestyle of the populace. Left censoring of these spatially correlated observations are usually addressed by applying Gaussian processes (GPs), which have theoretical advantages. However, this comes with a challenging computational complexity of $\mathcal{O}(n^3)$, which is impractical for large datasets. Additionally, a sizable proportion of the data being left-censored creates further bottlenecks, since the likelihood computation now involves an intractable high-dimensional integral of the multivariate Gaussian density. In this article, we tackle these two problems simultaneously by approximating the GP with a Gaussian Markov random field (GMRF) approach that exploits an explicit link between a GP with Mat\'ern correlation function and a GMRF using stochastic partial differential equations (SPDEs). We introduce a GMRF-based measurement error into the model, which alleviates the likelihood computation for the censored data, drastically improving the speed of the model while maintaining admirable accuracy. Our approach demonstrates robustness and substantial computational scalability, compared to state-of-the-art methods for censored spatial responses across various simulation settings. Finally, the fit of this fully Bayesian model to the concentration of PFOS in groundwater available at 24,959 sites across California, where 46.62\% responses are censored, produces prediction surface and uncertainty quantification in real time, thereby substantiating the applicability and scalability of the proposed method. Code for implementation is made available via GitHub.


title: Real-Time Reconfiguration and Connectivity Maintenance for AUVs Network Under External Disturbances using Distributed Nonlinear Model Predictive Control

abstract: Advancements in underwater vehicle technology have significantly expanded the potential scope for deploying autonomous or remotely operated underwater vehicles in novel practical applications. However, the efficiency and maneuverability of these vehicles remain critical challenges, particularly in the dynamic aquatic environment. In this work, we propose a novel control scheme for creating multi-agent distributed formation control with limited communication between individual agents. In addition, the formation of the multi-agent can be reconfigured in real-time and the network connectivity can be maintained. The proposed use case for this scheme includes creating underwater mobile communication networks that can adapt to environmental or network conditions to maintain the quality of communication links for long-range exploration, seabed monitoring, or underwater infrastructure inspection. This work introduces a novel Distributed Nonlinear Model Predictive Control (DNMPC) strategy, integrating Control Lyapunov Functions (CLF) and Control Barrier Functions (CBF) with a relaxed decay rate, specifically tailored for 6-DOF underwater robotics. The effectiveness of our proposed DNMPC scheme was demonstrated through rigorous MATLAB simulations for trajectory tracking and formation reconfiguration in a dynamic environment. Our findings, supported by tests conducted using Software In The Loop (SITL) simulation, confirm the approach's applicability in real-time scenarios.


title: Deciphering the Digital Veil: Exploring the Ecosystem of DNS HTTPS Resource Records

abstract: The DNS HTTPS resource record is a new DNS record type designed for the delivery of configuration information and parameters required to initiate connections to HTTPS network services. It provides the ability to perform zone apex redirection to a third-party provider, which the existing CNAME record cannot do. In addition, it is a key enabler for TLS Encrypted ClientHello (ECH) by providing the cryptographic keying material needed to encrypt the initial exchange. To understand the adoption and security of this new DNS HTTPS record, we perform a longitudinal study on the server-side deployment of DNS HTTPS for Tranco top 1 million domains over 8 months, as well as the client-side support for DNS HTTPS from major browsers. To the best of knowledge, our work is the first longitudinal study on DNS HTTPS server deployment, and the first known study on client-side support for DNS HTTPS. Despite the rapidly growing trend of DNS HTTPS adoption, our study highlights concerns in the deployment by both servers and clients, such as the complexity in properly maintaining HTTPS records and the concerning hardfail mechanisms in browser when using HTTPS records.


title: AI for Biomedicine in the Era of Large Language Models

abstract: The capabilities of AI for biomedicine span a wide spectrum, from the atomic level, where it solves partial differential equations for quantum systems, to the molecular level, predicting chemical or protein structures, and further extending to societal predictions like infectious disease outbreaks. Recent advancements in large language models, exemplified by models like ChatGPT, have showcased significant prowess in natural language tasks, such as translating languages, constructing chatbots, and answering questions. When we consider biomedical data, we observe a resemblance to natural language in terms of sequences: biomedical literature and health records presented as text, biological sequences or sequencing data arranged in sequences, or sensor data like brain signals as time series. The question arises: Can we harness the potential of recent large language models to drive biomedical knowledge discoveries? In this survey, we will explore the application of large language models to three crucial categories of biomedical data: 1) textual data, 2) biological sequences, and 3) brain signals. Furthermore, we will delve into large language model challenges in biomedical research, including ensuring trustworthiness, achieving personalization, and adapting to multi-modal data representation


title: Safe and Stable Formation Control with Distributed Multi-Agents Using Adaptive Control and Control Barrier Functions

abstract: This manuscript considers the problem of ensuring stability and safety during formation control with distributed multi-agent systems in the presence of parametric uncertainty in the dynamics and limited communication. We propose an integrative approach that combines Control Barrier Functions, Adaptive Control, and connected graphs. A reference model is designed so as to ensure a safe and stable formation control strategy. This is combined with a provably correct adaptive control design that includes a use of a CBF-based safety filter that suitably generates safe reference commands, and employs error-based relaxation (EBR) of Nagumo's Invariance Theorem. Together, it is shown to lead to a guarantee of boundedness, formation control, and forward invariance. Numerical examples are provided to support the theoretical derivations.


title: An active learning model to classify animal species in Hong Kong

abstract: Camera traps are used by ecologists globally as an efficient and non-invasive method to monitor animals. While it is time-consuming to manually label the collected images, recent advances in deep learning and computer vision has made it possible to automating this process [1]. A major obstacle to this is the generalisability of these models when applying these images to independently collected data from other parts of the world [2]. Here, we use a deep active learning workflow [3], and train a model that is applicable to camera trap images collected in Hong Kong.


title: AC4: Algebraic Computation Checker for Circuit Constraints in ZKPs

abstract: ZKP systems have surged attention and held a fundamental role in contemporary cryptography. Zk-SNARK protocols dominate the ZKP usage, often implemented through arithmetic circuit programming paradigm. However, underconstrained or overconstrained circuits may lead to bugs. Underconstrained circuits refer to circuits that lack the necessary constraints, resulting in unexpected solutions in the circuit and causing the verifier to accept a bogus witness. Overconstrained circuits refer to circuits that are constrained excessively, resulting in the circuit lacking necessary solutions and causing the verifier to accept no witness, rendering the circuit meaningless. This paper introduces a novel approach for pinpointing two distinct types of bugs in ZKP circuits. The method involves encoding the arithmetic circuit constraints to polynomial equation systems and solving polynomial equation systems over a finite field by algebraic computation. The classification of verification results is refined, greatly enhancing the expressive power of the system. We proposed a tool, AC4, to represent the implementation of this method. Experiments demonstrate that AC4 represents a substantial 29% increase in the checked ratio compared to prior work. Within a solvable range, the checking time of AC4 has also exhibited noticeable improvement, demonstrating a magnitude increase compared to previous efforts.


title: Partitions in which every term but the smallest one is consecutive

abstract: In this article, we introduce the notion of almost consecutive partitions. A partition is almost consecutive if every term is consecutive, with the possible exception of the smallest one. We find formulas relating to the smallest parts of consecutive and almost consecutive partitions. We also find an alternate combinatorial interpretation of the number of almost consecutive partitions of a given integer $n$ and an asymptotic formula for this quantity.


title: Conservative Surrogate Models for Optimization with the Active Subspace Method

abstract: We are interested in building low-dimensional surrogate models to reduce optimization costs, while having theoretical guarantees that the optimum will satisfy the constraints of the full-size model, by making conservative approximations. The surrogate model is constructed using a Gaussian process regression (GPR). To ensure conservativeness, two new approaches are proposed: the first one using bootstrapping, and the second one using concentration inequalities. Those two techniques are based on a stochastic argument and thus will only enforce conservativeness up to a user-defined probability threshold. The method has applications in the context of optimization using the active subspace method for dimensionality reduction of the objective function and the constraints, addressing recorded issues about constraint violations. The resulting algorithms are tested on a toy optimization problem in thermal design.


title: DS-NeRV: Implicit Neural Video Representation with Decomposed Static and Dynamic Codes

abstract: Implicit neural representations for video (NeRV) have recently become a novel way for high-quality video representation. However, existing works employ a single network to represent the entire video, which implicitly confuse static and dynamic information. This leads to an inability to effectively compress the redundant static information and lack the explicitly modeling of global temporal-coherent dynamic details. To solve above problems, we propose DS-NeRV, which decomposes videos into sparse learnable static codes and dynamic codes without the need for explicit optical flow or residual supervision. By setting different sampling rates for two codes and applying weighted sum and interpolation sampling methods, DS-NeRV efficiently utilizes redundant static information while maintaining high-frequency details. Additionally, we design a cross-channel attention-based (CCA) fusion module to efficiently fuse these two codes for frame decoding. Our approach achieves a high quality reconstruction of 31.2 PSNR with only 0.35M parameters thanks to separate static and dynamic codes representation and outperforms existing NeRV methods in many downstream tasks. Our project website is at https://haoyan14.github.io/DS-NeRV.


title: Magnetic parity violation and parity-time-reversal-symmetric magnets

abstract: Parity-time-reversal symmetry ($\mathcal{PT}$ symmetry), a symmetry for the combined operations of space inversion ($\mathcal{P}$) and time reversal ($\mathcal{T}$), is a fundamental concept of physics and characterizes the functionality of materials as well as $\mathcal{P}$ and $\mathcal{T}$ symmetries. In particular, the $\mathcal{PT}$-symmetric systems can be found in the centrosymmetric crystals undergoing the parity-violating magnetic order which we call the odd-parity magnetic multipole order. While this spontaneous order leaves $\mathcal{PT}$ symmetry intact, the simultaneous violation of $\mathcal{P}$ and $\mathcal{T}$ symmetries gives rise to various emergent responses that are qualitatively different from those allowed by the nonmagnetic $\mathcal{P}$-symmetry breaking or by the ferromagnetic order. In this review, we introduce candidates hosting the intriguing spontaneous order and overview the characteristic physical responses. Various off-diagonal and/or nonreciprocal responses are identified, which are closely related to the unusual electronic structures such as hidden spin-momentum locking and asymmetric band dispersion.


title: Differentiable Information Bottleneck for Deterministic Multi-view Clustering

abstract: In recent several years, the information bottleneck (IB) principle provides an information-theoretic framework for deep multi-view clustering (MVC) by compressing multi-view observations while preserving the relevant information of multiple views. Although existing IB-based deep MVC methods have achieved huge success, they rely on variational approximation and distribution assumption to estimate the lower bound of mutual information, which is a notoriously hard and impractical problem in high-dimensional multi-view spaces. In this work, we propose a new differentiable information bottleneck (DIB) method, which provides a deterministic and analytical MVC solution by fitting the mutual information without the necessity of variational approximation. Specifically, we first propose to directly fit the mutual information of high-dimensional spaces by leveraging normalized kernel Gram matrix, which does not require any auxiliary neural estimator to estimate the lower bound of mutual information. Then, based on the new mutual information measurement, a deterministic multi-view neural network with analytical gradients is explicitly trained to parameterize IB principle, which derives a deterministic compression of input variables from different views. Finally, a triplet consistency discovery mechanism is devised, which is capable of mining the feature consistency, cluster consistency and joint consistency based on the deterministic and compact representations. Extensive experimental results show the superiority of our DIB method on 6 benchmarks compared with 13 state-of-the-art baselines.


title: Measure comparison problems for dilations of convex bodies

abstract: We study a version of the Busemann-Petty problem for $\log$-concave measures with additional information about dilates. One of our main tools is a an analog of of the classical large deviation principle to the case of $\log$-concave measures depending on a norm of a convex body, which we hope will be of independent interest.


title: On the role of network structure in learning to coordinate with bounded rationality

abstract: Many socioeconomic phenomena, such as technology adoption, collaborative problem-solving, and content engagement, involve a collection of agents coordinating to take a common action, aligning their decisions to maximize their individual goals. We consider a model for networked interactions where agents learn to coordinate their binary actions under a strict bound on their rationality. We first prove that our model is a potential game and that the optimal action profile is always to achieve perfect alignment at one of the two possible actions, regardless of the network structure. Using a stochastic learning algorithm known as Log Linear Learning, where agents have the same finite rationality parameter, we show that the probability of agents successfully agreeing on the correct decision is monotonically increasing in the number of network links. Therefore, more connectivity improves the accuracy of collective decision-making, as predicted by the phenomenon known as Wisdom of Crowds. Finally, we show that for a fixed number of links, a regular network maximizes the probability of success. We conclude that when using a network of irrational agents, promoting more homogeneous connectivity improves the accuracy of collective decision-making.


title: The Limits of Perception: Analyzing Inconsistencies in Saliency Maps in XAI

abstract: Explainable artificial intelligence (XAI) plays an indispensable role in demystifying the decision-making processes of AI, especially within the healthcare industry. Clinicians rely heavily on detailed reasoning when making a diagnosis, often CT scans for specific features that distinguish between benign and malignant lesions. A comprehensive diagnostic approach includes an evaluation of imaging results, patient observations, and clinical tests. The surge in deploying deep learning models as support systems in medical diagnostics has been significant, offering advances that traditional methods could not. However, the complexity and opacity of these models present a double-edged sword. As they operate as "black boxes," with their reasoning obscured and inaccessible, there's an increased risk of misdiagnosis, which can lead to patient harm. Hence, there is a pressing need to cultivate transparency within AI systems, ensuring that the rationale behind an AI's diagnostic recommendations is clear and understandable to medical practitioners. This shift towards transparency is not just beneficial -- it's a critical step towards responsible AI integration in healthcare, ensuring that AI aids rather than hinders medical professionals in their crucial work.


title: Semi-Quantitative Analysis and Seroepidemiological Evidence of Past Dengue Virus Infection among HIV-infected patients in Onitsha, Anambra State, Nigeria

abstract: Despite its endemic nature as well as the recent outbreaks, information on the opportunistic DENV in Anambra state has been sparse. This study thus aimed to give seroepidemiological evidence of past dengue virus infection among HIV-infected patients in Onitsha, Anambra State, Nigeria. Plasma from 94 HIV-infected patients who were attending Saint Charles Borromeo Hospital, Onitsha in Anambra State, Nigeria was tested for IgG antibodies specific to the dengue virus by IgG ELISA assay. The prevalence of past dengue virus infection was 61.7% (n = 58/94). This study showed age group 0-15 years (77.30%), female gender (65.1%), married (63.9%) and no formal level (100.0 %) as the highest seropositivity among the study participants. In terms of immunological and virological markers, greater IgG seroprevalence was observed in individuals with a viral load of <40 copies/ml (64.0%) and a CD4 count of >350 cells/ul (63.2%). The high IgG seropositivity of Dengue Virus (DENV) among HIV-infected individuals on Onitsha is cause for concern.


title: Balancing properties of tropical moduli maps

abstract: Given a family of parameterized algebraic curves over a strictly semistable pair, we show that the simultaneous tropicalization of the curves in the family forms a family of parameterized tropical curves over the skeleton of the strictly semistable pair. We show that the induced tropical moduli map satisfies a certain balancing condition, which allows us to describe properties of its image and deduce a new liftability criterion.


title: Motion Planning for Identification of Linear Classifiers

abstract: A given region in 2-D Euclidean space is divided by a unknown linear classifier in to two sets each carrying a label. The objective of an agent with known dynamics traversing the region is to identify the true classifier while paying a control cost across its trajectory. We consider two scenarios: (i) the agent is able to measure the true label perfectly; (ii) the observed label is the true label multiplied by noise. We present the following: (i) the classifier identification problem formulated as a control problem; (ii) geometric interpretation of the control problem resulting in one step modified control problems; (iii) control algorithms that result in data sets which are used to identify the true classifier with accuracy; (iv) convergence of estimated classifier to the true classifier when the observed label is not corrupted by noise; (iv) numerical example demonstrating the utility of the control algorithms.


title: Koopman-Based Learning of Infinitesimal Generators without Operator Logarithm

abstract: The Koopman operator has gained significant attention in recent years for its ability to verify evolutionary properties of continuous-time nonlinear systems by lifting state variables into an infinite-dimensional linear vector space. The challenge remains in providing estimations for transitional properties pertaining to the system's vector fields based on discrete-time observations. To retrieve such infinitesimal system transition information, leveraging the structure of Koopman operator learning, current literature focuses on developing techniques free of time derivatives through the use of the Koopman operator logarithm. However, the soundness of these methods has so far been demonstrated only for maintaining effectiveness within a restrictive function space, together with knowledge of the operator spectrum properties. To better adapt to the practical applications in learning and control of unknown systems, we propose a logarithm-free technique for learning the infinitesimal generator without disrupting the Koopman operator learning framework. This approach claims compatibility with other system verification tools using the same set of training data. We provide numerical examples to demonstrate its effectiveness in applications of system identification and stability prediction.


title: An Anisotropic Constitutive Relationship by a Series of 8 Chain Models

abstract: Hyperelastic models have been widely used to model polymers and soft tissues. However, most hyperelastic models are phenomenological material models. Based on statistical mechanics and molecular chain configuration, 8 chain model or Arruda-Boyce model is a physical model which can be used to understand how microstructures of chains affect macroscopic mechanical properties of polymers and soft tissues. Mechanical properties of many polymers and soft tissues are directional dependent. Polymer matrix can be reinforced by fibers. For soft tissues, ligaments and tendons will lead to anisotropic properties. Since matrix and reinforcements are composed of similar microstructural molecular chains, they can be modeled by using the same mathematical model. In this paper, a series of 8 chain models is used to understand composite properties. That is, an isotropic 8 chain model will be used to model matrix and anisotropic 8 chain models will be used to model fibers. Replacing I_1 in isotropic 8 chain model with I_4 in anisotropic 8 chain model is physically corresponding to changing representative 8 chain cubic cell to 8 chain slender cell. This treatment not only simplifies exist anisotropic mathematical structures but also keeps microscopic physics of 8 chain model unchanged.

categories: cond-mat.soft cond-mat.mtrl-sci math-ph math.MP


title: EAGLE: A Domain Generalization Framework for AI-generated Text Detection

abstract: With the advancement in capabilities of Large Language Models (LLMs), one major step in the responsible and safe use of such LLMs is to be able to detect text generated by these models. While supervised AI-generated text detectors perform well on text generated by older LLMs, with the frequent release of new LLMs, building supervised detectors for identifying text from such new models would require new labeled training data, which is infeasible in practice. In this work, we tackle this problem and propose a domain generalization framework for the detection of AI-generated text from unseen target generators. Our proposed framework, EAGLE, leverages the labeled data that is available so far from older language models and learns features invariant across these generators, in order to detect text generated by an unknown target generator. EAGLE learns such domain-invariant features by combining the representational power of self-supervised contrastive learning with domain adversarial training. Through our experiments we demonstrate how EAGLE effectively achieves impressive performance in detecting text generated by unseen target generators, including recent state-of-the-art ones such as GPT-4 and Claude, reaching detection scores of within 4.7% of a fully supervised detector.


title: Temporal-Spatial Object Relations Modeling for Vision-and-Language Navigation

abstract: Vision-and-Language Navigation (VLN) is a challenging task where an agent is required to navigate to a natural language described location via vision observations. The navigation abilities of the agent can be enhanced by the relations between objects, which are usually learned using internal objects or external datasets. The relationships between internal objects are modeled employing graph convolutional network (GCN) in traditional studies. However, GCN tends to be shallow, limiting its modeling ability. To address this issue, we utilize a cross attention mechanism to learn the connections between objects over a trajectory, which takes temporal continuity into account, termed as Temporal Object Relations (TOR). The external datasets have a gap with the navigation environment, leading to inaccurate modeling of relations. To avoid this problem, we construct object connections based on observations from all viewpoints in the navigational environment, which ensures complete spatial coverage and eliminates the gap, called Spatial Object Relations (SOR). Additionally, we observe that agents may repeatedly visit the same location during navigation, significantly hindering their performance. For resolving this matter, we introduce the Turning Back Penalty (TBP) loss function, which penalizes the agent's repetitive visiting behavior, substantially reducing the navigational distance. Experimental results on the REVERIE, SOON, and R2R datasets demonstrate the effectiveness of the proposed method.


title: Block Orthogonal Sparse Superposition Codes for $ \sf{L}^3 $ Communications: Low Error Rate, Low Latency, and Low Power Consumption

abstract: Block orthogonal sparse superposition (BOSS) code is a class of joint coded modulation methods, which can closely achieve the finite-blocklength capacity with a low-complexity decoder at a few coding rates under Gaussian channels. However, for fading channels, the code performance degrades considerably because coded symbols experience different channel fading effects. In this paper, we put forth novel joint demodulation and decoding methods for BOSS codes under fading channels. For a fast fading channel, we present a minimum mean square error approximate maximum a posteriori (MMSE-A-MAP) algorithm for the joint demodulation and decoding when channel state information is available at the receiver (CSIR). We also propose a joint demodulation and decoding method without using CSIR for a block fading channel scenario. We refer to this as the non-coherent sphere decoding (NSD) algorithm. Simulation results demonstrate that BOSS codes with MMSE-A-MAP decoding outperform CRC-aided polar codes, while NSD decoding achieves comparable performance to quasi-maximum likelihood decoding with significantly reduced complexity. Both decoding algorithms are suitable for parallelization, satisfying low-latency constraints. Additionally, real-time simulations on a software-defined radio testbed validate the feasibility of using BOSS codes for low-power transmission.


title: Technical Report: Masked Skeleton Sequence Modeling for Learning Larval Zebrafish Behavior Latent Embeddings

abstract: In this report, we introduce a novel self-supervised learning method for extracting latent embeddings from behaviors of larval zebrafish. Drawing inspiration from Masked Modeling techniquesutilized in image processing with Masked Autoencoders (MAE) \cite{he2022masked} and in natural language processing with Generative Pre-trained Transformer (GPT) \cite{radford2018improving}, we treat behavior sequences as a blend of images and language. For the skeletal sequences of swimming zebrafish, we propose a pioneering Transformer-CNN architecture, the Sequence Spatial-Temporal Transformer (SSTFormer), designed to capture the inter-frame correlation of different joints. This correlation is particularly valuable, as it reflects the coordinated movement of various parts of the fish body across adjacent frames. To handle the high frame rate, we segment the skeleton sequence into distinct time slices, analogous to "words" in a sentence, and employ self-attention transformer layers to encode the consecutive frames within each slice, capturing the spatial correlation among different joints. Furthermore, we incorporate a CNN-based attention module to enhance the representations outputted by the transformer layers. Lastly, we introduce a temporal feature aggregation operation between time slices to improve the discrimination of similar behaviors.


title: Group Benefits Instances Selection for Data Purification

abstract: Manually annotating datasets for training deep models is very labor-intensive and time-consuming. To overcome such inferiority, directly leveraging web images to conduct training data becomes a natural choice. Nevertheless, the presence of label noise in web data usually degrades the model performance. Existing methods for combating label noise are typically designed and tested on synthetic noisy datasets. However, they tend to fail to achieve satisfying results on real-world noisy datasets. To this end, we propose a method named GRIP to alleviate the noisy label problem for both synthetic and real-world datasets. Specifically, GRIP utilizes a group regularization strategy that estimates class soft labels to improve noise robustness. Soft label supervision reduces overfitting on noisy labels and learns inter-class similarities to benefit classification. Furthermore, an instance purification operation globally identifies noisy labels by measuring the difference between each training sample and its class soft label. Through operations at both group and instance levels, our approach integrates the advantages of noise-robust and noise-cleaning methods and remarkably alleviates the performance degradation caused by noisy labels. Comprehensive experimental results on synthetic and real-world datasets demonstrate the superiority of GRIP over the existing state-of-the-art methods.


title: $L^p$-solutions of QSDE driven by Fermion fields with nonlocal conditions under non-Lipschitz coefficients

abstract: The main purpose of this paper is to obtain the existence and uniqueness of $L^p$-solution to quantum stochastic differential equation driven by Fermion fields with nonlocal conditions in the case of non-Lipschitz coefficients for $p>2$. The key to our technique is to make use of the Burkholder-Gundy inequality given by Pisier and Xu and Minkowski-type inequality to iterate instead of the fixed point theorem commonly used for nonlocal problems. Moreover, we also obtain the self-adjointness of the $L^p$-solution which is important in the study of optimal control problems.


title: MixRED: A Mix-lingual Relation Extraction Dataset

abstract: Relation extraction is a critical task in the field of natural language processing with numerous real-world applications. Existing research primarily focuses on monolingual relation extraction or cross-lingual enhancement for relation extraction. Yet, there remains a significant gap in understanding relation extraction in the mix-lingual (or code-switching) scenario, where individuals intermix contents from different languages within sentences, generating mix-lingual content. Due to the lack of a dedicated dataset, the effectiveness of existing relation extraction models in such a scenario is largely unexplored. To address this issue, we introduce a novel task of considering relation extraction in the mix-lingual scenario called MixRE and constructing the human-annotated dataset MixRED to support this task. In addition to constructing the MixRED dataset, we evaluate both state-of-the-art supervised models and large language models (LLMs) on MixRED, revealing their respective advantages and limitations in the mix-lingual scenario. Furthermore, we delve into factors influencing model performance within the MixRE task and uncover promising directions for enhancing the performance of both supervised models and LLMs in this novel task.


title: Passivity-based Attack Identification and Mitigation with Event-triggered Observer Feedback and Switching Controller

abstract: This paper addresses the problem of output consensus in linear passive multi-agent systems under a False Data Injection (FDI) attack, considering the unavailability of complete state information. Our formulation relies on an event-based cryptographic authentication scheme for sensor integrity and considers FDI attacks at the actuator end, inspired by their practical nature and usages. For secure consensus, we propose (i) a passivity-based approach for detecting FDI attacks on the system and (ii) a Zeno-free event-triggered observer-based switching controller, which switches between the normal and the defense modes following an attack detection. We show that the closed-loop system achieves practical consensus under the controller's action in the defense mode. Simulation examples are provided to support the theoretical findings.


title: SceneX:Procedural Controllable Large-scale Scene Generation via Large-language Models

abstract: Due to its great application potential, large-scale scene generation has drawn extensive attention in academia and industry. Recent research employs powerful generative models to create desired scenes and achieves promising results. However, most of these methods represent the scene using 3D primitives (e.g. point cloud or radiance field) incompatible with the industrial pipeline, which leads to a substantial gap between academic research and industrial deployment. Procedural Controllable Generation (PCG) is an efficient technique for creating scalable and high-quality assets, but it is unfriendly for ordinary users as it demands profound domain expertise. To address these issues, we resort to using the large language model (LLM) to drive the procedural modeling. In this paper, we introduce a large-scale scene generation framework, SceneX, which can automatically produce high-quality procedural models according to designers' textual descriptions.Specifically, the proposed method comprises two components, PCGBench and PCGPlanner. The former encompasses an extensive collection of accessible procedural assets and thousands of hand-craft API documents. The latter aims to generate executable actions for Blender to produce controllable and precise 3D assets guided by the user's instructions. Our SceneX can generate a city spanning 2.5 km times 2.5 km with delicate layout and geometric structures, drastically reducing the time cost from several weeks for professional PCG engineers to just a few hours for an ordinary user. Extensive experiments demonstrated the capability of our method in controllable large-scale scene generation and editing, including asset placement and season translation.


title: FEEL: A Framework for Evaluating Emotional Support Capability with Large Language Models

abstract: Emotional Support Conversation (ESC) is a typical dialogue that can effectively assist the user in mitigating emotional pressures. However, owing to the inherent subjectivity involved in analyzing emotions, current non-artificial methodologies face challenges in effectively appraising the emotional support capability. These metrics exhibit a low correlation with human judgments. Concurrently, manual evaluation methods extremely will cause high costs. To solve these problems, we propose a novel model FEEL (Framework for Evaluating Emotional Support Capability with Large Lan-guage Models), employing Large Language Models (LLMs) as evaluators to assess emotional support capabilities. The model meticulously considers various evaluative aspects of ESC to apply a more comprehensive and accurate evaluation method for ESC. Additionally, it employs a probability distribution approach for a more stable result and integrates an ensemble learning strategy, leveraging multiple LLMs with assigned weights to enhance evaluation accuracy. To appraise the performance of FEEL, we conduct extensive experiments on existing ESC model dialogues. Experimental results demonstrate our model exhibits a substantial enhancement in alignment with human evaluations compared to the baselines. Our source code is available at https://github.com/Ansisy/FEEL.


title: Improved Soft-k-Means Clustering Algorithm for Balancing Energy Consumption in Wireless Sensor Networks

abstract: Energy load balancing is an essential issue in designing wireless sensor networks (WSNs). Clustering techniques are utilized as energy-efficient methods to balance the network energy and prolong its lifetime. In this paper, we propose an improved soft-k-means (IS-k-means) clustering algorithm to balance the energy consumption of nodes in WSNs. First, we use the idea of ``clustering by fast search and find of density peaks'' (CFSFDP) and kernel density estimation (KDE) to improve the selection of the initial cluster centers of the soft k-means clustering algorithm. Then, we utilize the flexibility of the soft-k-means and reassign member nodes considering their membership probabilities at the boundary of clusters to balance the number of nodes per cluster. Furthermore, the concept of multi-cluster heads is employed to balance the energy consumption within clusters. {Extensive simulation results under different network scenarios demonstrate that for small-scale WSNs with single-hop transmission}, the proposed algorithm can postpone the first node death, the half of nodes death, and the last node death on average when compared to various clustering algorithms from the literature.


title: Navigating the Landscape of Distributed File Systems: Architectures, Implementations, and Considerations

abstract: Distributed File Systems (DFS) have emerged as sophisticated solutions for efficient file storage and management across interconnected computer nodes. The main objective of DFS is to achieve flexible, scalable, and resilient file storage management by dispersing file data across multiple interconnected computer nodes, enabling users to seamlessly access and manipulate files distributed across diverse nodes. This article provides an overview of DFS, its architecture, classification methods, design considerations, challenges, and common implementations. Common DFS implementations discussed include NFS, AFS, GFS, HDFS, and CephFS, each tailored to specific use cases and design goals. Understanding the nuances of DFS architecture, classification, and design considerations is crucial for developing efficient, stable, and secure distributed file systems to meet diverse user and application needs in modern computing environments.


title: Causal Tracking of Distributions in Wasserstein Space: A Model Predictive Control Scheme

abstract: We consider the problem of optimal swarm tracking which can be formulated as a tracking problem for distributions in the Wasserstein metric. Optimal control solutions to this problem are non-causal and require knowing the time-trajectory of the distribution to be tracked in advance. We propose a scheme where these non-causal solutions can be used together with a predictive model for the reference to achieve causal tracking control of a priori-unknown references. We develop the resulting model-predictive control scheme in the simple case where the reference is predicted to be constant-in-time. A computational algorithm based on particle methods and discrete optimal mass transport is presented, and numerical simulations are provided for various classes of reference signals. The results demonstrate that the proposed control algorithm achieves reasonable performance even when using simple predictive models.


title: Robust pointwise second order necessary conditions for singular stochastic optimal control with model uncertainty

abstract: We study the singular stochastic optimal control problem with model uncertainty, where the necessary conditions determined by the corresponding maximum principle are trivial. Robust integral form and pointwise second order necessary optimality conditions under certain compactness conditions are derived. Both the drift and diffusion terms are control dependent but the control region are assumed to be convex. The convex variational method is employed, because linear structure is essential in deriving the weak limit of uncertainty measures. Other main technical ingredients in obtaining the integral type conditions are compact analysis and minimax theorem, while for the pointwise ones it is Clark-Ocone formula and Lebesgue differentiation type theorem. Besides, a compendious example is given to illustrate the motivation and effectiveness of the results.


title: Gaussian in the Wild: 3D Gaussian Splatting for Unconstrained Image Collections

abstract: Novel view synthesis from unconstrained in-the-wild images remains a meaningful but challenging task. The photometric variation and transient occluders in those unconstrained images make it difficult to reconstruct the original scene accurately. Previous approaches tackle the problem by introducing a global appearance feature in Neural Radiance Fields (NeRF). However, in the real world, the unique appearance of each tiny point in a scene is determined by its independent intrinsic material attributes and the varying environmental impacts it receives. Inspired by this fact, we propose Gaussian in the wild (GS-W), a method that uses 3D Gaussian points to reconstruct the scene and introduces separated intrinsic and dynamic appearance feature for each point, capturing the unchanged scene appearance along with dynamic variation like illumination and weather. Additionally, an adaptive sampling strategy is presented to allow each Gaussian point to focus on the local and detailed information more effectively. We also reduce the impact of transient occluders using a 2D visibility map. More experiments have demonstrated better reconstruction quality and details of GS-W compared to previous methods, with a $1000\times$ increase in rendering speed.


title: UPNeRF: A Unified Framework for Monocular 3D Object Reconstruction and Pose Estimation

abstract: Monocular 3D reconstruction for categorical objects heavily relies on accurately perceiving each object's pose. While gradient-based optimization within a NeRF framework updates initially given poses, this paper highlights that such a scheme fails when the initial pose even moderately deviates from the true pose. Consequently, existing methods often depend on a third-party 3D object to provide an initial object pose, leading to increased complexity and generalization issues. To address these challenges, we present UPNeRF, a Unified framework integrating Pose estimation and NeRF-based reconstruction, bringing us closer to real-time monocular 3D object reconstruction. UPNeRF decouples the object's dimension estimation and pose refinement to resolve the scale-depth ambiguity, and introduces an effective projected-box representation that generalizes well cross different domains. While using a dedicated pose estimator that smoothly integrates into an object-centric NeRF, UPNeRF is free from external 3D detectors. UPNeRF achieves state-of-the-art results in both reconstruction and pose estimation tasks on the nuScenes dataset. Furthermore, UPNeRF exhibits exceptional Cross-dataset generalization on the KITTI and Waymo datasets, surpassing prior methods with up to 50% reduction in rotation and translation error.


title: G-ACIL: Analytic Learning for Exemplar-Free Generalized Class Incremental Learning

abstract: Class incremental learning (CIL) trains a network on sequential tasks with separated categories but suffers from catastrophic forgetting, where models quickly lose previously learned knowledge when acquiring new tasks. The generalized CIL (GCIL) aims to address the CIL problem in a more real-world scenario, where incoming data have mixed data categories and unknown sample size distribution, leading to intensified forgetting. Existing attempts for the GCIL either have poor performance, or invade data privacy by saving historical exemplars. To address this, in this paper, we propose an exemplar-free generalized analytic class incremental learning (G-ACIL). The G-ACIL adopts analytic learning (a gradient-free training technique), and delivers an analytical solution (i.e., closed-form) to the GCIL scenario. This solution is derived via decomposing the incoming data into exposed and unexposed classes, allowing an equivalence between the incremental learning and its joint training, i.e., the weight-invariant property. Such an equivalence is theoretically validated through matrix analysis tools, and hence contributes interpretability in GCIL. It is also empirically evidenced by experiments on various datasets and settings of GCIL. The results show that the G-ACIL exhibits leading performance with high robustness compared with existing competitive GCIL methods. Codes will be ready at \url{https://github.com/ZHUANGHP/Analytic-continual-learning}.


title: Role of Locality and Weight Sharing in Image-Based Tasks: A Sample Complexity Separation between CNNs, LCNs, and FCNs

abstract: Vision tasks are characterized by the properties of locality and translation invariance. The superior performance of convolutional neural networks (CNNs) on these tasks is widely attributed to the inductive bias of locality and weight sharing baked into their architecture. Existing attempts to quantify the statistical benefits of these biases in CNNs over locally connected convolutional neural networks (LCNs) and fully connected neural networks (FCNs) fall into one of the following categories: either they disregard the optimizer and only provide uniform convergence upper bounds with no separating lower bounds, or they consider simplistic tasks that do not truly mirror the locality and translation invariance as found in real-world vision tasks. To address these deficiencies, we introduce the Dynamic Signal Distribution (DSD) classification task that models an image as consisting of $k$ patches, each of dimension $d$, and the label is determined by a $d$-sparse signal vector that can freely appear in any one of the $k$ patches. On this task, for any orthogonally equivariant algorithm like gradient descent, we prove that CNNs require $\tilde{O}(k+d)$ samples, whereas LCNs require $\Omega(kd)$ samples, establishing the statistical advantages of weight sharing in translation invariant tasks. Furthermore, LCNs need $\tilde{O}(k(k+d))$ samples, compared to $\Omega(k^2d)$ samples for FCNs, showcasing the benefits of locality in local tasks. Additionally, we develop information theoretic tools for analyzing randomized algorithms, which may be of interest for statistical research.


title: Coexistence of distinct nonuniform nonequilibrium steady states in Ehrenfest multiurn model on a ring

abstract: The recently proposed Ehrenfest M-urn model with interactions on a ring is considered as a paradigm model which can exhibit a variety of distinct nonequilibrium steady states. Unlike the previous three-urn model on a ring which consists of a uniform steady state and a nonuniform nonequilibrium steady state, it is found that for even M>=4, an additional nonequilibrium steady state can coexist with the original ones. Detailed analysis reveals that this additional nonequilibrium steady state emerged via a pitchfork bifurcation which cannot occur if M is odd. Properties of this nonequilibrium steady state, such as stability, and steady-state flux are derived analytically for the four-urn case. The full phase diagram with the phase boundaries is also derived explicitly. The associated thermodynamic stability is also analyzed, confirming its stability. These theoretical results are also explicitly verified by direct Monte Carlo simulations for the three-urn and four-urn ring models.


title: Contact-aware Human Motion Generation from Textual Descriptions

abstract: This paper addresses the problem of generating 3D interactive human motion from text. Given a textual description depicting the actions of different body parts in contact with objects, we synthesize sequences of 3D body poses that are visually natural and physically plausible. Yet, this task poses a significant challenge due to the inadequate consideration of interactions by physical contacts in both motion and textual descriptions, leading to unnatural and implausible sequences. To tackle this challenge, we create a novel dataset named RICH-CAT, representing ``Contact-Aware Texts'' constructed from the RICH dataset. RICH-CAT comprises high-quality motion, accurate human-object contact labels, and detailed textual descriptions, encompassing over 8,500 motion-text pairs across 26 indoor/outdoor actions. Leveraging RICH-CAT, we propose a novel approach named CATMO for text-driven interactive human motion synthesis that explicitly integrates human body contacts as evidence. We employ two VQ-VAE models to encode motion and body contact sequences into distinct yet complementary latent spaces and an intertwined GPT for generating human motions and contacts in a mutually conditioned manner. Additionally, we introduce a pre-trained text encoder to learn textual embeddings that better discriminate among various contact types, allowing for more precise control over synthesized motions and contacts. Our experiments demonstrate the superior performance of our approach compared to existing text-to-motion methods, producing stable, contact-aware motion sequences. Code and data will be available for research purposes.


title: Properties for transposition solutions to operator-valued BSEEs, and applications to robust second order necessary conditions for controlled SEEs

abstract: This article is concerned with the second order necessary conditions for the stochastic optimal control problem of stochastic evolution equation with model uncertainty when the traditional Pontryagin-type maximum principle holds trivially and do not provide any information depicting the optimal control. The diffusion term of the state equation is allowed to be control dependent with convex control constraints. Transposition method is adopted to deal with the adjoint operator-valued backward stochastic evolution equations, especially the correction terms. Besides, weak convergence arguments are performed to obtain the optimal uncertainty measure, among which the regularities of the state processes, variational processes, and adjoint processes (in the transposition sense) are carefully characterized. Malliavin calculus is applied to pave the way for Lebesgue differentiation theorem to deduce the pointwise robust optimality conditions.


title: Identifiable Latent Neural Causal Models

abstract: Causal representation learning seeks to uncover latent, high-level causal representations from low-level observed data. It is particularly good at predictions under unseen distribution shifts, because these shifts can generally be interpreted as consequences of interventions. Hence leveraging {seen} distribution shifts becomes a natural strategy to help identifying causal representations, which in turn benefits predictions where distributions are previously {unseen}. Determining the types (or conditions) of such distribution shifts that do contribute to the identifiability of causal representations is critical. This work establishes a {sufficient} and {necessary} condition characterizing the types of distribution shifts for identifiability in the context of latent additive noise models. Furthermore, we present partial identifiability results when only a portion of distribution shifts meets the condition. In addition, we extend our findings to latent post-nonlinear causal models. We translate our findings into a practical algorithm, allowing for the acquisition of reliable latent causal representations. Our algorithm, guided by our underlying theory, has demonstrated outstanding performance across a diverse range of synthetic and real-world datasets. The empirical observations align closely with the theoretical findings, affirming the robustness and effectiveness of our approach.


title: PNAS-MOT: Multi-Modal Object Tracking with Pareto Neural Architecture Search

abstract: Multiple object tracking is a critical task in autonomous driving. Existing works primarily focus on the heuristic design of neural networks to obtain high accuracy. As tracking accuracy improves, however, neural networks become increasingly complex, posing challenges for their practical application in real driving scenarios due to the high level of latency. In this paper, we explore the use of the neural architecture search (NAS) methods to search for efficient architectures for tracking, aiming for low real-time latency while maintaining relatively high accuracy. Another challenge for object tracking is the unreliability of a single sensor, therefore, we propose a multi-modal framework to improve the robustness. Experiments demonstrate that our algorithm can run on edge devices within lower latency constraints, thus greatly reducing the computational requirements for multi-modal object tracking while keeping lower latency.


title: Geometric series solution for the plane elastostatic problem in the presence of a cavity

abstract: This paper presents an analytic series solution method for the elastic inclusion problem in a two-dimensional unbounded isotropic medium with a cavity. Generalizing the work of Mattei and Lim \cite{Mattei:2021:EAS}, this study develops an analytic series solution method for the elastic inclusion problem to encompass a cavity problem. The central mathematical challenge tackled in this research is to deal with the conormal derivative condition. By using the complex-variable formulation for the conormal derivative, we effectively deal with the boundary condition and derive an explicit series solution for the plane elastostatic problem with a cavity of arbitrary shape subject to arbitrary far-field loading. The solution is expressed as a series expansion in terms of the given far-field loading and the exterior conformal mapping associated with the cavity.


title: Analytic asymptotic formulas for effective parameters of planar elastic composites

abstract: We investigate the effective elastic properties of periodic dilute two-phase composites consisting of an homogeneous isotropic matrix and a periodic array of rigid inclusions. We assume the rigid inclusion in a unit cell is a simply connected, bounded domain so that there exists an exterior conformal mapping corresponding the inclusion. Recently, an analytical series solution method for the elastic problem with a rigid inclusion was developed based on the layer potential technique and the geometric function theory \cite{Mattei:2021:EAS}. In this paper, by using the series solution method, we derive expression formulas for the elastic moment tensors--the coefficients of the multipole expansion associated with an elastic inclusion--of an inclusion of arbitrary shape. These formulas for the elastic moment tensors lead us to analytic asymptotic formulas for the effective parameters of the periodic elastic composites with rigid inclusions in terms of the associated exterior conformal mapping.


title: EDDA: A Encoder-Decoder Data Augmentation Framework for Zero-Shot Stance Detection

abstract: Stance detection aims to determine the attitude expressed in text towards a given target. Zero-shot stance detection (ZSSD) has emerged to classify stances towards unseen targets during inference. Recent data augmentation techniques for ZSSD increase transferable knowledge between targets through text or target augmentation. However, these methods exhibit limitations. Target augmentation lacks logical connections between generated targets and source text, while text augmentation relies solely on training data, resulting in insufficient generalization. To address these issues, we propose an encoder-decoder data augmentation (EDDA) framework. The encoder leverages large language models and chain-of-thought prompting to summarize texts into target-specific if-then rationales, establishing logical relationships. The decoder generates new samples based on these expressions using a semantic correlation word replacement strategy to increase syntactic diversity. We also analyze the generated expressions to develop a rationale-enhanced network that fully utilizes the augmented data. Experiments on benchmark datasets demonstrate our approach substantially improves over state-of-the-art ZSSD techniques. The proposed EDDA framework increases semantic relevance and syntactic variety in augmented texts while enabling interpretable rationale-based learning.


title: Distributed Robust Learning based Formation Control of Mobile Robots based on Bioinspired Neural Dynamics

abstract: This paper addresses the challenges of distributed formation control in multiple mobile robots, introducing a novel approach that enhances real-world practicability. We first introduce a distributed estimator using a variable structure and cascaded design technique, eliminating the need for derivative information to improve the real time performance. Then, a kinematic tracking control method is developed utilizing a bioinspired neural dynamic-based approach aimed at providing smooth control inputs and effectively resolving the speed jump issue. Furthermore, to address the challenges for robots operating with completely unknown dynamics and disturbances, a learning-based robust dynamic controller is developed. This controller provides real time parameter estimates while maintaining its robustness against disturbances. The overall stability of the proposed method is proved with rigorous mathematical analysis. At last, multiple comprehensive simulation studies have shown the advantages and effectiveness of the proposed method.


title: Ev-Edge: Efficient Execution of Event-based Vision Algorithms on Commodity Edge Platforms

abstract: Event cameras have emerged as a promising sensing modality for autonomous navigation systems, owing to their high temporal resolution, high dynamic range and negligible motion blur. To process the asynchronous temporal event streams from such sensors, recent research has shown that a mix of Artificial Neural Networks (ANNs), Spiking Neural Networks (SNNs) as well as hybrid SNN-ANN algorithms are necessary to achieve high accuracies across a range of perception tasks. However, we observe that executing such workloads on commodity edge platforms which feature heterogeneous processing elements such as CPUs, GPUs and neural accelerators results in inferior performance. This is due to the mismatch between the irregular nature of event streams and diverse characteristics of algorithms on the one hand and the underlying hardware platform on the other. We propose Ev-Edge, a framework that contains three key optimizations to boost the performance of event-based vision systems on edge platforms: (1) An Event2Sparse Frame converter directly transforms raw event streams into sparse frames, enabling the use of sparse libraries with minimal encoding overheads (2) A Dynamic Sparse Frame Aggregator merges sparse frames at runtime by trading off the temporal granularity of events and computational demand thereby improving hardware utilization (3) A Network Mapper maps concurrently executing tasks to different processing elements while also selecting layer precision by considering both compute and communication overheads. On several state-of-art networks for a range of autonomous navigation tasks, Ev-Edge achieves 1.28x-2.05x improvements in latency and 1.23x-2.15x in energy over an all-GPU implementation on the NVIDIA Jetson Xavier AGX platform for single-task execution scenarios. Ev-Edge also achieves 1.43x-1.81x latency improvements over round-robin scheduling methods in multi-task execution scenarios.


title: On a dryout point for a stationary incompressible thermal fluid with phase transition in a pipe

abstract: A dryout point is recognized as the position where the phase transition from liquid to vapor occurs. In the one-dimensional case, by solving the stationary incompressible Navier-Stokes-Fourier equations with phase transition, we derive a necessary and sufficient condition for a dryout point to exist when the temperature at the liquid-vapor interface is given. In addition, we show by considering thermodynamics that the temperature at the dryout point and the density of the vapor phase can be determined by given density and sufficiently small injected mass flux of the liquid phase.


title: Harmonic Bundles with Symplectic Structures

abstract: We study harmonic bundles with an additional structure called symplectic structure. We study them for the case of the base manifold is compact and non-compact. For the compact case, we show that a harmonic bundle with a symplectic structure is equivalent to principle $Sp(2n,C)$-bundle with a reductive flat connection. For the non-compact case, we show that a polystable good filtered Higgs bundle with a perfect skew-symmetric pairing is equivalent to a good wild harmonic bundle with a symplectic structure.


title: Reducing Investigator Bias in Sampling-Based Land Cover Classification by Integrating Multiple Investigators' Maps Using a Multiple Classifier System

abstract: Land cover classification plays a pivotal role in describing Earth's surface characteristics. However, these thematic classifications can be affected by uncertainties introduced by an investigator's bias. While land cover classification mapping is becoming easier for us due to the emergence of cloud geospatial platforms such as Google Earth Engine, such uncertainty is often overlooked. Thus, this study aimed to create a robust land cover classification map by reducing investigator-induced uncertainty from independent investigators' maps using a multiple classifier system. In Saitama City, Japan, as a case study, 44 investigators used a point-based visual interpretation method via Google Earth Engine to collect stratified reference samples across four different land cover classes: forest, agriculture, urban, and water. These samples were then used to train a random forest classifier, ultimately resulting in the creation of individual classification maps. We quantified pixel-level discrepancies in these maps, which came from inherent investigator-induced variability. To tackle these uncertainties, we developed a multiple classifier system incorporating K-Medoids to group the most reliable maps and minimize discrepancies. We further applied Bayesian analysis to these grouped maps to produce a unified, accurate classification map. This yielded an overall accuracy of 92.5\% for 400 independent validation samples. We discuss how our approach can also reduce salt-and-pepper noise, which is often found in individual classification maps. This research underscores the intrinsic uncertainties present in land cover classification maps attributable to investigator variations and introduces a potential solution to attenuate these variations.


title: Design and Implementation of an Analysis Pipeline for Heterogeneous Data

abstract: Managing and preparing complex data for deep learning, a prevalent approach in large-scale data science can be challenging. Data transfer for model training also presents difficulties, impacting scientific fields like genomics, climate modeling, and astronomy. A large-scale solution like Google Pathways with a distributed execution environment for deep learning models exists but is proprietary. Integrating existing open-source, scalable runtime tools and data frameworks on high-performance computing (HPC) platforms is crucial to address these challenges. Our objective is to establish a smooth and unified method of combining data engineering and deep learning frameworks with diverse execution capabilities that can be deployed on various high-performance computing platforms, including cloud and supercomputers. We aim to support heterogeneous systems with accelerators, where Cylon and other data engineering and deep learning frameworks can utilize heterogeneous execution. To achieve this, we propose Radical-Cylon, a heterogeneous runtime system with a parallel and distributed data framework to execute Cylon as a task of Radical Pilot. We thoroughly explain Radical-Cylon's design and development and the execution process of Cylon tasks using Radical Pilot. This approach enables the use of heterogeneous MPI-communicators across multiple nodes. Radical-Cylon achieves better performance than Bare-Metal Cylon with minimal and constant overhead. Radical-Cylon achieves (4~15)% faster execution time than batch execution while performing similar join and sort operations with 35 million and 3.5 billion rows with the same resources. The approach aims to excel in both scientific and engineering research HPC systems while demonstrating robust performance on cloud infrastructures. This dual capability fosters collaboration and innovation within the open-source scientific research community.


title: On completeness of foliated structures, and null Killing fields

abstract: We consider a compact manifold $(M,\mathfrak{F})$ with a foliation $\mathfrak{F}$, and a smooth affine connection $\nabla$ on the tangent bundle of the foliation $T\mathfrak{F}$. We introduce and study a foliated completeness problem. Namely, under which conditions on $\nabla$ the leaves are complete? We consider different natural geometric settings: the first one is the case of a totally geodesic lightlike foliation of a compact Lorentzian manifold, and the second one is the case where the leaves have particular affine structures. In the first case, we characterize the completeness, and obtain in particular that if a compact Lorentzian manifold admits a null Killing field $V$ such that the distribution orthogonal to $V$ is integrable, then it defines a (totally geodesic) foliation with complete leaves. In the second case, we give a completeness result for a specific affine structure called "the unimodular affine lightlike geometry", and characterize the completeness for a natural relaxation of the geometry. On the other hand, we study the global completeness of a compact Lorentzian manifold in the presence of a null Killing field. We give two non-complete examples, starting from dimension $3$: one is a locally homogeneous manifold, and the other is a $3$D example where the Killing field dynamics is equicontinuous.


title: A hybrid LLM workflow can help identify user privilege related variables in programs of any size

abstract: Many programs involves operations and logic manipulating user privileges, which is essential for the security of an organization. Therefore, one common malicious goal of attackers is to obtain or escalate the privileges, causing privilege leakage. To protect the program and the organization against privilege leakage attacks, it is important to eliminate the vulnerabilities which can be exploited to achieve such attacks. Unfortunately, while memory vulnerabilities are less challenging to find, logic vulnerabilities are much more imminent, harmful and difficult to identify. Accordingly, many analysts choose to find user privilege related (UPR) variables first as start points to investigate the code where the UPR variables may be used to see if there exists any vulnerabilities, especially the logic ones. In this paper, we introduce a large language model (LLM) workflow that can assist analysts in identifying such UPR variables, which is considered to be a very time-consuming task. Specifically, our tool will audit all the variables in a program and output a UPR score, which is the degree of relationship (closeness) between the variable and user privileges, for each variable. The proposed approach avoids the drawbacks introduced by directly prompting a LLM to find UPR variables by focusing on leverage the LLM at statement level instead of supplying LLM with very long code snippets. Those variables with high UPR scores are essentially potential UPR variables, which should be manually investigated. Our experiments show that using a typical UPR score threshold (i.e., UPR score >0.8), the false positive rate (FPR) is only 13.49%, while UPR variable found is significantly more than that of the heuristic based method.


title: PEaCE: A Chemistry-Oriented Dataset for Optical Character Recognition on Scientific Documents

abstract: Optical Character Recognition (OCR) is an established task with the objective of identifying the text present in an image. While many off-the-shelf OCR models exist, they are often trained for either scientific (e.g., formulae) or generic printed English text. Extracting text from chemistry publications requires an OCR model that is capable in both realms. Nougat, a recent tool, exhibits strong ability to parse academic documents, but is unable to parse tables in PubMed articles, which comprises a significant part of the academic community and is the focus of this work. To mitigate this gap, we present the Printed English and Chemical Equations (PEaCE) dataset, containing both synthetic and real-world records, and evaluate the efficacy of transformer-based OCR models when trained on this resource. Given that real-world records contain artifacts not present in synthetic records, we propose transformations that mimic such qualities. We perform a suite of experiments to explore the impact of patch size, multi-domain training, and our proposed transformations, ultimately finding that models with a small patch size trained on multiple domains using the proposed transformations yield the best performance. Our dataset and code is available at https://github.com/ZN1010/PEaCE.


title: Customizable wave tailoring materials enabled by coupling nonlinear inverse design at two scales

abstract: Passive transformation of waves via nonlinear systems is ubiquitous in settings ranging from acoustics to optics and electromagnetics. Passivity is of particular importance for responding rapidly to stimuli, and nonlinearity enormously expands signal transformability compared to linear systems due to the breaking of superposition. It is well known that different types of nonlinearity yield vastly and qualitatively different effects on propagating signals, which raises the question of what precise nonlinearity is the best for a given wave tailoring application? This question has largely remained in the regime of simulation and theory, as, until recently it has not been possible to freely choose any optimal nonlinearity (instead relying on limited tunability around known nonlinear mechanisms). Herein, we leverage recent advances in mechanics, wherein desired nonlinear constitutive responses can be achieved through shape optimization, and couple this to a larger-scale, reduced-order nonlinear dynamical inverse design step. Using minimization of kinetic energy transmission from impact as a case study, we identify ideal nonlinear constitutive responses and the geometries needed to achieve them within a single design process. As part of this, we show the large sensitivity of this metric to small changes in nonlinearity, and thus the need for high precision, free-form nonlinearity tailoring. We validate our predictions using impact experiments in a chain of nonlinear springs and masses. This work sets the foundation for broader passive nonlinear mechanical wave tailoring material design, including future incorporation of higher-dimensionality, irreversibility, material heterogenity, and coupled physics. Potential applications include mechanical computing, acoustic signal and image processing, impact mitigation, and materials that autonomously respond and do work via rapid shape-change.


title: Convection-Diffusion Equation: A Theoretically Certified Framework for Neural Networks

abstract: In this paper, we study the partial differential equation models of neural networks. Neural network can be viewed as a map from a simple base model to a complicate function. Based on solid analysis, we show that this map can be formulated by a convection-diffusion equation. This theoretically certified framework gives mathematical foundation and more understanding of neural networks. Moreover, based on the convection-diffusion equation model, we design a novel network structure, which incorporates diffusion mechanism into network architecture. Extensive experiments on both benchmark datasets and real-world applications validate the performance of the proposed model.


title: Sub-Micrometer Particles Remote Detection in Enceladus Plume Based on Cassinis UV Spectrograph Data

abstract: Enceladus is the Saturnian satellite known to have water vapor erupting from its south pole region called Tiger Stripes. Data collected by Cassini Ultraviolet Imaging Spectrograph during Enceladus transiting Saturn allow us to estimate water plume absorption from 1115.35 - 1912.50 Angstrom and compare it to the Mie solutions of Maxwell equations for particles with a diameter in the range from 10 nm up to 2 um. The best fit performed using Gradient Descent method indicates a presence of submicrometer particles of diameters: 120-180 nm and 240-320 nm consistent with Thermofilum sp., Thermoproteus sp., and Pyrobaculum sp. cell sizes present in hydrothermal vents on Earth.


title: Learnable WSN Deployment of Evidential Collaborative Sensing Model

abstract: In wireless sensor networks (WSNs), coverage and deployment are two most crucial issues when conducting detection tasks. However, the detection information collected from sensors is oftentimes not fully utilized and efficiently integrated. Such sensing model and deployment strategy, thereby, cannot reach the maximum quality of coverage, particularly when the amount of sensors within WSNs expands significantly. In this article, we aim at achieving the optimal coverage quality of WSN deployment. We develop a collaborative sensing model of sensors to enhance detection capabilities of WSNs, by leveraging the collaborative information derived from the combination rule under the framework of evidence theory. In this model, the performance evaluation of evidential fusion systems is adopted as the criterion of the sensor selection. A learnable sensor deployment network (LSDNet) considering both sensor contribution and detection capability, is proposed for achieving the optimal deployment of WSNs. Moreover, we deeply investigate the algorithm for finding the requisite minimum number of sensors that realizes the full coverage of WSNs. A series of numerical examples, along with an application of forest area monitoring, are employed to demonstrate the effectiveness and the robustness of the proposed algorithms.


title: Towards a RAG-based Summarization Agent for the Electron-Ion Collider

abstract: The complexity and sheer volume of information encompassing documents, papers, data, and other resources from large-scale experiments demand significant time and effort to navigate, making the task of accessing and utilizing these varied forms of information daunting, particularly for new collaborators and early-career scientists. To tackle this issue, a Retrieval Augmented Generation (RAG)--based Summarization AI for EIC (RAGS4EIC) is under development. This AI-Agent not only condenses information but also effectively references relevant responses, offering substantial advantages for collaborators. Our project involves a two-step approach: first, querying a comprehensive vector database containing all pertinent experiment information; second, utilizing a Large Language Model (LLM) to generate concise summaries enriched with citations based on user queries and retrieved data. We describe the evaluation methods that use RAG assessments (RAGAs) scoring mechanisms to assess the effectiveness of responses. Furthermore, we describe the concept of prompt template-based instruction-tuning which provides flexibility and accuracy in summarization. Importantly, the implementation relies on LangChain, which serves as the foundation of our entire workflow. This integration ensures efficiency and scalability, facilitating smooth deployment and accessibility for various user groups within the Electron Ion Collider (EIC) community. This innovative AI-driven framework not only simplifies the understanding of vast datasets but also encourages collaborative participation, thereby empowering researchers. As a demonstration, a web application has been developed to explain each stage of the RAG Agent development in detail.


title: Incorporating Heterogeneous Interactions for Ecological Biodiversity

abstract: Understanding the behaviors of ecological systems is challenging given their multi-faceted complexity. To proceed, theoretical models such as Lotka-Volterra dynamics with random interactions have been investigated by the dynamical mean-field theory to provide insights into underlying principles such as how biodiversity and stability depend on the randomness in interaction strength. Yet the fully-connected structure assumed in these previous studies is not realistic as revealed by a vast amount of empirical data. We derive a generic formula for the abundance distribution under an arbitrary distribution of degree, the number of interacting neighbors, which leads to degree-dependent abundance patterns of species. Notably, in contrast to the well-mixed system, the number of surviving species can be reduced as the community becomes cooperative in heterogeneous interaction structures. Our study, therefore, demonstrates that properly taking into account heterogeneity in the interspecific interaction structure is indispensable to understanding the diversity in large ecosystems, and our general theoretical framework can apply to a much wider range of interacting many-body systems.