arXiv subjects
Publications and source records attributed to Ji Li.
After a quick introduction to flag geometry on the Heisenberg group, we discuss the problem of identifying flag atoms, which boils down to a question in PDE. We establish a conjecture of E.M.~Stein for the flag Hardy space on the Heisenberg group. The key result on which our arguments hinge is due to Baldi, Franchi and Pansu.
A wave front and a wave back that spontaneously connect two hyperbolic equilibria, known as a heteroclinic wave loop, give rise to periodic waves with arbitrarily large spatial periods through the heteroclinic bifurcation. The nonlinear stability of these periodic waves is established in the setting of the FitzHugh-Nagumo equation, which is a well-known reaction-diffusion model with degenerate diffusion. First, for general systems, we give the expressions of spectra with small modulus for linearized operators about these periodic waves via the Lyapunov-Schmidt reduction and the Lin-Sandstede method. Second, applying these spectral results to the FitzHugh-Nagumo equation, we establish their diffusive spectral stability. Finally, we consider the nonlinear stability of these periodic waves against localized perturbations. We introduce a spatiotemporal phase modulation $φ$, and couple it with the associated modulated perturbation $\mathbf{V}$ along with the unmodulated perturbation $\mathbf{\widetilde{V}}$ to close a nonlinear iteration argument.
The Falconer distance problem for Cartesian product sets was introduced and studied by Iosevich and Liu (\cite{MR3525385}). In this paper, by implementing a new observation on Cartesian product sets associated with a particular parabolic structure, we study the pinned version of Falconer distance problem for Cartesian product sets, and improve the threshold for the Falconer distance set in \cite{MR3525385} in certain case.
The pretrained diffusion model as a strong prior has been leveraged to address inverse problems in a zero-shot manner without task-specific retraining. Different from the unconditional generation, the measurement-guided generation requires estimating the expectation of clean image given the current image and the measurement. With the theoretical expectation expression, the crucial task of solving inverse problems is to estimate the noisy likelihood function at the intermediate image sample. Using the Tweedie's formula and the known noise model, the existing diffusion posterior sampling methods perform gradient descent step with backpropagation through the pretrained diffusion model. To alleviate the costly computation and intensive memory consumption of the backpropagation, we propose an alternative maximum-a-posteriori (MAP)-based surrogate estimator to the expectation. With this approach and further density approximation, the MAP estimator for linear inverse problem is the solution to a traditional regularized optimization, of which the loss comprises of data fidelity term and the diffusion model related prior term. Integrating the MAP estimator into a general denoising diffusion implicit model (DDIM)-like sampler, we achieve the general solving framework for inverse problems. Our approach highly resembles the existing $Π$GDM without the manifold projection operation of the gradient descent direction. The developed method is also extended to nonlinear JPEG decompression. The performance of the proposed posterior sampling is validated across a series of inverse problems, where both VP and VE SDE-based pretrained diffusion models are taken into consideration.
Multi-layer image generation is a fundamental task that enables users to isolate, select, and edit specific image layers, thereby revolutionizing interactions with generative models. In this paper, we introduce the Anonymous Region Transformer (ART), which facilitates the direct generation of variable multi-layer transparent images based on a global text prompt and an anonymous region layout. Inspired by Schema theory suggests that knowledge is organized in frameworks (schemas) that enable people to interpret and learn from new information by linking it to prior knowledge.}, this anonymous region layout allows the generative model to autonomously determine which set of visual tokens should align with which text tokens, which is in contrast to the previously dominant semantic layout for the image generation task. In addition, the layer-wise region crop mechanism, which only selects the visual tokens belonging to each anonymous region, significantly reduces attention computation costs and enables the efficient generation of images with numerous distinct layers (e.g., 50+). When compared to the full attention approach, our method is over 12 times faster and exhibits fewer layer conflicts. Furthermore, we propose a high-quality multi-layer transparent image autoencoder that supports the direct encoding and decoding of the transparency of variable multi-layer images in a joint manner. By enabling precise control and scalable layer generation, ART establishes a new paradigm for interactive content creation.
We investigate the localization behavior of two-particle Hubbard model in the presence of non-reciprocal tunneling and non-Hermitian bound states can be obtained with strong repulsive interaction. Remarkably, the interaction induced bound state localization (BSL) can compete with non-Hermitian skin effect (NHSE) and give rise to diverse density profiles. Via the quantum scattering methods in the center of mass frame, the system can be mapped to an effective two dimensional (2D) lattice with the two-particle interaction contributing to a defective line. For the bound states of the largest eigen-energy, in contrast to the Hermitian cases, where the maximal localization center is pinned around the center of lattice, NHSE can lead to a faded diagonal line localization. For the unbound scattering states, unlike the single corner localization in the 2D Hatano-Nelson model, interaction can force the total localization to split into multiple centers. To make the system topological nontrivial, we further include terms taking the form of two-photon tunneling and the non-Hermitian photon bound pairs are also observed, which demonstrates a competition among NHSE, BSL and edge localization. Finally, we propose the experimental simulations via the platforms of electrical circuits. Our works shed light on the crossover study of quantum optics and non-Hermitian many body physics.
Recently, the use of large language models (LLMs) for Verilog code generation has attracted great research interest to enable hardware design automation. However, previous works have shown a gap between the ability of LLMs and the practical demands of hardware description language (HDL) engineering. This gap includes differences in how engineers phrase questions and hallucinations in the code generated. To address these challenges, we introduce HaVen, a novel LLM framework designed to mitigate hallucinations and align Verilog code generation with the practices of HDL engineers. HaVen tackles hallucination issues by proposing a comprehensive taxonomy and employing a chain-of-thought (CoT) mechanism to translate symbolic modalities (e.g. truth tables, state diagrams, etc.) into accurate natural language descriptions. Furthermore, HaVen bridges this gap by using a data augmentation strategy. It synthesizes high-quality instruction-code pairs that match real HDL engineering practices. Our experiments demonstrate that HaVen significantly improves the correctness of Verilog code generation, outperforming state-of-the-art LLM-based Verilog generation methods on VerilogEval and RTLLM benchmark. HaVen is publicly available at https://github.com/Intelligent-Computing-Research-Group/HaVen.
In this work, we investigate automatic design composition from multimodal graphic elements. Although recent studies have developed various generative models for graphic design, they usually face the following limitations: they only focus on certain subtasks and are far from achieving the design composition task; they do not consider the hierarchical information of graphic designs during the generation process. To tackle these issues, we introduce the layered design principle into Large Multimodal Models (LMMs) and propose a novel approach, called LaDeCo, to accomplish this challenging task. Specifically, LaDeCo first performs layer planning for a given element set, dividing the input elements into different semantic layers according to their contents. Based on the planning results, it subsequently predicts element attributes that control the design composition in a layer-wise manner, and includes the rendered image of previously generated layers into the context. With this insightful design, LaDeCo decomposes the difficult task into smaller manageable steps, making the generation process smoother and clearer. The experimental results demonstrate the effectiveness of LaDeCo in design composition. Furthermore, we show that LaDeCo enables some interesting applications in graphic design, such as resolution adjustment, element filling, design variation, etc. In addition, it even outperforms the specialized models in some design subtasks without any task-specific training.
In the rapidly evolving landscape of urban transportation, shared e-mobility services have emerged as a sustainable solution to meet growing demand for flexible, eco-friendly travel. However, the existing literature lacks a comprehensive multi-modal optimization framework with focus on user preferences and real-world constraints. This paper presents a multi-modal optimization framework for shared e-mobility, with a particular focus on e-mobility hubs (e-hubs) with micromobility. We propose and evaluate two approaches: a mixed-integer linear programming (MILP) solution, complemented by a heuristic graph reduction technique to manage computational complexity in scenarios with limited e-hubs, achieving a computational advantage of 93%, 72%, and 47% for 20, 50, and 100 e-hubs, respectively. Additionally, the modified Dijkstra's algorithm offers a more scalable, real-time alternative for larger e-hub networks, with median execution times consistently around 53 ms, regardless of the number of e-hubs. Thorough experimental evaluation on real-world map and simulated traffic data of Dublin City Centre reveals that both methods seamlessly adapt to practical considerations and constraints such as multi-modality, user-preferences and state of charge for different e-mobility tools. While MILP offers greater flexibility for incorporating additional objectives and constraints, the modified Dijkstra's algorithm is better suited for large-scale, real-time applications due to its computational efficiency.
We characterize the Schatten class $S^p$ of the commutator of Riesz transforms $[b,R_j]$ in $\mathbb R^n$ ($j=1,\ldots, n$) in the two weight setting for $n< p<\infty$, by introducing the condition that the symbol $b$ being in Besov spaces associated with the given two weights. At the critical index $p=n$, the commutator $[b,R_j]$ belongs to Schatten class $S^{n}$ if and only if $b$ is a constant, and to the weak Schatten class $S^{n,\infty}$ if and only if $b$ is in an oscillation sequence space associated with the given two weights. As a direct application, we have the Schatten class estimate for A. Connes' quantised derivative in the two weight setting.
The main purpose of this paper is to establish weighted estimates for singular integrals associated with Zygmund dilations via a discrete Littlewood--Paley theory, and then apply it to obtain the upper bound of the norm of commutators of such singular integrals with a function in the little bmo space associated with Zygmund dilations. Examples of such singular integrals associated with Zygmund dilations include a class of singular integrals studied by Ricci--Stein and Fefferman--Pipher, as well as a singular integral along a particular surface studied by Nagel--Wainger. We show that the lower bound of the norm of this commutator is not true for any singular integral in the class considered in Ricci--Stein and Fefferman--Pipher, but does in fact hold for the specific singular integral studied in Nagel--Wainger. In particular this implies that the family of singular integrals studied in these papers is not sufficiently general to contain the operator of Nagel--Wainger, which we show is of significance in this theory.
Let $ Π_{b}$ be a bounded $n$ parameter paraproduct with symbol $b$. We demonstrate that this operator is in the Schatten class $S^p$, $0<p<\infty$, if the symbol is in the $n$ parameter Besov space $B_p$. Our result covers both the dyadic and continuous version of the paraproducts in the multiparameter setting.
Let $R_{λ,j}$ be the $j$-th Bessel--Riesz transform, where $n\geq 1$, $λ>0$, and $j=1,\ldots,n+1$. In this article, we establish a Weyl type asymptotic for $[M_f,R_{λ,j}]$, the commutator of $R_{λ,j}$ with multiplication operator $M_f$, based on building a preliminary result that the endpoint weak Schatten norm of $[M_f,R_{λ,j}]$ can be characterised via homogeneous Sobolev norm $\dot{W}^{1,n+1}(\mathbb{R}_+^{n+1})$ of the symbol $f$. Specifically, the asymptotic coefficient is equivalent to $\|f\|_{\dot{W}^{1,n+1}(\mathbb{R}_+^{n+1})}.$ Our main strategy is to relate Bessel--Riesz commutator to classical Riesz commutator via Schur multipliers, and then to establish the boundedness of Schur multipliers.
The escalating challenges of traffic congestion and environmental degradation underscore the critical importance of embracing E-Mobility solutions in urban spaces. In particular, micro E-Mobility tools such as E-scooters and E-bikes, play a pivotal role in this transition, offering sustainable alternatives for urban commuters. However, the energy consumption patterns for these tools are a critical aspect that impacts their effectiveness in real-world scenarios and is essential for trip planning and boosting user confidence in using these. To this effect, recent studies have utilised physical models customised for specific mobility tools and conditions, but these models struggle with generalization and effectiveness in real-world scenarios due to a notable absence of open datasets for thorough model evaluation and verification. To fill this gap, our work presents an open dataset, collected in Dublin, Ireland, specifically designed for energy modelling research related to E-Scooters and E-Bikes. Furthermore, we provide a comprehensive analysis of energy consumption modelling based on the dataset using a set of representative machine learning algorithms and compare their performance against the contemporary mathematical models as a baseline. Our results demonstrate a notable advantage for data-driven models in comparison to the corresponding mathematical models for estimating energy consumption. Specifically, data-driven models outperform physical models in accuracy by up to 83.83% for E-Bikes and 82.16% for E-Scooters based on an in-depth analysis of the dataset under certain assumptions.
Classifying and summarizing large data sets from different sky survey projects is essential for various subsequent scientific research. By combining data from 4XMM-DR13, SDSS DR18, and CatWISE, we formed an XMM-WISE-SDSS sample that included information in the X-ray, optical, and infrared bands. By cross-matching this sample with datasets from known spectral classifications from SDSS and LAMOST, we obtained a training dataset containing stars, galaxies, quasars, and Young Stellar Objects (YSOs). Two machine learning methods, CatBoost and Self-Paced Ensemble (SPE), were used to train and construct machine learning models through training sets to classify the XMM-WISE-SDSS sample. Notably, the SPE classifier showed excellent performance in YSO classification, identifying 1102 YSO candidates from 160,545 sources, including 258 known YSOs. Then we further verify whether these candidates are YSOs by the spectra in LAMOST and the identification in the SIMBAD and VizieR dabtabases. Finally there are 412 unidentified YSO candidates. The discovery of these new YSOs is an important addition to existing YSO samples and will deepen our understanding of star formation and evolution. Moreover we provided a classification catalog for the whole XMM-WISE-SDSS sample.
With the advancement of accelerator light sources, the application of wiggler becomes more and more important, for example to speed up damping or generate synchrotron radiation. The quantum excitation contribution of such a wiggler to the electron beam emittance in a storage ring should be carefully evaluated when small emittance is desired. What found in literature is an approximate formula. Here we present a more exact result, which is of value for future light source development.
Let $(X,d,μ)$ be a metric measure space satisfying a doubling property with the upper/lower dimension $Q\ge n>1$, and admitting an $L^2$-Poincaré inequality. In this article, we establish the Hölder continuity and a Liouville-type theorem for the (elliptic-type) Schrödinger equation $$\mathbb L u(x,t)=-\partial^2_{t}u(x,t)+\mathcal L u(x,t)+V(x)u(x,t)=0,\quad x\in X,\, t\in\mathbb R, $$ where $\mathcal L$ is a non-negative operator generated by a Dirichlet form on $X$, and the non-negative potential $V$ is a Muckenhoupt weight belonging to the reverse Hölder class ${RH}_q(X)$ for some $q>\max\{Q/2,1\}$. Note that $Q/2$ is critical for the regularity theory of $-Δ+V$ on $\mathbb{R}^Q$ ($Q\ge3$) by Shen's work in 1995, which hints the critical index of $V$ for the regularity results above on $X\times \mathbb R$ may be $(Q+1)/2$. Our results show that this critical index is in fact $\max\{Q/2,1\}$. Our approach primarily relies on the controllable growth of $V$ and the elliptic theory for the operator $\mathbb L$/$-\partial^2_{t}+\mathcal{L}$ on $X\times \mathbb R$, rather than the analogs for $\mathcal L+V$/$\mathcal{L}$ on $X$, under the critical index setting. As applications, we further obtain some characterizations for solutions to the Schrödinger equation $-\partial^2_{t}u+\mathcal L u+Vu=0$ in $X\times \mathbb R_+$ with boundary values in BMO/CMO/Morrey spaces related to $V$, improving previous results to the critical index $q>\max\{Q/2,1\}$.
Motivated by the recent work of Gimperlein and Goffeng on Calderón's commutator on compact Heisenberg type manifolds and the related weak Schatten class estimates, we establish the characterisation of $L^p$ boundedness for Calderon's commutator on stratified Lie groups. We further study related weak Schatten class estimates for second order commutators on two step stratified Lie groups, which include the Heisenberg groups. This latter result is obtained using double operator integral techniques which are novel in this area.