title: Two-dimensional borophene: In-plane hyperbolic polaritons in the visible spectral range

abstract: Two-dimensional metals, such as graphene, have undergone extensive exploration, with graphene exhibiting a metallic response limited to the infrared spectral range. Overcoming the challenge of extending the electron mobility in two-dimensional metals to achieve plasmonic behaviors in the visible range necessitates innovative synthesis procedures. In this study, we showcase the successful realization of the phase of \c{hi}_3 borophene on diverse substrates using aluminum-based chemical vapor deposition. Leveraging first-principle density-functional theory alongside advanced deep-subwavelength cathodoluminescence spectroscopy, we reveal the extreme anisotropic response of this material in the visible range, transitioning from hyperbolic polaritonic to an elliptic wavefront. Our calculations substantiate the experimental findings, positioning borophene as an unprecedented candidate for the in-plane hyperbolic response in the visible range. These results open avenues for pioneering optoelectronic applications in the visible spectrum, particularly through the incorporation of borophene into hybrid metallic-semiconducting heterostructures.


title: Uncertainty Assessment of Probabilistic Cellular Automata Simulations in Microstructure Evolution

abstract: The probabilistic cellular automaton (PCA) method is highlighted for its relatively simple numerical algorithm and low computational cost in the simulation of microstructural evolution. In this method, probabilistic state change rules are implemented to compute the evolution of cell states at each time step. The stochastic nature of this simulation method leads to non-repeatable simulation results, introducing inherent uncertainty. In this study, the uncertainty and dispersion in PCA simulations of microstructural evolution were investigated. Hence, the probabilistic transformations of cell states were meticulously considered at each time step, and discrete probability distribution functions (dPDF) were introduced to analyze the frequency distribution of simulation outcomes. To evaluate the performance of the proposed dPDFs, cellular automaton models were developed with various numbers of cells and distribution of transformation probabilities. Multiple iterations of these simulations were conducted, and the validity of the presented distribution functions was assessed through statistical analysis of the simulations outcomes. Comparisons between PCA simulation results and distribution functions demonstrate consistency, emphasizing the predictive capability of the proposed models. Also, the effects of modeling parameters on the uncertainty of simulation results in two and three-dimensional PCA modeling were studied, introducing the coefficient of variation as a measure of dispersion. Results indicate that increasing the number of boundary cells, cellular resolution, and model size reduces uncertainty, enhancing the repeatability of PCA simulation outcomes.


title: Video sentence grounding with temporally global textual knowledge

abstract: Temporal sentence grounding involves the retrieval of a video moment with a natural language query. Many existing works directly incorporate the given video and temporally localized query for temporal grounding, overlooking the inherent domain gap between different modalities. In this paper, we utilize pseudo-query features containing extensive temporally global textual knowledge sourced from the same video-query pair, to enhance the bridging of domain gaps and attain a heightened level of similarity between multi-modal features. Specifically, we propose a Pseudo-query Intermediary Network (PIN) to achieve an improved alignment of visual and comprehensive pseudo-query features within the feature space through contrastive learning. Subsequently, we utilize learnable prompts to encapsulate the knowledge of pseudo-queries, propagating them into the textual encoder and multi-modal fusion module, further enhancing the feature alignment between visual and language for better temporal grounding. Extensive experiments conducted on the Charades-STA and ActivityNet-Captions datasets demonstrate the effectiveness of our method.


title: Stochastic Thermodynamics of Micromagnetics

abstract: In this work, we study the stochastic thermodynamics of micro-magnetic systems. We first formulate the stochastic dynamics of micro-magnetic systems by incorporating noises into Landau-Lifshitz (LL) equation, which describes the irreversible and deterministic dynamics of magnetic moments. The resulting stochastic Landau-Lifshitz (sLL) equation obeys detailed balance, which guarantees that, with the external field fixed, the system converges to thermodynamic equilibrium with vanishing entropy production and with non-vanishing probability current. We then discuss various thermodynamic variables both at the trajectory level and at the ensemble level, and further establish both the first and the second laws of thermodynamics. Finally, we establish fluctuation theorems, and verify them using numerical simulations.


title: The Branch Not Taken: Predicting Branching in Online Conversations

abstract: Multi-participant discussions tend to unfold in a tree structure rather than a chain structure. Branching may occur for multiple reasons -- from the asynchronous nature of online platforms to a conscious decision by an interlocutor to disengage with part of the conversation. Predicting branching and understanding the reasons for creating new branches is important for many downstream tasks such as summarization and thread disentanglement and may help develop online spaces that encourage users to engage in online discussions in more meaningful ways. In this work, we define the novel task of branch prediction and propose GLOBS (Global Branching Score) -- a deep neural network model for predicting branching. GLOBS is evaluated on three large discussion forums from Reddit, achieving significant improvements over an array of competitive baselines and demonstrating better transferability. We affirm that structural, temporal, and linguistic features contribute to GLOBS success and find that branching is associated with a greater number of conversation participants and tends to occur in earlier levels of the conversation tree. We publicly release GLOBS and our implementation of all baseline models to allow reproducibility and promote further research on this important task.


title: Enhancing ASIC Technology Mapping via Parallel Supergate Computing

abstract: With the development of large-scale integrated circuits, electronic design automation~(EDA) tools are increasingly emphasizing efficiency, with parallel algorithms becoming a trend. The optimization of delay reduction is a crucial factor for ASIC technology mapping, and supergate technology proves to be an effective method for achieving this in EDA tools flow. However, we have observed that increasing the number of generated supergates can reduce delay, but this comes at the cost of an exponential increase in computation time. In this paper, we propose a parallel supergate computing method that addresses the tradeoff between time-consuming and delay optimization. The proposed method utilizes the input-constrained supergate pattern to parallelly generate the supergate candidates, and then filter the valid supergates as the results. Experiment results show the efficiency of the proposed method, for example, it can attain the improvement of 4x speedup in computation time and 10.1 in delay reduction with 32 threads.


title: The LHCb VELO Upgrade Module Construction

abstract: The LHCb detector has undergone a major upgrade for LHC Run 3. This Upgrade I detector facilitates operation at higher luminosity and utilises full-detector information at the LHC collision rate, critically including the use of vertex information. A new vertex locator system, the VELO Upgrade, has been constructed. The core element of the new VELO are the double-sided pixelated hybrid silicon detector modules which operate in vacuum close to the LHC beam in a high radiation environment. The construction and quality assurance tests of these modules are described in this paper. The modules incorporate 200 \mum thick, n-on-p silicon sensors bump-bonded to 130 \nm technology ASICs. These are attached with high precision to a silicon microchannel substrate that uses evaporative CO$_2$ cooling. The ASICs are controlled and read out with flexible printed circuits that are glued to the substrate and wire-bonded to the chips. The mechanical support of the module is given by a carbon fibre plate, two carbon fibre rods and an aluminium plate. The sensor attachment was achieved with an average precision of 21 $\mathrm{\mu m}$, more than 99.5\% of all pixels are fully functional, and a thermal figure of merit of 3 \mathrm{Kcm^{2}W^{-1}}$ was achieved. The production of the modules was successfully completed in 2021, with the final assembly and installation completed in time for data taking in 2022.


title: Stratified Monge-Kantorovich optimal transport problems

abstract: In this paper, we investigate Monge-Kantorovich problems for which the absolute continuity of marginals is relaxed. For $X,Y\subseteq\mathbb{R}^{n+1}$ let $(X,\mathcal{B}_X,\mu)$ and $(Y,\mathcal{B}_Y,\nu)$ be two Borel probability spaces, $c:X\times Y\to\mathbb{R}$ be a cost function, and consider the problem \begin{align*}\tag{MKP}\label{MKPEQ} \inf\left\{\int_{X\times Y} c(x,y)\,d\lambda\ :\ \lambda \in\Pi(\mu,\nu) \right\}. \end{align*} Inspired by the seminal paper \cite{GANGBOMCCANN2} with applications in shape recognition problem, we first consider \eqref{MKPEQ} for the cost $c(x,y)=h(x-y)$ with $h$ strictly convex defined on the multi-layers target space \begin{align*} X=\overline{X}\times\{\overline{x}\},\quad\text{and}\quad Y=\bigcup_{k=1}^K \left(\overline{Y}_{k}\times \{\overline{y}_k\}\right), \end{align*} where $\overline{X}, \overline{Y}_{k}\subseteq \mathbb{R}^{n}$ for $k\in \{1,\ldots,K\},$ $\overline{x}\in \mathbb{R}$, and $\{\overline{y}_1,..., \overline{y}_K\}\subseteq \mathbb{R}$. Here, we assume that $\mu|_\overline{X}\ll\mathcal{L}^n$ (the Lebesgue measure on $\mathbb{R}^n$), but $\mu$ is singular w.r.t. $\mathcal{L}^{n+1}$. When $K=1$, this translates to the standard \eqref{MKPEQ} for which the unique solution is concentrated on a map. We show that for $K\geq 2,$ the solution is still unique but it concentrates on the graph of several maps. Next, we study \eqref{MKPEQ} for a closed subset $X\subseteq \mathbb{R}^{n+1}$ and its $n$-dimensional submanifold $X_0$ with the first marginal of the form \begin{align*} \int_X f(x)\,d\mu(x)=\int_X f(x)\alpha(x)\,d\mathcal{L}^{n+1}(x)+\int_{X_0} f(x_0)\,d S(x_0),\ \ \forall f\in C_b(X). \end{align*} Here, $S$ is a measure on $X_0$ such that $S\ll \mathcal{L}^{n}$ on each coordinate chart of $X_0$. This can be seen as a two-layers problem as the measure $\mu$ charges both $n$- and $n+1$-dimensional subsets.


title: Parallel AIG Refactoring via Conflict Breaking

abstract: Algorithm parallelization to leverage multi-core platforms for improving the efficiency of Electronic Design Automation~(EDA) tools plays a significant role in enhancing the scalability of Integrated Circuit (IC) designs. Logic optimization is a key process in the EDA design flow to reduce the area and depth of the circuit graph by finding logically equivalent graphs for substitution, which is typically time-consuming. To address these challenges, in this paper, we first analyze two types of conflicts that need to be handled in the parallelization framework of refactoring And-Inverter Graph~(AIG). We then present a fine-grained parallel AIG refactoring method, which strikes a balance between the degree of parallelism and the conflicts encountered during the refactoring operations. Experiment results show that our parallel refactor is 28x averagely faster than the sequential algorithm on large benchmark tests with 64 physical CPU cores, and has comparable optimization quality.


title: Ratios of the light quark masses: Cubic curve vs ellipse

abstract: The bounds on the light quark masses are obtained by fitting the squares of pseudoscalar meson masses $m_\pi^2$ and $m_K^2$ to second order in $1/N_c$ expansion. The result is an algebraic cubic curve whose coefficients are the known Weinberg values for the quark mass ratios $m_u/m_d$ and $m_s/m_d$. Additional restrictions arise when using the ratio $m_s/m_{ud}=27.23(10)$ quoted by FLAG for lattice simulations with four quark flavors. This provides a tight constraint on the ratio $m_u/m_d = 0.455(8)$.


title: Towards Unified Representation of Multi-Modal Pre-training for 3D Understanding via Differentiable Rendering

abstract: State-of-the-art 3D models, which excel in recognition tasks, typically depend on large-scale datasets and well-defined category sets. Recent advances in multi-modal pre-training have demonstrated potential in learning 3D representations by aligning features from 3D shapes with their 2D RGB or depth counterparts. However, these existing frameworks often rely solely on either RGB or depth images, limiting their effectiveness in harnessing a comprehensive range of multi-modal data for 3D applications. To tackle this challenge, we present DR-Point, a tri-modal pre-training framework that learns a unified representation of RGB images, depth images, and 3D point clouds by pre-training with object triplets garnered from each modality. To address the scarcity of such triplets, DR-Point employs differentiable rendering to obtain various depth images. This approach not only augments the supply of depth images but also enhances the accuracy of reconstructed point clouds, thereby promoting the representative learning of the Transformer backbone. Subsequently, using a limited number of synthetically generated triplets, DR-Point effectively learns a 3D representation space that aligns seamlessly with the RGB-Depth image space. Our extensive experiments demonstrate that DR-Point outperforms existing self-supervised learning methods in a wide range of downstream tasks, including 3D object classification, part segmentation, point cloud completion, semantic segmentation, and detection. Additionally, our ablation studies validate the effectiveness of DR-Point in enhancing point cloud understanding.


title: Numerical solution to the PML problem of the biharmonic wave scattering in periodic structures

abstract: Consider the interaction of biharmonic waves with a periodic array of cavities, characterized by the Kirchhoff--Love model. This paper investigates the perfectly matched layer (PML) formulation and its numerical soution to the governing biharmonic wave equation. The study establishes the well-posedness of the associated variational problem employing the Fredholm alternative theorem. Based on the examination of an auxiliary problem in the PML layer, exponential convergence of the PML solution is attained. Moreover, it develops and compares three decomposition methods alongside their corresponding mixed finite element formulations, incorporating interior penalty techniques for solving the PML problem. Numerical experiments validate the effectiveness of the proposed methods in absorbing outgoing waves within the PML layers and suppressing oscillations in the bending moment of biharmonic waves near the cavity's surface.


title: Attack on Scene Flow using Point Clouds

abstract: Deep neural networks have made significant advancements in accurately estimating scene flow using point clouds, which is vital for many applications like video analysis, action recognition, and navigation. The robustness of these techniques, however, remains a concern, particularly in the face of adversarial attacks that have been proven to deceive state-of-the-art deep neural networks in many domains. Surprisingly, the robustness of scene flow networks against such attacks has not been thoroughly investigated. To address this problem, the proposed approach aims to bridge this gap by introducing adversarial white-box attacks specifically tailored for scene flow networks. Experimental results show that the generated adversarial examples obtain up to 33.7 relative degradation in average end-point error on the KITTI and FlyingThings3D datasets. The study also reveals the significant impact that attacks targeting point clouds in only one dimension or color channel have on average end-point error. Analyzing the success and failure of these attacks on the scene flow networks and their 2D optical flow network variants shows a higher vulnerability for the optical flow networks.


title: On the CR Nirenberg problem: density and multiplicity of solutions

abstract: We prove some results on the density and multiplicity of positive solutions to the prescribed Webster scalar curvature problem on the $(2n+1)$-dimensional standard unit CR sphere $(\mathbb{S} ^{2n+1},\theta_0)$. Specifically, we construct arbitrarily many multi-bump solutions via the variational gluing method. In particular, we show the Webster scalar curvature functions of contact forms conformal to $\theta_0$ are $C^{0}$-dense among bounded functions which are positive somewhere. Existence results of infinitely many positive solutions to the related equation $-\Delta_{\mathbb{H}} u=R(\xi) u^{(n+2) /n}$ on the Heisenberg group $\Hn $ with $R(\xi)$ being asymptotically periodic with respect to left translation are also obtained. Our proofs make use of a refined analysis of bubbling behavior, gradient flow, Pohozaev identity, as well as blow up arguments.


title: Research in teaching and learning sequence design. To what extent do designers theoretical orientations about learning and the nature of science shape design decisions

abstract: Over the last three decades, various didactic proposals have been published in an attempt to connect theory and research findings with the design of Teaching-Learning Sequences (TLS) in various contexts. Many studies have analysed the process of designing teaching-learning sequences as a research activity. This line of research aims to increase the impact and transferability of educational practice. However, the information usually provided about the relation between the theory and research findings with the design of the TLS is insufficiently detailed to provide the basis for a critique. Furthermore, not all TLS proposals include evaluation in terms of learning outcomes and very rarely are these learning outcomes specifically related to the design process. This lack of detailed information on the design and evaluation of proposed TLS makes it difficult to properly assess their potential effectiveness or to systematically discuss and improve their design. In this chapter we want to contribute to make the rationale for design decisions explicit. The aim of this paper is to describe in detail how the theoretical orientations of designers of teaching materials towards cognition and learning can shape the structure and pedagogical strategies of the resulting TLS. We will analyse the relationship of two design tools (Epistemological analysis and Learning demands) to theoretical assumptions about learning and the nature of science. We want to highlight the benefits of reflecting on and discussing theoretical elements and their links to design decisions, which makes TLS design more productive on a practical level to broaden the teaching and learning perspectives of TLS. Finally, we will explore the question to what extent the theoretical orientations of curriculum designers towards cognition and learning can influence the structure and pedagogical strategies of the resulting TLS


title: Necessary and Sufficient Conditions for Capacity-Achieving Private Information Retrieval with Non-Colluding and Colluding Servers

abstract: Private Information Retrieval (PIR) is a mechanism for efficiently downloading messages while keeping the index secret. Here, PIRs in which servers do not communicate with each other are called standard PIRs, and PIRs in which some servers communicate with each other are called colluding PIRs. The information-theoretic upper bound on efficiency has been given in previous studies. However, the conditions for PIRs to keep privacy, to decode the desired message, and to achieve that upper bound have not been clarified in matrix form. In this paper, we prove the necessary and sufficient conditions for the properties of standard PIR and colluding PIR. Further, we represent the properties in matrix form.


title: Sup-norm bounds for Jacobi cusp forms

abstract: In this article, we give bounds for the natural invariant norm of cusp forms of real weight $k$ and character $\chi$ for any cofinite Fuchsian subgroup $\Gamma\subset\mathrm{SL}_{2}(\mathbb{R})$. Using the representation of Jacobi cusp forms of integral weight $k$ and index $m$ for the modular group $\Gamma_{0}=\mathrm{SL}_{2}(\mathbb{Z})$ as linear combinations of modular forms of weight $k-\frac{1}{2}$ for some congruence subgroup of $\Gamma_{0}$ (depending on $m$) and suitable Jacobi theta functions, we derive bounds for the natural invariant norm of these Jacobi cusp forms. More specifically, letting $J_{k,m}^{\mathrm{cusp}}(\Gamma_{0})$ denote the complex vector space of Jacobi cusp forms under consideration and $\Vert\cdot\Vert_{\mathrm{Pet}}$ the pointwise Petersson norm on $J_{k,m}^{\mathrm{cusp}}(\Gamma_{0})$, we prove that for given $\epsilon>0$, the bound \begin{align*} \sup_{(\tau,z)\in\mathbb{H}\times\mathbb{C}}\Vert f(\tau,z)\Vert_{\mathrm{Pet}}=O_{\epsilon}\big(k^{\frac{3}{4}}m^{1+\epsilon}\big) \end{align*} holds for any $f\in J_{k,m}^{\mathrm{cusp}}(\Gamma_{0})$, which is normalized with respect to the Petersson inner product, where the implied constant depends only on the choice of $\epsilon>0$.


title: Safe Force/Position Tracking Control via Control Barrier Functions for Floating Base Mobile Manipulator Systems

abstract: This paper introduces a safe force/position tracking control strategy designed for Free-Floating Mobile Manipulator Systems (MMSs) engaging in compliant contact with planar surfaces. The strategy uniquely integrates the Control Barrier Function (CBF) to manage operational limitations and safety concerns. It effectively addresses safety-critical aspects in the kinematic as well as dynamic level, such as manipulator joint limits, system velocity constraints, and inherent system dynamic uncertainties. The proposed strategy remains robust to the uncertainties of the MMS dynamic model, external disturbances, or variations in the contact stiffness model. The proposed control method has low computational demand ensures easy implementation on onboard computing systems, endorsing real-time operations. Simulation results verify the strategy's efficacy, reflecting enhanced system performance and safety.


title: NegotiationToM: A Benchmark for Stress-testing Machine Theory of Mind on Negotiation Surrounding

abstract: Large Language Models (LLMs) have sparked substantial interest and debate concerning their potential emergence of Theory of Mind (ToM) ability. Theory of mind evaluations currently focuses on testing models using machine-generated data or game settings prone to shortcuts and spurious correlations, which lacks evaluation of machine ToM ability in real-world human interaction scenarios. This poses a pressing demand to develop new real-world scenario benchmarks. We introduce NegotiationToM, a new benchmark designed to stress-test machine ToM in real-world negotiation surrounding covered multi-dimensional mental states (i.e., desires, beliefs, and intentions). Our benchmark builds upon the Belief-Desire-Intention (BDI) agent modeling theory and conducts the necessary empirical experiments to evaluate large language models. Our findings demonstrate that NegotiationToM is challenging for state-of-the-art LLMs, as they consistently perform significantly worse than humans, even when employing the chain-of-thought (CoT) method.


title: Mixture of LoRA Experts

abstract: LoRA has gained widespread acceptance in the fine-tuning of large pre-trained models to cater to a diverse array of downstream tasks, showcasing notable effectiveness and efficiency, thereby solidifying its position as one of the most prevalent fine-tuning techniques. Due to the modular nature of LoRA's plug-and-play plugins, researchers have delved into the amalgamation of multiple LoRAs to empower models to excel across various downstream tasks. Nonetheless, extant approaches for LoRA fusion grapple with inherent challenges. Direct arithmetic merging may result in the loss of the original pre-trained model's generative capabilities or the distinct identity of LoRAs, thereby yielding suboptimal outcomes. On the other hand, Reference tuning-based fusion exhibits limitations concerning the requisite flexibility for the effective combination of multiple LoRAs. In response to these challenges, this paper introduces the Mixture of LoRA Experts (MoLE) approach, which harnesses hierarchical control and unfettered branch selection. The MoLE approach not only achieves superior LoRA fusion performance in comparison to direct arithmetic merging but also retains the crucial flexibility for combining LoRAs effectively. Extensive experimental evaluations conducted in both the Natural Language Processing (NLP) and Vision & Language (V&L) domains substantiate the efficacy of MoLE.


title: The Lockman--SpReSO project. Main properties of infrared selected star-forming galaxies

abstract: Methods.We applied distinct selection criteria to attain an SFG sample with minimal AGN contamination. Multiple approaches were used to estimate the intrinsic extinction, SFR and gas-phase metallicity for the SFGs. In conjunction with findings in the literature, we examined the correlation between SFRs and stellar masses ($M_*$), as well as the metallicity evolution depending on $M_*$. Finally, the 3D relationship between $M_*$, SFR and metallicity, is also studied.} Results. From the initial spectroscopic sample of 409 FIR-selected objects from the Lockman--SpReSO catalogue, 69 (17\%) AGNs have been identified and excluded, which is nearly double the percentage found in local studies, leaving a sample of 340 SFGs. The analysis of the $M_*$--SFR relationship revealed that Lockman--SpReSO IR-selected SFGs show signs of evolution at redshifts $z>0.4$, shifting above the main sequence, with a mean value of $\sim0.4$ dex. They are located within the starburst galaxy region since 78\% of the galaxies fall into this category. In addition, no evident flattening was found in the relation to specific SFR with redshift for $\log M_* (M_\odot) \gtrsim 10.5$. In line with the $M_*$--metallicity relation (MZR) outcomes published in previous studies for optically selected SFGs, however, during the analysis of the MZR, it was found that IR-selected SFGs exhibit lower metallicities than those anticipated on the basis of their $M_*$ and redshift. During the investigation of the 3D $M_*$--SFR--metallicity relation (FP), it was established that the research sample is consistent with relations in the existing literature, with an average scatter of $\sim0.2$ dex. However, a re-calibration of the FP when using the SFR obtained from the IR luminosity is required and, in this case, no attenuation in the correlation for $\log M_* (M_\odot) \gtrsim 10.5$ is observed.


title: Utilizing Deep Learning to Optimize Software Development Processes

abstract: This study explores the application of deep learning technologies in software development processes, particularly in automating code reviews, error prediction, and test generation to enhance code quality and development efficiency. Through a series of empirical studies, experimental groups using deep learning tools and control groups using traditional methods were compared in terms of code error rates and project completion times. The results demonstrated significant improvements in the experimental group, validating the effectiveness of deep learning technologies. The research also discusses potential optimization points, methodologies, and technical challenges of deep learning in software development, as well as how to integrate these technologies into existing software development workflows.


title: Fermi-Bose Machine

abstract: Distinct from human cognitive processing, deep neural networks trained by backpropagation can be easily fooled by adversarial examples. To design a semantically meaningful representation learning, we discard backpropagation, and instead, propose a local contrastive learning, where the representation for the inputs bearing the same label shrink (akin to boson) in hidden layers, while those of different labels repel (akin to fermion). This layer-wise learning is local in nature, being biological plausible. A statistical mechanics analysis shows that the target fermion-pair-distance is a key parameter. Moreover, the application of this local contrastive learning to MNIST benchmark dataset demonstrates that the adversarial vulnerability of standard perceptron can be greatly mitigated by tuning the target distance, i.e., controlling the geometric separation of prototype manifolds.

categories: cs.LG cond-mat.dis-nn cond-mat.stat-mech cs.NE q-bio.NC


title: Benchmarking of hydrodynamic plasma waveguides for multi-GeV laser-driven electron acceleration

abstract: Hydrodynamic plasma waveguides initiated by optical field ionization (OFI) have recently become a key component of multi-GeV laser wakefield accelerators. Here, we present the most complete and accurate experimental and simulation-based characterization to date, applicable both to current multi-GeV experiments and future 100 GeV-scale laser plasma accelerators. Crucial to the simulations is the correct modeling of intense Bessel beam interaction with meter-scale gas targets, the results of which are used as initial conditions for hydrodynamic simulations. The simulations are in good agreement with our experiments measuring evolving plasma and neutral hydrogen density profiles using two-color short pulse interferometry, enabling realistic determination of the guided mode structure for application to laser-driven plasma accelerator design.


title: Incorporating Different Verbal Cues to Improve Text-Based Computer-Delivered Health Messaging

abstract: The ubiquity of smartphones has led to an increase in on demand healthcare being supplied. For example, people can share their illness-related experiences with others similar to themselves, and healthcare experts can offer advice for better treatment and care for remediable, terminal and mental illnesses. As well as this human-to-human communication, there has been an increased use of human-to-computer digital health messaging, such as chatbots. These can prove advantageous as they offer synchronous and anonymous feedback without the need for a human conversational partner. However, there are many subtleties involved in human conversation that a computer agent may not properly exhibit. For example, there are various conversational styles, etiquettes, politeness strategies or empathic responses that need to be chosen appropriately for the conversation. Encouragingly, computers are social actors (CASA) posits that people apply the same social norms to computers as they would do to people. On from this, previous studies have focused on applying conversational strategies to computer agents to make them embody more favourable human characteristics. However, if a computer agent fails in this regard it can lead to negative reactions from users. Therefore, in this dissertation we describe a series of studies we carried out to lead to more effective human-to-computer digital health messaging. In our first study, we use the crowd [...] Our second study investigates the effect of a health chatbot's conversational style [...] In our final study, we investigate the format used by a chatbot when [...] In summary, we have researched how to create more effective digital health interventions starting from generating health messages, to choosing an appropriate formality of messaging, and finally to formatting messages which reference a user's previous utterances.


title: Bt-GAN: Generating Fair Synthetic Healthdata via Bias-transforming Generative Adversarial Networks

abstract: Synthetic data generation offers a promising solution to enhance the usefulness of Electronic Healthcare Records (EHR) by generating realistic de-identified data. However, the existing literature primarily focuses on the quality of synthetic health data, neglecting the crucial aspect of fairness in downstream predictions. Consequently, models trained on synthetic EHR have faced criticism for producing biased outcomes in target tasks. These biases can arise from either spurious correlations between features or the failure of models to accurately represent sub-groups. To address these concerns, we present Bias-transforming Generative Adversarial Networks (Bt-GAN), a GAN-based synthetic data generator specifically designed for the healthcare domain. In order to tackle spurious correlations (i), we propose an information-constrained Data Generation Process that enables the generator to learn a fair deterministic transformation based on a well-defined notion of algorithmic fairness. To overcome the challenge of capturing exact sub-group representations (ii), we incentivize the generator to preserve sub-group densities through score-based weighted sampling. This approach compels the generator to learn from underrepresented regions of the data manifold. We conduct extensive experiments using the MIMIC-III database. Our results demonstrate that Bt-GAN achieves SOTA accuracy while significantly improving fairness and minimizing bias amplification. We also perform an in-depth explainability analysis to provide additional evidence supporting the validity of our study. In conclusion, our research introduces a novel and professional approach to addressing the limitations of synthetic data generation in the healthcare domain. By incorporating fairness considerations and leveraging advanced techniques such as GANs, we pave the way for more reliable and unbiased predictions in healthcare applications.


title: Radial and orbital decomposition of charge radii of Ca nuclei:Comparative study of Skyrme and Fayans functionals

abstract: We investigate the charge and point-proton radii of the Ca nuclei in detail in the density functional theory framework. As the Fayans energy density functional provides characteristic $N$-dependence, successfully describing the parabolic behavior of the differential charge radii in $20\leq N\leq 28$, we pose our particular focus on its physics origin, by decomposing them into the radial and orbital contributions. The results are compared with those from the Skyrme plus usual pairing functional, which is taken as a representative of the functionals having normal pairing channels. We point out that, because the enhancement of the differential charge radii in $N<20$ with the Fayans functional, which is contradictory with the data, has the origin parallel to the parabolic behavior in $20\leq N\leq 28$, it is significant to describe both $N$ regions simultaneously.


title: Emergence of chirality by multipole interconversion

abstract: A clear understanding of chirality in spin-active electronic states is discussed in order to address confusions about chiral effects recently discovered in materials science. Electronic toroidal monopole $G_0$ can serve as a measure of chirality in this categorization, which can be clearly related to the chiral density operator in the Dirac equation. We extend the concepts of chirality not only to those of materials but also to those of physical fields, and to material-field composites. Additionally, we illustrate specific examples from physics and chemistry that demonstrate the process of acquiring chirality through the combination of seemingly achiral degrees of freedom, which we term the emergence of chirality. Interference among multiple chiralities exhibiting phenomena specific to handedness is also discussed.


title: Extremal cases of distortion risk measures with partial information

abstract: This paper considers the best- and worst-case of a general class of distortion risk measures when only partial information regarding the underlying distributions is available. Specifically, explicit sharp lower and upper bounds for a general class of distortion risk measures are derived based on the first two moments along with some shape information, such as symmetry/unimodality property of the underlying distributions. The proposed approach provides a unified framework for extremal problems of distortion risk measures.


title: Rapid Optical Flare in the Extreme TeV Blazar 1ES 0229+200 on Intraday Timescale with TESS

abstract: The extreme TeV blazar 1ES 0229+200 is a high-frequency-peaked BL Lacertae object. It has not shown intraday variability in extensive optical and X-ray observations. Nor has it shown any significant variability on any measurable timescale in the 1-100 GeV energy range over a 14-year span, but variations in the source flux around its average are present in the energy range above 200 GeV. We searched for intraday optical variability in 1ES 0229+200 as part of an ongoing project to search for variability and quasi-periodic oscillations in the high-cadence, nearly uniformly sampled optical light curves of blazars provided by the Transiting Exoplanet Survey Satellite (TESS). 1ES 0229+200 was monitored by TESS in its Sectors 42, 43 and 44. We analysed the data of all these sectors both with the TESS provided lightkurve software and the eleanor reduction pipeline. We detected a strong, essentially symmetric flare that lasted ~6 hours in Sector 42. We fit the flare's rising and declining phases to exponential functions. We also analysed the light curve of Sector 42 using the Lomb-Scargle periodogram (LSP) and continuous auto-regressive moving average (CARMA) methods. The Sector 42 light curve displayed in the present work provides the first evidence of a strong, rapid, short-lived optical flare on the intraday timescale in 1ES 0229+200. The variability timescale of the flare provides the upper limit for the size of the emission region to be within (3.3\pm0.2 - 8.3\pm0.5)x10^{15}cm. Away from the flare, the slope of the periodogram's power spectrum is fairly typical of many blazars (\alpha<2), but the nominal slopes for the flaring regions are very steep (\alpha~4.3), which may indicate the electron distribution undergoes a sudden change. We discuss possible emission mechanisms that could explain this substantial and rapid flare.


title: Performance Analysis for Deterministic System using Time Sensitive Network

abstract: Modern technology necessitates the use of dependable, fast, and inexpensive networks as the backbone for data transmission. Switched Ethernet coupled with the Time Sensitive Networking


title: Beyond Alignment: Blind Video Face Restoration via Parsing-Guided Temporal-Coherent Transformer

abstract: Multiple complex degradations are coupled in low-quality video faces in the real world. Therefore, blind video face restoration is a highly challenging ill-posed problem, requiring not only hallucinating high-fidelity details but also enhancing temporal coherence across diverse pose variations. Restoring each frame independently in a naive manner inevitably introduces temporal incoherence and artifacts from pose changes and keypoint localization errors. To address this, we propose the first blind video face restoration approach with a novel parsing-guided temporal-coherent transformer (PGTFormer) without pre-alignment. PGTFormer leverages semantic parsing guidance to select optimal face priors for generating temporally coherent artifact-free results. Specifically, we pre-train a temporal-spatial vector quantized auto-encoder on high-quality video face datasets to extract expressive context-rich priors. Then, the temporal parse-guided codebook predictor (TPCP) restores faces in different poses based on face parsing context cues without performing face pre-alignment. This strategy reduces artifacts and mitigates jitter caused by cumulative errors from face pre-alignment. Finally, the temporal fidelity regulator (TFR) enhances fidelity through temporal feature interaction and improves video temporal consistency. Extensive experiments on face videos show that our method outperforms previous face restoration baselines. The code will be released on \href{https://github.com/kepengxu/PGTFormer}{https://github.com/kepengxu/PGTFormer}.


title: A critical drift-diffusion equation: intermittent behavior

abstract: We consider a drift-diffusion process with a time-independent and divergence-free random drift that is of white-noise character. We are interested in the critical case of two space dimensions, where one has to impose a small-scale cut-off for well-posedness, and is interested in the marginally super-diffusive behavior on large scales. In the presence of an (artificial) large-scale cut-off at scale L, as a consequence of standard stochastic homogenization theory, there exist harmonic coordinates with a stationary gradient $F_L$; the merit of these coordinates being that under their lens, the drift-diffusion process turns into a martingale. It has recently been established that the second moments diverge as $\mathbb{E}|F_L|^2\sim\sqrt{\ln L}$ for $L\uparrow\infty$. We quantitatively show that in this limit, and in the regime of small P\'eclet number, $|F_L|^2/\mathbb{E}|F_L|^2$ is not equi-integrable, and that $\mathbb{E}|{\rm det}F_L|/\mathbb{E}|F_L|^2 $ is small. Hence the Jacobian matrix of the harmonic coordinates is very peaked and non-conformal. We establish this asymptotic behavior by characterizing a proxy $\tilde F_L$ introduced in previous work as the solution of an It\^{o} SDE w. r. t. the variable $\ln L$, and which implements the concept of a scale-by-scale homogenization based on a variance decomposition and admits an efficient calculus. For this proxy, we establish $\mathbb{E}|\tilde F_L|^4\gg(\mathbb{E}|\tilde F_L|^2)^2$ and $\mathbb{E}({\rm det}\tilde F_L-1)^2\ll 1$. In view of the former property, we assimilate this phenomenon to intermittency. In fact, $\tilde F_L$ behaves like a tensorial stochastic exponential, and as a field can be assimilated to multiplicative Gaussian chaos.


title: Can points of bounded orbits surround points of unbounded orbits ?

abstract: We show a somewhat surprising result: if $E$ is a disk in the plane $\mathbb R^2$, then there is a homeomorphism $h:\mathbb R^2\rightarrow\mathbb R^2$ such that, for every $x\in\partial E$, the orbit $O(x, h)$ is bounded, but for every $y\in {\rm Int}(E)$, the orbit $O(y, h)$ is doubly divergent. To prove this, we define a class of homeomorphisms on the square $[-1, 1]^2$, called normally rising homeomorphisms, and show that a normally rising homeomorphism can have very complex $\omega$-limit sets and $\alpha$-limt sets, though the homeomorphism itself looks very simple.


title: Well behaved class of Heintzmann's solution within $f(R,\,T)$ framework

abstract: The primary objective of this paper is to develop a well-behaved class of Heintzmann IIa [{\em H. Heintzmann, Z. Physik 228, 489-493 (1969)}] solution in the context of $f(R,\, T)$ gravity. In the $f(R, T)$ framework, the gravitational action includes both the Ricci scalar ($R$) and the trace of the energy-momentum tensor ($T$). We chose a particular $f(R,\,T)$ model s.t. $f(R,\,T) = R+2 \chi T$, where $\chi$ is known as the coupling parameter. This solution describes a novel isotropic compact fluid sphere with positively finite central pressure and density in this extended theory of gravity. The results obtained analytically are better described by graphical representations of the physical parameters for various values of the coupling parameter $\chi$. The solution for a specific compact object, Vela X-1, with radius $\mathfrak{R} = 9.56_{-0.08}^{+0.08}$ km and mass $\mathcal{M} = 1.77 \pm 0.08~\mathcal{M}_{\odot}$ [{\em M. L. Rawls et al. ApJ, 730, 25 (2011)}], is shown here. We analyze the fundamental physical attributes of the star, which reveals the influence of the coupling parameter $\chi$ on the values of substance parameters. This helps us to make a fruitful comparison of this modified $f(R,\, T)$ gravity with the standard GR and notice that it holds good for stable compact objects. In this framework, the star under our consideration exhibits a stable structure consistent with the Heintzmann IIa {\em ansatz}. From all of our obtained graphical and numerical results, we can ultimately conclude that our reported model is physically admissible and satisfies all the physical criteria for an acceptable model.


title: Error Estimation in the Mean-Field Limit of Kinetic Flocking Models with Local Alignments

abstract: In this paper, we present an innovative particle system characterized by moderate interactions, designed to accurately approximate kinetic flocking models that incorporate singular interaction forces and local alignment mechanisms. We establish the existence of weak solutions to the corresponding flocking equations and provide an error estimate for the mean-field limit. This is achieved through the regularization of singular forces and a nonlocal approximation strategy for local alignments. We show that, by selecting the regularization and localization parameters logarithmically with respect to the number of particles, the particle system effectively approximates the mean-field equation.


title: PEACH: Pretrained-embedding Explanation Across Contextual and Hierarchical Structure

abstract: In this work, we propose a novel tree-based explanation technique, PEACH (Pretrained-embedding Explanation Across Contextual and Hierarchical Structure), that can explain how text-based documents are classified by using any pretrained contextual embeddings in a tree-based human-interpretable manner. Note that PEACH can adopt any contextual embeddings of the PLMs as a training input for the decision tree. Using the proposed PEACH, we perform a comprehensive analysis of several contextual embeddings on nine different NLP text classification benchmarks. This analysis demonstrates the flexibility of the model by applying several PLM contextual embeddings, its attribute selections, scaling, and clustering methods. Furthermore, we show the utility of explanations by visualising the feature selection and important trend of text classification via human-interpretable word-cloud-based trees, which clearly identify model mistakes and assist in dataset debugging. Besides interpretability, PEACH outperforms or is similar to those from pretrained models.


title: Physics-informed Mesh-independent Deep Compositional Operator Network

abstract: Solving parametric Partial Differential Equations (PDEs) for a broad range of parameters is a critical challenge in scientific computing. To this end, neural operators, which learn mappings from parameters to solutions, have been successfully used. However, the training of neural operators typically demands large training datasets, the acquisition of which can be prohibitively expensive. To address this challenge, physics-informed training can offer a cost-effective strategy. However, current physics-informed neural operators face limitations, either in handling irregular domain shapes or in generalization to various discretizations of PDE parameters with variable mesh sizes. In this research, we introduce a novel physics-informed model architecture which can generalize to parameter discretizations of variable size and irregular domain shapes. Particularly, inspired by deep operator neural networks, our model involves a discretization-independent learning of parameter embedding repeatedly, and this parameter embedding is integrated with the response embeddings through multiple compositional layers, for more expressivity. Numerical results demonstrate the accuracy and efficiency of the proposed method.


title: Mean Aggregator Is More Robust Than Robust Aggregators Under Label Poisoning Attacks

abstract: Robustness to malicious attacks is of paramount importance for distributed learning. Existing works often consider the classical Byzantine attacks model, which assumes that some workers can send arbitrarily malicious messages to the server and disturb the aggregation steps of the distributed learning process. To defend against such worst-case Byzantine attacks, various robust aggregators have been proven effective and much superior to the often-used mean aggregator. In this paper, we show that robust aggregators are too conservative for a class of weak but practical malicious attacks, as known as label poisoning attacks, where the sample labels of some workers are poisoned. Surprisingly, we are able to show that the mean aggregator is more robust than the state-of-the-art robust aggregators in theory, given that the distributed data are sufficiently heterogeneous. In fact, the learning error of the mean aggregator is proven to be optimal in order. Experimental results corroborate our theoretical findings, demonstrating the superiority of the mean aggregator under label poisoning attacks.


title: Data-independent Module-aware Pruning for Hierarchical Vision Transformers

abstract: Hierarchical vision transformers (ViTs) have two advantages over conventional ViTs. First, hierarchical ViTs achieve linear computational complexity with respect to image size by local self-attention. Second, hierarchical ViTs create hierarchical feature maps by merging image patches in deeper layers for dense prediction. However, existing pruning methods ignore the unique properties of hierarchical ViTs and use the magnitude value as the weight importance. This approach leads to two main drawbacks. First, the "local" attention weights are compared at a "global" level, which may cause some "locally" important weights to be pruned due to their relatively small magnitude "globally". The second issue with magnitude pruning is that it fails to consider the distinct weight distributions of the network, which are essential for extracting coarse to fine-grained features at various hierarchical levels. To solve the aforementioned issues, we have developed a Data-independent Module-Aware Pruning method (DIMAP) to compress hierarchical ViTs. To ensure that "local" attention weights at different hierarchical levels are compared fairly in terms of their contribution, we treat them as a module and examine their contribution by analyzing their information distortion. Furthermore, we introduce a novel weight metric that is solely based on weights and does not require input images, thereby eliminating the dependence on the patch merging process. Our method validates its usefulness and strengths on Swin Transformers of different sizes on ImageNet-1k classification. Notably, the top-5 accuracy drop is only 0.07% when we remove 52.5% FLOPs and 52.7% parameters of Swin-B. When we reduce 33.2% FLOPs and 33.2% parameters of Swin-S, we can even achieve a 0.8% higher relative top-5 accuracy than the original model. Code is available at: https://github.com/he-y/Data-independent-Module-Aware-Pruning


title: Distributional Principal Autoencoders

abstract: Dimension reduction techniques usually lose information in the sense that reconstructed data are not identical to the original data. However, we argue that it is possible to have reconstructed data identically distributed as the original data, irrespective of the retained dimension or the specific mapping. This can be achieved by learning a distributional model that matches the conditional distribution of data given its low-dimensional latent variables. Motivated by this, we propose Distributional Principal Autoencoder (DPA) that consists of an encoder that maps high-dimensional data to low-dimensional latent variables and a decoder that maps the latent variables back to the data space. For reducing the dimension, the DPA encoder aims to minimise the unexplained variability of the data with an adaptive choice of the latent dimension. For reconstructing data, the DPA decoder aims to match the conditional distribution of all data that are mapped to a certain latent value, thus ensuring that the reconstructed data retains the original data distribution. Our numerical results on climate data, single-cell data, and image benchmarks demonstrate the practical feasibility and success of the approach in reconstructing the original distribution of the data. DPA embeddings are shown to preserve meaningful structures of data such as the seasonal cycle for precipitations and cell types for gene expression.


title: Surfaces with concentric or parallel $K$-contours

abstract: Surfaces with concentric $K$-contours and parallel $K$-contours in Euclidean $3$-space are defined. Crucial examples are presented and characterization of them are given.


title: Tight matrices and heavy traffic steady state convergence in queueing networks

abstract: In Braverman et al. (2024), the authors prove that the stationary distribution of a multiclass queueing network converges to the stationary distribution of a semimartingale reflecting Brownian motion (SRBM) in heavy traffic. Among the sufficient conditions for the convergence is that the reflection matrix $R$ of the SRBM is "tight". In this paper, we study how we can verify this tightness of $R$. For a $2$-dimensional SRBM, we give necessary and sufficient conditions for $R$ to be tight, while, for a general dimension, we only give sufficient conditions. We then apply these results to the SRBMs arising from the diffusion approximations of multiclass queueing networks with static buffer priority service disciplines that are studied in Braverman et al. (2024). It is shown that $R$ is always tight for this network with two stations if $R$ is defined and completely-S. For the case of more than two stations, it is shown that $R$ is tight for reentrant lines with last-buffer-first-service (LBFS) discipline, but it is not always tight for reentrant line with first-buffer-first-service (FBFS) discipline.


title: BANSAI: Towards Bridging the AI Adoption Gap in Industrial Robotics with Neurosymbolic Programming

abstract: Over the past decade, deep learning helped solve manipulation problems across all domains of robotics. At the same time, industrial robots continue to be programmed overwhelmingly using traditional program representations and interfaces. This paper undertakes an analysis of this "AI adoption gap" from an industry practitioner's perspective. In response, we propose the BANSAI approach (Bridging the AI Adoption Gap via Neurosymbolic AI). It systematically leverages principles of neurosymbolic AI to establish data-driven, subsymbolic program synthesis and optimization in modern industrial robot programming workflow. BANSAI conceptually unites several lines of prior research and proposes a path toward practical, real-world validation.


title: Ergodic and chaotic properties in Tavis-Cummings dimer: quantum and classical limit

abstract: We investigate two key aspects of quantum systems by using the Tavis-Cummings dimer system as a platform. The first aspect involves unraveling the relationship between the phenomenon of self-trapping (or lack thereof) and integrability (or quantum chaos). Secondly, we uncover {the possibility of} mixed behavior in this quantum system using diagnostics based on random matrix theory and make an in-depth study of classical-quantum correspondence. The setup chosen for the study is precisely suited as it (i) enables a transition from delocalized to self-trapped states and (ii) has a well-defined classical limit, thereby amenable to studies involving classical-quantum conjectures. The obtained classical model in itself has rich chaotic and ergodic properties which were probed via maximal Lyapunov exponents. Furthermore, we present aspects of chaos in the corresponding open quantum system and make connections with non-Hermitian random matrix theory.


title: Multi-AUV Cooperative Underwater Multi-Target Tracking Based on Dynamic-Switching-enabled Multi-Agent Reinforcement Learning

abstract: With the rapid development of underwater communication, sensing, automation, robot technologies, autonomous underwater vehicle (AUV) swarms are gradually becoming popular and have been widely promoted in ocean exploration and underwater tracking or surveillance, etc. However, the complex underwater environment poses significant challenges for AUV swarm-based accurate tracking for the underwater moving targets. In this paper, we aim at proposing a multi-AUV cooperative underwater multi-target tracking algorithm especially when the real underwater factors are taken into account.We first give normally modelling approach for the underwater sonar-based detection and the ocean current interference on the target tracking process.Then, we regard the AUV swarm as a underwater ad-hoc network and propose a novel Multi-Agent Reinforcement Learning (MARL) architecture towards the AUV swarm based on Software-Defined Networking (SDN).It enhances the flexibility and scalability of the AUV swarm through centralized management and distributed operations.Based on the proposed MARL architecture, we propose the "dynamic-attention switching" and "dynamic-resampling switching" mechanisms, to enhance the efficiency and accuracy of AUV swarm cooperation during task execution.Finally, based on a proposed AUV classification method, we propose an efficient cooperative tracking algorithm called ASMA.Evaluation results demonstrate that our proposed tracking algorithm can perform precise underwater multi-target tracking, comparing with many of recent research products in terms of convergence speed and tracking accuracy.


title: SPGNN: Recognizing Salient Subgraph Patterns via Enhanced Graph Convolution and Pooling

abstract: Graph neural networks (GNNs) have revolutionized the field of machine learning on non-Euclidean data such as graphs and networks. GNNs effectively implement node representation learning through neighborhood aggregation and achieve impressive results in many graph-related tasks. However, most neighborhood aggregation approaches are summation-based, which can be problematic as they may not be sufficiently expressive to encode informative graph structures. Furthermore, though the graph pooling module is also of vital importance for graph learning, especially for the task of graph classification, research on graph down-sampling mechanisms is rather limited. To address the above challenges, we propose a concatenation-based graph convolution mechanism that injectively updates node representations to maximize the discriminative power in distinguishing non-isomorphic subgraphs. In addition, we design a novel graph pooling module, called WL-SortPool, to learn important subgraph patterns in a deep-learning manner. WL-SortPool layer-wise sorts node representations (i.e. continuous WL colors) to separately learn the relative importance of subtrees with different depths for the purpose of classification, thus better characterizing the complex graph topology and rich information encoded in the graph. We propose a novel Subgraph Pattern GNN (SPGNN) architecture that incorporates these enhancements. We test the proposed SPGNN architecture on many graph classification benchmarks. Experimental results show that our method can achieve highly competitive results with state-of-the-art graph kernels and other GNN approaches.


title: Coboundaries and eigenvalues of morphic subshifts

abstract: We define a morphic subshift as a subshift generated by the image of a substitution subshift by another substitution. In other words, it is the subshift associated with a ultimately periodic directive sequence. We present an efficient algorithm for computing eigenvalues of morphic subshifts using coboundaries. We show that continuous eigenvalues of S-adic subshifts for primitive directive sequences are always associated with some coboundary. For morphic subshifts, we provide a characterization of the dimension of the Q-vector space generated by eigenvalues. Additionally, if the substitutions are unimodular and without coboundaries, we give a necessary and sufficient condition for weak mixing of the subshift.


title: MLP: Motion Label Prior for Temporal Sentence Localization in Untrimmed 3D Human Motions

abstract: In this paper, we address the unexplored question of temporal sentence localization in human motions (TSLM), aiming to locate a target moment from a 3D human motion that semantically corresponds to a text query. Considering that 3D human motions are captured using specialized motion capture devices, motions with only a few joints lack complex scene information like objects and lighting. Due to this character, motion data has low contextual richness and semantic ambiguity between frames, which limits the accuracy of predictions made by current video localization frameworks extended to TSLM to only a rough level. To refine this, we devise two novel label-prior-assisted training schemes: one embed prior knowledge of foreground and background to highlight the localization chances of target moments, and the other forces the originally rough predictions to overlap with the more accurate predictions obtained from the flipped start/end prior label sequences during recovery training. We show that injecting label-prior knowledge into the model is crucial for improving performance at high IoU. In our constructed TSLM benchmark, our model termed MLP achieves a recall of 44.13 at IoU@0.7 on the BABEL dataset and 71.17 on HumanML3D (Restore), outperforming prior works. Finally, we showcase the potential of our approach in corpus-level moment retrieval. Our source code is openly accessible at https://github.com/eanson023/mlp.


title: Tripartite multiphoton Jaynes-Cummings model: analytical solution and Wigner nonclassicalities

abstract: We investigate a generic tripartite quantum system featuring a single qubit interacting concurrently with two quantized harmonic oscillators via nonlinear multiphoton Jaynes-Cummings (MPJC) interactions. Assuming the qubit is initially prepared in a superposition state and the two oscillators are in arbitrary Fock states, we analytically trace the temporal evolution of this tripartite pure initial state. We identify four broad cases, each further divided into two subcases, and derive exact analytical solutions for most cases. Notably, we obtain perfect swapping of arbitrary Fock states between the oscillators by carefully selecting system parameters. In addition, we extensively examine the manner in which the nonclassicalities of various initial oscillator Fock states, quantified by the volume of negative regions in the associated Wigner functions, evolve under the MPJC Hamiltonian, considering diverse system parameters including environmentally induced effects. Besides producing substantial enhancements in the initial value for higher photon number states, our analysis reveals that driven solely by the initial qubit energy, with both oscillators initialized in the vacuum state, the nonlinear MPJC interaction yields nontrivial Wigner negativities in the oscillators. The additional nonlinearity introduced by the multiphoton process plays a pivotal role in surpassing the initial nonclassicalities of the photon number states.


title: LMFNet: An Efficient Multimodal Fusion Approach for Semantic Segmentation in High-Resolution Remote Sensing

abstract: Despite the rapid evolution of semantic segmentation for land cover classification in high-resolution remote sensing imagery, integrating multiple data modalities such as Digital Surface Model (DSM), RGB, and Near-infrared (NIR) remains a challenge. Current methods often process only two types of data, missing out on the rich information that additional modalities can provide. Addressing this gap, we propose a novel \textbf{L}ightweight \textbf{M}ultimodal data \textbf{F}usion \textbf{Net}work (LMFNet) to accomplish the tasks of fusion and semantic segmentation of multimodal remote sensing images. LMFNet uniquely accommodates various data types simultaneously, including RGB, NirRG, and DSM, through a weight-sharing, multi-branch vision transformer that minimizes parameter count while ensuring robust feature extraction. Our proposed multimodal fusion module integrates a \textit{Multimodal Feature Fusion Reconstruction Layer} and \textit{Multimodal Feature Self-Attention Fusion Layer}, which can reconstruct and fuse multimodal features. Extensive testing on public datasets such as US3D, ISPRS Potsdam, and ISPRS Vaihingen demonstrates the effectiveness of LMFNet. Specifically, it achieves a mean Intersection over Union ($mIoU$) of 85.09\% on the US3D dataset, marking a significant improvement over existing methods. Compared to unimodal approaches, LMFNet shows a 10\% enhancement in $mIoU$ with only a 0.5M increase in parameter count. Furthermore, against bimodal methods, our approach with trilateral inputs enhances $mIoU$ by 0.46 percentage points.


title: Trojan Detection in Large Language Models: Insights from The Trojan Detection Challenge

abstract: Large Language Models (LLMs) have demonstrated remarkable capabilities in various domains, but their vulnerability to trojan or backdoor attacks poses significant security risks. This paper explores the challenges and insights gained from the Trojan Detection Competition 2023 (TDC2023), which focused on identifying and evaluating trojan attacks on LLMs. We investigate the difficulty of distinguishing between intended and unintended triggers, as well as the feasibility of reverse engineering trojans in real-world scenarios. Our comparative analysis of various trojan detection methods reveals that achieving high Recall scores is significantly more challenging than obtaining high Reverse-Engineering Attack Success Rate (REASR) scores. The top-performing methods in the competition achieved Recall scores around 0.16, comparable to a simple baseline of randomly sampling sentences from a distribution similar to the given training prefixes. This finding raises questions about the detectability and recoverability of trojans inserted into the model, given only the harmful targets. Despite the inability to fully solve the problem, the competition has led to interesting observations about the viability of trojan detection and improved techniques for optimizing LLM input prompts. The phenomenon of unintended triggers and the difficulty in distinguishing them from intended triggers highlights the need for further research into the robustness and interpretability of LLMs. The TDC2023 has provided valuable insights into the challenges and opportunities associated with trojan detection in LLMs, laying the groundwork for future research in this area to ensure their safety and reliability in real-world applications.


title: Equational theory of ordinals with addition and left multiplication by $\omega$

abstract: We show that the equational theory of the structure $\langle \omega^{\omega}: (x,y)\mapsto x+y, x\mapsto \omega x \rangle $ is finitely axiomatizable and give a simple axiom schema when the domain is the set of transfinite ordinals. We give an algorithm that given a pair of terms $(E,F)$ decides in linear time with respect of their common length whether or not $E=F$ is a consequence of the axioms.


title: Optimal Interventions in Coupled-Activity Network Games: Application to Sustainable Forestry

abstract: We consider the problem of promoting sustainability in production forests wherein a given number of strategic entities are authorized to own or manage concession regions. These entities harvest agricultural commodities and sell them in a market. We study optimal price-shaping in a coupled-activity network game model in which the concession owners (agents) engage in two activities: (a) the sustainable activity of producing a commodity that does not interfere with protected forest resources, and (b) the unsustainable activity of infringing into protected regions to expand their agricultural footprint. We characterize two types of policies in a budget-constrained setting: one that maximally suppresses the aggregate unsustainable activity and another that maximizes social welfare while constraining the aggregate unsustainable activity to remain below a predefined tolerance. Our analysis provides novel insights on the agents' equilibrium effort across the two activities and their influence on others due to intra- and cross-activity network effects. We also identify a measure of node centrality that resembles the Bonacich-Katz centrality and helps us determine pricing incentives that lead to welfare improvement while reducing the aggregate unsustainable activity.


title: Cumulative Hazard Function Based Efficient Multivariate Temporal Point Process Learning

abstract: Most existing temporal point process models are characterized by conditional intensity function. These models often require numerical approximation methods for likelihood evaluation, which potentially hurts their performance. By directly modelling the integral of the intensity function, i.e., the cumulative hazard function (CHF), the likelihood can be evaluated accurately, making it a promising approach. However, existing CHF-based methods are not well-defined, i.e., the mathematical constraints of CHF are not completely satisfied, leading to untrustworthy results. For multivariate temporal point process, most existing methods model intensity (or density, etc.) functions for each variate, limiting the scalability. In this paper, we explore using neural networks to model a flexible but well-defined CHF and learning the multivariate temporal point process with low parameter complexity. Experimental results on six datasets show that the proposed model achieves the state-of-the-art performance on data fitting and event prediction tasks while having significantly fewer parameters and memory usage than the strong competitors. The source code and data can be obtained from https://github.com/lbq8942/NPP.


title: An Investigation into Distance Measures in Cluster Analysis

abstract: This report provides an exploration of different distance measures that can be used with the $K$-means algorithm for cluster analysis. Specifically, we investigate the Mahalanobis distance, and critically assess any benefits it may have over the more traditional measures of the Euclidean, Manhattan and Maximum distances. We perform this by first defining the metrics, before considering their advantages and drawbacks as discussed in literature regarding this area. We apply these distances, first to some simulated data and then to subsets of the Dry Bean dataset [1], to explore if there is a better quality detectable for one metric over the others in these cases. One of the sections is devoted to analysing the information obtained from ChatGPT in response to prompts relating to this topic.


title: MSTG: A Flexible and Scalable Microservices Infrastructure Generator

abstract: The last few years in the software engineering field has seen a paradigm shift from monolithic application towards architectures in which the application is split in various smaller entities (i.e., microservices) fueled by the improved availability and ease of use of containers technologies such as Docker and Kubernetes. Those microservices communicate between each other using networking technologies in place of function calls in traditional monolithic software. In order to be able to evaluate the potential, the modularity, and the scalability of this new approach, many tools, such as microservices benchmarking, have been developed with that objective in mind. Unfortunately, many of these tend to focus only on the application layer while not taking the underlying networking infrastructure into consideration. In this paper, we introduce and evaluate the performance of a new modular and scalable tool, MicroServices Topology Generator (MSTG), that allows to simulate both the application and networking layers of a microservices architecture. Based on a topology described in YAML format, MSTG generates the configuration file(s) for deploying the architecture on either Docker Composer or Kubernetes. Furthermore, MSTG encompasses telemetry tools, such as Application Performance Monitoring (APM) relying on OpenTelemetry. This paper fully describes MSTG, evaluates its performance, and demonstrates its potential through several use cases.


title: Sums of the triple divisor function over values of some quadratic forms

abstract: Let $\tau_3(n)$ be the triple divisor function. It is proved that $$ \sum_{1\leq n_1,n_2,n_3\leq \sqrt{x}}\tau_3(n_1^2+n_2^2+n_3^2)=c_1x^{\frac{3}{2}}(\log x)^2+ c_2x^{\frac{3}{2}}\log x +c_3x^{\frac{3}{2}} +O_{\varepsilon}(x^{\frac{13}{10}+\varepsilon}) $$ for some constants $c_1$, $c_2$ and $c_3$, updating a result of the second author and Zhang. Moreover, we show that $$ \sum_{1\leq n_1,n_2,n_3,n_4\leq \sqrt{x}}\tau_3(n_1^2+n_2^2+n_3^2+n_4^2) =c_4x^{2}(\log x)^2+c_5x^{2}\log x+c_6x^{2} +O_{\varepsilon}\left(x^{\frac{5}{3}+\varepsilon}\right) $$ for some constants $c_4$, $c_5$ and $c_6$, which improves the results in [6].


title: MathNet: A Data-Centric Approach for Printed Mathematical Expression Recognition

abstract: Printed mathematical expression recognition (MER) models are usually trained and tested using LaTeX-generated mathematical expressions (MEs) as input and the LaTeX source code as ground truth. As the same ME can be generated by various different LaTeX source codes, this leads to unwanted variations in the ground truth data that bias test performance results and hinder efficient learning. In addition, the use of only one font to generate the MEs heavily limits the generalization of the reported results to realistic scenarios. We propose a data-centric approach to overcome this problem, and present convincing experimental results: Our main contribution is an enhanced LaTeX normalization to map any LaTeX ME to a canonical form. Based on this process, we developed an improved version of the benchmark dataset im2latex-100k, featuring 30 fonts instead of one. Second, we introduce the real-world dataset realFormula, with MEs extracted from papers. Third, we developed a MER model, MathNet, based on a convolutional vision transformer, with superior results on all four test sets (im2latex-100k, im2latexv2, realFormula, and InftyMDB-1), outperforming the previous state of the art by up to 88.3%.


title: Contraction properties and differentiability of $p$-energy forms with applications to nonlinear potential theory on self-similar sets

abstract: We introduce new contraction properties called the generalized $p$-contraction property for $p$-energy forms as generalizations of many well-known inequalities, such as Clarkson's inequalities, the strong subadditivity and the ``Markov property'' in the theory of nonlinear Dirichlet forms, and show that any $p$-energy form satisfying Clarkson's inequalities is Fr\'{e}chet differentiable. We also verify the generalized $p$-contraction property for $p$-energy forms constructed by Kigami [Mem. Eur. Math. Soc. 5 (2023)] and by Cao--Gu--Qiu [Adv. Math. 405 (2022), no. 108517]. As a general framework of $p$-energy forms taking into consideration the generalized $p$-contraction property, we introduce the notion of $p$-resistance form and investigate fundamental properties for $p$-harmonic functions with respect to $p$-resistance forms. In particular, some new estimates on scaling factors of $p$-energy forms are obtained by establishing H\"{o}lder regularity estimates for harmonic functions, and the $p$-walk dimensions of the generalized Sierpi\'{n}ski carpets and $D$-dimensional level-$l$ Sierpi\'{n}ski gasket are shown to be strictly greater than $p$.


title: Rate Analysis of Coupled Distributed Stochastic Approximation for Misspecified Optimization

abstract: We consider an $n$ agents distributed optimization problem with imperfect information characterized in a parametric sense, where the unknown parameter can be solved by a distinct distributed parameter learning problem. Though each agent only has access to its local parameter learning and computational problem, they mean to collaboratively minimize the average of their local cost functions. To address the special optimization problem, we propose a coupled distributed stochastic approximation algorithm, in which every agent updates the current beliefs of its unknown parameter and decision variable by stochastic approximation method; and then averages the beliefs and decision variables of its neighbors over network in consensus protocol. Our interest lies in the convergence analysis of this algorithm. We quantitatively characterize the factors that affect the algorithm performance, and prove that the mean-squared error of the decision variable is bounded by $\mathcal{O}(\frac{1}{nk})+\mathcal{O}\left(\frac{1}{\sqrt{n}(1-\rho_w)}\right)\frac{1}{k^{1.5}}+\mathcal{O}\big(\frac{1}{(1-\rho_w)^2} \big)\frac{1}{k^2}$, where $k$ is the iteration count and $(1-\rho_w)$ is the spectral gap of the network weighted adjacency matrix. It reveals that the network connectivity characterized by $(1-\rho_w)$ only influences the high order of convergence rate, while the domain rate still acts the same as the centralized algorithm. In addition, we analyze that the transient iteration needed for reaching its dominant rate $\mathcal{O}(\frac{1}{nk})$ is $\mathcal{O}(\frac{n}{(1-\rho_w)^2})$. Numerical experiments are carried out to demonstrate the theoretical results by taking different CPUs as agents, which is more applicable to real-world distributed scenarios.


title: A Minkowski type inequality in warped cylinders

abstract: We prove a Minkowski type inequality for weakly mean convex and star-shaped hypersurfaces in warped cylinders which are asymptotically flat or hyperbolic. In particular, we show that this sharp inequality holds for outward minimizing hypersurfaces in the Schwarzschild manifold using the weak solution of the inverse mean curvature flow.


title: FiLo: Zero-Shot Anomaly Detection by Fine-Grained Description and High-Quality Localization

abstract: Zero-shot anomaly detection (ZSAD) methods entail detecting anomalies directly without access to any known normal or abnormal samples within the target item categories. Existing approaches typically rely on the robust generalization capabilities of multimodal pretrained models, computing similarities between manually crafted textual features representing "normal" or "abnormal" semantics and image features to detect anomalies and localize anomalous patches. However, the generic descriptions of "abnormal" often fail to precisely match diverse types of anomalies across different object categories. Additionally, computing feature similarities for single patches struggles to pinpoint specific locations of anomalies with various sizes and scales. To address these issues, we propose a novel ZSAD method called FiLo, comprising two components: adaptively learned Fine-Grained Description (FG-Des) and position-enhanced High-Quality Localization (HQ-Loc). FG-Des introduces fine-grained anomaly descriptions for each category using Large Language Models (LLMs) and employs adaptively learned textual templates to enhance the accuracy and interpretability of anomaly detection. HQ-Loc, utilizing Grounding DINO for preliminary localization, position-enhanced text prompts, and Multi-scale Multi-shape Cross-modal Interaction (MMCI) module, facilitates more accurate localization of anomalies of different sizes and shapes. Experimental results on datasets like MVTec and VisA demonstrate that FiLo significantly improves the performance of ZSAD in both detection and localization, achieving state-of-the-art performance with an image-level AUC of 83.9% and a pixel-level AUC of 95.9% on the VisA dataset.


title: Proceedings 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis

abstract: This volume contains * The post-proceedings of the Eighteenth Logical and Semantic Frameworks with Applications (LSFA 2023). The meeting was held on July 1-2, 2023, organised by the Sapienza Universit\`a di Roma, Italy. LSFA aims to bring researchers and students interested in theoretical and practical aspects of logical and semantic frameworks and their applications. The covered topics include proof theory, type theory and rewriting theory, specification and deduction languages, and formal semantics of languages and systems. * The post-proceedings of the Tenth Workshop on Horn clauses for Verification and Synthesis (HCVS 2023). The meeting was held on April 23, 2023 at the Institut Henri Poincar\'e in Paris. HCVS aims to bring together researchers working in the two communities of constraint/ logic programming (e.g., ICLP and CP), program verification (e.g., CAV, TACAS, and VMCAI), and automated deduction (e.g., CADE, IJCAR), on the topics of Horn clause based analysis, verification, and synthesis.


title: In-situ process monitoring and adaptive quality enhancement in laser additive manufacturing: a critical review

abstract: Laser Additive Manufacturing (LAM) presents unparalleled opportunities for fabricating complex, high-performance structures and components with unique material properties. Despite these advancements, achieving consistent part quality and process repeatability remains challenging. This paper provides a comprehensive review of various state-of-the-art in-situ process monitoring techniques, including optical-based monitoring, acoustic-based sensing, laser line scanning, and operando X-ray monitoring. These techniques are evaluated for their capabilities and limitations in detecting defects within Laser Powder Bed Fusion (LPBF) and Laser Directed Energy Deposition (LDED) processes. Furthermore, the review discusses emerging multisensor monitoring and machine learning (ML)-assisted defect detection methods, benchmarking ML models tailored for in-situ defect detection. The paper also discusses in-situ adaptive defect remediation strategies that advance LAM towards zero-defect autonomous operations, focusing on real-time closed-loop feedback control and defect correction methods. Research gaps such as the need for standardization, improved reliability and sensitivity, and decision-making strategies beyond early stopping are highlighted. Future directions are proposed, with an emphasis on multimodal sensor fusion for multiscale defect prediction and fault diagnosis, ultimately enabling self-adaptation in LAM processes. This paper aims to equip researchers and industry professionals with a holistic understanding of the current capabilities, limitations, and future directions in in-situ process monitoring and adaptive quality enhancement in LAM.


title: On de Bruijn Covering Sequences and Arrays

abstract: An $(m,n,R)$-de Bruijn covering array (dBCA) is a doubly periodic $M \times N$ array over an alphabet of size $q$ such that the set of all its $m \times n$ windows form a covering code with radius $R$. An upper bound of the smallest array area of an $(m,n,R)$-dBCA is provided using a probabilistic technique which is similar to the one that was used for an upper bound on the length of a de Bruijn covering sequence. A folding technique to construct a dBCA from a de Bruijn covering sequence or de Bruijn covering sequences code is presented. Several new constructions that yield shorter de Bruijn covering sequences and $(m,n,R)$-dBCAs with smaller areas are also provided. These constructions are mainly based on sequences derived from cyclic codes, self-dual sequences, primitive polynomials, an interleaving technique, folding, and mutual shifts of sequences with the same covering radius. Finally, constructions of de Bruijn covering sequences codes are also discussed.


title: Marangoni Interfacial Instability Induced by Solute Transfer Across Liquid-Liquid Interfaces

abstract: This study presents analytical and numerical investigations of Marangoni interfacial instability in a two-liquid-layer system with constant solute transfer across the liquid interface. Previous research has demonstrated that both viscosity ratio and diffusivity ratio can influence the system's hydrodynamic stability via the Marangoni effect, but the distinctions in process and mechanisms are not yet fully understood. To gain insights, we developed a numerical model based on the phase-field method, rigorously validated against linear stability analysis. The parameter space explored encompasses Schmidt number ($Sc \in [0.2, 200]$), Marangoni number ($Ma_c \in [10, 2000]$), Capillary number ($Ca \in [0.01, 1]$), viscosity ratio ($\zeta_\mu \in [0.1, 10]$), and diffusivity ratio ($\zeta_D \in [0.1, 10]$). We identified two key characteristics of Marangoni instability: the self-amplification of triggered Marangoni flows in flow-intensity-unstable case and the oscillation of flow patterns during flow decay in flow-intensity-stable case. Direct numerical simulations incorporating interfacial deformation and nonlinearity confirm that specific conditions, including solute transfer out of a higher viscous or less diffusive layer, amplify and sustain Marangoni interfacial flows. Furthermore, the study highlights the role of interfacial deformation and unequal solute variation in system instability, proposing corresponding instability mechanisms. Notably, traveling waves are observed in the flow-intensity-stable case, correlating with the morphological evolution of convection rolls. These insights contribute to a comprehensive understanding of Marangoni interfacial instability in multicomponent fluids systems, elucidating the mechanisms underlying variations in viscosity and diffusivity ratios across liquid layers.


title: Lowest-degree robust finite element schemes for inhomogeneous bi-Laplace problems

abstract: In this paper, we study the numerical method for the bi-Laplace problems with inhomogeneous coefficients; particularly, we propose finite element schemes on rectangular grids respectively for an inhomogeneous fourth-order elliptic singular perturbation problem and for the Helmholtz transmission eigenvalue problem. The new methods use the reduced rectangle Morley (RRM for short) element space with piecewise quadratic polynomials, which are of the lowest degree possible. For the finite element space, a discrete analogue of an equality by Grisvard is proved for the stability issue and a locally-averaged interpolation operator is constructed for the approximation issue. Optimal convergence rates of the schemes are proved, and numerical experiments are given to verify the theoretical analysis.


title: A Dataset and Model for Realistic License Plate Deblurring

abstract: Vehicle license plate recognition is a crucial task in intelligent traffic management systems. However, the challenge of achieving accurate recognition persists due to motion blur from fast-moving vehicles. Despite the widespread use of image synthesis approaches in existing deblurring and recognition algorithms, their effectiveness in real-world scenarios remains unproven. To address this, we introduce the first large-scale license plate deblurring dataset named License Plate Blur (LPBlur), captured by a dual-camera system and processed through a post-processing pipeline to avoid misalignment issues. Then, we propose a License Plate Deblurring Generative Adversarial Network (LPDGAN) to tackle the license plate deblurring: 1) a Feature Fusion Module to integrate multi-scale latent codes; 2) a Text Reconstruction Module to restore structure through textual modality; 3) a Partition Discriminator Module to enhance the model's perception of details in each letter. Extensive experiments validate the reliability of the LPBlur dataset for both model training and testing, showcasing that our proposed model outperforms other state-of-the-art motion deblurring methods in realistic license plate deblurring scenarios. The dataset and code are available at https://github.com/haoyGONG/LPDGAN.


title: Adaptive Social Force Window Planner with Reinforcement Learning

abstract: Human-aware navigation is a complex task for mobile robots, requiring an autonomous navigation system capable of achieving efficient path planning together with socially compliant behaviors. Social planners usually add costs or constraints to the objective function, leading to intricate tuning processes or tailoring the solution to the specific social scenario. Machine Learning can enhance planners' versatility and help them learn complex social behaviors from data. This work proposes an adaptive social planner, using a Deep Reinforcement Learning agent to dynamically adjust the weighting parameters of the cost function used to evaluate trajectories. The resulting planner combines the robustness of the classic Dynamic Window Approach, integrated with a social cost based on the Social Force Model, and the flexibility of learning methods to boost the overall performance on social navigation tasks. Our extensive experimentation on different environments demonstrates the general advantage of the proposed method over static cost planners.


title: GScream: Learning 3D Geometry and Feature Consistent Gaussian Splatting for Object Removal

abstract: This paper tackles the intricate challenge of object removal to update the radiance field using the 3D Gaussian Splatting. The main challenges of this task lie in the preservation of geometric consistency and the maintenance of texture coherence in the presence of the substantial discrete nature of Gaussian primitives. We introduce a robust framework specifically designed to overcome these obstacles. The key insight of our approach is the enhancement of information exchange among visible and invisible areas, facilitating content restoration in terms of both geometry and texture. Our methodology begins with optimizing the positioning of Gaussian primitives to improve geometric consistency across both removed and visible areas, guided by an online registration process informed by monocular depth estimation. Following this, we employ a novel feature propagation mechanism to bolster texture coherence, leveraging a cross-attention design that bridges sampling Gaussians from both uncertain and certain areas. This innovative approach significantly refines the texture coherence within the final radiance field. Extensive experiments validate that our method not only elevates the quality of novel view synthesis for scenes undergoing object removal but also showcases notable efficiency gains in training and rendering speeds.


title: Zero-shot High-fidelity and Pose-controllable Character Animation

abstract: Image-to-video (I2V) generation aims to create a video sequence from a single image, which requires high temporal coherence and visual fidelity. However, existing approaches suffer from inconsistency of character appearances and poor preservation of fine details. Moreover, they require a large amount of video data for training, which can be computationally demanding. To address these limitations, we propose PoseAnimate, a novel zero-shot I2V framework for character animation. PoseAnimate contains three key components: 1) a Pose-Aware Control Module (PACM) that incorporates diverse pose signals into text embeddings, to preserve character-independent content and maintain precise alignment of actions. 2) a Dual Consistency Attention Module (DCAM) that enhances temporal consistency and retains character identity and intricate background details. 3) a Mask-Guided Decoupling Module (MGDM) that refines distinct feature perception abilities, improving animation fidelity by decoupling the character and background. We also propose a Pose Alignment Transition Algorithm (PATA) to ensure smooth action transition. Extensive experiment results demonstrate that our approach outperforms the state-of-the-art training-based methods in terms of character consistency and detail fidelity. Moreover, it maintains a high level of temporal coherence throughout the generated animations.


title: $\mathsf{QuITO}$ $\textsf{v.2}$: Trajectory Optimization with Uniform Error Guarantees under Path Constraints

abstract: This article introduces a new transcription, change point localization, and mesh refinement scheme for direct optimization-based solutions and for uniform approximation of optimal control trajectories associated with a class of nonlinear constrained optimal control problems (OCPs). The base transcription algorithm for which we establish the refinement algorithm is a $\textit{direct multiple shooting technique}$ -- $\mathsf{QuITO}$ $\textsf{v.2}$ (Quasi-Interpolation based Trajectory Optimization). The mesh refinement technique consists of two steps -- localization of certain irregular regions in an optimal control trajectory via wavelets, followed by a targeted $h$-refinement approach around such regions of irregularity. Theoretical approximation guarantees on uniform grids are presented for optimal controls with certain regularity properties along with guarantees of localization of change points by wavelet transform. Numerical illustrations are provided for control profiles involving discontinuities to show the effectiveness of the localization and refinement strategy. We also announce and make freely available a new software package developed based on $\mathsf{QuITO}$ $\textsf{v.2}$ along with its functionalities to make the article complete.


title: Reproducible data science over data lakes: replayable data pipelines with Bauplan and Nessie

abstract: As the Lakehouse architecture becomes more widespread, ensuring the reproducibility of data workloads over data lakes emerges as a crucial concern for data engineers. However, achieving reproducibility remains challenging. The size of data pipelines contributes to slow testing and iterations, while the intertwining of business logic and data management complicates debugging and increases error susceptibility. In this paper, we highlight recent advancements made at Bauplan in addressing this challenge. We introduce a system designed to decouple compute from data management, by leveraging a cloud runtime alongside Nessie, an open-source catalog with Git semantics. Demonstrating the system's capabilities, we showcase its ability to offer time-travel and branching semantics on top of object storage, and offer full pipeline reproducibility with a few CLI commands.


title: Low-ordered Orthogonal Voxel Finite Element with INT8 Tensor Cores for GPU-based Explicit Elastic Wave Propagation Analysis

abstract: Faster explicit elastic wavefield simulations are required for large and complex three-dimensional media using a structured finite element method. Such wavefield simulations are suitable for GPUs, which have exhibited improved computational performance in recent years, and the use of GPUs is expected to speed up such simulations. However, available computational performance on GPUs is typically not fully exploited, and the conventional method involves some numerical dispersion. Thus, in this paper, we propose an explicit structured-mesh wavefield simulation method that uses INT8 Tensor Cores and reduces numerical dispersion to speed up computation on GPUs. The proposed method was implemented for GPUs, and its performance was evaluated in a simulation experiment of a real-world problem. The results demonstrate that the proposed method is 17.0 times faster than the conventional method.


title: Generalized Entanglement Capacity of de Sitter Space

abstract: Near horizons, quantum fields of low spin exhibit densities of states that behave asymptotically like 1+1 dimensional conformal field theories. In effective field theory, imposing some short-distance cutoff, one can compute thermodynamic quantities associated with the horizon, and the leading cutoff sensitivity of the heat capacity is found to equal to the leading cutoff sensitivity of the entropy. One can also compute contributions to the thermodynamic quantities from the gravitational path integral. For the cosmological horizon of the static patch of de Sitter space, a natural conjecture for the relevant heat capacity is shown to equal the Bekenstein-Hawking entropy. These observations allow us to extend the well-known notion of the generalized entropy to a generalized heat capacity for the static patch of dS. The finiteness of the entropy and the nonvanishing of the generalized heat capacity suggests it is useful to think about dS as a state in a finite dimensional quantum gravity model that is not maximally uncertain.


title: Second-Order Identification Capacity of AWGN Channels

abstract: In this paper, we establish the second-order randomized identification capacity (RID capacity) of the Additive White Gaussian Noise Channel (AWGNC). On the one hand, we obtain a refined version of Hayashi's theorem to prove the achievability part. On the other, we investigate the relationship between identification and channel resolvability, then we propose a finer quantization method to prove the converse part. Consequently, the second-order RID capacity of the AWGNC has the same form as the second-order transmission capacity. The only difference is that the maximum number of messages in RID scales double exponentially in the blocklength.


title: Hyper-SD: Trajectory Segmented Consistency Model for Efficient Image Synthesis

abstract: Recently, a series of diffusion-aware distillation algorithms have emerged to alleviate the computational overhead associated with the multi-step inference process of Diffusion Models (DMs). Current distillation techniques often dichotomize into two distinct aspects: i) ODE Trajectory Preservation; and ii) ODE Trajectory Reformulation. However, these approaches suffer from severe performance degradation or domain shifts. To address these limitations, we propose Hyper-SD, a novel framework that synergistically amalgamates the advantages of ODE Trajectory Preservation and Reformulation, while maintaining near-lossless performance during step compression. Firstly, we introduce Trajectory Segmented Consistency Distillation to progressively perform consistent distillation within pre-defined time-step segments, which facilitates the preservation of the original ODE trajectory from a higher-order perspective. Secondly, we incorporate human feedback learning to boost the performance of the model in a low-step regime and mitigate the performance loss incurred by the distillation process. Thirdly, we integrate score distillation to further improve the low-step generation capability of the model and offer the first attempt to leverage a unified LoRA to support the inference process at all steps. Extensive experiments and user studies demonstrate that Hyper-SD achieves SOTA performance from 1 to 8 inference steps for both SDXL and SD1.5. For example, Hyper-SDXL surpasses SDXL-Lightning by +0.68 in CLIP Score and +0.51 in Aes Score in the 1-step inference.