title: A Large-Scale Empirical Study of COVID-19 Contact Tracing Mobile App Reviews

abstract: Since the beginning of 2020, the novel coronavirus has begun to sweep across the globe. Given the prevalence of smartphones everywhere, many countries across continents also developed COVID-19 contract tracing apps that users can install to get a warning of potential contacts with infected people. Unlike regular apps that undergo detailed requirement analysis, carefully designed development, rigorous testing, contact tracing apps were deployed after rapid development. Therefore such apps may not reach expectations for all end users. Users share their opinions and experience of the usage of the apps in the app store. This paper aims to understand the types of topics users discuss in the reviews of the COVID-19 contact tracing apps across the continents by analyzing the app reviews. We collected all the reviews of 35 COVID-19 contact tracing apps developed by 34 countries across the globe. We group the app reviews into the following geographical regions: Asia, Europe, North America, Latin America, Africa, Middle East, and Australasia (Australia and NZ). We run topic modeling on the app reviews of each region. We analyze the produced topics and their evolution over time by categorizing them into hierarchies and computing the ratings of reviews related to the topics. While privacy could be a concern with such apps, we only find privacy-related topics in Australasia, North America, and Middle East. Topics related to usability and performance of the apps are prevalent across all regions. Users frequently complained about the lack of features, user interface and the negative impact of such apps on their mobile batteries. Still, we also find that many users praised the apps because they helped them stay aware of the potential danger of getting infected. The finding of this study is expected to help app developers utilize their resources to address the reported issues in a prioritized way.


title: Testing $C_k$-freeness in bounded-arboricity graphs

abstract: We study the problem of testing $C_k$-freeness ($k$-cycle-freeness) for fixed constant $k > 3$ in graphs with bounded arboricity (but unbounded degrees). In particular, we are interested in one-sided error algorithms, so that they must detect a copy of $C_k$ with high constant probability when the graph is $\epsilon$-far from $C_k$-free. We next state our results for constant arboricity and constant $\epsilon$ with a focus on the dependence on the number of graph vertices, $n$. The query complexity of all our algorithms grows polynomially with $1/\epsilon$. (1) As opposed to the case of $k=3$, where the complexity of testing $C_3$-freeness grows with the arboricity of the graph but not with the size of the graph (Levi, ICALP 2021) this is no longer the case already for $k=4$. We show that $\Omega(n^{1/4})$ queries are necessary for testing $C_4$-freeness, and that $\widetilde{O}(n^{1/4})$ are sufficient. The same bounds hold for $C_5$. (2) For every fixed $k \geq 6$, any one-sided error algorithm for testing $C_k$-freeness must perform $\Omega(n^{1/3})$ queries. (3) For $k=6$ we give a testing algorithm whose query complexity is $\widetilde{O}(n^{1/2})$. (4) For any fixed $k$, the query complexity of testing $C_k$-freeness is upper bounded by ${O}(n^{1-1/\lfloor k/2\rfloor})$. Our $\Omega(n^{1/4})$ lower bound for testing $C_4$-freeness in constant arboricity graphs provides a negative answer to an open problem posed by (Goldreich, 2021).


title: Amalgams of matroids, fibre products and tropical graph correspondences

abstract: We prove that the proper amalgam of matroids $M_1$ and $M_2$ along their common restriction $N$ exists if and only if the tropical fibre product of Bergman fans ${B(M_1) \times_{B(N)} B(M_2)}$ is positive. We introduce tropical correspondences between Bergman fans as tropical subcycles in their product, similar to correspondences in algebraic geometry, and define a "graph correspondence" of the map of lattices. We prove that graph construction is a functor for the "covering" maps of lattices, exploiting a generalization of Bergman fan which we call a "Flag fan".


title: Universality of the thermodynamics of a quantum-mechanically radiating black hole departing from thermality

abstract: Mathur and Mehta won the third prize in the 2023 Gravity Research Foundation Essay Competition for proving the universality of black hole (BH) thermodynamics. Specifically, they demonstrated that any Extremely Compact Object (ECO) must have the same BH thermodynamic properties regardless of whether or not the ECO possesses an event horizon. The result is remarkable, but it was obtained under the approximation according to which the BH emission spectrum has an exactly thermal character. In fact, strong arguments based on energy conservation and BH back reaction imply that the spectrum of the Hawking radiation cannot be exactly thermal. In this work the result of Mathur and Mehta will be extended to the case where the radiation spectrum is not exactly thermal using the concept of BH dynamical state.


title: Stability and Elasticity of Ultrathin Sphere-Patterned Block Copolymer Films

abstract: Sphere-patterned ultrathin block copolymers films are potentially interesting for a variety of applications in nanotechnology. We use self-consistent field theory to investigate the elastic response of sphere monolayer films with respect to in-plane shear, in-plane extension and compression deformations, and with respect to bending. The relations between the in-plane elastic moduli is roughly compatible with the expectations for two-dimensional elastic systems with hexagonal symmetry, with one notable exception: The pure shear and the simple shear moduli differ from each other by roughly 20%. Even more importantly, the bending constants are found to be negative, indicating that free-standing block copolymer membranes made of only sphere mono-layer are inherently unstable above the glass transition. Our results are discussed in view of experimental findings.


title: Logic Agent: Enhancing Validity with Logic Rule Invocation

abstract: Chain-of-Thought (CoT) prompting has emerged as a pivotal technique for augmenting the inferential capabilities of language models during reasoning tasks. Despite its advancements, CoT often grapples with challenges in validating reasoning validity and ensuring informativeness. Addressing these limitations, this paper introduces the Logic Agent (LA), an agent-based framework aimed at enhancing the validity of reasoning processes in Large Language Models (LLMs) through strategic logic rule invocation. Unlike conventional approaches, LA transforms LLMs into logic agents that dynamically apply propositional logic rules, initiating the reasoning process by converting natural language inputs into structured logic forms. The logic agent leverages a comprehensive set of predefined functions to systematically navigate the reasoning process. This methodology not only promotes the structured and coherent generation of reasoning constructs but also significantly improves their interpretability and logical coherence. Through extensive experimentation, we demonstrate LA's capacity to scale effectively across various model sizes, markedly improving the precision of complex reasoning across diverse tasks.


title: Lifshitz transitions and Weyl semimetals from a topological superconductor with supercurrent flow

abstract: A current flowing through a superconductor induces a spatial modulation in its superconducting order parameter, characterized by a wavevector $Q$ related to the total momentum of a Cooper pair. Here we investigate this phenomenon in a $p$-wave topological superconductor, described by a one-dimensional Kitaev model. We demonstrate that, by treating $Q$ as an extra synthetic dimension, the current carrying non-equilibrium steady state can be mapped into the ground state of a half-filled two-dimensional Weyl semimetal, whose Fermi surface exhibits Lifshitz transitions when varying the model parameters. Specifically, the transition from Type-I to Type-II Weyl phases corresponds to the emergence of a gapless $p$-wave superconductor, where Cooper pairs coexist with unpaired electrons and holes. Such transition is signaled by the appearance of a sharp cusp in the $Q$-dependence of the supercurrent, at a critical value $Q^*$ that is robust to variations of the chemical potential $\mu$. We determine the maximal current that the system can sustain in the topological phase, and discuss possible implementations.


title: Allocating Mixed Goods with Customized Fairness and Indivisibility Ratio

abstract: We consider the problem of fairly allocating a combination of divisible and indivisible goods. While fairness criteria like envy-freeness (EF) and proportionality (PROP) can always be achieved for divisible goods, only their relaxed versions, such as the ''up to one'' relaxations EF1 and PROP1, can be satisfied when the goods are indivisible. The ''up to one'' relaxations require the fairness conditions to be satisfied provided that one good can be completely eliminated or added in the comparison. In this work, we bridge the gap between the two extremes and propose ''up to a fraction'' relaxations for the allocation of mixed divisible and indivisible goods. The fraction is determined based on the proportion of indivisible goods, which we call the indivisibility ratio. The new concepts also introduce asymmetric conditions that are customized for individuals with varying indivisibility ratios. We provide both upper and lower bounds on the fractions of the modified item in order to satisfy the fairness criterion. Our results are tight up to a constant for EF and asymptotically tight for PROP.


title: Fair Division of Indivisible Goods with Comparison-Based Queries

abstract: We study the problem of fairly allocating $m$ indivisible goods to $n$ agents, where agents may have different preferences over the goods. In the traditional setting, agents' valuations are provided as inputs to the algorithm. In this paper, we study a new comparison-based query model where the algorithm presents two bundles of goods to an agent and the agent responds by telling the algorithm which bundle she prefers. We investigate the query complexity for computing allocations with several fairness notions including proportionality up to one good (PROP1), envy-freeness up to one good (EF1), and maximin share (MMS). Our main result is an algorithm that computes an allocation satisfying both PROP1 and $\frac12$-MMS within $O(\log m)$ queries with a constant number of $n$ agents. For identical and additive valuation, we present an algorithm for computing an EF1 allocation within $O(\log m)$ queries with a constant number of $n$ agents. To complement the positive results, we show that the lower bound of the query complexity for any of the three fairness notions is $\Omega(\log m)$ even with two agents.


title: Enhancing Fairness in Neural Networks Using FairVIC

abstract: Mitigating bias in automated decision-making systems, specifically deep learning models, is a critical challenge in achieving fairness. This complexity stems from factors such as nuanced definitions of fairness, unique biases in each dataset, and the trade-off between fairness and model accuracy. To address such issues, we introduce FairVIC, an innovative approach designed to enhance fairness in neural networks by addressing inherent biases at the training stage. FairVIC differs from traditional approaches that typically address biases at the data preprocessing stage. Instead, it integrates variance, invariance and covariance into the loss function to minimise the model's dependency on protected characteristics for making predictions, thus promoting fairness. Our experimentation and evaluation consists of training neural networks on three datasets known for their biases, comparing our results to state-of-the-art algorithms, evaluating on different sizes of model architectures, and carrying out sensitivity analysis to examine the fairness-accuracy trade-off. Through our implementation of FairVIC, we observed a significant improvement in fairness across all metrics tested, without compromising the model's accuracy to a detrimental extent. Our findings suggest that FairVIC presents a straightforward, out-of-the-box solution for the development of fairer deep learning models, thereby offering a generalisable solution applicable across many tasks and datasets.


title: Dexterous Grasp Transformer

abstract: In this work, we propose a novel discriminative framework for dexterous grasp generation, named Dexterous Grasp TRansformer (DGTR), capable of predicting a diverse set of feasible grasp poses by processing the object point cloud with only one forward pass. We formulate dexterous grasp generation as a set prediction task and design a transformer-based grasping model for it. However, we identify that this set prediction paradigm encounters several optimization challenges in the field of dexterous grasping and results in restricted performance. To address these issues, we propose progressive strategies for both the training and testing phases. First, the dynamic-static matching training (DSMT) strategy is presented to enhance the optimization stability during the training phase. Second, we introduce the adversarial-balanced test-time adaptation (AB-TTA) with a pair of adversarial losses to improve grasping quality during the testing phase. Experimental results on the DexGraspNet dataset demonstrate the capability of DGTR to predict dexterous grasp poses with both high quality and diversity. Notably, while keeping high quality, the diversity of grasp poses predicted by DGTR significantly outperforms previous works in multiple metrics without any data pre-processing. Codes are available at https://github.com/iSEE-Laboratory/DGTR .


title: SafePaint: Anti-forensic Image Inpainting with Domain Adaptation

abstract: Existing image inpainting methods have achieved remarkable accomplishments in generating visually appealing results, often accompanied by a trend toward creating more intricate structural textures. However, while these models excel at creating more realistic image content, they often leave noticeable traces of tampering, posing a significant threat to security. In this work, we take the anti-forensic capabilities into consideration, firstly proposing an end-to-end training framework for anti-forensic image inpainting named SafePaint. Specifically, we innovatively formulated image inpainting as two major tasks: semantically plausible content completion and region-wise optimization. The former is similar to current inpainting methods that aim to restore the missing regions of corrupted images. The latter, through domain adaptation, endeavors to reconcile the discrepancies between the inpainted region and the unaltered area to achieve anti-forensic goals. Through comprehensive theoretical analysis, we validate the effectiveness of domain adaptation for anti-forensic performance. Furthermore, we meticulously crafted a region-wise separated attention (RWSA) module, which not only aligns with our objective of anti-forensics but also enhances the performance of the model. Extensive qualitative and quantitative evaluations show our approach achieves comparable results to existing image inpainting methods while offering anti-forensic capabilities not available in other methods.


title: Domar aggregation under nonneutral elasticity of substitution

abstract: The characteristics inherent in a Domar aggregation, when all sectoral productions embody a common nonneutral elasticity of substitution, is examined. There, the general equilibrium propagation of productivity changes entails structural transformation that brings nonlinearities in their aggregation into price indices. We show that negative singularity, such that a finite productivity decrease induces an infinitely large price, is possible in an inelastic economy, while positive singularity, such that a finite productivity increase induces a zero price, is possible in an elastic economy. Regarding the aggregate outputs, two independent productivity changes will have synergism in an elastic economy, whereas negative synergism will be prevalent in an inelastic economy. Neither issue is of concern in a Cobb-Douglas economy where the elasticity of substitution is everywhere neutral.


title: Majorana Fermion Zero Modes and Anomalies in String and M Theories

abstract: In this thesis, we propose a new consistency condition of quantum field theory: Having an odd number of Majorana fermion zero modes on a dynamical point-like soliton signifies an inconsistency in a theory with 3+1 or higher dimensions. This inconsistency is related to the non-perturbative anomaly in known models of quantum field theory. As an application, we check the consistency of string and M theory compactifications with branes. We propose a new criterion on the consistency of brane configurations: An odd number of Majorana fermion zero modes on a D-brane stretching infinitely in space is acceptable, whereas compactifying it to a point-like object leads to an inconsistency. We show that a single M5-brane always has an even number of Majorana fermion zero modes because of the symmetry on the worldvolume in 2+1 or higher dimensional compactifications of M-theory. We also construct models with an odd number of Majorana fermion zero modes by intersecting D-branes. From our criterion, compactifying such branes to point-like objects is not allowed. Finally, we show that the gauge invariance on the intersecting branes always requires an even number of Majorana fermion zero modes on a point-like brane. This observation gives another interpretation of the inconsistency we introduced.


title: Numerical dissipation induced by the low-pass filtering in nonlinear gyrokinetic simulations

abstract: De-aliasing is an essential procedure for eliminating the aliasing error in nonlinear simulations, such as nonlinear gyrokinetic turbulence simulations. An ideal approach to de-aliasing in the periodic dimension is Fourier truncation. Finite difference low-pass filtering applied in the non-periodic direction strongly dampens aliasing modes. At the same time, it induces numerical dissipation in the region of the physically realistic solution. It is shown analytically that the long-wave dissipation coefficient is proportional to the (Np-3) power of the wavenumber under desirable constraints satisfying the highest order accuracy, where Np is the number of filter points. Numerical results after applying the optimised low-pass filtering to the nonlinear gyrokinetic turbulence simulation suggest that the nine-point format preserves intact mesoscopic zonal structures in Tokamak plasmas, and is therefore suitable for long-time nonlinear turbulence simulations.


title: The Unique stationary boundary property

abstract: Let $G$ be a locally compact group and $\mu$ an admissible probability measure on $G$. Let $(B,\nu)$ be the universal topological Poisson $\mu$-boundary of $(G,\mu)$ and $\Pi_s(G)$ the universal minimal strongly proximal $G$-flow. This note is inspired by a recent result of Hartman and Kalantar. We show that for a locally compact second countable group $G$ the following conditions are equivalent: (i) the measure $\nu$ is the unique $\mu$-stationary measure on $B$, (ii) $(B,G) \cong (\Pi_s(G),G)$.


title: Efficient, robust and universal computation of classical orbital elements

abstract: This paper reviews the standard algorithm for converting spacecraft state vectors to Keplerian orbital elements with a focus on its computer implementation. It analyzes the shortcomings of the scheme as described in the literature, and proposes changes to address orbits of arbitrary eccentricity and inclination in a robust way. Next, it presents two alternative schemes that simplify the program structure while improving the accuracy and speed of the transformation on modern computer architectures. Comprehensive numerical benchmarks demonstrate accuracy improvements by two orders of magnitude, together with a 40% reduction of computational cost relative to the standard implementation.


title: Revisiting Majumdar-Ghosh spin chain model and Max-cut problem using variational quantum algorithms

abstract: In this work, energy levels of the Majumdar-Ghosh model (MGM) are analyzed up to 15 spins chain in the noisy intermediate-scale quantum framework using noisy simulations. This is a useful model whose exact solution is known for a particular choice of interaction coefficients. We have solved this model for interaction coefficients other than that required for the exactly solvable conditions as this solution can be of help in understanding the quantum phase transitions in complex spin chain models. The solutions are obtained using quantum approximate optimization algorithms (QAOA), and variational quantum eigensolver (VQE). To obtain the solutions, the one-dimensional lattice network is mapped to a Hamiltonian that corresponds to the required interaction coefficients among spins. Then, the ground states energy eigenvalue of this Hamiltonian is found using QAOA and VQE. Further, the validity of the Lieb-Schultz-Mattis theorem in the context of MGM is established by employing variational quantum deflation to find the first excited energy of MGM. Solution for an unweighted Max-cut graph for 17 nodes is also obtained using QAOA and VQE to know which one of these two techniques performs better in a combinatorial optimization problem. Since the variational quantum algorithms used here to revisit the Max-cut problem and MGM are hybrid algorithms, they require classical optimization. Consequently, the results obtained using different types of classical optimizers are compared to reveal that the QNSPSA optimizer improves the convergence of QAOA in comparison to the SPSA optimizer. However, VQE with EfficientSU2 ansatz using the SPSA optimizer yields the best results.


title: Tracking Transforming Objects: A Benchmark

abstract: Tracking transforming objects holds significant importance in various fields due to the dynamic nature of many real-world scenarios. By enabling systems accurately represent transforming objects over time, tracking transforming objects facilitates advancements in areas such as autonomous systems, human-computer interaction, and security applications. Moreover, understanding the behavior of transforming objects provides valuable insights into complex interactions or processes, contributing to the development of intelligent systems capable of robust and adaptive perception in dynamic environments. However, current research in the field mainly focuses on tracking generic objects. In this study, we bridge this gap by collecting a novel dedicated Dataset for Tracking Transforming Objects, called DTTO, which contains 100 sequences, amounting to approximately 9.3K frames. We provide carefully hand-annotated bounding boxes for each frame within these sequences, making DTTO the pioneering benchmark dedicated to tracking transforming objects. We thoroughly evaluate 20 state-of-the-art trackers on the benchmark, aiming to comprehend the performance of existing methods and provide a comparison for future research on DTTO. With the release of DTTO, our goal is to facilitate further research and applications related to tracking transforming objects.


title: Generative AI for Visualization: State of the Art and Future Directions

abstract: Generative AI (GenAI) has witnessed remarkable progress in recent years and demonstrated impressive performance in various generation tasks in different domains such as computer vision and computational design. Many researchers have attempted to integrate GenAI into visualization framework, leveraging the superior generative capacity for different operations. Concurrently, recent major breakthroughs in GenAI like diffusion model and large language model have also drastically increase the potential of GenAI4VIS. From a technical perspective, this paper looks back on previous visualization studies leveraging GenAI and discusses the challenges and opportunities for future research. Specifically, we cover the applications of different types of GenAI methods including sequence, tabular, spatial and graph generation techniques for different tasks of visualization which we summarize into four major stages: data enhancement, visual mapping generation, stylization and interaction. For each specific visualization sub-task, we illustrate the typical data and concrete GenAI algorithms, aiming to provide in-depth understanding of the state-of-the-art GenAI4VIS techniques and their limitations. Furthermore, based on the survey, we discuss three major aspects of challenges and research opportunities including evaluation, dataset, and the gap between end-to-end GenAI and generative algorithms. By summarizing different generation algorithms, their current applications and limitations, this paper endeavors to provide useful insights for future GenAI4VIS research.


title: The Limited Role of the Streaming Instability During Moon and Exomoon Formation

abstract: It is generally accepted that the Moon accreted from the disk formed by an impact between the proto-Earth and impactor, but its details are highly debated. Some models suggest that a Mars-sized impactor formed a silicate melt-rich (vapor-poor) disk around Earth, whereas other models suggest that a highly energetic impact produced a silicate vapor-rich disk. Such a vapor-rich disk, however, may not be suitable for the Moon formation, because moonlets, building blocks of the Moon, of 100 m-100 km may experience strong gas drag and fall onto Earth on a short timescale, failing to grow further. This problem may be avoided if large moonlets ($\gg 100$ km) form very quickly by streaming instability, which is a process to concentrate particles enough to cause gravitational collapse and rapid formation of planetesimals or moonlets. Here, we investigate the effect of the streaming instability in the Moon-forming disk for the first time and find that this instability can quickly form $\sim 100$ km-sized moonlets. However, these moonlets are not large enough to avoid strong drag and they still fall onto Earth quickly. This suggests that the vapor-rich disks may not form the large Moon, and therefore the models that produce vapor-poor disks are supported. This result is applicable to general impact-induced moon-forming disks, supporting the previous suggestion that small planets ($<1.6 R_\oplus$) are good candidates to host large moons because their impact-induced disks would be likely vapor-poor. We find a limited role of streaming instability in a satellite formation in an impact-induced disk, whereas it plays a key role during planet formation.


title: Tailoring coercive fields and the Curie temperature via proximity coupling in WSe$_2$/Fe$_3$GeTe$_2$ van der Waals heterostructures

abstract: Hybrid structures consisting of two-dimensional (2D) magnets and semiconductors have exhibited extensive functionalities in spintronics and opto-spintronics. In this work, we have fabricated WSe$_2$/Fe$_3$GeTe$_2$ van der Waals (vdW) heterostructures and investigated the proximity effects on 2D magnetism. Through reflective magnetic circular dichroism (RMCD), we have observed a temperature-dependent modulation of magnetic order in the heterostructure. For temperatures above $40$ K, WSe$_2$-covered Fe$_3$GeTe$_2$ exhibits a larger coercive field than that observed in bare Fe$_3$GeTe$_2$, accompanied by a noticeable enhancement of the Curie temperature by $21$ K. This strengthening suggests an increase in magnetic anisotropy in the interfacial Fe$_3$GeTe$_2$ layer, which can be attributed to the spin-orbit coupling (SOC) proximity effect induced by the adjacent WSe$_2$ layers. However, at much lower temperatures ($T<20$ K), a non-monotonic modification of the coercive field is observed, showing both reduction and enhancement, which depends on the thickness of the WSe$_2$ and Fe$_3$GeTe$_2$ layers. Moreover, an unconventional two-step magnetization process emerges in the heterostructure, indicating the short-range nature of SOC proximity effects. Our findings revealing proximity effects on 2D magnetism may shed light on the design of future spintronic and memory devices based on 2D magnetic heterostructures.


title: The Cosmological Impact of Brane-Chern-Simons Massive Gravity

abstract: In this paper, we present a novel extension of massive gravity theory; the Brane-Chern-Simons massive gravity theory. We explore the cosmological implications of this theory by deriving the background equations and demonstrating the existence of self-accelerating solutions. Interestingly, our theory suggests the existence of self-accelerating mechanisms that originate from an effective cosmological constant, leading to intriguing possibilities for understanding the nature of cosmic acceleration. Furthermore, we perform a tensor perturbation analysis to investigate the propagation of gravitational waves in this framework. We derive the dispersion relation for gravitational waves and study their behavior in the Friedmann-Lema\^itre-Roberson-Waker cosmology within the context of Brane-Chen-Simons massive gravity. Utilizing the latest Union2 type Ia supernova dataset comprising $557$ SNIa events, we provide observational support for our theoretical framework, indicating that the Brane-Chern-Simons massive gravity theory is consistent with cosmological observations.


title: Decentralized Peer Review in Open Science: A Mechanism Proposal

abstract: Peer review is a laborious, yet essential, part of academic publishing with crucial impact on the scientific endeavor. The current lack of incentives and transparency harms the credibility of this process. Researchers are neither rewarded for superior nor penalized for bad reviews. Additionally, confidential reports cause a loss of insights and make the review process vulnerable to scientific misconduct. We propose a community-owned and -governed system that 1) remunerates reviewers for their efforts, 2) publishes the (anonymized) reports for scrutiny by the community, 3) tracks reputation of reviewers and 4) provides digital certificates. Automated by transparent smart-contract blockchain technology, the system aims to increase quality and speed of peer review while lowering the chance and impact of erroneous judgements.


title: Compressed Deepfake Video Detection Based on 3D Spatiotemporal Trajectories

abstract: The misuse of deepfake technology by malicious actors poses a potential threat to nations, societies, and individuals. However, existing methods for detecting deepfakes primarily focus on uncompressed videos, such as noise characteristics, local textures, or frequency statistics. When applied to compressed videos, these methods experience a decrease in detection performance and are less suitable for real-world scenarios. In this paper, we propose a deepfake video detection method based on 3D spatiotemporal trajectories. Specifically, we utilize a robust 3D model to construct spatiotemporal motion features, integrating feature details from both 2D and 3D frames to mitigate the influence of large head rotation angles or insufficient lighting within frames. Furthermore, we separate facial expressions from head movements and design a sequential analysis method based on phase space motion trajectories to explore the feature differences between genuine and fake faces in deepfake videos. We conduct extensive experiments to validate the performance of our proposed method on several compressed deepfake benchmarks. The robustness of the well-designed features is verified by calculating the consistent distribution of facial landmarks before and after video compression.Our method yields satisfactory results and showcases its potential for practical applications.


title: RadSimReal: Bridging the Gap Between Synthetic and Real Data in Radar Object Detection With Simulation

abstract: Object detection in radar imagery with neural networks shows great potential for improving autonomous driving. However, obtaining annotated datasets from real radar images, crucial for training these networks, is challenging, especially in scenarios with long-range detection and adverse weather and lighting conditions where radar performance excels. To address this challenge, we present RadSimReal, an innovative physical radar simulation capable of generating synthetic radar images with accompanying annotations for various radar types and environmental conditions, all without the need for real data collection. Remarkably, our findings demonstrate that training object detection models on RadSimReal data and subsequently evaluating them on real-world data produce performance levels comparable to models trained and tested on real data from the same dataset, and even achieves better performance when testing across different real datasets. RadSimReal offers advantages over other physical radar simulations that it does not necessitate knowledge of the radar design details, which are often not disclosed by radar suppliers, and has faster run-time. This innovative tool has the potential to advance the development of computer vision algorithms for radar-based autonomous driving applications.


title: Decidability of Graph Neural Networks via Logical Characterizations

abstract: We present results concerning the expressiveness and decidability of a popular graph learning formalism, graph neural networks (GNNs), exploiting connections with logic. We use a family of recently-discovered decidable logics involving "Presburger quantifiers". We show how to use these logics to measure the expressiveness of classes of GNNs, in some cases getting exact correspondences between the expressiveness of logics and GNNs. We also employ the logics, and the techniques used to analyze them, to obtain decision procedures for verification problems over GNNs. We complement this with undecidability results for static analysis problems involving the logics, as well as for GNN verification problems.


title: Masked Attention as a Mechanism for Improving Interpretability of Vision Transformers

abstract: Vision Transformers are at the heart of the current surge of interest in foundation models for histopathology. They process images by breaking them into smaller patches following a regular grid, regardless of their content. Yet, not all parts of an image are equally relevant for its understanding. This is particularly true in computational pathology where background is completely non-informative and may introduce artefacts that could mislead predictions. To address this issue, we propose a novel method that explicitly masks background in Vision Transformers' attention mechanism. This ensures tokens corresponding to background patches do not contribute to the final image representation, thereby improving model robustness and interpretability. We validate our approach using prostate cancer grading from whole-slide images as a case study. Our results demonstrate that it achieves comparable performance with plain self-attention while providing more accurate and clinically meaningful attention heatmaps.


title: Llarull's theorem on odd dimensional manifolds: the noncompact case

abstract: Let $(M,g^{TM})$ be an odd dimensional ($\dim M\geq 3$) connected oriented noncompact complete spin Riemannian manifold. Let $k^{TM}$ be the associated scalar curvature. Let $f:M\to S^{\dim M}(1)$ be a smooth area decreasing map which is locally constant near infinity and of nonzero degree. Suppose $k^{TM}\geq ({\dim M})({\dim M}-1)$ on the support of ${\rm d}f$, we show that $\inf(k^{TM})<0$. This answers a question of Gromov.


title: Explaining vague language

abstract: Why is language vague? Vagueness may be explained and rationalized if it can be shown that vague language is more useful to speaker and hearer than precise language. In a well-known paper, Lipman proposes a game-theoretic account of vagueness in terms of mixed strategy that leads to a puzzle: vagueness cannot be strictly better than precision at equilibrium. More recently, \'Egr\'e, Spector, Mortier and Verheyen have put forward a Bayesian account of vagueness establishing that using vague words can be strictly more informative than using precise words. This paper proposes to compare both results and to explain why they are not in contradiction. Lipman's definition of vagueness relies exclusively on a property of signaling strategies, without making any assumptions about the lexicon, whereas \'Egr\'e et al.'s involves a layer of semantic content. We argue that the semantic account of vagueness is needed, and more adequate and explanatory of vagueness.


title: ShapeMoir\'e: Channel-Wise Shape-Guided Network for Image Demoir\'eing

abstract: Photographing optoelectronic displays often introduces unwanted moir\'e patterns due to analog signal interference between the pixel grids of the display and the camera sensor arrays. This work identifies two problems that are largely ignored by existing image demoir\'eing approaches: 1) moir\'e patterns vary across different channels (RGB); 2) repetitive patterns are constantly observed. However, employing conventional convolutional (CNN) layers cannot address these problems. Instead, this paper presents the use of our recently proposed Shape concept. It was originally employed to model consistent features from fragmented regions, particularly when identical or similar objects coexist in an RGB-D image. Interestingly, we find that the Shape information effectively captures the moir\'e patterns in artifact images. Motivated by this discovery, we propose a ShapeMoir\'e method to aid in image demoir\'eing. Beyond modeling shape features at the patch-level, we further extend this to the global image-level and design a novel Shape-Architecture. Consequently, our proposed method, equipped with both ShapeConv and Shape-Architecture, can be seamlessly integrated into existing approaches without introducing additional parameters or computation overhead during inference. We conduct extensive experiments on four widely used datasets, and the results demonstrate that our ShapeMoir\'e achieves state-of-the-art performance, particularly in terms of the PSNR metric. We then apply our method across four popular architectures to showcase its generalization capabilities. Moreover, our ShapeMoir\'e is robust and viable under real-world demoir\'eing scenarios involving smartphone photographs.


title: Event-based Video Frame Interpolation with Edge Guided Motion Refinement

abstract: Video frame interpolation, the process of synthesizing intermediate frames between sequential video frames, has made remarkable progress with the use of event cameras. These sensors, with microsecond-level temporal resolution, fill information gaps between frames by providing precise motion cues. However, contemporary Event-Based Video Frame Interpolation (E-VFI) techniques often neglect the fact that event data primarily supply high-confidence features at scene edges during multi-modal feature fusion, thereby diminishing the role of event signals in optical flow (OF) estimation and warping refinement. To address this overlooked aspect, we introduce an end-to-end E-VFI learning method (referred to as EGMR) to efficiently utilize edge features from event signals for motion flow and warping enhancement. Our method incorporates an Edge Guided Attentive (EGA) module, which rectifies estimated video motion through attentive aggregation based on the local correlation of multi-modal features in a coarse-to-fine strategy. Moreover, given that event data can provide accurate visual references at scene edges between consecutive frames, we introduce a learned visibility map derived from event data to adaptively mitigate the occlusion problem in the warping refinement process. Extensive experiments on both synthetic and real datasets show the effectiveness of the proposed approach, demonstrating its potential for higher quality video frame interpolation.


title: The effects of Lorentz violation on unitarity in $e^{+}e^{-} \rightarrow \mu^{+}\mu^{-}$

abstract: We investigated two distinct models incorporating LIV with nonminimal coupling in scattering processes of $e^+e^- \rightarrow \mu^+\mu^-$. We verified that employing the model with dual electromagnetic tensor $(\tilde{F}_{\mu\nu})$ led to violations of unitarity in both vector and axial scenarios. Conversely, utilizing the model with nonminimal coupling with $(F_{\mu\nu})$ preserved unitarity in both vector and axial cases. Consequently, this could hold promising implications, considering that the nonminimal coupling model with dual electromagnetic tensor $\tilde {F}_{\mu\nu}$ appeared potentially superior to the electromagnetic tensor $F_{\mu\nu}$. Hence, we anticipate that these findings might offer a valuable roadmap for further exploration into the investigation of CPT and Lorentz breaking phenomena, with phenomenological implications that are certainly not trivial.


title: Discovery of the first anti-glitch event in the rotation-powered pulsar PSR B0540-69

abstract: Using data from the Neutron star Interior Composition ExploreR (NICER) observatory, we identified a permanent spin frequency decrease of $\Delta\nu=-(1.04\pm0.07)\times 10^{-7}\,\mathrm{Hz}$ around MJD 60132 in the rotation-powered pulsar PSR B0540-69, which exhibits a periodic signal at a frequency of $\nu\sim 19.6\,\mathrm{Hz}$. This points to an anti-glitch event, a sudden decrease of the pulsar's rotational frequency without any major alteration in the pulse profile or any significant increase of the pulsed flux. Additionally, no burst activity was observed in association with the anti-glitch. To date, observations of the few known anti-glitches have been made in magnetars or accreting pulsars. This is the first anti-glitch detected in a rotation-powered pulsar. Given its radiatively quiet nature, this anti-glitch is possibly of internal origin. Therefore, we tentatively frame this event within a proposed mechanism for anti-glitches where the partial `evaporation' of the superfluid component leads to an increase of the normal component's moment of inertia and a decrease of the superfluid one.


title: Evaluating ROCKET and Catch22 features for calf behaviour classification from accelerometer data using Machine Learning models

abstract: Monitoring calf behaviour continuously would be beneficial to identify routine practices (e.g., weaning, dehorning, etc.) that impact calf welfare in dairy farms. In that regard, accelerometer data collected from neck collars can be used along with Machine Learning models to classify calf behaviour automatically. Hand-crafted features are commonly used in Machine Learning models, while ROCKET and Catch22 features are specifically designed for time-series classification problems in related fields. This study aims to compare the performance of ROCKET and Catch22 features to Hand-Crafted features. 30 Irish Holstein Friesian and Jersey pre-weaned calves were monitored using accelerometer sensors allowing for 27.4 hours of annotated behaviors. Additional time-series were computed from the raw X, Y and Z-axis and split into 3-second time windows. ROCKET, Catch22 and Hand-Crafted features were calculated for each time window, and the dataset was then split into the train, validation and test sets. Each set of features was used to train three Machine Learning models (Random Forest, eXtreme Gradient Boosting, and RidgeClassifierCV) to classify six behaviours indicative of pre-weaned calf welfare (drinking milk, grooming, lying, running, walking and other). Models were tuned with the validation set, and the performance of each feature-model combination was evaluated with the test set. The best performance across the three models was obtained with ROCKET [average balanced accuracy +/- standard deviation] (0.70 +/- 0.07), followed by Catch22 (0.69 +/- 0.05), surpassing Hand-Crafted (0.65 +/- 0.034). The best balanced accuracy (0.77) was obtained with ROCKET and RidgeClassifierCV, followed by Catch22 and Random Forest (0.73). Thus, tailoring these approaches for specific behaviours and contexts will be crucial in advancing precision livestock farming and enhancing animal welfare on a larger scale.


title: Quantum $U$-channels on $S$-spaces

abstract: If the symmetry, (an operator $J$ satisfying $J=J^*=J^{-1}$) which defines the Krein space, is replaced by a (not necessarily self-adjoint) unitary, then we have the notion of an $S$-space which was introduced by Szafraniec. In this paper, we consider $S$-spaces and study the structure of completely $U$-positive maps between the algebras of bounded linear operators. We first give a Stinespring-type representation for a completely $U$-positive map. On the other hand, we introduce Choi $U$-matrix of a linear map and establish the equivalence of the Kraus $U$-decompositions and Choi $U$-matrices. Then we study properties of nilpotent completely $U$-positive maps. We develop the $U$-PPT criterion for separability of quantum $U$-states and discuss the entanglement breaking condition of quantum $U$-channels and explore $U$-PPT squared conjecture. Finally, we give concrete examples of completely $U$-positive maps and examples of $3 \otimes 3$ quantum $U$-states which are $U$-entangled and $U$-separable.


title: IMEX-Reg: Implicit-Explicit Regularization in the Function Space for Continual Learning

abstract: Continual learning (CL) remains one of the long-standing challenges for deep neural networks due to catastrophic forgetting of previously acquired knowledge. Although rehearsal-based approaches have been fairly successful in mitigating catastrophic forgetting, they suffer from overfitting on buffered samples and prior information loss, hindering generalization under low-buffer regimes. Inspired by how humans learn using strong inductive biases, we propose IMEX-Reg to improve the generalization performance of experience rehearsal in CL under low buffer regimes. Specifically, we employ a two-pronged implicit-explicit regularization approach using contrastive representation learning (CRL) and consistency regularization. To further leverage the global relationship between representations learned using CRL, we propose a regularization strategy to guide the classifier toward the activation correlations in the unit hypersphere of the CRL. Our results show that IMEX-Reg significantly improves generalization performance and outperforms rehearsal-based approaches in several CL scenarios. It is also robust to natural and adversarial corruptions with less task-recency bias. Additionally, we provide theoretical insights to support our design decisions further.


title: fMRI Exploration of Visual Quality Assessment

abstract: Despite significant strides in visual quality assessment, the neural mechanisms underlying visual quality perception remain insufficiently explored. This study employed fMRI to examine brain activity during image quality assessment and identify differences in human processing of images with varying quality. Fourteen healthy participants underwent tasks assessing both image quality and content classification while undergoing functional MRI scans. The collected behavioral data was statistically analyzed, and univariate and functional connectivity analyses were conducted on the imaging data. The findings revealed that quality assessment is a more complex task than content classification, involving enhanced activation in high-level cognitive brain regions for fine-grained visual analysis. Moreover, the research showed the brain's adaptability to different visual inputs, adopting different strategies depending on the input's quality. In response to high-quality images, the brain primarily uses specialized visual areas for precise analysis, whereas with low-quality images, it recruits additional resources including higher-order visual cortices and related cognitive and attentional networks to decode and recognize complex, ambiguous signals effectively. This study pioneers the intersection of neuroscience and image quality research, providing empirical evidence through fMRI linking image quality to neural processing. It contributes novel insights into the human visual system's response to diverse image qualities, thereby paving the way for advancements in objective image quality assessment algorithms.


title: Thermodynamic uncertainty relation for quantum entropy production

abstract: In quantum thermodynamics, entropy production is usually defined in terms of the quantum relative entropy between two states. We derive a lower bound for the quantum entropy production in terms of the mean and variance of quantum observables, which we will refer to as a thermodynamic uncertainty relation (TUR) for the entropy production. In the absence of coherence between the states, our result reproduces classic TURs in stochastic thermodynamics. For the derivation of the TUR, we introduce a lower bound for a quantum generalization of the $\chi^2$ divergence between two states and discuss its implications for stochastic and quantum thermodynamics, as well as the limiting case where it reproduces the quantum Cram\'er-Rao inequality.


title: Empirical approximation to invariant measures of mean-field Langevin dynamics

abstract: This paper is concerned with the approximation to invariant measures for Langevin dynamics of McKean--Vlasov type. Under dissipativity and Lipschitz conditions, we prove that the empirical measures of both the mean-field and self-interacting Langevin dynamics converge to the invariant measure in the Wasserstein distance. Numerical experiments are conducted to illustrate theoretical results.


title: ELEPHANT: ExtragaLactic alErt Pipeline for Hostless AstroNomical Transients

abstract: Context. Transient astronomical events that exhibit no discernible association with a host galaxy are commonly referred to as hostless. These rare phenomena are associated with extremely energetic events, and they can offer unique insights into the properties and evolution of stars and galaxies. However, the sheer number of transients captured by contemporary high-cadence astronomical surveys renders the manual identification of all potential hostless transients impractical. Therefore, creating a systematic identification tool is crucial for studying these elusive events. Aims. We present the ExtragaLactic alErt Pipeline for Hostless AstroNomical Transients (ELEPHANT), a framework for filtering hostless transients in astronomical data streams. Methods. We used Fink to access all the ZTF alerts produced between January/2022 and December/2023, selecting only those associated with extragalactic transients. We then processed the associated stamps using a sequence of image analysis techniques to retrieve hostless candidates. Results. We find that less than 2% of all analyzed transients are potentially hostless. Among them, approximately 10% have a spectroscopic class reported on TNS, with Type Ia supernova being the most common class, followed by SLSN. Among the hostless candidates retrieved by our pipeline, there was SN 2018ibb, which has been proposed to be a PISN candidate; and SN 2022ann, one of only five known SNe Icn. When no class is reported on TNS, the dominant classes are QSO and SN candidates, the former obtained from SIMBAD and the latter inferred using the Fink ML classifier. Conclusions. ELEPHANT represents an effective strategy to filter extragalactic events within large and complex astronomical alert streams. There are many applications for which this pipeline will be useful, ranging from transient selection for follow-up to studies of transient environments.


title: Behavior-Contextualized Item Preference Modeling for Multi-Behavior Recommendation

abstract: In recommender systems, multi-behavior methods have demonstrated their effectiveness in mitigating issues like data sparsity, a common challenge in traditional single-behavior recommendation approaches. These methods typically infer user preferences from various auxiliary behaviors and apply them to the target behavior for recommendations. However, this direct transfer can introduce noise to the target behavior in recommendation, due to variations in user attention across different behaviors. To address this issue, this paper introduces a novel approach, Behavior-Contextualized Item Preference Modeling (BCIPM), for multi-behavior recommendation. Our proposed Behavior-Contextualized Item Preference Network discerns and learns users' specific item preferences within each behavior. It then considers only those preferences relevant to the target behavior for final recommendations, significantly reducing noise from auxiliary behaviors. These auxiliary behaviors are utilized solely for training the network parameters, thereby refining the learning process without compromising the accuracy of the target behavior recommendations. To further enhance the effectiveness of BCIPM, we adopt a strategy of pre-training the initial embeddings. This step is crucial for enriching the item-aware preferences, particularly in scenarios where data related to the target behavior is sparse. Comprehensive experiments conducted on four real-world datasets demonstrate BCIPM's superior performance compared to several leading state-of-the-art models, validating the robustness and efficiency of our proposed approach.


title: Difference graphs of finite abelian groups with two Sylow subgroups

abstract: The power graph and the enhanced power graph of a group $\mathbf G$ are simple graphs with vertex set $G$; two elements of $G$ are adjacent in the power graph if one of them is a power of the other, and they are adjacent in the enhanced power graph if they generate a cyclic subgroup. The difference graph of a group $\mathbf G$, denoted by $\mathcal D(\mathbf G)$, is the difference of the enhanced power graph and the power graph of group $\mathbf G$ with all the isolated vertices removed. In this paper, we prove that, if a pair of finite abelian groups of order divisible by at most two primes have isomorphic difference graphs, then they are isomorphic.


title: Monotonicity rules for the ratio of power series

abstract: In this paper, we present some monotonicity rules for the ratio of two power series $x\mapsto \sum_{k=0}^\infty a_k x^k / \sum_{k=0}^\infty b_k x^k$ under the assumption that the monotonicity of the sequence ${a_k/b_k}$ changes twice. Additionally, we introduce a local monotonicity rule in this paper.


title: Infrared absorbers inspired by nature

abstract: Efficient energy harvesting, conversion, and recycling technologies are crucial for addressing the challenges faced by modern societies and the global economy. The potential of harnessing mid-infrared (mid-IR) thermal radiation as a pervasive and readily available energy source has so far no been fully exploited, particularly through bioinspiration. In this article, by reviewing existing photon-based strategies and the efficiency of natural systems in harnessing light and thermal radiation, I highlight the promising role of bioinspiration in enhancing energy capture, conversion, and recycling. Natural photonic structures found in various organisms, including insects, birds, and plants, exhibit sophisticated optical properties that can be leveraged for energy-efficient applications. These developments pave the way for future research and innovation in bioinspired energy solutions. Ultimately, they contribute to the pursuit of a sustainable and environmentally conscious future by harnessing the beauty of nature's designs to meet humankind's energy needs.


title: Bridging Worlds: Achieving Language Interoperability between Julia and Python in Scientific Computing

abstract: In the realm of scientific computing, both Julia and Python have established themselves as powerful tools. Within the context of High Energy Physics (HEP) data analysis, Python has been traditionally favored, yet there exists a compelling case for migrating legacy software to Julia. This article focuses on language interoperability, specifically exploring how Awkward Array data structures can bridge the gap between Julia and Python. The talk offers insights into key considerations such as memory management, data buffer copies, and dependency handling. It delves into the performance enhancements achieved by invoking Julia from Python and vice versa, particularly for intensive array-oriented calculations involving large-scale, though not excessively dimensional, arrays of HEP data. The advantages and challenges inherent in achieving interoperability between Julia and Python in the domain of scientific computing are discussed.


title: The Fundamental Parameters and Evolutionary Status of V454 Aurigae

abstract: Eclipsing binary systems have a unique feature, which enables scientists to obtain precise fundamental star parameters, which opens to greater area of astrophysics studies. In this study, we have derived the fundamental parameters, the evolutionary status, and the birthplace of V454 Aur in the Galaxy by combining radial velocity, photometric, and spectral energy distribution data. We have updated ephemerides and period of V454 Aur as $2458850.80136_{-0.00001}^{\,+0.00001}$ and $27.0198177_{-0.0000003}^{\,+0.0000003}$, respectively. We obtain $1.173^{\,+0.016}_{-0.016}$ $M_\odot$ and $1.203^{\,+0.022}_{-0.026}$ $R_\odot$ for the primary component and $1.045^{\,+0.015}_{-0.014}$ $M_\odot$ and $0.993^{\,+0.034}_{-0.027}$ $R_\odot$ for the secondary component. The effective temperatures for the components are accurately determined via SED data as $6250^{\,+150}_{-150}$ K and $5966^{\,+109}_{-89}$ K for the primary component and the secondary component, respectively. The metallicity of the components is derived from evolutionary tracks, which implies slightly higher than Solar metallicity. According to analysis, the components of V454 Aur are on the main sequence. Our distance calculation for the system is, which is $65.07^{\,+2}_{-3}$ pc, in excellent agreement with \textit{Gaia} astrometric data, which is $65.07^{\,+0.09}_{-0.09}$ pc. The current age of the system is $1.19_{-0.09}^{\,+0.08}$ Gyr, and it will start to mass transfer between components in 5 Gyr from now on. Dynamical orbital analysis shows that V454 Aur follows a boxy pattern around the Galactic centre and is a member of the thin-disc component of the Galaxy. Considering the age and metallicity of this system, it was found to have formed just outside the Solar circle.


title: Mixed radial-angular integrabilities for Hausdorff type operators

abstract: This paper is devoted to studying some mixed radial-angular integrabilities for various types of Hausdorff operators and commutators


title: Eigenvector overlaps in large sample covariance matrices and nonlinear shrinkage estimators

abstract: Consider a data matrix $Y = [\mathbf{y}_1, \cdots, \mathbf{y}_N]$ of size $M \times N$, where the columns are independent observations from a random vector $\mathbf{y}$ with zero mean and population covariance $\Sigma$. Let $\mathbf{u}_i$ and $\mathbf{v}_j$ denote the left and right singular vectors of $Y$, respectively. This study investigates the eigenvector/singular vector overlaps $\langle {\mathbf{u}_i, D_1 \mathbf{u}_j} \rangle$, $\langle {\mathbf{v}_i, D_2 \mathbf{v}_j} \rangle$ and $\langle {\mathbf{u}_i, D_3 \mathbf{v}_j} \rangle$, where $D_k$ are general deterministic matrices with bounded operator norms. We establish the convergence in probability of these eigenvector overlaps toward their deterministic counterparts with explicit convergence rates, when the dimension $M$ scales proportionally with the sample size $N$. Building on these findings, we offer a more precise characterization of the loss for Ledoit and Wolf's nonlinear shrinkage estimators of the population covariance $\Sigma$.


title: Mamba-FETrack: Frame-Event Tracking via State Space Model

abstract: RGB-Event based tracking is an emerging research topic, focusing on how to effectively integrate heterogeneous multi-modal data (synchronized exposure video frames and asynchronous pulse Event stream). Existing works typically employ Transformer based networks to handle these modalities and achieve decent accuracy through input-level or feature-level fusion on multiple datasets. However, these trackers require significant memory consumption and computational complexity due to the use of self-attention mechanism. This paper proposes a novel RGB-Event tracking framework, Mamba-FETrack, based on the State Space Model (SSM) to achieve high-performance tracking while effectively reducing computational costs and realizing more efficient tracking. Specifically, we adopt two modality-specific Mamba backbone networks to extract the features of RGB frames and Event streams. Then, we also propose to boost the interactive learning between the RGB and Event features using the Mamba network. The fused features will be fed into the tracking head for target object localization. Extensive experiments on FELT and FE108 datasets fully validated the efficiency and effectiveness of our proposed tracker. Specifically, our Mamba-based tracker achieves 43.5/55.6 on the SR/PR metric, while the ViT-S based tracker (OSTrack) obtains 40.0/50.9. The GPU memory cost of ours and ViT-S based tracker is 13.98GB and 15.44GB, which decreased about $9.5\%$. The FLOPs and parameters of ours/ViT-S based OSTrack are 59GB/1076GB and 7MB/60MB, which decreased about $94.5\%$ and $88.3\%$, respectively. We hope this work can bring some new insights to the tracking field and greatly promote the application of the Mamba architecture in tracking. The source code of this work will be released on \url{https://github.com/Event-AHU/Mamba_FETrack}.


title: New quasars behind the Magellanic Clouds. II. Spectroscopic confirmation of 136 near-infrared selected candidates

abstract: Quasi-stellar objects (QSOs) are a basis for an absolute reference system for astrometric studies. There is a need for creating such system behind nearby galaxies, to facilitate the measuring of the proper motions of these galaxies. However, the foreground contamination from the galaxies themselves is a problem for the QSO identification. We search for new QSOs behind both Magellanic Clouds, the Magellanic Bridge, and the Magellanic Stream. We identify QSO candidates with a combination of near-infrared colors and variability criteria from the public ESO Visual and Infrared Survey Telescope for Astronomy (VISTA) Magellanic Clouds (VMC) survey. We confirm their nature from broad emission lines with low-resolution optical spectroscopy. We confirmed the QSO nature of 136 objects. They are distributed as follows: 12 behind the LMC, 37 behind the SMC, 63 behind the Bridge, and 24 behind the Stream. The QSOs span a redshift range from z~0.1 to z~2.9. A comparison of our quasar selection with the Quaia quasar catalog, based on Gaia low-resolution spectra, yields a selection and confirmation success rate of 6-19%, depending on whether the quality of the photometry, the magnitude ranges and the colors are considered. Our candidate list is rather incomplete, but the objects in it are likely to be confirmed as quasars with ~90% probability. Finally, we report a list of 3609 objects across the entire VMC survey that match our color and variability selection criteria; only 1249 of them have Gaia counterparts. Our combined infrared color and variability criteria for QSO selection prove to be efficient - ~90% of the observed candidates are bona fide QSOs and allow to generate a list of new high-probability quasar candidates.


title: Auto-Optimized Maximum Torque Per Ampere Control of IPMSM Using Dual Control for Exploration and Exploitation

abstract: In this paper, a maximum torque per ampere (MTPA) control strategy for the interior permanent magnet synchronous motor (IPMSM) using dual control for exploration and exploitation (DCEE). In the proposed method, the permanent magnet flux and the difference between the $d$- and $q$-axis inductance are identified by multiple estimators using the recursive least square method. The initial values of the estimated parameters in different estimators are different. By using multiple estimators, exploration of the operational environment to reduce knowledge uncertainty can be realized. Compared to those MTPA control strategies based on the extremum-seeking method, the proposed method has better dynamic performance when speed or load varies. The effectiveness of the proposed method is verified by simulations.


title: Contact surgery numbers of Sigma(2,3,11) and L(4m+3,4)

abstract: We classify all contact structures with contact surgery number one on the Brieskorn sphere Sigma(2,3,11) with both orientations. We conclude that there exist infinitely many non-isotopic contact structures on each of the above manifolds which cannot be obtained by a single rational contact surgery from the standard tight contact 3-sphere. We further prove similar results for some lens spaces: We classify all contact structures with contact surgery number one on lens spaces of the form L(4m+3,4). Along the way, we present an algorithm and a formula for computing the Euler class of a contact structure from a general rational contact surgery description and classify which rational surgeries along Legendrian unknots are tight and which ones are overtwisted.


title: Assessing Image Quality Using a Simple Generative Representation

abstract: Perceptual image quality assessment (IQA) is the task of predicting the visual quality of an image as perceived by a human observer. Current state-of-the-art techniques are based on deep representations trained in discriminative manner. Such representations may ignore visually important features, if they are not predictive of class labels. Recent generative models successfully learn low-dimensional representations using auto-encoding and have been argued to preserve better visual features. Here we leverage existing auto-encoders and propose VAE-QA, a simple and efficient method for predicting image quality in the presence of a full-reference. We evaluate our approach on four standard benchmarks and find that it significantly improves generalization across datasets, has fewer trainable parameters, a smaller memory footprint and faster run time.


title: Magnetic phase diagram of EuPdSn_2

abstract: A magnetic phase diagram for EuPdSn_2 is constructed based on magnetization, DC-susceptibility and specific heat as a function of applied field, and neutron diffraction results at zero field. The contribution of the ferromagnetic FM and antiferromagnetic AFM components to the measured magnetic susceptibility can be separated and weighted as a function of the applied field B by taking the temperature dependence of the neutron counts from the FM phase at B=0 as a reference. In the magnetically ordered phase, the temperature dependence of the specific heat does not follow the mean-field prediction for the Eu^{2+} J=7/2 quantum number rather that for J=5/2. This deviation and the consequent discrepancy for the entropy is discussed in the context of a non-Zeeman distribution of the eight fold ground state. Comparing the respective variations of magnetization M(T,B) and entropy S(T,B), the thermodynamic relationship dM/dT=dS/dB=0 is observed for the ranges: 0<T<10K and 0<B<0.4T.


title: EkoHate: Abusive Language and Hate Speech Detection for Code-switched Political Discussions on Nigerian Twitter

abstract: Nigerians have a notable online presence and actively discuss political and topical matters. This was particularly evident throughout the 2023 general election, where Twitter was used for campaigning, fact-checking and verification, and even positive and negative discourse. However, little or none has been done in the detection of abusive language and hate speech in Nigeria. In this paper, we curated code-switched Twitter data directed at three musketeers of the governorship election on the most populous and economically vibrant state in Nigeria; Lagos state, with the view to detect offensive speech in political discussions. We developed EkoHate -- an abusive language and hate speech dataset for political discussions between the three candidates and their followers using a binary (normal vs offensive) and fine-grained four-label annotation scheme. We analysed our dataset and provided an empirical evaluation of state-of-the-art methods across both supervised and cross-lingual transfer learning settings. In the supervised setting, our evaluation results in both binary and four-label annotation schemes show that we can achieve 95.1 and 70.3 F1 points respectively. Furthermore, we show that our dataset adequately transfers very well to three publicly available offensive datasets (OLID, HateUS2020, and FountaHate), generalizing to political discussions in other regions like the US.


title: Learning to Move Objects with Fluid Streams in a Differentiable Simulation

abstract: We introduce a method for manipulating objects in three-dimensional space using controlled fluid streams. To achieve this, we train a neural network controller in a differentiable simulation and evaluate it in a simulated environment consisting of an 8x8 grid of vertical emitters. By carrying out various horizontal displacement tasks such as moving objects to specific positions while reacting to external perturbations, we demonstrate that a controller, trained with a limited number of iterations, can generalise to longer episodes and learn the complex dynamics of fluid-solid interactions. Importantly, our approach requires only the observation of the manipulated object's state, paving the way for the development of physical systems that enable contactless manipulation of objects using air streams.


title: CConnect: Synergistic Convolutional Regularization for Cartesian T2* Mapping

abstract: Magnetic resonance imaging (MRI) is fundamental for the assessment of many diseases, due to its excellent tissue contrast characterization. This is based on quantitative techniques, such as T1 , T2 , and T2* mapping. Quantitative MRI requires the acquisition of several contrast-weighed images followed by a fitting to an exponential model or dictionary matching, which results in undesirably long acquisition times. Undersampling reconstruction techniques are commonly employed to speed up the scan, with the drawback of introducing aliasing artifacts. However, most undersampling reconstruction techniques require long computational times or do not exploit redundancies across the different contrast-weighted images. This study introduces a new regularization technique to overcome aliasing artifacts, namely CConnect, which uses an innovative regularization term that leverages several trained convolutional neural networks (CNNs) to connect and exploit information across image contrasts in a latent space. We validate our method using in-vivo T2* mapping of the brain, with retrospective undersampling factors of 4, 5 and 6, demonstrating its effectiveness in improving reconstruction in comparison to state-of-the-art techniques. Comparisons against joint total variation, nuclear low rank and a deep learning (DL) de-aliasing post-processing method, with respect to structural similarity index measure (SSIM) and peak signal-to-noise ratio (PSNR) metrics are presented.


title: Innovative Application of Artificial Intelligence Technology in Bank Credit Risk Management

abstract: With the rapid growth of technology, especially the widespread application of artificial intelligence (AI) technology, the risk management level of commercial banks is constantly reaching new heights. In the current wave of digitalization, AI has become a key driving force for the strategic transformation of financial institutions, especially the banking industry. For commercial banks, the stability and safety of asset quality are crucial, which directly relates to the long-term stable growth of the bank. Among them, credit risk management is particularly core because it involves the flow of a large amount of funds and the accuracy of credit decisions. Therefore, establishing a scientific and effective credit risk decision-making mechanism is of great strategic significance for commercial banks. In this context, the innovative application of AI technology has brought revolutionary changes to bank credit risk management. Through deep learning and big data analysis, AI can accurately evaluate the credit status of borrowers, timely identify potential risks, and provide banks with more accurate and comprehensive credit decision support. At the same time, AI can also achieve realtime monitoring and early warning, helping banks intervene before risks occur and reduce losses.


title: Application and practice of AI technology in quantitative investment

abstract: With the continuous development of artificial intelligence technology, using machine learning technology to predict market trends may no longer be out of reach. In recent years, artificial intelligence has become a research hotspot in the academic circle,and it has been widely used in image recognition, natural language processing and other fields, and also has a huge impact on the field of quantitative investment. As an investment method to obtain stable returns through data analysis, model construction and program trading, quantitative investment is deeply loved by financial institutions and investors. At the same time, as an important application field of quantitative investment, the quantitative investment strategy based on artificial intelligence technology arises at the historic moment.How to apply artificial intelligence to quantitative investment, so as to better achieve profit and risk control, has also become the focus and difficulty of the research. From a global perspective, inflation in the US and the Federal Reserve are the concerns of investors, which to some extent affects the direction of global assets, including the Chinese stock market. This paper studies the application of AI technology, quantitative investment, and AI technology in quantitative investment, aiming to provide investors with auxiliary decision-making, reduce the difficulty of investment analysis, and help them to obtain higher returns.


title: Ranked List Truncation for Large Language Model-based Re-Ranking

abstract: We study ranked list truncation (RLT) from a novel "retrieve-then-re-rank" perspective, where we optimize re-ranking by truncating the retrieved list (i.e., trim re-ranking candidates). RLT is crucial for re-ranking as it can improve re-ranking efficiency by sending variable-length candidate lists to a re-ranker on a per-query basis. It also has the potential to improve re-ranking effectiveness. Despite its importance, there is limited research into applying RLT methods to this new perspective. To address this research gap, we reproduce existing RLT methods in the context of re-ranking, especially newly emerged large language model (LLM)-based re-ranking. In particular, we examine to what extent established findings on RLT for retrieval are generalizable to the "retrieve-then-re-rank" setup from three perspectives: (i) assessing RLT methods in the context of LLM-based re-ranking with lexical first-stage retrieval, (ii) investigating the impact of different types of first-stage retrievers on RLT methods, and (iii) investigating the impact of different types of re-rankers on RLT methods. We perform experiments on the TREC 2019 and 2020 deep learning tracks, investigating 8 RLT methods for pipelines involving 3 retrievers and 2 re-rankers. We reach new insights into RLT methods in the context of re-ranking.


title: Static Application Security Testing (SAST) Tools for Smart Contracts: How Far Are We?

abstract: In recent years, the importance of smart contract security has been heightened by the increasing number of attacks against them. To address this issue, a multitude of static application security testing (SAST) tools have been proposed for detecting vulnerabilities in smart contracts. However, objectively comparing these tools to determine their effectiveness remains challenging. Existing studies often fall short due to the taxonomies and benchmarks only covering a coarse and potentially outdated set of vulnerability types, which leads to evaluations that are not entirely comprehensive and may display bias. In this paper, we fill this gap by proposing an up-to-date and fine-grained taxonomy that includes 45 unique vulnerability types for smart contracts. Taking it as a baseline, we develop an extensive benchmark that covers 40 distinct types and includes a diverse range of code characteristics, vulnerability patterns, and application scenarios. Based on them, we evaluated 8 SAST tools using this benchmark, which comprises 788 smart contract files and 10,394 vulnerabilities. Our results reveal that the existing SAST tools fail to detect around 50% of vulnerabilities in our benchmark and suffer from high false positives, with precision not surpassing 10%. We also discover that by combining the results of multiple tools, the false negative rate can be reduced effectively, at the expense of flagging 36.77 percentage points more functions. Nevertheless, many vulnerabilities, especially those beyond Access Control and Reentrancy vulnerabilities, remain undetected. We finally highlight the valuable insights from our study, hoping to provide guidance on tool development, enhancement, evaluation, and selection for developers, researchers, and practitioners.


title: Joint Spectrum Partitioning and Power Allocation for Energy Efficient Semi-Integrated Sensing and Communications

abstract: With spectrum resources becoming congested and the emergence of sensing-enabled wireless applications, conventional resource allocation methods need a revamp to support communications-only, sensing-only, and integrated sensing and communication (ISaC) services together. In this letter, we propose two joint spectrum partitioning (SP) and power allocation (PA) schemes to maximize the aggregate sensing and communication performance as well as corresponding energy efficiency (EE) of a semi-ISaC system that supports all three services in a unified manner. The proposed framework captures the priority of the distinct services, impact of target clutters, power budget and bandwidth constraints, and sensing and communication quality-of-service (QoS) requirements. We reveal that the former problem is jointly convex and the latter is a non-convex problem that can be solved optimally by exploiting fractional and parametric programming techniques. Numerical results verify the effectiveness of proposed schemes and extract novel insights related to the impact of the priority and QoS requirements of distinct services on the performance of semi-ISaC networks.


title: Enhancing dark siren cosmology through multi-band gravitational wave synergetic observations

abstract: Multi-band gravitational-wave (GW) standard siren observations are poised to herald a new era in the study of cosmic evolution. These observations offer higher signal-to-noise ratios and improved localizations compared to those achieved with single-band GW detection, which are crucial for the cosmological applications of dark sirens. In this work, we explore the role multi-band GW synergetic observations will play in measuring cosmological parameters, particularly in comparison with single GW observatory data. We used mock multi-band dark siren data from third-generation GW detectors and the baseline Decihertz Interferometer Gravitational-Wave Observatory to infer cosmological parameters. Our analysis was conservative, involving only the 89 actual GW events from the current Gravitational Wave Transient Catalogs in our data simulation, facilitating a direct comparison with existing dark siren results. Multi-band GW observations significantly improve sky localization accuracy by two to three orders of magnitude over single-band observations, although their impact on luminosity distance error remains limited. This results in a substantial improvement in the constraints on matter density and the Hubble constant, enhancing them by $75\%$ to $85\%$ and $65\%$ to $82\%$, respectively. We conclude that the significant potential of multi-band GW synergistic observations for detecting GW signals and resolving the Hubble tension is highly promising and warrants anticipation.


title: Single-Photon-Subtracted-Squeezed-Vacuum-State Based Postselected Weak Measurement and its Applications

abstract: In this paper, we study the effects of postselected von Neumann measurement on the nonclassicality of the Single-Photon-Subtracted-Squeezed-Vacuum-State (SPSSVS). We calculate the squeezing effect, Mandel factor, Wigner function, signal-to-noise ratio (SNR)s and state distance function.We found that postselected von Neumann measurement has positive effects on the optimization of SPSSVS. In particular, by properly choosing the anomalous weak value, the nonclassical inherent features of SPSSVS such as squeezing, photon statistics and phase space distribution can be optimized significantly. The advantages of postselected weak measurement on improving the SNR compared to non-postselected measurement scheme is also confirmed. The superiority of SPSSVS based postselected weak measurement in quantum state optimization may have potential applications of in the associated quantum information processing.


title: Naive Bayes Classifiers and One-hot Encoding of Categorical Variables

abstract: This paper investigates the consequences of encoding a $K$-valued categorical variable incorrectly as $K$ bits via one-hot encoding, when using a Na\"{\i}ve Bayes classifier. This gives rise to a product-of-Bernoullis (PoB) assumption, rather than the correct categorical Na\"{\i}ve Bayes classifier. The differences between the two classifiers are analysed mathematically and experimentally. In our experiments using probability vectors drawn from a Dirichlet distribution, the two classifiers are found to agree on the maximum a posteriori class label for most cases, although the posterior probabilities are usually greater for the PoB case.


title: Exploring the Robustness of In-Context Learning with Noisy Labels

abstract: Recently, the mysterious In-Context Learning (ICL) ability exhibited by Transformer architectures, especially in large language models (LLMs), has sparked significant research interest. However, the resilience of Transformers' in-context learning capabilities in the presence of noisy samples, prevalent in both training corpora and prompt demonstrations, remains underexplored. In this paper, inspired by prior research that studies ICL ability using simple function classes, we take a closer look at this problem by investigating the robustness of Transformers against noisy labels. Specifically, we first conduct a thorough evaluation and analysis of the robustness of Transformers against noisy labels during in-context learning and show that they exhibit notable resilience against diverse types of noise in demonstration labels. Furthermore, we delve deeper into this problem by exploring whether introducing noise into the training set, akin to a form of data augmentation, enhances such robustness during inference, and find that such noise can indeed improve the robustness of ICL. Overall, our fruitful analysis and findings provide a comprehensive understanding of the resilience of Transformer models against label noises during ICL and provide valuable insights into the research on Transformers in natural language processing. Our code is available at https://github.com/InezYu0928/in-context-learning.


title: Block-Map-Based Localization in Large-Scale Environment

abstract: Accurate localization is an essential technology for the flexible navigation of robots in large-scale environments. Both SLAM-based and map-based localization will increase the computing load due to the increase in map size, which will affect downstream tasks such as robot navigation and services. To this end, we propose a localization system based on Block Maps (BMs) to reduce the computational load caused by maintaining large-scale maps. Firstly, we introduce a method for generating block maps and the corresponding switching strategies, ensuring that the robot can estimate the state in large-scale environments by loading local map information. Secondly, global localization according to Branch-and-Bound Search (BBS) in the 3D map is introduced to provide the initial pose. Finally, a graph-based optimization method is adopted with a dynamic sliding window that determines what factors are being marginalized whether a robot is exposed to a BM or switching to another one, which maintains the accuracy and efficiency of pose tracking. Comparison experiments are performed on publicly available large-scale datasets. Results show that the proposed method can track the robot pose even though the map scale reaches more than 6 kilometers, while efficient and accurate localization is still guaranteed on NCLT and M2DGR.


title: Thermodynamic Stability Versus Chaos Bound Violation in D-dimensional RN Black Holes: Angular Momentum Effects and Phase Transitions

abstract: We compute the Lyapunov exponents for test particles orbiting in unstable circular trajectories around D-dimensional Reissner-Nordstr\"om (RN) black holes, scrutinizing instances of the chaos bound violation. Notably, we discover that an increase in particle angular momentum exacerbates the breach of the chaos bound. Our research centrally investigates the correlation between black hole thermodynamic phase transitions and the breaking of the chaos limit. Findings suggest that the chaos bound can only be transgressed within thermodynamically stable phases of black holes. Specifically, in the four-dimensional scenario, the critical point of the thermodynamic phase transition aligns with the threshold condition that delineates the onset of chaos bound violation. These outcomes underscore a deep-rooted link between the thermodynamic stability of black holes and the constraints imposed by the chaos bound on particle dynamics.


title: Curse of Dimensionality on Persistence Diagrams

abstract: The stability of persistent homology has led to wide applications of the persistence diagram as a trusted topological descriptor in the presence of noise. However, with the increasing demand for high-dimension and low-sample-size data processing in modern science, it is questionable whether persistence diagrams retain their reliability in the presence of high-dimensional noise. This work aims to study the reliability of persistence diagrams in the high-dimension low-sample-size data setting. By analyzing the asymptotic behavior of persistence diagrams for high-dimensional random data, we show that persistence diagrams are no longer reliable descriptors of low-sample-size data under high-dimensional noise perturbations. We refer to this loss of reliability of persistence diagrams in such data settings as the curse of dimensionality on persistence diagrams. Next, we investigate the possibility of using normalized principal component analysis as a method for reducing the dimensionality of the high-dimensional observed data to resolve the curse of dimensionality. We show that this method can mitigate the curse of dimensionality on persistence diagrams. Our results shed some new light on the challenges of processing high-dimension low-sample-size data by persistence diagrams and provide a starting point for future research in this area.


title: Power-Efficiency Constraint for Biological Rotary Motor Driven by Chemical Gradient

abstract: Biological motors, as counterpart of heat engines, are driven by a chemical gradient to output mechanical work and play critical roles in biological functions, such as the ATP synthesis. Its thermodynamic efficiency, along with power, are two vital criteria for evaluating the performance of these motors. In this letter, we investigate a model of a microscopic chemical engine and assess the constraint relation between power and efficiency for the cycle with finite operation time. Our model demonstrates a general constraint relation between power and efficiency, and predicts that the efficiency at maximum power in the large friction regime is half of the maximum quasi-static efficiency, i.e., 1/2. These findings shall provide new direction to optimize the operation of microscopic biological motors.


title: Towards Intent-based User Interfaces: Charting the Design Space of Intent-AI Interactions Across Task Types

abstract: Technological advances continue to redefine the dynamics of human-machine interactions, particularly in task execution. This proposal responds to the advancements in Generative AI by outlining a research plan that probes intent-AI interaction across a diverse set of tasks: fixed-scope content curation task, atomic creative tasks, and complex and interdependent tasks. This exploration aims to inform and contribute to the development of Intent-based User Interface (IUI). The study is structured in three phases: examining fixed-scope tasks through news headline generation, exploring atomic creative tasks via analogy generation, and delving into complex tasks through exploratory visual data analysis. Future work will focus on improving IUIs to better provide suggestions to encourage experienced users to express broad and exploratory intents, and detailed and structured guidance for novice users to iterate on analysis intents for high quality outputs.


title: A General Causal Inference Framework for Cross-Sectional Observational Data

abstract: Causal inference methods for observational data are highly regarded due to their wide applicability. While there are already numerous methods available for de-confounding bias, these methods generally assume that covariates consist solely of confounders or make naive assumptions about the covariates. Such assumptions face challenges in both theory and practice, particularly when dealing with high-dimensional covariates. Relaxing these naive assumptions and identifying the confounding covariates that truly require correction can effectively enhance the practical significance of these methods. Therefore, this paper proposes a General Causal Inference (GCI) framework specifically designed for cross-sectional observational data, which precisely identifies the key confounding covariates and provides corresponding identification algorithm. Specifically, based on progressive derivations of the Markov property on Directed Acyclic Graph, we conclude that the key confounding covariates are equivalent to the common root ancestors of the treatment and the outcome variable. Building upon this conclusion, the GCI framework is composed of a novel Ancestor Set Identification (ASI) algorithm and de-confounding inference methods. Firstly, the ASI algorithm is theoretically supported by the conditional independence properties and causal asymmetry between variables, enabling the identification of key confounding covariates. Subsequently, the identified confounding covariates are used in the de-confounding inference methods to obtain unbiased causal effect estimation, which can support informed decision-making. Extensive experiments on synthetic datasets demonstrate that the GCI framework can effectively identify the critical confounding covariates and significantly improve the precision, stability, and interpretability of causal inference in observational studies.


title: Permutation-equivariant quantum convolutional neural networks

abstract: The Symmetric group $S_{n}$ manifests itself in large classes of quantum systems as the invariance of certain characteristics of a quantum state with respect to permuting the qubits. The subgroups of $S_{n}$ arise, among many other contexts, to describe label symmetry of classical images with respect to spatial transformations, e.g. reflection or rotation. Equipped with the formalism of geometric quantum machine learning, in this work we propose the architectures of equivariant quantum convolutional neural networks (EQCNNs) adherent to $S_{n}$ and its subgroups. We demonstrate that a careful choice of pixel-to-qubit embedding order can facilitate easy construction of EQCNNs for small subgroups of $S_{n}$. Our novel EQCNN architecture corresponding to the full permutation group $S_{n}$ is built by applying all possible QCNNs with equal probability, which can also be conceptualized as a dropout strategy in quantum neural networks. For subgroups of $S_{n}$, our numerical results using MNIST datasets show better classification accuracy than non-equivariant QCNNs. The $S_{n}$-equivariant QCNN architecture shows significantly improved training and test performance than non-equivariant QCNN for classification of connected and non-connected graphs. When trained with sufficiently large number of data, the $S_{n}$-equivariant QCNN shows better average performance compared to $S_{n}$-equivariant QNN . These results contribute towards building powerful quantum machine learning architectures in permutation-symmetric systems.


title: Rethinking Attention Gated with Hybrid Dual Pyramid Transformer-CNN for Generalized Segmentation in Medical Imaging

abstract: Inspired by the success of Transformers in Computer vision, Transformers have been widely investigated for medical imaging segmentation. However, most of Transformer architecture are using the recent transformer architectures as encoder or as parallel encoder with the CNN encoder. In this paper, we introduce a novel hybrid CNN-Transformer segmentation architecture (PAG-TransYnet) designed for efficiently building a strong CNN-Transformer encoder. Our approach exploits attention gates within a Dual Pyramid hybrid encoder. The contributions of this methodology can be summarized into three key aspects: (i) the utilization of Pyramid input for highlighting the prominent features at different scales, (ii) the incorporation of a PVT transformer to capture long-range dependencies across various resolutions, and (iii) the implementation of a Dual-Attention Gate mechanism for effectively fusing prominent features from both CNN and Transformer branches. Through comprehensive evaluation across different segmentation tasks including: abdominal multi-organs segmentation, infection segmentation (Covid-19 and Bone Metastasis), microscopic tissues segmentation (Gland and Nucleus). The proposed approach demonstrates state-of-the-art performance and exhibits remarkable generalization capabilities. This research represents a significant advancement towards addressing the pressing need for efficient and adaptable segmentation solutions in medical imaging applications.


title: Mean Field Game of High-Frequency Anticipatory Trading

abstract: The interactions between a large population of high-frequency traders (HFTs) and a large trader (LT) who executes a certain amount of assets at discrete time points are studied. HFTs are faster in the sense that they trade continuously and predict the transactions of LT. A jump process is applied to model the transition of HFTs' attitudes towards inventories and the equilibrium is solved through the mean field game approach. When the crowd of HFTs is averse to running (ending) inventories, they first take then supply liquidity at each transaction of LT (throughout the whole execution period). Inventory-averse HFTs lower LT's costs if the market temporary impact is relatively large to the permanent one. What's more, the repeated liquidity consuming-supplying behavior of HFTs makes LT's optimal strategy close to uniform trading.


title: What Foundation Models can Bring for Robot Learning in Manipulation : A Survey

abstract: The realization of universal robots is an ultimate goal of researchers. However, a key hurdle in achieving this goal lies in the robots' ability to manipulate objects in their unstructured surrounding environments according to different tasks. The learning-based approach is considered an effective way to address generalization. The impressive performance of foundation models in the fields of computer vision and natural language suggests the potential of embedding foundation models into manipulation tasks as a viable path toward achieving general manipulation capability. However, we believe achieving general manipulation capability requires an overarching framework akin to auto driving. This framework should encompass multiple functional modules, with different foundation models assuming distinct roles in facilitating general manipulation capability. This survey focuses on the contributions of foundation models to robot learning for manipulation. We propose a comprehensive framework and detail how foundation models can address challenges in each module of the framework. What's more, we examine current approaches, outline challenges, suggest future research directions, and identify potential risks associated with integrating foundation models into this domain.


title: WorldGPT: Empowering LLM as Multimodal World Model

abstract: World models are progressively being employed across diverse fields, extending from basic environment simulation to complex scenario construction. However, existing models are mainly trained on domain-specific states and actions, and confined to single-modality state representations. In this paper, We introduce WorldGPT, a generalist world model built upon Multimodal Large Language Model (MLLM). WorldGPT acquires an understanding of world dynamics through analyzing millions of videos across various domains. To further enhance WorldGPT's capability in specialized scenarios and long-term tasks, we have integrated it with a novel cognitive architecture that combines memory offloading, knowledge retrieval, and context reflection. As for evaluation, we build WorldNet, a multimodal state transition prediction benchmark encompassing varied real-life scenarios. Conducting evaluations on WorldNet directly demonstrates WorldGPT's capability to accurately model state transition patterns, affirming its effectiveness in understanding and predicting the dynamics of complex scenarios. We further explore WorldGPT's emerging potential in serving as a world simulator, helping multimodal agents generalize to unfamiliar domains through efficiently synthesising multimodal instruction instances which are proved to be as reliable as authentic data for fine-tuning purposes. The project is available on \url{https://github.com/DCDmllm/WorldGPT}.