-
Topological rigidity of small RCD(K,N) spaces with maximal rank
Authors:
Sergio Zamora,
Xingyu Zhu
Abstract:
For a polycyclic group $Λ$, rank$(Λ)$ is defined as the number of $\mathbb{Z}$ factors in a polycyclic decomposition of $Λ$. For a finitely generated group $G$, rank$(G)$ is defined as the infimum of rank$(Λ)$ among finite index polycyclic subgroups $Λ\leq G$.
For a compact RCD$(K,N)$ space $(X,\mathsf{d}, \mathfrak{m} )$ with diam$(X) \leq \varepsilon (K,N)$, the rank of $π_1(X)$ is at most…
▽ More
For a polycyclic group $Λ$, rank$(Λ)$ is defined as the number of $\mathbb{Z}$ factors in a polycyclic decomposition of $Λ$. For a finitely generated group $G$, rank$(G)$ is defined as the infimum of rank$(Λ)$ among finite index polycyclic subgroups $Λ\leq G$.
For a compact RCD$(K,N)$ space $(X,\mathsf{d}, \mathfrak{m} )$ with diam$(X) \leq \varepsilon (K,N)$, the rank of $π_1(X)$ is at most $N$. In this note we show that in case of equality, $X$ is homeomorphic to an infranilmanifold, generalizing to the non-smooth setting a result by Kapovitch--Wilking. We also fill a gap in the proof that if $π_1(X) = \mathbb{Z}^N$, then $X$ is bi-Hölder homeomorphic to a flat torus (diffeomorphic in the smooth case).
△ Less
Submitted 14 June, 2024;
originally announced June 2024.
-
Truncated-degree-choosability of planar graphs
Authors:
Yiting Jiang,
Huijuan Xu,
Xinbo Xu,
Xuding Zhu
Abstract:
Assume $G$ is a graph and $k$ is a positive integer. Let $f:V(G)\to N$ be defined as $f(v)=\min\{k,d_G(v)\}$. If $G$ is $f$-choosable, then we say $G$ is $k$-truncated-degree-choosable. It was proved in [Zhou,Zhu,Zhu, Arc-weighted acyclic orientations and variations of degeneracy of graphs, arXiv:2308.15853] that there is a 3-connected non-complete planar graph that is not 7-truncated-degree-choos…
▽ More
Assume $G$ is a graph and $k$ is a positive integer. Let $f:V(G)\to N$ be defined as $f(v)=\min\{k,d_G(v)\}$. If $G$ is $f$-choosable, then we say $G$ is $k$-truncated-degree-choosable. It was proved in [Zhou,Zhu,Zhu, Arc-weighted acyclic orientations and variations of degeneracy of graphs, arXiv:2308.15853] that there is a 3-connected non-complete planar graph that is not 7-truncated-degree-choosable, and every 3-connected non-complete planar graph is 16-truncated-degree-choosable. This paper improves the bounds, and proves that there is a 3-connected non-complete planar graph that is not 8-truncated-degree-choosable and every non-complete 3-connected planar graph is 12-truncated-degree-choosable.
△ Less
Submitted 10 June, 2024;
originally announced June 2024.
-
Weighted Voronoi-Delaunay dual on polyhedral surfaces and its finiteness
Authors:
Xiang Zhu
Abstract:
We aim to give a strict proof of the existence and uniqueness of the weighted Voronoi decomposition and the dual weighted Delaunay triangulation on Euclidean and hyperbolic polyhedral surface as well as hyperbolic surface with geodesic boundaries. Since the former definition of the Voronoi cell may not be simply connected, we slightly adjust the definition. Our proof is to construct an isotopic ma…
▽ More
We aim to give a strict proof of the existence and uniqueness of the weighted Voronoi decomposition and the dual weighted Delaunay triangulation on Euclidean and hyperbolic polyhedral surface as well as hyperbolic surface with geodesic boundaries. Since the former definition of the Voronoi cell may not be simply connected, we slightly adjust the definition. Our proof is to construct an isotopic map instead of using the edge-flip** algorithm, which is a generalization of the one by Dyer et al. The main theorem of this paper is a lemma for proving the existence of the inversive distance circle packing.
△ Less
Submitted 5 June, 2024;
originally announced June 2024.
-
Infinite rank module categories over finite dimensional $\mathfrak{sl}_2$-modules in Lie-algebraic context
Authors:
Volodymyr Mazorchuk,
Xiaoyu Zhu
Abstract:
We study locally finitary realizations of simple transitive module categories of infinite rank over the monoidal category $\mathscr{C}$ of finite dimensional modules for the complex Lie algebra $\mathfrak{sl}_2$. Combinatorics of such realizations is governed by six infinite Coxeter diagrams. We show that five of these are realizable in our setup, while one (type $B_\infty$) is not. We also descri…
▽ More
We study locally finitary realizations of simple transitive module categories of infinite rank over the monoidal category $\mathscr{C}$ of finite dimensional modules for the complex Lie algebra $\mathfrak{sl}_2$. Combinatorics of such realizations is governed by six infinite Coxeter diagrams. We show that five of these are realizable in our setup, while one (type $B_\infty$) is not. We also describe the $\mathscr{C}$-module subcategories of $\mathfrak{sl}_2$-mod generated by simple modules as well as the $\mathscr{C}$-module categories coming from the natural action of $\mathscr{C}$ on the categories of finite dimensional modules over Lie subalgebras of $\mathfrak{sl}_2$.
△ Less
Submitted 30 May, 2024;
originally announced May 2024.
-
Sharing tea on a graph
Authors:
J. Pascal Gollin,
Kevin Hendrey,
Hao Huang,
Tony Huynh,
Bojan Mohar,
Sang-il Oum,
Ningyuan Yang,
Wei-Hsuan Yu,
Xuding Zhu
Abstract:
Motivated by the analysis of consensus formation in the Deffuant model for social interaction, we consider the following procedure on a graph $G$. Initially, there is one unit of tea at a fixed vertex $r \in V(G)$, and all other vertices have no tea. At any time in the procedure, we can choose a connected subset of vertices $T$ and equalize the amount of tea among vertices in $T$. We prove that if…
▽ More
Motivated by the analysis of consensus formation in the Deffuant model for social interaction, we consider the following procedure on a graph $G$. Initially, there is one unit of tea at a fixed vertex $r \in V(G)$, and all other vertices have no tea. At any time in the procedure, we can choose a connected subset of vertices $T$ and equalize the amount of tea among vertices in $T$. We prove that if $x \in V(G)$ is at distance $d$ from $r$, then $x$ will have at most $\frac{1}{d+1}$ units of tea during any step of the procedure. This bound is best possible and answers a question of Gantert.
We also consider arbitrary initial weight distributions. For every finite graph $G$ and $w \in \mathbb{R}_{\geq 0}^{V(G)}$, we prove that the set of weight distributions reachable from $w$ is a compact subset of $\mathbb{R}_{\geq 0}^{V(G)}$.
△ Less
Submitted 24 May, 2024;
originally announced May 2024.
-
No compact split limit Ricci flow of type II from the blow-down
Authors:
Ziyi Zhao,
Xiaohua Zhu
Abstract:
By Perelman's $\mathcal L$-geodesic theory, we study the blow-down solutions on a noncompact $κ$-noncollapsed steady gradient Ricci soliton $(M^n, g)$ $(n\ge 4)$ with nonnegative curvature operator and positive Ricci curvature away from a compact set of $M$. We prove that any $(n-1)$-dimensional compact split ancient solution from the blow-down of $(M, g)$ is of type I. The result is a generalizat…
▽ More
By Perelman's $\mathcal L$-geodesic theory, we study the blow-down solutions on a noncompact $κ$-noncollapsed steady gradient Ricci soliton $(M^n, g)$ $(n\ge 4)$ with nonnegative curvature operator and positive Ricci curvature away from a compact set of $M$. We prove that any $(n-1)$-dimensional compact split ancient solution from the blow-down of $(M, g)$ is of type I. The result is a generalization of our previous work from $n=4$ to any dimension.
△ Less
Submitted 29 April, 2024;
originally announced April 2024.
-
An Efficient Sparse Identification Algorithm For Stochastic Systems With General Observation Sequences
Authors:
Ziming Wang,
Xinghua Zhu
Abstract:
This paper studies the sparse identification problem of unknown sparse parameter vectors in stochastic dynamic systems. Firstly, a novel sparse identification algorithm is proposed, which can generate sparse estimates based on least squares estimation by adaptively adjusting the threshold. Secondly, under a possibly weakest non-persistent excited condition, we prove that the proposed algorithm can…
▽ More
This paper studies the sparse identification problem of unknown sparse parameter vectors in stochastic dynamic systems. Firstly, a novel sparse identification algorithm is proposed, which can generate sparse estimates based on least squares estimation by adaptively adjusting the threshold. Secondly, under a possibly weakest non-persistent excited condition, we prove that the proposed algorithm can correctly identify the zero and nonzero elements of the sparse parameter vector using a finite number of observations, and further estimates of the nonzero elements almost surely converge to the true values. Compared with the related works, e.g., LASSO, our method only requires the weakest assumptions and does not require solving additional optimization problems. Besides, our theoretical results do not require any statistical assumptions on the regression signals, including independence or stationarity, which makes our results promising for application to stochastic feedback systems. Thirdly, the number of finite observations that guarantee the convergence of the zero-element set of unknown sparse parameters of the Hammerstein system is derived for the first time. Finally, numerical simulations are provided, demonstrating the effectiveness of the proposed method. Since there is no additional optimization problem, i.e., no additional numerical error, the proposed algorithm performs much better than other related algorithms.
△ Less
Submitted 29 March, 2024;
originally announced April 2024.
-
A Selective Review on Statistical Methods for Massive Data Computation: Distributed Computing, Subsampling, and Minibatch Techniques
Authors:
Xuetong Li,
Yuan Gao,
Hong Chang,
Danyang Huang,
Yingying Ma,
Rui Pan,
Haobo Qi,
Feifei Wang,
Shuyuan Wu,
Ke Xu,
**g Zhou,
Xuening Zhu,
Yingqiu Zhu,
Hansheng Wang
Abstract:
This paper presents a selective review of statistical computation methods for massive data analysis. A huge amount of statistical methods for massive data computation have been rapidly developed in the past decades. In this work, we focus on three categories of statistical computation methods: (1) distributed computing, (2) subsampling methods, and (3) minibatch gradient techniques. The first clas…
▽ More
This paper presents a selective review of statistical computation methods for massive data analysis. A huge amount of statistical methods for massive data computation have been rapidly developed in the past decades. In this work, we focus on three categories of statistical computation methods: (1) distributed computing, (2) subsampling methods, and (3) minibatch gradient techniques. The first class of literature is about distributed computing and focuses on the situation, where the dataset size is too huge to be comfortably handled by one single computer. In this case, a distributed computation system with multiple computers has to be utilized. The second class of literature is about subsampling methods and concerns about the situation, where the sample size of dataset is small enough to be placed on one single computer but too large to be easily processed by its memory as a whole. The last class of literature studies those minibatch gradient related optimization techniques, which have been extensively used for optimizing various deep learning models.
△ Less
Submitted 17 March, 2024;
originally announced March 2024.
-
Uncertainty quantification for deeponets with ensemble kalman inversion
Authors:
Andrew Pensoneault,
Xueyu Zhu
Abstract:
In recent years, operator learning, particularly the DeepONet, has received much attention for efficiently learning complex map**s between input and output functions across diverse fields. However, in practical scenarios with limited and noisy data, accessing the uncertainty in DeepONet predictions becomes essential, especially in mission-critical or safety-critical applications. Existing method…
▽ More
In recent years, operator learning, particularly the DeepONet, has received much attention for efficiently learning complex map**s between input and output functions across diverse fields. However, in practical scenarios with limited and noisy data, accessing the uncertainty in DeepONet predictions becomes essential, especially in mission-critical or safety-critical applications. Existing methods, either computationally intensive or yielding unsatisfactory uncertainty quantification, leave room for develo** efficient and informative uncertainty quantification (UQ) techniques tailored for DeepONets. In this work, we proposed a novel inference approach for efficient UQ for operator learning by harnessing the power of the Ensemble Kalman Inversion (EKI) approach. EKI, known for its derivative-free, noise-robust, and highly parallelizable feature, has demonstrated its advantages for UQ for physics-informed neural networks [28]. Our innovative application of EKI enables us to efficiently train ensembles of DeepONets while obtaining informative uncertainty estimates for the output of interest. We deploy a mini-batch variant of EKI to accommodate larger datasets, mitigating the computational demand due to large datasets during the training stage. Furthermore, we introduce a heuristic method to estimate the artificial dynamics covariance, thereby improving our uncertainty estimates. Finally, we demonstrate the effectiveness and versatility of our proposed methodology across various benchmark problems, showcasing its potential to address the pressing challenges of uncertainty quantification in DeepONets, especially for practical applications with limited and noisy data.
△ Less
Submitted 5 March, 2024;
originally announced March 2024.
-
Boundary Regularity of Harmonic maps from $RCD(K,N)$-space to $CAT(0)$-space
Authors:
Hui-Chun Zhang,
Xi-** Zhu
Abstract:
We establish the boundary regularity of harmonic maps from $RCD(K, N)$ metric measure spaces into $CAT(0)$ metric spaces.
We establish the boundary regularity of harmonic maps from $RCD(K, N)$ metric measure spaces into $CAT(0)$ metric spaces.
△ Less
Submitted 29 February, 2024;
originally announced February 2024.
-
Global well-posedness for 2D generalized Parabolic Anderson Model via paracontrolled calculus
Authors:
Hao Shen,
Rongchan Zhu,
Xiangchan Zhu
Abstract:
This article revisits the problem of global well-posedness for the generalized parabolic Anderson model on $\mathbb{R}^+\times \mathbb{T}^2$ within the framework of paracontrolled calculus \cite{GIP15}. The model is given by the equation:
\begin{equation*}
(\partial_t-Δ) u=F(u)η
\end{equation*}
where $η\in C^{-1-κ}$ with $1/6>κ>0$, and $F\in C_b^2(\mathbb{R})$. Assume that $η\in C^{-1-κ}$…
▽ More
This article revisits the problem of global well-posedness for the generalized parabolic Anderson model on $\mathbb{R}^+\times \mathbb{T}^2$ within the framework of paracontrolled calculus \cite{GIP15}. The model is given by the equation:
\begin{equation*}
(\partial_t-Δ) u=F(u)η
\end{equation*}
where $η\in C^{-1-κ}$ with $1/6>κ>0$, and $F\in C_b^2(\mathbb{R})$. Assume that $η\in C^{-1-κ}$ and can be lifted to enhanced noise, we derive new a priori bounds. The key idea follows from the recent work
\cite{CFW24} by A.Chandra, G.L. Feltes and H.Weber to represent the leading error term as a transport type term, and our techniques encompass the paracontrolled calculus, the maximum principle, and the localization approach (i.e. high-low frequency argument).
△ Less
Submitted 29 February, 2024;
originally announced February 2024.
-
Explicit formulae for linear characters of $Γ_0(N)$
Authors:
Xiao-Jie Zhu
Abstract:
We give explicit formulae for a class of complex linear unitary characters of the congruence subgroups $Γ_0(N)$ which involve a variant of Rademacher's $Ψ$ function. We then prove that these characters cover all characters of $Γ_0(N)$ precisely when $N=1,2,3,4,5,6,7,8,10,12,13$.
We give explicit formulae for a class of complex linear unitary characters of the congruence subgroups $Γ_0(N)$ which involve a variant of Rademacher's $Ψ$ function. We then prove that these characters cover all characters of $Γ_0(N)$ precisely when $N=1,2,3,4,5,6,7,8,10,12,13$.
△ Less
Submitted 22 February, 2024;
originally announced February 2024.
-
Non-unique Ergodicity for the 2D Stochastic Navier-Stokes Equations with Derivative of Space-Time White Noise
Authors:
Huaxiang Lü,
Xiangchan Zhu
Abstract:
We prove existence of infinitely many stationary solutions as well as ergodic stationary solutions for the stochastic Navier-Stokes equations on $\mathbb{T}^2$ \begin{align*} \dif u+÷(u\otimes u)\dif t+\nabla p\dif t&=Δu\dif t + (-Δ)^{\fa/2}\dif B_t,\ \ \ \ ÷u=0,\notag \end{align*} driven by derivative of space-time white noise, where $\fa\in[0,\frac13)$. In this setting, the solutions are not fun…
▽ More
We prove existence of infinitely many stationary solutions as well as ergodic stationary solutions for the stochastic Navier-Stokes equations on $\mathbb{T}^2$ \begin{align*} \dif u+÷(u\otimes u)\dif t+\nabla p\dif t&=Δu\dif t + (-Δ)^{\fa/2}\dif B_t,\ \ \ \ ÷u=0,\notag \end{align*} driven by derivative of space-time white noise, where $\fa\in[0,\frac13)$. In this setting, the solutions are not function valued and probabilistic renormalization is required to give a meaning to the equations. Finally, we show that the stationary distributions are not Gaussian distribution $N(0,\frac12(-Δ)^{\fa-1})$. The proof relies on a time-dependent decomposition and a stochastic version of the convex integration method which provides uniform moment bounds in some function spaces.
△ Less
Submitted 21 February, 2024;
originally announced February 2024.
-
Distributionally Robust Ground Delay Programs with Learning-Driven Airport Capacity Predictions
Authors:
Haochen Wu,
Xinting Zhu,
Shuchang Li,
Ying Zhou,
Lishuai Li,
Max Z. Li
Abstract:
Strategic Traffic Management Initiatives (TMIs) such as Ground Delay Programs (GDPs) play a crucial role in mitigating operational costs associated with demand-capacity imbalances. However, GDPs can only be planned (e.g., duration, delay assignments) with confidence if the future capacities at constrained resources (i.e., airports) are predictable. In reality, such future capacities are uncertain,…
▽ More
Strategic Traffic Management Initiatives (TMIs) such as Ground Delay Programs (GDPs) play a crucial role in mitigating operational costs associated with demand-capacity imbalances. However, GDPs can only be planned (e.g., duration, delay assignments) with confidence if the future capacities at constrained resources (i.e., airports) are predictable. In reality, such future capacities are uncertain, and predictive models may provide forecasts that are vulnerable to errors and distribution shifts. Motivated by the goal of planning optimal GDPs that are \emph{distributionally robust} against airport capacity prediction errors, we study a fully integrated learning-driven optimization framework. We design a deep learning-based prediction model capable of forecasting arrival and departure capacity distributions across a network of airports. We then integrate the forecasts into a distributionally robust formulation of the multi-airport ground holding problem (\textsc{dr-MAGHP}). We show how \textsc{dr-MAGHP} can outperform stochastic optimization when distribution shifts occur, and conclude with future research directions to improve both the learning and optimization stages.
△ Less
Submitted 17 February, 2024;
originally announced February 2024.
-
A Blowup Solution of Multispeed Klein-Gordon System in Space Dimension Two with Small Initial Data
Authors:
Xilu Zhu
Abstract:
We find an example to illustrate that the first nondegeneracy condition of (1.2) is actually needed in proving the global exsitence of 2D multispeed Klein-Gordon system with small initial data (See [3]). We construct a collection of special Klein-Gordon dispersive relations and by iterating the corresponding profiles we can find a blowup in finite time.
We find an example to illustrate that the first nondegeneracy condition of (1.2) is actually needed in proving the global exsitence of 2D multispeed Klein-Gordon system with small initial data (See [3]). We construct a collection of special Klein-Gordon dispersive relations and by iterating the corresponding profiles we can find a blowup in finite time.
△ Less
Submitted 6 February, 2024;
originally announced February 2024.
-
Steady gradient Ricci solitons with nonnegative curvature operator away from a compact set
Authors:
Ziyi Zhao,
Xiaohua Zhu
Abstract:
Let $(M^n,g)$ $(n\ge 4)$ be a complete noncompact $κ$-noncollapsed steady Ricci soliton with $\rm{Rm}\geq 0$ and $\rm{Ric}> 0$ away from a compact set $K$ of $M$.
We prove that there is no any $(n-1)$-dimensional compact split limit Ricci flow of type I arising from the blow-down of $(M, g)$, if there is an $(n-1)$-dimensional noncompact split limit Ricci flow.
Consequently, the compact split…
▽ More
Let $(M^n,g)$ $(n\ge 4)$ be a complete noncompact $κ$-noncollapsed steady Ricci soliton with $\rm{Rm}\geq 0$ and $\rm{Ric}> 0$ away from a compact set $K$ of $M$.
We prove that there is no any $(n-1)$-dimensional compact split limit Ricci flow of type I arising from the blow-down of $(M, g)$, if there is an $(n-1)$-dimensional noncompact split limit Ricci flow.
Consequently, the compact split limit ancient flows of type I and type II cannot occur simultaneously from the blow-down.
As an application, we prove that $(M^n,g)$ with $\rm{Rm}\geq 0$ must be isometric the Bryant Ricci soliton up to scaling, if there exists a sequence of rescaled Ricci flows $(M,g_{p_i}(t); p_i)$ of $(M,g)$ converges subsequently to a family of shrinking quotient cylinders.
△ Less
Submitted 31 January, 2024;
originally announced February 2024.
-
Induced modules and central character quotients for Takiff $\mathfrak{sl}_{2}$
Authors:
Xiaoyu Zhu
Abstract:
We construct a large new family of simple modules over Takiff $\mathfrak{sl}_{2}$. We prove that the quotient of the universal envelo** algebra of the Takiff Lie algebra for $\mathfrak{sl}_{2}$ by the ideal generated by a non-trivial central character is a simple algebra. In the case of the trivial central character, we show that the corresponding ideal is primitive by explicitly constructing a…
▽ More
We construct a large new family of simple modules over Takiff $\mathfrak{sl}_{2}$. We prove that the quotient of the universal envelo** algebra of the Takiff Lie algebra for $\mathfrak{sl}_{2}$ by the ideal generated by a non-trivial central character is a simple algebra. In the case of the trivial central character, we show that the corresponding ideal is primitive by explicitly constructing a simple module whose annihilator coincides with that ideal. Together with the annihilators of simple $\mathfrak{sl}_{2}$-modules, we expect that the above ideals exhaust all primitive ideal.
△ Less
Submitted 31 January, 2024;
originally announced January 2024.
-
Langevin dynamics of lattice Yang-Mills-Higgs and applications
Authors:
Hao Shen,
Rongchan Zhu,
Xiangchan Zhu
Abstract:
We investigate the Langevin dynamics of various lattice formulations of the Yang-Mills-Higgs model, where the Higgs component takes values in $\mathbb{R}^N$, $\mathbb{S}^{N-1}$ or a Lie group. We prove the exponential ergodicity of the dynamics on the whole lattice via functional inequalities. As an application, we establish that correlations for a broad range of observables decay exponentially. S…
▽ More
We investigate the Langevin dynamics of various lattice formulations of the Yang-Mills-Higgs model, where the Higgs component takes values in $\mathbb{R}^N$, $\mathbb{S}^{N-1}$ or a Lie group. We prove the exponential ergodicity of the dynamics on the whole lattice via functional inequalities. As an application, we establish that correlations for a broad range of observables decay exponentially. Specifically, the infinite volume measure exhibits a strictly positive mass gap under strong coupling conditions. Moreover, appropriately rescaled observables exhibit factorized correlations in the large $N$ limit when the state space is compact. Our approach involves disintegration and a nuanced analysis of correlations to effectively control the unbounded Higgs component.
△ Less
Submitted 24 January, 2024;
originally announced January 2024.
-
Rubin's conjecture on local units in the anticyclotomic tower at inert primes: $p=3$ case
Authors:
Xiaojun Yan,
Xiuwu Zhu
Abstract:
We prove Rubin's conjecture on the structure of local units in the anticyclotomic $\mathbb{Z}_p$-extension of unramified quadratic extension of $\mathbb{Q}_p$ in $p=3$ case by extending Burungale-Kobayashi-Ota's work.
We prove Rubin's conjecture on the structure of local units in the anticyclotomic $\mathbb{Z}_p$-extension of unramified quadratic extension of $\mathbb{Q}_p$ in $p=3$ case by extending Burungale-Kobayashi-Ota's work.
△ Less
Submitted 17 January, 2024;
originally announced January 2024.
-
Spectral theory of twisted bilayer graphene in a magnetic field
Authors:
Simon Becker,
Xiaowen Zhu
Abstract:
In this article we study the Bistritzer-MacDonald (BM) model with external magnetic field. We study the spectral properties of the Hamiltonian in an external magnetic field with a particular emphasis on the flat band of the chiral model at magic angles. Our analysis includes different types of interlayer tunneling potentials, the so-called chiral and anti-chiral limits. One novelty of our article…
▽ More
In this article we study the Bistritzer-MacDonald (BM) model with external magnetic field. We study the spectral properties of the Hamiltonian in an external magnetic field with a particular emphasis on the flat band of the chiral model at magic angles. Our analysis includes different types of interlayer tunneling potentials, the so-called chiral and anti-chiral limits. One novelty of our article is that we show that using a magnetic field one can discriminate between flat bands of different multiplicities, as they lead to different Chern numbers in the presence of magnetic fields, while for zero magnetic field their Chern numbers always coincide.
△ Less
Submitted 4 January, 2024;
originally announced January 2024.
-
Disjoint list-colorings for planar graphs
Authors:
Stijn Cambie,
Wouter Cames van Batenburg,
Xuding Zhu
Abstract:
One of Thomassen's classical results is that every planar graph of girth at least $5$ is 3-choosable. One can wonder if for a planar graph $G$ of girth sufficiently large and a $3$-list-assignment $L$, one can do even better. Can one find $3$ disjoint $L$-colorings (a packing), or $2$ disjoint $L$-colorings, or a collection of $L$-colorings that to every vertex assigns every color on average in on…
▽ More
One of Thomassen's classical results is that every planar graph of girth at least $5$ is 3-choosable. One can wonder if for a planar graph $G$ of girth sufficiently large and a $3$-list-assignment $L$, one can do even better. Can one find $3$ disjoint $L$-colorings (a packing), or $2$ disjoint $L$-colorings, or a collection of $L$-colorings that to every vertex assigns every color on average in one third of the cases (a fractional packing)? We prove that the packing is impossible, but two disjoint $L$-colorings are guaranteed if the girth is at least $8$, and a fractional packing exists when the girth is at least $6.$
For a graph $G$, the least $k$ such that there are always $k$ disjoint proper list-colorings whenever we have lists all of size $k$ associated to the vertices is called the list packing number of $G$. We lower the two-times-degeneracy upper bound for the list packing number of planar graphs of girth $3,4$ or $5$. As immediate corollaries, we improve bounds for $ε$-flexibility of classes of planar graphs with a given girth. For instance, where previously Dvořák et al. proved that planar graphs of girth $6$ are (weighted) $ε$-flexibly $3$-choosable for an extremely small value of $ε$, we obtain the optimal value $ε=\frac{1}{3}$. Finally, we completely determine and show interesting behavior on the packing numbers for $H$-minor-free graphs for some small graphs $H.$
△ Less
Submitted 28 December, 2023;
originally announced December 2023.
-
DP-$5$-truncated-degree-colourability of $K_{2,4}$-minor free graphs
Authors:
On-Hei Solomon Lo,
Cheng Wang,
Huan Zhou,
Xuding Zhu
Abstract:
Assume G is a graph and k is a positive integer. Let f: V(G) to N be defined as f(v)=min{k, d_G(v)}. If G is DP-f-colourable (respectively, f-choosable), then we say G is DP-k-truncated-degree-colourable (respectively, k-truncated-degree-choosable). Hutchinson [On list-colouring outerplanar graphs. J. Graph Theory] proved that 2-connected maximal outerplanar graphs other than the triangle are 5-tr…
▽ More
Assume G is a graph and k is a positive integer. Let f: V(G) to N be defined as f(v)=min{k, d_G(v)}. If G is DP-f-colourable (respectively, f-choosable), then we say G is DP-k-truncated-degree-colourable (respectively, k-truncated-degree-choosable). Hutchinson [On list-colouring outerplanar graphs. J. Graph Theory] proved that 2-connected maximal outerplanar graphs other than the triangle are 5-truncated-degree-choosable. This result was recently improved by Dai, Hu, Li, and Maezawa in [On DP-colouring of outerplanar graphs. Manuscript, 2023], where it is proved that 2-connected outerplanar graphs other than cycles are DP-5-truncated-degree-colourable. This paper further improves this result and proves that 2-connected K_{2,4}-minor free graphs other than cycles and complete graphs are DP-$5$-truncated-degree-colourable.
△ Less
Submitted 26 December, 2023;
originally announced December 2023.
-
Helmholtz decomposition based windowed Green function methods for elastic scattering problems on a half-space
Authors:
Tao Yin,
Lu Zhang,
Weiying Zheng,
Xiaopeng Zhu
Abstract:
This paper proposes a new Helmholtz decomposition based windowed Green function (HD-WGF) method for solving the time-harmonic elastic scattering problems on a half-space with Dirichlet boundary conditions in both 2D and 3D. The Helmholtz decomposition is applied to separate the pressure and shear waves, which satisfy the Helmholtz and Helmholtz/Maxwell equations, respectively, and the correspondin…
▽ More
This paper proposes a new Helmholtz decomposition based windowed Green function (HD-WGF) method for solving the time-harmonic elastic scattering problems on a half-space with Dirichlet boundary conditions in both 2D and 3D. The Helmholtz decomposition is applied to separate the pressure and shear waves, which satisfy the Helmholtz and Helmholtz/Maxwell equations, respectively, and the corresponding boundary integral equations of type $(\mathbb{I}+\mathbb{T})\bsφ=\bs f$, that couple these two waves on the unbounded surface, are derived based on the free-space fundamental solution of Helmholtz equation. This approach avoids the treatment of the complex elastic displacement tensor and traction operator that involved in the classical integral equation method for elastic problems. Then a smooth ``slow-rise'' windowing function is introduced to truncate the boundary integral equations and a ``correction'' strategy is proposed to ensure the uniformly fast convergence for all incident angles of plane incidence. Numerical experiments for both two and three dimensional problems are presented to demonstrate the accuracy and efficiency of the proposed method.
△ Less
Submitted 23 December, 2023;
originally announced December 2023.
-
Global Solutions of Multispeed Semilinear Klein-Gordon Systems in Space Dimension Two
Authors:
Xilu Zhu
Abstract:
We consider general semilinear, multispeed Klein-Gordon systems in space dimension two with some non-degeneracy conditions. We prove that with small initial data such solutions are always global and scatter to a linear solution. This result partly extends the previous result obtained by Deng, who completely proved the 3D quasilinear case. To prove our result, we mainly work on Fourier side and exp…
▽ More
We consider general semilinear, multispeed Klein-Gordon systems in space dimension two with some non-degeneracy conditions. We prove that with small initial data such solutions are always global and scatter to a linear solution. This result partly extends the previous result obtained by Deng, who completely proved the 3D quasilinear case. To prove our result, we mainly work on Fourier side and explore the contribution from the vicinity of space-time resonaonce.
△ Less
Submitted 15 December, 2023;
originally announced December 2023.
-
Non-backtracking eigenvalues and eigenvectors of random regular graphs and hypergraphs
Authors:
Xiangyi Zhu,
Yizhe Zhu
Abstract:
The non-backtracking operator of a graph is a powerful tool in spectral graph theory and random matrix theory. Most existing results for the non-backtracking operator of a random graph concern only eigenvalues or top eigenvectors. In this paper, we take the first step in analyzing its bulk eigenvector behaviors. We demonstrate that for the non-backtracking operator $B$ of a random $d$-regular grap…
▽ More
The non-backtracking operator of a graph is a powerful tool in spectral graph theory and random matrix theory. Most existing results for the non-backtracking operator of a random graph concern only eigenvalues or top eigenvectors. In this paper, we take the first step in analyzing its bulk eigenvector behaviors. We demonstrate that for the non-backtracking operator $B$ of a random $d$-regular graph, its eigenvectors corresponding to nontrivial eigenvalues are completely delocalized with high probability. Additionally, we show complete delocalization for a reduced $2n \times 2n$ non-backtracking matrix $\tilde{B}$. By projecting all eigenvalues of $\tilde{B}$ onto the real line, we obtain an empirical measure that converges weakly in probability to the Kesten-McKay law for fixed $d\geq 3$ and to a semicircle law as $d \to\infty$ with $n \to\infty$. We extend our analysis to random regular hypergraphs, including the limiting measure of the real part of the spectrum for $\tilde{B}$, $\ell_{\infty}$-norm bounds for the eigenvectors of $\tilde{B}$ and $B$, and a deterministic relation between eigenvectors of $B$ and the eigenvectors of the adjacency matrix.
As an application, we analyze the non-backtracking spectrum of the regular stochastic block model (RSBM) and provide a spectral method based on eigenvectors of $\tilde{B}$ to recover the community structure exactly. We also show that there exists an isolated real eigenvalue with an informative eigenvector inside the circle of radius $\sqrt{d_1+d_2-1}$ in the spectrum of $B$, analogous to the "eigenvalue insider" phenomenon for the Erdős-Rényi stochastic block model conjectured in Dall'Amico et al. (2019).
△ Less
Submitted 28 May, 2024; v1 submitted 6 December, 2023;
originally announced December 2023.
-
Asymptotically compatible energy and dissipation law of the nonuniform L2-$1_σ$ scheme for time fractional Allen-Cahn model
Authors:
Hong-lin Liao,
Xiaohan Zhu,
Hong Sun
Abstract:
We build an asymptotically compatible energy of the variable-step L2-$1_σ$ scheme for the time-fractional Allen-Cahn model with the Caputo's fractional derivative of order $α\in(0,1)$, under a weak step-ratio constraint $τ_k/τ_{k-1}\geq r_{\star}(α)$ for $k\ge2$, where $τ_k$ is the $k$-th time-step size and $r_{\star}(α)\in(0.3865,0.4037)$ for $α\in(0,1)$. It provides a positive answer to the open…
▽ More
We build an asymptotically compatible energy of the variable-step L2-$1_σ$ scheme for the time-fractional Allen-Cahn model with the Caputo's fractional derivative of order $α\in(0,1)$, under a weak step-ratio constraint $τ_k/τ_{k-1}\geq r_{\star}(α)$ for $k\ge2$, where $τ_k$ is the $k$-th time-step size and $r_{\star}(α)\in(0.3865,0.4037)$ for $α\in(0,1)$. It provides a positive answer to the open problem in [J. Comput. Phys., 414:109473], and, to the best of our knowledge, it is the first second-order nonuniform time-step** scheme to preserve both the maximum bound principle and the energy dissipation law of time-fractional Allen-Cahn model. The compatible discrete energy is constructed via a novel discrete gradient structure of the second-order L2-$1_σ$ formula by a local-nonlocal splitting technique. It splits the discrete fractional derivative into two parts: one is a local term analogue to the trapezoid rule of the first derivative and the other is a nonlocal summation analogue to the L1 formula of Caputo derivative. Numerical examples with an adaptive time-step** strategy are provided to show the effectiveness of our scheme and the asymptotic properties of the associated modified energy.
△ Less
Submitted 22 November, 2023;
originally announced November 2023.
-
The existence of inversive distance circle packing on hyperbolic polyhedral surface
Authors:
Xiang Zhu
Abstract:
In this paper, we prove that given a hyperbolic polyhedral metric with an inversive distance circle packing, and a target discrete curvature satisfying Gauss-Bonnet formula, there exist a unique inversive distance circle packing which is discrete conformal to the former one. We deform the surface by discrete Ricci flow, and do surgery by edge flip** when the orthogonal circles of some faces are…
▽ More
In this paper, we prove that given a hyperbolic polyhedral metric with an inversive distance circle packing, and a target discrete curvature satisfying Gauss-Bonnet formula, there exist a unique inversive distance circle packing which is discrete conformal to the former one. We deform the surface by discrete Ricci flow, and do surgery by edge flip** when the orthogonal circles of some faces are about to be non-compact. The revised weighted Delaunay inequality of hyperbolic case implies the compactness of the orthogonal circle. We use a variational principle of a convex Ricci potential defined on the fiber bundles with cell-decomposition and differential structure based on Teichmüller space to finish the proof.
△ Less
Submitted 7 November, 2023;
originally announced November 2023.
-
The existence of inversive distance circle packing on polyhedral surface
Authors:
Xiang Zhu
Abstract:
We prove that for any discrete curvature satisfying Gauss-Bonnet formula, there exist a unique up to scaling inversive distance circle packing in the discrete conformal equivalent class, whose polyhedral metric meets the target curvature. We prove it by constructing diffeomorphism between fiber bundles with cell decomposition based on Teichmüller spaces, and each discrete conformal equivalent clas…
▽ More
We prove that for any discrete curvature satisfying Gauss-Bonnet formula, there exist a unique up to scaling inversive distance circle packing in the discrete conformal equivalent class, whose polyhedral metric meets the target curvature. We prove it by constructing diffeomorphism between fiber bundles with cell decomposition based on Teichmüller spaces, and each discrete conformal equivalent class is a fiber passing through finite cell with respect to triangulations, which means we can do surgery on the discrete Ricci flow by edge flip** using a generalized Ptolemy equation to ensure it converge and never blow up.
△ Less
Submitted 2 November, 2023;
originally announced November 2023.
-
Topological edge spectrum along curved interfaces
Authors:
Alexis Drouot,
Xiaowen Zhu
Abstract:
We prove that that if the boundary of a topological insulator divides the plane in two regions containing arbitrarily large balls, then it acts as a conductor. Conversely, we show that topological insulators that fit within strips do not need to admit conducting boundary modes.
We prove that that if the boundary of a topological insulator divides the plane in two regions containing arbitrarily large balls, then it acts as a conductor. Conversely, we show that topological insulators that fit within strips do not need to admit conducting boundary modes.
△ Less
Submitted 1 November, 2023;
originally announced November 2023.
-
$4d$ steady gradient Ricci solitons with nonnegative curvature away from a compact set
Authors:
Ziyi Zhao,
Xiaohua Zhu
Abstract:
In the paper, we analysis the asymptotic behavior of noncompact $κ$-noncollapsed steady gradient Ricci soliton $(M, g)$ with nonnegative curvature operator away from a compact set $K$ of $M$. In particular, we prove: any $4d$ noncompact $κ$-noncollapsed steady gradient Ricci soliton $(M^4, g)$ with nonnegative sectional curvature must be a Bryant Ricci soliton up to scaling if it admits a sequence…
▽ More
In the paper, we analysis the asymptotic behavior of noncompact $κ$-noncollapsed steady gradient Ricci soliton $(M, g)$ with nonnegative curvature operator away from a compact set $K$ of $M$. In particular, we prove: any $4d$ noncompact $κ$-noncollapsed steady gradient Ricci soliton $(M^4, g)$ with nonnegative sectional curvature must be a Bryant Ricci soliton up to scaling if it admits a sequence of rescaled flows of $(M^4, g)$, which converges subsequently to a family of shrinking quotient cylinders.
△ Less
Submitted 30 January, 2024; v1 submitted 19 October, 2023;
originally announced October 2023.
-
Sparse critical graphs for defective $(1,3)$-coloring
Authors:
Alexandr Kostochka,
**gwei Xu,
Xuding Zhu
Abstract:
A graph $G$ is $(1,3)$-colorable if its vertices can be partitioned into subsets $V_1$ and $V_2$ so that every vertex in $G[V_1]$ has degree at most $1$ and every vertex in $G[V_2]$ has degree at most $3$. We prove that every graph with maximum average degree at most 28/9 is $(1, 3)$-colorable.
A graph $G$ is $(1,3)$-colorable if its vertices can be partitioned into subsets $V_1$ and $V_2$ so that every vertex in $G[V_1]$ has degree at most $1$ and every vertex in $G[V_2]$ has degree at most $3$. We prove that every graph with maximum average degree at most 28/9 is $(1, 3)$-colorable.
△ Less
Submitted 12 October, 2023;
originally announced October 2023.
-
A $p$-adic analogue of Borel's theorem
Authors:
Abhishek Oswal,
Ananth N. Shankar,
Xinwen Zhu,
Anand Patel
Abstract:
We prove that Shimura varieties of abelian type satisfy a $p$-adic Borel-extension property over discretely valued fields. More precisely, let $\mathsf{D}$ denote the rigid-analytic closed unit disc and $\mathsf{D}^{\times} = \mathsf{D} \setminus \{0\}$, let $X$ be a smooth rigid-analytic variety, and let $S(G,\mathcal{H})_{\mathsf{K}}$ denote a Shimura variety of abelian type with torsion-free le…
▽ More
We prove that Shimura varieties of abelian type satisfy a $p$-adic Borel-extension property over discretely valued fields. More precisely, let $\mathsf{D}$ denote the rigid-analytic closed unit disc and $\mathsf{D}^{\times} = \mathsf{D} \setminus \{0\}$, let $X$ be a smooth rigid-analytic variety, and let $S(G,\mathcal{H})_{\mathsf{K}}$ denote a Shimura variety of abelian type with torsion-free level structure. We prove every rigid-analytic map defined over a discretely valued $p$-adic field $\mathsf{D}^{\times} \times X \rightarrow S(G,\mathcal{H})_{\mathsf{K}}^{\textrm{an}}$ extends to an analytic map $\mathsf{D} \times X \rightarrow (S(G,\mathcal{H})_{\mathsf{K}}^{\textrm{BB}})^{\textrm{an}}$, where $S(G,\mathcal{H})_{\mathsf{K}}^{\textrm{BB}}$ is the Baily-Borel compactification of $S(G,\mathcal{H})_{\mathsf{K}}$. We also deduce various applications to algebraicity of analytic maps, degenerations of families of abeloids, and to $p$-adic notions of hyperbolicity. Along the way, we also prove an extension result for Rapoport-Zink spaces.
△ Less
Submitted 9 October, 2023;
originally announced October 2023.
-
On the geometry at infinity of manifolds with linear volume growth and nonnegative Ricci curvature
Authors:
Xingyu Zhu
Abstract:
We prove that an open manifold with nonnegative Ricci curvature, linear volume growth and noncollapsed ends always splits off a line at infinity. This completes the final step to prove the existence of isoperimetric sets given large volumes in the above setting. We also find that under our assumptions, the diameter of the level sets of any Busemann function are uniformly bounded as opposed to a cl…
▽ More
We prove that an open manifold with nonnegative Ricci curvature, linear volume growth and noncollapsed ends always splits off a line at infinity. This completes the final step to prove the existence of isoperimetric sets given large volumes in the above setting. We also find that under our assumptions, the diameter of the level sets of any Busemann function are uniformly bounded as opposed to a classical result stating that they can have sublinear growth when ends are collapsing. Moreover, some equivalent characterizations of linear volume growth are given. Finally, we construct an example to show that for manifolds in our setting, although their limit spaces at infinity are always cylinders, the cross sections can be nonhomeomorphic.
△ Less
Submitted 9 June, 2024; v1 submitted 1 October, 2023;
originally announced October 2023.
-
$L^p$ boundedness of pseudo-differential operators with symbols in $S^{n(ρ-1)/2}_{ρ,1}$
Authors:
**gwei Guo,
Xiangrong Zhu
Abstract:
For symbol $a\in S^{n(ρ-1)/2}_{ρ,1}$ the pseudo-differential operator $T_a$ may not be $L^2$ bounded. However, under some mild extra assumptions on $a$, we show that $T_a$ is bounded from $L^{\infty}$ to $BMO$ and on $L^p$ for $2\leq p<\infty$. A key ingredient in our proof of the $L^{\infty}$-$BMO$ boundedness is that we decompose a cube, use $x$-regularity of the symbol and combine certain…
▽ More
For symbol $a\in S^{n(ρ-1)/2}_{ρ,1}$ the pseudo-differential operator $T_a$ may not be $L^2$ bounded. However, under some mild extra assumptions on $a$, we show that $T_a$ is bounded from $L^{\infty}$ to $BMO$ and on $L^p$ for $2\leq p<\infty$. A key ingredient in our proof of the $L^{\infty}$-$BMO$ boundedness is that we decompose a cube, use $x$-regularity of the symbol and combine certain $L^2$, $L^\infty$ and $L^{\infty}$-$BMO$ boundedness. We use an almost orthogonality argument to prove an $L^2$ boundedness and then interpolation to obtain the desired $L^p$ boundedness.
△ Less
Submitted 19 September, 2023;
originally announced September 2023.
-
Maximum cliques in a graph without disjoint given subgraph
Authors:
Fangfang Zhang,
Yaojun Chen,
Ervin Gyori,
Xiutao Zhu
Abstract:
The generalized Turán number $\ex(n,K_s,F)$ denotes the maximum number of copies of $K_s$ in an $n$-vertex $F$-free graph. Let $kF$ denote $k$ disjoint copies of $F$. Gerbner, Methuku and Vizer [DM, 2019, 3130-3141] gave a lower bound for $\ex(n,K_3,2C_5)$ and obtained the magnitude of $\ex(n, K_s, kK_r)$. In this paper, we determine the exact value of $\ex(n,K_3,2C_5)$ and described the unique ex…
▽ More
The generalized Turán number $\ex(n,K_s,F)$ denotes the maximum number of copies of $K_s$ in an $n$-vertex $F$-free graph. Let $kF$ denote $k$ disjoint copies of $F$. Gerbner, Methuku and Vizer [DM, 2019, 3130-3141] gave a lower bound for $\ex(n,K_3,2C_5)$ and obtained the magnitude of $\ex(n, K_s, kK_r)$. In this paper, we determine the exact value of $\ex(n,K_3,2C_5)$ and described the unique extremal graph for large $n$. Moreover, we also determine the exact value of $\ex(n,K_r,(k+1)K_r)$ which generalizes some known results.
△ Less
Submitted 18 September, 2023;
originally announced September 2023.
-
Non-uniqueness of Leray-Hopf solutions for stochastic forced Navier-Stokes equations
Authors:
Martina Hofmanová,
Rongchan Zhu,
Xiangchan Zhu
Abstract:
We consider stochastic forced Navier--Stokes equations on $\mathbb{R}^{3}$ starting from zero initial condition. The noise is linear multiplicative and the equations are perturbed by an additional body force. Based on the ideas of Albritton, Brué and Colombo \cite{ABC22}, we prove non-uniqueness of local-in-time Leray--Hopf solutions as well as joint non-uniqueness in law for solutions on…
▽ More
We consider stochastic forced Navier--Stokes equations on $\mathbb{R}^{3}$ starting from zero initial condition. The noise is linear multiplicative and the equations are perturbed by an additional body force. Based on the ideas of Albritton, Brué and Colombo \cite{ABC22}, we prove non-uniqueness of local-in-time Leray--Hopf solutions as well as joint non-uniqueness in law for solutions on $\mathbb{R}^{+}$. In the deterministic setting, we show that the set of forces, for which Leray--Hopf solutions are non-unique, is dense in $L^{1}_{t}L^{2}_{x}$. In addition, by a simple controllability argument we show that for every divergence-free initial condition in $L^{2}_{x}$ there is a force so that non-uniqueness of Leray--Hopf solutions holds.
△ Less
Submitted 7 September, 2023;
originally announced September 2023.
-
Distributed Least Squares Algorithm for Continuous-time Stochastic Systems Under Cooperative Excitation Condition
Authors:
Xinghua Zhu,
Zhixin Liu
Abstract:
In this paper, we study the distributed adaptive estimation problem of continuous-time stochastic dynamic systems over sensor networks where each agent can only communicate with its local neighbors. A distributed least squares (LS) algorithm based on diffusion strategy is proposed such that the sensors can cooperatively estimate the unknown time-invariant parameter vector from continuous-time nois…
▽ More
In this paper, we study the distributed adaptive estimation problem of continuous-time stochastic dynamic systems over sensor networks where each agent can only communicate with its local neighbors. A distributed least squares (LS) algorithm based on diffusion strategy is proposed such that the sensors can cooperatively estimate the unknown time-invariant parameter vector from continuous-time noisy signals. By using the martingal estimation theory and Ito formula, we provide upper bounds for the estimation error of the proposed distributed LS algorithm, and further obtain the convergence results under a cooperative excitation condition. Compared with the existing results, our results are established without using the boundedness or persistent excitation (PE) conditions of regression signals. We provide simulation examples to show that multiple sensors can cooperatively accomplish the estimation task even if any individual can not.
△ Less
Submitted 6 September, 2023;
originally announced September 2023.
-
Arc weighted acyclic orientations and variations of degeneracy of graphs
Authors:
Huan Zhou,
Jialu Zhu,
Xuding Zhu
Abstract:
This paper studies generalizations of the concept of acyclic orientations to arc-weighted orientations. These lead to four types of variations of strict degeneracy of graphs. Some of these variations are studied in the literature under different names and we put them in a same framework for comparison. Then we concentrate on one of these variations, which is new and is defined as follows: For a gr…
▽ More
This paper studies generalizations of the concept of acyclic orientations to arc-weighted orientations. These lead to four types of variations of strict degeneracy of graphs. Some of these variations are studied in the literature under different names and we put them in a same framework for comparison. Then we concentrate on one of these variations, which is new and is defined as follows: For a graph $G$ and a map** $f \in \mathbb{N}^G$, we say $G$ is
$ST^{(2)}$-$f$-degenerate if there is an arc-weighted orientation $(D, w)$ of $G$ such that $d_{(D,w)}^+(v) < f(v)$ for each vertex $v$, and every sub-digraph $D'$ of $D$ contains an arc $e=(u,v)$ with
$w(e) > d_{(D', w)}^+(v)$.
We prove that if $G$ is $ST^{(2)}$-$f$-degenerate, then $G$ is $f$-paintable, as well as $f$-AT.
Then we use $ST^{(2)}$-degeneracy to study truncated degree choosability of graphs. A graph $G$ is called $k$-truncated degree-choosable (respectively $ST^{(2)}$-$k$-truncated degree degenerate) if $G$ is $f$-choosable (respectively, $ST^{(2)}$-$f$-degenerate), where $f(v)= \min\{k, d_G(v)\}$.
Richter asked whether every 3-connected non-complete planar graph is $6$-truncated-degree-choosable. We answer this question in negative by constructing a 3-connected non-complete planar graph which is not $7$-truncated-degree-choosable. On the other hand, we prove that every 3-connected non-complete planar graph is $ST^{(2)}$-$16$-truncated-degree-degenerate, and hence
$16$-truncated-degree-choosable. We further prove that for an arbitrary proper minor closed family ${\mathcal G}$ of graphs, let $s$ be the minimum integer such that $K_{s,t} \notin \mathcal{G}$ for some $t$, then there is a constant $k$ such that every $s$-connected non-complete graph $G \in {\mathcal G}$ is $ST^{(2)}$-$k$-truncated-degree-degenerate and hence $k$-truncated-degree-choosable.
△ Less
Submitted 11 April, 2024; v1 submitted 30 August, 2023;
originally announced August 2023.
-
Surface quasi-geostrophic equation perturbed by derivatives of space-time white noise
Authors:
Martina Hofmanová,
Xiaoyutao Luo,
Rongchan Zhu,
Xiangchan Zhu
Abstract:
We consider a family of singular surface quasi-geostrophic equations $$ \partial_{t}θ+u\cdot\nablaθ=-ν(-Δ)^{γ/2}θ+(-Δ)^{α/2}ξ,\qquad u=\nabla^{\perp}(-Δ)^{-1/2}θ, $$ on $[0,\infty)\times\mathbb{T}^{2}$, where $ν\geq 0$, $γ\in [0,3/2)$, $α\in [0,1/4)$ and $ξ$ is a space-time white noise. For the first time, we establish the existence of infinitely many non-Gaussian
$\bullet$ probabilistically stron…
▽ More
We consider a family of singular surface quasi-geostrophic equations $$ \partial_{t}θ+u\cdot\nablaθ=-ν(-Δ)^{γ/2}θ+(-Δ)^{α/2}ξ,\qquad u=\nabla^{\perp}(-Δ)^{-1/2}θ, $$ on $[0,\infty)\times\mathbb{T}^{2}$, where $ν\geq 0$, $γ\in [0,3/2)$, $α\in [0,1/4)$ and $ξ$ is a space-time white noise. For the first time, we establish the existence of infinitely many non-Gaussian
$\bullet$ probabilistically strong solutions for every initial condition in $C^η$, $η>1/2$
$\bullet$ ergodic stationary solutions
The result presents a single approach applicable in the subcritical, critical as well as supercritical regime in the sense of Hairer (M. Hairer, A theory of regularity structures). It also applies in the particular setting $α=γ/2$ which formally possesses a Gaussian invariant measure. In our proof, we first introduce a modified Da Prato--Debussche trick which, on the one hand, permits to convert irregularity in time into irregularity in space and, on the other hand, increases the regularity of the linear solution. Second, we develop a convex integration iteration for the corresponding nonlinear equation which yields non-unique non-Gaussian solutions satisfying powerful global-in-time estimates and generating stationary as well as ergodic stationary solutions.
△ Less
Submitted 28 August, 2023;
originally announced August 2023.
-
Asymptotic rates of convergence for compact reversible Markov chains
Authors:
Yue Xu,
Xiuwu Zhu
Abstract:
In this paper, we establish the main term governing the rate at which a compact reversible Markov chain converges to stationarity. As an application, we obtain the sharpest estimates for the corank distributions of uniform, skew centrosymmetric, symmetric, skew-symmetric, and Hermitian matrices.
In this paper, we establish the main term governing the rate at which a compact reversible Markov chain converges to stationarity. As an application, we obtain the sharpest estimates for the corank distributions of uniform, skew centrosymmetric, symmetric, skew-symmetric, and Hermitian matrices.
△ Less
Submitted 4 August, 2023;
originally announced August 2023.
-
Commutators of the maximal and sharp functions with weighted Lipschitz functions
Authors:
Pu Zhang,
Xiaomeng Zhu
Abstract:
Let $M$ be the Hardy-Littlewood maximal function. Denote by $M_b$ and $[b,M]$ the maximal and the nonlinear commutators of $M$ with a function $b$. The boundedness of $M_b$ and $[b,M]$ on weighted Lebesgue spaces are characterized when the symbols $b$ belong to weighted Lipschitz (weighted Morrey-Campanato) spaces. Some new characterizations for weighted Lipschitz spaces are obtained. Similar resu…
▽ More
Let $M$ be the Hardy-Littlewood maximal function. Denote by $M_b$ and $[b,M]$ the maximal and the nonlinear commutators of $M$ with a function $b$. The boundedness of $M_b$ and $[b,M]$ on weighted Lebesgue spaces are characterized when the symbols $b$ belong to weighted Lipschitz (weighted Morrey-Campanato) spaces. Some new characterizations for weighted Lipschitz spaces are obtained. Similar results are also established for the nonlinear commutator of the sharp function.
△ Less
Submitted 13 January, 2024; v1 submitted 28 July, 2023;
originally announced July 2023.
-
Extremal problems for a matching and any other graph
Authors:
Xiutao Zhu,
Yaojun Chen
Abstract:
For a family of graphs $\F$, a graph is called $\F$-free if it does not contain any member of $\F$ as a subgraph. The generalized Turán number $\ex(n,K_r,\F)$ is the maximum number of $K_r$ in an $n$-vertex $\F$-free graph and $\ex(n,K_2,\F)=\ex(n,\F)$, i.e., the classical Turán number. Let $M_{s+1}$ be a matching on $s+1$ edges and $F$ be any graph. In this paper, we determine…
▽ More
For a family of graphs $\F$, a graph is called $\F$-free if it does not contain any member of $\F$ as a subgraph. The generalized Turán number $\ex(n,K_r,\F)$ is the maximum number of $K_r$ in an $n$-vertex $\F$-free graph and $\ex(n,K_2,\F)=\ex(n,\F)$, i.e., the classical Turán number. Let $M_{s+1}$ be a matching on $s+1$ edges and $F$ be any graph. In this paper, we determine $\ex(n,K_r, \{M_{s+1},F\})$ apart from a constant additive term and also give a condition when the error constant term can be determined. In particular, we give the exact value of $\ex(n,\{M_{s+1},F\})$ for $F$ being any non-bipartite graph or some bipartite graphs. Furthermore, we determine $\ex(n,K_r,\{M_{s+1},F\})$ when $F$ is color critical with $χ(F)\ge \max\{r+1,4\}$.
These extend the results in [2,11,18].
△ Less
Submitted 22 July, 2023;
originally announced July 2023.
-
Long-time asymptotics of the Sawada-Kotera equation and Kaup-Kupershmidt equation on the line
Authors:
Deng-Shan Wang,
Xiaodong Zhu
Abstract:
Both Sawada-Kotera (SK) equation and Kaup-Kupershmidt (KK) equation are integrable systems with third-order Lax operator. Moreover, they are related with the same modified nonlinear equation (called modified SK-KK equation) by Miura transformations. This work first constructs the Riemann-Hilbert problem associated with the SK equation, KK equation and modified SK-KK equation by direct and inverse…
▽ More
Both Sawada-Kotera (SK) equation and Kaup-Kupershmidt (KK) equation are integrable systems with third-order Lax operator. Moreover, they are related with the same modified nonlinear equation (called modified SK-KK equation) by Miura transformations. This work first constructs the Riemann-Hilbert problem associated with the SK equation, KK equation and modified SK-KK equation by direct and inverse scattering transforms. Then the long-time asymptotics of these equations are studied based on Deift-Zhou steepest-descent method for Riemann-Hilbert problem. Finally, it is shown that the asymptotic solutions match very well with the results of direct numerical simulations.
△ Less
Submitted 16 July, 2023;
originally announced July 2023.
-
Byzantine-robust distributed one-step estimation
Authors:
Chuhan Wang,
Xuehu Zhu,
Lixing Zhu
Abstract:
This paper proposes a Robust One-Step Estimator(ROSE) to solve the Byzantine failure problem in distributed M-estimation when a moderate fraction of node machines experience Byzantine failures. To define ROSE, the algorithms use the robust Variance Reduced Median Of the Local(VRMOL) estimator to determine the initial parameter value for iteration, and communicate between the node machines and the…
▽ More
This paper proposes a Robust One-Step Estimator(ROSE) to solve the Byzantine failure problem in distributed M-estimation when a moderate fraction of node machines experience Byzantine failures. To define ROSE, the algorithms use the robust Variance Reduced Median Of the Local(VRMOL) estimator to determine the initial parameter value for iteration, and communicate between the node machines and the central processor in the Newton-Raphson iteration procedure to derive the robust VRMOL estimator of the gradient, and the Hessian matrix so as to obtain the final estimator. ROSE has higher asymptotic relative efficiency than general median estimators without increasing the order of computational complexity. Moreover, this estimator can also cope with the problems involving anomalous or missing samples on the central processor. We prove the asymptotic normality when the parameter dimension p diverges as the sample size goes to infinity, and under weaker assumptions, derive the convergence rate. Numerical simulations and a real data application are conducted to evidence the effectiveness and robustness of ROSE.
△ Less
Submitted 15 July, 2023;
originally announced July 2023.
-
Dynamical Localization for the Singular Anderson Model in $\mathbb{Z}^d$
Authors:
Nishant Rangamani,
Xiaowen Zhu
Abstract:
We prove that once one has the ingredients of a ``single-energy multiscale analysis (MSA) result'' on the $\mathbb{Z}^d$ lattice, several spectral and dynamical localization results can be derived, the most prominent being strong dynamical localization (SDL). In particular, given the recent progress at the bottom of the spectrum for the $\mathbb{Z}^2$ and $\mathbb{Z}^3$ cases with Bernoulli single…
▽ More
We prove that once one has the ingredients of a ``single-energy multiscale analysis (MSA) result'' on the $\mathbb{Z}^d$ lattice, several spectral and dynamical localization results can be derived, the most prominent being strong dynamical localization (SDL). In particular, given the recent progress at the bottom of the spectrum for the $\mathbb{Z}^2$ and $\mathbb{Z}^3$ cases with Bernoulli single site probability distribution, our results imply SDL in these regimes.
△ Less
Submitted 4 July, 2023;
originally announced July 2023.
-
A non-intrusive bi-fidelity reduced basis method for time-independent problems
Authors:
Jun Sur Richard Park,
Xueyu Zhu
Abstract:
Scientific and engineering problems often involve parametric partial differential equations (PDEs), such as uncertainty quantification, optimizations, and inverse problems. However, solving these PDEs repeatedly can be prohibitively expensive, especially for large-scale complex applications. To address this issue, reduced order modeling (ROM) has emerged as an effective method to reduce computatio…
▽ More
Scientific and engineering problems often involve parametric partial differential equations (PDEs), such as uncertainty quantification, optimizations, and inverse problems. However, solving these PDEs repeatedly can be prohibitively expensive, especially for large-scale complex applications. To address this issue, reduced order modeling (ROM) has emerged as an effective method to reduce computational costs. However, ROM often requires significant modifications to the existing code, which can be time-consuming and complex, particularly for large-scale legacy codes. Non-intrusive methods have gained attention as an alternative approach. However, most existing non-intrusive approaches are purely data-driven and may not respect the underlying physics laws during the online stage, resulting in less accurate approximations of the reduced solution. In this study, we propose a new non-intrusive bi-fidelity reduced basis method for time-independent parametric PDEs. Our algorithm utilizes the discrete operator, solutions, and right-hand sides obtained from the high-fidelity legacy solver. By leveraging a low-fidelity model, we efficiently construct the reduced operator and right-hand side for new parameter values during the online stage. Unlike other non-intrusive ROM methods, we enforce the reduced equation during the online stage. In addition, the non-intrusive nature of our algorithm makes it straightforward and applicable to general nonlinear time-independent problems. We demonstrate its performance through several benchmark examples, including nonlinear and multiscale PDEs.
△ Less
Submitted 3 July, 2023;
originally announced July 2023.
-
Smoothing analysis of two-color distributive relaxation for solving 2D Stokes flow by multigrid method
Authors:
Xingwen Zhu,
Lixiang Zhang
Abstract:
Smoothing properties of two-color distributive relaxation for solving a two-dimensional (2D) Stokes flow by multigrid method are theoretically investigated by using the local Fourier analysis (LFA) method. The governing equation of the 2D Stokes flow in consideration is discretized with the non-staggered grid and an added pressure stabilization term with stabilized parameters to be determined is i…
▽ More
Smoothing properties of two-color distributive relaxation for solving a two-dimensional (2D) Stokes flow by multigrid method are theoretically investigated by using the local Fourier analysis (LFA) method. The governing equation of the 2D Stokes flow in consideration is discretized with the non-staggered grid and an added pressure stabilization term with stabilized parameters to be determined is introduced into the discretization system in order to enhance the smoothing effectiveness in the analysis. So, an important problem caused by the added pressure stabilization term is how to determine a suitable zone of parameters in the added term. To that end, theoretically, a two-color distributive relaxation, developed on the two-color Jacobi point relaxation, is established for the 2D Stokes flow. Firstly, a mathematical constitution based on the Fourier modes with various frequency components is constructed as a base of the two-color smoothing analysis, in which the related Fourier representation is presented by the form of two-color Jacobi point relaxation. Then, an optimal one-stage relaxation parameter and related smoothing factor for the two-color distributive relaxation are applied to the discretization system, and an analytical expression of the parameter zone on the added pressure stabilization term is established by LFA. The obtained analytical results show that numerical schemes for solving 2D Stokes flow by multigrid method on the two-color distributive relaxation have a specific convergence zone on the parameters of the added pressure stabilization term, and the property of convergence is independent of mesh size, but depends on the parameters of the pressure stabilization term.
△ Less
Submitted 29 June, 2023;
originally announced June 2023.
-
Solving bilevel programs based on lower-level Mond-Weir duality
Authors:
Yu-Wei Li,
Gui-Hua Lin,
Xide Zhu
Abstract:
This paper focuses on develo** effective algorithms for solving bilevel program. The most popular approach is to replace the lower-level problem by its Karush-Kuhn-Tucker conditions to generate a mathematical program with complementarity constraints (MPCC). However, MPCC does not satisfy the Mangasarian-Fromovitz constraint qualification (MFCQ) at any feasible point. In this paper, inspired by a…
▽ More
This paper focuses on develo** effective algorithms for solving bilevel program. The most popular approach is to replace the lower-level problem by its Karush-Kuhn-Tucker conditions to generate a mathematical program with complementarity constraints (MPCC). However, MPCC does not satisfy the Mangasarian-Fromovitz constraint qualification (MFCQ) at any feasible point. In this paper, inspired by a recent work using the lower-level Wolfe duality (WDP), we apply the lower-level Mond-Weir duality to present a new reformulation, called MDP, for bilevel program. It is shown that, under mild assumptions, they are equivalent in globally or locally optimal sense. An example is given to show that, different from MPCC, MDP may satisfy the MFCQ at its feasible points. Relations among MDP, WDP, and MPCC are investigated. Furthermore, in order to compare the new MDP approach with the MPCC and WDP approaches, we design a procedure to generate 150 tested problems randomly and comprehensive numerical experiments showed that MDP has evident advantages over MPCC and WDP in terms of feasibility to the original bilevel programs, success efficiency, and average CPU time.
△ Less
Submitted 16 February, 2024; v1 submitted 26 June, 2023;
originally announced June 2023.
-
On Two problems of defective choosability
Authors:
Jie Ma,
Rongxing Xu,
Xuding Zhu
Abstract:
Given positive integers $p \ge k$, and a non-negative integer $d$, we say a graph $G$ is $(k,d,p)$-choosable if for every list assignment $L$ with $|L(v)|\geq k$ for each $v \in V(G)$ and $|\bigcup_{v\in V(G)}L(v)| \leq p$, there exists an $L$-coloring of $G$ such that each monochromatic subgraph has maximum degree at most $d$. In particular, $(k,0,k)$-choosable means $k$-colorable,…
▽ More
Given positive integers $p \ge k$, and a non-negative integer $d$, we say a graph $G$ is $(k,d,p)$-choosable if for every list assignment $L$ with $|L(v)|\geq k$ for each $v \in V(G)$ and $|\bigcup_{v\in V(G)}L(v)| \leq p$, there exists an $L$-coloring of $G$ such that each monochromatic subgraph has maximum degree at most $d$. In particular, $(k,0,k)$-choosable means $k$-colorable, $(k,0,+\infty)$-choosable means $k$-choosable and $(k,d,+\infty)$-choosable means $d$-defective $k$-choosable. This paper proves that there are 1-defective 3-choosable graphs that are not 4-choosable, and for any positive integers $\ell \geq k \geq 3$, and non-negative integer $d$, there are $(k,d, \ell)$-choosable graphs that are not $(k,d , \ell+1)$-choosable. These results answer questions asked by Wang and Xu [SIAM J. Discrete Math. 27, 4(2013), 2020-2037], and Kang [J. Graph Theory 73, 3(2013), 342-353], respectively. Our construction of $(k,d, \ell)$-choosable but not $(k,d , \ell+1)$-choosable graphs generalizes the construction of Král' and Sgall in [J. Graph Theory 49, 3(2005), 177-186] for the case $d=0$.
△ Less
Submitted 23 June, 2023; v1 submitted 20 June, 2023;
originally announced June 2023.
-
Large $N$ limit and $1/N$ expansion of invariant observables in $O(N)$ linear $σ$-model via SPDE
Authors:
Hao Shen,
Rongchan Zhu,
Xiangchan Zhu
Abstract:
In this paper, we continue the study of large $N$ problems for the Wick renormalized linear sigma model, i.e. $N$-component $Φ^4$ model, in two spatial dimensions, using stochastic quantization methods and Dyson--Schwinger equations. We identify the large $N$ limiting law of a collection of Wick renormalized $O(N)$ invariant observables. In particular, under a suitable scaling, the quadratic obser…
▽ More
In this paper, we continue the study of large $N$ problems for the Wick renormalized linear sigma model, i.e. $N$-component $Φ^4$ model, in two spatial dimensions, using stochastic quantization methods and Dyson--Schwinger equations. We identify the large $N$ limiting law of a collection of Wick renormalized $O(N)$ invariant observables. In particular, under a suitable scaling, the quadratic observables converge in the large $N$ limit to a mean-zero (singular) Gaussian field denoted by $\mathcal{Q}$ with an explicit covariance; and the observables which are renormalized powers of order $2n$ converge in the large $N$ limit to suitably renormalized $n$-th powers of $\mathcal{Q}$. The quartic interaction term of the model has no effect on the large $N$ limit of the field, but has nontrivial contributions to the limiting law of the observables, and the renormalization of the $n$-th powers of $\mathcal{Q}$ in the limit has an interesting finite shift from the standard one.
Furthermore, we derive the $1/N$ asymtotic expansion for the $k$-point functions of the quadratic observables by employing graph representations and analyzing the order of each graph from Dyson--Schwinger equations. Finally, turning to the stationary solutions to the stochastic quantization equations, with the Ornstein--Uhlenbeck process being the large $N$ limiting dynamic, we derive here its next order correction in stationarity, as described by an SPDE with the right-hand side having explicit fixed-time marginal law which involves the above field $\mathcal{Q}$.
△ Less
Submitted 28 June, 2023; v1 submitted 8 June, 2023;
originally announced June 2023.