-
Existence and Nonexistence of Extremals for Trudinger-Moser inequalities with $L^p$ type perturbation on any bounded planar domains
Authors:
Lu Chen,
Rou Jiang,
Guozhen Lu,
Maochun Zhu
Abstract:
In this study, we investigate the perturbed Trudinger-Moser inequalities as follows:\[ S_Ω(λ,p)=\sup_{u\in H_{0}^{1}(Ω),\Vert\nabla u\Vert _{L^{2}\left( Ω\right) }\leq 1}\int_Ω\left( e^{4πu^{2}}-λ|u|^{p}\right) dx, \] where $1\leq p<\infty$ and $Ω$ is a bounded domain in $\mathbb{R}^2$. Our results demonstrate that there exists a threshold $λ^{\ast}(p)>0$ such that $S_Ω(λ,p)$ is attainable if…
▽ More
In this study, we investigate the perturbed Trudinger-Moser inequalities as follows:\[ S_Ω(λ,p)=\sup_{u\in H_{0}^{1}(Ω),\Vert\nabla u\Vert _{L^{2}\left( Ω\right) }\leq 1}\int_Ω\left( e^{4πu^{2}}-λ|u|^{p}\right) dx, \] where $1\leq p<\infty$ and $Ω$ is a bounded domain in $\mathbb{R}^2$. Our results demonstrate that there exists a threshold $λ^{\ast}(p)>0$ such that $S_Ω(λ,p)$ is attainable if $λ<λ^{\ast}(p)$, but unattainable if $λ>λ^{\ast}(p)$ when $p\in[1,2]$. For $p>2$, however, we show that $S_Ω(λ,p)$ is always attainable for any $λ\in \mathbb{R}$. These results are achieved through a refined blow-up analysis, which allow us to establish a sharp Dirichlet energy expansion formula for sequences of solutions to the corresponding Euler-Lagrange equations. The asymmetric nature of our problem poses significant challenges to our analysis. To address these, we will establish an appropriate comparison principle between radial and non-radial solutions of the associated Euler-Lagrange equations. Our study establishes a complete characterization of how $L^p$-type perturbations influence the existence of extremals for critical Trudinger-Moser inequalities on any bounded planar domains, this extends the classical Brezis-Nirenberg problem framework to the two-dimensional settings.
△ Less
Submitted 28 June, 2025;
originally announced June 2025.
-
Boundedness of polarized log Calabi-Yau fibrations with bounded bases
Authors:
Xiaowei Jiang,
Junpeng Jiao,
Minzhe Zhu
Abstract:
We investigate the boundedness problem for log Calabi-Yau fibrations whose bases and general fibers are bounded. We prove that the total spaces of log Calabi-Yau fibrations are bounded in codimension one after fixing some natural invariants. We also prove that the total spaces are bounded if, in addition, the irregularity of the general fibers vanishes. Then we apply our results to the boundedness…
▽ More
We investigate the boundedness problem for log Calabi-Yau fibrations whose bases and general fibers are bounded. We prove that the total spaces of log Calabi-Yau fibrations are bounded in codimension one after fixing some natural invariants. We also prove that the total spaces are bounded if, in addition, the irregularity of the general fibers vanishes. Then we apply our results to the boundedness problem for stable minimal models and fibered Calabi-Yau varieties.
△ Less
Submitted 7 April, 2025;
originally announced April 2025.
-
Feasible Path SQP Algorithm for Simulation-based Optimization Surrogated with Differentiable Machine Learning Models
Authors:
Zixuan Zhang,
Xiaowei Song,
Yujiao Zeng,
Jie Li,
Yaling Nie,
Min Zhu,
Jianhua Chen,
Linmin Wang,
Xin Xiao
Abstract:
With the development of artificial intelligence, simulation-based optimization problems, which present a significant challenge in the process systems engineering community, are increasingly being addressed with the surrogate-based framework. In this work, we propose a deterministic algorithm framework based on feasible path sequential quadratic programming for optimizing differentiable machine lea…
▽ More
With the development of artificial intelligence, simulation-based optimization problems, which present a significant challenge in the process systems engineering community, are increasingly being addressed with the surrogate-based framework. In this work, we propose a deterministic algorithm framework based on feasible path sequential quadratic programming for optimizing differentiable machine learning models embedded problems. The proposed framework effectively addresses two key challenges: (i) achieving the computation of first- and second-order derivatives of machine learning models' outputs with respect to inputs; and (ii) by introducing the feasible path method, the massive intermediate variables resulting from the algebraic formulation of machine learning models eliminated. Surrogate models for six test functions and two process simulations were established and optimized. All six test functions were successfully optimized to the global optima, demonstrating the framework's effectiveness. The optimization time for all cases did not exceed 2s, highlighting the efficiency of the algorithm.
△ Less
Submitted 29 January, 2025;
originally announced January 2025.
-
Orthogonal polynomials: from Heun equations to Painlevé equations
Authors:
Mengkun Zhu,
Yuting Chen,
Jianduo Yu,
Chuanzhong Li
Abstract:
In this paper, we {\color{black}study four kinds of polynomials orthogonal with the singularly perturbed Gaussian weight $w_{\rm SPG}(x)$, the deformed Freud weight $w_{\rm DF}(x)$, the jumpy Gaussian weight $w_{\rm JG}(x)$, and the Jacobi-type weight $w_{\rm {\color{black}JC}}(x)$. The second order linear differential equations satisfied by these orthogonal polynomials and the associated Heun equ…
▽ More
In this paper, we {\color{black}study four kinds of polynomials orthogonal with the singularly perturbed Gaussian weight $w_{\rm SPG}(x)$, the deformed Freud weight $w_{\rm DF}(x)$, the jumpy Gaussian weight $w_{\rm JG}(x)$, and the Jacobi-type weight $w_{\rm {\color{black}JC}}(x)$. The second order linear differential equations satisfied by these orthogonal polynomials and the associated Heun equations are presented. Utilizing the method of isomonodromic deformations from [J. Dereziński, A. Ishkhanyan, A. Latosiński, SIGMA 17 (2021), 056], we transform these Heun equations into Painlevé equations. It is interesting that the Painlevé equations obtained by the way in this work are same as the results satisfied by the related three term recurrence coefficients or the auxiliaries studied by other authors. In addition, we discuss the asymptotic behaviors of the Hankel determinant generated by the first weight, $w_{\rm SPG}(x)$, under a suitable double scalings for large $s$ and small $s$, where the Dyson's constant is recovered.}
△ Less
Submitted 19 December, 2024;
originally announced December 2024.
-
Stability and Generalization for Distributed SGDA
Authors:
Miaoxi Zhu,
Yan Sun,
Li Shen,
Bo Du,
Dacheng Tao
Abstract:
Minimax optimization is gaining increasing attention in modern machine learning applications. Driven by large-scale models and massive volumes of data collected from edge devices, as well as the concern to preserve client privacy, communication-efficient distributed minimax optimization algorithms become popular, such as Local Stochastic Gradient Descent Ascent (Local-SGDA), and Local Decentralize…
▽ More
Minimax optimization is gaining increasing attention in modern machine learning applications. Driven by large-scale models and massive volumes of data collected from edge devices, as well as the concern to preserve client privacy, communication-efficient distributed minimax optimization algorithms become popular, such as Local Stochastic Gradient Descent Ascent (Local-SGDA), and Local Decentralized SGDA (Local-DSGDA). While most existing research on distributed minimax algorithms focuses on convergence rates, computation complexity, and communication efficiency, the generalization performance remains underdeveloped, whereas generalization ability is a pivotal indicator for evaluating the holistic performance of a model when fed with unknown data. In this paper, we propose the stability-based generalization analytical framework for Distributed-SGDA, which unifies two popular distributed minimax algorithms including Local-SGDA and Local-DSGDA, and conduct a comprehensive analysis of stability error, generalization gap, and population risk across different metrics under various settings, e.g., (S)C-(S)C, PL-SC, and NC-NC cases. Our theoretical results reveal the trade-off between the generalization gap and optimization error and suggest hyperparameters choice to obtain the optimal population risk. Numerical experiments for Local-SGDA and Local-DSGDA validate the theoretical results.
△ Less
Submitted 14 November, 2024;
originally announced November 2024.
-
Existence of normalized solutions to Choquard equation with general mixed nonlinearities
Authors:
Meiling Zhu,
Xinfu Li
Abstract:
We study the existence of normalized solutions to the following Choquard equation with $F$ being a Berestycki-Lions type function \begin{equation*} \begin{cases} -Δu+λu=(I_α\ast F(u))f(u),\quad \text{in}\ \mathbb{R}^N, \\ \int_{\mathbb{R}^N}|u|^2dx=ρ^2, \end{cases} \end{equation*} where $N\geq 3$, $ρ>0$ is assigned, $α\in (0,N)$, $I_α$ is the Riesz potential, and $λ\in \mathbb{R}$ is an unknown pa…
▽ More
We study the existence of normalized solutions to the following Choquard equation with $F$ being a Berestycki-Lions type function \begin{equation*} \begin{cases} -Δu+λu=(I_α\ast F(u))f(u),\quad \text{in}\ \mathbb{R}^N, \\ \int_{\mathbb{R}^N}|u|^2dx=ρ^2, \end{cases} \end{equation*} where $N\geq 3$, $ρ>0$ is assigned, $α\in (0,N)$, $I_α$ is the Riesz potential, and $λ\in \mathbb{R}$ is an unknown parameter that appears as a Lagrange multiplier. Here, the general nonlinearity $F$ contains the $L^2$-subcritical and $L^2$-supercritical mixed case, the Hardy-Littlewood-Sobolev lower critical and upper critical cases.
△ Less
Submitted 19 August, 2024;
originally announced August 2024.
-
Min-max theory and existence of H-spheres with arbitrary codimensions
Authors:
Rui Gao,
Miaomiao Zhu
Abstract:
We demonstrate the existence of branched immersed 2-spheres with prescribed mean curvature, with controlled Morse index and with arbitrary codimensions in closed Riemannian manifold $N$ admitting finite fundamental group, where $π_k(N) \neq 0$ and $k \geq 2$, for certain generic choice of prescribed mean curvature vector. Moreover, we enhance this existence result to encompass all possible choices…
▽ More
We demonstrate the existence of branched immersed 2-spheres with prescribed mean curvature, with controlled Morse index and with arbitrary codimensions in closed Riemannian manifold $N$ admitting finite fundamental group, where $π_k(N) \neq 0$ and $k \geq 2$, for certain generic choice of prescribed mean curvature vector. Moreover, we enhance this existence result to encompass all possible choices of prescribed mean curvatures under certain Ricci curvature condition on $N$ when $\dim{N} = 3$. When $\dim{N} \geq 4$, we establish a Morse index lower bound while $N$ satisfies some isotropic curvature condition. As a consequence, we can leverage latter strengthened result to construct 2-spheres with parallel mean curvature when $N$ has positive isotropic curvature and $\dim{N} \geq 4$. At last, we partially resolve the homotopy problem concerning the existence of a representative surface with prescribed mean curvature type vector field in some given homotopy classes.
△ Less
Submitted 16 July, 2024;
originally announced July 2024.
-
The stability of sheath to the nonisentropic Euler-Poisson system with fluid-boundary interaction
Authors:
Haiyan Yin,
Rong Zeng,
Mengmeng Zhu
Abstract:
In the present paper, we define the sheath by a monotone stationary solution to the nonisentropic Euler-Poisson system under a condition known as the Bohm criterion and consider a situation in which charged particles accumulate on the boundary due to the flux from the inner region. Under this fluid-boundary interactive setting, we prove the large time asymptotic stability of the sheath provided th…
▽ More
In the present paper, we define the sheath by a monotone stationary solution to the nonisentropic Euler-Poisson system under a condition known as the Bohm criterion and consider a situation in which charged particles accumulate on the boundary due to the flux from the inner region. Under this fluid-boundary interactive setting, we prove the large time asymptotic stability of the sheath provided that the initial perturbation is sufficiently small in some weighted Sobolev spaces. Moreover, the convergence rate of the solution toward the sheath is obtained. The proof is based on the weighted energy method.
△ Less
Submitted 16 June, 2024;
originally announced June 2024.
-
On graphs without cycles of length 0 modulo 4
Authors:
Ervin Győri,
Binlong Li,
Nika Salia,
Casey Tompkins,
Kitti Varga,
Manran Zhu
Abstract:
Bollobás proved that for every $k$ and $\ell$ such that $k\mathbb{Z}+\ell$ contains an even number, an $n$-vertex graph containing no cycle of length $\ell \bmod k$ can contain at most a linear number of edges. The precise (or asymptotic) value of the maximum number of edges in such a graph is known for very few pairs $\ell$ and $k$. In this work we precisely determine the maximum number of edges…
▽ More
Bollobás proved that for every $k$ and $\ell$ such that $k\mathbb{Z}+\ell$ contains an even number, an $n$-vertex graph containing no cycle of length $\ell \bmod k$ can contain at most a linear number of edges. The precise (or asymptotic) value of the maximum number of edges in such a graph is known for very few pairs $\ell$ and $k$. In this work we precisely determine the maximum number of edges in a graph containing no cycle of length $0 \bmod 4$.
△ Less
Submitted 15 December, 2023;
originally announced December 2023.
-
Boundedness of stable minimal models with klt singularities
Authors:
Minzhe Zhu
Abstract:
We investigate the singularities and boundedness of a special kind of algebraic varieties so-called stable minimal models, which are constructed and studied by Birkar. Given a klt stable minimal model with bounded relative volume, if we fix the dimension, Iitaka volume, and a DCC set controlling coefficients, then we show that the singularities of the klt stable minimal model can be controlled uni…
▽ More
We investigate the singularities and boundedness of a special kind of algebraic varieties so-called stable minimal models, which are constructed and studied by Birkar. Given a klt stable minimal model with bounded relative volume, if we fix the dimension, Iitaka volume, and a DCC set controlling coefficients, then we show that the singularities of the klt stable minimal model can be controlled uniformly. Furthermore, we prove that with certain bounded data, stable minimal models with klt singularities form a bounded family.
△ Less
Submitted 28 January, 2025; v1 submitted 21 November, 2023;
originally announced November 2023.
-
Stability and Generalization of the Decentralized Stochastic Gradient Descent Ascent Algorithm
Authors:
Miaoxi Zhu,
Li Shen,
Bo Du,
Dacheng Tao
Abstract:
The growing size of available data has attracted increasing interest in solving minimax problems in a decentralized manner for various machine learning tasks. Previous theoretical research has primarily focused on the convergence rate and communication complexity of decentralized minimax algorithms, with little attention given to their generalization. In this paper, we investigate the primal-dual…
▽ More
The growing size of available data has attracted increasing interest in solving minimax problems in a decentralized manner for various machine learning tasks. Previous theoretical research has primarily focused on the convergence rate and communication complexity of decentralized minimax algorithms, with little attention given to their generalization. In this paper, we investigate the primal-dual generalization bound of the decentralized stochastic gradient descent ascent (D-SGDA) algorithm using the approach of algorithmic stability under both convex-concave and nonconvex-nonconcave settings. Our theory refines the algorithmic stability in a decentralized manner and demonstrates that the decentralized structure does not destroy the stability and generalization of D-SGDA, implying that it can generalize as well as the vanilla SGDA in certain situations. Our results analyze the impact of different topologies on the generalization bound of the D-SGDA algorithm beyond trivial factors such as sample sizes, learning rates, and iterations. We also evaluate the optimization error and balance it with the generalization gap to obtain the optimal population risk of D-SGDA in the convex-concave setting. Additionally, we perform several numerical experiments which validate our theoretical findings.
△ Less
Submitted 31 October, 2023;
originally announced October 2023.
-
Optimal concentration level of anisotropic Trudinger-Moser functionals on any bounded domain
Authors:
Lu Chen,
Rou Jiang,
Maochun Zhu
Abstract:
Let $F$ be convex and homogeneous of degree $1$, its polar $F^{o}$ represent a finsler metric on $\mathbb{R}^{n}$, and $Ω$ be any bounded open set in $\mathbb{R}^{n}$. In this paper, we first construct the theoretical structure of anisotropic harmonic transplantation. Using the anisotropic harmonic transplantation, co-area formula, limiting Sobolev approximation method, delicate estimate of level…
▽ More
Let $F$ be convex and homogeneous of degree $1$, its polar $F^{o}$ represent a finsler metric on $\mathbb{R}^{n}$, and $Ω$ be any bounded open set in $\mathbb{R}^{n}$. In this paper, we first construct the theoretical structure of anisotropic harmonic transplantation. Using the anisotropic harmonic transplantation, co-area formula, limiting Sobolev approximation method, delicate estimate of level set of Green function, we investigate the optimal concentration level of the Trudinger-Moser functional \[ \int_Ωe^{λ_{n}|u|^{\frac{n}{n-1}}}dx \] under the anisotropic Dirichlet norm constraint $\int_ΩF^{n}\left( \nabla{u}\right) dx\leq1$, where $λ_{n}=n^{\frac{n}{n-1}}κ_{n}^{\frac{1}{n-1}}\ $ denotes the sharp constant of anisotropic Trudinger-Moser inequality in bounded domain and $κ_{n}$ is the Lebesgue measure of the unit Wulff ball. As an application. we can immediately deduce the existence of extremals for anisotropic Trudinger-Moser inequality on bounded domain. Finally, we also consider the optimal concentration level of the anisotropic singular Trudinger-Moser functional. The method is based on the limiting Hardy-Sobolev approximation method and constructing a suitable normalized anisotropic concentrating sequence.
△ Less
Submitted 18 September, 2024; v1 submitted 28 October, 2023;
originally announced October 2023.
-
A sharp trace Adams' inequality in $\mathbb{R}^{4}$ and Existence of the extremals
Authors:
Lu Chen,
Guozhen Lu,
Maochun Zhu
Abstract:
Let $Ω\subseteq \mathbb{R}^{4}$ be a bounded domain with smooth boundary $\partialΩ$. In this paper, we establish the following sharp form of the trace Adams' inequality in $W^{2,2}(Ω)$ with
zero mean value and zero Neumann boundary condition: \begin{equation*} S(α)=\underset{\int_Ωudx=0,\frac{\partial u}{\partialν}|_{\partialΩ}=0,\VertΔu\Vert_{2}\leq{1}}{\underset {u\in{W^{2,2}(Ω)\setminus\{0\}…
▽ More
Let $Ω\subseteq \mathbb{R}^{4}$ be a bounded domain with smooth boundary $\partialΩ$. In this paper, we establish the following sharp form of the trace Adams' inequality in $W^{2,2}(Ω)$ with
zero mean value and zero Neumann boundary condition: \begin{equation*} S(α)=\underset{\int_Ωudx=0,\frac{\partial u}{\partialν}|_{\partialΩ}=0,\VertΔu\Vert_{2}\leq{1}}{\underset {u\in{W^{2,2}(Ω)\setminus\{0\}}}{\sup}}\int_{\partial Ω} e^{αu^{2}}dσ<\infty \end{equation*} holds if and only if $ α\leq12π^2$.
Moreover, we prove a classification theorem for the solutions of a class of nonlinear boundary value problem of bi-harmonic equations on the half space $\mathbb{R}^4_{+}$. With this classification result, we can show that $S({12π^2})$ is attained by using the blow-up analysis and capacitary estimate. As an application, we prove a sharp trace Adams-Onofri type inequality in general four dimensional bounded domains with smooth boundary.
△ Less
Submitted 30 August, 2023;
originally announced August 2023.
-
A direct approach to sharp Li-Yau Estimates on closed manifolds with negative Ricci lower bound
Authors:
Xingyu Song,
Ling Wu,
Meng Zhu
Abstract:
Recently, Qi S.Zhang [26] has derived a sharp Li-Yau estimate for positive solutions of the heat equation on closed Riemannian manifolds with the Ricci curvature bounded below by a negative constant. The proof is based on an integral iteration argument which utilizes Hamilton's gradient estimate, heat kernel Gaussian bounds and parabolic Harnack inequality.
In this paper, we show that the sharp…
▽ More
Recently, Qi S.Zhang [26] has derived a sharp Li-Yau estimate for positive solutions of the heat equation on closed Riemannian manifolds with the Ricci curvature bounded below by a negative constant. The proof is based on an integral iteration argument which utilizes Hamilton's gradient estimate, heat kernel Gaussian bounds and parabolic Harnack inequality.
In this paper, we show that the sharp Li-Yau estimate can actually be obtained directly following the classical maximum principle argument, which simplifies the proof in [26]. In addition, we apply the same idea to the heat and conjugate heat equations under the Ricci flow and prove some Li-Yau type estimates with optimal coefficients.
△ Less
Submitted 24 August, 2023; v1 submitted 7 July, 2023;
originally announced July 2023.
-
Heat kernel estimate for the Laplace-Beltrami operator under Bakry-Émery Ricci curvature condition and applications
Authors:
Xingyu Song,
Ling Wu,
Meng Zhu
Abstract:
We establish a Gaussian upper bound of the heat kernel for the Laplace-Beltrami operator on complete Riemannian manifolds with Bakry-Émery Ricci curvature bounded below. As applications, we first prove an L^1-Liouville property for non-negative subharmonic functions when the potential function of the Bakry-Émery Ricci curvature tensor is of at most quadratic growth. Then we derive lower bounds of…
▽ More
We establish a Gaussian upper bound of the heat kernel for the Laplace-Beltrami operator on complete Riemannian manifolds with Bakry-Émery Ricci curvature bounded below. As applications, we first prove an L^1-Liouville property for non-negative subharmonic functions when the potential function of the Bakry-Émery Ricci curvature tensor is of at most quadratic growth. Then we derive lower bounds of the eigenvalues of the Laplace-Beltrami operator on closed manifolds. An upper bound of the bottom spectrum is also obtained.
△ Less
Submitted 26 June, 2023; v1 submitted 22 June, 2023;
originally announced June 2023.
-
Linear stability of compact shrinking Ricci solitons
Authors:
Huai-Dong Cao,
Meng Zhu
Abstract:
In this paper, we continue investigating the second variation of Perelman's $ν$-entropy for compact shrinking Ricci solitons. In particular, we improve some of our previous work in "H.-D. Cao and M. Zhu, Math. Ann. 353 (2012), No. 3, 747-763", as well as the more recent work in "M. Mehrmohamadi and A. Razavi, arXiv:2104.08343", and obtain a necessary and sufficient condition for a compact shrinkin…
▽ More
In this paper, we continue investigating the second variation of Perelman's $ν$-entropy for compact shrinking Ricci solitons. In particular, we improve some of our previous work in "H.-D. Cao and M. Zhu, Math. Ann. 353 (2012), No. 3, 747-763", as well as the more recent work in "M. Mehrmohamadi and A. Razavi, arXiv:2104.08343", and obtain a necessary and sufficient condition for a compact shrinking Ricci soliton to be linearly stable. Our work also extends similar results of Hamilton, Ilmanen and the first author in "arXiv:math.DG/0404165" (see also "H.-D. Cao and C. He, J. Reine Angew. Math. 2015 (2015), no. 709, 229-246.") for positive Einstein manifolds to the compact shrinking Ricci soliton case.
△ Less
Submitted 2 February, 2024; v1 submitted 3 April, 2023;
originally announced April 2023.
-
Dynamic Game of the Dual-Channel Supply Chain Under a Carbon Subsidy Policy
Authors:
Yi Tian,
Li Zhao,
Meihong Zhu
Abstract:
This study investigates the dynamic game behaviors of dual-channel supply chains involving an oligopoly manufacturer selling low-carbon products to online and offline retailers. The price game models under government subsidy are discussed under three scenarios: (1) simultaneous decision, (2) manufacturer dominates the market, and (3) retailer dominates the market. The equilibrium strategies are co…
▽ More
This study investigates the dynamic game behaviors of dual-channel supply chains involving an oligopoly manufacturer selling low-carbon products to online and offline retailers. The price game models under government subsidy are discussed under three scenarios: (1) simultaneous decision, (2) manufacturer dominates the market, and (3) retailer dominates the market. The equilibrium strategies are compared under the government subsidy policy. Using numerical simulation,complex characteristics of the dual-channel supply chain under the carbon subsidy policy are investigated. The complexity of wholesale price and sales commission of each channel are analyzed by bifurcation, largest Lyapunov exponent and basin of attraction diagrams. Furthermore,parameter adjustment and delayed feedback control methods are proven to be effective approaches to chaos control.
△ Less
Submitted 25 March, 2023;
originally announced March 2023.
-
On explicit birational geometry for polarised varieties
Authors:
Minzhe Zhu
Abstract:
In this paper, we investigate the explicit birational geometry for projective $ε$-lc varieties polarised by nef and big Weil divisors. We show that if $X$ is a projective $ε$-lc variety, $H$ is a nef and big Weil divisor with $\dim\overline{\varphi_{H}(X)}\geq n-1$ and $L$ is an effective Weil divisor such that $|L-K_X|\neq \emptyset$ or $L-K_X$ is nef, then we can find an explicit lower bound of…
▽ More
In this paper, we investigate the explicit birational geometry for projective $ε$-lc varieties polarised by nef and big Weil divisors. We show that if $X$ is a projective $ε$-lc variety, $H$ is a nef and big Weil divisor with $\dim\overline{\varphi_{H}(X)}\geq n-1$ and $L$ is an effective Weil divisor such that $|L-K_X|\neq \emptyset$ or $L-K_X$ is nef, then we can find an explicit lower bound of $\text{vol}(H)$ and prove that $|L+m^\prime H|$ is birational for $m^\prime\geq m$, where $m$ is an explicit number which depends only on $n$ and $ε$. This result can be applied to polarised Calabi-Yau varieties, Fano varieties and varieties of general type, generalizing the results in [CEW22] and [Zhu23].
△ Less
Submitted 21 March, 2023;
originally announced March 2023.
-
Specification-Guided Critical Scenario Identification for Automated Driving
Authors:
Adam Molin,
Edgar A. Aguilar,
Dejan Ničković,
Mengjia Zhu,
Alberto Bemporad,
Hasan Esen
Abstract:
To test automated driving systems, we present a case study for finding critical scenarios in driving environments guided by formal specifications. To that aim, we devise a framework for critical scenario identification, which we base on open-source libraries that combine scenario specification, testing, formal methods, and optimization.
To test automated driving systems, we present a case study for finding critical scenarios in driving environments guided by formal specifications. To that aim, we devise a framework for critical scenario identification, which we base on open-source libraries that combine scenario specification, testing, formal methods, and optimization.
△ Less
Submitted 9 March, 2023;
originally announced March 2023.
-
Global and Preference-based Optimization with Mixed Variables using Piecewise Affine Surrogates
Authors:
Mengjia Zhu,
Alberto Bemporad
Abstract:
Optimization problems involving mixed variables (i.e., variables of numerical and categorical nature) can be challenging to solve, especially in the presence of mixed-variable constraints. Moreover, when the objective function is the result of a complicated simulation or experiment, it may be expensive-to-evaluate. This paper proposes a novel surrogate-based global optimization algorithm to solve…
▽ More
Optimization problems involving mixed variables (i.e., variables of numerical and categorical nature) can be challenging to solve, especially in the presence of mixed-variable constraints. Moreover, when the objective function is the result of a complicated simulation or experiment, it may be expensive-to-evaluate. This paper proposes a novel surrogate-based global optimization algorithm to solve linearly constrained mixed-variable problems up to medium size (around 100 variables after encoding). The proposed approach is based on constructing a piecewise affine surrogate of the objective function over feasible samples. We assume the objective function is black-box and expensive-to-evaluate, while the linear constraints are quantifiable, unrelaxable, a priori known, and are cheap to evaluate. We introduce two types of exploration functions to efficiently search the feasible domain via mixed-integer linear programming solvers. We also provide a preference-based version of the algorithm designed for situations where only pairwise comparisons between samples can be acquired, while the underlying objective function to minimize remains unquantified. The two algorithms are evaluated on several unconstrained and constrained mixed-variable benchmark problems. The results show that, within a small number of required experiments/simulations, the proposed algorithms can often achieve better or comparable results than other existing methods.
△ Less
Submitted 11 December, 2024; v1 submitted 9 February, 2023;
originally announced February 2023.
-
On explicit birational geometry for weak Fano varieties and polarised Calabi-Yau varieties
Authors:
Minzhe Zhu
Abstract:
Given a natural number $l$ and a weak Fano $n$-fold $X$ with $\operatorname{dim}\overline{\varphi_{-lK_X}(X)}\geq n-1$, we study the lower bound of the anti-canonical volume and the upper bound of the anti-canonical stability index. The method can also be used to give similar bounds for polarised Calabi-Yau varieties.
Given a natural number $l$ and a weak Fano $n$-fold $X$ with $\operatorname{dim}\overline{\varphi_{-lK_X}(X)}\geq n-1$, we study the lower bound of the anti-canonical volume and the upper bound of the anti-canonical stability index. The method can also be used to give similar bounds for polarised Calabi-Yau varieties.
△ Less
Submitted 18 January, 2023;
originally announced January 2023.
-
On Existence Theorems for Conditional Inferential Models
Authors:
Rongrong Zhang,
Michael Y. Zhu,
Chuanhai Liu
Abstract:
The framework of Inferential Models (IMs) has recently been developed in search of what is referred to as the holy grail of statistical theory, that is, prior-free probabilistic inference. Its method of Conditional IMs (CIMs) is a critical component in that it serves as a desirable extension of the Bayes theorem for combining information when no prior distribution is available. The general form of…
▽ More
The framework of Inferential Models (IMs) has recently been developed in search of what is referred to as the holy grail of statistical theory, that is, prior-free probabilistic inference. Its method of Conditional IMs (CIMs) is a critical component in that it serves as a desirable extension of the Bayes theorem for combining information when no prior distribution is available. The general form of CIMs is defined by a system of first-order homogeneous linear partial differential equations (PDEs). When admitting simple solutions, they are referred to as regular, whereas when no regular CIMs exist, they are used as the so-called local CIMs. This paper provides conditions for regular CIMs, which are shown to be equivalent to the existence of a group-theoretical representation of the underlying statistical model. It also establishes existence theorems for CIMs, which state that under mild conditions, local CIMs always exist. Finally, the paper concludes with a simple example and a few remarks on future developments of CIMs for applications to popular but inferentially nontrivial statistical models.
△ Less
Submitted 12 January, 2023;
originally announced January 2023.
-
Packing $1.35\cdot 10^{11}$ rectangles into a unit square
Authors:
Mingliang Zhu,
Antal Joós
Abstract:
It is known that $\sum\limits_{i=1}^{\infty} \frac{1}{i (i+1)} = 1$. In 1968, Meir and Moser asked for finding the smallest $ε$ such that all the rectangles of sizes $1/i \times 1/(i + 1)$ for $i = 1, 2, \ldots$, can be packed into a unit square or a rectangle of area $1 + ε$. In this paper, we show that we can pack the first $1.35\cdot10^{11}$ rectangles into the unit square and give an estimate…
▽ More
It is known that $\sum\limits_{i=1}^{\infty} \frac{1}{i (i+1)} = 1$. In 1968, Meir and Moser asked for finding the smallest $ε$ such that all the rectangles of sizes $1/i \times 1/(i + 1)$ for $i = 1, 2, \ldots$, can be packed into a unit square or a rectangle of area $1 + ε$. In this paper, we show that we can pack the first $1.35\cdot10^{11}$ rectangles into the unit square and give an estimate for $ε$ from this packing.
△ Less
Submitted 17 November, 2022;
originally announced November 2022.
-
Uniqueness of positive solutions to elliptic equations with the critical exponential growth on the unit disc and its applications
Authors:
Lu Chen,
Guozhen Lu,
Ying Xue,
Maochun Zhu
Abstract:
In this paper, we will solve this uniqueness problem of positive solutions to the following equations of exponential growth: \begin{equation*} \begin{cases} -Δu =λue^{u^2},\quad\quad & x\in B_1\subset \mathbb{R}^2,\\ u>0, & x\in B_1,\ \\ u=0,\quad\quad &x\in \partial B_1, \end{cases} \end{equation*} where $ 0<λ<λ_1(B_1)$ and $λ_1(B_1)$ denotes the first eigenvalue of the operator $-Δ$ with the Dir…
▽ More
In this paper, we will solve this uniqueness problem of positive solutions to the following equations of exponential growth: \begin{equation*} \begin{cases} -Δu =λue^{u^2},\quad\quad & x\in B_1\subset \mathbb{R}^2,\\ u>0, & x\in B_1,\ \\ u=0,\quad\quad &x\in \partial B_1, \end{cases} \end{equation*} where $ 0<λ<λ_1(B_1)$ and $λ_1(B_1)$ denotes the first eigenvalue of the operator $-Δ$ with the Dirichlet boundary in unit disk. Our method relies on delicate and difficult analysis of radial solutions to the above equation and careful asymptotic expansion of solutions near the boundary. This uniqueness result will shed some light on solving the conjecture that maximizers of the Trudinger-Moser inequality on the unit disc are unique. Furthermore, based on this uniqueness result, we develop a new strategy to establish the quantization property of elliptic equations with the critical exponential growth in the balls of hyperbolic spaces, and obtain the multiplicity and non-existence of positive critical points for super-critical Trudinger-Moser functional. Our method for the quantization property and non-existence of the critical points avoids using the complicated blow-up analysis used in the literature. This method can also be applied to study the similar problems in balls of high dimensional Euclidean space $\mathbb{R}^n$ or hyperbolic spaces provided the uniqueness for the corresponding quasilinear elliptic equations with the critical exponential growth is established.
△ Less
Submitted 30 October, 2022;
originally announced October 2022.
-
How a Small Amount of Data Sharing Benefits Distributed Optimization and Learning : The Upside of Data Heterogeneity
Authors:
Mingxi Zhu,
Yinyu Ye
Abstract:
Distributed optimization algorithms are widely used in machine learning. This paper investigates how a small amount of data sharing can improve their performance. Focusing on general linear models, we analyze the effects of data sharing on both primal and primal-dual optimization methods. Our contributions are threefold. First, from a theoretical perspective, we show that minimal data sharing impr…
▽ More
Distributed optimization algorithms are widely used in machine learning. This paper investigates how a small amount of data sharing can improve their performance. Focusing on general linear models, we analyze the effects of data sharing on both primal and primal-dual optimization methods. Our contributions are threefold. First, from a theoretical perspective, we show that minimal data sharing improves algorithmic performance by shifting data from less favorable to more favorable structures. Contrary to the common belief that data heterogeneity is always harmful, we prove that while heterogeneity generally slows convergence in primal methods such as FedAvg and distributed PCG, it can accelerate convergence in primal-dual consensus algorithms like distributed ADMM, Fed-ADMM, and EXTRA by enriching dual dynamics. This reveals a form of duality in how heterogeneity affects different algorithm families. Second, building on this insight, we design a meta-algorithm for minimal data sharing, adaptable to both primal and primal-dual methods. We show that with as little as 1 percent shared data, convergence can be significantly accelerated across machine learning tasks. Finally, we argue from a broader perspective that even limited collaboration can yield large synergies, an idea that transcends the optimization context. Our findings provide both theoretical and practical guidance for improving distributed learning through minimal cooperation and motivate further exploration of cross-agent collaboration in solving complex global learning problems.
△ Less
Submitted 15 May, 2025; v1 submitted 20 August, 2022;
originally announced August 2022.
-
Multiplicity and orbital stability of normalized solutions to non-autonomous Schrödinger equation with mixed nonlinearities
Authors:
Xinfu Li,
Li Xu,
Meiling Zhu
Abstract:
This paper studies the multiplicity of normalized solutions to the Schrödinger equation with mixed nonlinearities \begin{equation*} \begin{cases} -Δu=λu+h(εx)|u|^{q-2}u+η|u|^{p-2}u,\quad x\in \mathbb{R}^N, \\ \int_{\mathbb{R}^N}|u|^2dx=a^2, \end{cases} \end{equation*} where $a, ε, η>0$, $q$ is $L^2$-subcritical, $p$ is $L^2$-supercritical, $λ\in \mathbb{R}$ is an unknown parameter that appears as…
▽ More
This paper studies the multiplicity of normalized solutions to the Schrödinger equation with mixed nonlinearities \begin{equation*} \begin{cases} -Δu=λu+h(εx)|u|^{q-2}u+η|u|^{p-2}u,\quad x\in \mathbb{R}^N, \\ \int_{\mathbb{R}^N}|u|^2dx=a^2, \end{cases} \end{equation*} where $a, ε, η>0$, $q$ is $L^2$-subcritical, $p$ is $L^2$-supercritical, $λ\in \mathbb{R}$ is an unknown parameter that appears as a Lagrange multiplier, $h$ is a positive and continuous function. It is proved that the numbers of normalized solutions are at least the numbers of global maximum points of $h$ when $ε$ is small enough. Moreover, the orbital stability of the solutions obtained is analyzed as well. In particular, our results cover the Sobolev critical case $p=2N/(N-2)$.
△ Less
Submitted 17 July, 2022;
originally announced July 2022.
-
Hardy-Sobolev inequalities with distance to the boundary weight functions
Authors:
Lei Wang,
Meijun Zhu
Abstract:
This is the first part of our research on certain sharp Hardy-Sobolev inequalities and the related elliptic equations. In this part we shall establish some sharp weighted Hardy-Sobolev inequalities whose weights are distance functions to the boundary.
This is the first part of our research on certain sharp Hardy-Sobolev inequalities and the related elliptic equations. In this part we shall establish some sharp weighted Hardy-Sobolev inequalities whose weights are distance functions to the boundary.
△ Less
Submitted 29 June, 2022;
originally announced June 2022.
-
Frame set for Gabor systems with Haar window
Authors:
Xin-Rong Dai,
Meng Zhu
Abstract:
We show the full structure of the frame set for the Gabor system $\mathcal{G}(g;α,β):=\{e^{-2πi mβ\cdot}g(\cdot-nα):m,n\in\Bbb Z\}$ with the window being the Haar function $g=-χ_{[-1/2,0)}+χ_{[0,1/2)}$. The strategy of this paper is to introduce the piecewise linear transformation $\mathcal{M}$ on the unit circle, and to provide a complete characterization of structures for its (symmetric) maximal…
▽ More
We show the full structure of the frame set for the Gabor system $\mathcal{G}(g;α,β):=\{e^{-2πi mβ\cdot}g(\cdot-nα):m,n\in\Bbb Z\}$ with the window being the Haar function $g=-χ_{[-1/2,0)}+χ_{[0,1/2)}$. The strategy of this paper is to introduce the piecewise linear transformation $\mathcal{M}$ on the unit circle, and to provide a complete characterization of structures for its (symmetric) maximal invariant sets. This transformation is related to the famous three gap theorem of Steinhaus which may be of independent interest. Furthermore, a classical criterion on Gabor frames is improved, which allows us to establish {a} necessary and sufficient condition for the Gabor system $\mathcal{G}(g;α,β)$ to be a frame, i.e., the symmetric invariant set of the transformation $\mathcal{M}$ is empty.
Compared with the previous studies, the present paper provides a self-contained environment to study Gabor frames by a new perspective, which includes that the techniques developed here are new and all the proofs could be understood thoroughly by the readers without reference to the known results in the previous literature.
△ Less
Submitted 13 May, 2022;
originally announced May 2022.
-
Some integral inequalities on weighted Riemannian manifolds with boundary
Authors:
Guangyue Huang,
Mingfang Zhu
Abstract:
In this paper, we continue to study some applications with respect to a Reilly type integral formula associated with the $φ$-Laplacian. Some inequalities of Brascamp-Lieb type and Colesanti type are provided.
In this paper, we continue to study some applications with respect to a Reilly type integral formula associated with the $φ$-Laplacian. Some inequalities of Brascamp-Lieb type and Colesanti type are provided.
△ Less
Submitted 23 February, 2022; v1 submitted 9 February, 2022;
originally announced February 2022.
-
A Reilly type integral formula and its applications
Authors:
Guangyue Huang,
Bingqing Ma,
Mingfang Zhu
Abstract:
In this paper, we achieve a Reilly type integral formula associated with the $φ$-Laplacian. As its applications, we obtain Heintze-Karcher and Minkowski type inequalities. Furthermore, almost Schur lemmas are also given. They recover the partial results of Li and Xia in [15]. On the other hand, we also study eigenvalue problem for Wentzell boundary conditions and obtain eigenvalue relationships.
In this paper, we achieve a Reilly type integral formula associated with the $φ$-Laplacian. As its applications, we obtain Heintze-Karcher and Minkowski type inequalities. Furthermore, almost Schur lemmas are also given. They recover the partial results of Li and Xia in [15]. On the other hand, we also study eigenvalue problem for Wentzell boundary conditions and obtain eigenvalue relationships.
△ Less
Submitted 22 February, 2022; v1 submitted 23 January, 2022;
originally announced January 2022.
-
Diagonally quadratic BSDE with oblique reflection and optimal switching
Authors:
Peng Luo,
Mengbo Zhu
Abstract:
The present paper is devoted to the study of diagonally quadratic backward stochastic differential equation with oblique reflection. Using a penalization approach, we show the existence fo a solution by providing some delicated a priori estimates. We further obtain the uniqueness by verifying the first component of the solution is indeed the value of a switching probelm for quadratic BSDEs. Moreov…
▽ More
The present paper is devoted to the study of diagonally quadratic backward stochastic differential equation with oblique reflection. Using a penalization approach, we show the existence fo a solution by providing some delicated a priori estimates. We further obtain the uniqueness by verifying the first component of the solution is indeed the value of a switching probelm for quadratic BSDEs. Moreover, we provide an extension for the solvability and apply our results to study a risk-sensitive switching problem for functional stochastic differential equations.
△ Less
Submitted 16 November, 2021;
originally announced November 2021.
-
Pseudo-peakons and Cauchy analysis for an integrable fifth-order equation of Camassa-Holm type
Authors:
Enrique G. Reyes,
Mingxuan Zhu,
Zhijun Qiao
Abstract:
In this paper we discuss integrable higher order equations {\em of Camassa-Holm (CH) type}. Our higher order CH-type equations are "geometrically integrable", that is, they describe one-parametric families of pseudo-spherical surfaces, in a sense explained in Section 1, and they are integrable in the sense of zero curvature formulation ($\simeq$ Lax pair) with infinitely many local conservation la…
▽ More
In this paper we discuss integrable higher order equations {\em of Camassa-Holm (CH) type}. Our higher order CH-type equations are "geometrically integrable", that is, they describe one-parametric families of pseudo-spherical surfaces, in a sense explained in Section 1, and they are integrable in the sense of zero curvature formulation ($\simeq$ Lax pair) with infinitely many local conservation laws. The major focus of the present paper is on a specific fifth order CH-type equation admitting {\em pseudo-peakons} solutions, that is, weak bounded solutions with differentiable first derivative and continuous and bounded second derivative, but such that any higher order derivative blows up. Furthermore, we investigate the Cauchy problem of this fifth order CH-type equation on the real line and prove local well-posedness under the initial conditions $u_0 \in H^s(\mathbb{R})$, $s > 7/2$. In addition, we study conditions for global well-posedness in $H^4(\mathbb{R})$ as well as conditions causing local solutions to blow up in a finite time. We conclude our paper with some comments on the geometric content of the high order CH-type equations.
△ Less
Submitted 4 May, 2022; v1 submitted 15 November, 2021;
originally announced November 2021.
-
Eigenvalue estimates for Beltrami-Laplacian under Bakry-Émery Ricci curvature condition
Authors:
Ling Wu,
Xingyu Song,
Meng Zhu
Abstract:
On closed Riemannian manifolds with Bakry-Émery Ricci curvature bounded from below and bounded gradient of the potential function, we obtain lower bounds for all positive eigenvalues of the Beltrami-Laplacian instead of the drifted Laplacian. The lower bound of the $k$th eigenvalue depends on $k$, Bakry-Émery Ricci curvature lower bound, the gradient bound of the potential function, and the dimens…
▽ More
On closed Riemannian manifolds with Bakry-Émery Ricci curvature bounded from below and bounded gradient of the potential function, we obtain lower bounds for all positive eigenvalues of the Beltrami-Laplacian instead of the drifted Laplacian. The lower bound of the $k$th eigenvalue depends on $k$, Bakry-Émery Ricci curvature lower bound, the gradient bound of the potential function, and the dimension and diameter upper bound of the manifold, but the volume of the manifold is not involved. Especially, these results apply to closed manifolds with Ricci curvature bounded from below.
△ Less
Submitted 16 August, 2021;
originally announced August 2021.
-
Existence and Non-existence of Ground states of bi-harmonic equations involving constant and degenerate Rabinowitz potentials
Authors:
Lu Chen,
Guozhen Lu,
Maochun Zhu
Abstract:
Recently, the authors of the current paper established in [9] the existence of a ground-state solution to the following bi-harmonic equation with the constant potential or Rabinowitz potential: \begin{equation} (-Δ)^{2}u+V(x)u=f(u)\ \text{in}\ \mathbb{R}^{4}, \end{equation} when the nonlinearity has the special form $f(t)=t(\exp(t^2)-1)$ and $V(x)\geq c>0$ is a constant or the Rabinowitz potential…
▽ More
Recently, the authors of the current paper established in [9] the existence of a ground-state solution to the following bi-harmonic equation with the constant potential or Rabinowitz potential: \begin{equation} (-Δ)^{2}u+V(x)u=f(u)\ \text{in}\ \mathbb{R}^{4}, \end{equation} when the nonlinearity has the special form $f(t)=t(\exp(t^2)-1)$ and $V(x)\geq c>0$ is a constant or the Rabinowitz potential. One of the crucial elements used in [9] is the Fourier rearrangement argument. However, this argument is not applicable if $f(t)$ is not an odd function. Thus, it still remains open whether the above equation with the general critical exponential nonlinearity $f(u)$ admits a ground-state solution even when $V(x)$ is a positive constant.
The first purpose of this paper is to develop a Fourier rearrangement-free approach to solve the above problem. More precisely, we will prove that there is a threshold $γ^{*}$ such that for any $γ\in (0,γ^*)$, the above equation with the constant potential $V(x)=γ>0$ admits a ground-state solution, while does not admit any ground-state solution for any $γ\in (γ^{*},+\infty)$. The second purpose of this paper is to establish the existence of a ground-state solution to the above equation with any degenerate Rabinowitz potential $V$ vanishing on some bounded open set. Among other techniques, the proof also relies on a critical Adams inequality involving the degenerate potential which is of its own interest.
△ Less
Submitted 13 August, 2021;
originally announced August 2021.
-
Sharp critical and subcritical trace Trudinger-Moser and Adams inequalities on the upper half spaces
Authors:
Lu Chen,
Guozhen Lu,
Qiaohua Yang,
Maochun Zhu
Abstract:
In this paper, we establish the sharp critical and subcritical trace Trudinger-Moser and Adams inequalities on the half spaces and prove the existence of their extremals through the method based on the Fourier rearrangement, harmonic extension and scaling invariance. These trace Trudinger-Moser and Adams inequalities can be considered as the borderline case of the Sobolev trace inequalities of fir…
▽ More
In this paper, we establish the sharp critical and subcritical trace Trudinger-Moser and Adams inequalities on the half spaces and prove the existence of their extremals through the method based on the Fourier rearrangement, harmonic extension and scaling invariance. These trace Trudinger-Moser and Adams inequalities can be considered as the borderline case of the Sobolev trace inequalities of first and higher orders. Furthermore, we show the existence of the least energy solutions for a class of bi-harmonic equations with nonlinear Neumann boundary condition associated with the trace Adams inequalities.
△ Less
Submitted 10 August, 2021;
originally announced August 2021.
-
C-GLISp: Preference-Based Global Optimization under Unknown Constraints with Applications to Controller Calibration
Authors:
Mengjia Zhu,
Dario Piga,
Alberto Bemporad
Abstract:
Preference-based global optimization algorithms minimize an unknown objective function only based on whether the function is better, worse, or similar for given pairs of candidate optimization vectors. Such optimization problems arise in many real-life examples, such as finding the optimal calibration of the parameters of a control law. The calibrator can judge whether a particular combination of…
▽ More
Preference-based global optimization algorithms minimize an unknown objective function only based on whether the function is better, worse, or similar for given pairs of candidate optimization vectors. Such optimization problems arise in many real-life examples, such as finding the optimal calibration of the parameters of a control law. The calibrator can judge whether a particular combination of parameters leads to a better, worse, or similar closed-loop performance. Often, the search for the optimal parameters is also subject to unknown constraints. For example, the vector of calibration parameters must not lead to closed-loop instability. This paper extends an active preference learning algorithm introduced recently by the authors to handle unknown constraints. The proposed method, called C-GLISp, looks for an optimizer of the problem only based on preferences expressed on pairs of candidate vectors, and on whether a given vector is reported feasible and/or satisfactory. C-GLISp learns a surrogate of the underlying objective function based on the expressed preferences, and a surrogate of the probability that a sample is feasible and/or satisfactory based on whether each of the tested vectors was judged as such. The surrogate functions are used iteratively to propose a new candidate vector to test and judge. Numerical benchmarks and a semi-automated control calibration task demonstrate the effectiveness of C-GLISp, showing that it can reach near-optimal solutions within a small number of iterations.
△ Less
Submitted 18 December, 2021; v1 submitted 10 June, 2021;
originally announced June 2021.
-
Quantization for biharmonic maps from non-collapsed degenerating Einstein 4-manifolds
Authors:
Youmin Chen,
Miaomiao Zhu
Abstract:
For a sequence of extrinsic or intrinsic biharmonic maps $u_j: M_j\rightarrow N$ from a sequence of non-collapsed degenerating closed Einstein 4-manifolds $(M_j,g_j)$ with bounded Einstein constants, bounded diameters and bounded $L^2$ curvature energy into a compact Riemannian manifold $(N,h)$ with uniformly bounded biharmonic energy, we establish a compactness theory modular finitely many bubble…
▽ More
For a sequence of extrinsic or intrinsic biharmonic maps $u_j: M_j\rightarrow N$ from a sequence of non-collapsed degenerating closed Einstein 4-manifolds $(M_j,g_j)$ with bounded Einstein constants, bounded diameters and bounded $L^2$ curvature energy into a compact Riemannian manifold $(N,h)$ with uniformly bounded biharmonic energy, we establish a compactness theory modular finitely many bubbles, which are finite energy biharmonic maps from $\mathbb{R}^4$, or from $\mathbb{R}^4 / Γ$ for some nontrivial finite group $Γ\subset SO(4)$, or from some complete, noncompact, Ricci flat, non-flat ALE 4-manifold (orbifold). To achieve this, we develop a sophisticated asymptotic analysis for solutions over degenerating neck regions.
△ Less
Submitted 18 April, 2021;
originally announced April 2021.
-
Limitations of Mean-Based Algorithms for Trace Reconstruction at Small Distance
Authors:
Elena Grigorescu,
Madhu Sudan,
Minshen Zhu
Abstract:
Trace reconstruction considers the task of recovering an unknown string $x \in \{0,1\}^n$ given a number of independent "traces", i.e., subsequences of $x$ obtained by randomly and independently deleting every symbol of $x$ with some probability $p$. The information-theoretic limit of the number of traces needed to recover a string of length $n$ is still unknown. This limit is essentially the same…
▽ More
Trace reconstruction considers the task of recovering an unknown string $x \in \{0,1\}^n$ given a number of independent "traces", i.e., subsequences of $x$ obtained by randomly and independently deleting every symbol of $x$ with some probability $p$. The information-theoretic limit of the number of traces needed to recover a string of length $n$ is still unknown. This limit is essentially the same as the number of traces needed to determine, given strings $x$ and $y$ and traces of one of them, which string is the source. The most-studied class of algorithms for the worst-case version of the problem are "mean-based" algorithms. These are a restricted class of distinguishers that only use the mean value of each coordinate on the given samples. In this work we study limitations of mean-based algorithms on strings at small Hamming or edit distance. We show that, on the one hand, distinguishing strings that are nearby in Hamming distance is "easy" for such distinguishers. On the other hand, we show that distinguishing strings that are nearby in edit distance is "hard" for mean-based algorithms. Along the way, we also describe a connection to the famous Prouhet-Tarry-Escott (PTE) problem, which shows a barrier to finding explicit hard-to-distinguish strings: namely such strings would imply explicit short solutions to the PTE problem, a well-known difficult problem in number theory. Furthermore, we show that the converse is also true, thus, finding explicit solutions to the PTE problem is equivalent to the problem of finding explicit strings that are hard-to-distinguish by mean-based algorithms.
Our techniques rely on complex analysis arguments that involve careful trigonometric estimates, and algebraic techniques that include applications of Descartes' rule of signs for polynomials over the reals.
△ Less
Submitted 14 March, 2022; v1 submitted 27 November, 2020;
originally announced November 2020.
-
Gradient and Eigenvalue Estimates on the canonical bundle of Kähler manifolds
Authors:
Zhiqin Lu,
Qi S. Zhang,
Meng Zhu
Abstract:
We prove certain gradient and eigenvalue estimates, as well as the heat kernel estimates, for the Hodge Laplacian on $(m,0)$ forms, i.e., sections of the canonical bundle of Kähler manifolds, where $m$ is the complex dimension of the manifold. Instead of the usual dependence on curvature tensor, our condition depends only on the Ricci curvature bound. The proof is based on a new Bochner type formu…
▽ More
We prove certain gradient and eigenvalue estimates, as well as the heat kernel estimates, for the Hodge Laplacian on $(m,0)$ forms, i.e., sections of the canonical bundle of Kähler manifolds, where $m$ is the complex dimension of the manifold. Instead of the usual dependence on curvature tensor, our condition depends only on the Ricci curvature bound. The proof is based on a new Bochner type formula for the gradient of $(m, 0)$ forms, which involves only the Ricci curvature and the gradient of the scalar curvature.
△ Less
Submitted 30 August, 2020;
originally announced August 2020.
-
On the Erdős primitive set conjecture in function fields
Authors:
Andrés Gómez-Colunga,
Charlotte Kavaler,
Nathan McNew,
Mirilla Zhu
Abstract:
Erdős proved that $\mathcal{F}(A) := \sum_{a \in A}\frac{1}{a\log a}$ converges for any primitive set of integers $A$ and later conjectured this sum is maximized when $A$ is the set of primes. Banks and Martin further conjectured that $\mathcal{F}(\mathcal{P}_1) > \ldots > \mathcal{F}(\mathcal{P}_k) > \mathcal{F}(\mathcal{P}_{k+1}) > \ldots$, where $\mathcal{P}_j$ is the set of integers with $j$ p…
▽ More
Erdős proved that $\mathcal{F}(A) := \sum_{a \in A}\frac{1}{a\log a}$ converges for any primitive set of integers $A$ and later conjectured this sum is maximized when $A$ is the set of primes. Banks and Martin further conjectured that $\mathcal{F}(\mathcal{P}_1) > \ldots > \mathcal{F}(\mathcal{P}_k) > \mathcal{F}(\mathcal{P}_{k+1}) > \ldots$, where $\mathcal{P}_j$ is the set of integers with $j$ prime factors counting multiplicity, though this was recently disproven by Lichtman. We consider the corresponding problems over the function field $\mathbb{F}_q[x]$, investigating the sum $\mathcal{F}(A) := \sum_{f \in A} \frac{1}{\text{deg} f \cdot q^{\text{deg} f}}$. We establish a uniform bound for $\mathcal{F}(A)$ over all primitive sets of polynomials $A \subset \mathbb{F}_q[x]$ and conjecture that it is maximized by the set of monic irreducible polynomials. We find that the analogue of the Banks-Martin conjecture is false for $q = 2, 3$, and $4$, but we find computational evidence that it holds for $q > 4$.
△ Less
Submitted 5 July, 2020;
originally announced July 2020.
-
Preference-based MPC calibration
Authors:
Mengjia Zhu,
Alberto Bemporad,
Dario Piga
Abstract:
Automating the calibration of the parameters of a control policy by means of global optimization requires quantifying a closed-loop performance function. As this can be impractical in many situations, in this paper we suggest a semi-automated calibration approach that requires instead a human calibrator to express a preference on whether a certain control policy is "better" than another one, there…
▽ More
Automating the calibration of the parameters of a control policy by means of global optimization requires quantifying a closed-loop performance function. As this can be impractical in many situations, in this paper we suggest a semi-automated calibration approach that requires instead a human calibrator to express a preference on whether a certain control policy is "better" than another one, therefore eliminating the need of an explicit performance index. In particular, we focus our attention on semi-automated calibration of Model Predictive Controllers (MPCs), for which we attempt computing the set of best calibration parameters by employing the recently-developed active preference-based optimization algorithm GLISp. Based on the preferences expressed by the human operator, GLISp learns a surrogate of the underlying closed-loop performance index that the calibrator (unconsciously) uses and proposes, iteratively, a new set of calibration parameters to him or her for testing and for comparison against previous experimental results. The resulting semi-automated calibration procedure is tested on two case studies, showing the capabilities of the approach in achieving near-optimal performance within a limited number of experiments.
△ Less
Submitted 26 May, 2021; v1 submitted 25 March, 2020;
originally announced March 2020.
-
Asymptotic behavior of a nonautonomous evolution equation governed by a quasi-nonexpansive operator
Authors:
Ming Zhu,
Rong Hu,
Ya-Ping Fang
Abstract:
We study the asymptotic behavior of the trajectory of a nonautonomous evolution equation governed by a quasi-nonexpansive operator in Hilbert spaces. We prove the weak convergence of the trajectory to a fixed point of the operator by relying on Lyapunov analysis. Under a metric subregularity condition, we further derive a flexible global exponential-type rate for the distance of the trajectory to…
▽ More
We study the asymptotic behavior of the trajectory of a nonautonomous evolution equation governed by a quasi-nonexpansive operator in Hilbert spaces. We prove the weak convergence of the trajectory to a fixed point of the operator by relying on Lyapunov analysis. Under a metric subregularity condition, we further derive a flexible global exponential-type rate for the distance of the trajectory to the set of fixed points. The results obtained are applied to analyze the asymptotic behavior of the trajectory of an adaptive Douglas-Rachford dynamical system, which is applied for finding a zero of the sum of two operators, one of which is strongly monotone while the other one is weakly monotone.
△ Less
Submitted 6 September, 2020; v1 submitted 14 January, 2020;
originally announced January 2020.
-
On privacy preserving data release of linear dynamic networks
Authors:
Yang Lu,
Minghui Zhu
Abstract:
Distributed data sharing in dynamic networks is ubiquitous. It raises the concern that the private information of dynamic networks could be leaked when data receivers are malicious or communication channels are insecure. In this paper, we propose to intentionally perturb the inputs and outputs of a linear dynamic system to protect the privacy of target initial states and inputs from released outpu…
▽ More
Distributed data sharing in dynamic networks is ubiquitous. It raises the concern that the private information of dynamic networks could be leaked when data receivers are malicious or communication channels are insecure. In this paper, we propose to intentionally perturb the inputs and outputs of a linear dynamic system to protect the privacy of target initial states and inputs from released outputs. We formulate the problem of perturbation design as an optimization problem which minimizes the cost caused by the added perturbations while maintaining system controllability and ensuring the privacy. We analyze the computational complexity of the formulated optimization problem. To minimize the $\ell_0$ and $\ell_2$ norms of the added perturbations, we derive their convex relaxations which can be efficiently solved. The efficacy of the proposed techniques is verified by a case study on a heating, ventilation, and air conditioning system.
△ Less
Submitted 16 December, 2019;
originally announced December 2019.
-
Divergent operator with degeneracy and related sharp inequalities
Authors:
Jingbo Dou,
Liming Sun,
Lei Wang,
Meijun Zhu
Abstract:
In this paper we classify all positive extremal functions to a sharp weighted Sobolev inequality on the upper half space, which involves divergent operators with degeneracy on the boundary. As an application of the results, we can derive a sharp Sobolev type inequality involving Baouendi-Grushin operator, and classify certain extremal functions for all $τ>0$ and $m\ne2 $ or $ n\ne1$.
In this paper we classify all positive extremal functions to a sharp weighted Sobolev inequality on the upper half space, which involves divergent operators with degeneracy on the boundary. As an application of the results, we can derive a sharp Sobolev type inequality involving Baouendi-Grushin operator, and classify certain extremal functions for all $τ>0$ and $m\ne2 $ or $ n\ne1$.
△ Less
Submitted 2 April, 2021; v1 submitted 30 October, 2019;
originally announced October 2019.
-
On the size of primitive sets in function fields
Authors:
Andrés Gómez-Colunga,
Charlotte Kavaler,
Nathan McNew,
Mirilla Zhu
Abstract:
A set is primitive if no element of the set divides another. We consider primitive sets of monic polynomials over a finite field and find natural generalizations of many of the results known for primitive sets of integers. In particular we generalize a result of Besicovitch to show that there exist primitive sets in $\mathbb{F}_q[x]$ with upper density arbitrarily close to $\frac{q - 1}{q}$. Then,…
▽ More
A set is primitive if no element of the set divides another. We consider primitive sets of monic polynomials over a finite field and find natural generalizations of many of the results known for primitive sets of integers. In particular we generalize a result of Besicovitch to show that there exist primitive sets in $\mathbb{F}_q[x]$ with upper density arbitrarily close to $\frac{q - 1}{q}$. Then, for a primitive set $A$, we consider the sum $\sum_{a \in A} \frac{1}{q^{°a}°a}$, the natural analogue in this setting of a sum considered by Erdős for primitive subsets of the integers, and show that it is uniformly bounded over all primitive sets $A$. We end with a generalization of work of Martin and Pomerance on the asymptotic growth rate of the counting function of a primitive set. Along the way we prove a quantitative analogue of the Hardy-Ramanujan theorem for function fields, as well as bounds on the size of the $k$-th irreducible polynomial.
△ Less
Submitted 24 January, 2020; v1 submitted 15 September, 2019;
originally announced September 2019.
-
Ground states of bi-harmonic equations with critical exponential growth involving constant and trapping potentials
Authors:
Lu Chen,
Guozhen Lu,
Maochun Zhu
Abstract:
In this paper, we first give a necessary and sufficient condition for the boundedness and the compactness for a class of nonlinear functionals in $H^{2}(\mathbb{R}^4)$. Using this result and the principle of symmetric criticality, we can present a relationship between the existence of the nontrivial solutions to the semilinear bi-harmonic equation of the form \[ (-Δ)^{2}u+γu=f(u)\ \text{in}\ \math…
▽ More
In this paper, we first give a necessary and sufficient condition for the boundedness and the compactness for a class of nonlinear functionals in $H^{2}(\mathbb{R}^4)$. Using this result and the principle of symmetric criticality, we can present a relationship between the existence of the nontrivial solutions to the semilinear bi-harmonic equation of the form \[ (-Δ)^{2}u+γu=f(u)\ \text{in}\ \mathbb{R}^4 \] and the range of $γ\in \mathbb{R}^{+}$, where $f(s)$ is the general nonlinear term having the critical exponential growth at infinity.
Our next goal in this paper is to establish the existence of the ground-state solutions for the equation \begin{equation}\label{con} (-Δ)^{2}u+V(x)u=λs\exp(2|s|^{2}))\ \text{in}\ \mathbb{R}^{4}, \end{equation} when $V(x)$ is a positive constant using the Fourier rearrangement and the Pohozaev identity. Then we will explore the relationship between the Nehari manifold and the corresponding limiting Nehari manifold to derive the existence of the ground state solutions for the above equation when $V(x)$ is the Rabinowitz type trapping potential, namely it satisfies $$0<V_{0}=\underset{x\in\mathbb{R}^{4}}{\inf}V(x) <\underset{\ | x\ | \rightarrow\infty}{\lim}V(x) < +\infty. $$ The same result and proof applies to the harmonic equation with the critical exponential growth involving the Rabinowitz type trapping potential in $\mathbb{R}^2$.
△ Less
Submitted 4 September, 2019;
originally announced September 2019.
-
Energy quantization for a singular super-Liouville boundary value problem
Authors:
Jürgen Jost,
Chunqin Zhou,
Miaomiao Zhu
Abstract:
In this paper, we develop the blow-up analysis and establish the energy quantization for solutions to super-Liouville type equations on Riemann surfaces with conical singularities at the boundary. In other problems in geometric analysis, the blow-up analysis usually strongly utilizes conformal invariance, which yields a Noether current from which strong estimates can be derived. Here, however, the…
▽ More
In this paper, we develop the blow-up analysis and establish the energy quantization for solutions to super-Liouville type equations on Riemann surfaces with conical singularities at the boundary. In other problems in geometric analysis, the blow-up analysis usually strongly utilizes conformal invariance, which yields a Noether current from which strong estimates can be derived. Here, however, the conical singularities destroy conformal invariance. Therefore, we develop another, more general, method that uses the vanishing of the Pohozaev constant for such solutions to deduce the removability of boundary singularities.
△ Less
Submitted 25 August, 2019;
originally announced August 2019.
-
Geometric analysis of the Yang-Mills-Higgs-Dirac model
Authors:
Jürgen Jost,
Enno Keßler,
Ruijun Wu,
Miaomiao Zhu
Abstract:
The harmonic sections of the Kaluza-Klein model can be seen as a variant of harmonic maps with additional gauge symmetry. Geometrically, they are realized as sections of a fiber bundle associated to a principal bundle with a connection. In this paper, we investigate geometric and analytic aspects of a model that combines the Kaluza-Klein model with the Yang-Mills action and a Dirac action for twis…
▽ More
The harmonic sections of the Kaluza-Klein model can be seen as a variant of harmonic maps with additional gauge symmetry. Geometrically, they are realized as sections of a fiber bundle associated to a principal bundle with a connection. In this paper, we investigate geometric and analytic aspects of a model that combines the Kaluza-Klein model with the Yang-Mills action and a Dirac action for twisted spinors. In dimension two we show that weak solutions of the Euler-Lagrange system are smooth. For a sequence of approximate solutions on surfaces with uniformly bounded energies we obtain compactness modulo bubbles, namely, energy identities and the no-neck property hold.
△ Less
Submitted 26 September, 2022; v1 submitted 1 August, 2019;
originally announced August 2019.
-
On a Randomized Multi-Block ADMM for Solving Selected Machine Learning Problems
Authors:
Mingxi Zhu,
Kresimir Mihic,
Yinyu Ye
Abstract:
The Alternating Direction Method of Multipliers (ADMM) has now days gained tremendous attentions for solving large-scale machine learning and signal processing problems due to the relative simplicity. However, the two-block structure of the classical ADMM still limits the size of the real problems being solved. When one forces a more-than-two-block structure by variable-splitting, the convergence…
▽ More
The Alternating Direction Method of Multipliers (ADMM) has now days gained tremendous attentions for solving large-scale machine learning and signal processing problems due to the relative simplicity. However, the two-block structure of the classical ADMM still limits the size of the real problems being solved. When one forces a more-than-two-block structure by variable-splitting, the convergence speed slows down greatly as observed in practice. Recently, a randomly assembled cyclic multi-block ADMM (RAC-MBADMM) was developed by the authors for solving general convex and nonconvex quadratic optimization problems where the number of blocks can go greater than two so that each sub-problem has a smaller size and can be solved much more efficiently. In this paper, we apply this method to solving few selected machine learning problems related to convex quadratic optimization, such as Linear Regression, LASSO, Elastic-Net, and SVM. We prove that the algorithm would converge in expectation linearly under the standard statistical data assumptions. We use our general-purpose solver to conduct multiple numerical tests, solving both synthetic and large-scale bench-mark problems. Our results show that RAC-MBADMM could significantly outperform, in both solution time and quality, other optimization algorithms/codes for solving these machine learning problems, and match up the performance of the best tailored methods such as Glmnet or LIBSVM. In certain problem regions RAC-MBADMM even achieves a superior performance than that of the tailored methods.
△ Less
Submitted 20 March, 2020; v1 submitted 3 July, 2019;
originally announced July 2019.
-
Nonlinear elliptic equations on the upper half space
Authors:
Sufanf Tang,
Lei Wang,
Meijun Zhu
Abstract:
In this paper we shall classify all positive solutions of $ Δu =a u^p$ on the upper half space $ H =\Bbb{R}_+^n$ with nonlinear boundary condition $ {\partial u}/{\partial t}= - b u^q $ on $\partial H$ for both positive parameters $a, \ b>0$. We will prove that for $p \ge {(n+2)}/{(n-2)}, 1\leq q<{n}/{(n-2)}$ (and $n \ge 3$) all positive solutions are functions of last variable; for…
▽ More
In this paper we shall classify all positive solutions of $ Δu =a u^p$ on the upper half space $ H =\Bbb{R}_+^n$ with nonlinear boundary condition $ {\partial u}/{\partial t}= - b u^q $ on $\partial H$ for both positive parameters $a, \ b>0$. We will prove that for $p \ge {(n+2)}/{(n-2)}, 1\leq q<{n}/{(n-2)}$ (and $n \ge 3$) all positive solutions are functions of last variable; for $p= {(n+2)}/{(n-2)}, q= {n}/{(n-2)}$ (and $n \ge 3$) positive solutions must be either some functions depending only on last variable, or radially symmetric functions.
△ Less
Submitted 9 June, 2019;
originally announced June 2019.
