title: Ultra-Compact accurate wave functions for He-like iso-electronic sequences and variational calculus. IV. Spin-singlet states $(1s\,ns)$ $n\,{}^1 S$ family of the Helium sequence

abstract: As a continuation of Parts I \cite{Part-1:2020}, II \cite{Part-2:2021}, III \cite{Part-3:2022}, where ultra-compact wave functions were constructed for a few low-lying states of He-like and Li-like sequences, the family of spin-singlet $(1s\,ns)$ type excited states $n\,{}^1 S$ of the He-like sequence is studied with an emphasis on the $n=3,4,5$: $3\,{}^1 S, 4\,{}^1 S, 5\,{}^1 S$ states, for nuclear charges $Z \leq 20$. Particular attention is given to finding of critical charges $Z=Z_B$ at which the ultra-compact wave functions lose their square-integrability. For each ${}^1 S$ state an ultra-compact, seven-parametric trial function is constructed, which describes the domain of applicability of the non-relativistic Quantum Mechanics of Coulomb Charges (QMCC) for the total energies (4-5 significant digits (s.d.)) and reproduces 3 decimal digits (d.d.) of the spin-singlet states $n\,{}^1 S$ of He-like ions (in the static approximation with point-like, infinitely heavy nuclei) for $n=1,2,3,\ldots$ and any $Z \leq 20$\,. All energies are well described by second degree polynomials in $Z$ (the Majorana formula). Critical charges $Z=Z_B^{(n)}$, where the ultra-compact trial function for the $n^1 S, n=1,2,3,\ldots$ states loses its square-integrability, are estimated: for all studied states $Z_B^{(n)}$ increases slowly with $n$; it seems they lie in the interval $Z_B(n^1 S) \sim 0.90 - 0.95$, in particular, with $Z_B^{(1)}=Z_B^{(2)}\,=\,0.904$, $Z_B^{(3)}=Z_B^{(4)}\,=\,0.928$, $Z_B^{(5)}\ =\ 0.939$.

categories: physics.atom-ph math-ph math.MP physics.chem-ph


title: Zero Trust Real-Time Lightweight Access Control Protocol for Mobile Cloud-Based IoT Sensors

abstract: In IoT, smart sensors enable data collection, real-time monitoring, decision-making, and automation, but their proliferation exposes them to cybersecurity threats. Zero Trust Architecture enhances IoT security by challenging conventional trust models and emphasizing continuous trust verification in the overall \$875.0 billion IoT market projected by 2025. This paper presents a new zero-trust real-time lightweight access control protocol for Cloud-centric dynamic IoT sensor networks. This protocol empowers data owners, referred to as sensor coordinators, to define intricate access policies, blending recipient identifiers and data-related attributes for data encryption. Additionally, the protocol incorporates efficient cryptographic primitives, eliminating the need for reliance on a trusted party. Furthermore, it ensures real-time data access while preserving data confidentiality and user privacy through seamless data upload to the cloud and the offloading of computationally intensive tasks from resource-constrained data owners and sensors. The protocol utilizes Merkle Trees for lightweight, ongoing trust measurement of sensors, ensuring efficient trust assessment by sensor coordinators. Simultaneously, the cloud conducts thorough trust evaluations for network entities including users. Comprehensive security analysis and performance evaluation highlight the protocol's effectiveness in tackling the multifaceted security challenges of IoT ecosystems while ensuring scalability and high availability.


title: AlphaZero Gomoku

abstract: In the past few years, AlphaZero's exceptional capability in mastering intricate board games has garnered considerable interest. Initially designed for the game of Go, this revolutionary algorithm merges deep learning techniques with the Monte Carlo tree search (MCTS) to surpass earlier top-tier methods. In our study, we broaden the use of AlphaZero to Gomoku, an age-old tactical board game also referred to as "Five in a Row." Intriguingly, Gomoku has innate challenges due to a bias towards the initial player, who has a theoretical advantage. To add value, we strive for a balanced game-play. Our tests demonstrate AlphaZero's versatility in adapting to games other than Go. MCTS has become a predominant algorithm for decision processes in intricate scenarios, especially board games. MCTS creates a search tree by examining potential future actions and uses random sampling to predict possible results. By leveraging the best of both worlds, the AlphaZero technique fuses deep learning from Reinforcement Learning with the balancing act of MCTS, establishing a fresh standard in game-playing AI. Its triumph is notably evident in board games such as Go, chess, and shogi.


title: Study on Susceptibilities of Superconductors BaPtSb and BaPtAs with Honeycomb Structure

abstract: The low-energy electronic properties of the new superconductors BaPtSb and BaPtAs with an ordered honeycomb network are investigated in the normal phase, where the former compound is a candidate for time-reversal symmetry-breaking superconductors. By means of the first-principles calculation, we show that there exist two-dimensional cylinder-like Fermi surfaces around the kz axis and one outer spherelike Fermi surface around the K and K' points in both compounds, which are mainly composed of Pt 5d and Sb 5p/As 4p electrons. We construct low-energy effective models, which are well described by using three bands consisting of two Pt 5d orbitals and one Sb 5p/As 4p orbital. By evaluating susceptibilities using effective models, we find that dominant contributions to those susceptibilities result from the outer spherelike Fermi surface. Whereas out-of-plane fluctuations are enhanced in both compounds in the higher-temperature region, in-plane fluctuations become dominant in the very low-temperature region in BaPtSb owing to a better nesting condition in the k_z=0 plane from the outer spherelike Fermi surface. These fluctuations yield instabilities to ordered states, such as superconductivity, and might be associated with the occurrence of the superconducting state with time-reversal symmetry breaking in BaPtSb.


title: EMR-MSF: Self-Supervised Recurrent Monocular Scene Flow Exploiting Ego-Motion Rigidity

abstract: Self-supervised monocular scene flow estimation, aiming to understand both 3D structures and 3D motions from two temporally consecutive monocular images, has received increasing attention for its simple and economical sensor setup. However, the accuracy of current methods suffers from the bottleneck of less-efficient network architecture and lack of motion rigidity for regularization. In this paper, we propose a superior model named EMR-MSF by borrowing the advantages of network architecture design under the scope of supervised learning. We further impose explicit and robust geometric constraints with an elaborately constructed ego-motion aggregation module where a rigidity soft mask is proposed to filter out dynamic regions for stable ego-motion estimation using static regions. Moreover, we propose a motion consistency loss along with a mask regularization loss to fully exploit static regions. Several efficient training strategies are integrated including a gradient detachment technique and an enhanced view synthesis process for better performance. Our proposed method outperforms the previous self-supervised works by a large margin and catches up to the performance of supervised methods. On the KITTI scene flow benchmark, our approach improves the SF-all metric of the state-of-the-art self-supervised monocular method by 44% and demonstrates superior performance across sub-tasks including depth and visual odometry, amongst other self-supervised single-task or multi-task methods.


title: Communication-Efficient Design of Learning System for Energy Demand Forecasting of Electrical Vehicles

abstract: Machine learning (ML) applications to time series energy utilization forecasting problems are a challenging assignment due to a variety of factors. Chief among these is the non-homogeneity of the energy utilization datasets and the geographical dispersion of energy consumers. Furthermore, these ML models require vast amounts of training data and communications overhead in order to develop an effective model. In this paper, we propose a communication-efficient time series forecasting model combining the most recent advancements in transformer architectures implemented across a geographically dispersed series of EV charging stations and an efficient variant of federated learning (FL) to enable distributed training. The time series prediction performance and communication overhead cost of our FL are compared against their counterpart models and shown to have parity in performance while consuming significantly lower data rates during training. Additionally, the comparison is made across EV charging as well as other time series datasets to demonstrate the flexibility of our proposed model in generalized time series prediction beyond energy demand. The source code for this work is available at https://github.com/XuJiacong/LoGTST_PSGF


title: On the absolute continuity of radial and linear projections of missing digits measures

abstract: In this paper, we study the absolute continuity of radial projections of missing digits measures. We show that for large enough missing digits measures $\lambda$ on $\mathbb{R}^n,n\geq 2,$ for all $x\in\mathbb{R}^n\setminus \mathrm{supp}(\lambda),$ $\Pi_x(\lambda)$ is absolutely continuous with a density function in $L^2(S^{n-1}).$ Our method applies to linear projections as well. In particular, we show that for $\lambda$ as above, the linearly projected measure $P_\theta(\lambda)$ is absolutely continuous with a continuous density function for almost all directions $\theta\in S^{n-1}.$ This implies a version of Palis' conjecture for missing digits sets.


title: Scalable Hierarchical Instruction Cache for Ultra-Low-Power Processors Clusters

abstract: High Performance and Energy Efficiency are critical requirements for Internet of Things (IoT) end-nodes. Exploiting tightly-coupled clusters of programmable processors (CMPs) has recently emerged as a suitable solution to address this challenge. One of the main bottlenecks limiting the performance and energy efficiency of these systems is the instruction cache architecture due to its criticality in terms of timing (i.e., maximum operating frequency), bandwidth, and power. We propose a hierarchical instruction cache tailored to ultra-low-power tightly-coupled processor clusters where a relatively large cache (L1.5) is shared by L1 private caches through a two-cycle latency interconnect. To address the performance loss caused by the L1 capacity misses, we introduce a next-line prefetcher with cache probe filtering (CPF) from L1 to L1.5. We optimize the core instruction fetch (IF) stage by removing the critical core-to-L1 combinational path. We present a detailed comparison of instruction cache architectures' performance and energy efficiency for parallel ultra-low-power (ULP) clusters. Focusing on the implementation, our two-level instruction cache provides better scalability than existing shared caches, delivering up to 20\% higher operating frequency. On average, the proposed two-level cache improves maximum performance by up to 17\% compared to the state-of-the-art while delivering similar energy efficiency for most relevant applications.


title: Stationary measures and the continuous-state branching process conditioned on extinction

abstract: We consider continuous-state branching processes (CB processes) which become extinct almost surely. First, we tackle the problem of describing the stationary measures on $(0,+\infty)$ for such CB processes. We give a representation of the stationary measure in terms of scale functions of related L\'{e}vy processes. Then we prove that the stationary measure can be obtained from the vague limit of the potential measure, and, in the critical case, can also be obtained from the vague limit of a normalized transition probability. Next, we prove some limit theorems for the CB process conditioned on extinction in a near future and on extinction at a fixed time. We obtain non-degenerate limit distributions which are of the size-biased type of the stationary measure in the critical case and of the Yaglom's distribution in the subcritical case. Finally we explore some further properties of the limit distributions.


title: T-Stochastic Graphs

abstract: Previous statistical approaches to hierarchical clustering for social network analysis all construct an "ultrametric" hierarchy. While the assumption of ultrametricity has been discussed and studied in the phylogenetics literature, it has not yet been acknowledged in the social network literature. We show that "non-ultrametric structure" in the network introduces significant instabilities in the existing top-down recovery algorithms. To address this issue, we introduce an instability diagnostic plot and use it to examine a collection of empirical networks. These networks appear to violate the "ultrametric" assumption. We propose a deceptively simple and yet general class of probabilistic models called $\mathbb{T}$-Stochastic Graphs which impose no topological restrictions on the latent hierarchy. To illustrate this model, we propose six alternative forms of hierarchical network models and then show that all six are equivalent to the $\mathbb{T}$-Stochastic Graph model. These alternative models motivate a novel approach to hierarchical clustering that combines spectral techniques with the well-known Neighbor-Joining algorithm from phylogenetic reconstruction. We prove this spectral approach is statistically consistent.


title: Partial Proof of a Conjecture with Implications for Spectral Majorization

abstract: In this paper we report on new results relating to a conjecture regarding properties of $n\times n$, $n\leq 6$, positive definite matrices. The conjecture has been proven for $n\leq 4$ using computer-assisted sum of squares (SoS) methods for proving polynomial nonnegativity. Based on these proven cases, we report on the recent identification of a new family of matrices with the property that their diagonals majorize their spectrum. We then present new results showing that this family can extended via Kronecker composition to $n>6$ while retaining the special majorization property. We conclude with general considerations on the future of computer-assisted and AI-based proofs.


title: Uniform domains and moduli spaces of generalized Cantor sets

abstract: We consider a generalized Cantor set $E(\omega)$ for an infinite sequence $\omega=(q_n)_{n=1}^{\infty}\in (0, 1)^{\mathbb N}$, and consider the moduli space $M(\omega)$ for $\omega$ which are the set of $\omega'$ for which $E(\omega')$ is conformally equivalent to $E(\omega)$. In this paper, we may give a necessary and sufficient condition for $D(\omega):=\mathbb C\setminus E(\omega)$ to be a uniform domain. As a byproduct, we give a condition for $E(\omega)$ to belong to $M(\omega_0)$, the moduli space of the standard middle one-third Cantor set. We also show that the volume of the moduli space $M(\omega)$ with respect to the standard product measure on $(0, 1)^{\mathbb N}$ vanishes under a certain condition for $\omega$.


title: On solitary wave solutions to dispersive equations with double power nonlinearities

abstract: We study semilinear elliptic equations with the fractional Laplacian in $\mathbb{R}$. The equations with single power nonlinearities have been observed by Weinstein(1987), Frank--Lenzmann(2013) and so on. We focus on the equations with double power nonlinearities and consider the existence of ground states.


title: Progress on two-dimensional ferrovalley materials

abstract: The electron's charge and spin degrees of freedom are at the core of modern electronic devices. With the in-depth investigation of two-dimensional materials, another degree of freedom, valley, has also attracted tremendous research interest. The intrinsic spontaneous valley polarization in two-dimensional magnetic systems, ferrovalley material, provides convenience for detecting and modulating the valley. In this review, we first introduce the development of valleytronics. Then, the valley polarization forms by the p, d, and f-orbit that are discussed. Following, we discuss the investigation progress of modulating the valley polarization of two-dimensional ferrovalley materials by multiple physical fields, such as electric, stacking mode, strain, and interface. Finally, we look forward to the future developments of valleytronics.


title: A linearly convergent method for solving high-order proximal operator

abstract: Recently, various high-order methods have been developed to solve the convex optimization problem. The auxiliary problem of these methods shares the general form that is the same as the high-order proximal operator proposed by Nesterov. In this paper, we present a linearly convergent method to solve the high-order proximal operator based on the classical proximal operator. In addition, some experiments are performed to demonstrate the performance of the proposed method.


title: Gaussian and Bootstrap Approximations for Suprema of Empirical Processes

abstract: In this paper we develop non-asymptotic Gaussian approximation results for the sampling distribution of suprema of empirical processes when the indexing function class $\mathcal{F}_n$ varies with the sample size $n$ and may not be Donsker. Prior approximations of this type required upper bounds on the metric entropy of $\mathcal{F}_n$ and uniform lower bounds on the variance of $f \in \mathcal{F}_n$ which, both, limited their applicability to high-dimensional inference problems. In contrast, the results in this paper hold under simpler conditions on boundedness, continuity, and the strong variance of the approximating Gaussian process. The results are broadly applicable and yield a novel procedure for bootstrapping the distribution of empirical process suprema based on the truncated Karhunen-Lo{\`e}ve decomposition of the approximating Gaussian process. We demonstrate the flexibility of this new bootstrap procedure by applying it to three fundamental problems in high-dimensional statistics: simultaneous inference on parameter vectors, inference on the spectral norm of covariance matrices, and construction of simultaneous confidence bands for functions in reproducing kernel Hilbert spaces.


title: Fermi Constraints on the Ejecta Speed and Prompt Emission Region of the Distant GRB 220101A

abstract: At redshift z = 4.618, GRB 220101A is the most distant gamma-ray burst (GRB) detected by Fermi/LAT to date. It is also a very energetic event, with an equivalent isotropic energy of $3.6\times10^{54}$ erg. We jointly analyzed the Fermi/GBM and LAT observations of GRB 220101A with two independent approaches and found a significant spectral break at sub-100 MeV energies during the prompt emission. The fast variability of the emission suggests that this spectral attenuation is caused by internal opacity to pair creation. Regardless of the nature of the emission processes assumed in the spectral analysis, we infer a moderate value for the jet Lorentz factor, $\Gamma\sim110$, and find that all of the high-energy emission was produced above and near the photosphere, at a distance of $\sim10^{14}$ cm from the central engine. We compare these results with the four other LAT-detected GRBs with similar properties.


title: Quantum Bruhat graphs and tilted Richardson varieties

abstract: Quantum Bruhat graph is a weighted directed graph on a finite Weyl group first defined by Brenti-Fomin-Postnikov. It encodes quantum Monk's rule and can be utilized to study the $3$-point Gromov-Witten invariants of the flag variety. In this paper, we provide an explicit formula for the minimal weights between any pair of permutations on the quantum Bruhat graph, and consequently obtain an Ehresmann-like characterization for the tilted Bruhat order. Moreover, for any ordered pair of permutations $u$ and $v$, we define the tilted Richardson variety $T_{u,v}$, with a stratification that gives a geometric meaning to intervals in the tilted Bruhat order. We provide a few equivalent definitions to this new family of varieties that include Richardson varieties, and establish some fundamental geometric properties including their dimensions and closure relations.


title: ExMobileViT: Lightweight Classifier Extension for Mobile Vision Transformer

abstract: The paper proposes an efficient structure for enhancing the performance of mobile-friendly vision transformer with small computational overhead. The vision transformer (ViT) is very attractive in that it reaches outperforming results in image classification, compared to conventional convolutional neural networks (CNNs). Due to its need of high computational resources, MobileNet-based ViT models such as MobileViT-S have been developed. However, their performance cannot reach the original ViT model. The proposed structure relieves the above weakness by storing the information from early attention stages and reusing it in the final classifier. This paper is motivated by the idea that the data itself from early attention stages can have important meaning for the final classification. In order to reuse the early information in attention stages, the average pooling results of various scaled features from early attention stages are used to expand channels in the fully-connected layer of the final classifier. It is expected that the inductive bias introduced by the averaged features can enhance the final performance. Because the proposed structure only needs the average pooling of features from the attention stages and channel expansions in the final classifier, its computational and storage overheads are very small, keeping the benefits of low-cost MobileNet-based ViT (MobileViT). Compared with the original MobileViTs on the ImageNet dataset, the proposed ExMobileViT has noticeable accuracy enhancements, having only about 5% additional parameters.


title: Review of Semileptonic $B$ Anomalies

abstract: We review the current status and implications of the anomalies (i.e. deviations from the Standard Model predictions) in semi-leptonic $B$ meson decays, both in the charged and in the neutral current. In $b\to s\ell^+\ell^-$ transitions significant tensions between measurements and the Standard Model predictions exist. They are most pronounced in the branching ratios ${\cal B}_{B \to K\mu^+\mu^-}$ and ${\cal B}_{B_s\to\phi\mu^+\mu^-}$ (albeit quite dependent on the form factors used) as well as in angular observables in $B\to K^*\mu^+\mu^-$ (the $P_5^\prime$ anomaly). Because the measurements of ${\cal B}_{B_s\to \mu^+\mu^-}$ and of the ratios $R_K$ and $R_{K^*}$ agree reasonably well with the SM predictions, this points towards (dominantly) lepton flavour universal New Physics coupling vectorially to leptons, i.e. contributions to $C_9^{\rm U}$. In fact, global fits prefer this scenario over the SM hypothesis by $5.8\sigma$. Concerning $b\to c\tau\nu$ transitions, $R(D)$ and $R(D^*)$ suggest constructive New Physics at the level of $10\%$ (w.r.t. the Standard Model amplitude) with a significance above $3\sigma$. We discuss New Physics explanations of both anomalies separately as well as possible combined explanations. In particular, a left-handed vector current solution to $R(D^{(*)})$, either via the $U_1$ leptoquark or the combination of the scalar leptoquarks $S_1$ and $S_3$, leads to an effect in $C_9^{\rm U}$ via an off-shell penguin with the right sign and magnitude and a combined significance (including a tree-level effect resulting in $C_{9\mu}^\mathrm{V}=-C_{10\mu}^\mathrm{V}$ and $R(D^{(*)})$) of $6.3\sigma$. Such a scenario can be tested with $b \to s \tau^+\tau^-$ decays. Finally, we point out an interesting possible correlation of $R(D^{(*)})$ with non-leptonic $B$ anomalies.


title: Enhancing Automated and Early Detection of Alzheimer's Disease Using Out-Of-Distribution Detection

abstract: More than 10.7% of people aged 65 and older are affected by Alzheimer's disease. Early diagnosis and treatment are crucial as most Alzheimer's patients are unaware of having it until the effects become detrimental. AI has been known to use magnetic resonance imaging (MRI) to diagnose Alzheimer's. However, models which produce low rates of false diagnoses are critical to prevent unnecessary treatments. Thus, we trained supervised Random Forest models with segmented brain volumes and Convolutional Neural Network (CNN) outputs to classify different Alzheimer's stages. We then applied out-of-distribution (OOD) detection to the CNN model, enabling it to report OOD if misclassification is likely, thereby reducing false diagnoses. With an accuracy of 98% for detection and 95% for classification, our model based on CNN results outperformed our segmented volume model, which had detection and classification accuracies of 93% and 87%, respectively. Applying OOD detection to the CNN model enabled it to flag brain tumor images as OOD with 96% accuracy and minimal overall accuracy reduction. By using OOD detection to enhance the reliability of MRI classification using CNNs, we lowered the rate of false positives and eliminated a significant disadvantage of using Machine Learning models for healthcare tasks. Source code available upon request.


title: Pointwise decay for radial solutions of the Schr\"odinger equation with a repulsive Coulomb potential

abstract: We study the long-time behavior of solutions to the Schr\"odinger equation with a repulsive Coulomb potential on $\mathbb{R}^3$ for spherically symmetric initial data. Our approach involves computing the distorted Fourier transform of the action of the associated Hamiltonian $H=-\Delta+\frac{q}{|x|}$ on radial data $f$, which allows us to explicitly write the evolution $e^{itH}f$. A comprehensive analysis of the kernel is then used to establish that, for large times, $\|e^{i t H}f\|_{L^{\infty}} \leq C t^{-\frac{3}{2}}\|f\|_{L^1}$. Our analysis of the distorted Fourier transform is expected to have applications to other long-range repulsive problems.


title: Model Review: A PROMISEing Opportunity

abstract: To make models more understandable and correctable, I propose that the PROMISE community pivots to the problem of model review. Over the years, there have been many reports that very simple models can perform exceptionally well. Yet, where are the researchers asking "say, does that mean that we could make software analytics simpler and more comprehensible?" This is an important question, since humans often have difficulty accurately assessing complex models (leading to unreliable and sometimes dangerous results). Prior PROMISE results have shown that data mining can effectively summarizing large models/ data sets into simpler and smaller ones. Therefore, the PROMISE community has the skills and experience needed to redefine, simplify, and improve the relationship between humans and AI.


title: Steering-induced phase transition in measurement-only quantum circuits

abstract: Competing measurements alone can give rise to distinct phases characterized by entanglement entropy$\unicode{x2013}$such as the volume law phase, symmetry-breaking (SB) phase, and symmetry-protected topological (SPT) phase$\unicode{x2013}$that can only be discerned through quantum trajectories, making them challenging to observe experimentally. In another burgeoning area of research, recent studies have demonstrated that steering can give rise to additional phases within quantum circuits. In this work, we show that new phases can appear in measurement-only quantum circuit with steering. Unlike conventional steering methods that rely solely on local information, the steering scheme we introduce requires the circuit's structure as an additional input. These steering induced phases are termed as "informative" phases. They are distinguished by the intrinsic dimension of the bitstrings measured in each circuit run, making them substantially easier to detect in experimental setups. We explicitly show this phase transition by numerical simulation in three circuit models that are previously well-studied: projective transverse field Ising model, lattice gauge-Higgs model and XZZX model. When the informative phase coincides with the SB phase, our steering mechanism effectively serves as a "pre-selection" routine, making the SB phase more experimentally accessible. Additionally, an intermediate phase may manifest, where a discrepancy arises between the quantum information captured by entanglement entropy and the classical information conveyed by bitstrings. Our findings demonstrate that steering not only adds theoretical richness but also offers practical advantages in the study of measurement-only quantum circuits.


title: Photoproduction of $P$-wave doubly charmed baryon at future $e^+e^-$ collider

abstract: The photoproduction of $P$-wave doubly charmed baryon ($\Xi_{cc}$) is investigated in the context of future high-energy and high-luminosity $e^+e^-$ colliders. The direct photoproduction via the sub-process $\gamma+\gamma \rightarrow \Xi_{cc} +\bar{c}+\bar{c}$ and the resolved channel $\gamma+g \rightarrow \Xi_{cc} +\bar{c}+\bar{c}$ are considered. Within the framework of non-relativistic QCD, the calculation encompasses four $P$-wave $(cc)$-diquark configurations: $(cc)_{\bar{\textbf{3}}}[{}^1P_1]$, $(cc)_{\textbf{6}}[{}^3P_0]$, $(cc)_{\textbf{6}}[{}^3P_1]$ and $(cc)_{\textbf{6}}[{}^3P_2]$. The two $S$-wave states, $(cc)_{\bar{\textbf{3}}}[{}^3S_1]$ and $(cc)_{\textbf{6}}[{}^1S_0]$, are also included for comparison. The cross sections, as well as the differential distributions involving transverse momentum, rapidity, and angular variables, have been computed. Numerical results reveal that the resolved photoproduction process plays a significant role and can provide dominant contributions. The photoproduction rate of the $P$-wave $\Xi_{cc}$ is approximately one order of magnitude lower than that of the $S$-wave.


title: Multirole Logic and Multiparty Channels

abstract: We identify multirole logic as a new form of logic in which conjunction/disjunction is interpreted as an ultrafilter on some underlying set of roles and the notion of negation is generalized to endomorphisms on this set. We formulate both multirole logic (MRL) and linear multirole logic (LMRL) as natural generalizations of classical logic (CL) and classical linear logic (CLL), respectively. Among various meta-properties established for MRL and LMRL, we obtain one named multiparty cut-elimination stating that every cut involving one or more sequents (as a generalization of a binary cut involving exactly two sequents) can be eliminated, thus extending the celebrated result of cut-elimination by Gentzen. As a side note, we also give an ultrafilter-based interpretation for intuitionism, formulating MRLJ as a natural generalization of intuitionistic logic (IL). An immediate application of LMRL can be found in a formulation of session types for channels that support multiparty communication in distributed programming. We present a multi-threaded lambda-calculus (MTLC) where threads communicate on linearly typed multiparty channels that are directly rooted in LMRL, establishing for MTLC both type preservation and global progress. The primary contribution of the paper consists of both identifying multirole logic as a new form of logic and establishing a theoretical foundation for it, and the secondary contribution lies in applying multirole logic to the practical domain of distributed programming.


title: An FPGA smart camera implementation of segmentation models for drone wildfire imagery

abstract: Wildfires represent one of the most relevant natural disasters worldwide, due to their impact on various societal and environmental levels. Thus, a significant amount of research has been carried out to investigate and apply computer vision techniques to address this problem. One of the most promising approaches for wildfire fighting is the use of drones equipped with visible and infrared cameras for the detection, monitoring, and fire spread assessment in a remote manner but in close proximity to the affected areas. However, implementing effective computer vision algorithms on board is often prohibitive since deploying full-precision deep learning models running on GPU is not a viable option, due to their high power consumption and the limited payload a drone can handle. Thus, in this work, we posit that smart cameras, based on low-power consumption field-programmable gate arrays (FPGAs), in tandem with binarized neural networks (BNNs), represent a cost-effective alternative for implementing onboard computing on the edge. Herein we present the implementation of a segmentation model applied to the Corsican Fire Database. We optimized an existing U-Net model for such a task and ported the model to an edge device (a Xilinx Ultra96-v2 FPGA). By pruning and quantizing the original model, we reduce the number of parameters by 90%. Furthermore, additional optimizations enabled us to increase the throughput of the original model from 8 frames per second (FPS) to 33.63 FPS without loss in the segmentation performance: our model obtained 0.912 in Matthews correlation coefficient (MCC),0.915 in F1 score and 0.870 in Hafiane quality index (HAF), and comparable qualitative segmentation results when contrasted to the original full-precision model. The final model was integrated into a low-cost FPGA, which was used to implement a neural network accelerator.


title: An ML-assisted OTFS vs. OFDM adaptable modem

abstract: The Orthogonal-Time-Frequency-Space (OTFS) signaling is known to be resilient to doubly-dispersive channels, which impacts high mobility scenarios. On the other hand, the Orthogonal-Frequency-Division-Multiplexing (OFDM) waveforms enjoy the benefits of the reuse of legacy architectures, simplicity of receiver design, and low-complexity detection. Several studies that compare the performance of OFDM and OTFS have indicated mixed outcomes due to the plethora of system parameters at play beyond high-mobility conditions. In this work, we exemplify this observation using simulations and propose a deep neural network (DNN)-based adaptation scheme to switch between using either an OTFS or OFDM signal processing chain at the transmitter and receiver for optimal mean-squared-error (MSE) performance. The DNN classifier is trained to switch between the two schemes by observing the channel condition, received SNR, and modulation format. We compare the performance of the OTFS, OFDM, and the proposed switched-waveform scheme. The simulations indicate superior performance with the proposed scheme with a well-trained DNN, thus improving the MSE performance of the communication significantly.


title: Evaluation Mappings of Spatial Accelerator Based On Data Placement

abstract: The scheduling strategies of workloads are critical to fully exploiting the performance of spatial accelerators, accurate performance models are required to evaluate the mapping of workloads.Recent works proposed various cost-model to describe the dataflow of the spatial accelerator. However, they are less expressive about customized memory hierarchies and thus lead to inaccurate performance models. In this paper, we propose, PolyAcc, a framework for evaluating the mappings of workload on spatial accelerator based on data placement. The Data placement relation describes the temporal-spatial relation of data at different memory levels, which can accurately capture the runtime behavior of hardware units. Based on data placement relations, polyAcc accurately analyzes the data volume for different reuse patterns and estimate metrics, including data reuse, latency, and energy. Overall, polyAcc closely matches the ideal execution time and PE utilization for GEMM and Conv workloads, respectively achieves 0.82%, 18.8% improvements for execution time and energy consumption estimates in validation against Eyeriss architecture compared to the state-of-the-art framework.


title: Joint Oscillation Damping and Inertia Provision Service for Converter-Interfaced Generation

abstract: As renewable generation becomes more prevalent, traditional power systems dominated by synchronous generators are transitioning to systems dominated by converter-interfaced generation. These devices, with their weaker damping capabilities and lower inertia, compromise the system's ability to withstand disturbances, pose a threat to system stability, and lead to oscillations and poor frequency response performance. While some new converter-interfaced generations are capable of providing superior damping and fast frequency control, there is a lack of effective measures to incentivize manufacturers to adopt them. To address this gap, this paper defines the joint oscillation damping and inertia provision services at the system level, seeking to encourage converter-interfaced generation to provide enhanced damping and fast frequency response capabilities. Our approach is anchored in a novel convex parametric formulation that combines oscillation mode and frequency stability constraints. These constraints ensure a sufficient damping ratio for all oscillation modes and maintain transient frequency trajectories within acceptable limits. They are designed to integrate smoothly into various operational and planning optimization frameworks. Using this formulation, we introduce a joint service for oscillation damping and inertia provision based on a cost-minimization problem. This facilitates the optimal allocation of damping and virtual inertia to converters, achieving both small-signal stability and frequency stability. Furthermore, we investigate the economic effects of introducing this service into a new ancillary service market, assessing its impact on system operations and cost-efficiency. Numerical tests highlight the service's efficacy in ensuring both small-signal stability and frequency stability, and offer insights into potential economic benefits.


title: FAU-Net: An Attention U-Net Extension with Feature Pyramid Attention for Prostate Cancer Segmentation

abstract: This contribution presents a deep learning method for the segmentation of prostate zones in MRI images based on U-Net using additive and feature pyramid attention modules, which can improve the workflow of prostate cancer detection and diagnosis. The proposed model is compared to seven different U-Net-based architectures. The automatic segmentation performance of each model of the central zone (CZ), peripheral zone (PZ), transition zone (TZ) and Tumor were evaluated using Dice Score (DSC), and the Intersection over Union (IoU) metrics. The proposed alternative achieved a mean DSC of 84.15% and IoU of 76.9% in the test set, outperforming most of the studied models in this work except from R2U-Net and attention R2U-Net architectures.


title: State-independent geometric quantum gates via nonadiabatic and noncyclic evolution

abstract: Geometric phases are robust to local noises and the nonadiabatic ones can reduce the evolution time, thus nonadiabatic geometric gates have strong robustness and can approach high fidelity. However, the advantage of geometric phase has not being fully explored in previous investigations. Here, we propose a scheme for universal quantum gates with pure nonadiabatic and noncyclic geometric phases from smooth evolution paths. In our scheme, only geometric phase can be accumulated in a fast way, and thus it not only fully utilizes the local noise resistant property of geometric phase but also reduces the difficulty in experimental realization. Numerical results show that the implemented geometric gates have stronger robustness than dynamical gates and the geometric scheme with cyclic path. Furthermore, we propose to construct universal quantum gate on superconducting circuits, with the fidelities of single-qubit gate and nontrivial two-qubit gate can achieve $99.97\%$ and $99.87\%$, respectively. Therefore, these high-fidelity quantum gates are promising for large-scale fault-tolerant quantum computation.


title: SKoPe3D: A Synthetic Dataset for Vehicle Keypoint Perception in 3D from Traffic Monitoring Cameras

abstract: Intelligent transportation systems (ITS) have revolutionized modern road infrastructure, providing essential functionalities such as traffic monitoring, road safety assessment, congestion reduction, and law enforcement. Effective vehicle detection and accurate vehicle pose estimation are crucial for ITS, particularly using monocular cameras installed on the road infrastructure. One fundamental challenge in vision-based vehicle monitoring is keypoint detection, which involves identifying and localizing specific points on vehicles (such as headlights, wheels, taillights, etc.). However, this task is complicated by vehicle model and shape variations, occlusion, weather, and lighting conditions. Furthermore, existing traffic perception datasets for keypoint detection predominantly focus on frontal views from ego vehicle-mounted sensors, limiting their usability in traffic monitoring. To address these issues, we propose SKoPe3D, a unique synthetic vehicle keypoint dataset generated using the CARLA simulator from a roadside perspective. This comprehensive dataset includes generated images with bounding boxes, tracking IDs, and 33 keypoints for each vehicle. Spanning over 25k images across 28 scenes, SKoPe3D contains over 150k vehicle instances and 4.9 million keypoints. To demonstrate its utility, we trained a keypoint R-CNN model on our dataset as a baseline and conducted a thorough evaluation. Our experiments highlight the dataset's applicability and the potential for knowledge transfer between synthetic and real-world data. By leveraging the SKoPe3D dataset, researchers and practitioners can overcome the limitations of existing datasets, enabling advancements in vehicle keypoint detection for ITS.


title: Data-constrained Magnetohydrodynamic Simulation of an Intermediate Solar Filament Eruption

abstract: Solar eruptive activities could occur in weak magnetic field environments and over large spatial scales, especially relevant to eruptions involving intermediate or quiescent solar filaments. To handle the large scales, we implement and apply a flux rope embedding method using regularized Biot-Savart laws in the spherical coordinate system. Combined with a potential field source surface model and a magneto-frictional method, a nonlinear force-free field comprising a flux rope embedded in a potential field is constructed. Using the combined nonlinear force-free field as the initial condition, we then perform a zero-$\beta$ data-constrained magnetohydrodynamic (MHD) simulation for an M8.7 flare at 03:38 UT on 2012 January 23. The MHD model reproduces the eruption process, flare ribbon evolution (represented by the quasi-separatrix layer evolution) and kinematics of the flux rope. This approach could potentially model global-scale eruptions from weak field regions.


title: Improved Photocatalytic Performance via Air-Plasma Modification of Titanium Dioxide: Insights from Experimental and Simulation Investigation

abstract: Commercial titanium dioxide is successfully plasma-treated under ambient conditions for different time periods, leading to reduced crystallite size and the creation of oxygen vacancies. Density functional theory-based calculations reveal the emergence of additional localized states close to the conduction band, primarily associated with under-coordinated titanium atoms in non-stoichiometric titanium-oxide systems. The plasma-treated samples exhibit improved photocatalytic performance in the degradation of methylene blue compared to untreated samples. Moreover, the 4-hour plasma-treated photocatalyst demonstrates commendable stability and reusability. This work highlights the potential of cost-effective plasma treatment as a simple modification technique to significantly enhance the photocatalytic capabilities of titanium dioxide.


title: Can I Trust Your Answer? Visually Grounded Video Question Answering

abstract: We study visually grounded VideoQA in response to the emerging trends of utilizing pretraining techniques for video-language understanding. Specifically, by forcing vision-language models (VLMs) to answer questions and simultaneously provide visual evidence, we seek to ascertain the extent to which the predictions of such techniques are genuinely anchored in relevant video content, versus spurious correlations from language or irrelevant visual context. Towards this, we construct NExT-GQA -- an extension of NExT-QA with 10.5$K$ temporal grounding (or location) labels tied to the original QA pairs. With NExT-GQA, we scrutinize a series of state-of-the-art VLMs. Through post-hoc attention analysis, we find that these models are extremely weak in substantiating the answers despite their strong QA performance. This exposes the limitation of current VLMs in making reliable predictions. As a remedy, we further explore and propose a grounded-QA method via Gaussian mask optimization and cross-modal learning. Experiments with different backbones demonstrate that this grounding mechanism improves both grounding and QA. With these efforts, we aim to push towards trustworthy VLMs in VQA systems. Our dataset and code are available at https://github.com/doc-doc/NExT-GQA.


title: Restoration Guarantee of Image Inpainting via Low Rank Patch Matrix Completion

abstract: In recent years, patch-based image restoration approaches have demonstrated superior performance compared to conventional variational methods. This paper delves into the mathematical foundations underlying patch-based image restoration methods, with a specific focus on establishing restoration guarantees for patch-based image inpainting, leveraging the assumption of self-similarity among patches. To accomplish this, we present a reformulation of the image inpainting problem as structured low-rank matrix completion, accomplished by grouping image patches with potential overlaps. By making certain incoherence assumptions, we establish a restoration guarantee, given that the number of samples exceeds the order of $rlog^2(N)$, where $N\times N$ denotes the size of the image and $r > 0$ represents the sum of ranks for each group of image patches. Through our rigorous mathematical analysis, we provide valuable insights into the theoretical foundations of patch-based image restoration methods, shedding light on their efficacy and offering guidelines for practical implementation.


title: Maximality Principles and Ressurection Axioms under a Laver-generic large cardinal

abstract: Set-theoretic axioms formulated in terms of existence of a Laver-generic large cardinal were introduced in [16] and studied further in [17], [18], [20]. These axioms, let us call them Laver-genericity axioms, claim the existence of a $\mathcal{P}$-Laver generic large cardinal for various classes $\mathcal{P}$-of proper or semi-proper posets, and they still vary depending on the notions of large cardinal involved, and a modification (tightness) of the definition of Laver-genericity. Laver-genericity axioms we consider here are divided into three groups depending on whether they imply that the Laver generic large cardinal $\kappa$ is either $\aleph_2=(2^{\aleph_0})^+$, or it is $\aleph_2 = 2^{\aleph_0}$, or else it is very large and $= 2^{\aleph_0}$ (see the Trichotomy Theorem (Theorem 3.5)). Many set-theoretic axioms and principles considered in the recent development of set theory follow from a Laver-genericity axiom in one of these three groups, and by this, they are placed uniformly in a global context (see Figure 3). In spite of this very strong unifying feature of the Laver genericity axioms, we show that Maximality Principle (MP) without parameters is independent over ZFC with any of the Laver-genericity axioms we consider in our present context (Theorem 4.8, Theorem 5.11). Similar independence is also shown for parameterized versions of Maximality Principles (Theorem 6.1, Theorem 6.5). In contrast to these independence results, we can show that local versions of Maximality Principle as well as versions of Resurrection Axioms including the Unbounded Resurrection Axioms of Tsaprounis follow from the existence of a tightly Laver-generic large cardinal for a strong enough notion of large cardinal (Theorem 6.6, Theorem 7.1, Theorem 7.2).


title: A thin plate approximation for ocean wave interactions with an ice shelf

abstract: A variational principle is proposed to derive the governing equations for the problem of ocean wave interactions with a floating ice shelf, where the ice shelf is modelled by the full linear equations of elasticity and has an Archimedean draught. The variational principle is used to form a thin-plate approximation for the ice shelf, which includes water--ice coupling at the shelf front and extensional waves in the shelf, in contrast to the benchmark thin-plate approximation for ocean wave interactions with an ice shelf. The thin-plate approximation is combined with a single-mode approximation in the water, where the vertical motion is constrained to the eigenfunction that supports propagating waves. The new terms in the approximation are shown to have a major impact on predictions of ice shelf strains for wave periods in the swell regime.


title: Semantic-Constraint Matching Transformer for Weakly Supervised Object Localization

abstract: Weakly supervised object localization (WSOL) strives to learn to localize objects with only image-level supervision. Due to the local receptive fields generated by convolution operations, previous CNN-based methods suffer from partial activation issues, concentrating on the object's discriminative part instead of the entire entity scope. Benefiting from the capability of the self-attention mechanism to acquire long-range feature dependencies, Vision Transformer has been recently applied to alleviate the local activation drawbacks. However, since the transformer lacks the inductive localization bias that are inherent in CNNs, it may cause a divergent activation problem resulting in an uncertain distinction between foreground and background. In this work, we proposed a novel Semantic-Constraint Matching Network (SCMN) via a transformer to converge on the divergent activation. Specifically, we first propose a local patch shuffle strategy to construct the image pairs, disrupting local patches while guaranteeing global consistency. The paired images that contain the common object in spatial are then fed into the Siamese network encoder. We further design a semantic-constraint matching module, which aims to mine the co-object part by matching the coarse class activation maps (CAMs) extracted from the pair images, thus implicitly guiding and calibrating the transformer network to alleviate the divergent activation. Extensive experimental results conducted on two challenging benchmarks, including CUB-200-2011 and ILSVRC datasets show that our method can achieve the new state-of-the-art performance and outperform the previous method by a large margin.


title: Synchro: Block-generation Protocol to Synchronously Process Cross-shard Transactions in State Sharding

abstract: Traditional blockchains cannot achieve the same transaction throughput as Web2, so their use cases are limited. Therefore, state sharding has been proposed to improve transaction throughput by dividing the blockchain network and managing states and transactions in parallel. However, Nightshade in the NEAR Protocol, a type of state sharding, provides a rollback protocol to cancel the generation of blocks containing inconsistent transaction results because processing cross-shard transactions (CSTXs) in a 2-phase commit may cause state inconsistency. We present a new attack that interferes with the generation of new blocks by repeatedly executing CSTXs that certainly causes state inconsistency, causing continuous rollback. We also propose a block-generation protocol called Synchro to incorporate all the state changes of each CSTX into the same block by coordinating the block prior to approving transactions in each shard. Synchro eliminates the occurrence of the state inconsistency caused by the CSTXs and the necessity of the rollback protocol. We use zero-knowledge proof to make Synchro scalable in the global validation phase. Although the actual overhead of the zero-knowledge proof has not yet been evaluated, we show that Synchro could achieve the same transaction throughput as Nightshade theoretically, depending on the future innovations in zero-knowledge proof techniques.


title: Rigidity of free boundary minimal disks in mean convex three-manifolds

abstract: The purpose of this article is study rigidity of free boundary minimal two-disks that locally maximize the modified Hawking mass on a Riemannian three-manifold with positive lower bound on its scalar curvature and mean convex boundary. Assuming the strict stability of {\Sigma}, we prove that a neighborhood of it in M is isometric to one of the half de Sitter-Schwarzschild space.


title: Average treatment effect on the treated, under lack of positivity

abstract: The use of propensity score (PS) methods has become ubiquitous in causal inference. At the heart of these methods is the positivity assumption. Violation of the positivity assumption leads to the presence of extreme PS weights when estimating average causal effects of interest, such as the average treatment effect (ATE) or the average treatment effect on the treated (ATT), which renders invalid related statistical inference. To circumvent this issue, trimming or truncating the extreme estimated PSs have been widely used. However, these methods require that we specify a priori a threshold and sometimes an additional smoothing parameter. While there are a number of methods dealing with the lack of positivity when estimating ATE, surprisingly there is no much effort in the same issue for ATT. In this paper, we first review widely used methods, such as trimming and truncation in ATT. We emphasize the underlying intuition behind these methods to better understand their applications and highlight their main limitations. Then, we argue that the current methods simply target estimands that are scaled ATT (and thus move the goalpost to a different target of interest), where we specify the scale and the target populations. We further propose a PS weight-based alternative for the average causal effect on the treated, called overlap weighted average treatment effect on the treated (OWATT). The appeal of our proposed method lies in its ability to obtain similar or even better results than trimming and truncation while relaxing the constraint to choose a priori a threshold (or even specify a smoothing parameter). The performance of the proposed method is illustrated via a series of Monte Carlo simulations and a data analysis on racial disparities in health care expenditures.


title: In-processing User Constrained Dominant Sets for User-Oriented Fairness in Recommender Systems

abstract: Recommender systems are typically biased toward a small group of users, leading to severe unfairness in recommendation performance, i.e., User-Oriented Fairness (UOF) issue. The existing research on UOF is limited and fails to deal with the root cause of the UOF issue: the learning process between advantaged and disadvantaged users is unfair. To tackle this issue, we propose an In-processing User Constrained Dominant Sets (In-UCDS) framework, which is a general framework that can be applied to any backbone recommendation model to achieve user-oriented fairness. We split In-UCDS into two stages, i.e., the UCDS modeling stage and the in-processing training stage. In the UCDS modeling stage, for each disadvantaged user, we extract a constrained dominant set (a user cluster) containing some advantaged users that are similar to it. In the in-processing training stage, we move the representations of disadvantaged users closer to their corresponding cluster by calculating a fairness loss. By combining the fairness loss with the original backbone model loss, we address the UOF issue and maintain the overall recommendation performance simultaneously. Comprehensive experiments on three real-world datasets demonstrate that In-UCDS outperforms the state-of-the-art methods, leading to a fairer model with better overall recommendation performance.


title: Learning for Interval Prediction of Electricity Demand: A Cluster-based Bootstrapping Approach

abstract: Accurate predictions of electricity demands are necessary for managing operations in a small aggregation load setting like a Microgrid. Due to low aggregation, the electricity demands can be highly stochastic and point estimates would lead to inflated errors. Interval estimation in this scenario, would provide a range of values within which the future values might lie and helps quantify the errors around the point estimates. This paper introduces a residual bootstrap algorithm to generate interval estimates of day-ahead electricity demand. A machine learning algorithm is used to obtain the point estimates of electricity demand and respective residuals on the training set. The obtained residuals are stored in memory and the memory is further partitioned. Days with similar demand patterns are grouped in clusters using an unsupervised learning algorithm and these clusters are used to partition the memory. The point estimates for test day are used to find the closest cluster of similar days and the residuals are bootstrapped from the chosen cluster. This algorithm is evaluated on the real electricity demand data from EULR(End Use Load Research) and is compared to other bootstrapping methods for varying confidence intervals.


title: Three-body strong decays of the $Y(4230)$ via the light-cone QCD sum rules

abstract: We tentatively assign the $Y(4230)$ as the vector tetraquark state with a relative P-wave between the scalar diquark pair, and explore the three-body strong decays $Y(4230) \to \bar{D}^{*-}D^{*0}\pi^+$, $\bar{D}^{*-}D^0\pi^+$, $J/\psi\pi^+\pi^- $ and $ J/\psi K^+K^-$ with the light-cone QCD sum rules by assuming contact four-meson coupling constants. The resulting partial decay widths are too small to account for the experimental data, and we expect those decays take place through an intermediate meson. We can search for the intermediate states and precisely measure the branching fractions to diagnose the nature of the $Y$ states.


title: Electric and dilatonic fields of a charged massive particle at rest in the field of a charged dilaton black hole

abstract: We study linear-perturbation equations for the two-body system of a charged dilaton black hole, of which dilaton coupling constant is $\alpha$, and a static particle with mass $m$, electric charge $q$, and dilatonic charge $\beta m$. We find that a consistent condition for the coupled equations corresponds to the equilibrium condition of the test particle. The expressions of classical fields are given in closed analytical formulas in the most interesting case with $\beta=\alpha$. We examine the electrical field around a charged dilaton black hole especially in the limit of the maximum electric charge and we find the electric Meissner effect which has been found for the Reissner-Nordstr\"om black hole in the Einstein-Maxwell system.


title: UniSA: Unified Generative Framework for Sentiment Analysis

abstract: Sentiment analysis is a crucial task that aims to understand people's emotional states and predict emotional categories based on multimodal information. It consists of several subtasks, such as emotion recognition in conversation (ERC), aspect-based sentiment analysis (ABSA), and multimodal sentiment analysis (MSA). However, unifying all subtasks in sentiment analysis presents numerous challenges, including modality alignment, unified input/output forms, and dataset bias. To address these challenges, we propose a Task-Specific Prompt method to jointly model subtasks and introduce a multimodal generative framework called UniSA. Additionally, we organize the benchmark datasets of main subtasks into a new Sentiment Analysis Evaluation benchmark, SAEval. We design novel pre-training tasks and training methods to enable the model to learn generic sentiment knowledge among subtasks to improve the model's multimodal sentiment perception ability. Our experimental results show that UniSA performs comparably to the state-of-the-art on all subtasks and generalizes well to various subtasks in sentiment analysis.


title: MDSC: Towards Evaluating the Style Consistency Between Music and Dance

abstract: We propose MDSC(Music-Dance-Style Consistency), the first evaluation metric that assesses to what degree the dance moves and music match. Existing metrics can only evaluate the motion fidelity and diversity and the degree of rhythmic matching between music and dance. MDSC measures how stylistically correlated the generated dance motion sequences and the conditioning music sequences are. We found that directly measuring the embedding distance between motion and music is not an optimal solution. We instead tackle this through modeling it as a clustering problem. Specifically, 1) we pre-train a music encoder and a motion encoder, then 2) we learn to map and align the motion and music embedding in joint space by jointly minimizing the intra-cluster distance and maximizing the inter-cluster distance, and 3) for evaluation purposes, we encode the dance moves into embedding and measure the intra-cluster and inter-cluster distances, as well as the ratio between them. We evaluate our metric on the results of several music-conditioned motion generation methods, combined with user study, we found that our proposed metric is a robust evaluation metric in measuring the music-dance style correlation.


title: Decentralized Control for Discrete-time Mean-Field Systems with Multiple Controllers of Delayed Information

abstract: In this paper, the finite horizon asymmetric information linear quadratic (LQ) control problem is investigated for a discrete-time mean field system. Different from previous works, multiple controllers with different information sets are involved in the mean field system dynamics. The coupling of different controllers makes it quite difficult in finding the optimal control strategy. Fortunately, by applying the Pontryagin's maximum principle, the corresponding decentralized control problem of the finite horizon is investigated. The contributions of this paper can be concluded as: For the first time, based on the solution of a group of mean-field forward and backward stochastic difference equations (MF-FBSDEs), the necessary and sufficient solvability conditions are derived for the asymmetric information LQ control for the mean field system with multiple controllers. Furthermore, by the use of an innovative orthogonal decomposition approach, the optimal decentralized control strategy is derived, which is based on the solution to a non-symmetric Riccati-type equation.


title: Adaptive Parametric Prototype Learning for Cross-Domain Few-Shot Classification

abstract: Cross-domain few-shot classification induces a much more challenging problem than its in-domain counterpart due to the existence of domain shifts between the training and test tasks. In this paper, we develop a novel Adaptive Parametric Prototype Learning (APPL) method under the meta-learning convention for cross-domain few-shot classification. Different from existing prototypical few-shot methods that use the averages of support instances to calculate the class prototypes, we propose to learn class prototypes from the concatenated features of the support set in a parametric fashion and meta-learn the model by enforcing prototype-based regularization on the query set. In addition, we fine-tune the model in the target domain in a transductive manner using a weighted-moving-average self-training approach on the query instances. We conduct experiments on multiple cross-domain few-shot benchmark datasets. The empirical results demonstrate that APPL yields superior performance than many state-of-the-art cross-domain few-shot learning methods.


title: Distributional Domain-Invariant Preference Matching for Cross-Domain Recommendation

abstract: Learning accurate cross-domain preference mappings in the absence of overlapped users/items has presented a persistent challenge in Non-overlapping Cross-domain Recommendation (NOCDR). Despite the efforts made in previous studies to address NOCDR, several limitations still exist. Specifically, 1) while some approaches substitute overlapping users/items with overlapping behaviors, they cannot handle NOCDR scenarios where such auxiliary information is unavailable; 2) often, cross-domain preference mapping is modeled by learning deterministic explicit representation matchings between sampled users in two domains. However, this can be biased due to individual preferences and thus fails to incorporate preference continuity and universality of the general population. In light of this, we assume that despite the scattered nature of user behaviors, there exists a consistent latent preference distribution shared among common people. Modeling such distributions further allows us to capture the continuity in user behaviors within each domain and discover preference invariance across domains. To this end, we propose a Distributional domain-invariant Preference Matching method for non-overlapping Cross-Domain Recommendation (DPMCDR). For each domain, we hierarchically approximate a posterior of domain-level preference distribution with empirical evidence derived from user-item interactions. Next, we aim to build distributional implicit matchings between the domain-level preferences of two domains. This process involves mapping them to a shared latent space and seeking a consensus on domain-invariant preference by minimizing the distance between their distributional representations therein. In this way, we can identify the alignment of two non-overlapping domains if they exhibit similar patterns of domain-invariant preference.


title: From orthogonal link to phase vortex in generalized dynamical Hopf insulators

abstract: In the creation of Hopf topological matters, the old paradigm is to conceive the Hopf invariant first, and then display its intuitive topology through links. Here we brush aside this effort and put forward a new recipe for unraveling the quenched two-dimensional (2D) two-band Chern insulators under a parallel quench protocol, which implies that the quench quantities with different momentum k are parallel or antiparallel to each other. We find that whether the dynamical Hopf invariant exists or not, the links in (2+1)D space always keep their standard shape even for topological initial states, and trace out the trajectories of phase vortices. The linking number is exactly equal to the difference between pre- and post-quench Chern numbers regardless of the construction of homotopy groups. We employ two concrete examples to illustrate these results, highlighting the polarity reversal at fixed points.


title: Fault Point Detection for Recovery Planning of Resilient Grid

abstract: Large-scale meteorological disasters are increasing around the world, and power outage damage by natural disaster such as typhoons and earthquakes is increasing in Japan as well. Corresponding to the need of reduction of economic losses due to power outages, we are promoting research of resilient grids that minimizes power outage duration. In this report, we propose PACEM (Poles-Aware moving Cost Estimation Method) for determining travel costs between failure points based on the tilt angle and direction of electric poles obtained from pole-mounted sensors and road condition data. Evaluation result shows that the total recovery time can be reduced by 28% in the target area.


title: White paper on LiDAR performance against selected Automotive Paints

abstract: LiDAR (Light Detection and Ranging) is a useful sensing technique and an important source of data for autonomous vehicles (AVs). In this publication we present the results of a study undertaken to understand the impact of automotive paint on LiDAR performance along with a methodology used to conduct this study. Our approach consists of evaluating the average reflected intensity output by different LiDAR sensor models when tested with different types of automotive paints. The paints were chosen to represent common paints found on vehicles in Singapore. The experiments were conducted with LiDAR sensors commonly used by autonomous vehicle (AV) developers and OEMs. The paints used were also selected based on those observed in real-world conditions. This stems from a desire to model real-world performance of actual sensing systems when exposed to the physical world. The goal is then to inform regulators of AVs in Singapore of the impact of automotive paint on LiDAR performance, so that they can determine testing standards and specifications which will better reflect real-world performance and also better assess the adequacy of LiDAR systems installed for local AV operations. The tests were conducted for a combination of 13 different paint panels and 3 LiDAR sensors. In general, it was observed that darker coloured paints have lower reflection intensity whereas lighter coloured paints exhibited higher intensity values.


title: Piezoelectric Electrostatic Superlattices in Monolayer MoS$_2$

abstract: Modulation of electronic properties of materials by electric fields is central to the operation of modern semiconductor devices, providing access to complex electronic behaviors and greater freedom in tuning the energy bands of materials. Here, we explore one-dimensional superlattices induced by a confining electrostatic potential in monolayer MoS$_2$, a prototypical two-dimensional semiconductor. Using first-principles calculations, we show that periodic potentials applied to monolayer MoS$_2$ induce electrostatic superlattices in which the response is dominated by structural distortions relative to purely electronic effects. These structural distortions reduce the intrinsic band gap of the monolayer substantially while also polarizing the monolayer through piezoelectric coupling, resulting in spatial separation of charge carriers as well as Stark shifts that produce dispersive minibands. Importantly, these minibands inherit the valley-selective magnetic properties of monolayer MoS$_2$, enabling fine control over spin-valley coupling in MoS$_2$ and similar transition-metal dichalcogenides.


title: $\Lambda\Lambda$ Interaction in a Nuclear Density Functional Theory and Hyperon Puzzle of the Neutron Star

abstract: A Skyrme-type effective potential is determined to describe the interaction between $\Lambda$ hyperons in nuclear medium. Experimental data of the binding energies of the double-$\Lambda$ ($\Lambda\Lambda$) nuclei with mass numbers $A=10$--$13$ are used to fit the parameters of the $\Lambda\Lambda$ interaction. As a result of the fitting, we obtain eight different sets of the $\Lambda\Lambda$ interaction parameters, which reproduces the input data within 5\% deviation from the experimental data on average. The eight $\Lambda\Lambda$ interactions are plugged in the calculation of the heavier $\Lambda\Lambda$ nuclei and the neutron star equation of state to explore the issue of hyperon puzzle. We found that the $\Lambda\Lambda$ interaction, specifically, p-wave interaction makes the equation of state stiff enough that the maximum mass of the neutron star can be as large as, or above $2\;M_\odot$.


title: Homomorphisms of the lattice of slowly oscillating functions on the half-line

abstract: We study the space $H(\SO)$ of all homomorphisms of the vector lattice of all slowly oscillating functions on the half-line $\HH=[0,\infty)$. In contrast to the case of homomorphisms of uniformly continuous functions, it is shown that a homomorphism in $H(\SO)$ which maps the unit to zero must be zero-homomorphism. Consequently, we show that the space $H(\SO)$ without zero-homomorphism is homeomorphic to $\HH\times (0, \infty)$. By describing a neighborhood base of zero-homomorphism, we show that $H(\SO)$ is homeomorphic to the space $\HH\times (0, \infty)$ with one point added.


title: MalwareDNA: Simultaneous Classification of Malware, Malware Families, and Novel Malware

abstract: Malware is one of the most dangerous and costly cyber threats to national security and a crucial factor in modern cyber-space. However, the adoption of machine learning (ML) based solutions against malware threats has been relatively slow. Shortcomings in the existing ML approaches are likely contributing to this problem. The majority of current ML approaches ignore real-world challenges such as the detection of novel malware. In addition, proposed ML approaches are often designed either for malware/benign-ware classification or malware family classification. Here we introduce and showcase preliminary capabilities of a new method that can perform precise identification of novel malware families, while also unifying the capability for malware/benign-ware classification and malware family classification into a single framework.


title: Adv3D: Generating 3D Adversarial Examples in Driving Scenarios with NeRF

abstract: Deep neural networks (DNNs) have been proven extremely susceptible to adversarial examples, which raises special safety-critical concerns for DNN-based autonomous driving stacks (i.e., 3D object detection). Although there are extensive works on image-level attacks, most are restricted to 2D pixel spaces, and such attacks are not always physically realistic in our 3D world. Here we present Adv3D, the first exploration of modeling adversarial examples as Neural Radiance Fields (NeRFs). Advances in NeRF provide photorealistic appearances and 3D accurate generation, yielding a more realistic and realizable adversarial example. We train our adversarial NeRF by minimizing the surrounding objects' confidence predicted by 3D detectors on the training set. Then we evaluate Adv3D on the unseen validation set and show that it can cause a large performance reduction when rendering NeRF in any sampled pose. To generate physically realizable adversarial examples, we propose primitive-aware sampling and semantic-guided regularization that enable 3D patch attacks with camouflage adversarial texture. Experimental results demonstrate that the trained adversarial NeRF generalizes well to different poses, scenes, and 3D detectors. Finally, we provide a defense method to our attacks that involves adversarial training through data augmentation. Project page: https://len-li.github.io/adv3d-web


title: Self-driven Grounding: Large Language Model Agents with Automatical Language-aligned Skill Learning

abstract: Large language models (LLMs) show their powerful automatic reasoning and planning capability with a wealth of semantic knowledge about the human world. However, the grounding problem still hinders the applications of LLMs in the real-world environment. Existing studies try to fine-tune the LLM or utilize pre-defined behavior APIs to bridge the LLMs and the environment, which not only costs huge human efforts to customize for every single task but also weakens the generality strengths of LLMs. To autonomously ground the LLM onto the environment, we proposed the Self-Driven Grounding (SDG) framework to automatically and progressively ground the LLM with self-driven skill learning. SDG first employs the LLM to propose the hypothesis of sub-goals to achieve tasks and then verify the feasibility of the hypothesis via interacting with the underlying environment. Once verified, SDG can then learn generalized skills with the guidance of these successfully grounded subgoals. These skills can be further utilized to accomplish more complex tasks which fail to pass the verification phase. Verified in the famous instruction following task set-BabyAI, SDG achieves comparable performance in the most challenging tasks compared with imitation learning methods that cost millions of demonstrations, proving the effectiveness of learned skills and showing the feasibility and efficiency of our framework.


title: Real-time pedestrian recognition on low computational resources

abstract: Pedestrian recognition has successfully been applied to security, autonomous cars, Aerial photographs. For most applications, pedestrian recognition on small mobile devices is important. However, the limitations of the computing hardware make this a challenging task. In this work, we investigate real-time pedestrian recognition on small physical-size computers with low computational resources for faster speed. This paper presents three methods that work on the small physical size CPUs system. First, we improved the Local Binary Pattern (LBP) features and Adaboost classifier. Second, we optimized the Histogram of Oriented Gradients (HOG) and Support Vector Machine. Third, We implemented fast Convolutional Neural Networks (CNNs). The results demonstrate that the three methods achieved real-time pedestrian recognition at an accuracy of more than 95% and a speed of more than 5 fps on a small physical size computational platform with a 1.8 GHz Intel i5 CPU. Our methods can be easily applied to small mobile devices with high compatibility and generality.


title: Nodal solutions for the double phase problems

abstract: We consider a parametric nonautonomous $(p, q)$-equation with unbalanced growth as follows \begin{align*} \left\{ \begin{aligned} &-\Delta_p^\alpha u(z)-\Delta_q u(z)=\lambda \vert u(z)\vert^{\tau-2}u(z)+f(z, u(z)), \quad \quad \hbox{in }\Omega,\\ &u|_{\partial \Omega}=0, \end{aligned} \right. \end{align*} where $\Omega \subseteq \mathbb{R}^N$ be a bounded domain with Lispchitz boundary $\partial\Omega$, $\alpha \in L^{\infty}(\Omega)\backslash \{0\}$, $a(z)\geq 0$ for a.e. $z \in \Omega$, $ 1<\tau< q<p<N$ and $\lambda>0$. In the reaction there is a parametric concave term and a perturbation $f(z, x)$. Under the minimal conditions on $f(z, 0)$, which essentially restrict its growth near zero, by employing variational tools, truncation and comparison techniques, as well as critical groups, we prove that for all small values of the parameter $\lambda>0$, the problem has at least three nontrivial bounded solutions (positive, negative, nodal), which are ordered and asymptotically vanish as $\lambda \rightarrow 0^{+}$.


title: Hard superconducting gap in PbTe nanowires

abstract: Semiconductor nanowires coupled to a superconductor provide a powerful testbed for quantum device physics such as Majorana zero modes and gate-tunable hybrid qubits. The performance of these quantum devices heavily relies on the quality of the induced superconducting gap. A hard gap, evident as vanishing subgap conductance in tunneling spectroscopy, is both necessary and desired. Previously, a hard gap has been achieved and extensively studied in III-V semiconductor nanowires (InAs and InSb). In this study, we present the observation of a hard superconducting gap in PbTe nanowires coupled to a superconductor Pb. The gap size ($\Delta$) is $\sim$ 1 meV (maximally 1.3 meV in one device). Additionally, subgap Andreev bound states can also be created and controlled through gate tuning. Tuning a device into the open regime can reveal Andreev enhancement of the subgap conductance, suggesting a remarkable transparent superconductor-semiconductor interface, with a transparency of $\sim$ 0.96. These results pave the way for diverse superconducting quantum devices based on PbTe nanowires.


title: AZB Rectangle Shrinkage Method and Heterogeneous Computing Accelerated Full Image Theory Method Ray Tracing Enabling Complex and Massive Outdoor 6G Propagation Modeling

abstract: Until now, despite their high accuracy, the utilization of the conventional image theory method ray tracers was limited to simple simulation environments with small number of field observation points and low maximum ray bouncing order due to their poor computational efficiency. This study presents a novel full-3D AZB rectangle shrinkage method and heterogeneous computing accelerated image theory method ray tracing framework for complex and massive outdoor propagation modeling. The proposed framework is divided into three parts: 1. Visibility preprocessing part. 2. Visibility tree generation part: in this part, a novel AZB rectangle shrinkage method that accelerates and reduces generation speed and size of visibility tree is proposed. 3. Shadow testing and field calculation part: in this part, a heterogeneous computing algorithm that can make possible to handle a large amount of field observation points is proposed. It is demonstrated that the proposed framework is faster more than 651 times than the image theory method solver of WinProp. Also, it is confirmed that the proposed ray tracing framework can handle 1km x 1km wide and dense urban outdoor simulation with up to the maximum ray bouncing order of 6 and thousands of field observation points. The proposed ray tracing framework would be a cornerstone of future image theory method ray tracing techniques for complex and massive scenarios that was exclusive to the shooting and bouncing rays method ray tracers.


title: Adapting Classifiers To Changing Class Priors During Deployment

abstract: Conventional classifiers are trained and evaluated using balanced data sets in which all classes are equally present. Classifiers are now trained on large data sets such as ImageNet, and are now able to classify hundreds (if not thousands) of different classes. On one hand, it is desirable to train such general-purpose classifier on a very large number of classes so that it performs well regardless of the settings in which it is deployed. On the other hand, it is unlikely that all classes known to the classifier will occur in every deployment scenario, or that they will occur with the same prior probability. In reality, only a relatively small subset of the known classes may be present in a particular setting or environment. For example, a classifier will encounter mostly animals if its deployed in a zoo or for monitoring wildlife, aircraft and service vehicles at an airport, or various types of automobiles and commercial vehicles if it is used for monitoring traffic. Furthermore, the exact class priors are generally unknown and can vary over time. In this paper, we explore different methods for estimating the class priors based on the output of the classifier itself. We then show that incorporating the estimated class priors in the overall decision scheme enables the classifier to increase its run-time accuracy in the context of its deployment scenario.


title: Inertia and spectral symmetry of the eccentricity matrices of a class of bi-block graphs

abstract: The eccentricity matrix of a simple connected graph G is obtained from the distance matrix of G by retaining the largest non-zero distance in each row and column, and the remaining entries are defined to be zero. A bi-block graph is a simple connected graph whose blocks are all complete bipartite graphs with possibly different orders. In this paper, we study the eccentricity matrices of a subclass B (which includes trees) of bi-block graphs. We first find the inertia of the eccentricity matrices of graphs in B, and thereby we characterize graphs in B with odd diameters. Precisely, if G in B with diameter of G greater than three, then we show that the eigenvalues of the eccentricity matrix of G are symmetric with respect to the origin if and only if the diameter of G is odd. Further, we prove that the eccentricity matrices of graphs in B are irreducible.


title: Characterizations of weighted Besov and Triebel-Lizorkin spaces with variable smoothness

abstract: In this paper, we study different types of weighted Besov and Triebel-Lizorkin spaces with variable smoothness. The function spaces can be defined by means of the Littlewood-Paley theory in the field of Fourier analysis, while there are other norms arising in the theory of partial differential equations such as Sobolev-Slobodeckij spaces. It is known that two norms are equivalent when one considers constant regularity function spaces without weights. We show that the equivalence still holds for variable smoothness and weights, which is accomplished by making use of shifted maximal functions, Peetre's maximal functions, and the reverse H\"older inequality. Moreover, we obtain a weighted regularity estimate for time-fractional evolution equations and a generalized Sobolev embedding theorem without weights.


title: Random Projections of Sparse Adjacency Matrices

abstract: We analyze a random projection method for adjacency matrices, studying its utility in representing sparse graphs. We show that these random projections retain the functionality of their underlying adjacency matrices while having extra properties that make them attractive as dynamic graph representations. In particular, they can represent graphs of different sizes and vertex sets in the same space, allowing for the aggregation and manipulation of graphs in a unified manner. We also provide results on how the size of the projections need to scale in order to preserve accurate graph operations, showing that the size of the projections can scale linearly with the number of vertices while accurately retaining first-order graph information. We conclude by characterizing our random projection as a distance-preserving map of adjacency matrices analogous to the usual Johnson-Lindenstrauss map.


title: High Frequency, High Accuracy Pointing onboard Nanosats using Neuromorphic Event Sensing and Piezoelectric Actuation

abstract: As satellites become smaller, the ability to maintain stable pointing decreases as external forces acting on the satellite come into play. At the same time, reaction wheels used in the attitude determination and control system (ADCS) introduce high frequency jitter which can disrupt pointing stability. For space domain awareness (SDA) tasks that track objects tens of thousands of kilometres away, the pointing accuracy offered by current nanosats, typically in the range of 10 to 100 arcseconds, is not sufficient. In this work, we develop a novel payload that utilises a neuromorphic event sensor (for high frequency and highly accurate relative attitude estimation) paired in a closed loop with a piezoelectric stage (for active attitude corrections) to provide highly stable sensor-specific pointing. Event sensors are especially suited for space applications due to their desirable characteristics of low power consumption, asynchronous operation, and high dynamic range. We use the event sensor to first estimate a reference background star field from which instantaneous relative attitude is estimated at high frequency. The piezoelectric stage works in a closed control loop with the event sensor to perform attitude corrections based on the discrepancy between the current and desired attitude. Results in a controlled setting show that we can achieve a pointing accuracy in the range of 1-5 arcseconds using our novel payload at an operating frequency of up to 50Hz using a prototype built from commercial-off-the-shelf components. Further details can be found at https://ylatif.github.io/ultrafinestabilisation


title: Challenges of the inconsistency regime: Novel debiasing methods for missing data models

abstract: We study semi-parametric estimation of the population mean when data is observed missing at random (MAR) in the $n < p$ "inconsistency regime", in which neither the outcome model nor the propensity/missingness model can be estimated consistently. Consider a high-dimensional linear-GLM specification in which the number of confounders is proportional to the sample size. In the case $n > p$, past work has developed theory for the classical AIPW estimator in this model and established its variance inflation and asymptotic normality when the outcome model is fit by ordinary least squares. Ordinary least squares is no longer feasible in the case $n < p$ studied here, and we also demonstrate that a number of classical debiasing procedures become inconsistent. This challenge motivates our development and analysis of a novel procedure: we establish that it is consistent for the population mean under proportional asymptotics allowing for $n < p$, and also provide confidence intervals for the linear model coefficients. Providing such guarantees in the inconsistency regime requires a new debiasing approach that combines penalized M-estimates of both the outcome and propensity/missingness models in a non-standard way.


title: Mutual Information Maximizing Quantum Generative Adversarial Network and Its Applications in Finance

abstract: One of the most promising applications in the era of NISQ (Noisy Intermediate-Scale Quantum) computing is quantum machine learning. Quantum machine learning offers significant quantum advantages over classical machine learning across various domains. Specifically, generative adversarial networks have been recognized for their potential utility in diverse fields such as image generation, finance, and probability distribution modeling. However, these networks necessitate solutions for inherent challenges like mode collapse. In this study, we capitalize on the concept that the estimation of mutual information between high-dimensional continuous random variables can be achieved through gradient descent using neural networks. We introduce a novel approach named InfoQGAN, which employs the Mutual Information Neural Estimator (MINE) within the framework of quantum generative adversarial networks to tackle the mode collapse issue. Furthermore, we elaborate on how this approach can be applied to a financial scenario, specifically addressing the problem of generating portfolio return distributions through dynamic asset allocation. This illustrates the potential practical applicability of InfoQGAN in real-world contexts.


title: A phase diagram of the pinch-off behavior of impulsively-induced viscoelastic liquid jets

abstract: In this study, we systematically investigate the behaviors of viscoelastic liquid jets using an impulsive force, particularly in the high velocity and high elasticity regimes. The resulting jets are categorized into two types: (i) pinch-off jets, which break up during elongation after ejection, and (ii) no-pinch-off jets, which either retract to the nozzle after maximum elongation, known as `bungee-jumper jets' or return without elongation after ejection. We then propose criteria to delineate these regions using Reynolds number $Re$ and Weissenberg number $Wi$, reflecting the initial conditions at the jet ejection and the solution's rheological properties, respectively. We find that pinch-off jets occur at $Re \gtrsim 23.4Wi$ in high elasticity regimes ($Wi \gtrsim 10$), and at $Re \gtrsim 250$ in low elasticity regimes ($Wi \lesssim 10$). In addition, we demonstrate that the phase diagram of these behaviors can be rationalized through the focused jet modeling using the finitely extensible non-linear elastic dumbbell model with the Chilcott-Rallison closure approximation (FENE-CR).


title: Refined Temporal Pyramidal Compression-and-Amplification Transformer for 3D Human Pose Estimation

abstract: Accurately estimating the 3D pose of humans in video sequences requires both accuracy and a well-structured architecture. With the success of transformers, we introduce the Refined Temporal Pyramidal Compression-and-Amplification (RTPCA) transformer. Exploiting the temporal dimension, RTPCA extends intra-block temporal modeling via its Temporal Pyramidal Compression-and-Amplification (TPCA) structure and refines inter-block feature interaction with a Cross-Layer Refinement (XLR) module. In particular, TPCA block exploits a temporal pyramid paradigm, reinforcing key and value representation capabilities and seamlessly extracting spatial semantics from motion sequences. We stitch these TPCA blocks with XLR that promotes rich semantic representation through continuous interaction of queries, keys, and values. This strategy embodies early-stage information with current flows, addressing typical deficits in detail and stability seen in other transformer-based methods. We demonstrate the effectiveness of RTPCA by achieving state-of-the-art results on Human3.6M, HumanEva-I, and MPI-INF-3DHP benchmarks with minimal computational overhead. The source code is available at https://github.com/hbing-l/RTPCA.


title: Target-Guided Composed Image Retrieval

abstract: Composed image retrieval (CIR) is a new and flexible image retrieval paradigm, which can retrieve the target image for a multimodal query, including a reference image and its corresponding modification text. Although existing efforts have achieved compelling success, they overlook the conflict relationship modeling between the reference image and the modification text for improving the multimodal query composition and the adaptive matching degree modeling for promoting the ranking of the candidate images that could present different levels of matching degrees with the given query. To address these two limitations, in this work, we propose a Target-Guided Composed Image Retrieval network (TG-CIR). In particular, TG-CIR first extracts the unified global and local attribute features for the reference/target image and the modification text with the contrastive language-image pre-training model (CLIP) as the backbone, where an orthogonal regularization is introduced to promote the independence among the attribute features. Then TG-CIR designs a target-query relationship-guided multimodal query composition module, comprising a target-free student composition branch and a target-based teacher composition branch, where the target-query relationship is injected into the teacher branch for guiding the conflict relationship modeling of the student branch. Last, apart from the conventional batch-based classification loss, TG-CIR additionally introduces a batch-based target similarity-guided matching degree regularization to promote the metric learning process. Extensive experiments on three benchmark datasets demonstrate the superiority of our proposed method.


title: Energy Spectrum Theory of Incommensurate Systems

abstract: Due to the lack of the translational symmetry, calculating the energy spectrum of an incommensurate system has always been a theoretical challenge. Here, we propose a natural approach to generalize the energy band theory to the incommensurate systems without reliance on the commensurate approximation, thus providing a comprehensive energy spectrum theory of the incommensurate systems. Except for a truncation dependent weighting factor, the formulae of this theory are formally almost identical to that of the Bloch electrons, making it particularly suitable for complex incommensurate structures. To illustrate the application of this theory, we give three typical examples: one-dimensional bichromatic and trichromatic incommensurate potential model, as well as a moir\'{e} quasicrystal. Our theory establishes a fundamental framework for understanding the incommensurate systems.


title: Regularity of multipliers and second-order optimality conditions of KKT-type for semilinear parabolic control problems

abstract: A class of optimal control problems governed by semilinear parabolic equations with mixed constraints and a box constraint for control variable is considered. We show that if the separation condition is satisfied, then both optimality conditions of KKT-type and regularity of multipliers are fulfilled. Moreover, we show that if the initial value is good enough and boundary $\partial\Omega$ has a property of positive geometric density, then multipliers and optimal solutions are H\"{o}lder continuous.


title: Exploring Limits of Diffusion-Synthetic Training with Weakly Supervised Semantic Segmentation

abstract: The advance of generative models for images has inspired various training techniques for image recognition utilizing synthetic images. In semantic segmentation, one promising approach is extracting pseudo-masks from attention maps in text-to-image diffusion models, which enables real-image-and-annotation-free training. However, the pioneering training method using the diffusion-synthetic images and pseudo-masks, i.e., DiffuMask has limitations in terms of mask quality, scalability, and ranges of applicable domains. To overcome these limitations, this work introduces three techniques for diffusion-synthetic semantic segmentation training. First, reliability-aware robust training, originally used in weakly supervised learning, helps segmentation with insufficient synthetic mask quality. %Second, large-scale pretraining of whole segmentation models, not only backbones, on synthetic ImageNet-1k-class images with pixel-labels benefits downstream segmentation tasks. Second, we introduce prompt augmentation, data augmentation to the prompt text set to scale up and diversify training images with a limited text resources. Finally, LoRA-based adaptation of Stable Diffusion enables the transfer to a distant domain, e.g., auto-driving images. Experiments in PASCAL VOC, ImageNet-S, and Cityscapes show that our method effectively closes gap between real and synthetic training in semantic segmentation.


title: ReOnto: A Neuro-Symbolic Approach for Biomedical Relation Extraction

abstract: Relation Extraction (RE) is the task of extracting semantic relationships between entities in a sentence and aligning them to relations defined in a vocabulary, which is generally in the form of a Knowledge Graph (KG) or an ontology. Various approaches have been proposed so far to address this task. However, applying these techniques to biomedical text often yields unsatisfactory results because it is hard to infer relations directly from sentences due to the nature of the biomedical relations. To address these issues, we present a novel technique called ReOnto, that makes use of neuro symbolic knowledge for the RE task. ReOnto employs a graph neural network to acquire the sentence representation and leverages publicly accessible ontologies as prior knowledge to identify the sentential relation between two entities. The approach involves extracting the relation path between the two entities from the ontology. We evaluate the effect of using symbolic knowledge from ontologies with graph neural networks. Experimental results on two public biomedical datasets, BioRel and ADE, show that our method outperforms all the baselines (approximately by 3\%).