-
Eichler-Selberg relations for singular moduli
Authors:
Yuqi Deng,
Toshiki Matsusaka,
Ken Ono
Abstract:
The Eichler-Selberg trace formula expresses the trace of Hecke operators on spaces of cusp forms as weighted sums of Hurwitz-Kronecker class numbers. We extend this formula to a natural class of relations for traces of singular moduli, where one views class numbers as traces of the constant function $j_0(τ)=1$. More generally, we consider the singular moduli for the Hecke system of modular functio…
▽ More
The Eichler-Selberg trace formula expresses the trace of Hecke operators on spaces of cusp forms as weighted sums of Hurwitz-Kronecker class numbers. We extend this formula to a natural class of relations for traces of singular moduli, where one views class numbers as traces of the constant function $j_0(τ)=1$. More generally, we consider the singular moduli for the Hecke system of modular functions \[ j_m(τ) := mT_m \left(j(τ)-744\right). \] For each $ν\geq 0$ and $m\geq 1$, we obtain an Eichler-Selberg relation. For $ν=0$ and $m\in \{1, 2\},$ these relations are Kaneko's celebrated singular moduli formulas for the coefficients of $j(τ).$ For each $ν\geq 1$ and $m\geq 1,$ we obtain a new Eichler-Selberg trace formula for the Hecke action on the space of weight $2ν+2$ cusp forms, where the traces of $j_m(τ)$ singular moduli replace Hurwitz-Kronecker class numbers. These formulas involve a new term that is assembled from values of symmetrized shifted convolution $L$-functions.
△ Less
Submitted 20 June, 2024;
originally announced June 2024.
-
Linear Singer-Hopf conjecture
Authors:
Ya Deng,
Botong Wang
Abstract:
If $X$ is a closed $2n$-dimensional aspherical manifold, i.e., the universal cover of $X$ is contractible, then the Singer-Hopf conjecture predicts that $(-1)^nχ(X)\geq 0$. We prove this conjecture when $X$ is a complex projective manifold whose fundamental group admits an almost faithful linear representation over any field. In fact, we prove a much stronger statement that if $X$ is a complex pro…
▽ More
If $X$ is a closed $2n$-dimensional aspherical manifold, i.e., the universal cover of $X$ is contractible, then the Singer-Hopf conjecture predicts that $(-1)^nχ(X)\geq 0$. We prove this conjecture when $X$ is a complex projective manifold whose fundamental group admits an almost faithful linear representation over any field. In fact, we prove a much stronger statement that if $X$ is a complex projective manifold with large fundamental group and $π_1(X)$ admits an almost faithful linear representation, then $χ(X, {P})\geq 0$ for any perverse sheaf ${P}$ on $X$.
To prove the main result, we introduce a vanishing cycle functor of multivalued one-forms. Then using techniques from non-abelian Hodge theories in both archimedean and non-archimedean settings, we deduce the desired positivity from the geometry of pure and mixed period maps.
△ Less
Submitted 20 May, 2024;
originally announced May 2024.
-
Adaptive Hyperbolic-cross-space Mapped Jacobi Method on Unbounded Domains with Applications to Solving Multidimensional Spatiotemporal Integrodifferential Equations
Authors:
Yunhong Deng,
Sihong Shao,
Alex Mogilner,
Mingtao Xia
Abstract:
In this paper, we develop a new adaptive hyperbolic-cross-space mapped Jacobi (AHMJ) method for solving multidimensional spatiotemporal integrodifferential equations in unbounded domains. By devising adaptive techniques for sparse mapped Jacobi spectral expansions defined in a hyperbolic cross space, our proposed AHMJ method can efficiently solve various spatiotemporal integrodifferential equation…
▽ More
In this paper, we develop a new adaptive hyperbolic-cross-space mapped Jacobi (AHMJ) method for solving multidimensional spatiotemporal integrodifferential equations in unbounded domains. By devising adaptive techniques for sparse mapped Jacobi spectral expansions defined in a hyperbolic cross space, our proposed AHMJ method can efficiently solve various spatiotemporal integrodifferential equations such as the anomalous diffusion model with reduced numbers of basis functions. Our analysis of the AHMJ method gives a uniform upper error bound for solving a class of spatiotemporal integrodifferential equations, leading to effective error control.
△ Less
Submitted 11 April, 2024;
originally announced April 2024.
-
On the existence of positive solution for a Neumann problem with double critical exponents in half-space
Authors:
Yinbin Deng,
Longge Shi
Abstract:
In this paper, we consider the existence and nonexistence of positive solution for a Neumann problem with double critical exponents and fast increasing weighted in half-space. This problem is closely related to the study of self-similar solutions for nonlinear heat equation. By applying the Mountain Pass Theorem without (PS) condition and the delicate estimates for the Mountain Pass level, we obta…
▽ More
In this paper, we consider the existence and nonexistence of positive solution for a Neumann problem with double critical exponents and fast increasing weighted in half-space. This problem is closely related to the study of self-similar solutions for nonlinear heat equation. By applying the Mountain Pass Theorem without (PS) condition and the delicate estimates for the Mountain Pass level, we obtain the existence of a positive solution under different assumptions. Meanwhile, some nonexistence results for this problem is also obtained by an improved Pohozaev identity and Hardy inequality according to the value of the parameters. Particularly, we give the best lower bound of the parameter for the existence of a positive solution of this problem if dimension N=4.
△ Less
Submitted 5 April, 2024;
originally announced April 2024.
-
Linear Shafarevich Conjecture in positive characteristic, Hyperbolicity and Applications
Authors:
Ya Deng,
Katsutoshi Yamanoi
Abstract:
Given a complex quasi-projective normal variety $X$ and a linear representation $\varrho:π_1(X)\to {\rm GL}_{N}(K)$ with $K$ any field of positive characteristic, we mainly establish the following results:
1. the construction of the Shafarevich morphism ${\rm sh}_\varrho:X\to {\rm Sh}_\varrho(X)$ associated with $\varrho$.
2. In cases where $X$ is projective, $\varrho$ is faithful and the $Γ$-…
▽ More
Given a complex quasi-projective normal variety $X$ and a linear representation $\varrho:π_1(X)\to {\rm GL}_{N}(K)$ with $K$ any field of positive characteristic, we mainly establish the following results:
1. the construction of the Shafarevich morphism ${\rm sh}_\varrho:X\to {\rm Sh}_\varrho(X)$ associated with $\varrho$.
2. In cases where $X$ is projective, $\varrho$ is faithful and the $Γ$-dimension of $X$ is at most two (e.g. $\dim X=2$), we prove that the Shafarevich conjecture holds for $X$.
3. In cases where $\varrho$ is big, we prove that the Green-Griffiths-Lang conjecture holds for $X$.
4. When $\varrho$ is big and the Zariski closure of $\varrho(π_1(X))$ is a semisimple algebraic group, we prove that $X$ is pseudo Picard hyperbolic, and strongly of log general type.
5. If $X$ is special or $h$-special, then $\varrho(π_1(X))$ is virtually abelian.
We also prove Claudon-Höring-Kollár's conjecture for complex projective manifolds with linear fundamental groups of any characteristic.
△ Less
Submitted 24 March, 2024;
originally announced March 2024.
-
Optimal estimate of electromagnetic field concentration between two nearly-touching inclusions in the quasi-static regime
Authors:
Youjun Deng,
Hongyu Liu,
Liyan Zhu
Abstract:
We investigate the electromagnetic field concentration between two nearly-touching inclusions that possess high-contrast electric permittivities in the quasi-static regime. By using layer potential techniques and asymptotic analysis in the low-frequency regime, we derive low-frequency expansions that provide integral representations for the solutions of the Maxwell equations. For the leading-order…
▽ More
We investigate the electromagnetic field concentration between two nearly-touching inclusions that possess high-contrast electric permittivities in the quasi-static regime. By using layer potential techniques and asymptotic analysis in the low-frequency regime, we derive low-frequency expansions that provide integral representations for the solutions of the Maxwell equations. For the leading-order term $\bE_0$ of the asymptotic expansion of the electric field, we prove that it has the blow up order of $ε^{-1} |\ln ε|^{-1}$ within the radial geometry, where $ε$ signifies the asymptotic distance between the inclusions. By delicate analysis of the integral operators involved, we further prove the boundedness of the first-order term $\bE_1$. We also conduct extensive numerical experiments which not only corroborate the theoretical findings but also provide more discoveries on the field concentration in the general geometric setup. Our study provides the first treatment in the literature on field concentration between nearly-touching material inclusions for the full Maxwell system.
△ Less
Submitted 19 March, 2024;
originally announced March 2024.
-
On bilinear Strichartz estimates on waveguides with applications
Authors:
Yangkendi Deng,
Chenjie Fan,
Kailong Yang,
Zehua Zhao,
Jiqiang Zheng
Abstract:
We study local-in-time and global-in-time bilinear Strichartz estimates for the Schrödinger equation on waveguides. As applications, we apply those estimates to study global well-posedness of nonlinear Schrödinger equations on these waveguides.
We study local-in-time and global-in-time bilinear Strichartz estimates for the Schrödinger equation on waveguides. As applications, we apply those estimates to study global well-posedness of nonlinear Schrödinger equations on these waveguides.
△ Less
Submitted 29 June, 2024; v1 submitted 5 February, 2024;
originally announced February 2024.
-
Enhancing Stochastic Gradient Descent: A Unified Framework and Novel Acceleration Methods for Faster Convergence
Authors:
Yichuan Deng,
Zhao Song,
Chiwun Yang
Abstract:
Based on SGD, previous works have proposed many algorithms that have improved convergence speed and generalization in stochastic optimization, such as SGDm, AdaGrad, Adam, etc. However, their convergence analysis under non-convex conditions is challenging. In this work, we propose a unified framework to address this issue. For any first-order methods, we interpret the updated direction $g_t$ as th…
▽ More
Based on SGD, previous works have proposed many algorithms that have improved convergence speed and generalization in stochastic optimization, such as SGDm, AdaGrad, Adam, etc. However, their convergence analysis under non-convex conditions is challenging. In this work, we propose a unified framework to address this issue. For any first-order methods, we interpret the updated direction $g_t$ as the sum of the stochastic subgradient $\nabla f_t(x_t)$ and an additional acceleration term $\frac{2|\langle v_t, \nabla f_t(x_t) \rangle|}{\|v_t\|_2^2} v_t$, thus we can discuss the convergence by analyzing $\langle v_t, \nabla f_t(x_t) \rangle$. Through our framework, we have discovered two plug-and-play acceleration methods: \textbf{Reject Accelerating} and \textbf{Random Vector Accelerating}, we theoretically demonstrate that these two methods can directly lead to an improvement in convergence rate.
△ Less
Submitted 2 February, 2024;
originally announced February 2024.
-
Existence of solutions for critical Neumann problem with superlinear perturbation in the half-space
Authors:
Yinbin Deng,
Longge Shi,
Xinyue Zhang
Abstract:
In this paper, we consider the existence and multiplicity of solutions for the critical Neumann problem \begin{equation}\label{1.1ab}
\left\{
\begin{aligned}
-Δ{u}-\frac{1}{2}(x \cdot{\nabla u})&= λ{|u|^{{2}^{*}-2}u}+{μ{|u|^{p-2}u}}& \ \ \mbox{in} \ \ \ {\mathbb{R}^{N}_{+}},
\frac{\partial u}{\partial n}&=\sqrtλ|u|^{{2}_{*}-2}u \ & \mbox{on}\ {\partial {{\mathbb{R}^{N}_{+}}}},
\end{align…
▽ More
In this paper, we consider the existence and multiplicity of solutions for the critical Neumann problem \begin{equation}\label{1.1ab}
\left\{
\begin{aligned}
-Δ{u}-\frac{1}{2}(x \cdot{\nabla u})&= λ{|u|^{{2}^{*}-2}u}+{μ{|u|^{p-2}u}}& \ \ \mbox{in} \ \ \ {\mathbb{R}^{N}_{+}},
\frac{\partial u}{\partial n}&=\sqrtλ|u|^{{2}_{*}-2}u \ & \mbox{on}\ {\partial {{\mathbb{R}^{N}_{+}}}},
\end{aligned}
\right. \end{equation} where $ \mathbb{R}^{N}_{+}=\{(x{'}, x_{N}): x{'}\in {\mathbb{R}}^{N-1}, x_{N}>0\}$, $N\geq3$, $λ>0$, $μ\in \mathbb{R}$, $2< p <{2}^{*}$, $n$ is the outward normal vector at the boundary ${\partial {{\mathbb{R}^{N}_{+}}}}$, $2^{*}=\frac{2N}{N-2}$ is the usual critical exponent for the Sobolev embedding $D^{1,2}({\mathbb{R}}^{N}_{+})\hookrightarrow {L^{{2}^{*}}}({\mathbb{R}}^{N}_{+})$ and ${2}_{*}=\frac{2(N-1)}{N-2}$ is the critical exponent for the Sobolev trace embedding $D^{1,2}({\mathbb{R}}^{N}_{+})\hookrightarrow {L^{{2}_{*}}}(\partial \mathbb{R}^{N}_{+})$. By establishing an improved Pohozaev identity, we show that the problem has no nontrivial solution if $μ\le 0$; By applying the Mountain Pass Theorem without $(PS)$ condition and the delicate estimates for Mountain Pass level, we obtain the existence of a positive solution for all $λ>0$ and the different values of the parameters $p$ and $μ>0$. Particularly, for $λ>0$, $N\ge 4$, $2<p<2^*$, we prove that the problem has a positive solution if and only if $μ>0$. Moreover, the existence of multiple solutions for the problem is also obtained by dual variational principle for all $μ>0$ and suitable $λ$.
△ Less
Submitted 28 January, 2024;
originally announced January 2024.
-
On $p$-adic Minkowski's Theorems
Authors:
Yingpu Deng
Abstract:
Dual lattice is an important concept of Euclidean lattices. In this paper, we first give the right definition of the concept of the dual lattice of a $p$-adic lattice from the duality theory of locally compact abelian groups. The concrete constructions of ``basic characters'' of local fields given in Weil's famous book ``Basic Number Theory'' help us to do so. We then prove some important properti…
▽ More
Dual lattice is an important concept of Euclidean lattices. In this paper, we first give the right definition of the concept of the dual lattice of a $p$-adic lattice from the duality theory of locally compact abelian groups. The concrete constructions of ``basic characters'' of local fields given in Weil's famous book ``Basic Number Theory'' help us to do so. We then prove some important properties of the dual lattice of a $p$-adic lattice, which can be viewed as $p$-adic analogues of the famous Minkowski's first, second theorems for Euclidean lattices. We do this simultaneously for local fields $\mathbb{Q}_p$ (the field of $p$-adic numbers) and $\mathbb{F}_p((T))$ (the field of formal power-series of one indeterminate with coefficients in the finite field with $p$ elements).
△ Less
Submitted 25 January, 2024;
originally announced January 2024.
-
The degree of ill-posedness for some composition governed by the Cesaro operator
Authors:
Yu Deng,
Hans-Jürgen Fischer,
Bernd Hofmann
Abstract:
In this article, we consider the singular value asymptotics of compositions of compact linear operators map** in the real Hilbert space of quadratically integrable functions over the unit interval. Specifically, the composition is given by the compact simple integration operator followed by the non-compact Ces`aro operator possessing a non-closed range. We show that the degree of ill-posedness o…
▽ More
In this article, we consider the singular value asymptotics of compositions of compact linear operators map** in the real Hilbert space of quadratically integrable functions over the unit interval. Specifically, the composition is given by the compact simple integration operator followed by the non-compact Ces`aro operator possessing a non-closed range. We show that the degree of ill-posedness of that composition is two, which means that the Ces`aro operator increases the degree of illposedness by the amount of one compared to the simple integration operator.
△ Less
Submitted 21 January, 2024;
originally announced January 2024.
-
Deep FBSDE Neural Networks for Solving Incompressible Navier-Stokes Equation and Cahn-Hilliard Equation
Authors:
Yangtao Deng,
Qiaolin He
Abstract:
Efficient algorithms for solving high-dimensional partial differential equations (PDEs) has been an exceedingly difficult task for a long time, due to the curse of dimensionality. We extend the forward-backward stochastic neural networks (FBSNNs) which depends on forward-backward stochastic differential equation (FBSDE) to solve incompressible Navier-Stokes equation. For Cahn-Hilliard equation, we…
▽ More
Efficient algorithms for solving high-dimensional partial differential equations (PDEs) has been an exceedingly difficult task for a long time, due to the curse of dimensionality. We extend the forward-backward stochastic neural networks (FBSNNs) which depends on forward-backward stochastic differential equation (FBSDE) to solve incompressible Navier-Stokes equation. For Cahn-Hilliard equation, we derive a modified Cahn-Hilliard equation from a widely used stabilized scheme for original Cahn-Hilliard equation. This equation can be written as a continuous parabolic system, where FBSDE can be applied and the unknown solution is approximated by neural network. Also our method is successfully developed to Cahn-Hilliard-Navier-Stokes (CHNS) equation. The accuracy and stability of our methods are shown in many numerical experiments, specially in high dimension.
△ Less
Submitted 19 June, 2024; v1 submitted 7 January, 2024;
originally announced January 2024.
-
Inverse conductivity problem with one measurement: Uniqueness of multi-layer structures
Authors:
Lingzheng Kong,
Youjun Deng,
Liyan Zhu
Abstract:
In this paper, we study the recovery of multi-layer structures in inverse conductivity problem by using one measurement. First, we define the concept of Generalized Polarization Tensors (GPTs) for multi-layered medium and show some important properties of the proposed GPTs. With the help of GPTs, we present the perturbation formula for general multi-layered medium. Then we derive the perturbed ele…
▽ More
In this paper, we study the recovery of multi-layer structures in inverse conductivity problem by using one measurement. First, we define the concept of Generalized Polarization Tensors (GPTs) for multi-layered medium and show some important properties of the proposed GPTs. With the help of GPTs, we present the perturbation formula for general multi-layered medium. Then we derive the perturbed electric potential for multi-layer concentric disks structure in terms of the so-called generalized polarization matrix, whose dimension is the same as the number of the layers. By delicate analysis, we derive an algebraic identity involving the geometric and material configurations of multi-layer concentric disks. This enables us to reconstruct the multi-layer structures by using only one partial-order measurement.
△ Less
Submitted 4 December, 2023;
originally announced December 2023.
-
On a bilinear restriction estimate for Schrödinger equations on 2D waveguide
Authors:
Yangkendi Deng
Abstract:
In this article, we prove a bilinear estimate for Schrödinger equations on 2d waveguide, $\mathbb{R}\times \mathbb{T}$. We hope it may be of use in the further study of concentration compactness for cubic NLS on $\mathbb{R}\times \mathbb{T}$.
In this article, we prove a bilinear estimate for Schrödinger equations on 2d waveguide, $\mathbb{R}\times \mathbb{T}$. We hope it may be of use in the further study of concentration compactness for cubic NLS on $\mathbb{R}\times \mathbb{T}$.
△ Less
Submitted 30 November, 2023;
originally announced November 2023.
-
Norm Orthogonal Bases and Invariants of $p$-adic Lattices
Authors:
Chi Zhang,
Yingpu Deng,
Zhaonan Wang
Abstract:
In 2018, the longest vector problem (LVP) and the closest vector problem (CVP) in $p$-adic lattices were introduced. These problems are closely linked to the orthogonalization process. In this paper, we first prove that every $p$-adic lattice has an orthogonal basis and give definition to the successive maxima and the escape distance, as the $p$-adic analogues of the successive minima and the cove…
▽ More
In 2018, the longest vector problem (LVP) and the closest vector problem (CVP) in $p$-adic lattices were introduced. These problems are closely linked to the orthogonalization process. In this paper, we first prove that every $p$-adic lattice has an orthogonal basis and give definition to the successive maxima and the escape distance, as the $p$-adic analogues of the successive minima and the covering radius in Euclidean lattices. Then, we present deterministic polynomial time algorithms to perform the orthogonalization process, solve the LVP and solve the CVP with an orthogonal basis of the whole vector space. Finally, we conclude that orthogonalization and the CVP are polynomially equivalent.
△ Less
Submitted 24 January, 2024; v1 submitted 29 November, 2023;
originally announced November 2023.
-
Moving Sampling Physics-informed Neural Networks induced by Moving Mesh PDE
Authors:
Yu Yang,
Qihong Yang,
Yangtao Deng,
Qiaolin He
Abstract:
In this work, we propose an end-to-end adaptive sampling neural network (MMPDE-Net) based on the moving mesh method, which can adaptively generate new sampling points by solving the moving mesh PDE. This model focuses on improving the quality of sampling points generation. Moreover, we develop an iterative algorithm based on MMPDE-Net, which makes the sampling points more precise and controllable.…
▽ More
In this work, we propose an end-to-end adaptive sampling neural network (MMPDE-Net) based on the moving mesh method, which can adaptively generate new sampling points by solving the moving mesh PDE. This model focuses on improving the quality of sampling points generation. Moreover, we develop an iterative algorithm based on MMPDE-Net, which makes the sampling points more precise and controllable. Since MMPDE-Net is a framework independent of the deep learning solver, we combine it with physics-informed neural networks (PINN) to propose moving sampling PINN (MS-PINN) and demonstrate its effectiveness by error analysis under some assumptions. Finally, we demonstrate the performance improvement of MS-PINN compared to PINN through numerical experiments of four typical examples, which numerically verify the effectiveness of our method.
△ Less
Submitted 9 June, 2024; v1 submitted 14 November, 2023;
originally announced November 2023.
-
Risk Bounds of Accelerated SGD for Overparameterized Linear Regression
Authors:
Xuheng Li,
Yihe Deng,
**gfeng Wu,
Dongruo Zhou,
Quanquan Gu
Abstract:
Accelerated stochastic gradient descent (ASGD) is a workhorse in deep learning and often achieves better generalization performance than SGD. However, existing optimization theory can only explain the faster convergence of ASGD, but cannot explain its better generalization. In this paper, we study the generalization of ASGD for overparameterized linear regression, which is possibly the simplest se…
▽ More
Accelerated stochastic gradient descent (ASGD) is a workhorse in deep learning and often achieves better generalization performance than SGD. However, existing optimization theory can only explain the faster convergence of ASGD, but cannot explain its better generalization. In this paper, we study the generalization of ASGD for overparameterized linear regression, which is possibly the simplest setting of learning with overparameterization. We establish an instance-dependent excess risk bound for ASGD within each eigen-subspace of the data covariance matrix. Our analysis shows that (i) ASGD outperforms SGD in the subspace of small eigenvalues, exhibiting a faster rate of exponential decay for bias error, while in the subspace of large eigenvalues, its bias error decays slower than SGD; and (ii) the variance error of ASGD is always larger than that of SGD. Our result suggests that ASGD can outperform SGD when the difference between the initialization and the true weight vector is mostly confined to the subspace of small eigenvalues. Additionally, when our analysis is specialized to linear regression in the strongly convex setting, it yields a tighter bound for bias error than the best-known result.
△ Less
Submitted 23 November, 2023;
originally announced November 2023.
-
Quasi-finiteness of morphisms between character varieties
Authors:
Ya Deng,
Yuan Liu
Abstract:
Let $f: Y\to X$ be a morphism between smooth complex quasi-projective varieties and $Z$ be the closure of $f(Y)$ with $ι: Z\to X$ the inclusion map. We prove that
a. for any field $K$, there exist finitely many semisimple representations $\{τ_i:π_1(Z)\to {\rm GL}_N(\overline{k})\}_{i=1,\ldots,\ell}$ with $k\subset K$ the minimal field contained in $K$ such that if…
▽ More
Let $f: Y\to X$ be a morphism between smooth complex quasi-projective varieties and $Z$ be the closure of $f(Y)$ with $ι: Z\to X$ the inclusion map. We prove that
a. for any field $K$, there exist finitely many semisimple representations $\{τ_i:π_1(Z)\to {\rm GL}_N(\overline{k})\}_{i=1,\ldots,\ell}$ with $k\subset K$ the minimal field contained in $K$ such that if $\varrho:π_1(X)\to {\rm GL}_{N}(K)$ is any representation satisfying $[f^*\varrho]=1$, then $[ι^*\varrho]=[τ_i]$ for some $i$.
b. The induced morphism between ${\rm GL}_{N}$-character varieties (of any characteristic) of $π_1(X)$ and $π_1(Y)$ is quasi-finite if ${\rm Im}[π_1(Z)\to π_1(X)]$ is a finite index subgroup of $π_1(X)$.
These results extend the main results by Lasell in 1995 and Lasell-Ramachandran in 1996 from smooth complex projective varieties to quasi-projective cases with richer structures.
△ Less
Submitted 22 November, 2023;
originally announced November 2023.
-
Long time justification of wave turbulence theory
Authors:
Yu Deng,
Zaher Hani
Abstract:
In a series of previous works (arXiv:2104.11204, arXiv:2110.04565, arXiv:2301.07063), we gave a rigorous derivation of the homogeneous wave kinetic equation (WKE) up to small multiples of the kinetic timescale, which corresponds to short time solutions to the wave kinetic equation. In this work, we extend this justification to arbitrarily long times that cover the full lifespan of the WKE. This is…
▽ More
In a series of previous works (arXiv:2104.11204, arXiv:2110.04565, arXiv:2301.07063), we gave a rigorous derivation of the homogeneous wave kinetic equation (WKE) up to small multiples of the kinetic timescale, which corresponds to short time solutions to the wave kinetic equation. In this work, we extend this justification to arbitrarily long times that cover the full lifespan of the WKE. This is the first large data, long-time derivation ever obtained in any nonlinear (particle or wave) collisional kinetic limit.
△ Less
Submitted 6 April, 2024; v1 submitted 16 November, 2023;
originally announced November 2023.
-
Convergence, Finiteness and Periodicity of Several New Algorithms of p-adic Continued Fractions
Authors:
Zhaonan Wang,
Yingpu Deng
Abstract:
$p$-adic continued fractions, as an extension of the classical concept of classical continued fractions to the realm of $p$-adic numbers, offering a novel perspective on number representation and approximation. While numerous $p…
▽ More
$p$-adic continued fractions, as an extension of the classical concept of classical continued fractions to the realm of $p$-adic numbers, offering a novel perspective on number representation and approximation. While numerous $p$-adic continued fraction expansion algorithms have been proposed by the researchers, the establishment of several excellent properties, such as the Lagrange Theorem for classic continued fractions, which indicates that every quadratic irrationals can be expanded periodically, remains elusive. In this paper, we present several new algorithms that can be viewed as refinements of the existing $p$-adic continued fraction algorithms. We give an upper bound of the length of partial quotients when expanding rational numbers, and prove that for small primes $p$, our algorithm can generate periodic continued fraction expansions for all quadratic irrationals. As confirmed through experimentation, one of our algorithms can be viewed as the best $p$-adic algorithm available to date. Furthermore, we provide an approach to establish a $p$-adic continued fraction expansion algorithm that could generate periodic expansions for all quadratic irrationals in $\mathbb{Q}_p$ for a given prime $p$.
△ Less
Submitted 3 March, 2024; v1 submitted 11 September, 2023;
originally announced September 2023.
-
Embedded unbounded order convergent sequences in topologically convergent nets in vector lattices
Authors:
Yang Deng,
Marcel de Jeu
Abstract:
We show that, for a class of locally solid topologies on vector lattices, a topologically convergent net has an embedded sequence that is unbounded order convergent to the same limit. Our result implies, and often improves, many of the known results in this vein in the literature. A study of metrisability and submetrisability of locally solid topologies on vector lattices is included.
We show that, for a class of locally solid topologies on vector lattices, a topologically convergent net has an embedded sequence that is unbounded order convergent to the same limit. Our result implies, and often improves, many of the known results in this vein in the literature. A study of metrisability and submetrisability of locally solid topologies on vector lattices is included.
△ Less
Submitted 22 January, 2024; v1 submitted 6 September, 2023;
originally announced September 2023.
-
The probabilistic scaling paradigm
Authors:
Yu Deng,
Andrea R. Nahmod,
Haitian Yue
Abstract:
In this note we further discuss the probabilistic scaling introduced by the authors in [21, 22]. In particular we do a case study comparing the stochastic heat equation, the nonlinear wave equation and the nonlinear Schrodinger equation.
In this note we further discuss the probabilistic scaling introduced by the authors in [21, 22]. In particular we do a case study comparing the stochastic heat equation, the nonlinear wave equation and the nonlinear Schrodinger equation.
△ Less
Submitted 16 August, 2023;
originally announced August 2023.
-
Equidissections of darts
Authors:
Yusong Deng,
Iwan Praton
Abstract:
We define the dart $D(a)$ to be the nonconvex quadrilateral whose vertices are $(0,1), (1,1), (1,0), (a,a)$ (in counterclockwise order), with $a>1$. Such a dart can be dissected into any even number of equal-area triangles. Here we investigate darts that can be dissected into an odd number of equal-area triangle.
We define the dart $D(a)$ to be the nonconvex quadrilateral whose vertices are $(0,1), (1,1), (1,0), (a,a)$ (in counterclockwise order), with $a>1$. Such a dart can be dissected into any even number of equal-area triangles. Here we investigate darts that can be dissected into an odd number of equal-area triangle.
△ Less
Submitted 11 August, 2023;
originally announced August 2023.
-
Arithmetic Dijkgraaf-Witten invariants for real quadratic fields, quadratic residue graphs, and density formulas
Authors:
Yuqi Deng,
Riku Kurimaru,
Toshiki Matsusaka
Abstract:
We compute Hirano's formula for the mod 2 arithmetic Dijkgraaf-Witten invariant ${Z}_k$ for the ring of integers of the quadratic field $k=\mathbb{Q}(\sqrt{p_1\cdots p_r})$, where ${p_i}$'s are distinct prime numbers with $p_i \equiv 1 \pmod{4}$, and give a simple formula for $Z_k$ in terms of the graph obtained from quadratic residues among $p_1,\cdots, p_r$. Our result answers the question posed…
▽ More
We compute Hirano's formula for the mod 2 arithmetic Dijkgraaf-Witten invariant ${Z}_k$ for the ring of integers of the quadratic field $k=\mathbb{Q}(\sqrt{p_1\cdots p_r})$, where ${p_i}$'s are distinct prime numbers with $p_i \equiv 1 \pmod{4}$, and give a simple formula for $Z_k$ in terms of the graph obtained from quadratic residues among $p_1,\cdots, p_r$. Our result answers the question posed by Ken Ono. We also give a density formula for mod 2 arithmetic Dijkgraaf-Witten invariants.
△ Less
Submitted 10 August, 2023;
originally announced August 2023.
-
Efficient Algorithm for Solving Hyperbolic Programs
Authors:
Yichuan Deng,
Zhao Song,
Lichen Zhang,
Ruizhe Zhang
Abstract:
Hyperbolic polynomials is a class of real-roots polynomials that has wide range of applications in theoretical computer science. Each hyperbolic polynomial also induces a hyperbolic cone that is of particular interest in optimization due to its generality, as by choosing the polynomial properly, one can easily recover the classic optimization problems such as linear programming and semidefinite pr…
▽ More
Hyperbolic polynomials is a class of real-roots polynomials that has wide range of applications in theoretical computer science. Each hyperbolic polynomial also induces a hyperbolic cone that is of particular interest in optimization due to its generality, as by choosing the polynomial properly, one can easily recover the classic optimization problems such as linear programming and semidefinite programming. In this work, we develop efficient algorithms for hyperbolic programming, the problem in each one wants to minimize a linear objective, under a system of linear constraints and the solution must be in the hyperbolic cone induced by the hyperbolic polynomial. Our algorithm is an instance of interior point method (IPM) that, instead of following the central path, it follows the central Swath, which is a generalization of central path. To implement the IPM efficiently, we utilize a relaxation of the hyperbolic program to a quadratic program, coupled with the first four moments of the hyperbolic eigenvalues that are crucial to update the optimization direction. We further show that, given an evaluation oracle of the polynomial, our algorithm only requires $O(n^2d^{2.5})$ oracle calls, where $n$ is the number of variables and $d$ is the degree of the polynomial, with extra $O((n+m)^3 d^{0.5})$ arithmetic operations, where $m$ is the number of constraints.
△ Less
Submitted 13 June, 2023;
originally announced June 2023.
-
Reductive Shafarevich Conjecture
Authors:
Ya Deng,
Katsutoshi Yamanoi,
Ludmil Katzarkov
Abstract:
In this paper, we prove the holomorphic convexity of the covering of a complex projective {normal} variety $X$, which corresponds to the intersection of kernels of reductive representations $ρ:π_1(X)\to {\rm GL}_{N}(\mathbb{C})$, therefore answering a question by Eyssidieux, Katzarkov, Pantev, and Ramachandran in 2012. It is worth noting that Eyssidieux had previously proven this result in 2004 wh…
▽ More
In this paper, we prove the holomorphic convexity of the covering of a complex projective {normal} variety $X$, which corresponds to the intersection of kernels of reductive representations $ρ:π_1(X)\to {\rm GL}_{N}(\mathbb{C})$, therefore answering a question by Eyssidieux, Katzarkov, Pantev, and Ramachandran in 2012. It is worth noting that Eyssidieux had previously proven this result in 2004 when $X$ is smooth. While our approach follows the general strategy employed in Eyssidieux's proof, it introduces several improvements and simplifications. Notably, it avoids the necessity of using the reduction mod $p$ method in Eyssidieux's original proof.
Additionally, we construct the Shafarevich morphism for complex reductive representations of fundamental groups of complex quasi-projective varieties unconditionally, and proving its algebraic nature at the function field level.
△ Less
Submitted 29 May, 2024; v1 submitted 5 June, 2023;
originally announced June 2023.
-
Faster Robust Tensor Power Method for Arbitrary Order
Authors:
Yichuan Deng,
Zhao Song,
Junze Yin
Abstract:
Tensor decomposition is a fundamental method used in various areas to deal with high-dimensional data. \emph{Tensor power method} (TPM) is one of the widely-used techniques in the decomposition of tensors. This paper presents a novel tensor power method for decomposing arbitrary order tensors, which overcomes limitations of existing approaches that are often restricted to lower-order (less than…
▽ More
Tensor decomposition is a fundamental method used in various areas to deal with high-dimensional data. \emph{Tensor power method} (TPM) is one of the widely-used techniques in the decomposition of tensors. This paper presents a novel tensor power method for decomposing arbitrary order tensors, which overcomes limitations of existing approaches that are often restricted to lower-order (less than $3$) tensors or require strong assumptions about the underlying data structure. We apply sketching method, and we are able to achieve the running time of $\widetilde{O}(n^{p-1})$, on the power $p$ and dimension $n$ tensor. We provide a detailed analysis for any $p$-th order tensor, which is never given in previous works.
△ Less
Submitted 1 June, 2023;
originally announced June 2023.
-
On $p$-adic Gram-Schmidt Orthogonalization Process
Authors:
Yingpu Deng
Abstract:
In his famous book ``Basic Number Theory", Weil proved several theorems about the existence of norm-orthogonal bases in finite-dimensional vector spaces and lattices over local fields. In this paper, we transform Weil's proofs into algorithms for finding out various norm-orthogonal bases. These algorithms are closely related to the recently introduced closest vector problem (CVP) in $p$-adic latti…
▽ More
In his famous book ``Basic Number Theory", Weil proved several theorems about the existence of norm-orthogonal bases in finite-dimensional vector spaces and lattices over local fields. In this paper, we transform Weil's proofs into algorithms for finding out various norm-orthogonal bases. These algorithms are closely related to the recently introduced closest vector problem (CVP) in $p$-adic lattices and they have applications in cryptography based on $p$-adic lattices.
△ Less
Submitted 13 May, 2023;
originally announced May 2023.
-
On Periodicity of Continued fractions with Partial Quotients in Quadratic Number Fields
Authors:
Zhaonan Wang,
Yingpu Deng
Abstract:
The properties of continued fractions whose partial quotients belong to a quadratic number field K are distinct from those of classical continued fractions. Unlike classical continued fractions, it is currently impossible to identify elements with periodic continued fraction expansions, akin to Lagrange's theorem. In this paper, we fix a real quadratic field K and take an ultimately periodic conti…
▽ More
The properties of continued fractions whose partial quotients belong to a quadratic number field K are distinct from those of classical continued fractions. Unlike classical continued fractions, it is currently impossible to identify elements with periodic continued fraction expansions, akin to Lagrange's theorem. In this paper, we fix a real quadratic field K and take an ultimately periodic continued fraction with partial quotients in $\mathcal{O}_K$. We analyze its convergence and the growth of absolute values of $\mathcal{Q}$-pairs, and establish necessary and sufficient conditions for a real quartic irrational to have an ultimately periodic continued fraction converging to it with partial quotients in $\mathcal{O}_K$. Additionally, we analyze a specific example with $K=\mathbb{Q}(\sqrt{5})$. By the obtained results, we give a continued fraction expansion algorithm for those real quartic irrationals $ξ$ belong to a quadratic extension of $K$, whose algebraic conjugates are all real. We prove that the expansion obtained from the algorithm is ultimately periodic and convergent to the specified $ξ$.
△ Less
Submitted 23 April, 2023;
originally announced April 2023.
-
Elastostatics with multi-layer metamaterial structures and an algebraic framework for polariton resonances
Authors:
Youjun Deng,
Lingzheng Kong,
Hongyu Liu,
Liyan Zhu
Abstract:
Multi-layer structures are ubiquitous in constructing metamaterial devices to realise various frontier applications including super-resolution imaging and invisibility cloaking. In this paper, we develop a general mathematical framework for studying elastostatics within multi-layer material structures in $\mathbb{R}^d$, $d=2,3$. The multi-layer structure is formed by concentric balls and each laye…
▽ More
Multi-layer structures are ubiquitous in constructing metamaterial devices to realise various frontier applications including super-resolution imaging and invisibility cloaking. In this paper, we develop a general mathematical framework for studying elastostatics within multi-layer material structures in $\mathbb{R}^d$, $d=2,3$. The multi-layer structure is formed by concentric balls and each layer is filled by either a regular elastic material or an elastic metamaterial. The number of layers can be arbitrary and the material parameters in each layer may be different from one another. In practice, the multi-layer structure can serve as the building block for various material devices. Considering the im**ement of an incident field on the multi-layer structure, we first derive the exact perturbed field in terms of an elastic momentum matrix, whose dimension is the same as the number of layers. By highly intricate and delicate analysis, we derive a comprehensive study of the spectral properties of the elastic momentum matrix. This enables us to establishe a handy algebraic framework for studying polariton resonances associated with multi-layer metamaterial structures, which forms the fundamental basis for many metamaterial applications.
△ Less
Submitted 27 January, 2023;
originally announced February 2023.
-
Semi-classical states for fractional Choquard equations with decaying potentials
Authors:
Yinbin Deng,
Shuangjie Peng,
Xian Yang
Abstract:
This paper deals with the following fractional Choquard equation $$\varepsilon^{2s}(-Δ)^su +Vu=\varepsilon^{-α}(I_α*|u|^p)|u|^{p-2}u\ \ \ \mathrm{in}\ \mathbb{R}^N,$$ where $\varepsilon>0$ is a small parameter, $(-Δ)^s$ is the fractional Laplacian, $N>2s$, $s\in(0,1)$, $α\in\big((N-4s)_{+}, N\big)$, $p\in[2, \frac{N+α}{N-2s})$, $I_α$ is a Riesz potential,…
▽ More
This paper deals with the following fractional Choquard equation $$\varepsilon^{2s}(-Δ)^su +Vu=\varepsilon^{-α}(I_α*|u|^p)|u|^{p-2}u\ \ \ \mathrm{in}\ \mathbb{R}^N,$$ where $\varepsilon>0$ is a small parameter, $(-Δ)^s$ is the fractional Laplacian, $N>2s$, $s\in(0,1)$, $α\in\big((N-4s)_{+}, N\big)$, $p\in[2, \frac{N+α}{N-2s})$, $I_α$ is a Riesz potential, $V\in C\big(\mathbb{R}^N, [0, +\infty)\big)$ is an electric potential. Under some assumptions on the decay rate of $V$ and the corresponding range of $p$, we prove that the problem has a family of solutions $\{u_\varepsilon\}$ concentrating at a local minimum of $V$ as $\varepsilon\to 0$. Since the potential $V$ decays at infinity, we need to employ a type of penalized argument and implement delicate analysis on the both nonlocal terms to establish regularity, positivity and asymptotic behaviour of $u_\varepsilon$, which is totally different from the local case. As a contrast, we also develop some nonexistence results, which imply that the assumptions on $V$ and $p$ for the existence of $u_\varepsilon$ are almost optimal. To prove our main results, a general strong maximum principle and comparison function for the weak solutions of fractional Laplacian equations are established. The main methods in this paper are variational methods, penalized technique and some comparison principle developed in this paper.
△ Less
Submitted 23 February, 2023;
originally announced February 2023.
-
Faster Riemannian Newton-type Optimization by Subsampling and Cubic Regularization
Authors:
Yian Deng,
Tingting Mu
Abstract:
This work is on constrained large-scale non-convex optimization where the constraint set implies a manifold structure. Solving such problems is important in a multitude of fundamental machine learning tasks. Recent advances on Riemannian optimization have enabled the convenient recovery of solutions by adapting unconstrained optimization algorithms over manifolds. However, it remains challenging t…
▽ More
This work is on constrained large-scale non-convex optimization where the constraint set implies a manifold structure. Solving such problems is important in a multitude of fundamental machine learning tasks. Recent advances on Riemannian optimization have enabled the convenient recovery of solutions by adapting unconstrained optimization algorithms over manifolds. However, it remains challenging to scale up and meanwhile maintain stable convergence rates and handle saddle points. We propose a new second-order Riemannian optimization algorithm, aiming at improving convergence rate and reducing computational cost. It enhances the Riemannian trust-region algorithm that explores curvature information to escape saddle points through a mixture of subsampling and cubic regularization techniques. We conduct rigorous analysis to study the convergence behavior of the proposed algorithm. We also perform extensive experiments to evaluate it based on two general machine learning tasks using multiple datasets. The proposed algorithm exhibits improved computational speed and convergence behavior compared to a large set of state-of-the-art Riemannian optimization algorithms.
△ Less
Submitted 21 February, 2023;
originally announced February 2023.
-
Existence and decays of solutions for fractional Schrödinger equations with decaying potentials
Authors:
Yinbin Deng,
Shuangjie Peng,
Xian Yang
Abstract:
We revisit the following fractional Schrödinger equation
\begin{align}\label{1a}
\varepsilon^{2s}(-Δ)^su +Vu=u^{p-1},\,\,\,u>0,\ \ \ \mathrm{in}\ \R^N,
\end{align} where $\varepsilon>0$ is a small parameter, $(-Δ)^s$ denotes the fractional Laplacian, $s\in(0,1)$, $p\in (2, 2_s^*)$, $2_s^*=\frac {2N}{N-2s}$, $N>2s$, $V\in C\big(\R^N, [0, +\infty)\big)$ is a potential. Under various decay assu…
▽ More
We revisit the following fractional Schrödinger equation
\begin{align}\label{1a}
\varepsilon^{2s}(-Δ)^su +Vu=u^{p-1},\,\,\,u>0,\ \ \ \mathrm{in}\ \R^N,
\end{align} where $\varepsilon>0$ is a small parameter, $(-Δ)^s$ denotes the fractional Laplacian, $s\in(0,1)$, $p\in (2, 2_s^*)$, $2_s^*=\frac {2N}{N-2s}$, $N>2s$, $V\in C\big(\R^N, [0, +\infty)\big)$ is a potential. Under various decay assumptions on $V$, we introduce a uniform penalization argument combined with a comparison principle and iteration process to detect an explicit threshold value $p_*$, such that the above problem admits positive concentration solutions if $p\in (p_*, \,2_s^*)$, while it has no positive weak solutions for $p\in (2,\,p_*)$ if $p_*>2$, where the threshold $p_*\in [2, 2^*_s)$ can be characterized explicitly by \begin{equation*}\label{qdj111} p_*=\left\{\begin{array}{l}
2+\frac {2s}{N-2s} \ \ \ \text { if } \lim\limits_{|x| \to \infty} (1+|x|^{2s})V(x)=0,\vspace{1mm}
2+\frac ω{N+2s-ω} \text { if } 0<\inf (1+|x|^ω)V(x)\le \sup (1+|x|^ω)V(x)< \infty \text { for some } ω\in [0, 2s],\vspace{1mm}
2 \ \ \ \ \ \ \ \ \ \ \ \ \ \ \text { if } \inf V(x)\log(e+|x|^2)>0. \end{array}\right. \end{equation*} Moreover, corresponding to the various decay assumptions of $V(x)$, we obtain the decay properties of the solutions at infinity.
△ Less
Submitted 11 February, 2023;
originally announced February 2023.
-
Locating multiple magnetized anomalies by geomagnetic monitoring
Authors:
Rongliang Chen,
Youjun Deng,
Yang Gao,
**gzhi Li,
Hongyu Liu
Abstract:
The presence of magnetized anomalies in the shell of the Earth interrupts its geomagnetic field. We consider the inverse problem of identifying the anomalies by monitoring the variation of the geomagnetic field. Motivated by the theoretical unique identifiability result in [5], we develop a novel numerical scheme of locating multiple magnetized anomalies. In our study, we do not assume that the so…
▽ More
The presence of magnetized anomalies in the shell of the Earth interrupts its geomagnetic field. We consider the inverse problem of identifying the anomalies by monitoring the variation of the geomagnetic field. Motivated by the theoretical unique identifiability result in [5], we develop a novel numerical scheme of locating multiple magnetized anomalies. In our study, we do not assume that the source that generates the geomagnetic field, and the medium configurations of the Earth's core and the magnetized anomalies are a-priori known. The core of the reconstruction scheme is a novel imaging functional whose quantitative behaviours can be used to identify the anomalies. Both rigorous analysis and extensive numerical experiments are provided to verify the effectiveness and promising features of the proposed reconstruction scheme.
△ Less
Submitted 28 January, 2023;
originally announced January 2023.
-
Derivation of the wave kinetic equation: full range of scaling laws
Authors:
Yu Deng,
Zaher Hani
Abstract:
This paper completes the program started in arXiv:2104.11204 and arXiv:2110.04565 aiming at providing a full rigorous justification of the wave kinetic theory for the nonlinear Schrödinger (NLS) equation. Here, we cover the full range of scaling laws for the NLS on an arbitrary periodic rectangular box, and derive the wave kinetic equation up to small multiples of the kinetic time.
The proof is…
▽ More
This paper completes the program started in arXiv:2104.11204 and arXiv:2110.04565 aiming at providing a full rigorous justification of the wave kinetic theory for the nonlinear Schrödinger (NLS) equation. Here, we cover the full range of scaling laws for the NLS on an arbitrary periodic rectangular box, and derive the wave kinetic equation up to small multiples of the kinetic time.
The proof is based on a diagrammatic expansion and a deep analysis of the resulting Feynman diagrams. The main novelties of this work are three-fold: (1) we present a robust way to identify arbitrarily large "bad" diagrams which obstruct the convergence of the Feynman diagram expansion, (2) we systematically uncover intricate cancellations among these large "bad" diagrams, and (3) we present a new robust algorithm to bound all remaining diagrams and prove convergence of the expansion. These ingredients are highly robust, and constitute a powerful new approach in the geneal mathematical study of Feynman diagrams.
△ Less
Submitted 19 March, 2023; v1 submitted 17 January, 2023;
originally announced January 2023.
-
Hyperbolicity and fundamental groups of complex quasi-projective varieties
Authors:
Benoit Cadorel,
Ya Deng,
Katsutoshi Yamanoi
Abstract:
This paper investigates the relationship between the hyperbolicity of complex quasi-projective varieties $X$ and the (topological) fundamental group $π_1(X)$ in the presence of a linear representation $\varrho: π_1(X) \to {\rm GL}_N(\mathbb{C})$. We present our main results in three parts.
Firstly, we show that if $\varrho$ is bigand the Zariski closure of $\varrho(π_1(X))$ semisimple, then for…
▽ More
This paper investigates the relationship between the hyperbolicity of complex quasi-projective varieties $X$ and the (topological) fundamental group $π_1(X)$ in the presence of a linear representation $\varrho: π_1(X) \to {\rm GL}_N(\mathbb{C})$. We present our main results in three parts.
Firstly, we show that if $\varrho$ is bigand the Zariski closure of $\varrho(π_1(X))$ semisimple, then for any $X^σ:=X\times_σ\mathbb{C}$ where $σ\in {\rm Aut}(\mathbb{C}/\mathbb{Q})$, there exists a proper Zariski closed subset $Z \subsetneqq X^σ$ such that any closed irreducible subvariety $V$ of $X^σ$ not contained in $Z$ is of log general type, and any holomorphic map from the punctured disk $\mathbb{D}^*$ to $X^σ$ with image not contained in $Z$ does not have an essential singularity at the origin. In particular, all entire curves in $X^σ$ lie on $Z$. We provide examples to illustrate the optimality of this condition.
Secondly, assuming that $\varrho$ is big and reductive, we prove the generalized Green-Griffiths-Lang conjecture for $X^σ$. Furthermore, if $\varrho$ is large, we show that the special subsets of $X^σ$ that capture the non-hyperbolicity locus of $X^σ$ from different perspectives are equal, and this subset is proper if and only if $X$ is of log general type.
Lastly, we prove that if $X$ is a special quasi-projective manifold in the sense of Campana or $h$-special, then $\varrho(π_1(X))$ is virtually nilpotent. We provides examples to demonstrate that this result is sharp and thus revise Campana's abelianity conjecture for smooth quasi-projective varieties.
To prove these theorems, we develop new features in non-abelian Hodge theory, geometric group theory, and Nevanlinna theory. Some byproducts are obtained.
△ Less
Submitted 1 March, 2024; v1 submitted 23 December, 2022;
originally announced December 2022.
-
On uniqueness and ill-posedness for the deautoconvolution problem in the multi-dimensional case
Authors:
Bernd Hofmann,
Frank Werner,
Yu Deng
Abstract:
This paper analyzes the inverse problem of deautoconvolution in the multi-dimensional case with respect to solution uniqueness and ill-posedness. Deautoconvolution means here the reconstruction of a real-valued $L^2$-function with support in the $n$-dimensional unit cube $[0,1]^n$ from observations of its autoconvolution either in the full data case (i.e. on $[0,2]^n$) or in the limited data case…
▽ More
This paper analyzes the inverse problem of deautoconvolution in the multi-dimensional case with respect to solution uniqueness and ill-posedness. Deautoconvolution means here the reconstruction of a real-valued $L^2$-function with support in the $n$-dimensional unit cube $[0,1]^n$ from observations of its autoconvolution either in the full data case (i.e. on $[0,2]^n$) or in the limited data case (i.e. on $[0,1]^n$). Based on multi-dimensional variants of the Titchmarsh convolution theorem due to Lions and Mikusiński, we prove in the full data case a twofoldness assertion, and in the limited data case uniqueness of non-negative solutions for which the origin belongs to the support. The latter assumption is also shown to be necessary for any uniqueness statement in the limited data case. A glimpse of rate results for regularized solutions completes the paper.
△ Less
Submitted 13 December, 2022;
originally announced December 2022.
-
On the wave turbulence theory of 2D gravity waves, I: deterministic energy estimates
Authors:
Yu Deng,
Alexandru D. Ionescu,
Fabio Pusateri
Abstract:
Our goal in this paper is to initiate the rigorous investigation of wave turbulence and derivation of wave kinetic equations (WKE) for water waves models. This problem has received intense attention in recent years in the context of semilinear models, such as semilinear Schrödinger equations or multi-dimensional KdV-type equations. However, our situation here is different since the water waves equ…
▽ More
Our goal in this paper is to initiate the rigorous investigation of wave turbulence and derivation of wave kinetic equations (WKE) for water waves models. This problem has received intense attention in recent years in the context of semilinear models, such as semilinear Schrödinger equations or multi-dimensional KdV-type equations. However, our situation here is different since the water waves equations are quasilinear and the solutions cannot be constructed by iteration of the Duhamel formula due to unavoidable derivative loss. This is the first of two papers in which we design a new strategy to address this issue, in the context of 2D gravity waves.
△ Less
Submitted 19 November, 2022;
originally announced November 2022.
-
Random Walks on the Generalized Symmetric Group: Cutoff for the One-sided Transposition Shuffle
Authors:
Yongtao Deng,
Shi Jie Samuel Tan
Abstract:
In this paper, we present a detailed proof for the exhibition of a cutoff for the one-sided transposition (OST) shuffle on the generalized symmetric group $G_{m,n}$. Our work shows that based on techniques for $m \leq 2$ proven by Matheau-Raven, we can prove the cutoff in total variation distance and separation distance for an unbiased OST shuffle on $G_{m,n}$ for any fixed $m \geq 1$ in time…
▽ More
In this paper, we present a detailed proof for the exhibition of a cutoff for the one-sided transposition (OST) shuffle on the generalized symmetric group $G_{m,n}$. Our work shows that based on techniques for $m \leq 2$ proven by Matheau-Raven, we can prove the cutoff in total variation distance and separation distance for an unbiased OST shuffle on $G_{m,n}$ for any fixed $m \geq 1$ in time $n \log(n)$. We also prove the branching rules for the simple modules of $G_{m,n}$ and lay down some of the mathematical foundation for proving the conjecture for the cutoff in total variation distance for any general biased OST shuffle on $G_{m,n}$.
△ Less
Submitted 26 February, 2024; v1 submitted 18 November, 2022;
originally announced November 2022.
-
Optimal estimate of field concentration between multiscale nearly-touching inclusions for 3-D Helmholtz system
Authors:
Youjun Deng,
Yueguang Hu,
Hongyu Liu,
Wan**g Tang
Abstract:
We are concerned with the field concentration between two nearly-touching inclusions with high-contrast material parameters, which is a central topic in the theory of composite materials. The degree of concentration is characterised by the blowup rate of the gradient of the underlying field. In this paper, we derive optimal gradient estimates for the wave filed of the 3-D Helmholtz system in the q…
▽ More
We are concerned with the field concentration between two nearly-touching inclusions with high-contrast material parameters, which is a central topic in the theory of composite materials. The degree of concentration is characterised by the blowup rate of the gradient of the underlying field. In this paper, we derive optimal gradient estimates for the wave filed of the 3-D Helmholtz system in the quasi-static regime. There are two salient features of our results that are new to the literature. First, we cover all the possible scenarios that the size of the inclusions are in different scales in terms of the asymptotic distance parameter $ε$, which can be used to characterise the curvature effects of the shape of the inclusions on the field concentration. Second, our estimates can not only recover the known results in the literature for the static case, but can also reveal the interesting frequency effect on the field concentration. In fact, a novel phenomena is shown that even if the static part vanishes, field blowup can still occur due to the (low) frequency effect.
△ Less
Submitted 16 November, 2022; v1 submitted 10 November, 2022;
originally announced November 2022.
-
Deautoconvolution in the two-dimensional case
Authors:
Yu Deng,
Bernd Hofmann,
Frank Werner
Abstract:
There is extensive mathematical literature on the inverse problem of deautoconvolution for a function with support in the unit interval $[0,1] \subset \mathbb R$, but little is known about the multidimensional situation. This article tries to fill this gap with analytical and numerical studies on the reconstruction of a real function of two real variables over the unit square from observations of…
▽ More
There is extensive mathematical literature on the inverse problem of deautoconvolution for a function with support in the unit interval $[0,1] \subset \mathbb R$, but little is known about the multidimensional situation. This article tries to fill this gap with analytical and numerical studies on the reconstruction of a real function of two real variables over the unit square from observations of its autoconvolution on $[0,2]^2 \subset \mathbb R^2$ (full data case) or on $[0,1]^2$ (limited data case). In an $L^2$-setting, twofoldness and uniqueness assertions are proven for the deautoconvolution problem in 2D. Moreover, its ill-posedness is characterized and illustrated. Extensive numerical case studies give an overview of the behaviour of stable approximate solutions to the two-dimensional deautoconvolution problem obtained by Tikhonov-type regularization with different penalties and the iteratively regularized Gauss-Newton method.
△ Less
Submitted 25 October, 2022;
originally announced October 2022.
-
Tight Analysis of Extra-gradient and Optimistic Gradient Methods For Nonconvex Minimax Problems
Authors:
Pouria Mahdavinia,
Yuyang Deng,
Haochuan Li,
Mehrdad Mahdavi
Abstract:
Despite the established convergence theory of Optimistic Gradient Descent Ascent (OGDA) and Extragradient (EG) methods for the convex-concave minimax problems, little is known about the theoretical guarantees of these methods in nonconvex settings. To bridge this gap, for the first time, this paper establishes the convergence of OGDA and EG methods under the nonconvex-strongly-concave (NC-SC) and…
▽ More
Despite the established convergence theory of Optimistic Gradient Descent Ascent (OGDA) and Extragradient (EG) methods for the convex-concave minimax problems, little is known about the theoretical guarantees of these methods in nonconvex settings. To bridge this gap, for the first time, this paper establishes the convergence of OGDA and EG methods under the nonconvex-strongly-concave (NC-SC) and nonconvex-concave (NC-C) settings by providing a unified analysis through the lens of single-call extra-gradient methods. We further establish lower bounds on the convergence of GDA/OGDA/EG, shedding light on the tightness of our analysis. We also conduct experiments supporting our theoretical results. We believe our results will advance the theoretical understanding of OGDA and EG methods for solving complicated nonconvex minimax real-world problems, e.g., Generative Adversarial Networks (GANs) or robust neural networks training.
△ Less
Submitted 17 October, 2022;
originally announced October 2022.
-
The existence of positive solution for an elliptic problem with critical growth and logarithmic perturbation
Authors:
Yinbin Deng,
Qihan He,
Yiqing Pan,
Xuexiu Zhong
Abstract:
We consider the existence and nonexistence of positive solution for the following Brézis-Nirenberg problem with logarithmic perturbation:
\begin{equation*}
\begin{cases}
-Δu={\left|u\right|}^{{2}^{\ast }-2}u+λu+μu\log {u}^{2} &x\in Ω,
\quad \;\:\, u=0& x\in \partial Ω,
\end{cases}
\end{equation*}
where $Ω$ $\subset$ $\R^N$ is a bounded smooth domain, $λ, μ\in \R$, $N\ge3$ and…
▽ More
We consider the existence and nonexistence of positive solution for the following Brézis-Nirenberg problem with logarithmic perturbation:
\begin{equation*}
\begin{cases}
-Δu={\left|u\right|}^{{2}^{\ast }-2}u+λu+μu\log {u}^{2} &x\in Ω,
\quad \;\:\, u=0& x\in \partial Ω,
\end{cases}
\end{equation*}
where $Ω$ $\subset$ $\R^N$ is a bounded smooth domain, $λ, μ\in \R$, $N\ge3$ and ${2}^{\ast }:=\frac{2N}{N-2}$ is the critical Sobolev exponent for the embedding $H^1_{0}(Ω)\hookrightarrow L^{2^\ast}(Ω)$. The uncertainty of the sign of $s\log s^2$ in $(0, +\infty)$ has some interest in itself. We will show the existence of positive ground state solution which is of mountain pass type provided $λ\in \R, μ>0$ and $N\geq 4$. While the case of $μ<0$ is thornier. However, for $N=3,4$ $λ\in (-\infty, λ_1(Ω))$, we can also establish the existence of positive solution under some further suitable assumptions. And a nonexistence result is also obtained for $μ<0$ and $-\frac{(N-2)μ}{2}+\frac{(N-2)μ}{2}\log(-\frac{(N-2)μ}{2})+λ-λ_1(Ω)\geq 0$ if $N\geq 3$. Comparing with the results in Brézis, H. and Nirenberg, L. (Comm. Pure Appl. Math. 1983), some new interesting phenomenon occurs when the parameter $μ$ on logarithmic perturbation is not zero.
△ Less
Submitted 4 October, 2022;
originally announced October 2022.
-
Neural Networks Based on Power Method and Inverse Power Method for Solving Linear Eigenvalue Problems
Authors:
Qihong Yang,
Yangtao Deng,
Yu Yang,
Qiaolin He,
Shiquan Zhang
Abstract:
In this article, we propose two kinds of neural networks inspired by power method and inverse power method to solve linear eigenvalue problems. These neural networks share similar ideas with traditional methods, in which the differential operator is realized by automatic differentiation. The eigenfunction of the eigenvalue problem is learned by the neural network and the iterative algorithms are i…
▽ More
In this article, we propose two kinds of neural networks inspired by power method and inverse power method to solve linear eigenvalue problems. These neural networks share similar ideas with traditional methods, in which the differential operator is realized by automatic differentiation. The eigenfunction of the eigenvalue problem is learned by the neural network and the iterative algorithms are implemented by optimizing the specially defined loss function. The largest positive eigenvalue, smallest eigenvalue and interior eigenvalues with the given prior knowledge can be solved efficiently. We examine the applicability and accuracy of our methods in the numerical experiments in one dimension, two dimensions and higher dimensions. Numerical results show that accurate eigenvalue and eigenfunction approximations can be obtained by our methods.
△ Less
Submitted 15 July, 2023; v1 submitted 22 September, 2022;
originally announced September 2022.
-
Fiber bundle topology optimization for surface flows
Authors:
Yongbo Deng,
Weihong Zhang,
Jihong Zhu,
Yingjie Xu,
Zhenyu Liu,
Jan G. Korvink
Abstract:
This paper presents a topology optimization approach for the surface flows on variable design domains. Via this approach, the matching between the pattern of a surface flow and the 2-manifold used to define the pattern can be optimized, where the 2-manifold is implicitly defined on another fixed 2-manifold named as the base manifold. The fiber bundle topology optimization approach is developed bas…
▽ More
This paper presents a topology optimization approach for the surface flows on variable design domains. Via this approach, the matching between the pattern of a surface flow and the 2-manifold used to define the pattern can be optimized, where the 2-manifold is implicitly defined on another fixed 2-manifold named as the base manifold. The fiber bundle topology optimization approach is developed based on the description of the topological structure of the surface flow by using the differential geometry concept of the fiber bundle. The material distribution method is used to achieve the evolution of the pattern of the surface flow. The evolution of the implicit 2-manifold is realized via a homeomorphous map. The design variable of the pattern of the surface flow and that of the implicit 2-manifold are regularized by two sequentially implemented surface-PDE filters. The two surface-PDE filters are coupled, because they are defined on the implicit 2-manifold and base manifold, respectively. The surface Navier-Stokes equations, defined on the implicit 2-manifold, are used to describe the surface flow. The fiber bundle topology optimization problem is analyzed using the continuous adjoint method implemented on the first-order Sobolev space. Several numerical examples have been provided to demonstrate this approach, where the combination of the viscous dissipation and pressure drop is used as the design objective.
△ Less
Submitted 27 July, 2022;
originally announced July 2022.
-
Rigorous justification of the wave kinetic theory
Authors:
Yu Deng,
Zaher Hani
Abstract:
The main purpose of this expository note is to give a short account of the recent developments in mathematical wave kinetic theory. After reviewing the physical theory, we explain the importance of the notion of a scaling law, which dictates the relation between the asymptotic parameters as the kinetic limit is taken. This sets some natural limitations on the kinetic approximation that were not pr…
▽ More
The main purpose of this expository note is to give a short account of the recent developments in mathematical wave kinetic theory. After reviewing the physical theory, we explain the importance of the notion of a scaling law, which dictates the relation between the asymptotic parameters as the kinetic limit is taken. This sets some natural limitations on the kinetic approximation that were not precisely understood in the literature as far as we know. We then describe our recent and upcoming works that give the first full, mathematically rigorous, derivation of the wave kinetic theory at the natural kinetic timescale. The key new ingredient is a delicate analysis of the diagrammatic expansion that allows to a) uncover highly elaborate cancellations at arbitrary large order of diagrams, and b) overcome difficulties coming from factorial divergences in the expansion and the criticality of the problem. The results mentioned in this note appear in our recent works [16, 17] as well as an upcoming one in [18].
△ Less
Submitted 17 July, 2022;
originally announced July 2022.
-
Pluriharmonic maps into buildings and symmetric differentials
Authors:
Damian Brotbek,
Georgios Daskalopoulos,
Ya Deng,
Chikako Mese
Abstract:
Given a complex quasi-projective manifold $X$, a semisimple algebraic group $G$ defined over some non-archimedean local field $K$ and a Zariski dense representation $\varrho:π_1(X)\to G(K)$, we construct a $\varrho$-equivariant (pluri-)harmonic map from the universal covering of $X$ into the Bruhat-Tits building $Δ(G)$ of $G$, with some suitable asymptotic behavior. This theorem generalizes the pr…
▽ More
Given a complex quasi-projective manifold $X$, a semisimple algebraic group $G$ defined over some non-archimedean local field $K$ and a Zariski dense representation $\varrho:π_1(X)\to G(K)$, we construct a $\varrho$-equivariant (pluri-)harmonic map from the universal covering of $X$ into the Bruhat-Tits building $Δ(G)$ of $G$, with some suitable asymptotic behavior. This theorem generalizes the previous work by Gromov-Schoen to the quasi-projective setting. We also construct logarithmic symmetric differential forms over $X$ when the image of $\varrho$ is unbounded.
As applications, we prove that any reductive representation $σ: π_1(X)\to {\rm GL}_N(\mathbb{C})$ is rigid and integral provided that $X$ does not admit logarithmic symmetric differentials; we also prove that $X$ has nonzero global logarithmic symmetric differential forms if there exists a linear representation $π_1(X)\to {\rm GL}_N(\mathbb{K})$ with infinite image, where $\mathbb{K}$ is any field.
△ Less
Submitted 7 March, 2024; v1 submitted 23 June, 2022;
originally announced June 2022.
-
Hausdorff and box dimension of self-affine set in non-Archimedean field
Authors:
Yang Deng,
Bing Li,
Hua Qiu
Abstract:
In this paper we consider affine iterated function systems in locally compact non-Archimedean field $\mathbb{F}$. We establish the theory of singular value composition in $\mathbb{F}$ and compute box and Hausdorff dimension of self-affine set in $\mathbb{F}^n$, in generic sense, which is an analogy of Falconer's result for real case. The result has the advantage that no additional assumptions need…
▽ More
In this paper we consider affine iterated function systems in locally compact non-Archimedean field $\mathbb{F}$. We establish the theory of singular value composition in $\mathbb{F}$ and compute box and Hausdorff dimension of self-affine set in $\mathbb{F}^n$, in generic sense, which is an analogy of Falconer's result for real case. The result has the advantage that no additional assumptions needed to be imposed on the norms of linear parts of affine transformation while such norms are strictly less than $\frac{1}{2}$ for real case, which benefits from the non-Archimedean metric on $\mathbb{F}$.
△ Less
Submitted 17 June, 2022;
originally announced June 2022.
-
Existence and Concentration Results for the General Kirchhoff Type Equations
Authors:
Yinbin Deng,
Wei Shuai,
Xuexiu Zhong
Abstract:
We consider the following singularly perturbed Kirchhoff type equations $$-\varepsilon^2 M\left(\varepsilon^{2-N}\int_{\R^N}|\nabla u|^2 dx\right)Δu +V(x)u=|u|^{p-2}u~\hbox{in}~\R^N, u\in H^1(\R^N),N\geq 1,$$ where $M\in C([0,\infty))$ and $V\in C(\R^N)$ are given functions. Under very mild assumptions on $M$, we prove the existence of single-peak or multi-peak solution $u_\varepsilon$ for above p…
▽ More
We consider the following singularly perturbed Kirchhoff type equations $$-\varepsilon^2 M\left(\varepsilon^{2-N}\int_{\R^N}|\nabla u|^2 dx\right)Δu +V(x)u=|u|^{p-2}u~\hbox{in}~\R^N, u\in H^1(\R^N),N\geq 1,$$ where $M\in C([0,\infty))$ and $V\in C(\R^N)$ are given functions. Under very mild assumptions on $M$, we prove the existence of single-peak or multi-peak solution $u_\varepsilon$ for above problem, concentrating around topologically stable critical points of $V$, by a direct corresponding argument. This gives an affirmative answer to an open problem raised by Figueiredo et al. in 2014 [ARMA,213].
△ Less
Submitted 7 June, 2022;
originally announced June 2022.
-
Invariant Gibbs measures for the three dimensional cubic nonlinear wave equation
Authors:
Bjoern Bringmann,
Yu Deng,
Andrea R. Nahmod,
Haitian Yue
Abstract:
We prove the invariance of the Gibbs measure under the dynamics of the three-dimensional cubic wave equation, which is also known as the hyperbolic $Φ^4_3$-model. This result is the hyperbolic counterpart to seminal works on the parabolic $Φ^4_3$-model by Hairer '14 and Hairer-Matetski '18. The heart of the matter lies in establishing local in time existence and uniqueness of solutions on the stat…
▽ More
We prove the invariance of the Gibbs measure under the dynamics of the three-dimensional cubic wave equation, which is also known as the hyperbolic $Φ^4_3$-model. This result is the hyperbolic counterpart to seminal works on the parabolic $Φ^4_3$-model by Hairer '14 and Hairer-Matetski '18. The heart of the matter lies in establishing local in time existence and uniqueness of solutions on the statistical ensemble, which is achieved by using a para-controlled Ansatz for the solution, the analytical framework of the random tensor theory, and the combinatorial molecule estimates. The singularity of the Gibbs measure with respect to the Gaussian free field brings out a new caloric representation of the Gibbs measure and a synergy between the parabolic and hyperbolic theories embodied in the analysis of heat-wave stochastic objects. Furthermore from a purely hyperbolic standpoint our argument relies on key new ingredients that include a hidden cancellation between sextic stochastic objects and a new bilinear random tensor estimate.
△ Less
Submitted 22 June, 2022; v1 submitted 8 May, 2022;
originally announced May 2022.