arXiv Science⌕ Search

arXiv subjects

Bobo Hua

Publications and source records attributed to Bobo Hua.

At least 19 recordsLinked to original sources
arXiv2026

Curvature Diffusion of Inverse-weight Lin--Lu--Yau Ricci Flow on Finite Trees

For the inverse-weight Lin--Lu--Yau Ricci flow on a finite tree, we prove that the curvature satisfies an exact heat equation and that every edge curvature converges. The limiting curvature vector is independent of the positive initial metric and is the unique minimum-norm point of the base polyhedron of a submodular function determined by the tree; in particular, it can be recovered by finitely many combinatorial minimizations. We also characterize subsequential limits of the normalized weights and obtain criteria for their convergence. Finally, for any two positive initial metrics, the corresponding unnormalized edgewise ratios converge, and the normalized omega-limit sets are related by a projective homeomorphism.

math.CO↗
arXiv2026

On Faber-Krahn inequality for Dirichlet Fractional-Logarithmic Laplacian

We study the Faber--Krahn problem for the fractional--logarithmic Laplacian $(-Δ)^{s+\ln}$, $0<s<1$, with Fourier symbol $|ξ|^{2s}\ln|ξ|^2$. We prove a small-volume and large-volume dichotomy. For sufficiently small volume, balls minimize the first Dirichlet eigenvalue, with rigidity up to translation.

math.AP↗
arXiv2026

Poisson problem with Hardy operator on lattice graph $ \mathbb{Z}^d$ and the application to semilinear equations

In this paper, we investigate the analytic properties of the Hardy-type operator $-Δ+ μH_0$ on the $d$-dimensional integer lattice graph $\mathbb{Z}^d$, where $μ\geq -1$ and $H_0$ is a critical Hardy potential at infinity--arising naturally from discrete Hardy inequalities. We derive sharp fixed-pole Green kernel estimates on $\mathbb{Z}^d$ and obtain a necessary and sufficient weighted summability condition characterizing the solvability of the nonnegative Poisson problem associated with this operator. Building upon this classification, we provide a complete characterization of the nonexistence of positive solutions to the semilinear elliptic inequality $$ -Δu + μH_0 u \geq W u^p \quad \text{in } \mathbb{Z}^d, $$ where $p > 0$, $d \geq 3$, $μ\geq -1$, and $H_0, W \in C(\mathbb{Z}^d)$ are strictly positive potentials satisfying the asymptotic behaviors $H_0(x) \sim |x|^{-2}$ and $W(x) \sim |x|^θ$ as $|x| \to \infty$, with $θ\in \mathbb{R}$.

math.AP↗
arXiv2026

Solvability of Semilinear Elliptic Equations on Infinite Graphs

We develop a constructive method for solving semilinear elliptic equations $Δu(x)=f(x,u(x))$ on locally finite, connected infinite graphs with layered structure. Using Eidelheit's theorem, we establish coupling criteria ensuring that arbitrary initial-layer data extend to global solutions for every $f$. We apply combinatorial criteria to prove solvability on leafless infinite trees, integer lattices, the triangular and hexagonal lattices, and a Cayley graph of the discrete Heisenberg group. We further establish solvability for a broad class of Cayley graphs of semidirect products $G\cong\mathbb Z\ltimes_θH$. In particular, $Δu=e^u$ has infinitely many solutions on $\mathbb Z^2$, but none of finite energy. We also extend the method to the bi-Laplacian under two-step coupling conditions, to the $p$-Laplacian under a unique-neighbor condition, and to magnetic Laplacians.

math.AP↗
arXiv2026

Nonlinear parabolic characterizations of stochastic completeness at infinity on weighted graphs

We prove a nonlinear parabolic characterization of stochastic completeness at infinity for weighted graphs. For the filtration equation \[ (\partial_t + ΔΦ)u =0 \] where $Δ$ is the non-negative formal graph Laplacian and $Φu =ϕ\circ u$ with $ϕ\colon \R\to\R$ nonconstant, continuous and increasing, stochastic completeness at infinity is equivalent to uniqueness of bounded pointwise solutions for every bounded initial datum. For \(Φ=\id\), this recovers the classical heat equation characterization of stochastic completeness at infinity, and of stochastic completeness when the killing term is trivial, i.e., when \(κ=0\). If stochastic completeness at infinity fails, then every bounded initial datum admits infinitely many bounded pointwise solutions of the filtration equation. Admissible nonlinearities include the signed porous medium and fast diffusion powers $ϕ(s)=s|s|^{m-1}$ for all $m>0$, as well as many others. Stochastic completeness at infinity is further characterized by a generalized mass balance: the total mass of a positive pointwise solution at time $t$, augmented by the mass $\int_0^t\sum_{x}κ(x)ϕ(u(s,x)) \dd s$ dissipated by the killing term $κ$, equals the initial mass. This balance holds for every bounded positive solution on graphs of finite measure and for bounded finite-mass data on graphs of arbitrary measure under the sharp condition $\limsup_{r\to0^+}ϕ(r)/r<\infty$. It also extends to positive pointwise solutions in $\ell^1$ that are bounded on every positive time interval. When the killing term is trivial, stochastic completeness at infinity reduces to stochastic completeness and generalized balance to conservation of mass.

math.PR↗
arXiv2026

Spectral gaps for noncompact hyperbolic surfaces with linearly many cusps

We construct complete finite-area noncompact hyperbolic surfaces with linearly many cusps and a uniform spectral gap. More precisely, for every \(θ>0\), we construct a sequence \(S_{g,n(g)}\in\mathcal{M}_{g,n(g)}\) such that \(\lim\limits_{g\to\infty}\frac{n(g)}{g}=θ\) and the spectrum of the Laplacian has a uniform gap above zero. The construction is based on explicit expanding \((1,3)\)-graphs, viewed as combinatorial skeletons for pants decompositions. We also establish a Steklov-type upper bound showing that expansion cannot persist when the number of boundary vertices is much larger than the genus.

math.DG↗
arXiv2026

The generalized porous medium equation on graphs: well-posedness, extinction, and mass conservation

We study the Cauchy problem for the generalized porous medium equation on infinite weighted graphs. For a general nonlinearity, we establish Dirichlet comparison and weak maximum principles on finite subgraphs and, through an exhaustion argument, construct minimal and maximal pointwise solutions for arbitrary $\ell^\infty$ initial data, controlled by explicit, possibly time-dependent, barriers. For the porous nonlinearity $ϕ(s)=s|s|^{m-1}$, assuming a $ν$-Sobolev inequality with $ν>2$, we derive quantitative energy estimates for $\ell^1$-mild solutions. These yield finite-time extinction in the fast diffusion range $0 2/ν$. Interestingly, we recover the Euclidean critical exponent for several model graphs. Finally, we prove an exact generalized mass balance for nonnegative $\ell^1$-mild solutions on graphs that are stochastically complete at infinity, allowing for an arbitrary killing term. The same balance is established for suitable classical and bounded pointwise solutions. In the absence of killing, these reduce to conservation of mass.

math.AP↗
arXiv2026

Generic properties of discrete Steklov eigenfunctions

Let $G=(V,E)$ be a finite connected graph with boundary $B$. We prove that for a generic positive edge weight function $w \in \mathbb{R}^{|E|}$, the Steklov eigenvalues of $(G,B,w)$ are simple and every Steklov eigenfunction does not vanish on the boundary. More precisely, the exceptional weights are contained in a zero set of a non-identically zero polynomial and hence form a set of Lebesgue measure zero and Hausdorff dimension at most $|E|-1$. Our results provide a discrete extension of the genericity theorem for the Steklov problem on compact manifolds.

math.CO↗
arXiv2026

Discrete Einstein metrics on trees

We establish the existence and uniqueness of discrete Einstein metrics on trees under Lin-Lu-Yau Ricci curvature using Perron-Frobenius theory. We establish a sharp upper bound for the largest eigenvalue of the associated Ricci matrix in terms of the maximum degree. Turning to structural properties, notably, the existence of a positive-curvature Einstein metric implies the tree must be a caterpillar. Furthermore, these metrics exhibit radial monotonicity, with edge weights decreasing strictly away from the maximal edge.

math.DG↗
arXiv2026

The Ollivier Ricci flow with prescribed curvature on infinite graphs

In this paper, we consider the Ricci flow with prescribed curvature on infinite graphs, which reads as \begin{equation*}\label{flow-equation3} \frac{d}{dt}ω(t)=-(κ(t)-κ^*)ω(t),~~ t>0, \end{equation*} where $ω$ is the edge weight, $κ$ and $κ^*$ are Lin-Lu-Yau Ricci curvature and the prescribed curvature on the set of edges, respectively. First, we establish the existence and uniqueness of the solution to the Ricci flow. Furthermore, we prove the convergence of the Ricci flow for graphs with girth at least 6 under two different conditions. Our convergence result aligns with the conclusion of Rodin and Sullivan (J Differ Geom, 26(2) 1987) that a circle packing in the plane with the hexagonal pattern is the regular hexagonal packing.

math.DG↗
arXiv2026

Edge Subdivision and the Perron Eigenvalue of Tree Ricci Matrices

The Ricci matrix $R_T$ of a finite tree encodes its discrete Einstein metrics via the Perron eigenvector, with Lin-Lu-Yau's Ollivier Ricci curvature: $κ= -λ_{\max}(R_T)$. We show that edge subdivision, the natural operation of lengthening a tree, can decrease, preserve, or increase $λ_{\max}$. Compressing each branch into a scalar feedback function via the Schur complement reduces the spectral problem to a one-dimensional Chebyshev equation. We obtain an exact one-step trichotomy, a scalar transmission equation for arbitrary length, and the long-chain limit. Examples on double stars, including an asymmetric case where subdivision strictly increases $λ_{\max}$, illustrate the theory.

math.DG↗
arXiv2026

Spectral Monotonicity under Leaf Attachment and Limiting Behavior in Discrete Einstein Trees

Let $R_T$ be the Ricci matrix of a finite tree $T$ introduced in \cite{BaiChengHua2026}, the largest eigenvalue $λ_{\max}(R_T)$ determines the sign of a discrete Einstein metric curvature on the tree. This paper investigates the asymptotic behavior of the sequence $λ_k = λ_{\max}(R_{T_k})$ obtained by repeatedly adding pendant edges at a fixed vertex. We prove that $λ_k$ converges to a limit $λ_\infty$ that depends only on the local branch data of $T$, and establish a first-order asymptotic expansion: \[ λ_k = λ_\infty + \fracα{d+k} + O\!\left(\frac{1}{(d+k)^2}\right), \] where $d$ is the degree of the original vertex, and the coefficient $α$ is given by a spectral projection. As a corollary, when $α\neq 0$, $λ_k$ is eventually strictly monotonic (increasing or decreasing). This theory reveals the fine influence of local leaf addition on the global spectrum.

math.DG↗
arXiv2026

On positive solutions of Lane-Emden equations on the integer lattice graphs

In this paper, we investigate the existence and nonexistence of positive solutions to the Lane-Emden equations $$ -Δu = Q |u|^{p-2}u $$ on the $d$-dimensional integer lattice graph $\mathbb{Z}^d$, as well as in the half-space and quadrant domains, under the zero Dirichlet boundary condition in the latter two cases. Here, $d \geq 2$, $p > 0$, and $Q$ denotes a Hardy-type positive potential satisfying $Q(x) \sim (1+|x|)^{-α}$ with $α\in [0, +\infty]$. \smallskip We identify the Sobolev super-critical regions of the parameter pair $(α, p)$ for which the existence of positive solutions is established via variational methods. In contrast, within the Serrin sub-critical regions of $(α, p)$, we demonstrate nonexistence by iteratively analyzing the decay behavior at infinity, ultimately leading to a contradiction. Notably, in the full-space and half-space domains, there exists an intermediate regions between the Sobolev critical line and the Serrin critical line where the existence of positive solutions remains an open question. Such an intermediate region does not exist in the quadrant domain.

math.AP↗
arXiv2026

The hot spots conjecture on Gaussian spaces

We study the hot spots conjecture for domains in the Gaussian space $(\mathbb{R}^n, (2π)^{-n/2} e^{-|x|^2/2} dx)$ for $n \ge 2$. Given a bounded domain $Ω$ with a piecewise smooth boundary, we consider the first nontrivial eigenfunction of the Ornstein--Uhlenbeck operator $L_γ= Δ- \langle x, \nabla \rangle$ subject to Neumann or mixed Dirichlet--Neumann boundary conditions, and prove that its extrema are attained only on the boundary $\partialΩ$. More precisely, we establish the conjecture for two classes of domains: (i) lip domains in Gaussian spaces with mixed boundary conditions, and (ii) $n$-symmetric domains whose intersection with some orthant is a lip domain. As a corollary, we show that any first nontrivial Neumann eigenfunction of a $2$-symmetric domain in the two-dimensional Gaussian space has no interior extrema, provided the second Neumann eigenvalue is simple. Our approach is based on a variational principle for the Hodge Laplacian on weighted manifolds and the Hodge decomposition of differential $1$-forms on Lipschitz domains, extending the variational method of Kennedy--Rohleder from the Euclidean setting to Gaussian spaces. Although de Dios Pont has shown that the hot spots conjecture can fail for certain convex domains endowed with suitable log-concave measures, our results identify broad classes of domains for which the conjecture remains valid in Gaussian spaces.

math.SP↗
arXiv2026

Nonlocal Characterizations of Stochastic Completeness on Complete Riemannian Manifolds

In this paper, we first prove that the following generalized conservation principle holds on complete Riemannian manifolds: for every \(0 0\), \[ T_t^{(s)}\mathbf 1+\int_0^t T_τ^{(s)}\mathcal R_s\,dτ=1 \qquad\text{on }M, \] where \(\mathcal R_s\) is the intrinsic killing term measuring the loss of mass of the subordinate semigroup, and the condition \(\mathcal R_s\equiv0\) is equivalent to the stochastic completeness of \(M\). We then provide several new nonlocal characterizations of stochastic completeness. In particular, we show that stochastic completeness is equivalent to genuinely nonlocal conditions, including the zero-mean identity \[ \int_M (-Δ)^sφ\,dV_g=0 \qquad\forall\,φ\in C_c^\infty(M), \] as well as the uniqueness of bounded distributional solutions to the associated fractional elliptic and parabolic equations. We also revisit the equivalent \(L^1\)-core characterization for the generator of the heat semigroup, which plays an important role in our approach. In addition, we prove \(L^p\)-contractivity and smoothing properties of the subordinate semigroup, establish both short-time and long-time asymptotic results for the fractional heat kernel, derive the short-time asymptotics of jump probabilities for the associated Markov process, and study the variational characterization and minimality properties of the fractional resolvent. Together, these results provide a unified analytic and probabilistic framework for the fractional Laplacian on complete Riemannian manifolds.

math.AP↗
arXiv2026

Existence and Convergence of Least-Energy Solutions Involving the Logarithmic Schrödinger Operator

In this paper, we study critical semilinear nonlocal elliptic equations involving the logarithmic Schrödinger operator and its fractional pseudo-relativistic counterpart, both arising in quantum models with nonlocal and relativistic effects. We first establish the existence, uniqueness, and regularity of weak solutions to equations involving the logarithmic operator \((I - Δ)^{\ln}\) with subcritical logarithmic nonlinearities. We then investigate a Brezis--Nirenberg-type problem involving the fractional pseudo-relativistic Schrödinger operator \((I - Δ)^s\), and prove the existence of least-energy solutions under both subcritical and critical nonlinearities. In particular, we show that these least-energy solutions converge, up to a subsequence, to a nontrivial least-energy solution of the limiting problem as \(s \to 0^+\). Our approach relies on variational methods, including the geometry of the Nehari manifold, uniform positive lower bounds, mountain-pass structure, the Palais--Smale condition, and delicate asymptotic analysis.

math.AP↗
arXiv2026

On the Ricci flow on Trees

In this paper, we study the evolution of metrics on finite trees under continuous-time Ricci flows based on the Lin-Lu-Yau version of Ollivier Ricci curvature. We analyze long-time dynamics of edge weights and curvatures, providing precise characterizations of their limiting behaviors. We prove that the Ricci flow converges to metric with zero curvature on edges whose normalized weights converge to positive values only if the tree is a caterpillar tree.

math.DG↗