title: Mind Meets Robots: A Review of EEG-Based Brain-Robot Interaction Systems

abstract: Brain-robot interaction (BRI) empowers individuals to control (semi-)automated machines through their brain activity, either passively or actively. In the past decade, BRI systems have achieved remarkable success, predominantly harnessing electroencephalogram (EEG) signals as the central component. This paper offers an up-to-date and exhaustive examination of 87 curated studies published during the last five years (2018-2023), focusing on identifying the research landscape of EEG-based BRI systems. This review aims to consolidate and underscore methodologies, interaction modes, application contexts, system evaluation, existing challenges, and potential avenues for future investigations in this domain. Based on our analysis, we present a BRI system model with three entities: Brain, Robot, and Interaction, depicting the internal relationships of a BRI system. We especially investigate the essence and principles on interaction modes between human brains and robots, a domain that has not yet been identified anywhere. We then discuss these entities with different dimensions encompassed. Within this model, we scrutinize and classify current research, reveal insights, specify challenges, and provide recommendations for future research trajectories in this field. Meanwhile, we envision our findings offer a design space for future human-robot interaction (HRI) research, informing the creation of efficient BRI frameworks.


title: HINORA, a method for detecting ring-like structures in 3D point distributions I: application to the Local Volume Galaxy catalogue

abstract: We present a new method - called HINORA (HIgh-NOise RANdom SAmple Consensus) - for the identification of regular structures in 3D point distributions. Motivated by the possible existence of the so called Council of Giants, i.e. a ring of twelve massive galaxies surrounding the Local Group in the Local Sheet with a radius of 3.75 Mpc, we apply HINORA to the Local Volume Galaxy catalogue confirming its existence. When varying the lower limit of K-band luminosity of the galaxy entering the catalogue, we further report on the existence of another ring-like structure in the Local Volume that now contains the Milky Way and M31. However, this newly found structure is dominated by low-mass (satellite) galaxies. While we here simply present the novel method as well as its first application to observational data, follow-up work using numerical simulations of cosmic structure formation shall shed light into the origin of such regular patterns in the galaxy distribution. Further, the method is equally suited to identify similar (or even different) structures in various kinds of astrophysical data (e.g. locating the actual 'baryonic-acoustic oscillation spheres' in galaxy redshift surveys).

categories: astro-ph.CO astro-ph.GA physics.comp-ph physics.data-an physics.space-ph


title: On Geometrically Convex Risk Measures

abstract: Geometrically convex functions constitute an interesting class of functions obtained by replacing the arithmetic mean with the geometric mean in the definition of convexity. As recently suggested, geometric convexity may be a sensible property for financial risk measures ([7,13,4]). We introduce a notion of GG-convex conjugate, parallel to the classical notion of convex conjugate introduced by Fenchel, and we discuss its properties. We show how GG-convex conjugation can be axiomatized in the spirit of the notion of general duality transforms introduced in [2,3]. We then move to the study of GG-convex risk measures, which are defined as GG-convex functionals defined on suitable spaces of random variables. We derive a general dual representation that extends analogous expressions presented in [4] under the additional assumptions of monotonicity and positive homogeneity. As a prominent example, we study the family of Orlicz risk measures. Finally, we introduce multiplicative versions of the convex and of the increasing convex order and discuss related consistency properties of law-invariant GG-convex risk measures.


title: Harmonious Group Choreography with Trajectory-Controllable Diffusion

abstract: Creating group choreography from music has gained attention in cultural entertainment and virtual reality, aiming to coordinate visually cohesive and diverse group movements. Despite increasing interest, recent works face challenges in achieving aesthetically appealing choreography, primarily for two key issues: multi-dancer collision and single-dancer foot slide. To address these issues, we propose a Trajectory-Controllable Diffusion (TCDiff), a novel approach that harnesses non-overlapping trajectories to facilitate coherent dance movements. Specifically, to tackle dancer collisions, we introduce a Dance-Beat Navigator capable of generating trajectories for multiple dancers based on the music, complemented by a Distance-Consistency loss to maintain appropriate spacing among trajectories within a reasonable threshold. To mitigate foot sliding, we present a Footwork Adaptor that utilizes trajectory displacement from adjacent frames to enable flexible footwork, coupled with a Relative Forward-Kinematic loss to adjust the positioning of individual dancers' root nodes and joints. Extensive experiments demonstrate that our method achieves state-of-the-art results.


title: Monotone Mean-Variance Portfolio Selection in Semimartingale Markets: Martingale Method

abstract: We use the martingale method to discuss the relationship between mean-variance (MV) and monotone mean-variance (MMV) portfolio selections. We propose a unified framework to discuss the relationship in general financial markets without any specific setting or completeness requirement. We apply this framework to a semimartingale market and find that MV and MMV are consistent if and only if the variance-optimal signed martingale measure keeps non-negative. Further, we provide an example to show the application of our result.


title: Hairer-Quastel universality for KPZ -- polynomial smoothing mechanisms, general nonlinearities and Poisson noise

abstract: We consider a class of weakly asymmetric continuous microscopic growth models with polynomial smoothing mechanisms, general nonlinearities and a Poisson type noise. We show that they converge to the KPZ equation after proper rescaling and re-centering, where the coupling constant depends nontrivially on all details of the smoothing and growth mechanisms in the microscopic model. This confirms some of the predictions in [HQ18]. The proof builds on the general discretisation framework of regularity structures ([EH19]), and employs the idea of using the spectral gap inequality to control stochastic objects as developed and systematised in [LOTT21, HS24], together with a new observation on structures of the Malliavin derivatives in our situation.


title: Limit theorems for SDEs with irregular drifts

abstract: In this paper, concerning SDEs with H\"older continuous drifts, which are merely dissipative at infinity, and SDEs with piecewise continuous drifts, we investigate the strong law of large numbers and the central limit theorem for underlying additive functionals and reveal the corresponding rates of convergence. To establish the limit theorems under consideration, the exponentially contractive property of solution processes under the (quasi-)Wasserstein distance plays an indispensable role. In order to achieve such contractive property, which is new and interesting in its own right for SDEs with H\"older continuous drifts or piecewise continuous drifts, the reflection coupling method is employed and meanwhile a sophisticated test function is built.


title: The influence of orography and the direction of prevailing winds on precipitation distributions

abstract: The general circulation of the atmosphere (GCA) carries out a constant and unidirectional transfer of air masses, therefore its influence is manifested in the distribution of precipitation around the globe due to the occurrence of rain shadow behind mountain barriers. Over the territory of Russia, GCA manifests itself in the form of westerly winds, which cause a decrease in precipitation on the leeward side of the Ural Mountains and the Central Siberian Plateau. The contribution of the orographic component to the spatial variability of precipitation on average reaches 50-60% of the monthly precipitation amounts. Forecasting the magnitude of the orographic effect is close to predicting the transfer rates in GCA, the measurement of which has not yet been satisfactorily provided. A possible promising way to solve the problem is to develop special algorithms similar to those used for detecting Madden-Julian oscillations.


title: On depth prediction for autonomous driving using self-supervised learning

abstract: Perception of the environment is a critical component for enabling autonomous driving. It provides the vehicle with the ability to comprehend its surroundings and make informed decisions. Depth prediction plays a pivotal role in this process, as it helps the understanding of the geometry and motion of the environment. This thesis focuses on the challenge of depth prediction using monocular self-supervised learning techniques. The problem is approached from a broader perspective first, exploring conditional generative adversarial networks (cGANs) as a potential technique to achieve better generalization was performed. In doing so, a fundamental contribution to the conditional GANs, the acontrario cGAN was proposed. The second contribution entails a single image-to-depth self-supervised method, proposing a solution for the rigid-scene assumption using a novel transformer-based method that outputs a pose for each dynamic object. The third significant aspect involves the introduction of a video-to-depth map forecasting approach. This method serves as an extension of self-supervised techniques to predict future depths. This involves the creation of a novel transformer model capable of predicting the future depth of a given scene. Moreover, the various limitations of the aforementioned methods were addressed and a video-to-video depth maps model was proposed. This model leverages the spatio-temporal consistency of the input and output sequence to predict a more accurate depth sequence output. These methods have significant applications in autonomous driving (AD) and advanced driver assistance systems (ADAS).


title: F\'isica Estad\'istica: teor\'ia, ejemplos trabajados, modelos y simulaciones

abstract: In this book, we study Statistical Physics under conditions of thermodynamic equilibrium, starting from the definition of statistical ensembles. The book is divided into five chapters: First, a brief introduction to statistical methods. Second, the statistical description of isolated systems, corresponding to microcanonical ensembles. Third, the statistical description of systems in contact with a heat reservoir at a constant temperature T, known as the canonical ensemble. Fourth, the description of systems in contact with a heat reservoir at temperature T and with a constant chemical potential {\mu}; the grand canonical ensemble. And finally, quantum statistics. In each chapter, a theoretical description, worked examples, links to simulations (see GitHub repository: https://github.com/davidalejandromiranda/StatisticalPhysics) and discussions on recent scientific reports will be presented so readers can complement their studies.


title: Positivity and tails of pentagonal number series

abstract: In this paper, we refine a result of Andrews and Merca on truncated pentagonal number series. Subsequently, we establish some positivity results involving Andrews--Gordon--Bressoud identities and $d$-regular partitions. In particular, we prove several conjectures of Merca and Krattenthaler--Merca--Radu on truncated pentagonal number series.


title: DrFuse: Learning Disentangled Representation for Clinical Multi-Modal Fusion with Missing Modality and Modal Inconsistency

abstract: The combination of electronic health records (EHR) and medical images is crucial for clinicians in making diagnoses and forecasting prognosis. Strategically fusing these two data modalities has great potential to improve the accuracy of machine learning models in clinical prediction tasks. However, the asynchronous and complementary nature of EHR and medical images presents unique challenges. Missing modalities due to clinical and administrative factors are inevitable in practice, and the significance of each data modality varies depending on the patient and the prediction target, resulting in inconsistent predictions and suboptimal model performance. To address these challenges, we propose DrFuse to achieve effective clinical multi-modal fusion. It tackles the missing modality issue by disentangling the features shared across modalities and those unique within each modality. Furthermore, we address the modal inconsistency issue via a disease-wise attention layer that produces the patient- and disease-wise weighting for each modality to make the final prediction. We validate the proposed method using real-world large-scale datasets, MIMIC-IV and MIMIC-CXR. Experimental results show that the proposed method significantly outperforms the state-of-the-art models. Our implementation is publicly available at https://github.com/dorothy-yao/drfuse.


title: Theory on new fractional operators using normalization and probability tools

abstract: We show how a rescaling of fractional operators with bounded kernels may help circumvent their documented deficiencies, for example, the inconsistency at zero or the lack of inverse integral operator. On the other hand, we build a novel class of linear operators with memory effects to extend the L-fractional and the ordinary derivatives, using probability tools. A Mittag-Leffler-type function is introduced to solve linear problems, and nonlinear equations are solved with power series, illustrating the methods for the SIR model. The inverse operator is constructed, and a fundamental theorem of calculus and an existence-and-uniqueness result for differential equations are proved. A conjecture on deconvolution is raised, that would permit completing the proposed theory.


title: Mipha: A Comprehensive Overhaul of Multimodal Assistant with Small Language Models

abstract: Multimodal Large Language Models (MLLMs) have showcased impressive skills in tasks related to visual understanding and reasoning. Yet, their widespread application faces obstacles due to the high computational demands during both the training and inference phases, restricting their use to a limited audience within the research and user communities. In this paper, we investigate the design aspects of Multimodal Small Language Models (MSLMs) and propose an efficient multimodal assistant named Mipha, which is designed to create synergy among various aspects: visual representation, language models, and optimization strategies. We show that without increasing the volume of training data, our Mipha-3B outperforms the state-of-the-art large MLLMs, especially LLaVA-1.5-13B, on multiple benchmarks. Through detailed discussion, we provide insights and guidelines for developing strong MSLMs that rival the capabilities of MLLMs. Our code is available at https://github.com/zhuyiche/llava-phi.


title: SuPRA: Surgical Phase Recognition and Anticipation for Intra-Operative Planning

abstract: Intra-operative recognition of surgical phases holds significant potential for enhancing real-time contextual awareness in the operating room. However, we argue that online recognition, while beneficial, primarily lends itself to post-operative video analysis due to its limited direct impact on the actual surgical decisions and actions during ongoing procedures. In contrast, we contend that the prediction and anticipation of surgical phases are inherently more valuable for intra-operative assistance, as they can meaningfully influence a surgeon's immediate and long-term planning by providing foresight into future steps. To address this gap, we propose a dual approach that simultaneously recognises the current surgical phase and predicts upcoming ones, thus offering comprehensive intra-operative assistance and guidance on the expected remaining workflow. Our novel method, Surgical Phase Recognition and Anticipation (SuPRA), leverages past and current information for accurate intra-operative phase recognition while using future segments for phase prediction. This unified approach challenges conventional frameworks that treat these objectives separately. We have validated SuPRA on two reputed datasets, Cholec80 and AutoLaparo21, where it demonstrated state-of-the-art performance with recognition accuracies of 91.8% and 79.3%, respectively. Additionally, we introduce and evaluate our model using new segment-level evaluation metrics, namely Edit and F1 Overlap scores, for a more temporal assessment of segment classification. In conclusion, SuPRA presents a new multi-task approach that paves the way for improved intra-operative assistance through surgical phase recognition and prediction of future events.


title: Are You Being Tracked? Discover the Power of Zero-Shot Trajectory Tracing with LLMs!

abstract: There is a burgeoning discussion around the capabilities of Large Language Models (LLMs) in acting as fundamental components that can be seamlessly incorporated into Artificial Intelligence of Things (AIoT) to interpret complex trajectories. This study introduces LLMTrack, a model that illustrates how LLMs can be leveraged for Zero-Shot Trajectory Recognition by employing a novel single-prompt technique that combines role-play and think step-by-step methodologies with unprocessed Inertial Measurement Unit (IMU) data. We evaluate the model using real-world datasets designed to challenge it with distinct trajectories characterized by indoor and outdoor scenarios. In both test scenarios, LLMTrack not only meets but exceeds the performance benchmarks set by traditional machine learning approaches and even contemporary state-of-the-art deep learning models, all without the requirement of training on specialized datasets. The results of our research suggest that, with strategically designed prompts, LLMs can tap into their extensive knowledge base and are well-equipped to analyze raw sensor data with remarkable effectiveness.


title: Pursuit Winning Strategies for Reach-Avoid Games with Polygonal Obstacles

abstract: This paper studies a multiplayer reach-avoid differential game in the presence of general polygonal obstacles that block the players' motions. The pursuers cooperate to protect a convex region from the evaders who try to reach the region. We propose a multiplayer onsite and close-to-goal (MOCG) pursuit strategy that can tell and achieve an increasing lower bound on the number of guaranteed defeated evaders. This pursuit strategy fuses the subgame outcomes for multiple pursuers against one evader with hierarchical optimal task allocation in the receding-horizon manner. To determine the qualitative subgame outcomes that who is the game winner, we construct three pursuit winning regions and strategies under which the pursuers guarantee to win against the evader, regardless of the unknown evader strategy. First, we utilize the expanded Apollonius circles and propose the onsite pursuit winning that achieves the capture in finite time. Second, we introduce convex goal-covering polygons (GCPs) and propose the close-to-goal pursuit winning for the pursuers whose visibility region contains the whole protected region, and the goal-visible property will be preserved afterwards. Third, we employ Euclidean shortest paths (ESPs) and construct a pursuit winning region and strategy for the non-goal-visible pursuers, where the pursuers are firstly steered to positions with goal visibility along ESPs. In each horizon, the hierarchical optimal task allocation maximizes the number of defeated evaders and consists of four sequential matchings: capture, enhanced, non-dominated and closest matchings. Numerical examples are presented to illustrate the results.


title: Constraining dark matter model using 21cm line intensity mapping

abstract: We apply the Convolutional Neural Networks (CNNs) to the mock 21cm maps from the post-reionization epoch to show that the $\Lambda$CDM and warm dark matter (WDM) model can be distinguished for WDM particle masses $m_{FD}<3$ keV, under the assumption of thermal production of WDM following the Fermi-Dirac (FD) distribution. We demonstrate that the CNN is a potent tool in distinguishing the dark matter masses, highlighting its sensitivity to the subtle differences in the 21cm maps produced by varying dark matter masses. Furthermore, we extend our analysis to encompass different WDM production mechanisms, recognizing that the dark matter production mechanism in the early Universe is among the sources of the most significant uncertainty for the dark matter model building. In this work, given the mass of the dark matter, we discuss the feasibility of discriminating four different WDM models: Fermi-Dirac (FD) distribution model, neutrino Minimal Standard Model ($\nu$MSM), Dodelson-Widrow (DW), and Shi-Fuller (SF) model. For instance, when the WDM mass is 2 keV, we show that one can differentiate between CDM, FD, $\nu$MSM, and DW models while discerning between the DW and SF models turns out to be challenging. Our results reinforce the viability of the CNN as a robust analysis for 21cm maps and shed light on its potential to unravel the features associated with different dark matter production mechanisms.


title: Identifying and interpreting non-aligned human conceptual representations using language modeling

abstract: The question of whether people's experience in the world shapes conceptual representation and lexical semantics is longstanding. Word-association, feature-listing and similarity rating tasks aim to address this question but require a subjective interpretation of the latent dimensions identified. In this study, we introduce a supervised representational-alignment method that (i) determines whether two groups of individuals share the same basis of a certain category, and (ii) explains in what respects they differ. In applying this method, we show that congenital blindness induces conceptual reorganization in both a-modal and sensory-related verbal domains, and we identify the associated semantic shifts. We first apply supervised feature-pruning to a language model (GloVe) to optimize prediction accuracy of human similarity judgments from word embeddings. Pruning identifies one subset of retained GloVe features that optimizes prediction of judgments made by sighted individuals and another subset that optimizes judgments made by blind. A linear probing analysis then interprets the latent semantics of these feature-subsets by learning a mapping from the retained GloVe features to 65 interpretable semantic dimensions. We applied this approach to seven semantic domains, including verbs related to motion, sight, touch, and amodal verbs related to knowledge acquisition. We find that blind individuals more strongly associate social and cognitive meanings to verbs related to motion or those communicating non-speech vocal utterances (e.g., whimper, moan). Conversely, for amodal verbs, they demonstrate much sparser information. Finally, for some verbs, representations of blind and sighted are highly similar. The study presents a formal approach for studying interindividual differences in word meaning, and the first demonstration of how blindness impacts conceptual representation of everyday verbs.


title: S-DyRF: Reference-Based Stylized Radiance Fields for Dynamic Scenes

abstract: Current 3D stylization methods often assume static scenes, which violates the dynamic nature of our real world. To address this limitation, we present S-DyRF, a reference-based spatio-temporal stylization method for dynamic neural radiance fields. However, stylizing dynamic 3D scenes is inherently challenging due to the limited availability of stylized reference images along the temporal axis. Our key insight lies in introducing additional temporal cues besides the provided reference. To this end, we generate temporal pseudo-references from the given stylized reference. These pseudo-references facilitate the propagation of style information from the reference to the entire dynamic 3D scene. For coarse style transfer, we enforce novel views and times to mimic the style details present in pseudo-references at the feature level. To preserve high-frequency details, we create a collection of stylized temporal pseudo-rays from temporal pseudo-references. These pseudo-rays serve as detailed and explicit stylization guidance for achieving fine style transfer. Experiments on both synthetic and real-world datasets demonstrate that our method yields plausible stylized results of space-time view synthesis on dynamic 3D scenes.


title: Limit of the Maximum Random Permutation Set Entropy

abstract: The Random Permutation Set (RPS) is a new type of set proposed recently, which can be regarded as the generalization of evidence theory. To measure the uncertainty of RPS, the entropy of RPS and its corresponding maximum entropy have been proposed. Exploring the maximum entropy provides a possible way of understanding the physical meaning of RPS. In this paper, a new concept, the envelope of entropy function, is defined. In addition, the limit of the envelope of RPS entropy is derived and proved. Compared with the existing method, the computational complexity of the proposed method to calculate the envelope of RPS entropy decreases greatly. The result shows that when $N \to \infty$, the limit form of the envelope of the entropy of RPS converges to $e \times (N!)^2$, which is highly connected to the constant $e$ and factorial. Finally, numerical examples validate the efficiency and conciseness of the proposed envelope, which provides a new insight into the maximum entropy function.


title: Design and Development of a Multi-Purpose Collaborative Remote Laboratory Platform

abstract: This work-in-progress paper presents the current development of a new collaborative remote laboratory platform. The results are intended to serve as a foundation for future research on collaborative work in remote laboratories. Our platform, standing out with its adaptive and collaborative capabilities, integrates a distributed web-application for streamlined management and engagement in diverse remote educational environments.


title: Personalized LoRA for Human-Centered Text Understanding

abstract: Effectively and efficiently adapting a pre-trained language model (PLM) for human-centered text understanding (HCTU) is challenging since user tokens are million-level in most personalized applications and do not have concrete explicit semantics. A standard and parameter-efficient approach (e.g., LoRA) necessitates memorizing numerous suits of adapters for each user. In this work, we introduce a personalized LoRA (PLoRA) with a plug-and-play (PnP) framework for the HCTU task. PLoRA is effective, parameter-efficient, and dynamically deploying in PLMs. Moreover, a personalized dropout and a mutual information maximizing strategies are adopted and hence the proposed PLoRA can be well adapted to few/zero-shot learning scenarios for the cold-start issue. Experiments conducted on four benchmark datasets show that the proposed method outperforms existing methods in full/few/zero-shot learning scenarios for the HCTU task, even though it has fewer trainable parameters. For reproducibility, the code for this paper is available at: https://github.com/yoyo-yun/PLoRA.


title: Homogeneous quandles with abelian inner automorphism groups and vertex-transitive graphs

abstract: A quandle is an algebraic system originated in knot theory, and can be regarded as a generalization of symmetric spaces. The inner automorphism group of a quandle is defined as the group generated by the point symmetries (right multiplications). In this paper, starting from any simple graphs, we construct quandles whose inner automorphism groups are abelian. We also prove that the constructed quandle is homogeneous if and only if the graph is vertex-transitive. This shows that there is a wide family of quandles with abelian inner automorphism groups, even if we impose the homogeneity. The key examples of such quandles are realized as subquandles of oriented real Grassmannian manifolds.


title: AdaFold: Adapting Folding Trajectories of Cloths via Feedback-loop Manipulation

abstract: We present AdaFold, a model-based feedback-loop framework for optimizing folding trajectories. AdaFold extracts a particle-based representation of cloth from RGB-D images and feeds back the representation to a model predictive control to re-plan folding trajectory at every time-step. A key component of AdaFold that enables feedback-loop manipulation is the use of semantic descriptors extracted from visual-language models. These descriptors enhance the particle representation of the cloth to distinguish between ambiguous point clouds of differently folded cloths. Our experiments demonstrate AdaFold's ability to adapt folding trajectories to cloths with varying physical properties and generalize from simulated training to real-world execution.


title: Solution-Hashing Search Based on Layout-Graph Transformation for Unequal Circle Packing

abstract: The problem of packing unequal circles into a circular container stands as a classic and challenging optimization problem in computational geometry. This study introduces a suite of innovative and efficient methods to tackle this problem. Firstly, we present a novel layout-graph transformation method that represents configurations as graphs, together with an inexact hash method facilitating fast comparison of configurations for isomorphism or similarity. Leveraging these advancements, we propose an Iterative Solution-Hashing Search algorithm adept at circumventing redundant exploration through efficient configuration recording. Additionally, we introduce several enhancements to refine the optimization and search processes, including an adaptive adjacency maintenance method, an efficient vacancy detection technique, and a Voronoi-based locating method. Through comprehensive computational experiments across various benchmark instances, our algorithm demonstrates superior performance over existing state-of-the-art methods, showcasing remarkable applicability and versatility. Notably, our algorithm surpasses the best-known results for 56 out of 179 benchmark instances while achieving parity with the remaining instances.


title: Characterization of hybrid quantum eigenstates in systems with mixed classical phasespace

abstract: Generic low-dimensional Hamiltonian systems feature a structured, mixed classical phase-space. The traditional Percival classification of quantum spectra into regular states supported by quasi-integrable regions and irregular states supported by quasi-chaotic regions turns out to be insufficient to capture the richness of the Hilbert space. Berry's conjecture and the eigenstate thermalization hypothesis are not applicable and quantum effects such as tunneling, scarring, and localization, do not obey the standard paradigms. We demonstrate these statements for a prototype Bose-Hubbard model. We highlight the hybridization of chaotic and regular regions from opposing perspectives of ergodicity and localization.


title: $V_kD:$ Improving Knowledge Distillation using Orthogonal Projections

abstract: Knowledge distillation is an effective method for training small and efficient deep learning models. However, the efficacy of a single method can degenerate when transferring to other tasks, modalities, or even other architectures. To address this limitation, we propose a novel constrained feature distillation method. This method is derived from a small set of core principles, which results in two emerging components: an orthogonal projection and a task-specific normalisation. Equipped with both of these components, our transformer models can outperform all previous methods on ImageNet and reach up to a 4.4% relative improvement over the previous state-of-the-art methods. To further demonstrate the generality of our method, we apply it to object detection and image generation, whereby we obtain consistent and substantial performance improvements over state-of-the-art. Code and models are publicly available: https://github.com/roymiles/vkd


title: Distributed quantum architecture search

abstract: Variational quantum algorithms, inspired by neural networks, have become a novel approach in quantum computing. However, designing efficient parameterized quantum circuits remains a challenge. Quantum architecture search tackles this by adjusting circuit structures along with gate parameters to automatically discover high-performance circuit structures. In this study, we propose an end-to-end distributed quantum architecture search framework, where we aim to automatically design distributed quantum circuit structures for interconnected quantum processing units with specific qubit connectivity. We devise a circuit generation algorithm which incorporates TeleGate and TeleData methods to enable nonlocal gate implementation across quantum processing units. While taking into account qubit connectivity, we also incorporate qubit assignment from logical to physical qubits within our QAS framework. A two-stage progressive training-free strategy is employed to evaluate extensive circuit structures without circuit training costs. Through numerical experiments on three VQE tasks, the efficacy and efficiency of our scheme is demonstrated.


title: Observation of in-gap states in a two-dimensional CrI2/NbSe2 heterostructure

abstract: Low-dimensional magnetic structures coupled with a superconductor are promising platforms for realizing Majorana zero modes, which are considered as novel non-Abelian anyons with potential applications in topological quantum computing. Here, we report the observation of in-gap edge states and zero-bias conductance peaks (ZBCPs) in a two-dimensional (2D) magnetic-superconducting heterostructure consisting of a single-layer chromium diiodide (CrI2) on a niobium diselenide (NbSe2) superconductor. Single-layer CrI2 nanosheets, which hold antiferromagnetic (AFM) ground states according to our first-principles calculations, were epitaxially grown on the layered NbSe2 substrate. By using scanning tunneling microscopy/spectroscopy, we observed robust in-gap states spatially located at the edge of the nanosheets and defect-induced ZBCPs inside the CrI2 nanosheets. Magnetic-flux vortices induced by an external field exhibit broken threefold rotational symmetry of the pristine NbSe2 superconductor, implying the efficient modulation of the interfacial superconducting states by the epitaxial CrI2 layer. A phenomenological model was proposed and suggested the existence of chiral edge states in a 2D AFM-superconducting hybrid system with an even Chern number, providing a qualitatively plausible understanding for our experimental observation.


title: Quasi-spherical metrics and the static Minkowski inequality

abstract: We prove that equality within the Minkowski inequality for asymptotically flat static spaces is achieved only by slices in Schwarzschild space for mean-convex, non-negative scalar curvature boundaries. In order to establish this, we prove uniqueness of quasi-spherical static metrics: any quasi-spherical metric with vanishing shear vector that admits a bounded static vacuum potential is a rotationally symmetric piece of Schwarzschild space. We also observe that the static Minkowski inequality extends to all dimensions when the boundary is connected and to weakly asymptotically flat static spaces. As a result, the uniqueness theorems for photon surfaces and static metric extensions from our prequel extend to this larger class and to all dimensions.


title: Non-existence of Shimura curves of Mumford type generically in the non-hyperelliptic locus

abstract: We show that there does not exist any Shimura curve with strictly maximal Higgs field generically in the Torelli locus of non-hyperelliptic curves of genus $g\geq 4$. In particular, Shimura curves of Mumford type are not generically in the Torelli locus of non-hyperelliptic curves of genus $g\geq 4$.


title: Fast Truncated SVD of Sparse and Dense Matrices on Graphics Processors

abstract: We investigate the solution of low-rank matrix approximation problems using the truncated SVD. For this purpose, we develop and optimize GPU implementations for the randomized SVD and a blocked variant of the Lanczos approach. Our work takes advantage of the fact that the two methods are composed of very similar linear algebra building blocks, which can be assembled using numerical kernels from existing high-performance linear algebra libraries. Furthermore, the experiments with several sparse matrices arising in representative real-world applications and synthetic dense test matrices reveal a performance advantage of the block Lanczos algorithm when targeting the same approximation accuracy.


title: Affine Semigroup Algebras And Their Fibered Sums

abstract: We study affine semigroup rings as algebras over subsemigroup rings. From this relative viewpoint with respect to a given subsemigroup ring, the fibered sum of two affine semigroup algebras is constructed. Such a construction is compared to the tensor product and to the classical gluings of affine semigroup rings as defined in Rosales (1997). While fibered sum can always be achieved, gluings of affine semigroup rings do not always exist. Therefore, we further investigate when the fibered sum of affine semigroup algebras gives rise to a gluing. A criterion is recovered in terms of the defining semigroups under which the gluing may take place.


title: Detecting Neutrinos from Supernova Bursts in PandaX-4T

abstract: Neutrinos from core-collapse supernovae are essential for the understanding of neutrino physics and stellar evolution. The dual-phase xenon dark matter detectors can provide a way to track explosions of galactic supernovae by detecting neutrinos through coherent elastic neutrino-nucleus scatterings. In this study, a variation of progenitor masses as well as explosion models are assumed to predict the neutrino fluxes and spectra, which result in the number of expected neutrino events ranging from 6.6 to 13.7 at a distance of 10 kpc over a 10-second duration with negligible backgrounds at PandaX-4T. Two specialized triggering alarms for monitoring supernova burst neutrinos are built. The efficiency of detecting supernova explosions at various distances in the Milky Way is estimated. These alarms will be implemented in the real-time supernova monitoring system at PandaX-4T in the near future, providing the astronomical communities with supernova early warnings.


title: TRAD: Enhancing LLM Agents with Step-Wise Thought Retrieval and Aligned Decision

abstract: Numerous large language model (LLM) agents have been built for different tasks like web navigation and online shopping due to LLM's wide knowledge and text-understanding ability. Among these works, many of them utilize in-context examples to achieve generalization without the need for fine-tuning, while few of them have considered the problem of how to select and effectively utilize these examples. Recently, methods based on trajectory-level retrieval with task meta-data and using trajectories as in-context examples have been proposed to improve the agent's overall performance in some sequential decision making tasks. However, these methods can be problematic due to plausible examples retrieved without task-specific state transition dynamics and long input with plenty of irrelevant context. In this paper, we propose a novel framework (TRAD) to address these issues. TRAD first conducts Thought Retrieval, achieving step-level demonstration selection via thought matching, leading to more helpful demonstrations and less irrelevant input noise. Then, TRAD introduces Aligned Decision, complementing retrieved demonstration steps with their previous or subsequent steps, which enables tolerance for imperfect thought and provides a choice for balance between more context and less noise. Extensive experiments on ALFWorld and Mind2Web benchmarks show that TRAD not only outperforms state-of-the-art models but also effectively helps in reducing noise and promoting generalization. Furthermore, TRAD has been deployed in real-world scenarios of a global business insurance company and improves the success rate of robotic process automation.


title: Robust Predictive Motion Planning by Learning Obstacle Uncertainty

abstract: Safe motion planning for robotic systems in dynamic environments is nontrivial in the presence of uncertain obstacles, where estimation of obstacle uncertainties is crucial in predicting future motions of dynamic obstacles. The worst-case characterization gives a conservative uncertainty prediction and may result in infeasible motion planning for the ego robotic system. In this paper, an efficient, robust, and safe motion-planing algorithm is developed by learning the obstacle uncertainties online. More specifically, the unknown yet intended control set of obstacles is efficiently computed by solving a linear programming problem. The learned control set is used to compute forward reachable sets of obstacles that are less conservative than the worst-case prediction. Based on the forward prediction, a robust model predictive controller is designed to compute a safe reference trajectory for the ego robotic system that remains outside the reachable sets of obstacles over the prediction horizon. The method is applied to a car-like mobile robot in both simulations and hardware experiments to demonstrate its effectiveness.


title: IDEAS: Information-Driven EV Admission in Charging Station Considering User Impatience to Improve QoS and Station Utilization

abstract: Our work delves into user behaviour at Electric Vehicle(EV) charging stations during peak times, particularly focusing on how impatience drives balking (not joining queues) and reneging (leaving queues prematurely). We introduce an Agent-based simulation framework that incorporates user optimism levels (pessimistic, standard, and optimistic) in the queue dynamics. Unlike previous work, this framework highlights the crucial role of human behaviour in shaping station efficiency for peak demand. The simulation reveals a key issue: balking often occurs due to a lack of queue insights, creating user dilemmas. To address this, we propose real-time sharing of wait time metrics with arriving EV users at the station. This ensures better Quality of Service (QoS) with user-informed queue joining and demonstrates significant reductions in reneging (up to 94%) improving the charging operation. Further analysis shows that charging speed decreases significantly beyond 80%, but most users prioritize full charges due to range anxiety, leading to a longer queue. To address this, we propose a two-mode, two-port charger design with power-sharing options. This allows users to fast-charge to 80% and automatically switch to slow charging, enabling fast charging on the second port. Thus, increasing fast charger availability and throughput by up to 5%. As the mobility sector transitions towards intelligent traffic, our modelling framework, which integrates human decision-making within automated planning, provides valuable insights for optimizing charging station efficiency and improving the user experience. This approach is particularly relevant during the introduction phase of new stations, when historical data might be limited.


title: Imaginary gap-closed points and non-Hermitian dynamics in a class of dissipative systems

abstract: We investigate imaginary gap-closed (IGC) points and their associated dynamics in dissipative systems. In a general non-Hermitian model, we derive the equation governing the IGC points of the energy spectrum, establishing that these points are only determined by the Hermitian part of the Hamiltonian. Focusing on a class of one-dimensional dissipative chains, we explore quantum walks across different scenarios and various parameters, showing that IGC points induce a power-law decay scaling in bulk loss probability and trigger a boundary phenomenon referred to as "edge burst". This observation underscores the crucial role of IGC points under periodic boundary conditions (PBCs) in shaping quantum walk dynamics. Finally, we demonstrate that the damping matrices of these dissipative chains under PBCs possess Liouvillian gapless points, implying an algebraic convergence towards the steady state in long-time dynamics.


title: MoST: Motion Style Transformer between Diverse Action Contents

abstract: While existing motion style transfer methods are effective between two motions with identical content, their performance significantly diminishes when transferring style between motions with different contents. This challenge lies in the lack of clear separation between content and style of a motion. To tackle this challenge, we propose a novel motion style transformer that effectively disentangles style from content and generates a plausible motion with transferred style from a source motion. Our distinctive approach to achieving the goal of disentanglement is twofold: (1) a new architecture for motion style transformer with `part-attentive style modulator across body parts' and `Siamese encoders that encode style and content features separately'; (2) style disentanglement loss. Our method outperforms existing methods and demonstrates exceptionally high quality, particularly in motion pairs with different contents, without the need for heuristic post-processing. Codes are available at https://github.com/Boeun-Kim/MoST.


title: Drag on Cylinders Moving in Superfluid 3He-B as the Dimension Spans the Coherence Length

abstract: Vibrating probes when immersed in a fluid can provide powerful tools for characterising the surrounding medium. In superfluid 3He-B, a condensate of Cooper pairs, the dissipation arising from the scattering of quasiparticle excitations from a mechanical oscillator provides the basis of extremely sensitive thermometry and bolometry at sub-millikelvin temperatures. The unique properties of the Andreev reflection process in this condensate also assist by providing a significantly enhanced dissipation. While existing models for such damping on an oscillating cylinder have been verified experimentally, they are valid only for flows with scales much greater than the coherence length of 3He, which is of the order of a hundred nanometres. With our increasing proficiency in fabricating nanosized oscillators which can be readily used in this superfluid there is a pressing need for the development of new models that account for the modification of the flow around these smaller oscillators. Here we report preliminary results on measurements of the damping in superfluid 3He-B of a range of cylindrical nano-sized oscillators with radii comparable to the coherence length, and outline a model for calculating the associated drag.


title: PEPSI: Pathology-Enhanced Pulse-Sequence-Invariant Representations for Brain MRI

abstract: Remarkable progress has been made by data-driven machine-learning methods in the analysis of MRI scans. However, most existing MRI analysis approaches are crafted for specific MR pulse sequences (MR contrasts) and usually require nearly isotropic acquisitions. This limits their applicability to diverse real-world clinical data, where scans commonly exhibit variations in appearances due to being obtained with varying sequence parameters, resolutions, and orientations -- especially in the presence of pathology. In this paper, we propose PEPSI, the first pathology-enhanced, and pulse-sequence-invariant feature representation learning model for brain MRI. PEPSI is trained entirely on synthetic images with a novel pathology encoding strategy, and enables co-training across datasets with diverse pathologies and missing modalities. Despite variations in pathology appearances across different MR pulse sequences or the quality of acquired images (e.g., resolution, orientation, artifacts, etc), PEPSI produces a high-resolution image of reference contrast (MP-RAGE) that captures anatomy, along with an image specifically highlighting the pathology. Our experiments demonstrate PEPSI's remarkable capability for image synthesis compared with the state-of-the-art, contrast-agnostic synthesis models, as it accurately reconstructs anatomical structures while differentiating between pathology and normal tissue. We further illustrate the efficiency and effectiveness of PEPSI features for downstream pathology segmentations on five public datasets covering white matter hyperintensities and stroke lesions. Code is available at https://github.com/peirong26/PEPSI.


title: Low Overhead Qutrit Magic State Distillation

abstract: We construct a family of $[9m-k, k, 2]_3$ triorthogonal codes, for $k\leq 3m-2$, for qutrit magic state distillation with low overhead. The overhead cost of a magic state distillation routine is characterized by the yield parameter $\gamma = \log_d \left( \frac{n}{k} \right)$. When $k=3m-2$, the codes have yield parameter $\gamma = \log_2 (2+\frac{6}{3 m-2})$, which tends to $1$ as $m \to \infty$. Moreover, the $[20,7,2]_3$ qutrit code that arises when $m=3$ already has a yield parameter of $1.51$ which outperforms all known qubit triorthogonal codes of size less than a few hundred qubits. We also find that the $[17,1,2]_3$ code distills magic states with a higher noise threshold than previously known qutrit triorthogonal codes.


title: Optimal parametric control of transport across a Josephson junction

abstract: We present optimal control strategies for the DC transport across a Josephson junction. Specifically, we consider a junction in which the Josephson coupling is driven parametrically, with either a bichromatic or a trichromatic driving protocol, and optimize the prefactor of the 1/$\omega$ divergence of the imaginary part of the conductivity. We demonstrate that for an optimal bichromatic protocol an enhancement of 70 can be reached, and for an optimal trichromatic protocol an enhancement of 135. This is motivated by pump-probe experiments that have demonstrated light-enhanced superconductivity along the c-axis of underdoped YBCO, where the junction serves as a minimal model for the c-axis coupling of superconducting layers. Therefore, the significant enhancement of superconductivity that we show for multi-frequency protocols demonstrates that the advancement of pump-probe technology towards these strategies is highly desirable.


title: LinearAPT: An Adaptive Algorithm for the Fixed-Budget Thresholding Linear Bandit Problem

abstract: In this study, we delve into the Thresholding Linear Bandit (TLB) problem, a nuanced domain within stochastic Multi-Armed Bandit (MAB) problems, focusing on maximizing decision accuracy against a linearly defined threshold under resource constraints. We present LinearAPT, a novel algorithm designed for the fixed budget setting of TLB, providing an efficient solution to optimize sequential decision-making. This algorithm not only offers a theoretical upper bound for estimated loss but also showcases robust performance on both synthetic and real-world datasets. Our contributions highlight the adaptability, simplicity, and computational efficiency of LinearAPT, making it a valuable addition to the toolkit for addressing complex sequential decision-making challenges.


title: Yu-Shiba-Rusinov states in the s-wave superconducting kagome Hubbard model: Self-consistent Bogoliubov-de Gennes calculations

abstract: The Yu-Shiba-Rusinov (YSR) states in kagome superconductors have been studied recently in theory and experiments. However, more details of local superconductivity around the YSR states in kagome superconductors and the existence of the related first-order phase transition remain unclear. Based on the self-consistent Bogoliubov-de Gennes equations for the $s-$wave superconducting kagome Hubbard model, we show that first-order phase transitions occur when varying the spin-magnetic interaction $J$ of the magnetic impurity, and discontinuities of hysteresis loops in the plots of the local pair potential versus $J$ happen at the upper and lower critical interactions $J_{\rm c1}$ and $J_{\rm c2}$, rather than the conventional critical interaction $J_c$. The minimal energy of the stable YSR state $E_{\rm YSR, min}$ is non-zero for the chemical potential at the van Hove singularities, Dirac point, and the flat band. Furthermore, $J_{\rm c1}$, $J_{\rm c2}$, and $E_{\rm YSR, min}$ are dependent on the chemical potential and the superconducting coupling interaction.


title: Emergence of Surface Superconductivity through Interference in Superconducting-proximity Topological Insulators

abstract: Superconducting-proximity topological insulators (STIs) have garnered significant research attention over the past two decades. In this Letter, we demonstrate that a low-dimensional STI in the topological-nontrivial phase (TP) exhibits an interference-induced surface (boundary) superconductivity with the surface critical temperature $T_{cs}$ significantly higher than the bulk one $T_{cb}$. Such a surface superconductivity is built due to the interference of the scattering quasiparticle states, rather than due to the presence of the topological bound states (TBSs). As the system goes deeper into the TP, the surface exhibits a crossover from the interference- to TBS-induced phase, where the surface enhancement of superconductivity is governed by the TBSs. Our study unveils a substantial variation in the maximal $T_{cs}$ along this crossover, attaining values being twice the maximal bulk critical temperature of the STI. Beyond shedding light on the nature of surface superconductivity in STIs, our study introduces a tangible method for experimentally manipulating their critical superconducting temperatures.


title: Finding Visual Saliency in Continuous Spike Stream

abstract: As a bio-inspired vision sensor, the spike camera emulates the operational principles of the fovea, a compact retinal region, by employing spike discharges to encode the accumulation of per-pixel luminance intensity. Leveraging its high temporal resolution and bio-inspired neuromorphic design, the spike camera holds significant promise for advancing computer vision applications. Saliency detection mimics the behavior of human beings and captures the most salient region from the scenes. In this paper, we investigate the visual saliency in the continuous spike stream for the first time. To effectively process the binary spike stream, we propose a Recurrent Spiking Transformer (RST) framework, which is based on a full spiking neural network. Our framework enables the extraction of spatio-temporal features from the continuous spatio-temporal spike stream while maintaining low power consumption. To facilitate the training and validation of our proposed model, we build a comprehensive real-world spike-based visual saliency dataset, enriched with numerous light conditions. Extensive experiments demonstrate the superior performance of our Recurrent Spiking Transformer framework in comparison to other spike neural network-based methods. Our framework exhibits a substantial margin of improvement in capturing and highlighting visual saliency in the spike stream, which not only provides a new perspective for spike-based saliency segmentation but also shows a new paradigm for full SNN-based transformer models. The code and dataset are available at \url{https://github.com/BIT-Vision/SVS}.


title: Giant Nonreciprocity of Surface Acoustic Waves induced by a positive-negative magnetostrictive heterostructure

abstract: Lack of nonreciprocity is one of the major drawbacks of solid-state acoustic devices, which has hindered the development of microwave-frequency acoustic isolators and circulators. Here we report giant nonreciprocal transmission of shear-horizontal surface acoustic waves (SH-SAWs) on a LiTaO3 substrate coated with a negative-positive magnetostrictive bilayer structure of Ni/Ti/FeCoSiB. Although the static magnetic moments of two layers are parallel, SH-SAWs can excite optical-mode spin waves much stronger than acoustic-mode ones at relatively low frequencies via magnetoelastic coupling. The measured magnitude nonreciprocity exceeds 40 dB (or 80 dB/mm) at 2.333 GHz. In addition, maximum nonreciprocal phase accumulation reaches 188{\deg} (376{\deg}/mm), which is desired for an effective SAW circulator. Our theoretical model and calculations provide an insight into the observed phenomena and demonstrate a pathway for further improvement of nonreciprocal acoustic devices.


title: Probabilistic Neural Circuits

abstract: Probabilistic circuits (PCs) have gained prominence in recent years as a versatile framework for discussing probabilistic models that support tractable queries and are yet expressive enough to model complex probability distributions. Nevertheless, tractability comes at a cost: PCs are less expressive than neural networks. In this paper we introduce probabilistic neural circuits (PNCs), which strike a balance between PCs and neural nets in terms of tractability and expressive power. Theoretically, we show that PNCs can be interpreted as deep mixtures of Bayesian networks. Experimentally, we demonstrate that PNCs constitute powerful function approximators.


title: Aqueous Solution Chemistry In Silico and the Role of Data Driven Approaches

abstract: The use of computer simulations to study the properties of aqueous systems is, today more than ever, an active area of research. In this context, during the last decade there has been a tremendous growth in the use of data-driven approaches to develop more accurate potentials for water as well as to characterize its complexity in chemical and biological contexts. We highlight the progress, giving a historical context, on the path to the development of many-body and reactive potentials to model aqueous chemistry, including the role of machine learning strategies. We focus specifically on conceptual and methodological challenges along the way in performing simulations that seek to tackle problems in modeling the chemistry of aqueous solutions. In conclusion, we summarize our perspectives on the use and integration of advanced data-science techniques to provide chemical insights in physical chemistry and how this will influence computer simulations of aqueous systems in the future.


title: On the Echogenicity of Natural Starch-Based Blood Mimicking Fluids for Contrast Enhanced Ultrasound Imaging: Preliminary In-vitro Experiments

abstract: Natural starch-based blood-mimicking fluid (BMF) has been used as an alternative to commercially available BMFs for in-vitro Doppler investigations in low-resource settings. Most reported works in the literature have used corn starch-based BMF. Evaluation of other natural starches for potential BMF and their characterization have relatively been unexplored in the literature. To this end, this work investigates the echogenicity of corn-, potato-, tapioca-, and wheat starch-based BMFs prepared using a liquid base of pure water-glycerol mixture with three different starch concentrations (1%, 3%, and 5%). The experiments were performed by manually pumping the BMFs to a PolyVinyl alcohol (PVA) based flow phantom using a syringe and raw datasets were acquired using a Verasonics Vantage 128 Research Ultrasound System. Echogenicity was measured as the mean pixel intensity in a selected region of interest (ROI) in the beamformed image. Among the four natural starch-based BMFs, potato starch-based BMF showed the highest echogenicity and contrast with almost 13%, 14%, and 10% higher pixel intensities (dB) than that of the least echoic BMF with 1%, 3%, and 5% starch concentrations respectively. Moreover, the echogenicity of corn, tapioca, and wheat starch-based BMF was observed to be similar, and the results suggest that these BMFs with higher starch concentrations shall be employed for in-vitro contrast-enhanced ultrasound imaging.


title: Quantifying the Uncertainty of Imputed Demographic Disparity Estimates: The Dual-Bootstrap

abstract: Measuring average differences in an outcome across racial or ethnic groups is a crucial first step for equity assessments, but researchers often lack access to data on individuals' races and ethnicities to calculate them. A common solution is to impute the missing race or ethnicity labels using proxies, then use those imputations to estimate the disparity. Conventional standard errors mischaracterize the resulting estimate's uncertainty because they treat the imputation model as given and fixed, instead of as an unknown object that must be estimated with uncertainty. We propose a dual-bootstrap approach that explicitly accounts for measurement uncertainty and thus enables more accurate statistical inference, which we demonstrate via simulation. In addition, we adapt our approach to the commonly used Bayesian Improved Surname Geocoding (BISG) imputation algorithm, where direct bootstrapping is infeasible because the underlying Census Bureau data are unavailable. In simulations, we find that measurement uncertainty is generally insignificant for BISG except in particular circumstances; bias, not variance, is likely the predominant source of error. We apply our method to quantify the uncertainty of prevalence estimates of common health conditions by race using data from the American Family Cohort.


title: Cooperative Classification and Rationalization for Graph Generalization

abstract: Graph Neural Networks (GNNs) have achieved impressive results in graph classification tasks, but they struggle to generalize effectively when faced with out-of-distribution (OOD) data. Several approaches have been proposed to address this problem. Among them, one solution is to diversify training distributions in vanilla classification by modifying the data environment, yet accessing the environment information is complex. Besides, another promising approach involves rationalization, extracting invariant rationales for predictions. However, extracting rationales is difficult due to limited learning signals, resulting in less accurate rationales and diminished predictions. To address these challenges, in this paper, we propose a Cooperative Classification and Rationalization (C2R) method, consisting of the classification and the rationalization module. Specifically, we first assume that multiple environments are available in the classification module. Then, we introduce diverse training distributions using an environment-conditional generative network, enabling robust graph representations. Meanwhile, the rationalization module employs a separator to identify relevant rationale subgraphs while the remaining non-rationale subgraphs are de-correlated with labels. Next, we align graph representations from the classification module with rationale subgraph representations using the knowledge distillation methods, enhancing the learning signal for rationales. Finally, we infer multiple environments by gathering non-rationale representations and incorporate them into the classification module for cooperative learning. Extensive experimental results on both benchmarks and synthetic datasets demonstrate the effectiveness of C2R. Code is available at https://github.com/yuelinan/Codes-of-C2R.


title: TOI-1173 A $b$: The First Inflated Super-Neptune in a Wide Binary System

abstract: Among Neptunian mass exoplanets ($20-50$ M$_\oplus$), puffy hot Neptunes are extremely rare, and their unique combination of low mass and extended radii implies very low density ($\rho < 0.3$~g~cm$^{-3}$). Over the last decade, only a few puffy planets have been detected and precisely characterized with both transit and radial velocity observations, most notably including WASP-107~$b$, TOI-1420~$b$, and WASP-193 $b$. In this paper, we report the discovery of TOI-1173 A $b$, a low-density ($\rho = 0.195_{-0.017}^{+0.018}$~g~cm$^{-3}$) super-Neptune with $P = 7.06$ days in a nearly circular orbit around the primary G-dwarf star in the wide binary system TOI-1173 A/B. Using radial velocity observations with the MAROON-X and HIRES spectrographs and transit photometry from TESS, we determined a planet mass of $M_{\rm{p}} = 27.4\pm1.7\ M_{\oplus}$ and radius of $R_{\rm{p}} = 9.19\pm0.18\ R_{\oplus}$. TOI-1173 A $b$ is the first puffy Super-Neptune planet detected in a wide binary system (projected separation $\sim 11,400$~AU). We explored several mechanisms to understand the puffy nature of TOI-1173 A $b$, and showed that tidal heating is the most promising explanation. Furthermore, we demonstrate that TOI-1173 A $b$ likely has maintained its orbital stability over time and may have undergone von-Zeipel-Lidov-Kozai migration followed by tidal circularization given its present-day architecture, with important implications for planet migration theory and induced engulfment into the host star. Further investigation of the atmosphere of TOI-1173 A $b$ will shed light on the origin of close-in low-density Neptunian planets in field and binary systems, while spin-orbit analyses may elucidate the dynamical evolution of the system.


title: Quantifying spin contamination in algebraic diagrammatic construction theory of electronic excitations

abstract: Algebraic diagrammatic construction (ADC) is a computationally efficient approach for simulating excited electronic states, absorption spectra, and electron correlation. Due to their origin in perturbation theory, the single-reference ADC methods may be susceptible to spin contamination when applied to molecules with unpaired electrons. In this work, we develop an approach to quantify spin contamination in the ADC calculations of electronic excitations and apply it to a variety of open-shell molecules starting with either the unrestricted (UHF) or restricted open-shell (ROHF) Hartree-Fock reference wavefunctions. Our results show that the accuracy of low-order ADC approximations (ADC(2), ADC(3)) significantly decreases when the UHF reference spin contamination exceeds 0.05 a.u. Such strongly spin-contaminated molecules exhibit severe excited-state spin symmetry breaking that contributes to decreasing the quality of computed excitation energies and oscillator strengths. In a case study of phenyl radical, we demonstrate that spin contamination can significantly affect the simulated UV/Vis spectra, altering the relative energies, intensities, and order of electronic transitions. The results presented here motivate the development of spin-adapted ADC methods for open-shell molecules.


title: COVID-19 Computer-aided Diagnosis through AI-assisted CT Imaging Analysis: Deploying a Medical AI System

abstract: Computer-aided diagnosis (CAD) systems stand out as potent aids for physicians in identifying the novel Coronavirus Disease 2019 (COVID-19) through medical imaging modalities. In this paper, we showcase the integration and reliable and fast deployment of a state-of-the-art AI system designed to automatically analyze CT images, offering infection probability for the swift detection of COVID-19. The suggested system, comprising both classification and segmentation components, is anticipated to reduce physicians' detection time and enhance the overall efficiency of COVID-19 detection. We successfully surmounted various challenges, such as data discrepancy and anonymisation, testing the time-effectiveness of the model, and data security, enabling reliable and scalable deployment of the system on both cloud and edge environments. Additionally, our AI system assigns a probability of infection to each 3D CT scan and enhances explainability through anchor set similarity, facilitating timely confirmation and segregation of infected patients by physicians.


title: BlazeBVD: Make Scale-Time Equalization Great Again for Blind Video Deflickering

abstract: Developing blind video deflickering (BVD) algorithms to enhance video temporal consistency, is gaining importance amid the flourish of image processing and video generation. However, the intricate nature of video data complicates the training of deep learning methods, leading to high resource consumption and instability, notably under severe lighting flicker. This underscores the critical need for a compact representation beyond pixel values to advance BVD research and applications. Inspired by the classic scale-time equalization (STE), our work introduces the histogram-assisted solution, called BlazeBVD, for high-fidelity and rapid BVD. Compared with STE, which directly corrects pixel values by temporally smoothing color histograms, BlazeBVD leverages smoothed illumination histograms within STE filtering to ease the challenge of learning temporal data using neural networks. In technique, BlazeBVD begins by condensing pixel values into illumination histograms that precisely capture flickering and local exposure variations. These histograms are then smoothed to produce singular frames set, filtered illumination maps, and exposure maps. Resorting to these deflickering priors, BlazeBVD utilizes a 2D network to restore faithful and consistent texture impacted by lighting changes or localized exposure issues. BlazeBVD also incorporates a lightweight 3D network to amend slight temporal inconsistencies, avoiding the resource consumption issue. Comprehensive experiments on synthetic, real-world and generated videos, showcase the superior qualitative and quantitative results of BlazeBVD, achieving inference speeds up to 10x faster than state-of-the-arts.


title: Quotient Category of a Multiring Category

abstract: The aim of this paper is to introduce a tensor structure for the Serre quotient category of an abelian monoidal category with biexact tensor product to make the canonical functor a monoidal functor. In this tensor product, the Serre quotient category of a multiring category (resp. a multitensor category) by a two-sided Serre tensor-ideal is still a multiring category (resp. a multitensor category). Besides, a two-sided Serre tensor-ideal of a tensor category is always trivial. This result can be generalized to any tensor product. If the canonical functor is a monoidal functor, then the corresponding Serre subcategory of the tensor category is trivial.


title: Strong Lensing by Galaxy Clusters

abstract: Galaxy clusters as gravitational lenses play a unique role in astrophysics and cosmology: they permit mapping the dark matter distribution on a range of scales; they reveal the properties of high and intermediate redshift background galaxies that would otherwise be unreachable with telescopes; they constrain the particle nature of dark matter and are a powerful probe of global cosmological parameters, like the Hubble constant. In this review we summarize the current status of cluster lensing observations and the insights they provide, and offer a glimpse into the capabilities that ongoing, and the upcoming next generation of telescopes and surveys will deliver. While many open questions remain, cluster lensing promises to remain at the forefront of discoveries in astrophysics and cosmology.


title: Estimating Factor-Based Spot Volatility Matrices with Noisy and Asynchronous High-Frequency Data

abstract: We propose a new estimator of high-dimensional spot volatility matrices satisfying a low-rank plus sparse structure from noisy and asynchronous high-frequency data collected for an ultra-large number of assets. The noise processes are allowed to be temporally correlated, heteroskedastic, asymptotically vanishing and dependent on the efficient prices. We define a kernel-weighted pre-averaging method to jointly tackle the microstructure noise and asynchronicity issues, and we obtain uniformly consistent estimates for latent prices. We impose a continuous-time factor model with time-varying factor loadings on the price processes, and estimate the common factors and loadings via a local principal component analysis. Assuming a uniform sparsity condition on the idiosyncratic volatility structure, we combine the POET and kernel-smoothing techniques to estimate the spot volatility matrices for both the latent prices and idiosyncratic errors. Under some mild restrictions, the estimated spot volatility matrices are shown to be uniformly consistent under various matrix norms. We provide Monte-Carlo simulation and empirical studies to examine the numerical performance of the developed estimation methodology.


title: Text-Guided Variational Image Generation for Industrial Anomaly Detection and Segmentation

abstract: We propose a text-guided variational image generation method to address the challenge of getting clean data for anomaly detection in industrial manufacturing. Our method utilizes text information about the target object, learned from extensive text library documents, to generate non-defective data images resembling the input image. The proposed framework ensures that the generated non-defective images align with anticipated distributions derived from textual and image-based knowledge, ensuring stability and generality. Experimental results demonstrate the effectiveness of our approach, surpassing previous methods even with limited non-defective data. Our approach is validated through generalization tests across four baseline models and three distinct datasets. We present an additional analysis to enhance the effectiveness of anomaly detection models by utilizing the generated images.


title: Spectral Lower Bounds for Local Search

abstract: Local search is a powerful heuristic in optimization and computer science, the complexity of which has been studied in the white box and black box models. In the black box model, we are given a graph $G = (V,E)$ and oracle access to a function $f : V \to \mathbb{R}$. The local search problem is to find a vertex $v$ that is a local minimum, i.e. with $f(v) \leq f(u)$ for all $(u,v) \in E$, using as few queries to the oracle as possible. We show that if a graph $G$ admits a lazy, irreducible, and reversible Markov chain with stationary distribution $\pi$, then the randomized query complexity of local search on $G$ is $\Omega\left( \frac{\sqrt{n}}{t_{mix} \cdot \exp(3\sigma)}\right)$, where $t_{mix}$ is the mixing time of the chain and $\sigma = \max_{u,v \in V(G)} \frac{\pi(v)}{\pi(u)}.$ This theorem formally establishes a connection between the query complexity of local search and the mixing time of the fastest mixing Markov chain for the given graph. We also get several corollaries that lower bound the complexity as a function of the spectral gap, one of which slightly improves a result from prior work.


title: No Language is an Island: Unifying Chinese and English in Financial Large Language Models, Instruction Data, and Benchmarks

abstract: While the progression of Large Language Models (LLMs) has notably propelled financial analysis, their application has largely been confined to singular language realms, leaving untapped the potential of bilingual Chinese-English capacity. To bridge this chasm, we introduce ICE-PIXIU, seamlessly amalgamating the ICE-INTENT model and ICE-FLARE benchmark for bilingual financial analysis. ICE-PIXIU uniquely integrates a spectrum of Chinese tasks, alongside translated and original English datasets, enriching the breadth and depth of bilingual financial modeling. It provides unrestricted access to diverse model variants, a substantial compilation of diverse cross-lingual and multi-modal instruction data, and an evaluation benchmark with expert annotations, comprising 10 NLP tasks, 20 bilingual specific tasks, totaling 95k datasets. Our thorough evaluation emphasizes the advantages of incorporating these bilingual datasets, especially in translation tasks and utilizing original English data, enhancing both linguistic flexibility and analytical acuity in financial contexts. Notably, ICE-INTENT distinguishes itself by showcasing significant enhancements over conventional LLMs and existing financial LLMs in bilingual milieus, underscoring the profound impact of robust bilingual data on the accuracy and efficacy of financial NLP.


title: Averaging operators on groups, racks and Leibniz algebras

abstract: This paper considers averaging operators on various algebraic structures and studies the induced structures. We first introduce the notion of an averaging operator on a group $G$ and show that it induces a rack structure. Moreover, the given group structure and the induced rack structure form a group-rack. We observe that any pointed group-rack can be embedded into an averaging group. We show that the differentiation of a smooth pointed averaging operator on a Lie group gives rise to an averaging operator on the corresponding Lie algebra. Next, we consider averaging operators on a rack that induces a hierarchy of new rack structures. Moreover, any two racks with increasing hierarchy levels form a rack-pairing, a structure that is related to two-sided skew braces by conjugation. We also consider averaging operators on cocommutative Hopf algebras and braided vector spaces in relations to averaging operators on groups, Lie algebras and racks. In the end, we define averaging operators on a Leibniz algebra, find the induced structure and show that the differentiation of a smooth pointed averaging operator on a pointed Lie rack yields an averaging operator on the corresponding Leibniz algebra.


title: Online Multi-spectral Neuron Tracing

abstract: In this paper, we propose an online multi-spectral neuron tracing method with uniquely designed modules, where no offline training are required. Our method is trained online to update our enhanced discriminative correlation filter to conglutinate the tracing process. This distinctive offline-training-free schema differentiates us from other training-dependent tracing approaches like deep learning methods since no annotation is needed for our method. Besides, compared to other tracing methods requiring complicated set-up such as for clustering and graph multi-cut, our approach is much easier to be applied to new images. In fact, it only needs a starting bounding box of the tracing neuron, significantly reducing users' configuration effort. Our extensive experiments show that our training-free and easy-configured methodology allows fast and accurate neuron reconstructions in multi-spectral images.


title: Demystifying Tacit Knowledge in Graphic Design: Characteristics, Instances, Approaches, and Guidelines

abstract: Despite the growing demand for professional graphic design knowledge, the tacit nature of design inhibits knowledge sharing. However, there is a limited understanding on the characteristics and instances of tacit knowledge in graphic design. In this work, we build a comprehensive set of tacit knowledge characteristics through a literature review. Through interviews with 10 professional graphic designers, we collected 123 tacit knowledge instances and labeled their characteristics. By qualitatively coding the instances, we identified the prominent elements, actions, and purposes of tacit knowledge. To identify which instances have been addressed the least, we conducted a systematic literature review of prior system support to graphic design. By understanding the reasons for the lack of support on these instances based on their characteristics, we propose design guidelines for capturing and applying tacit knowledge in design tools. This work takes a step towards understanding tacit knowledge, and how this knowledge can be communicated.


title: Entropy corrected geometric Brownian motion

abstract: The geometric Brownian motion (GBM) is widely employed for modeling stochastic processes, yet its solutions are characterized by the log-normal distribution. This comprises predictive capabilities of GBM mainly in terms of forecasting applications. Here, entropy corrections to GBM are proposed to go beyond log-normality restrictions and better account for intricacies of real systems. It is shown that GBM solutions can be effectively refined by arguing that entropy is reduced when deterministic content of considered data increases. Notable improvements over conventional GBM are observed for several cases of non-log-normal distributions, ranging from a dice roll experiment to real world data.


title: LLMs Still Can't Avoid Instanceof: An Investigation Into GPT-3.5, GPT-4 and Bard's Capacity to Handle Object-Oriented Programming Assignments

abstract: Large Language Models (LLMs) have emerged as promising tools to assist students while solving programming assignments. However, object-oriented programming (OOP), with its inherent complexity involving the identification of entities, relationships, and responsibilities, is not yet mastered by these tools. Contrary to introductory programming exercises, there exists a research gap with regard to the behavior of LLMs in OOP contexts. In this study, we experimented with three prominent LLMs - GPT-3.5, GPT-4, and Bard - to solve real-world OOP exercises used in educational settings, subsequently validating their solutions using an Automatic Assessment Tool (AAT). The findings revealed that while the models frequently achieved mostly working solutions to the exercises, they often overlooked the best practices of OOP. GPT-4 stood out as the most proficient, followed by GPT-3.5, with Bard trailing last. We advocate for a renewed emphasis on code quality when employing these models and explore the potential of pairing LLMs with AATs in pedagogical settings. In conclusion, while GPT-4 showcases promise, the deployment of these models in OOP education still mandates supervision.


title: mpbn: a simple tool for efficient edition and analysis of elementary properties of Boolean networks

abstract: The tool mpbn offers a Python programming interface for an easy interactive editing of Boolean networks and the efficient computation of elementary properties of their dynamics, including fixed points, trap spaces, and reachability properties under the Most Permissive update mode. Relying on Answer-Set Programming logical framework, we show that mpbn is scalable to models with several thousands of nodes and is one of the best-performing tool for computing minimal and maximal trap spaces of Boolean networks, a key feature for understanding and controling their stable behaviors. The tool is available at https://github.com/bnediction/mpbn.


title: Flat or crumpled: states of active symmetric membranes

abstract: We set up and study the hydrodynamic theory for active fluid and tethered membranes. We focus on those membranes which are inversion-symmetric. We show that such membranes are either described by appropriate linear hydrodynamic equations, which are exact in the asymptotic long wavelength limit, giving stable flat phases with positional quasi long range orders, or be linearly unstable, implying crumpling of the membranes. We argue that in a such an active membrane thermal noises dominate over any active noises, and use it to calculate the correlation functions of the undulation and in-plane displacements of the membrane in the stable case, and the associated correlation functions of the embedding bulk flow velocities.


title: Control of flow behavior in complex fluids using automatic differentiation

abstract: Inverse design of complex flows is notoriously challenging because of the high cost of high dimensional optimization. Usually, optimization problems are either restricted to few control parameters, or adjoint-based approaches are used to convert the optimization problem into a boundary value problem. Here, we show that the recent advances in automatic differentiation (AD) provide a generic platform for solving inverse problems in complex fluids. To demonstrate the versatility of the approach, we solve an array of optimization problems related to active matter motion in Newtonian fluids, dispersion in structured porous media, and mixing in journal bearing. Each of these problems highlights the advantages of AD in ease of implementation and computational efficiency to solve high-dimensional optimization problems involving particle-laden flows.


title: Poly Kernel Inception Network for Remote Sensing Detection

abstract: Object detection in remote sensing images (RSIs) often suffers from several increasing challenges, including the large variation in object scales and the diverse-ranging context. Prior methods tried to address these challenges by expanding the spatial receptive field of the backbone, either through large-kernel convolution or dilated convolution. However, the former typically introduces considerable background noise, while the latter risks generating overly sparse feature representations. In this paper, we introduce the Poly Kernel Inception Network (PKINet) to handle the above challenges. PKINet employs multi-scale convolution kernels without dilation to extract object features of varying scales and capture local context. In addition, a Context Anchor Attention (CAA) module is introduced in parallel to capture long-range contextual information. These two components work jointly to advance the performance of PKINet on four challenging remote sensing detection benchmarks, namely DOTA-v1.0, DOTA-v1.5, HRSC2016, and DIOR-R.


title: Editing Conceptual Knowledge for Large Language Models

abstract: Recently, there has been a growing interest in knowledge editing for Large Language Models (LLMs). Current approaches and evaluations merely explore the instance-level editing, while whether LLMs possess the capability to modify concepts remains unclear. This paper pioneers the investigation of editing conceptual knowledge for LLMs, by constructing a novel benchmark dataset ConceptEdit and establishing a suite of new metrics for evaluation. The experimental results reveal that, although existing editing methods can efficiently modify concept-level definition to some extent, they also have the potential to distort the related instantial knowledge in LLMs, leading to poor performance. We anticipate this can inspire further progress in better understanding LLMs. Our project homepage is available at https://zjunlp.github.io/project/ConceptEdit.


title: SCORE: Self-supervised Correspondence Fine-tuning for Improved Content Representations

abstract: There is a growing interest in cost-effective self-supervised fine-tuning (SSFT) of self-supervised learning (SSL)-based speech models to obtain task-specific representations. These task-specific representations are used for robust performance on various downstream tasks by fine-tuning on the labelled data. This work presents a cost-effective SSFT method named Self-supervised Correspondence (SCORE) fine-tuning to adapt the SSL speech representations for content-related tasks. The proposed method uses a correspondence training strategy, aiming to learn similar representations from perturbed speech and original speech. Commonly used data augmentation techniques for content-related tasks (ASR) are applied to obtain perturbed speech. SCORE fine-tuned HuBERT outperforms the vanilla HuBERT on SUPERB benchmark with only a few hours of fine-tuning (< 5 hrs) on a single GPU for automatic speech recognition, phoneme recognition, and query-by-example tasks, with relative improvements of 1.09%, 3.58%, and 12.65%, respectively. SCORE provides competitive results with the recently proposed SSFT method SPIN, using only 1/3 of the processed speech compared to SPIN.


title: ABC-Channel: An Advanced Blockchain-based Covert Channel

abstract: Establishing efficient and robust covert channels is crucial for secure communication within insecure network environments. With its inherent benefits of decentralization and anonymization, blockchain has gained considerable attention in developing covert channels. To guarantee a highly secure covert channel, channel negotiation should be contactless before the communication, carrier transaction features must be indistinguishable from normal transactions during the communication, and communication identities must be untraceable after the communication. Such a full-lifecycle covert channel is indispensable to defend against a versatile adversary who intercepts two communicating parties comprehensively (e.g., on-chain and off-chain). Unfortunately, it has not been thoroughly investigated in the literature. We make the first effort to achieve a full-lifecycle covert channel, a novel blockchain-based covert channel named ABC-Channel. We tackle a series of challenges, such as off-chain contact dependency, increased masquerading difficulties as growing transaction volume, and time-evolving, communicable yet untraceable identities, to achieve contactless channel negotiation, indistinguishable transaction features, and untraceable communication identities, respectively. We develop a working prototype to validate ABC-Channel and conduct extensive tests on the Bitcoin testnet. The experimental results demonstrate that ABC-Channel achieves substantially secure covert capabilities. In comparison to existing methods, it also exhibits state-of-the-art transmission efficiency.


title: On compact (limited) operators between Hilbert and Banach spaces

abstract: We give orthonormal characterizations of compact operators and of limited operators from a Hilbert space to a Banach space.


title: A generalization of a Ramanujan's exercise and Fibonacci polynomials

abstract: We give a generalization of a Ramanujan's exercise for high school students. Our results can be regarded as a variation of the factorization formula of $x^{n} - 1$.


title: Dynamics of Polarization Under Normative Institutions and Opinion Expression Stewarding

abstract: Although there is mounting empirical evidence for the increase in affective polarization, few mechanistic models can explain its emergence at the population level. The question of how such a phenomenon can emerge from divergent opinions of a population on an ideological issue is still an open issue. In this paper, we establish that human normativity, that is, individual expression of normative opinions based on beliefs about the population, can lead to population-level polarization when ideological institutions distort beliefs in accordance with their objective of moving expressed opinion to one extreme. Using a game-theoretic model, we establish that individuals with more extreme opinions will have more extreme rhetoric and higher misperceptions about their outgroup members. Our model also shows that when social recommendation systems mediate institutional signals, we can observe the formation of different institutional communities, each with its unique community structure and characteristics. Using the model, we identify practical strategies platforms can implement, such as reducing exposure to signals from ideological institutions and a tailored approach to content moderation, both of which can rectify the affective polarization problem within its purview.


title: Unpacking Tokenization: Evaluating Text Compression and its Correlation with Model Performance

abstract: Despite it being the cornerstone of BPE, the most common tokenization algorithm, the importance of compression in the tokenization process is still unclear. In this paper, we argue for the theoretical importance of compression, that can be viewed as 0-gram language modeling where equal probability is assigned to all tokens. We also demonstrate the empirical importance of compression for downstream success of pre-trained language models. We control the compression ability of several BPE tokenizers by varying the amount of documents available during their training: from 1 million documents to a character-based tokenizer equivalent to no training data at all. We then pre-train English language models based on those tokenizers and fine-tune them over several tasks. We show that there is a correlation between tokenizers' compression and models' downstream performance, suggesting that compression is a reliable intrinsic indicator of tokenization quality. These correlations are more pronounced for generation tasks (over classification) or for smaller models (over large ones). We replicated a representative part of our experiments on Turkish and found similar results, confirming that our results hold for languages with typological characteristics dissimilar to English. We conclude that building better compressing tokenizers is a fruitful avenue for further research and for improving overall model performance.


title: An adaptive mesh refinement strategy to ensure quasi-optimality of the conforming finite element method for the Helmholtz equation via T-coercivity

abstract: It is well known that the quasi-optimality of the Galerkin finite element method for the Helmholtz equation is dependent on the mesh size and the wave-number. In literature, different criteria have been proposed to ensure quasi-optimality. Often these criteria are difficult to obtain and depend on wave-number explicit regularity estimates. In the present work, we focus on criteria based on T-coercivity and weak T-coercivity, which highlight mesh size dependence on the gap between the square of the wavenumber and Laplace eigenvalues. We also propose an adaptive scheme, coupled with a residual-based indicator, for optimal mesh generation with minimal degrees of freedom.


title: FARPLS: A Feature-Augmented Robot Trajectory Preference Labeling System to Assist Human Labelers' Preference Elicitation

abstract: Preference-based learning aims to align robot task objectives with human values. One of the most common methods to infer human preferences is by pairwise comparisons of robot task trajectories. Traditional comparison-based preference labeling systems seldom support labelers to digest and identify critical differences between complex trajectories recorded in videos. Our formative study (N = 12) suggests that individuals may overlook non-salient task features and establish biased preference criteria during their preference elicitation process because of partial observations. In addition, they may experience mental fatigue when given many pairs to compare, causing their label quality to deteriorate. To mitigate these issues, we propose FARPLS, a Feature-Augmented Robot trajectory Preference Labeling System. FARPLS highlights potential outliers in a wide variety of task features that matter to humans and extracts the corresponding video keyframes for easy review and comparison. It also dynamically adjusts the labeling order according to users' familiarities, difficulties of the trajectory pair, and level of disagreements. At the same time, the system monitors labelers' consistency and provides feedback on labeling progress to keep labelers engaged. A between-subjects study (N = 42, 105 pairs of robot pick-and-place trajectories per person) shows that FARPLS can help users establish preference criteria more easily and notice more relevant details in the presented trajectories than the conventional interface. FARPLS also improves labeling consistency and engagement, mitigating challenges in preference elicitation without raising cognitive loads significantly


title: Physics-Guided Abnormal Trajectory Gap Detection

abstract: Given trajectories with gaps (i.e., missing data), we investigate algorithms to identify abnormal gaps in trajectories which occur when a given moving object did not report its location, but other moving objects in the same geographic region periodically did. The problem is important due to its societal applications, such as improving maritime safety and regulatory enforcement for global security concerns such as illegal fishing, illegal oil transfers, and trans-shipments. The problem is challenging due to the difficulty of bounding the possible locations of the moving object during a trajectory gap, and the very high computational cost of detecting gaps in such a large volume of location data. The current literature on anomalous trajectory detection assumes linear interpolation within gaps, which may not be able to detect abnormal gaps since objects within a given region may have traveled away from their shortest path. In preliminary work, we introduced an abnormal gap measure that uses a classical space-time prism model to bound an object's possible movement during the trajectory gap and provided a scalable memoized gap detection algorithm (Memo-AGD). In this paper, we propose a Space Time-Aware Gap Detection (STAGD) approach to leverage space-time indexing and merging of trajectory gaps. We also incorporate a Dynamic Region Merge-based (DRM) approach to efficiently compute gap abnormality scores. We provide theoretical proofs that both algorithms are correct and complete and also provide analysis of asymptotic time complexity. Experimental results on synthetic and real-world maritime trajectory data show that the proposed approach substantially improves computation time over the baseline technique.


title: FastVideoEdit: Leveraging Consistency Models for Efficient Text-to-Video Editing

abstract: Diffusion models have demonstrated remarkable capabilities in text-to-image and text-to-video generation, opening up possibilities for video editing based on textual input. However, the computational cost associated with sequential sampling in diffusion models poses challenges for efficient video editing. Existing approaches relying on image generation models for video editing suffer from time-consuming one-shot fine-tuning, additional condition extraction, or DDIM inversion, making real-time applications impractical. In this work, we propose FastVideoEdit, an efficient zero-shot video editing approach inspired by Consistency Models (CMs). By leveraging the self-consistency property of CMs, we eliminate the need for time-consuming inversion or additional condition extraction, reducing editing time. Our method enables direct mapping from source video to target video with strong preservation ability utilizing a special variance schedule. This results in improved speed advantages, as fewer sampling steps can be used while maintaining comparable generation quality. Experimental results validate the state-of-the-art performance and speed advantages of FastVideoEdit across evaluation metrics encompassing editing speed, temporal consistency, and text-video alignment.