title: DMC4ML: Data Movement Complexity for Machine Learning

abstract: The greatest demand for today's computing is machine learning. This paper analyzes three machine learning algorithms: transformers, spatial convolution, and FFT. The analysis is novel in three aspects. First, it measures the cost of memory access on an abstract memory hierarchy, instead of traditional time or space complexity. Second, the analysis is asymptotic and identifies the primary sources of the memory cost. Finally, the result is symbolic, which can be used to select algorithmic parameters such as the group size in grouped query attention for any dimension size and number of heads and the batch size for batched convolution for any image size and kernel size.


title: Time global existence of generalized BV flow via the Allen--Cahn equation

abstract: We show that a mean curvature flow obtained as the limit of the Allen--Cahn equation is not only a Brakke flow but also a generalized BV flow proposed by Stuvard and Tonegawa.


title: Time-reversal assisted quantum metrology with an optimal control

abstract: We propose a protocol to overcome the shot noise limit and reach the Heisenberg scaling limit for parameter estimation by using quantum optimal control and a time-reversal strategy. Exemplified through the phase estimation, which can play an important role in quantum navigation and measurement, we show that the uncertainty arising from a photon number measurement of the system can saturate the assisted Cream\'er-Rao bound, independent of the phase being estimated. In a realistic case with photon loss, we show that the optimal estimation may still be attainable by optimal control and a projective measurement on an ancilla two-level system coupled to photonic modes.


title: Shadowable points of free semigroup actions

abstract: The shadowable points of dynamical systems has been well-studied by Morales \cite{MR3535492}. This paper aims to generalize the main results obtained by Morales to free semigroup actions. To this end, we introduce the notion of shadowable points of a free semigroup action. Let $G$ be a free semigroup generated by finite continuous self-maps acting on compact metric space. We will prove the following results for $G$ on compact metric spaces. The set of shadowable points of $G$ is a Borel set. $G$ has the pseudo-orbit tracing property (POTP) if and only if every point is a shadowable point of $G$. The chain recurrent and non-wandering sets of $G$ coincide when every chain recurrent point is a shadowable point of $G$. The space $X$ is totally disconnected at every shadowable point of $G$ under certain condition.


title: Superhedging Supermartingales

abstract: Supermartingales are here defined on a non-probabilistic setting and can be interpreted solely in terms of superhedging operations. The classical expectation operator is replaced by a pair of subadditive operators one of them providing a class of null sets and the other one acting as an outer integral. These operators are motivated by a financial theory of no-arbitrage pricing. Such a setting extends the classical stochastic framework by replacing the path space of the process by a trajectory set, while also providing a financial/gambling interpretation based on the notion of superhedging. The paper proves analogues of the following classical results: Doob's supermartingale decomposition and Doob's pointwise convergence theorem for nonnegative supermartingales. The approach shows how linearity of the expectation operator can be circumvented and how integrability properties in the proposed setting lead to the special case of (hedging) martingales while no integrability conditions are required for the general supermartingale case.


title: Cross-Modal Object Tracking via Modality-Aware Fusion Network and A Large-Scale Dataset

abstract: Visual tracking often faces challenges such as invalid targets and decreased performance in low-light conditions when relying solely on RGB image sequences. While incorporating additional modalities like depth and infrared data has proven effective, existing multi-modal imaging platforms are complex and lack real-world applicability. In contrast, near-infrared (NIR) imaging, commonly used in surveillance cameras, can switch between RGB and NIR based on light intensity. However, tracking objects across these heterogeneous modalities poses significant challenges, particularly due to the absence of modality switch signals during tracking. To address these challenges, we propose an adaptive cross-modal object tracking algorithm called Modality-Aware Fusion Network (MAFNet). MAFNet efficiently integrates information from both RGB and NIR modalities using an adaptive weighting mechanism, effectively bridging the appearance gap and enabling a modality-aware target representation. It consists of two key components: an adaptive weighting module and a modality-specific representation module......


title: On the Effectiveness of Unlearning in Session-Based Recommendation

abstract: Session-based recommendation predicts users' future interests from previous interactions in a session. Despite the memorizing of historical samples, the request of unlearning, i.e., to remove the effect of certain training samples, also occurs for reasons such as user privacy or model fidelity. However, existing studies on unlearning are not tailored for the session-based recommendation. On the one hand, these approaches cannot achieve satisfying unlearning effects due to the collaborative correlations and sequential connections between the unlearning item and the remaining items in the session. On the other hand, seldom work has conducted the research to verify the unlearning effectiveness in the session-based recommendation scenario. In this paper, we propose SRU, a session-based recommendation unlearning framework, which enables high unlearning efficiency, accurate recommendation performance, and improved unlearning effectiveness in session-based recommendation. Specifically, we first partition the training sessions into separate sub-models according to the similarity across the sessions, then we utilize an attention-based aggregation layer to fuse the hidden states according to the correlations between the session and the centroid of the data in the sub-model. To improve the unlearning effectiveness, we further propose three extra data deletion strategies, including collaborative extra deletion (CED), neighbor extra deletion (NED), and random extra deletion (RED). Besides, we propose an evaluation metric that measures whether the unlearning sample can be inferred after the data deletion to verify the unlearning effectiveness. We implement SRU with three representative session-based recommendation models and conduct experiments on three benchmark datasets. Experimental results demonstrate the effectiveness of our methods.


title: Quantum-Assisted Joint Caching and Power Allocation for Integrated Satellite-Terrestrial Networks

abstract: Low earth orbit (LEO) satellite network can complement terrestrial networks for achieving global wireless coverage and improving delay-sensitive Internet services. This paper proposes an integrated satellite-terrestrial network (ISTN) architecture to provide ground users with seamless and reliable content delivery services. For optimal service provisioning in this architecture, we formulate an optimization model to maximize the network throughput by jointly optimizing content delivery policy, cache placement, and transmission power allocation. The resulting optimization model is a large-scale mixed-integer nonlinear program (MINLP) that is intractable for classical computer solvers. Inspired by quantum computing techniques, we propose a hybrid quantum-classical generalized Benders' decomposition (HQCGBD) algorithm to address this challenge. Specifically, we first exploit the generalized Benders' decomposition (GBD) to decompose the problem into a master problem and a subproblem and then leverage the state-of-art quantum annealer to solve the challenging master problem.


title: On the Borel summability of formal solutions of certain higher-order linear ordinary differential equations

abstract: We consider a class of $n^{\text{th}}$-order linear ordinary differential equations with a large parameter $u$. Analytic solutions of these equations can be described by (divergent) formal series in descending powers of $u$. We demonstrate that, given mild conditions on the potential functions of the equation, the formal solutions are Borel summable with respect to the parameter $u$ in large, unbounded domains of the independent variable. We establish that the formal series expansions serve as asymptotic expansions, uniform with respect to the independent variable, for the Borel re-summed exact solutions. Additionally, we show that the exact solutions can be expressed using factorial series in the parameter, and these expansions converge in half-planes, uniformly with respect to the independent variable. To illustrate our theory, we apply it to an $n^{\text{th}}$-order Airy-type equation.


title: Multiplicatively reducible subsets of shifted perfect $k$-th powers and bipartite Diophantine tuples

abstract: Recently, Hajdu and S\'{a}rk\"{o}zy studied the multiplicative decompositions of polynomial sequences. In particular, they showed that when $k \geq 3$, each infinite subset of $\{x^k+1: x \in \mathbb{N}\}$ is multiplicatively irreducible. In this paper, we attempt to make their result effective by building a connection between this problem and the bipartite generalization of the well-studied Diophantine tuples. More precisely, given an integer $k \geq 3$ and a nonzero integer $n$, we call a pair of subsets of positive integers $(A,B)$ \emph{a bipartite Diophantine tuple with property $BD_k(n)$} if $|A|,|B| \geq 2$ and $AB+n \subset \{x^k: x \in \mathbb{N}\}$. We show that $\min \{|A|, |B|\} \ll \log |n|$, extending a celebrated work of Bugeaud and Dujella (where they considered the case $n=1$). We also provide an upper bound on $|A||B|$ in terms of $n$ and $k$ under the assumption $\min \{|A|,|B|\}\geq 4$ and $k \geq 6$. Specializing our techniques to Diophantine tuples, we significantly improve several results by B\'{e}rczes-Dujella-Hajdu-Luca, Bhattacharjee-Dixit-Saikia, and Dixit-Kim-Murty.


title: A torus of $N$-dimensional charged anti-de-Sitter black holes in the quadratic form of $f(Q)$ gravitational theory

abstract: Due to the absence of spherically symmetric black hole solutions in $f(\mathbb{Q})$ because of the constraint derived from its field equations, which yields either $\mathbb{Q}=0 $ or $f_{\mathbb{Q} \mathbb{Q}}=0 $ \cite{Heisenberg:2023lru,Maurya:2023muz}. We are going to introduce a tours solutions for charged anti-de-Sitter black holes in $N$-dimensions within the framework of the quadratic form of $f(\mathbb{Q})$ gravity, where the coincident gauge condition is applied \cite{Heisenberg:2023lru}. Here, $f(\mathbb{Q})=\mathbb{Q}+\frac{1}2\alpha \mathbb{Q}^2-2\Lambda$, and the condition $N \geq 4$ is satisfied. These black hole solutions exhibit flat or cylindrical horizons as their distinctive features. An intriguing aspect of these black hole solutions lies in the coexistence of electric monopole and quadrupole components within the potential field, which are indivisible and exhibit interconnected momenta. This sets them apart from the majority of known charged solutions in the linear form of the non-metricity theory and its extensions. Moreover, the curvature singularities in these solutions are less severe compared to those found in known charged black hole solutions within the characteristic can be demonstrated by computing certain invariants of the curvature and non-metricity tensors. Finally, we calculate thermodynamic parameters, including entropy, Hawking temperature, and Gibbs free energy. These thermodynamic computations affirm the stability of our model.


title: How to Overcome Curse-of-Dimensionality for Out-of-Distribution Detection?

abstract: Machine learning models deployed in the wild can be challenged by out-of-distribution (OOD) data from unknown classes. Recent advances in OOD detection rely on distance measures to distinguish samples that are relatively far away from the in-distribution (ID) data. Despite the promise, distance-based methods can suffer from the curse-of-dimensionality problem, which limits the efficacy in high-dimensional feature space. To combat this problem, we propose a novel framework, Subspace Nearest Neighbor (SNN), for OOD detection. In training, our method regularizes the model and its feature representation by leveraging the most relevant subset of dimensions (i.e. subspace). Subspace learning yields highly distinguishable distance measures between ID and OOD data. We provide comprehensive experiments and ablations to validate the efficacy of SNN. Compared to the current best distance-based method, SNN reduces the average FPR95 by 15.96% on the CIFAR-100 benchmark.


title: Hybrid Aerodynamics-Based Model Predictive Control for a Tail-Sitter UAV

abstract: It is challenging to model and control a tail-sitter unmanned aerial vehicle (UAV) because its blended wing body generates complicated nonlinear aerodynamic effects, such as wing lift, fuselage drag, and propeller-wing interactions. We therefore devised a hybrid aerodynamic modeling method and model predictive control (MPC) design for a quadrotor tail-sitter UAV. The hybrid model consists of the Newton-Euler equation, which describes quadrotor dynamics, and a feedforward neural network, which learns residual aerodynamic effects. This hybrid model exhibits high predictive accuracy at a low computational cost and was used to implement hybrid MPC, which optimizes the throttle, pitch angle, and roll angle for position tracking. The controller performance was validated in real-world experiments, which obtained a 57% tracking error reduction compared with conventional nonlinear MPC. External wind disturbance was also introduced and the experimental results confirmed the robustness of the controller to these conditions.


title: Convergence of a conservative Crank-Nicolson finite difference scheme for the KdV equation with smooth and non-smooth initial data

abstract: In this paper, we study the stability and convergence of a fully discrete finite difference scheme for the initial value problem associated with the Korteweg-De Vries (KdV) equation. We employ the Crank-Nicolson method for temporal discretization and establish that the scheme is $L^2$-conservative. The convergence analysis reveals that utilizing inherent Kato's local smoothing effect, the proposed scheme converges to a classical solution for sufficiently regular initial data $u_0 \in H^{3}(\mathbb{R})$ and to a weak solution in $L^2(0,T;L^2_{\text{loc}}(\mathbb{R}))$ for non-smooth initial data $u_0 \in L^2(\mathbb{R})$. Optimal convergence rates in both time and space for the devised scheme are derived. The theoretical results are justified through several numerical illustrations.


title: Evidence for an Excitonic Insulator State in Ta$_2$Pd$_3$Te$_5$

abstract: The excitonic insulator (EI) is an exotic ground state of narrow-gap semiconductors and semimetals arising from spontaneous condensation of electron-hole pairs bound by attractive Coulomb interaction. Despite research on EIs dating back to half a century ago, their existence in real materials remains a subject of ongoing debate. In this study, through systematic experimental and theoretical investigations, we provide evidence for the existence of an EI ground state in a van der Waals compound Ta$_2$Pd$_3$Te$_5$. Density-functional-theory calculations suggest that it is a semimetal with a small band overlap, whereas various experiments exhibit an insulating ground state with a clear band gap. Upon incorporating electron-hole Coulomb interaction into our calculations, we obtain an EI phase where the electronic symmetry breaking opens a many-body gap. Angle-resolved photoemission spectroscopy measurements exhibit that the band gap is closed with a significant change in the dispersions as the number of thermally excited charge carriers becomes sufficiently large in both equilibrium and nonequilibrium states. Structural measurements reveal a slight breaking of crystal symmetry with exceptionally small lattice distortion in the insulating state, which cannot account for the significant gap opening. Therefore, we attribute the insulating ground state with a gap opening in Ta$_2$Pd$_3$Te$_5$ to exciton condensation, where the coupling to the symmetry-breaking electronic state induces a subtle change in the crystal structure.


title: Spontaneous gap opening and potential excitonic states in an ideal Dirac semimetal Ta$_2$Pd$_3$Te$_5$

abstract: The opening of an energy gap in the electronic structure generally indicates the presence of interactions. In materials with low carrier density and short screening length, long-range Coulomb interaction favors the spontaneous formation of electron-hole pairs, so-called excitons, opening an excitonic gap at the Fermi level. Excitonic materials host unique phenomenons associated with pair excitations. However, there is still no generally recognized single-crystal material with excitonic order, which is, therefore, awaited in condensed matter physics. Here, we show that excitonic states may exist in the quasi-one-dimensional material Ta$_2$Pd$_3$Te$_5$, which has an almost ideal Dirac-like band structure, with Dirac point located exactly at Fermi level. We find that an energy gap appears at 350 K, and it grows with decreasing temperature. The spontaneous gap opening is absent in a similar material Ta$_2$Ni$_3$Te$_5$. Intriguingly, the gap is destroyed by the potassium deposition on the crystal, likely due to extra-doped carriers. Furthermore, we observe a pair of in-gap flat bands, which is an analog of the impurity states in a superconducting gap. All these observations can be properly explained by an excitonic order, providing Ta$_2$Pd$_3$Te$_5$ as a new and promising candidate realizing excitonic states.


title: QUAR-VLA: Vision-Language-Action Model for Quadruped Robots

abstract: The important manifestation of robot intelligence is the ability to naturally interact and autonomously make decisions. Traditional approaches to robot control often compartmentalize perception, planning, and decision-making, simplifying system design but limiting the synergy between different information streams. This compartmentalization poses challenges in achieving seamless autonomous reasoning, decision-making, and action execution. To address these limitations, a novel paradigm, named Vision-Language-Action tasks for QUAdruped Robots (QUAR-VLA), has been introduced in this paper. This approach tightly integrates visual information and instructions to generate executable actions, effectively merging perception, planning, and decision-making. The central idea is to elevate the overall intelligence of the robot. Within this framework, a notable challenge lies in aligning fine-grained instructions with visual perception information. This emphasizes the complexity involved in ensuring that the robot accurately interprets and acts upon detailed instructions in harmony with its visual observations. Consequently, we propose QUAdruped Robotic Transformer (QUART), a family of VLA models to integrate visual information and instructions from diverse modalities as input and generates executable actions for real-world robots and present QUAdruped Robot Dataset (QUARD), a large-scale multi-task dataset including navigation, complex terrain locomotion, and whole-body manipulation tasks for training QUART models. Our extensive evaluation (4000 evaluation trials) shows that our approach leads to performant robotic policies and enables QUART to obtain a range of emergent capabilities.


title: Multiagent Copilot Approach for Shared Autonomy between Human EEG and TD3 Deep Reinforcement Learning

abstract: Deep reinforcement learning (RL) algorithms enable the development of fully autonomous agents that can interact with the environment. Brain-computer interface (BCI) systems decipher human implicit brain signals regardless of the explicit environment. In this study, we integrated deep RL and BCI to improve beneficial human interventions in autonomous systems and the performance in decoding brain activities by considering environmental factors. Shared autonomy was allowed between the action command decoded from the electroencephalography (EEG) of the human agent and the action generated from the twin delayed DDPG (TD3) agent for a given environment. Our proposed copilot control scheme with a full blocker (Co-FB) significantly outperformed the individual EEG (EEG-NB) or TD3 control. The Co-FB model achieved a higher target approaching score, lower failure rate, and lower human workload than the EEG-NB model. The Co-FB control scheme had a higher invisible target score and level of allowed human intervention than the TD3 model. We also proposed a disparity d-index to evaluate the effect of contradicting agent decisions on the control accuracy and authority of the copilot model. We found a significant correlation between the control authority of the TD3 agent and the performance improvement of human EEG classification with respect to the d-index. We also observed that shifting control authority to the TD3 agent improved performance when BCI decoding was not optimal. These findings indicate that the copilot system can effectively handle complex environments and that BCI performance can be improved by considering environmental factors. Future work should employ continuous action space and different multi-agent approaches to evaluate copilot performance.


title: Evaluation of RANS-based turbulence models for isothermal flow in a realistic can-type gas turbine combustor application

abstract: The present study assesses RANS-based turbulence models to simulate isothermal flow in a combustor representing a constituent can combustor of can-annular configuration used in jet engines. Two-equation models (standard $k-\epsilon$, realizable $k-\epsilon$, standard $k-\omega$, SST $k-\omega$), and Linear Pressure Strain - Reynolds Stress Model (LPS-RSM), are assessed by comparing their predictions of mean axial and transverse velocity, turbulent kinetic energy, and shear stress with the experimental data at the primary and dilution hole planes in combustor. While the two-equation models generally have failed to predict the confined swirling flow at both positions accurately, the SST $k-\omega$ model yielded the most accurate, followed by standard $k-\omega$ and realizable $k-\epsilon$ models. The discrepancies between the computational and experimental results could be attributed to the isotropic turbulence assumptions, which, however, are invalid for confined swirling flows. Further, the two-equation model formulations cannot capture the intricacies of vortex flow and its interaction with the surroundings in confined swirling flows. LPS-RSM, which considers turbulence anisotropy, showed some promise, although overpredicted results follow the trend with experimental values at the primary holes plane. However, at dilution holes plane, the model overpredicted the velocity field and underestimated turbulence field, including turbulent kinetic energy and shear stress. These observed discrepancies can be ascribed to the pressure-strain correlation in the LPS-RSM, which assumes the pressure is a linear function of the strain-rate tensor. However, for complex flows, this linear assumption is quite simplistic. Hence, this study suggests that more advanced turbulence models such as non-LPS-RSM are needed to accurately predict the confined swirling flow in combustors.


title: Quantum computing with error mitigation for data-driven computational mechanics

abstract: As a crossover frontier of physics and mechanics, quantum computing is showing its great potential in computational mechanics. However, quantum hardware noise remains a critical barrier to achieving accurate simulation results due to the limitation of the current hardware level. In this paper, we integrate error-mitigated quantum computing in data-driven computational mechanics, where the zero-noise extrapolation (ZNE) technique is employed to improve the accuracy of quantum computing. Numerical examples including multiscale simulation of a composite L-shaped beam are conducted with the quantum computer simulator Qpanda, and the results validate the effectiveness of the proposed method. We believe this work presents a promising step towards using the power of quantum computing in computational mechanics.


title: Attacking Byzantine Robust Aggregation in High Dimensions

abstract: Training modern neural networks or models typically requires averaging over a sample of high-dimensional vectors. Poisoning attacks can skew or bias the average vectors used to train the model, forcing the model to learn specific patterns or avoid learning anything useful. Byzantine robust aggregation is a principled algorithmic defense against such biasing. Robust aggregators can bound the maximum bias in computing centrality statistics, such as mean, even when some fraction of inputs are arbitrarily corrupted. Designing such aggregators is challenging when dealing with high dimensions. However, the first polynomial-time algorithms with strong theoretical bounds on the bias have recently been proposed. Their bounds are independent of the number of dimensions, promising a conceptual limit on the power of poisoning attacks in their ongoing arms race against defenses. In this paper, we show a new attack called HIDRA on practical realization of strong defenses which subverts their claim of dimension-independent bias. HIDRA highlights a novel computational bottleneck that has not been a concern of prior information-theoretic analysis. Our experimental evaluation shows that our attacks almost completely destroy the model performance, whereas existing attacks with the same goal fail to have much effect. Our findings leave the arms race between poisoning attacks and provable defenses wide open.


title: Tailoring Interlayer Chiral Exchange by Azimuthal Symmetry Engineering

abstract: Recent theoretical and experimental studies of the interlayer Dzyaloshinskii-Moriya interaction (DMI) has sparked great interest in its implementation into practical magnetic random-access memory (MRAM) devices, due to its capability to mediate long-range chiral spin textures. So far, experimental reports focused on the observation of interlayer DMI, leaving the development of strategies to control interlayer DMI's magnitude unaddressed. Here, we introduce an azimuthal symmetry engineering protocol capable of additive/subtractive tuning of interlayer DMI through the control of wedge deposition of separate layers, and demonstrate its capability to mediate field-free spin-orbit torque (SOT) magnetization switching in both orthogonally magnetized and synthetic antiferromagnetically coupled systems. Furthermore, we showcase the spatial inhomogeneity brought about by wedge depositon can be suppressed by specific azimuthal engineering design, ideal for practical implementation. Our findings provide guidelines for effective manipulations of interlayer DMI strength, beneficial for future design of SOT-MRAM or other spintronic devices utilizing interlayer DMI.


title: Dynamic Programming-based Approximate Optimal Control for Model-Based Reinforcement Learning

abstract: This article proposes an improved trajectory optimization approach for stochastic optimal control of dynamical systems affected by measurement noise by combining optimal control with maximum likelihood techniques to improve the reduction of the cumulative cost-to-go. A modified optimization objective function that incorporates dynamic programming-based controller design is presented to handle the noise in the system and sensors. Empirical results demonstrate the effectiveness of the approach in reducing stochasticity and allowing for an intermediate step to switch optimization that can allow an efficient balance of exploration and exploitation mechanism for complex tasks by constraining policy parameters to parameters obtained as a result of this improved optimization. This research study also includes theoretical work on the uniqueness of control parameter estimates and also leverages a structure of the likelihood function which has an established theoretical guarantees. Furthermore, a theoretical result is also explored that bridge the gap between the proposed optimization objective function and existing information theory (relative entropy) and optimal control dualities.


title: Adaptive Differential Evolution with Diversification: Addressing Optimization Challenges

abstract: The existing variants of the Differential Evolution (DE) algorithm come with certain limitations, such as poor local search and susceptibility to premature convergence. This study introduces Adaptive Differential Evolution with Diversification (ADED), a method that dynamically modifies the neighborhood structure by evaluating the trial solutions' fitness. Developed to work with both convex and nonconvex objective functions, ADED is validated with 22 benchmark functions, including Rosenbrock, Rastrigin, Ackley, and DeVilliers-Glasser02. The development is carried out in Google Cloud using Jupyter Notebook and Python v3.10.12, with additional testing conducted on the multi-objective benchmark ZDT test suite. ADED distinguishes itself with its adaptive and diverse approach, which includes adaptive mutation and crossover-rates, diverse mutation tactics, diversification measurements, local search mechanisms, and convergence monitoring. The unique combination of these features collectively enhances ADED's effectiveness in navigating complex and diverse landscapes, positioning it as a promising tool for addressing challenges in both single- and multi-objective optimization scenarios.


title: FM-OV3D: Foundation Model-based Cross-modal Knowledge Blending for Open-Vocabulary 3D Detection

abstract: The superior performances of pre-trained foundation models in various visual tasks underscore their potential to enhance the 2D models' open-vocabulary ability. Existing methods explore analogous applications in the 3D space. However, most of them only center around knowledge extraction from singular foundation models, which limits the open-vocabulary ability of 3D models. We hypothesize that leveraging complementary pre-trained knowledge from various foundation models can improve knowledge transfer from 2D pre-trained visual language models to the 3D space. In this work, we propose FM-OV3D, a method of Foundation Model-based Cross-modal Knowledge Blending for Open-Vocabulary 3D Detection, which improves the open-vocabulary localization and recognition abilities of 3D model by blending knowledge from multiple pre-trained foundation models, achieving true open-vocabulary without facing constraints from original 3D datasets. Specifically, to learn the open-vocabulary 3D localization ability, we adopt the open-vocabulary localization knowledge of the Grounded-Segment-Anything model. For open-vocabulary 3D recognition ability, We leverage the knowledge of generative foundation models, including GPT-3 and Stable Diffusion models, and cross-modal discriminative models like CLIP. The experimental results on two popular benchmarks for open-vocabulary 3D object detection show that our model efficiently learns knowledge from multiple foundation models to enhance the open-vocabulary ability of the 3D model and successfully achieves state-of-the-art performance in open-vocabulary 3D object detection tasks. Code is released at https://github.com/dmzhang0425/FM-OV3D.git.


title: Towards Assessing Compliant Robotic Grasping from First-Object Perspective via Instrumented Objects

abstract: Grasping compliant objects is difficult for robots - applying too little force may cause the grasp to fail, while too much force may lead to object damage. A robot needs to apply the right amount of force to quickly and confidently grasp the objects so that it can perform the required task. Although some methods have been proposed to tackle this issue, performance assessment is still a problem for directly measuring object property changes and possible damage. To fill the gap, a new concept is introduced in this paper to assess compliant robotic grasping using instrumented objects. A proof-of-concept design is proposed to measure the force applied on a cuboid object from a first-object perspective. The design can detect multiple contact locations and applied forces on its surface by using multiple embedded 3D Hall sensors to detect deformation relative to embedded magnets. The contact estimation is achieved by interpreting the Hall-effect signals using neural networks. In comprehensive experiments, the design achieved good performance in estimating contacts from each single face of the cuboid and decent performance in detecting contacts from multiple faces when being used to evaluate grasping from a parallel jaw gripper, demonstrating the effectiveness of the design and the feasibility of the concept.


title: Phenomenology of light mesons with $J = 2, 3$

abstract: In this thesis, I present the results for light mesons with $J=2,3$ within an effective hadronic model, the so-called extended Linear Sigma Model (eLSM). This model is based on the approximate chiral symmetry of QCD. Qualitative agreement between model results and PDG as well as LQCD data is obtained. Various predictions for the radiative decays can be tested in e.g., GlueX and CLAS12 experiments at Jefferson Lab. After applying the chiral model for well-established spin-2 mesons (with $J^{PC}=2^{++}$), I move on to their chiral partners (the axial-tensor mesons with $J^{PC}=2^{++}$), where the resonances are still missing. Large decay widths are predicted in the chiral model as well as in LQCD simulations.Furthermore, I describe the decays of the spin-2 tensor glueball $G_2(???)$ within the eLSM, which can be helpful in future experimental searches e.g., BESIII and LHCb experiments. Some isoscalar tensor resonances of PDG with a mass of around 2 GeV are studied, and at present, the best tensor glueball candidate turns out to be the broad resonance $f_2(1950)$. In the case of the ground-state spin-3 mesons ($J^{PC}=3^{--}$), our chiral model is limited to the $SU(3)$ flavor symmetry because of the yet unknown chiral partners ($J^{PC}=3^{++}$). The effective model results are in good agreement with the PDG data and LQCD results, and the predictions for the radiative decays can be interesting for photoproduction experiments such as GlueX and CLAS12. Additional estimates for the decay ratios of the $G_3(???)$ tensor glueball with $J^{PC}=3^{--}$ are also presented. The role of the glueball spectrum at non-zero temperature is explored within the Glueball Resonance Gas model below the critical temperature of the pure Yang-Mills sector of the QCD phase diagram. It turns out that the latest glueball spectrum from LQCD can well describe the pressure up to almost the critical temperature.


title: FDA-MIMO-based Integrated Sensing and Communication System with Frequency Offset Permutation Index Modulation

abstract: Considering that frequency diverse array multiple-input multiple-output (FDA-MIMO) possesses extra range information to enhance sensing performance, this paper explores the FDA-MIMO-based integrated sensing and communication (ISAC) system. To reinforce the system communication capability, we propose the frequency offset permutation index modulation (FOPIM) scheme, which conveys extra information bits by selecting and permutating frequency offsets from a frequency offsets pool. For the system communication sub-functionality, considering the fact that the traditional maximum likelihood detection method suffers from high complexity and bit error rate (BER), the maximum likelihood-based two-stage detection (MLTSD) approach is presented to overcome this issue. For the system sensing sub-function, we employ the two-step maximum likelihood estimator (TSMLE) to stepwise estimate the angle and range of the interested target. Furthermore, we derive the closed-form expressions for the tight upper bound on the communication BER, along with the sensing Cram\'er-Rao bound (CRB). The simulation results validate the theoretical analysis, demonstrating that the proposed system exhibits lower BER and superior range resolution than independent MIMO communication and MIMO sensing modules.


title: Irreversibility of stochastic state transitions in Langevin systems with odd elasticity

abstract: Active microscopic objects, e.g., an enzyme molecule, are modeled by the Langevin system with the odd elasticity, in which energy injection from the substrate to the enzyme is described by the antisymmetric part of the elastic matrix. By applying the Onsager--Machlup integral and large deviation theory to the Langevin system with odd elasticity, we can calculate the cumulant generating function of the irreversibility of the state transition. For an $N$-component system, we obtain a formal expression of the cumulant generating function and demonstrate that the oddness $\lambda$, which quantifies the antisymmetric part of the elastic matrix, leads to higher-order cumulants that do not appear in a passive elastic system. To demonstrate the effect of the oddness under the concrete parameter, we analyze the simplest two-component system and obtain the optimal transition path and cumulant generating function. The cumulants obtained from expansion of the cumulant generating function increase monotonically with the oddness. This implies that the oddness causes the uncertainty of stochastic state transitions.


title: Safe Reinforcement Learning with Instantaneous Constraints: The Role of Aggressive Exploration

abstract: This paper studies safe Reinforcement Learning (safe RL) with linear function approximation and under hard instantaneous constraints where unsafe actions must be avoided at each step. Existing studies have considered safe RL with hard instantaneous constraints, but their approaches rely on several key assumptions: $(i)$ the RL agent knows a safe action set for {\it every} state or knows a {\it safe graph} in which all the state-action-state triples are safe, and $(ii)$ the constraint/cost functions are {\it linear}. In this paper, we consider safe RL with instantaneous hard constraints without assumption $(i)$ and generalize $(ii)$ to Reproducing Kernel Hilbert Space (RKHS). Our proposed algorithm, LSVI-AE, achieves $\tilde{\cO}(\sqrt{d^3H^4K})$ regret and $\tilde{\cO}(H \sqrt{dK})$ hard constraint violation when the cost function is linear and $\cO(H\gamma_K \sqrt{K})$ hard constraint violation when the cost function belongs to RKHS. Here $K$ is the learning horizon, $H$ is the length of each episode, and $\gamma_K$ is the information gain w.r.t the kernel used to approximate cost functions. Our results achieve the optimal dependency on the learning horizon $K$, matching the lower bound we provide in this paper and demonstrating the efficiency of LSVI-AE. Notably, the design of our approach encourages aggressive policy exploration, providing a unique perspective on safe RL with general cost functions and no prior knowledge of safe actions, which may be of independent interest.


title: Prototype-based Cross-Modal Object Tracking

abstract: Cross-modal object tracking is an important research topic in the field of information fusion, and it aims to address imaging limitations in challenging scenarios by integrating switchable visible and near-infrared modalities. However, existing tracking methods face some difficulties in adapting to significant target appearance variations in the presence of modality switch. For instance, model update based tracking methods struggle to maintain stable tracking results during modality switching, leading to error accumulation and model drift. Template based tracking methods solely rely on the template information from first frame and/or last frame, which lacks sufficient representation ability and poses challenges in handling significant target appearance changes. To address this problem, we propose a prototype-based cross-modal object tracker called ProtoTrack, which introduces a novel prototype learning scheme to adapt to significant target appearance variations, for cross-modal object tracking. In particular, we design a multi-modal prototype to represent target information by multi-kind samples, including a fixed sample from the first frame and two representative samples from different modalities. Moreover, we develop a prototype generation algorithm based on two new modules to ensure the prototype representative in different challenges......


title: Not All Tasks Are Equally Difficult: Multi-Task Deep Reinforcement Learning with Dynamic Depth Routing

abstract: Multi-task reinforcement learning endeavors to accomplish a set of different tasks with a single policy. To enhance data efficiency by sharing parameters across multiple tasks, a common practice segments the network into distinct modules and trains a routing network to recombine these modules into task-specific policies. However, existing routing approaches employ a fixed number of modules for all tasks, neglecting that tasks with varying difficulties commonly require varying amounts of knowledge. This work presents a Dynamic Depth Routing (D2R) framework, which learns strategic skipping of certain intermediate modules, thereby flexibly choosing different numbers of modules for each task. Under this framework, we further introduce a ResRouting method to address the issue of disparate routing paths between behavior and target policies during off-policy training. In addition, we design an automatic route-balancing mechanism to encourage continued routing exploration for unmastered tasks without disturbing the routing of mastered ones. We conduct extensive experiments on various robotics manipulation tasks in the Meta-World benchmark, where D2R achieves state-of-the-art performance with significantly improved learning efficiency.


title: Coordinated Active-Reactive Power Management of ReP2H Systems with Multiple Electrolyzers

abstract: Utility-scale renewable power-to-hydrogen (ReP2H) production typically uses thyristor rectifiers (TRs) to supply power to multiple electrolyzers (ELZs). They exhibit a nonlinear and non-decouplable relation between active and reactive power. The on-off scheduling and load allocation of multiple ELZs simultaneously impact energy conversion efficiency and AC-side active and reactive power flow. Improper scheduling may result in excessive reactive power demand, causing voltage violations and increased network losses, compromising safety and economy. To address these challenges, this paper first explores trade-offs between the efficiency and the reactive load of the electrolyzers. Subsequently, we propose a coordinated approach for scheduling the active and reactive power in the ReP2H system. A mixed-integer second-order cone programming (MISOCP) is established to jointly optimize active and reactive power by coordinating the ELZs, renewable energy sources, energy storage (ES), and var compensations. Case studies demonstrate that the proposed method reduces losses by 3.06% in an off-grid ReP2H system while increasing hydrogen production by 5.27% in average.


title: MonoLSS: Learnable Sample Selection For Monocular 3D Detection

abstract: In the field of autonomous driving, monocular 3D detection is a critical task which estimates 3D properties (depth, dimension, and orientation) of objects in a single RGB image. Previous works have used features in a heuristic way to learn 3D properties, without considering that inappropriate features could have adverse effects. In this paper, sample selection is introduced that only suitable samples should be trained to regress the 3D properties. To select samples adaptively, we propose a Learnable Sample Selection (LSS) module, which is based on Gumbel-Softmax and a relative-distance sample divider. The LSS module works under a warm-up strategy leading to an improvement in training stability. Additionally, since the LSS module dedicated to 3D property sample selection relies on object-level features, we further develop a data augmentation method named MixUp3D to enrich 3D property samples which conforms to imaging principles without introducing ambiguity. As two orthogonal methods, the LSS module and MixUp3D can be utilized independently or in conjunction. Sufficient experiments have shown that their combined use can lead to synergistic effects, yielding improvements that transcend the mere sum of their individual applications. Leveraging the LSS module and the MixUp3D, without any extra data, our method named MonoLSS ranks 1st in all three categories (Car, Cyclist, and Pedestrian) on KITTI 3D object detection benchmark, and achieves competitive results on both the Waymo dataset and KITTI-nuScenes cross-dataset evaluation. The code is included in the supplementary material and will be released to facilitate related academic and industrial studies.


title: Asymptotic coefficients of multiple zeta functions at the origin and generalized Gregory coefficients

abstract: Due to their singularities, multiple zeta functions behave sensitively at non-positive integer points. In this article, we focus on the asymptotic behavior at the origin $(0,\dots, 0)$ and unveil the generating series of the asymptotic coefficients as a generalization of the classical Gregory coefficients. This enables us to reveal the underlying symmetry of the asymptotic coefficients. Additionally, we extend the relationship between the asymptotic coefficients and the Gregory coefficients to include Hurwitz multiple zeta functions.


title: High Magnetoresistance Ratio on hBN Boron-Vacancy/Graphene Magnetic Tunnel Junction

abstract: We presents a new strategy to create a van der Waals-based magnetic tunnel junction (MTJ) that consists of a three-atom layer thickness of graphene (Gr) sandwiched with hexagonal boron nitride (hBN) by introducing a monoatomic Boron vacancy in both hBN layers. The magnetic properties and electronic structure of the system were investigated using density functional theory (DFT), while the transmission probability of the MTJ was investigated using the Landauer-B\"uttiker formalism within the non-equilibrium Green function method. The Stoner gap was found to be created between the spin-majority channel and the spin-minority channel on LDOS of the hBN monoatomic boron-vacancy (V$_B$) near the vicinity of Fermi energy, creating a possible control of the spin valve by considering two different magnetic allignment of hBN(V$_B$) layers, anti-parallel and parallel configuration. The results of the transmission probability calculation showed a high electron transmission in the parallel configuration of the hBN(V$_B$) layers and a low transmission when the antiparallel configuration was considered. A high TMR ratio of approximately 400% was observed when comparing the antiparallel and parallel configuration of hBN(V$_B$) layers in the hBN (V$_B$)/Gr/hBN(V$_B$), giving the highest TMR for the thinnest MTJ system.


title: Local boundary representations for local operator systems

abstract: In this paper, we show that the local boundary representations of a local operator system in a Frechet locally C*-algebra on quantized Frechet domains introduced by Arunkumar [Local boundary representations of locally C*-algebras, J. Math. Anal. Appl. 515(2022),2,Paper No. 126416, 14pp.] are in fact local boundary representations on Hilbert spaces. Thus, the study of local boundary representations for local operator systems in Frechet locally C*-algebras on quantized Frechet domains is reduced to the study of boundary representations for operator systems.


title: Federated Learning via Input-Output Collaborative Distillation

abstract: Federated learning (FL) is a machine learning paradigm in which distributed local nodes collaboratively train a central model without sharing individually held private data. Existing FL methods either iteratively share local model parameters or deploy co-distillation. However, the former is highly susceptible to private data leakage, and the latter design relies on the prerequisites of task-relevant real data. Instead, we propose a data-free FL framework based on local-to-central collaborative distillation with direct input and output space exploitation. Our design eliminates any requirement of recursive local parameter exchange or auxiliary task-relevant data to transfer knowledge, thereby giving direct privacy control to local users. In particular, to cope with the inherent data heterogeneity across locals, our technique learns to distill input on which each local model produces consensual yet unique results to represent each expertise. Our proposed FL framework achieves notable privacy-utility trade-offs with extensive experiments on image classification and segmentation tasks under various real-world heterogeneous federated learning settings on both natural and medical images.


title: Navigating the Concurrency Landscape: A Survey of Race Condition Vulnerability Detectors

abstract: As technology continues to advance and we usher in the era of Industry 5.0, there has been a profound paradigm shift in operating systems, file systems, web, and network applications. The conventional utilization of multiprocessing and multicore systems has made concurrent programming increasingly pervasive. However, this transformation has brought about a new set of issues known as concurrency bugs, which, due to their wide prevalence in concurrent programs, have led to severe failures and potential security exploits. Over the past two decades, numerous researchers have dedicated their efforts to unveiling, detecting, mitigating, and preventing these bugs, with the last decade witnessing a surge in research within this domain. Among the spectrum of concurrency bugs, data races or race condition vulnerabilities stand out as the most prevalent, accounting for a staggering 80\% of all concurrency bugs. This survey paper is focused on the realm of race condition bug detectors. We systematically categorize these detectors based on the diverse methodologies they employ. Additionally, we delve into the techniques and algorithms associated with race detection, tracing the evolution of this field over time. Furthermore, we shed light on the application of fuzzing techniques in the detection of race condition vulnerabilities. By reviewing these detectors and their static analyses, we draw conclusions and outline potential future research directions, including enhancing accuracy, performance, applicability, and comprehensiveness in race condition vulnerability detection.


title: MetaAID 2.5: A Secure Framework for Developing Metaverse Applications via Large Language Models

abstract: Large language models (LLMs) are increasingly being used in Metaverse environments to generate dynamic and realistic content and to control the behavior of non-player characters (NPCs). However, the cybersecurity concerns associated with LLMs have become increasingly prominent. Previous research has primarily focused on patching system vulnerabilities to enhance cybersecurity, but these approaches are not well-suited to the Metaverse, where the virtual space is more complex, LLMs are vulnerable, and ethical user interaction is critical. Moreover, the scope of cybersecurity in the Metaverse is expected to expand significantly. This paper proposes a method for enhancing cybersecurity through the simulation of user interaction with LLMs. Our goal is to educate users and strengthen their defense capabilities through exposure to a comprehensive simulation system. This system includes extensive Metaverse cybersecurity Q&A and attack simulation scenarios. By engaging with these, users will improve their ability to recognize and withstand risks. Additionally, to address the ethical implications of user input, we propose using LLMs as evaluators to assess user content across five dimensions. We further adapt the models through vocabulary expansion training to better understand personalized inputs and emoticons. We conduct experiments on multiple LLMs and find that our approach is effective.


title: SurgicalPart-SAM: Part-to-Whole Collaborative Prompting for Surgical Instrument Segmentation

abstract: The Segment Anything Model (SAM) exhibits promise in generic object segmentation and offers potential for various applications. Existing methods have applied SAM to surgical instrument segmentation (SIS) by tuning SAM-based frameworks with surgical data. However, they fall short in two crucial aspects: (1) Straightforward model tuning with instrument masks treats each instrument as a single entity, neglecting their complex structures and fine-grained details; and (2) Instrument category-based prompts are not flexible and informative enough to describe instrument structures. To address these problems, in this paper, we investigate text promptable SIS and propose SurgicalPart-SAM (SP-SAM), a novel SAM efficient-tuning approach that explicitly integrates instrument structure knowledge with SAM's generic knowledge, guided by expert knowledge on instrument part compositions. Specifically, we achieve this by proposing (1) Collaborative Prompts that describe instrument structures via collaborating category-level and part-level texts; (2) Cross-Modal Prompt Encoder that encodes text prompts jointly with visual embeddings into discriminative part-level representations; and (3) Part-to-Whole Adaptive Fusion and Hierarchical Decoding that adaptively fuse the part-level representations into a whole for accurate instrument segmentation in surgical scenarios. Built upon them, SP-SAM acquires a better capability to comprehend surgical instruments in terms of both overall structure and part-level details. Extensive experiments on both the EndoVis2018 and EndoVis2017 datasets demonstrate SP-SAM's state-of-the-art performance with minimal tunable parameters. The code will be available at https://github.com/wenxi-yue/SurgicalPart-SAM.


title: On Smart Morphing Wing Aircraft Robust Adaptive Beamforming

abstract: The smart morphing wing aircraft (SMWA) is a highly adaptable platform that can be widely used for intelligent warfare due to its real-time variable structure. The flexible conformal array (FCA) is a vital detection component of SMWA, when the deformation parameters of FCA are mismatched or array elements are mutually coupled, detection performance will be degraded. To overcome this problem and ensure robust beamforming for FCA, deviations in array control parameters (ACPs) and array perturbations, the effect of mutual coupling in addition to looking-direction errors should be considered. In this paper, we propose a robust adaptive beamforming (RAB) algorithm by reconstructing a multi-domain interference plus noise covariance matrix (INCM) and estimating steering vector (SV) for FCA. We first reconstruct the INCM using multi-domain processing, including ACP and angular domains. Then, SV estimation is executed through an optimization procedure. Experimental results have shown that the proposed beamformer outperforms existing beamformers in various mismatch conditions and harsh environments, such as high interference-to-noise ratios, and mutual coupling of antennas.


title: On the accurate computation of the Newton form of the Lagrange interpolant

abstract: In recent years many efforts have been devoted to finding bidiagonal factorizations of nonsingular totally positive matrices, since their accurate computation allows to numerically solve several important algebraic problems with great precision, even for large ill-conditioned matrices. In this framework, the present work provides the factorization of the collocation matrices of Newton bases -- of relevance when considering the Lagrange interpolation problem -- together with an algorithm that allows to numerically compute it to high relative accuracy. This further allows to determine the coefficients of the interpolating polynomial and to compute the singular values and the inverse of the collocation matrix. Conditions that guarantee high relative accuracy for these methods and, in the former case, for the classical recursion formula of divided differences, are determined. Numerical errors due to imprecise computer arithmetic or perturbed input data in the computation of the factorization are analyzed. Finally, numerical experiments illustrate the accuracy and effectiveness of the proposed methods with several algebraic problems, in stark contrast with traditional approaches.


title: Entanglement in few-nucleon scattering events

abstract: We investigate the spin entanglement in few-nucleon scattering processes involving nucleons and deuterons. For this purpose, we consider the entanglement power introduced by Beane et al. We analyze different entanglement entropies as a basis to define the entanglement power of the strong interaction and calculate the corresponding entanglement powers for proton-neutron, neutron-deuteron, proton-deuteron, and deuteron-deuteron scattering. For the latter two processes, we also take into account the modification from the Coulomb interaction. In contrast to proton-neutron scattering, no universal low-energy features are evident in the spin entanglement in neutron-deuteron, proton-deuteron, and deuteron-deuteron scattering.


title: Self-Supervised Generative Models for Crystal Structures

abstract: Drawing inspiration from the achievements of natural language processing, we adopt self-supervised learning and utilize an equivariant graph neural network to develop a unified platform designed for training generative models capable of generating crystal structures, as well as efficiently adapting to downstream tasks in material property prediction. To mitigate the challenge of incorporating large-scale assessment on the reliability of generated structures into the training process, we utilize the generative adversarial network (GAN) with its discriminator being a cost-effective evaluator for the generated structures, resulting in notable improvements in model performance. We demonstrate the utility of our model in finding the optimal crystal structure under predefined conditions. Without reliance on properties acquired experimentally or numerically, our model further displays its capability to comprehend the mechanism of crystal structure formation through its ability to grouping chemically similar elements. Therefore, this paper extends an invitation to explore deeper into the scientific understanding of material structures through generative models, offering a fresh perspective on broadening the scope and efficacy of machine learning in material science.


title: Entanglement islands read perfect-tensor entanglement

abstract: In this paper, we make use of holographic Boundary Conformal Field Theory (BCFT) to simulate the black hole information problem in the semi-classical picture. We investigate the correlation between a portion of Hawking radiation and entanglement islands by the area of an entanglement wedge cross-section. Building on the understanding of the relationship between entanglement wedge cross-sections and perfect tensor entanglement as discussed in reference [1], we make an intriguing observation: in the semi-classical picture, the positioning of an entanglement island automatically yields a pattern of perfect tensor entanglement. Furthermore, the contribution of this perfect tensor entanglement, combined with the bipartite entanglement contribution, precisely determines the area of the entanglement wedge cross-section.


title: Semantic-based Loco-Manipulation for Human-Robot Collaboration in Industrial Environments

abstract: Robots with a high level of autonomy are increasingly requested by smart industries. A way to reduce the workers' stress and effort is to optimize the working environment by taking advantage of autonomous collaborative robots. A typical task for Human-Robot Collaboration (HRC) which improves the working setup in an industrial environment is the \textit{"bring me an object please"} where the user asks the collaborator to search for an object while he/she is focused on something else. As often happens, science fiction is ahead of the times, indeed, in the \textit{Iron Man} movie, the robot \textit{Dum-E} helps its creator, \textit{Tony Stark}, to create its famous armours. The ability of the robot to comprehend the semantics of the environment and engage with it is valuable for the human execution of more intricate tasks. In this work, we reproduce this operation to enable a mobile robot with manipulation and grasping capabilities to leverage its geometric and semantic understanding of the environment for the execution of the \textit{Bring Me} action, thereby assisting a worker autonomously. Results are provided to validate the proposed workflow in a simulated environment populated with objects and people. This framework aims to take a step forward in assistive robotics autonomy for industries and domestic environments.


title: Language Model is a Branch Predictor for Simultaneous Machine Translation

abstract: The primary objective of simultaneous machine translation (SiMT) is to minimize latency while preserving the quality of the final translation. Drawing inspiration from CPU branch prediction techniques, we propose incorporating branch prediction techniques in SiMT tasks to reduce translation latency. Specifically, we utilize a language model as a branch predictor to predict potential branch directions, namely, future source words. Subsequently, we utilize the predicted source words to decode the output in advance. When the actual source word deviates from the predicted source word, we use the real source word to decode the output again, replacing the predicted output. To further reduce computational costs, we share the parameters of the encoder and the branch predictor, and utilize a pre-trained language model for initialization. Our proposed method can be seamlessly integrated with any SiMT model. Extensive experimental results demonstrate that our approach can improve translation quality and latency at the same time. Our code is available at https://github.com/YinAoXiong/simt_branch_predictor .


title: On the exclusion of exponential autocatalysts by sub-exponential autocatalysts

abstract: Selection among autocatalytic species fundamentally depends on their growth law: exponential species, whose number of copies grows exponentially, are mutually exclusive, while sub-exponential ones, whose number of copies grows polynomially, can coexist. Here we consider competitions between autocatalytic species with different growth laws and make the simple yet counterintuitive observation that sub-exponential species can exclude exponential ones while the reverse is, in principle, impossible. This observation has implications for scenarios pertaining to the emergence of natural selection.


title: Milliarcsecond Localisation of the Hyperactive Repeating FRB 20220912A

abstract: We present very-long-baseline interferometry (VLBI) observations of the hyperactive repeating FRB 20220912A using the European VLBI Network (EVN) with an EVN-Lite setup. We detected 150 bursts from FRB 20220912A over two observing epochs in October 2022. Combining the data of these bursts allows us to localise FRB 20220912A to a precision of a few milliarcseconds, corresponding to a transverse scale of less than 10 pc at the distance of the source. The precision of this localisation shows that FRB 20220912A lies closer to the centre of its host galaxy than previously found, although still significantly offset from the host galaxy's nucleus. On arcsecond scales, FRB 20220912A is coincident with a persistent continuum radio source known from archival observations, however, we find no compact persistent emission on milliarcsecond scales. The persistent radio emission is thus likely to be from star-formation in the host galaxy. This is in contrast to some other active FRBs, such as FRB 20121102A and FRB 20190520B.


title: Enhanced Color Palette Modeling for Lossless Screen Content Compression

abstract: Soft context formation is a lossless image coding method for screen content. It encodes images pixel by pixel via arithmetic coding by collecting statistics for probability distribution estimation. Its main pipeline includes three stages, namely a context model based stage, a color palette stage and a residual coding stage. Each subsequent stage is only employed if the previous stage can not be applied since necessary statistics, e.g. colors or contexts, have not been learned yet. We propose the following enhancements: First, information from previous stages is used to remove redundant color palette entries and prediction errors in subsequent stages. Additionally, implicitly known stage decision signals are no longer explicitly transmitted. These enhancements lead to an average bit rate decrease of 1.07% on the evaluated data. Compared to VVC and HEVC, the proposed method needs roughly 0.44 and 0.17 bits per pixel less on average for 24-bit screen content images, respectively.


title: Context Enhanced Transformer for Single Image Object Detection

abstract: With the increasing importance of video data in real-world applications, there is a rising need for efficient object detection methods that utilize temporal information. While existing video object detection (VOD) techniques employ various strategies to address this challenge, they typically depend on locally adjacent frames or randomly sampled images within a clip. Although recent Transformer-based VOD methods have shown promising results, their reliance on multiple inputs and additional network complexity to incorporate temporal information limits their practical applicability. In this paper, we propose a novel approach to single image object detection, called Context Enhanced TRansformer (CETR), by incorporating temporal context into DETR using a newly designed memory module. To efficiently store temporal information, we construct a class-wise memory that collects contextual information across data. Additionally, we present a classification-based sampling technique to selectively utilize the relevant memory for the current image. In the testing, We introduce a test-time memory adaptation method that updates individual memory functions by considering the test distribution. Experiments with CityCam and ImageNet VID datasets exhibit the efficiency of the framework on various video systems. The project page and code will be made available at: https://ku-cvlab.github.io/CETR.


title: The HCP multi-pipeline dataset: an opportunity to investigate analytical variability in fMRI data analysis

abstract: Results of functional Magnetic Resonance Imaging (fMRI) studies can be impacted by many sources of variability including differences due to: the sampling of the participants, differences in acquisition protocols and material but also due to different analytical choices in the processing of the fMRI data. While variability across participants or across acquisition instruments have been extensively studied in the neuroimaging literature the root causes of analytical variability remain an open question. Here, we share the \textit{HCP multi-pipeline dataset}, including the resulting statistic maps for 24 typical fMRI pipelines on 1,080 participants of the HCP-Young Adults dataset. We share both individual and group results - for 1,000 groups of 50 participants - over 5 motor contrasts. We hope that this large dataset covering a wide range of analysis conditions will provide new opportunities to study analytical variability in fMRI.


title: Revisiting Few-Shot Object Detection with Vision-Language Models

abstract: The era of vision-language models (VLMs) trained on large web-scale datasets challenges conventional formulations of "open-world" perception. In this work, we revisit the task of few-shot object detection (FSOD) in the context of recent foundational VLMs. First, we point out that zero-shot VLMs such as GroundingDINO significantly outperform state-of-the-art few-shot detectors (48 vs. 33 AP) on COCO. Despite their strong zero-shot performance, such foundational models may still be sub-optimal. For example, trucks on the web may be defined differently from trucks for a target application such as autonomous vehicle perception. We argue that the task of few-shot recognition can be reformulated as aligning foundation models to target concepts using a few examples. Interestingly, such examples can be multi-modal, using both text and visual cues, mimicking instructions that are often given to human annotators when defining a target concept of interest. Concretely, we propose Foundational FSOD, a new benchmark protocol that evaluates detectors pre-trained on any external datasets and fine-tuned on multi-modal (text and visual) K-shot examples per target class. We repurpose nuImages for Foundational FSOD, benchmark several popular open-source VLMs, and provide an empirical analysis of state-of-the-art methods. Lastly, we discuss our recent CVPR 2024 Foundational FSOD competition and share insights from the community. Notably, the winning team significantly outperforms our baseline by 23.9 mAP!


title: Beam Foreseeing in Millimeter-Wave Systems with Situational Awareness: Fundamental Limits via Cram\'{e}r-Rao Lower Bound

abstract: Millimeter-wave (mmWave) networks offer the potential for high-speed data transfer and precise localization, leveraging large antenna arrays and extensive bandwidths. However, these networks are challenged by significant path loss and susceptibility to blockages. In this study, we delve into the use of situational awareness for beam prediction within the 5G NR beam management framework. We introduce an analytical framework based on the Cram\'{e}r-Rao Lower Bound, enabling the quantification of 6D position-related information of geometric reflectors. This includes both 3D locations and 3D orientation biases, facilitating accurate determinations of the beamforming gain achievable by each reflector or candidate beam. This framework empowers us to predict beam alignment performance at any given location in the environment, ensuring uninterrupted wireless access. Our analysis offers critical insights for choosing the most effective beam and antenna module strategies, particularly in scenarios where communication stability is threatened by blockages. Simulation results show that our approach closely approximates the performance of an ideal, Oracle-based solution within the existing 5G NR beam management system.


title: Digital twin-assisted three-dimensional electrical capacitance tomography for multiphase flow imaging

abstract: Three-dimensional electrical capacitance tomography (3D-ECT) has shown promise for visualizing industrial multiphase flows. However, existing 3D-ECT approaches suffer from limited imaging resolution and lack assessment metrics, hampering their effectiveness in quantitative multiphase flow imaging. This paper presents a digital twin (DT)-assisted 3D-ECT, aiming to overcome these limitations and enhance our understanding of multiphase flow dynamics. The DT framework incorporates a 3D fluid-electrostatic field coupling model (3D-FECM) that digitally represents the physical 3D-ECT system, which enables us to simulate real multiphase flows and generate a comprehensive virtual multiphase flow 3D imaging dataset. Additionally, the framework includes a deep neural network named 3D deep back projection (3D-DBP), which learns multiphase flow features from the virtual dataset and enables more accurate 3D flow imaging in the real world. The DT-assisted 3D-ECT was validated through virtual and physical experiments, demonstrating superior image quality, noise robustness and computational efficiency compared to conventional 3D-ECT approaches. This research contributes to developing accurate and reliable 3D-ECT techniques and their implementation in multiphase flow systems across various industries.


title: The small-scale limit of magnitude and the one-point property

abstract: The magnitude of a metric space is a real-valued function whose parameter controls the scale of the metric. A metric space is said to have the one-point property if its magnitude converges to 1 as the space is scaled down to a point. Not every finite metric space has the one-point property: to date, exactly one example has been found of a finite space for which the property fails. Understanding the failure of the one-point property is of interest in clarifying the interpretation of magnitude and its stability with respect to the Gromov--Hausdorff topology. We prove that the one-point property holds generically for finite metric spaces, but that when it fails, the failure can be arbitrarily bad: the small-scale limit of magnitude can take arbitrary real values greater than 1.


title: Holographic coarse-grained states and the necessity of perfect entanglement

abstract: In the framework of the holographic principle, focusing on a central concept, conditional mutual information, we construct a class of coarse-grained states, which are intuitively connected to a family of thread configurations. These coarse-grained states characterize the entanglement structure of holographic systems at a coarse-grained level. Importantly, these coarse-grained states can be used to further reveal nontrivial requirements for the holographic entanglement structure. Specifically, we employ these coarse-grained states to probe the entanglement entropies of disconnected regions and the entanglement wedge cross-section dual to the inherent correlation in a bipartite mixed state. The investigations demonstrate the necessity of perfect tensor state entanglement. Moreover, in a certain sense, our work establishes the equivalence between the holographic entanglement of purification and the holographic balanced partial entropy. We also construct a thread configuration with the Multi-Scale Entanglement Renormalization Ansatz (MERA) structure, reexamining the connection between the MERA structure and kinematic space.


title: Hutchinson Trace Estimation for High-Dimensional and High-Order Physics-Informed Neural Networks

abstract: Physics-Informed Neural Networks (PINNs) have proven effective in solving partial differential equations (PDEs), especially when some data are available by seamlessly blending data and physics. However, extending PINNs to high-dimensional and even high-order PDEs encounters significant challenges due to the computational cost associated with automatic differentiation in the residual loss. Herein, we address the limitations of PINNs in handling high-dimensional and high-order PDEs by introducing Hutchinson Trace Estimation (HTE). Starting with the second-order high-dimensional PDEs ubiquitous in scientific computing, HTE transforms the calculation of the entire Hessian matrix into a Hessian vector product (HVP). This approach alleviates the computational bottleneck via Taylor-mode automatic differentiation and significantly reduces memory consumption from the Hessian matrix to HVP. We further showcase HTE's convergence to the original PINN loss and its unbiased behavior under specific conditions. Comparisons with Stochastic Dimension Gradient Descent (SDGD) highlight the distinct advantages of HTE, particularly in scenarios with significant variance among dimensions. We further extend HTE to higher-order and higher-dimensional PDEs, specifically addressing the biharmonic equation. By employing tensor-vector products (TVP), HTE efficiently computes the colossal tensor associated with the fourth-order high-dimensional biharmonic equation, saving memory and enabling rapid computation. The effectiveness of HTE is illustrated through experimental setups, demonstrating comparable convergence rates with SDGD under memory and speed constraints. Additionally, HTE proves valuable in accelerating the Gradient-Enhanced PINN (gPINN) version as well as the Biharmonic equation. Overall, HTE opens up a new capability in scientific machine learning for tackling high-order and high-dimensional PDEs.

categories: cs.LG cs.AI cs.NA math.DS math.NA stat.ML


title: Instantaneous Frequency Estimation in Multicomponent Signals in Case of Interference Based on the Prony Method

abstract: In this paper, we develop a general method to estimate the instantaneous frequencies of the modes making up a multicomponent signal when the former exhibit interference in the time-frequency plane. In particular, studying the representation given by the spectrogram, we show that it is possible to characterize the interference between the modes using the Prony method, which enables us to build a novel instantaneous frequency estimator for the mode. The relevance of the proposed approach is demonstrated by comparing it with different stateof-the art techniques based on ridge detection.


title: On general approach to Bessenrodt-Ono type inequalities and log-concavity property

abstract: In recent literature concerning integer partitions one can find many results related to both the Bessenrodt-Ono type inequalities and log-concavity property. In this note we offer some general approach to this type of problems. More precisely, we prove that under some mild conditions on an increasing function $F$ of at most exponential growth satisfying the condition $F(\mathbb{N})\subset \mathbb{R}_{+}$, we have $F(a)F(b)>F(a+b)$ for sufficiently large positive integers $a, b$. Moreover, we show that if the sequence $(F(n))_{n\geq n_{0}}$ is log-concave and $\limsup_{n\rightarrow +\infty}F(n+n_{0})/F(n)<F(n_{0})$, then $F$ satisfies the Bessenrodt-Ono type inequality.


title: ViStripformer: A Token-Efficient Transformer for Versatile Video Restoration

abstract: Video restoration is a low-level vision task that seeks to restore clean, sharp videos from quality-degraded frames. One would use the temporal information from adjacent frames to make video restoration successful. Recently, the success of the Transformer has raised awareness in the computer-vision community. However, its self-attention mechanism requires much memory, which is unsuitable for high-resolution vision tasks like video restoration. In this paper, we propose ViStripformer (Video Stripformer), which utilizes spatio-temporal strip attention to catch long-range data correlations, consisting of intra-frame strip attention (Intra-SA) and inter-frame strip attention (Inter-SA) for extracting spatial and temporal information. It decomposes video frames into strip-shaped features in horizontal and vertical directions for Intra-SA and Inter-SA to address degradation patterns with various orientations and magnitudes. Besides, ViStripformer is an effective and efficient transformer architecture with much lower memory usage than the vanilla transformer. Extensive experiments show that the proposed model achieves superior results with fast inference time on video restoration tasks, including video deblurring, demoireing, and deraining.


title: The influence of parasitic modes on "weakly'' unstable multi-step Finite Difference schemes

abstract: Numerical analysis for linear constant-coefficients Finite Difference schemes was developed approximately fifty years ago. It relies on the assumption of scheme stability and in particular -- for the $L^2$ setting -- on the absence of multiple roots of the amplification polynomial on the unit circle. This allows to decouple, while discussing the convergence of the method, the study of the consistency of the scheme from the precise knowledge of its parasitic/spurious modes, so that multi-step methods can be studied essentially as they were one-step schemes. In other words, the global truncation error can be inferred from the local truncation error. Furthermore, stability alleviates the need to delve into the complexities of floating-point arithmetic on computers, which can be challenging topics to address. In this paper, we show that in the case of ``weakly'' unstable schemes with multiple roots on the unit circle, although the schemes may remain stable, the consideration of parasitic modes is essential in studying their consistency and, consequently, their convergence. Otherwise said, the lack of genuine stability prevents bounding the global truncation error using the local truncation error, and one is thus compelled to study the former on its own. This research was prompted by unexpected numerical results on lattice Boltzmann schemes, which can be rewritten in terms of multi-step Finite Difference schemes. Initial expectations suggested that third-order initialization schemes would suffice to maintain the accuracy of a fourth-order multi-step scheme. However, this assumption proved incorrect for ``weakly'' unstable schemes. This borderline scenario underscores the significance of genuine stability in facilitating the construction of Lax-Richtmyer-like theorems and in mastering the impact of round-off errors. Despite the simplicity and apparent lack of practical usage of the linear transport equation at constant velocity considered throughout the paper, we demonstrate that high-order lattice Boltzmann schemes for this equation can be used to tackle non-linear systems of conservation laws relying on a Jin-Xin approximation and high-order splitting formulae.


title: Theory of Hallucinations based on Equivariance

abstract: This study aims to acquire knowledge for creating very large language models that are immune to hallucinations. Hallucinations in contemporary large language models are often attributed to a misunderstanding of real-world social relationships. Therefore, I hypothesize that very large language models capable of thoroughly grasping all these relationships will be free from hallucinations. Additionally, I propose that certain types of equivariant language models are adept at learning and understanding these relationships. Building on this, I have developed a specialized cross-entropy error function to create a hallucination scale for language models, which measures their extent of equivariance acquisition. Utilizing this scale, I tested language models for their ability to acquire character-level equivariance. In particular, I introduce and employ a novel technique based on T5 (Text To Text Transfer Transformer) that efficiently understands permuted input texts without the need for explicit dictionaries to convert token IDs (integers) to texts (strings). This T5 model demonstrated a moderate ability to acquire character-level equivariance. Additionally, I discovered scale laws that can aid in developing hallucination-free language models at the character level. This methodology can be extended to assess equivariance acquisition at the word level, paving the way for very large language models that can comprehensively understand relationships and, consequently, avoid hallucinations.


title: Wave operator for the generalized derivative nonlinear Schr\"{o}dinger equation

abstract: In this work, we prove the existence of wave operator for the following generalized derivative nonlinear Schr\"odinger equation \begin{align*} i\partial_t u+\partial_x^2 u +i |u|^{2\sigma}\partial_x u=0, \end{align*} with $(t,x)\in\mathbb{R}\times\mathbb{R}$, $\sigma\in \mathbb{N}$, and $\sigma\geq 3$. The study of wave operators is an important part of the scattering theory, and it is useful in the construction of the nonlinear profile and the large data scattering. The previous argument for small data scattering in \cite{BaiWuXue-JDE}, which is based on the local smoothing effect and maximal function estimates, breaks down when considering the final data problem. The main reason is that the resolution space does not provide smallness near the infinite time. We overcome this difficulty by invoking the gauge transformation and the normal form method.


title: Concurrent Asynchronous Byzantine Agreement in Expected-Constant Rounds, Revisited

abstract: It is well known that without randomization, Byzantine agreement (BA) requires a linear number of rounds in the synchronous setting, while it is flat out impossible in the asynchronous setting. The primitive which allows to bypass the above limitation is known as oblivious common coin (OCC). It allows parties to agree with constant probability on a random coin, where agreement is oblivious, i.e., players are not aware whether or not agreement has been achieved. The starting point of our work is the observation that no known protocol exists for information-theoretic multi-valued OCC with optimal resiliency in the asynchronous setting (with eventual message delivery). This apparent hole in the literature is particularly problematic, as multi-valued OCC is implicitly or explicitly used in several constructions. In this paper, we present the first information-theoretic multi-valued OCC protocol in the asynchronous setting with optimal resiliency, i.e., tolerating $t < n/3$ corruptions, thereby filling this important gap. Further, our protocol efficiently implements OCC with an exponential-size domain, a property which is not even achieved by known constructions in the simpler, synchronous setting. We then turn to the problem of round-preserving parallel composition of asynchronous BA. A protocol for this task was proposed by Ben-Or and El-Yaniv [Distributed Computing '03]. Their construction, however, is flawed in several ways. Thus, as a second contribution, we provide a simpler, more modular protocol for the above task. Finally, and as a contribution of independent interest, we provide proofs in Canetti's Universal Composability framework; this makes our work the first one offering composability guarantees, which are important as BA is a core building block of secure multi-party computation protocols.


title: Unsupervised Harmonic Parameter Estimation Using Differentiable DSP and Spectral Optimal Transport

abstract: In neural audio signal processing, pitch conditioning has been used to enhance the performance of synthesizers. However, jointly training pitch estimators and synthesizers is a challenge when using standard audio-to-audio reconstruction loss, leading to reliance on external pitch trackers. To address this issue, we propose using a spectral loss function inspired by optimal transportation theory that minimizes the displacement of spectral energy. We validate this approach through an unsupervised autoencoding task that fits a harmonic template to harmonic signals. We jointly estimate the fundamental frequency and amplitudes of harmonics using a lightweight encoder and reconstruct the signals using a differentiable harmonic synthesizer. The proposed approach offers a promising direction for improving unsupervised parameter estimation in neural audio applications.


title: $F$-pure and $F$-injective singularities in equal characteristic zero

abstract: Inspired by Schoutens' results, we introduce a variant of sharp $F$-purity and sharp $F$-injectivity in equal characteristic zero via ultraproducts. As an application, we show that if $R\to S$ is pure and $S$ is of dense $F$-pure type, then $R$ is of dense $F$-pure type.


title: Symmetries of modified Dirac operators in supergravity flux backgrounds

abstract: Modifications of Dirac operators in supergravity flux backgrounds are considered. Modified spin curvature operators and squares of modified Dirac operators corresponding to Schr\"odinger-Lichnerowicz-like formulas are obtained for different types of flux modifications. Symmetry operators of modified massless and massive Dirac equations are found in terms of modified Killing-Yano and modified conformal Killing-Yano forms. Extra constraints for symmetry operators in terms of different types of fluxes and modified Killing-Yano forms are determined.


title: Strategic Bidding Wars in On-chain Auctions

abstract: The Ethereum block-building process has changed significantly since the emergence of Proposer-Builder Separation. Validators access blocks through a marketplace, where block builders bid for the right to construct the block and earn MEV (Maximal Extractable Value) rewards in an on-chain competition, known as the MEV-boost auction. While more than 90% of blocks are currently built via MEV-Boost, trade-offs between builders' strategic behaviors and auction design remain poorly understood. In this paper we address this gap. We introduce a game-theoretic model for MEV-Boost auctions and use simulations to study different builders' bidding strategies observed in practice. We study various strategic interactions and auction setups and evaluate how the interplay between critical elements such as access to MEV opportunities and improved connectivity to relays impact bidding performance. Our results demonstrate the importance of latency on the effectiveness of builders' strategies and the overall auction outcome from the proposer's perspective.


title: 3D Programming of Patterned Heterogeneous Interface for 4D Smart Robotics

abstract: Shape memory structures are playing an important role in many cutting-edge intelligent fields. However, the existing technologies can only realize 4D printing of a single polymer or metal, which limits practical applications. Here, we report a construction strategy for TSMP/M heterointerface, which uses Pd2+-containing shape memory polymer (AP-SMR) to induce electroless plating reaction and relies on molecular dynamics, which has both shape memory properties and metal activity and information processing power. Through multi-material DLP 3D printing technology, the interface can be 3D selectively programmed on functional substrate parts of arbitrary shapes to become 4D electronic smart devices (Robotics). Microscopically, this type of interface appears as a composite structure with a nanometer-micrometer interface height, which is composed of a pure substrate layer (smart materials), an intermediate layer (a composite structure in which metal particles are embedded in a polymer cross-linked network) and a pure metal layer. The structure programmed by TSMP/M heterointerface exhibits both SMA characteristics and metal properties, thus having more intelligent functions (electroactive, electrothermal deformation, electronically controlled denaturation) and higher performance (selectivity of shape memory structures can be realized control, remote control, inline control and low voltage control). This is expected to provide a more flexible manufacturing process as platform technology for designing, manufacturing and applying smart devices with new concepts, and promote the development of cutting-edge industries such as smart robots and smart electronics.


title: Non co-adapted couplings of Brownian motions on subRiemannian manifolds

abstract: In this article we continue the study of couplings of subelliptic Brownian motions on the subRiemannian manifolds SU (2) and SL(2, R). Similar to the case of the Heisenberg group, this subelliptic Brownian motion can be considered as a Brownian motion on the sphere (resp. the hyperbolic plane) together with its swept area modulo 4$\pi$. Using this structure, we construct an explicit non co-adapted successful coupling on SU (2) and, under strong conditions on the starting points, on SL(2, R) too. This strategy uses couplings of Brownian bridges, taking inspiration into the work from Banerjee, Gordina and Mariano [3] on the Heisenberg group. We prove that the coupling rate associated to these constructions is exponentially decreasing in time and proportionally to the subRiemannian distance between the starting points. We also give some gradient inequalities that can be deduced from the estimation of this coupling rate.


title: Induced Cosmological Anisotropies and CMB Anomalies by a non-Abelian Gauge-Gravity Interaction

abstract: We present a non-abelian cousin of the model presented in [1] which induces cosmological anisotropies on top of standard FLRW geometry. This is in some sense doing a cosmological mean field approximation, where the mean field cosmological model under consideration would be the standard FLRW, and the induced anisotropies are small perturbative corrections on top of it. Here we mostly focus on the non-abelian $SU(2)$ gauge fields coupled to the gravity to generate the anisotropies, which can be a viable model for the axion-like particle (ALP) dark sector. The induced anisotropies are consequences of the non-trivial back-reaction of the gauge fields on the gravity sector, and by a clever choice of the parametrization, one can generate the Bianchi model we have studied in this note. We also show that the anisotropies influence the Sachs-Wolfe effect and we discuss the implications.


title: 3-anti-power uniform morphisms

abstract: Words whose three successive factors of the same length are all different i.e. 3-anti-power words are a natural extension of square-free words (two successive factors of the same length are different). We give a way to verify whether a uniform morphism preserves 3-anti-power words (the image of a 3-anti-power word is a 3-anti-power word). A consequence of the existence of such morphisms is the possibility of generating an infinite 3-anti-power word.


title: Does religiosity influence corporate greenwashing behavior?

abstract: We analyze the influence of religious social norms on corporate greenwashing behavior. Specifically, we focus on a specific form of greenwashing: selective disclosure. Using a large sample of US firms between 2005 and 2019, we show that firms located in counties where religious adherence is high are less likely to engage in greenwashing. We also find that a stronger religious adherence within the county in which a company is located reduces the magnitude of greenwashing, when observed. We further analyze the mechanism underlying this relationship and show that religious adherence impacts greenwashing behaviors through the channel of risk aversion. A comprehensive set of robustness tests aimed at addressing potential endogeneity concerns confirms that religion is a relevant driver of corporate greenwashing behavior.


title: Non-classicality of Primordial Gravitational Waves in Three-mode Representation Through Quantum Poincare Sphere

abstract: In this research, we generalize the transformation of the vacuum state that generated gravitational waves in the early universe which is usually transformed using a two-mode into a three-mode Bogoliubov transformation. Based on the calculation of quantum discord this transformation allows the universe to be classical when the squeezed parameter is large if only of the three possible modes, only two are considered. We also studied the quantum characteristics of those gravitational waves by calculating an observable quantity named the quantum Poincare sphere. The result will be the same as the two-mode transformation, where quantum characteristics appear if the squeezed parameter is greater than zero. However, if the initial state is coherent, different results will be obtained, the quantum Poincare sphere will not depend on the squeezed parameter and will be non-classical if $\cos\theta$ or $\sin\theta$ is not zero.


title: Relative Lipschitz saturation of complex algebraic varieties

abstract: This paper is devoted to the study of the relative Lipschitz saturation of complex algebraic varieties. More precisely, we investigate the concept of Lipschitz saturation of a variety in another, and we focus on the case where the dominant morphism between the two varieties is not necessarily finite. In particular, we answer, in the case of algebraic varieties, an open question of Pham and Teissier concerning the finiteness of the Lipschitz saturation of general algebras. Finally, we use the Lipschitz saturation to provide algebraic criteria for two algebraic varieties to be linked by an algebraic morphism, which is a locally biLipschitz homeomorphism on the closed points of the variety.


title: Joint Learning Neuronal Skeleton and Brain Circuit Topology with Permutation Invariant Encoders for Neuron Classification

abstract: Determining the types of neurons within a nervous system plays a significant role in the analysis of brain connectomics and the investigation of neurological diseases. However, the efficiency of utilizing anatomical, physiological, or molecular characteristics of neurons is relatively low and costly. With the advancements in electron microscopy imaging and analysis techniques for brain tissue, we are able to obtain whole-brain connectome consisting neuronal high-resolution morphology and connectivity information. However, few models are built based on such data for automated neuron classification. In this paper, we propose NeuNet, a framework that combines morphological information of neurons obtained from skeleton and topological information between neurons obtained from neural circuit. Specifically, NeuNet consists of three components, namely Skeleton Encoder, Connectome Encoder, and Readout Layer. Skeleton Encoder integrates the local information of neurons in a bottom-up manner, with a one-dimensional convolution in neural skeleton's point data; Connectome Encoder uses a graph neural network to capture the topological information of neural circuit; finally, Readout Layer fuses the above two information and outputs classification results. We reprocess and release two new datasets for neuron classification task from volume electron microscopy(VEM) images of human brain cortex and Drosophila brain. Experiments on these two datasets demonstrated the effectiveness of our model with accuracy of 0.9169 and 0.9363, respectively. Code and data are available at: https://github.com/WHUminghui/NeuNet.


title: Zero distributions of derivatives of polynomial families centering on a set

abstract: Suppose $C \subset \mathbb{C}$ is compact. Let $q_k$ be a sequence of polynomials of degree $n_k \to \infty$, such that the locus of roots of all the polynomials is bounded, and the number of roots of $q_k$ in any closed set $L$ not meeting $C$ is uniformly bounded. Supposing that $(q_k)_k$ has an asymptotic root distribution $\mu$ we provide conditions on $C$ and $\mu$ assuring the sequence of $m$th derivatives $(q_k^{(m)})_k$ also has asymptotic root distribution $\mu$ for any $m\geq 1$. This complements recent results of Totik.


title: Observing dark matter clumps and asteroid-mass primordial black holes in the solar system with gravimeters and GNSS networks

abstract: In this proceedings, we study the possible gravitational impact of primordial black holes (PBHs) or dark matter (DM) clumps on GNSS satellite orbits and gravimeter measurements. It provides a preliminary step to the future exhaustive statistical analysis over 28 years of gravimeter and GNSS data to get constraints over the density of asteroid-mass PBH and DM clumps inside the solar system. Such constraints would be the first to be obtained by direct observation on a terrestrial scale.