arXiv subjects

Ji Li

Publications and source records attributed to Ji Li.

At least 37 records · Page 2Linked to original sources

arXiv2026

Polynomial corners in finite fields beyond the distinct-degree case

We prove a quantitative polynomial Roth theorem for corners in $\mathbb F_p^2$ for arbitrary pairs of linearly independent polynomials. More precisely, given a positive integer $d$, there are constants $p_0$ and $C$ (depending only on $p$) so that for every $ p>p_0$, if polynomials $ϕ_1,ϕ_2\in \mathbb \mathbb{F}_p [y]$ are of degree $\leq d$ vanishing at $0$ and are not linearly dependent, then every $A\subset\mathbb F_p^2$ with $ |A|\ge C p^{2-1/14} $ contains a nontrivial corner $$ (x_1,x_2),\qquad (x_1+ϕ_1(y),x_2),\qquad (x_1,x_2+ϕ_2(y)) $$ for some $y\in\mathbb F_p^\times$. This improves the estimate $p^{2-1/16}$ of Han--Lacey--Yang and removes the distinct-degree restriction from their quantitative theorem. The main obstruction is the equal-degree resonant case, where the Jacobian argument of Han--Lacey--Yang degenerates. We adjoin the frequency-independent part of the phase to form an augmented map $\widetilde F:W\to\mathbb A^3$ from the correlation threefold. We prove that this map is generically finite on every top-dimensional geometric component and has no two-dimensional fibre. Using the associated Artin--Schreier sheaf and Katz--Laumon estimates for Fourier transform of perverse sheaves, we obtain square-root cancellation outside an algebraic exceptional set of dimension at most one and uniformly bounded degree. A separate curve-sum argument gives uniform control on the exceptional set. An $\ell^2$ matrix estimate adapted to such sets completes the resonant case.

math.CA↗

arXiv2026

Fefferman--Stein type inequalities via area and maximal functions for Schrödinger operators with applications

In this paper, we establish a Fefferman--Stein inequality in terms of area function and non-tangential maximal function associated with the Schrödinger operator $\mathcal{L} = -Δ+ V$ on stratified Lie groups $\mathcal G$, where $Δ$ denotes the sub-Laplacian on $\mathcal G$ and $V$ is a nonnegative locally integrable function. As an application, we extend this inequality to the tensor product $\mathcal G_1 \times \mathcal G_2$ of two stratified Lie groups and develop atomic decompositions associated with the Schrödinger operator for functions in the Orlicz space $L\log^{+}L(\mathcal G_1 \times \mathcal G_2).$ Using these atomic decompositions, we further prove weak-type endpoint estimates for the area integral operator and the Riesz transforms associated with the Schrödinger operator on $L\log^{+}L(\mathcal G_1 \times \mathcal G_2),$ thereby extending the celebrated result of R.\,Fefferman and E.M.\,Stein \cite{FSt1982} to the setting of singular integrals with non-smooth kernels.

math.AP↗

arXiv2026

Aesthetic Post-Training Diffusion Models from Generic Preferences with Step-by-step Preference Optimization

Generating visually appealing images is fundamental to modern text-to-image generation models. A potential solution to better aesthetics is direct preference optimization (DPO), which has been applied to diffusion models to improve general image quality including prompt alignment and aesthetics. Popular DPO methods propagate preference labels from clean image pairs to all the intermediate steps along the two generation trajectories. However, preference labels provided in existing datasets are blended with layout and aesthetic opinions, which would disagree with aesthetic preference. Even if aesthetic labels were provided (at substantial cost), it would be hard for the two-trajectory methods to capture nuanced visual differences at different steps. To improve aesthetics economically, this paper uses existing generic preference data and introduces step-by-step preference optimization (SPO) that discards the propagation strategy and allows fine-grained image details to be assessed. Specifically, at each denoising step, we 1) sample a pool of candidates by denoising from a shared noise latent, 2) use a step-aware preference model to find a suitable win-lose pair to supervise the diffusion model, and 3) randomly select one from the pool to initialize the next denoising step. This strategy ensures that diffusion models focus on the subtle, fine-grained visual differences instead of layout aspect. We find that aesthetics can be significantly enhanced by accumulating these improved minor differences. When fine-tuning Stable Diffusion v1.5 and SDXL, SPO yields significant improvements in aesthetics compared with existing DPO methods while not sacrificing image-text alignment compared with vanilla models. Moreover, SPO converges much faster than DPO methods due to the use of more correct preference labels provided by the step-aware preference model.

cs.CV↗

arXiv2026

ReDeck: Step-Level Render-Grounded Refinement for Document-to-Slide Generation

Document-to-slide generation is challenging because slides are dense editable artifacts that require both faithful content selection and precise spatial layout. Recent slide agents adopt iterative reflection, but typically follow a monolithic "one version, one feedback" loop: a slide or deck is rewritten, rendered afterward, and critiqued only at the turn boundary. This delayed feedback makes local failures such as overflow, overlap, clipping, and off-canvas placement difficult to attribute and repair. We propose ReDeck, a step-level render-grounded refinement framework that decomposes slide revision into atomic edit actions and returns renderer-derived observations after each step, turning refinement into "one edit, one observation." To balance local repair with global quality, ReDeck uses multi-granular feedback: step-level render feedback for spatial errors, a turn-level adaptive critic for semantic and design guidance, and a submission-level gate for hard layout validation. We further introduce DeckQuiz, a benchmark that decouples content fidelity, spatial correctness, and design quality. Across GPT-5.4, Claude-4.6, and Gemini-3.1, ReDeck consistently outperforms existing slide-generation agents, and ablations confirm that feedback timing and granularity are critical for reliable slide refinement.

cs.AI↗

arXiv2026

DesignAsCode: Bridging Structural Editability and Visual Fidelity in Graphic Design Generation

Graphic design generation demands a delicate balance between high visual fidelity and fine-grained structural editability. However, existing approaches typically bifurcate into either non-editable raster image synthesis or abstract layout generation devoid of visual content. Recent combinations of these two approaches attempt to bridge this gap but often suffer from rigid composition schemas and unresolvable visual dissonances (e.g., text-background conflicts) due to their inexpressive representation and open-loop nature. To address these challenges, we propose DesignAsCode, a novel framework that reimagines graphic design as a programmatic synthesis task using HTML/CSS. Specifically, we introduce a Plan-Implement-Reflect pipeline, incorporating a Semantic Planner to construct dynamic, variable-depth element hierarchies and a Visual-Aware Reflection mechanism that optimizes the code to rectify rendering artifacts. Extensive experiments demonstrate that DesignAsCode significantly outperforms baselines in both structural validity and aesthetic quality. Furthermore, our code-native representation unlocks advanced capabilities, including automatic layout retargeting, complex document generation (e.g., resumes), and CSS-based animation. Our project page is available at https://liuziyuan1109.github.io/design-as-code/.

cs.GR↗

arXiv2026

BMO Classification for Two-Dimensional Dunkl Newton and Green Kernels

Using Gaussian heat-kernel estimates, we classify planar Dunkl Newton kernels in weighted Euclidean BMO and obtain the corresponding local classification for unit-ball Green kernels. For atomic Newton potentials supported on a regular reflection orbit, orbit BMO detects exactly whether the coefficients are constant along the orbit. We also prove an intrinsic Dunkl--CLMS theorem in the heat-semigroup Hardy space and derive intrinsic and Euclidean-source Newton--Wente estimates, extending the BMO--Hardy-space method of Chanillo and Li to the Dunkl setting. Further consequences include sharp local atomic estimates, same-domain criteria, a localized $L^1$-to-BMO bound, and a Brezis--Merle-type estimate.

math.AP↗

arXiv2026

A Fefferman--Stein inequality for the Dunkl Poisson semigroup and its chamber-lifted formulation

We prove a Fefferman--Stein good-$λ$ inequality for the Dunkl Poisson semigroup associated with a finite reflection group and a non-negative multiplicity function. For arbitrary complex-valued $f\in C_c^\infty(\mathbb R^N)$, with no $G$-invariance assumption, it compares the orbit-conical non-tangential maximal function $\mathcal N_P^βf$ with the area function $\mathcal S_Pf$ formed from the full space-time Dunkl carré du champ, including its reflection-difference energy. The main obstruction is that a general cut-off creates wall differences not controlled by the local Euclidean-gradient product identity. The good set $E=\{x:\mathcal N_P^βf(x)\leλ\}$ is $G$-invariant; by the equivariance of the Poisson semigroup, so is $a=φ(P_t \mathbf 1_E)$, and hence all reflection differences of the cut-off vanish. Poisson maximal and tail estimates, together with the $L^2$ Littlewood--Paley estimate for $P_t \mathbf 1_{E^c}$, then yield the desired distribution inequality. Its integrated form gives maximal-to-area estimates for every $0<p<2$ and endpoint $H^1$-to-$L^1$ bounds for the orbit-conical and Euclidean-conical intrinsic area functions. For chamber lifts of globally smooth data, the inequality has an equivalent formulation on a fundamental chamber, where orbit cones become Euclidean cones and the reflection energy becomes a finite wall coupling. Combined with the known semigroup square-function characterization, these bounds characterize the Dunkl Poisson maximal Hardy space among $L^1(dω)$ data.

math.CA↗

arXiv2026

Calderon-type commutators and chamber lifting in the Dunkl setting

Let $G$ be a finite reflection group, and let $T_j$, $Δ_κ$, and $dω$ denote its Dunkl operators, Laplacian, and measure, respectively. Write $\mathcal R_j=-T_j(-Δ_κ)^{-1/2}$ for the $j$th Dunkl Riesz transform. We study the Calderón-type commutator $[M_b,T_i\mathcal R_j]$ on the full space $L^p(\R^N,dω)$, without assuming $G$-invariance of the functions. For $b\in\Lipd$, a full-space Dunkl $T1$ argument for $[M_b,(-Δ_κ)^{1/2}]$, combined with the exact factorization $$ [M_b,T_i\mathcal R_j] =-M_{\partial_i b}\mathcal R_j-\mathcal R_iM_{\partial_jb} +\mathcal R_i[M_b,(-Δ_κ)^{1/2}]\mathcal R_j, $$ implies boundedness on $L^p(dω)$ for every $1<p<\infty$. We also prove that the prescribed heat truncations are uniformly bounded on $L^2(dω)$ and converge jointly to this operator. To control these truncations, we lift all reflected values of an arbitrary function to separate coordinates on a fixed Weyl chamber. This chamber lifting retains all non-$G$-invariant information and places every possible orbit singularity on the ordinary chamber diagonal of a finite matrix operator. Wall-layer estimates and scalar $T1$ bounds for the integrated entries are uniform in both heat endpoints. A dense-core argument then proves joint, path-independent weak-operator convergence to the factorized commutator. The lifted limit is associated, in the separated-support sense, with a finite matrix of scalar Calderón--Zygmund kernels on the chamber.

math.CA↗

arXiv2026

Two-weight commutators for the Bessel Riesz transform with Andersen--Kerman weights

Let $α>-1/2$, $α\ne0$, and let $$ Δ_α=-\frac{d^2}{dx^2}-\frac{2α}{x}\frac{d}{dx} $$ be the Bessel operator on $\mathbb R_+=(0,\infty)$. We characterize boundedness and compactness of commutators of $R_α=\frac{d}{dx}Δ_α^{-1/2}$ on the Andersen--Kerman two-weight setting. For $1<p<\infty$ and $μ,λ\in A_{p,α}$, put $ ν=\left(\fracμλ\right)^{1/p}, \ dρ_α(x)=x^{2α+1}\,dx. $ For real-valued symbols, $$ \|[b,R_α]\|_{L^p(μ\,dx)\to L^p(λ\,dx)} \simeq \|b\|_{\rm{BMO}_{ν,α}}, $$ where the Bloom oscillation is computed with respect to $dρ_α$. Moreover $$ [b,R_α]:L^p(μ\,dx)\to L^p(λ\,dx) \text{ is compact} \quad\Longleftrightarrow\quad b\in\rm{VMO}_{ν,α}. $$ The proof uses the exact conjugation $ U_w(x)=x^{p-2α-1}w(x), \ [U_w]_{A_p(ρ_α)}=[w]_{A_{p,α}}, $ which transfers the problem to the quotient Bessel kernel on $(\mathbb R_+,|x-y|,ρ_α)$. We isolate the required Calderón--Zygmund estimates and one-sided non-degeneracy in this quotient normalization. The measure $dρ_α$ is distinct from the usual Bessel measure $dm_α=x^{2α}\,dx$. It is the Bloom base measure selected by the Andersen--Kerman conjugation and is used throughout the two-weight theory below.

math.CA↗

arXiv2026

Maximal Averages on the Affine Group $G_n$ and applications

Let $G_n=\mathbb R^n\rtimes\mathbb R_+$ be equipped with the left Haar measure $ dμ(x,y)=\frac{dx\,dy}{y^{n+1}}. $ We study maximal averages associated with three basic motions on $G_n$: horizontal translations, vertical dilations, and fixed hyperbolic geodesics in the upper half-space model. The translation maximal operator is the Euclidean Hardy--Littlewood maximal operator on each horizontal slice. The Haar-compatible dilation maximal operator is of weak type $(1,1)$ and bounded on $L^p(G_n)$ for $1<p\le\infty$, but it is not strongly bounded on $L^1(G_n)$. By contrast, the unweighted Lebesgue dilation average is unbounded on every finite $L^p(G_n)$ and is not of weak type $(1,1)$. For fixed hyperbolic geodesic averages, the large-time part is strongly bounded on $L^1(G_n)$ because of modular exponential decay. The small-time part is a finite-type parabolic maximal problem. Using the corresponding local finite-type $L\log\log L$ endpoint estimate for the geodesic slice, we prove $ \mathcal M_{γ_ω}:L\log\log L(G_n) \longrightarrow L^{1,\infty}(G_n) $ in weak Orlicz form, together with the strong $L^p(G_n)$ bounds for $1<p\le\infty$. We also show that the strong $L^1$ endpoint fails. Finally, we record a discrete random-walk maximal inequality whose sufficient condition is expressed through the modular drift $$ ρ_p(σ)=\int_{G_n}y(h)^{n/p}\,dσ(h), $$ where $σ$ is the probability measure defining the right random walk.

math.CA↗

arXiv2026

D$_4$CNN$\times$AnaCal: Physics-Informed Machine Learning for Accurate and Precise Weak Lensing Shear Estimation

Traditional weak gravitational lensing shear estimators are carefully calibrated but struggle to fully capture realistic galaxy morphologies, point-spread-function (PSF) effects, blending, and noise in deep surveys, while blindly trained machine learning (ML) models can introduce significant calibration biases. Here we construct a fully D$_4$-equivariant deep neural network for galaxy shape measurement whose architecture enforces symmetry under 90$^{\circ}$ rotations and mirror transformations, and adopt the Analytical Calibration framework (AnaCal) to calibrate the model using its backpropagated gradients. For isolated galaxies in LSST-like single-band simulations, we demonstrate that our approach achieves $\sim$10% lower shape noise than the traditional moment-based Fourier Power Function Shapelets estimator in the high-noise regime, equivalent to a $\sim$20% gain in effective galaxy number density, while simultaneously achieving multiplicative biases consistent with zero across a wide range of noise levels, PSF sizes and ellipticities, and magnitude selection cuts, with all measurements satisfying $|m| {<} 2 \times 10^{-3}$ (i.e., within the 0.2% LSST requirement) and most at the ${\sim}10^{-4}$ level. We demonstrate this framework on isolated single-band galaxy images with Gaussian noise and known PSF, establishing a rigorous, physics-informed foundation for future extensions of ML-based shear estimation to blended sources and multi-band observations in Stage-IV surveys. All codes and data products will be made publicly available upon acceptance.

astro-ph.IM↗

arXiv2026

Single-atom sensor for low-frequency electric field

Precision measurement of low-frequency electric field (LFEF) signals with frequency from 30 kHz to 300 kHz is crucial for advancing both fundamental science and practical applications, owing to their unique frequency regime. For conventional electromagnetic antennas, the long wavelength (i.e., several kilometers) of the LFEF leads to a severe size constraint that efficient radiation becomes challenging to achieve when the antenna size is much smaller than the long wavelength of the LFEF signals, which in turn results in a reduction of measurement sensitivity and compromises antenna's performance. By exploiting the high intrinsic sensitivity of cold trapped ions to weak alternating electric signals via Coulomb interaction, we demonstrate a single-ion phonon laser sensor acted by an injection-locked 40Ca+ ion confined in a surface-electrode trap. Combining the beat frequency technique with the injection-locked phonon laser oscillation, we demonstrate a practical and efficient approach for simultaneous extraction of the frequency, phase, and amplitude from a single measurement, without the need for sideband cooling. This approach achieves precision detection for LFEF signals with the sensitivity of 404 uV/(m * Hz1/2) and the detection limit of 61.5 uV/m. Besides, this approach also shows remarkable robustness against noise. Our study helps realizing practical single-atom sensors in the low-frequency regime, opening avenues for applications in subsurface communication, precision metrology, mass spectrometry, and biomedical monitoring.

quant-ph↗

arXiv2026

RESOURCE2SKILL: Distilling Executable Agent Skills from Human-Created Multimodal Resources

Skills are a useful abstraction for software agents, turning human and agent experience into reusable procedural knowledge. Yet existing skill libraries are mostly hand-written, text-centric, or derived from agent traces, leaving tutorial videos and other multimodal human resources largely underused. We present RESOURCE2SKILL, a framework that distills multimodal resources, including tutorial videos, repositories, articles, and reference artifacts, into executable skills for software agents. RESOURCE2SKILL organizes these skills as a hierarchical multimodal Skill Wiki, where each entry combines structured text, code, visual examples, metadata, and provenance. This design preserves complementary signals from different resources: videos capture temporal operations and visual effects, code captures executable tool patterns, and articles or artifacts provide conceptual and stylistic grounding. At inference time, agents retrieve and compose relevant skills from the wiki; when coverage is insufficient, the same construction operator can acquire new skills online. Across seven practical authoring domains, RESOURCE2SKILL improves average overall score by +11.9 percentage points over no-skill agents and outperforms strong harness baselines in 26 of 28 main-aggregate model-domain cells. Ablations confirm the value of multimodal skill format, hierarchical organization, source diversity, selection strategy, and online acquisition.

cs.SE↗

arXiv2026

Beam-excited resonant modes in RF cavities

Beam-excited resonant modes in RF cavities are important sources of beam-coupling impedance and coupled-bunch instabilities in high-current storage rings. We develop a unified framework for longitudinal and transverse resonant impedances based on Maxwell's equations and generalized cavity-voltage definitions, and derive analytical expressions for impedances obtained from finite-length truncated wakefields. The formulation enables the resonant frequencies, normalized longitudinal and transverse shunt impedances, and, when sufficiently constrained, the quality factors to be extracted from practical wakefield simulations without requiring fully converged long-range wakes. The method is validated with an axisymmetric pillbox cavity through comparison with analytical results and eigenmode calculations. It is then applied to the RF cavity of the Storage-Ring-based Coherent Light Source (SRCLS), where the extracted HOM parameters are used to reconstruct total impedance spectra, evaluate coupled-bunch instability thresholds, and guide cavity-geometry optimization. The results demonstrate an efficient connection between wakefield analysis, eigenmode characterization, and beam-stability evaluation for practical RF-cavity designs.

physics.acc-ph↗

arXiv2026

Finite-Time Electrometry with a Quantum-Regime Single-Ion Phonon Laser

The phonon laser realized in a trapped ion, i.e., a self-sustained mechanical oscillator, has demonstrated the unique characteristics in practically detecting externally applied electric signals without the prerequisite of sideband cooling. Entering the quantum regime via sideband cooling is expected to further improve its sensing performance. Here we report the first experimental realization of a quantum-regime single-ion phonon laser ($\bar{n}<10$) using a trapped $^{40}\mathrm{Ca}^+$ ion and demonstrate electrometry based on its phase-space symmetry-breaking response to weak resonant electric fields. By tuning the phonon-laser parameters, we reveal that the sensing performance is fundamentally governed by the finite-time relaxation dynamics of the underlying open quantum system. We find that a slow Liouvillian relaxation, correlated with the finite experimental interaction window, effectively enhances the dynamic susceptibility while maintaining the structural robustness of the limit cycle. This regime, when applied to the detection of electric fields, produces a shot-noise-limited peak sensitivity of $14.15 \pm 0.77~μ\mathrm{V/m}/\sqrt{\mathrm{Hz}}$ and a minimum detectable field variation of $δE_{\mathrm{min}} \approx 1.83~μ\mathrm{V/m}$. Our results establish quantum phonon lasers as a practical platform for advanced sensing and highlight the central role of Liouvillian dynamics in non-equilibrium electrometry.

quant-ph↗

arXiv2026

Spectral stability in the modified Camassa-Holm equation

We investigate the spectral stability of small-amplitude, periodic, traveling-wave solutions of the modified Camassa-Holm equation with cubic nonlinearities. More precisely, we analyze the $L^2(\mr)$-spectrum of the associated linearized operator in a neighborhood of the origin in the spectral plane. Inspired by a recently novel method based on Kato's perturbation theory [Berti et al, Full description of Benjamin-Feir instability of Stokes waves in deep water, \textit{Invent. Math.}, 230 (2022), 651-711.], we provide a complete description of the spectrum near the origin of the linearized operator--an integro-differential operator with periodic coefficients--and thus prove that such waves are not subject to modulational instability. Moreover, a spectral analysis reveals a remarkable threshold phenomenon: such waves with wave number $k^2\leq 3$ exhibit spectral stability, while instability emerges when $k^2>3$.

math.AP↗

arXiv2026

A Distributed Multi-UGV Exploration Framework With Loop-Aware Planning and Descriptor-Aided Localization in Resource-Limited Environments

Robust and efficient cooperative exploration with multiple unmanned ground vehicles (UGVs) in unknown, GPSdenied, and bandwidth-limited environments without prior maps remains challenging, as localization drift degrades map consistency and induces redundant coverage. This paper presents a fully distributed exploration framework that couples descriptoraided inter-UGV loop closure with loop-aware hierarchical planning while enabling autonomous localization and exploration. We develop a lightweight LiDAR global descriptor with range-image prealignment to enable robust cross-UGV place recognition under large yaw and lateral variations, and use verified loop closures to maintain globally consistent trajectories and a sparse topological representation. We further introduce an uncertainty-aware crossUGV loop-closure selection module that scores candidate loop closures under pose uncertainty and retains high-utility loop closures as planning anchors for global task allocation and local route refinement. Simulations and real-UGV experiments show that the loop-closure module achieves AR@1/AR@1% of 89.9%/95.5%, distributed optimization reduces absolute trajectory error, the system substantially reduces two-way communication volume, and the overall framework reduces exploration time and travel distance by 15% and 14%, respectively, compared with an mTSP baseline.

cs.RO↗

arXiv2026

Chamber lifting and non-radial Dunkl multipliers

We study non-radial Dunkl multipliers via chamber lifting. For an arbitrary finite reflection group $G$, the chamber lifting records all reflected values of a function and conjugates a multiplier into a finite matrix-valued operator on the chamber. If the dyadic matrix entries admit off-diagonal kernels satisfying the chamber $L^2$ Hörmander condition $\operatorname{CH}^2_{s,η}$ with $s>N_κ/2$, then the original multiplier is bounded on $L^p(\mathbb R^N,dω)$ for every $1 N_κ/2$ therefore imply $L^p$ boundedness, for all $1<p<\infty$, for a genuinely non-radial class of symbols. The order $N_κ/2$ is forced already by the rank-one Bessel transform. The same chamber theorem also applies to non-product examples once the matrix kernel condition is known, including the dihedral groups $I_2(q)$ and hence $A_2\simeq I_2(3)$ and $B_2\simeq I_2(4)$. The scalar Walsh--Sobolev verification is specific to $A_1^N$. In non-product groups such as $A_2$, $A_{N-1}$, and $B_N$, the product parity calculus is absent, so a scalar theorem of the same form would require additional transform estimates.

math.CA↗