-
Multiple SLEs for $κ\in (0,8)$: Coulomb gas integrals and pure partition functions
Authors:
Yu Feng,
Mingchang Liu,
Eveliina Peltola,
Hao Wu
Abstract:
In this article, we give an explicit relationship of SLE partition functions with Coulomb gas formalism of conformal field theory. We first construct a family of SLE${}_κ$ partition functions as Coulomb gas integrals and derive their various properties. In accordance with an interpretation as probabilistic correlations in loop $O(n)$ models, they are always positive when $κ\in (8/3,8)$, while they…
▽ More
In this article, we give an explicit relationship of SLE partition functions with Coulomb gas formalism of conformal field theory. We first construct a family of SLE${}_κ$ partition functions as Coulomb gas integrals and derive their various properties. In accordance with an interpretation as probabilistic correlations in loop $O(n)$ models, they are always positive when $κ\in (8/3,8)$, while they may have zeroes for $κ\leq 8/3$. They also admit a Fröbenius series expansion that matches with the algebraic content from CFT. Moreover, we check that at the first level of fusion, they have logarithmic asymptotic behavior when $κ=8/3$ and $κ=8$, in accordance with logarithmic minimal models $M(2,1)$ and $M(2,3)$, respectively.
Second, we construct SLE${}_κ$ pure partition functions and show that they are continuous in $κ\in (0,8)$ and they decay to zero as a polynomial of $(8-κ)$ when $κ\to 8$. We explicitly relate the Coulomb gas integrals and pure partition functions together in terms of the meander matrix. As a by-product, our results yield a construction of global non-simple multiple chordal SLE${}_κ$ measures ($κ\in (4,8)$) uniquely determined by their re-sampling property.
△ Less
Submitted 10 June, 2024;
originally announced June 2024.
-
Enhanced preprocessed multi-step splitting iterations for computing PageRank
Authors:
Guangcong Meng,
Yuehua Feng,
Yongxin Dong
Abstract:
In recent years, the PageRank algorithm has garnered significant attention due to its crucial role in search engine technologies and its applications across various scientific fields. It is well-known that the power method is a classical method for computing PageRank. However, there is a pressing demand for alternative approaches that can address its limitations and enhance its efficiency. Specifi…
▽ More
In recent years, the PageRank algorithm has garnered significant attention due to its crucial role in search engine technologies and its applications across various scientific fields. It is well-known that the power method is a classical method for computing PageRank. However, there is a pressing demand for alternative approaches that can address its limitations and enhance its efficiency. Specifically, the power method converges very slowly when the dam** factor is close to 1. To address this challenge, this paper introduces a new multi-step splitting iteration approach for accelerating PageRank computations. Furthermore, we present two new approaches for computating PageRank, which are modifications of the new multi-step splitting iteration approach, specifically utilizing the thick restarted Arnoldi and generalized Arnoldi methods. We provide detailed discussions on the construction and theoretical convergence results of these two approaches. Extensive experiments using large test matrices demonstrate the significant performance improvements achieved by our proposed algorithms.
△ Less
Submitted 7 June, 2024;
originally announced June 2024.
-
Existence and non-uniqueness of cone spherical metrics with prescribed singularities on a compact Riemann surface with positive genus
Authors:
Yu Feng,
Jijian Song,
Bin Xu
Abstract:
Cone spherical metrics, defined on compact Riemann surfaces, are conformal metrics with constant curvature one and finitely many cone singularities. Such a metric is termed \textit{reducible} if a develo** map of the metric has monodromy in ${\rm U(1)}$, and \textit{irreducible} otherwise. Utilizing the polystable extensions of two line bundles on a compact Riemann surface $X$ with genus…
▽ More
Cone spherical metrics, defined on compact Riemann surfaces, are conformal metrics with constant curvature one and finitely many cone singularities. Such a metric is termed \textit{reducible} if a develo** map of the metric has monodromy in ${\rm U(1)}$, and \textit{irreducible} otherwise. Utilizing the polystable extensions of two line bundles on a compact Riemann surface $X$ with genus $g_X>0$, we establish the following three primary results concerning these metrics with cone angles in $2π{\mathbb Z}_{>1}$:
\begin{itemize} \item[(1)] Given an effective divisor $D$ with an odd degree surpassing $2g_X$ on $X$, we find the existence of an effective divisor $D'$ in the complete linear system $|D|$ that can be represented by at least two distinct irreducible cone spherical metrics on $X$.
\item[(2)] For a generic effective divisor $D$ with an even degree and $°D\geq 6g_X-2$ on $X$, we can identify an arcwise connected Borel subset in $|D|$ that demonstrates a Hausdorff dimension of no less than $\big(°D-4g_{X}+2\big)$. Within this subset, each divisor $D'$ can be distinctly represented by a family of reducible metrics, defined by a single real parameter.
\item[(3)] For an effective divisor $D$ with $°D=2$ on an elliptic curve, we can identify a Borel subset in $|D|$ that is arcwise connected, showcasing a Hausdorff dimension of one. Within this subset, each divisor $D'$ can be distinctly represented by a family of reducible metrics, defined by a single real parameter.
△ Less
Submitted 21 May, 2024;
originally announced May 2024.
-
A gluing construction of constant scalar curvature Kähler metrics of Poincaré type
Authors:
Yueqing Feng
Abstract:
Given a compact Kähler manifold with no non-trivial holomorphic vector field, assume it admits a constant scalar curvature Kähler metric. Fix finitely many points, we show the existence of constant scalar curvature Kähler metrics of Poincaré type on the complement of these points in the compact manifold.
Given a compact Kähler manifold with no non-trivial holomorphic vector field, assume it admits a constant scalar curvature Kähler metric. Fix finitely many points, we show the existence of constant scalar curvature Kähler metrics of Poincaré type on the complement of these points in the compact manifold.
△ Less
Submitted 20 May, 2024;
originally announced May 2024.
-
Lie symmetry analysis of (2+1)-dimensional time fractional Kadomtsev-Petviashvili equation
Authors:
Jicheng Yu,
Yuqiang Feng
Abstract:
In this paper, Lie symmetry analysis method is applied to the (2+1)-dimensional time fractional Kadomtsev-Petviashvili (KP) equation with the mixed derivative of Riemann-Liouville time-fractional derivative and integer-order $x$-derivative. We obtained all the Lie symmetries admitted by the KP equation and used them to reduce the (2+1)-dimensional fractional partial differential equation with Riem…
▽ More
In this paper, Lie symmetry analysis method is applied to the (2+1)-dimensional time fractional Kadomtsev-Petviashvili (KP) equation with the mixed derivative of Riemann-Liouville time-fractional derivative and integer-order $x$-derivative. We obtained all the Lie symmetries admitted by the KP equation and used them to reduce the (2+1)-dimensional fractional partial differential equation with Riemann-Liouville fractional derivative to some (1+1)-dimensional fractional partial differential equations with Erdélyi-Kober fractional derivative or Riemann-Liouville fractional derivative, thereby getting some exact solutions of the reduced equations. In addition, the new conservation theorem and the generalization of Noether operators are developed to construct the conservation laws for the equation studied.
△ Less
Submitted 16 May, 2024;
originally announced May 2024.
-
Rigorous derivation of a Hele-Shaw type model and its non-symmetric traveling wave solution
Authors:
Yu Feng,
Qingyou He,
Jian-Guo Liu,
Zhennan Zhou
Abstract:
In this paper, we consider a Hele-Shaw model that describes tumor growth subject to nutrient supply. This model was recently studied in \cite{feng2022tumor} via asymptotic analysis. Our contributions are twofold: Firstly, we provide a rigorous derivation of this Hele-Shaw model by taking the incompressible limit of the porous medium reaction-diffusion equation, which solidifies the mathematical fo…
▽ More
In this paper, we consider a Hele-Shaw model that describes tumor growth subject to nutrient supply. This model was recently studied in \cite{feng2022tumor} via asymptotic analysis. Our contributions are twofold: Firstly, we provide a rigorous derivation of this Hele-Shaw model by taking the incompressible limit of the porous medium reaction-diffusion equation, which solidifies the mathematical foundations of the model. Secondly, from a bifurcation theory perspective, we prove the existence of non-symmetric traveling wave solutions to the model, which reflect the intrinsic boundary instability in tumor growth dynamics.
△ Less
Submitted 25 April, 2024;
originally announced April 2024.
-
Second order Sobolev regularity results for the generalized $p$-parabolic equation
Authors:
Yawen Feng,
Mikko Parviainen,
Saara Sarsa
Abstract:
We study a general class of parabolic equations $$ u_t-|Du|^γ\big(Δu+(p-2) Δ_\infty^N u\big)=0, $$ which can be highly degenerate or singular. This class contains as special cases the standard parabolic $p$-Laplace equation and the normalized version that arises from stochastic game theory. Utilizing the systematic approach developed in our previous work we establish second order Sobolev regularit…
▽ More
We study a general class of parabolic equations $$ u_t-|Du|^γ\big(Δu+(p-2) Δ_\infty^N u\big)=0, $$ which can be highly degenerate or singular. This class contains as special cases the standard parabolic $p$-Laplace equation and the normalized version that arises from stochastic game theory. Utilizing the systematic approach developed in our previous work we establish second order Sobolev regularity together with a priori estimates and improved range of parameters. In addition we derive second order Sobolev estimate for a nonlinear quantity. This quantity contains many useful special cases. As a corollary we also obtain that a viscosity solution has locally $L^2$-integrable Sobolev time derivative.
△ Less
Submitted 9 April, 2024;
originally announced April 2024.
-
Logarithmic correlation functions in 2D critical percolation
Authors:
Federico Camia,
Yu Feng
Abstract:
It is believed that the large-scale geometric properties of two-dimensional critical percolation are described by a logarithmic conformal field theory, but it has been challenging to exhibit concrete examples of logarithmic singularities and to find an explanation and a physical interpretation, in terms of lattice observables, for their appearance. We show that certain percolation correlation func…
▽ More
It is believed that the large-scale geometric properties of two-dimensional critical percolation are described by a logarithmic conformal field theory, but it has been challenging to exhibit concrete examples of logarithmic singularities and to find an explanation and a physical interpretation, in terms of lattice observables, for their appearance. We show that certain percolation correlation functions receive independent contributions from a large number of similar connectivity events happening at different scales. Combined with scale invariance, this leads to logarithmic divergences. We study several logarithmic correlation functions for critical percolation in the bulk and in the presence of a boundary, including the four-point function of the density (spin) field. Our analysis confirms previous findings, provides new explicit calculations and explains, in terms of lattice observables, the physical mechanism that leads to the logarithmic singularities we discover. Although we adopt conformal field theory (CFT) terminology to present our results, the core of our analysis relies on probabilistic arguments and recent rigorous results on the scaling limit of critical percolation and does not assume a priori the existence of a percolation CFT. As a consequence, our results provide strong support for the validity of a CFT description of critical percolation and a step in the direction of a mathematically rigorous formulation of a logarithmic CFT of two-dimensional critical percolation.
△ Less
Submitted 23 May, 2024; v1 submitted 27 March, 2024;
originally announced March 2024.
-
Optimal convex $M$-estimation via score matching
Authors:
Oliver Y. Feng,
Yu-Chun Kao,
Min Xu,
Richard J. Samworth
Abstract:
In the context of linear regression, we construct a data-driven convex loss function with respect to which empirical risk minimisation yields optimal asymptotic variance in the downstream estimation of the regression coefficients. Our semiparametric approach targets the best decreasing approximation of the derivative of the log-density of the noise distribution. At the population level, this fitti…
▽ More
In the context of linear regression, we construct a data-driven convex loss function with respect to which empirical risk minimisation yields optimal asymptotic variance in the downstream estimation of the regression coefficients. Our semiparametric approach targets the best decreasing approximation of the derivative of the log-density of the noise distribution. At the population level, this fitting process is a nonparametric extension of score matching, corresponding to a log-concave projection of the noise distribution with respect to the Fisher divergence. The procedure is computationally efficient, and we prove that our procedure attains the minimal asymptotic covariance among all convex $M$-estimators. As an example of a non-log-concave setting, for Cauchy errors, the optimal convex loss function is Huber-like, and our procedure yields an asymptotic efficiency greater than 0.87 relative to the oracle maximum likelihood estimator of the regression coefficients that uses knowledge of this error distribution; in this sense, we obtain robustness without sacrificing much efficiency. Numerical experiments confirm the practical merits of our proposal.
△ Less
Submitted 25 March, 2024;
originally announced March 2024.
-
Federated Transfer Learning with Differential Privacy
Authors:
Mengchu Li,
Ye Tian,
Yang Feng,
Yi Yu
Abstract:
Federated learning is gaining increasing popularity, with data heterogeneity and privacy being two prominent challenges. In this paper, we address both issues within a federated transfer learning framework, aiming to enhance learning on a target data set by leveraging information from multiple heterogeneous source data sets while adhering to privacy constraints. We rigorously formulate the notion…
▽ More
Federated learning is gaining increasing popularity, with data heterogeneity and privacy being two prominent challenges. In this paper, we address both issues within a federated transfer learning framework, aiming to enhance learning on a target data set by leveraging information from multiple heterogeneous source data sets while adhering to privacy constraints. We rigorously formulate the notion of \textit{federated differential privacy}, which offers privacy guarantees for each data set without assuming a trusted central server. Under this privacy constraint, we study three classical statistical problems, namely univariate mean estimation, low-dimensional linear regression, and high-dimensional linear regression. By investigating the minimax rates and identifying the costs of privacy for these problems, we show that federated differential privacy is an intermediate privacy model between the well-established local and central models of differential privacy. Our analyses incorporate data heterogeneity and privacy, highlighting the fundamental costs of both in federated learning and underscoring the benefit of knowledge transfer across data sets.
△ Less
Submitted 9 April, 2024; v1 submitted 17 March, 2024;
originally announced March 2024.
-
The classification of two-distance transitive dihedrants
Authors:
Jun-Jie Huang,
Yan-Quan Feng,
**-Xin Zhou,
Fu-Gang Yin
Abstract:
A vertex transitive graph $Γ$ is said to be $2$-distance transitive if for each vertex $u$, the group of automorphisms of $Γ$ fixing the vertex $u$ acts transitively on the set of vertices at distance $1$ and $2$ from $u$, while $Γ$ is said to be $2$-arc transitive if its automorphism group is transitive on the set of $2$-arcs. Then $2$-arc transitive graphs are $2$-distance transitive. The classi…
▽ More
A vertex transitive graph $Γ$ is said to be $2$-distance transitive if for each vertex $u$, the group of automorphisms of $Γ$ fixing the vertex $u$ acts transitively on the set of vertices at distance $1$ and $2$ from $u$, while $Γ$ is said to be $2$-arc transitive if its automorphism group is transitive on the set of $2$-arcs. Then $2$-arc transitive graphs are $2$-distance transitive. The classification of $2$-arc transitive Cayley graphs on dihedral groups was given by Du, Malnič and Marušič in [Classification of 2-arc-transitive dihedrants, J. Combin. Theory Ser. B 98 (2008), 1349--1372]. In this paper, it is shown that a connected 2-distance transitive Cayley graph on the dihedral group of order $2n$ is either $2$-arc transitive, or isomorphic to the complete multipartite graph $K_{m[b]}$ for some $m\geq3$ and $b\geq2$ with $mb=2n$.
△ Less
Submitted 1 March, 2024;
originally announced March 2024.
-
Augmented Subspace Scheme for Eigenvalue Problem by Weak Galerkin Finite Element Method
Authors:
Yue Feng,
Zhi** Guan,
Hehu Xie,
Chenguang Zhou
Abstract:
This study proposes a class of augmented subspace schemes for the weak Galerkin (WG) finite element method used to solve eigenvalue problems. The augmented subspace is built with the conforming linear finite element space defined on the coarse mesh and the eigenfunction approximations in the WG finite element space defined on the fine mesh. Based on this augmented subspace, solving the eigenvalue…
▽ More
This study proposes a class of augmented subspace schemes for the weak Galerkin (WG) finite element method used to solve eigenvalue problems. The augmented subspace is built with the conforming linear finite element space defined on the coarse mesh and the eigenfunction approximations in the WG finite element space defined on the fine mesh. Based on this augmented subspace, solving the eigenvalue problem in the fine WG finite element space can be reduced to the solution of the linear boundary value problem in the same WG finite element space and a low dimensional eigenvalue problem in the augmented subspace. The proposed augmented subspace techniques have the second order convergence rate with respect to the coarse mesh size, as demonstrated by the accompanying error estimates. Finally, a few numerical examples are provided to validate the proposed numerical techniques.
△ Less
Submitted 8 January, 2024;
originally announced January 2024.
-
Some Grönwall inequalities for a class of discretizations of time fractional equations on nonuniform meshes
Authors:
Yuanyuan Feng,
Lei Li,
Jian-Guo Liu,
Tao Tang
Abstract:
We consider the completely positive discretizations of fractional ordinary differential equations (FODEs) on nonuniform meshes. Making use of the resolvents for nonuniform meshes, we first establish comparison principles for the discretizations. Then we prove some discrete Grönwall inequalities using the comparison principles and careful analysis of the solutions to the time continuous FODEs. Our…
▽ More
We consider the completely positive discretizations of fractional ordinary differential equations (FODEs) on nonuniform meshes. Making use of the resolvents for nonuniform meshes, we first establish comparison principles for the discretizations. Then we prove some discrete Grönwall inequalities using the comparison principles and careful analysis of the solutions to the time continuous FODEs. Our results do not have any restrictions on the step size ratio. The Grönwall inequalities for dissipative equations can be used to obtain the uniform-in-time error control and decay estimates of the numerical solutions. The Grönwall inequalities are then applied to subdiffusion problems and the time fractional Allen-Cahn equations for illustration.
△ Less
Submitted 3 January, 2024;
originally announced January 2024.
-
The $F$-polynomial invariant for knotoids
Authors:
Yi Feng,
Fengling Li
Abstract:
As a generalization of the classical knots, knotoids deal with the open ended knot diagrams in a surface. In recent years, many polynomial invariants for knotoids have appeared, such as the bracket polynomial, the index polynomial and the $n$th polynomial, etc. In this paper, we introduce a new polynomial invariant $F$-polynomial for knotoids and discuss some properties of the $F$-polynomial. Then…
▽ More
As a generalization of the classical knots, knotoids deal with the open ended knot diagrams in a surface. In recent years, many polynomial invariants for knotoids have appeared, such as the bracket polynomial, the index polynomial and the $n$th polynomial, etc. In this paper, we introduce a new polynomial invariant $F$-polynomial for knotoids and discuss some properties of the $F$-polynomial. Then, we construct a family of knotoid diagrams which can be distinguished from each other by the $F$-polynomial but cannnot be distinguished by the index polynomial and the $n$th polynomial.
△ Less
Submitted 26 December, 2023;
originally announced December 2023.
-
Harnack inequality and the relevant theorems on Finsler metric measure manifolds
Authors:
Xinyue Cheng,
Yalu Feng
Abstract:
In this paper, we carry out in-depth research centering around the Harnack inequality for positive solutions to nonlinear heat equation on Finsler metric measure manifolds with weighted Ricci curvature ${\rm Ric}_{\infty}$ bounded below. Aim on this topic, we first give a volume comparison theorem of Bishop-Gromov type. Then we prove a weighted Poincaré inequality by using Whitney-type coverings t…
▽ More
In this paper, we carry out in-depth research centering around the Harnack inequality for positive solutions to nonlinear heat equation on Finsler metric measure manifolds with weighted Ricci curvature ${\rm Ric}_{\infty}$ bounded below. Aim on this topic, we first give a volume comparison theorem of Bishop-Gromov type. Then we prove a weighted Poincaré inequality by using Whitney-type coverings technique and give a local uniform Sobolev inequality. Further, we obtain two mean value inequalities for positive subsolutions and supersolutions of a class of parabolic differential equations. From the mean value inequality, we also derive a new local gradient estimate for positive solutions to heat equation. Finally, as the application of the mean value inequalities and weighted Poincaré inequality, we get the desired Harnack inequality for positive solutions to heat equation.
△ Less
Submitted 11 December, 2023;
originally announced December 2023.
-
Optimal Estimation of Large-Dimensional Nonlinear Factor Models
Authors:
Yingjie Feng
Abstract:
This paper studies optimal estimation of large-dimensional nonlinear factor models. The key challenge is that the observed variables are possibly nonlinear functions of some latent variables where the functional forms are left unspecified. A local principal component analysis method is proposed to estimate the factor structure and recover information on latent variables and latent functions, which…
▽ More
This paper studies optimal estimation of large-dimensional nonlinear factor models. The key challenge is that the observed variables are possibly nonlinear functions of some latent variables where the functional forms are left unspecified. A local principal component analysis method is proposed to estimate the factor structure and recover information on latent variables and latent functions, which combines $K$-nearest neighbors matching and principal component analysis. Large-sample properties are established, including a sharp bound on the matching discrepancy of nearest neighbors, sup-norm error bounds for estimated local factors and factor loadings, and the uniform convergence rate of the factor structure estimator. Under mild conditions our estimator of the latent factor structure can achieve the optimal rate of uniform convergence for nonparametric regression. The method is illustrated with a Monte Carlo experiment and an empirical application studying the effect of tax cuts on economic growth.
△ Less
Submitted 13 November, 2023;
originally announced November 2023.
-
Triviality of critical Fortuin-Kasteleyn decorated planar maps for $q>4$
Authors:
Yuyang Feng
Abstract:
We consider infinite random planar maps decorated by the critical Fortuin-Kasteleyn model with parameter $q>4$. The paper demonstrates that when appropriately rescaled, these maps converge in law to the infinite continuum random tree as pointed metric-measure spaces, that is, with respect to the local Gromov-Hausdorff-Prokhorov topology. Furthermore, we also show that these maps do not admit any F…
▽ More
We consider infinite random planar maps decorated by the critical Fortuin-Kasteleyn model with parameter $q>4$. The paper demonstrates that when appropriately rescaled, these maps converge in law to the infinite continuum random tree as pointed metric-measure spaces, that is, with respect to the local Gromov-Hausdorff-Prokhorov topology. Furthermore, we also show that these maps do not admit any Fortuin-Kasteleyn loops with a macroscopic graph distance diameter. Our proof is based on Scott Sheffield's hamburger-cheeseburger bijection.
△ Less
Submitted 10 November, 2023;
originally announced November 2023.
-
The Anytime Convergence of Stochastic Gradient Descent with Momentum: From a Continuous-Time Perspective
Authors:
Yasong Feng,
Yifan Jiang,
Tianyu Wang,
Zhiliang Ying
Abstract:
In this paper, we study the stochastic optimization problem from a continuous-time perspective. We propose a stochastic first-order algorithm, called Stochastic Gradient Descent with Momentum (SGDM), and show that the trajectory of SGDM, despite its stochastic nature, converges to a deterministic second-order Ordinary Differential Equation (ODE) in $L_2$-norm, as the stepsize goes to zero. The con…
▽ More
In this paper, we study the stochastic optimization problem from a continuous-time perspective. We propose a stochastic first-order algorithm, called Stochastic Gradient Descent with Momentum (SGDM), and show that the trajectory of SGDM, despite its stochastic nature, converges to a deterministic second-order Ordinary Differential Equation (ODE) in $L_2$-norm, as the stepsize goes to zero. The connection between the ODE and the algorithm results in delightful patterns in the discrete-time convergence analysis. More specifically, we develop convergence results for the ODE through a Lyapunov function, and translate the whole argument to the discrete-time case. This approach yields a novel anytime convergence guarantee for stochastic gradient methods. Precisely, we prove that, for any $β$, there exists $k_0$ such that the sequence $\{ x_k \}$ governed by running SGDM on a smooth convex function $f$ satisfies $\mathbb{P}\left(\mathop{\bigcap}\limits_{k=k_0}^\infty\bigg\{f (x_k) - f^* \leq \frac{C\log k\log(2/β)}{\sqrt{k}}\bigg\}\right)\geq 1-β$, where $f^*=\min_{x\in\mathbb{R}^n} f(x)$. Our contribution is significant in that it better captures the convergence behavior across the entire trajectory of the algorithm, rather than at a single iterate.
△ Less
Submitted 6 February, 2024; v1 submitted 30 October, 2023;
originally announced October 2023.
-
Decomposition of global 2-SLE for $κ\in (4,8)$ and an application for critical FK-Ising model
Authors:
Yu Feng,
Mingchang Liu,
Hao Wu
Abstract:
We consider global 2-SLE$_κ$ $(η_1, η_2)$ in a topological rectangle with $κ\in (4,8)$. We derive the law of a random hitting point of the curves and show that, conditional on this random hitting point, the pair of two curves has the same law as Gaussian free field flow lines with proper boundary data. Using a similar idea, we derive the asymptotic of the probability for $η_1\capη_2=\emptyset$. As…
▽ More
We consider global 2-SLE$_κ$ $(η_1, η_2)$ in a topological rectangle with $κ\in (4,8)$. We derive the law of a random hitting point of the curves and show that, conditional on this random hitting point, the pair of two curves has the same law as Gaussian free field flow lines with proper boundary data. Using a similar idea, we derive the asymptotic of the probability for $η_1\capη_2=\emptyset$. As an application, we derive the asymptotic of the probability for the existence of two disjoint open paths in critical FK-Ising model.
△ Less
Submitted 16 October, 2023;
originally announced October 2023.
-
New Quantum LDPC Codes Based on Euclidean Geometry
Authors:
Ya'nan Feng,
Chuchen Tang,
Chenming Bai
Abstract:
With the development of quantum error correction techniques, quantum low density parity check (QLDPC) codes become a promising area in quantum error correction codes. In this paper, the requirements of QLDPC codes based on points except the origin and lines not passing through the origin of Euclidean geometry are given. QLDPC codes based on all the lines and parallel classes are obtained respectiv…
▽ More
With the development of quantum error correction techniques, quantum low density parity check (QLDPC) codes become a promising area in quantum error correction codes. In this paper, the requirements of QLDPC codes based on points except the origin and lines not passing through the origin of Euclidean geometry are given. QLDPC codes based on all the lines and parallel classes are obtained respectively.
△ Less
Submitted 7 September, 2023;
originally announced October 2023.
-
On the completely positive kernels for nonuniform meshes
Authors:
Yuanyuan Feng,
Lei Li
Abstract:
The complete positivity, i.e., positivity of the resolvent kernels, for convolutional kernels is an important property for the positivity property and asymptotic behaviors of Volterra equations. We inverstigate the discrete analogue of the complete positivity properties, especially for convolutional kernels on nonuniform meshes. Through an operation which we call pseudo-convolution, we introduce t…
▽ More
The complete positivity, i.e., positivity of the resolvent kernels, for convolutional kernels is an important property for the positivity property and asymptotic behaviors of Volterra equations. We inverstigate the discrete analogue of the complete positivity properties, especially for convolutional kernels on nonuniform meshes. Through an operation which we call pseudo-convolution, we introduce the complete positivity property for discrete kernels on nonuniform meshes and establish the criterion for the complete positivity. Lastly, we apply our theory to the L1 discretization of time fractional differential equations on nonuniform meshes.
△ Less
Submitted 2 October, 2023;
originally announced October 2023.
-
Compact Relative $\mathrm{SO}_0(2,q)$-Character Varieties of Punctured Spheres
Authors:
Yu Feng,
Junming Zhang
Abstract:
We prove that there are some relative $\mathrm{SO}_0(2,q)$-character varieties of the punctured sphere which are compact, totally elliptic and contain a dense representation. This work fills a remaining case of the results of N. Tholozan and J. Toulisse. Our approach relies on the utilization of the non-Abelian Hodge correspondence and we study the moduli space of parabolic $\mathrm{SO}_0(2,q)$-Hi…
▽ More
We prove that there are some relative $\mathrm{SO}_0(2,q)$-character varieties of the punctured sphere which are compact, totally elliptic and contain a dense representation. This work fills a remaining case of the results of N. Tholozan and J. Toulisse. Our approach relies on the utilization of the non-Abelian Hodge correspondence and we study the moduli space of parabolic $\mathrm{SO}_0(2,q)$-Higgs bundles with some fixed weight. Additionally, we provide a construction based on Geometric Invariant Theory (GIT) to demonstrate that such moduli space we find can be viewed as a projective variety over $\mathbb{C}$.
△ Less
Submitted 27 September, 2023;
originally announced September 2023.
-
Self-morphing of elastic bilayers induced by mismatch strain: deformation simulation and bio-inspired design
Authors:
Junjie Song,
Yixiong Feng,
Zhaoxi Hong,
Bingtao Hu,
Jianrong Tan,
Xiuju Song
Abstract:
The process of self-morphing in curved surfaces found in nature, such as with the growth of flowers and leaves, has generated interest in the study of self-morphing bilayers, which has been used in many soft robots or switchers. However, previous research has primarily focused on materials or bilayer fabrication technologies. The self-morphing mechanism and process have been rarely investigated, d…
▽ More
The process of self-morphing in curved surfaces found in nature, such as with the growth of flowers and leaves, has generated interest in the study of self-morphing bilayers, which has been used in many soft robots or switchers. However, previous research has primarily focused on materials or bilayer fabrication technologies. The self-morphing mechanism and process have been rarely investigated, despite their importance. This study proposed a new deformation simulation method for self-morphing bilayers based on a checkerboard-based discrete differential geometry approach. This new method achieved higher efficiency than traditional finite element methods while still maintaining accuracy. It was also effective in handling complex finite strain situations. Finally, the simulation model was used to design three self-morphing bilayers inspired by folding flowers, spiral grass, and conical seashells. These designs further prove the effectiveness of the proposed method. The results of this study propose a good method for predicting deformation and designing self-morphing bilayers and provide a useful viewpoint for using geometrical methods to solve mechanical problems.
△ Less
Submitted 18 September, 2023;
originally announced September 2023.
-
Semiparametric Modeling and Analysis for Longitudinal Network Data
Authors:
Yinqiu He,
Jia** Sun,
Yuang Tian,
Zhiliang Ying,
Yang Feng
Abstract:
We introduce a semiparametric latent space model for analyzing longitudinal network data. The model consists of a static latent space component and a time-varying node-specific baseline component. We develop a semiparametric efficient score equation for the latent space parameter by adjusting for the baseline nuisance component. Estimation is accomplished through a one-step update estimator and an…
▽ More
We introduce a semiparametric latent space model for analyzing longitudinal network data. The model consists of a static latent space component and a time-varying node-specific baseline component. We develop a semiparametric efficient score equation for the latent space parameter by adjusting for the baseline nuisance component. Estimation is accomplished through a one-step update estimator and an appropriately penalized maximum likelihood estimator. We derive oracle error bounds for the two estimators and address identifiability concerns from a quotient manifold perspective. Our approach is demonstrated using the New York Citi Bike Dataset.
△ Less
Submitted 23 August, 2023;
originally announced August 2023.
-
Generalized quaternion groups with the m-DCI property
Authors:
**-Hua Xie,
Yan-Quan Feng,
Binzhou Xia
Abstract:
A Cayley digraph Cay(G,S) of a finite group $G$ with respect to a subset $S$ of $G$ is said to be a CI-digraph if for every Cayley digraph Cay(G,T) isomorphic to Cay(G,S), there exists an automorphism $σ$ of $G$ such that $S^σ=T$. A finite group $G$ is said to have the $m$-DCI property for some positive integer $m$ if all $m$-valent Cayley digraphs of $G$ are CI-digraphs, and is said to be a DCI-g…
▽ More
A Cayley digraph Cay(G,S) of a finite group $G$ with respect to a subset $S$ of $G$ is said to be a CI-digraph if for every Cayley digraph Cay(G,T) isomorphic to Cay(G,S), there exists an automorphism $σ$ of $G$ such that $S^σ=T$. A finite group $G$ is said to have the $m$-DCI property for some positive integer $m$ if all $m$-valent Cayley digraphs of $G$ are CI-digraphs, and is said to be a DCI-group if $G$ has the $m$-DCI property for all $1\leq m\leq |G|$. Let $\mathrm{Q}_{4n}$ be a generalized quaternion group of order $4n$ with an integer $n\geq 3$, and let $\mathrm{Q}_{4n}$ have the $m$-DCI property for some $1 \leq m\leq 2n-1$. It is shown in this paper that $n$ is odd, and $n$ is not divisible by $p^2$ for any prime $p\leq m-1$. Furthermore, if $n\geq 3$ is a power of a prime $p$, then $\mathrm{Q}_{4n}$ has the $m$-DCI property if and only if $p$ is odd, and either $n=p$ or $1\leq m\leq p$.
△ Less
Submitted 21 February, 2024; v1 submitted 29 June, 2023;
originally announced June 2023.
-
Some inequalities and gradient estimates for harmonic functions on Finsler measure spaces
Authors:
Xinyue Cheng,
Yalu Feng
Abstract:
In this paper, we study functional and geometric inequalities on complete Finsler measure spaces under the condition that the weighted Ricci curvature ${\rm Ric}_\infty$ has a lower bound. We first obtain some local uniform Poincaré inequalities and Sobolev inequalities. Further, we give a mean value inequality for nonnegative subsolutions of elliptic equations. Finally, we obtain local and global…
▽ More
In this paper, we study functional and geometric inequalities on complete Finsler measure spaces under the condition that the weighted Ricci curvature ${\rm Ric}_\infty$ has a lower bound. We first obtain some local uniform Poincaré inequalities and Sobolev inequalities. Further, we give a mean value inequality for nonnegative subsolutions of elliptic equations. Finally, we obtain local and global Harnack inequalities, and then, establish a global gradient estimate for positive harmonic functions on forward complete non-compact Finsler measure spaces. Besides, as a by-product of the mean value inequality, we prove a Liouville type theorem.
△ Less
Submitted 21 June, 2023;
originally announced June 2023.
-
A unified Bayesian inversion approach for a class of tumor growth models with different pressure laws
Authors:
Yu Feng,
Liu Liu,
Zhennan Zhou
Abstract:
In this paper, we use the Bayesian inversion approach to study the data assimilation problem for a family of tumor growth models described by porous-medium type equations. The models contain uncertain parameters and are indexed by a physical parameter $m$, which characterizes the constitutive relation between density and pressure. Based on these models, we employ the Bayesian inversion framework t…
▽ More
In this paper, we use the Bayesian inversion approach to study the data assimilation problem for a family of tumor growth models described by porous-medium type equations. The models contain uncertain parameters and are indexed by a physical parameter $m$, which characterizes the constitutive relation between density and pressure. Based on these models, we employ the Bayesian inversion framework to infer parametric and nonparametric unknowns that affect tumor growth from noisy observations of tumor cell density. We establish the well-posedness and the stability theories for the Bayesian inversion problem and further prove the convergence of the posterior distribution in the so-called incompressible limit, $m \rightarrow \infty$. Since the posterior distribution across the index regime $m\in[2,\infty)$ can thus be treated in a unified manner, such theoretical results also guide the design of the numerical inference for the unknown. We propose a generic computational framework for such inverse problems, which consists of a typical sampling algorithm and an asymptotic preserving solver for the forward problem. With extensive numerical tests, we demonstrate that the proposed method achieves satisfactory accuracy in the Bayesian inference of the tumor growth models, which is uniform with respect to the constitutive relation.
△ Less
Submitted 13 February, 2024; v1 submitted 3 June, 2023;
originally announced June 2023.
-
Multiple positive solutions for a double phase system with singular nonlinearity
Authors:
Zhanbing Bai,
Yizhe Feng
Abstract:
In this paper, we study a class of double phase systems which contain the singular and mixed nonlinear terms. Unlike the single equation, the mixed nonlinear terms make the problem more complicate. The geometry of the fibering map** has multiple possibilities. To overcome the difficulties posed by the mixed nonlinear terms, we need to repeatedly construct concave functions, discuss different cas…
▽ More
In this paper, we study a class of double phase systems which contain the singular and mixed nonlinear terms. Unlike the single equation, the mixed nonlinear terms make the problem more complicate. The geometry of the fibering map** has multiple possibilities. To overcome the difficulties posed by the mixed nonlinear terms, we need to repeatedly construct concave functions, discuss different cases, and use the properties of concave functions and basic inequalities such as Hölder inequality, Poincaré's inequality and Young's inequality. By the use of the Nehari manifold, the existence and multiplicity of positive solutions which have nonnegative energy are obtained.
△ Less
Submitted 18 July, 2023; v1 submitted 2 June, 2023;
originally announced June 2023.
-
Simple Combinatorial Construction of the $k^{o(1)}$-Lower Bound for Approximating the Parameterized $k$-Clique
Authors:
Yijia Chen,
Yi Feng,
Bundit Laekhanukit,
Yanlin Liu
Abstract:
In the parameterized $k$-clique problem, or $k$-Clique for short, we are given a graph $G$ and a parameter $k\ge 1$. The goal is to decide whether there exist $k$ vertices in $G$ that induce a complete subgraph (i.e., a $k$-clique). This problem plays a central role in the theory of parameterized intractability as one of the first W[1]-complete problems. Existing research has shown that even an FP…
▽ More
In the parameterized $k$-clique problem, or $k$-Clique for short, we are given a graph $G$ and a parameter $k\ge 1$. The goal is to decide whether there exist $k$ vertices in $G$ that induce a complete subgraph (i.e., a $k$-clique). This problem plays a central role in the theory of parameterized intractability as one of the first W[1]-complete problems. Existing research has shown that even an FPT-approximation algorithm for $k$-Clique with arbitrary ratio does not exist, assuming the Gap-Exponential-Time Hypothesis (Gap-ETH) [Chalermsook et al., FOCS'17 and SICOMP]. However, whether this inapproximability result can be based on the standard assumption of $\mathrm{W} 1\ne \mathrm{FPT}$ remains unclear. The recent breakthrough of Bingkai Lin [STOC'21] and subsequent works by Karthik C.S. and Khot [CCC'22], and by Lin, Ren, Sun Wang [ICALP'22] give a technique that bypasses Gap-ETH, thus leading to the inapproximability ratio of $O(1)$ and $k^{o(1)}$ under $\mathrm{W}[1]$-hardness (the first two) and ETH (for the latter one). All the work along this line follows the framework developed by Lin, which starts from the $k$-vector-sum problem and requires some involved algebraic techniques.
This paper presents an alternative framework for proving the W[1]-hardness of the $k^{o(1)}$-FPT-inapproximability of $k$-Clique. Using this framework, we obtain a gap-producing self-reduction of $k$-Clique without any intermediate algebraic problem. More precisely, we reduce from $(k,k-1)$-Gap Clique to $(q^k, q^{k-1})$-Gap Clique, for any function $q$ depending only on the parameter $k$, thus implying the $k^{o(1)}$-inapproximability result when $q$ is sufficiently large. Our proof is relatively simple and mostly combinatorial. At the core of our construction is a novel encoding of $k$-element subset stemming from the theory of "network coding" and a "Sidon set" representation of a graph.
△ Less
Submitted 15 April, 2023;
originally announced April 2023.
-
A class of monotonicity-preserving variable-step discretizations for Volterra integral equations and time fractional ordinary differential equations
Authors:
Yuanyuan Feng,
Lei Li
Abstract:
We study in this paper the monotonicity properties of the numerical solutions to Volterra integral equations with nonincreasing completely positive kernels on nonuniform meshes. There is a duality between the complete positivity and the properties of the complementary kernel being nonnegative and nonincreasing. Based on this, we propose the ``complementary monotonicity'' to describe the nonincreas…
▽ More
We study in this paper the monotonicity properties of the numerical solutions to Volterra integral equations with nonincreasing completely positive kernels on nonuniform meshes. There is a duality between the complete positivity and the properties of the complementary kernel being nonnegative and nonincreasing. Based on this, we propose the ``complementary monotonicity'' to describe the nonincreasing completely positive kernels, and the ``right complementary monotone'' (R-CMM) kernels as the analogue for nonuniform meshes. We then establish the monotonicity properties of the numerical solutions inherited from the continuous equation if the discretization has the R-CMM property. Such a property seems weaker than being log-convex and there is no resctriction on the step size ratio of the discretization for the R-CMM property to hold.
△ Less
Submitted 2 October, 2023; v1 submitted 13 April, 2023;
originally announced April 2023.
-
Uniform error bound of an exponential wave integrator for the long-time dynamics of the nonlinear Schrödinger equation with wave operator
Authors:
Yue Feng,
Yichen Guo,
Yongjun Yuan
Abstract:
We establish the uniform error bound of an exponential wave integrator Fourier pseudospectral (EWI-FP) method for the long-time dynamics of the nonlinear Schrödinger equation with wave operator (NLSW), in which the strength of the nonlinearity is characterized by $\varepsilon^{2p}$ with $\varepsilon \in (0, 1]$ a dimensionless parameter and $p \in \mathbb{N}^+$. When $0 < \varepsilon \ll 1$, the l…
▽ More
We establish the uniform error bound of an exponential wave integrator Fourier pseudospectral (EWI-FP) method for the long-time dynamics of the nonlinear Schrödinger equation with wave operator (NLSW), in which the strength of the nonlinearity is characterized by $\varepsilon^{2p}$ with $\varepsilon \in (0, 1]$ a dimensionless parameter and $p \in \mathbb{N}^+$. When $0 < \varepsilon \ll 1$, the long-time dynamics of the problem is equivalent to that of the NLSW with $O(1)$-nonlinearity and $O(\varepsilon)$-initial data. The NLSW is numerically solved by the EWI-FP method which combines an exponential wave integrator for temporal discretization with the Fourier pseudospectral method in space. We rigorously establish the uniform $H^1$-error bound of the EWI-FP method at $O(h^{m-1}+\varepsilon^{2p-β}τ^2)$ up to the time at $O(1/\varepsilon^β)$ with $0 \leq β\leq 2p$, the mesh size $h$, time step $τ$ and $m \geq 2$ an integer depending on the regularity of the exact solution. Finally, numerical results are provided to confirm our error estimates of the EWI-FP method and show that the convergence rate is sharp.
△ Less
Submitted 3 April, 2023;
originally announced April 2023.
-
A systematic approach on the second order regularity of solutions to the general parabolic $p$-Laplace equation
Authors:
Yawen Feng,
Mikko Parviainen,
Saara Sarsa
Abstract:
We study a general form of a degenerate or singular parabolic equation $$ u_t-|Du|^γ\big(Δu+(p-2)Δ_\infty^Nu\big)=0 $$ that generalizes both the standard parabolic $p$-Laplace equation and the normalized version that arises from stochastic game theory. We develop a systematic approach to study second order Sobolev regularity and show that $D^2u$ exists as a function and belongs to…
▽ More
We study a general form of a degenerate or singular parabolic equation $$ u_t-|Du|^γ\big(Δu+(p-2)Δ_\infty^Nu\big)=0 $$ that generalizes both the standard parabolic $p$-Laplace equation and the normalized version that arises from stochastic game theory. We develop a systematic approach to study second order Sobolev regularity and show that $D^2u$ exists as a function and belongs to $L^2_{\text loc}$ for a certain range of parameters. In this approach proving the estimate boils down to verifying that a certain coefficient matrix is positive definite. As a corollary we obtain, under suitable assumptions, that a viscosity solution has a Sobolev time derivative belonging to $L^2_{\text loc}$.
△ Less
Submitted 31 March, 2023;
originally announced April 2023.
-
Speeding up Langevin Dynamics by Mixing
Authors:
Alexander Christie,
Yuanyuan Feng,
Gautam Iyer,
Alexei Novikov
Abstract:
We study an overdamped Langevin equation on the $d$-dimensional torus with stationary distribution proportional to~$p = e^{-U / κ}$. When~$U$ has multiple wells the mixing time of the associated process is exponentially large (of size~$e^{O(1/κ)}$). We add a drift to the Langevin dynamics (without changing the stationary distribution) and obtain quantitative estimates on the mixing time. We show t…
▽ More
We study an overdamped Langevin equation on the $d$-dimensional torus with stationary distribution proportional to~$p = e^{-U / κ}$. When~$U$ has multiple wells the mixing time of the associated process is exponentially large (of size~$e^{O(1/κ)}$). We add a drift to the Langevin dynamics (without changing the stationary distribution) and obtain quantitative estimates on the mixing time. We show that an exponentially mixing drift can be rescaled to make the mixing time of the Langevin system arbitrarily small. For numerical purposes, it is useful to keep the size of the imposed drift small, and we show that the smallest allowable rescaling ensures that the mixing time is $O( d/κ^2)$, which is an order of magnitude smaller than~$e^{O(1/κ)}$.
We provide one construction of an exponentially mixing drift, although with rate constants whose~$κ$-dependence is unknown.Heuristics (from discrete time) suggest that $κ$-dependence of the mixing rate is such that the imposed drift is of size~$O(d / κ^3)$. The large amplitude of the imposed drift increases the numerical complexity, and thus we expect this method will be most useful in the initial phase of Monte Carlo methods to rapidly explore the state space.
△ Less
Submitted 1 September, 2023; v1 submitted 31 March, 2023;
originally announced March 2023.
-
A relation between the cube polynomials of partial cubes and the clique polynomials of their crossing graphs
Authors:
Yan-Ting Xie,
Yong-De Feng,
Shou-Jun Xu
Abstract:
Partial cubes are the graphs which can be embedded into hypercubes. The {\em cube polynomial} of a graph $G$ is a counting polynomial of induced hypercubes of $G$, which is defined as $C(G,x):=\sum_{i\geqslant 0}α_i(G)x^i$, where $α_i(G)$ is the number of induced $i$-cubes (hypercubes of dimension $i$) of $G$. The {\em clique polynomial} of $G$ is defined as…
▽ More
Partial cubes are the graphs which can be embedded into hypercubes. The {\em cube polynomial} of a graph $G$ is a counting polynomial of induced hypercubes of $G$, which is defined as $C(G,x):=\sum_{i\geqslant 0}α_i(G)x^i$, where $α_i(G)$ is the number of induced $i$-cubes (hypercubes of dimension $i$) of $G$. The {\em clique polynomial} of $G$ is defined as $Cl(G,x):=\sum_{i\geqslant 0}a_i(G)x^i$, where $a_i(G)$ ($i\geqslant 1$) is the number of $i$-cliques in $G$ and $a_0(G)=1$. Equivalently, $Cl(G, x)$ is exactly the independence polynomial of the complement $\overline{G}$ of $G$. The {\em crossing graph} $G^{\#}$ of a partial cube $G$ is the graph whose vertices are corresponding to the $Θ$-classes of $G$, and two $Θ$-classes are adjacent in $G^{\#}$ if and only if they cross in $G$. In the present paper, we prove that for a partial cube $G$, $C(G,x)\leqslant Cl(G^{\#}, x+1)$ and the equality holds if and only if $G$ is a median graph. Since every graph can be represented as the crossing graph of a median graph [SIAM J. Discrete Math., 15 (2002) 235--251], the above necessary-and-sufficient result shows that the study on the cube polynomials of median graphs can be transformed to the one on the clique polynomials of general graphs (equivalently, on the independence polynomials of their complements). In addition, we disprove the conjecture that the cube polynomials of median graphs are unimodal.
△ Less
Submitted 16 June, 2024; v1 submitted 26 March, 2023;
originally announced March 2023.
-
Adaptive Road Configurations for Improved Autonomous Vehicle-Pedestrian Interactions using Reinforcement Learning
Authors:
Qiming Ye,
Yuxiang Feng,
Jose Javier Escribano Macias,
Marc Stettler,
Panagiotis Angeloudis
Abstract:
The deployment of Autonomous Vehicles (AVs) poses considerable challenges and unique opportunities for the design and management of future urban road infrastructure. In light of this disruptive transformation, the Right-Of-Way (ROW) composition of road space has the potential to be renewed. Design approaches and intelligent control models have been proposed to address this problem, but we lack an…
▽ More
The deployment of Autonomous Vehicles (AVs) poses considerable challenges and unique opportunities for the design and management of future urban road infrastructure. In light of this disruptive transformation, the Right-Of-Way (ROW) composition of road space has the potential to be renewed. Design approaches and intelligent control models have been proposed to address this problem, but we lack an operational framework that can dynamically generate ROW plans for AVs and pedestrians in response to real-time demand. Based on microscopic traffic simulation, this study explores Reinforcement Learning (RL) methods for evolving ROW compositions. We implement a centralised paradigm and a distributive learning paradigm to separately perform the dynamic control on several road network configurations. Experimental results indicate that the algorithms have the potential to improve traffic flow efficiency and allocate more space for pedestrians. Furthermore, the distributive learning algorithm outperforms its centralised counterpart regarding computational cost (49.55\%), benchmark rewards (25.35\%), best cumulative rewards (24.58\%), optimal actions (13.49\%) and rate of convergence. This novel road management technique could potentially contribute to the flow-adaptive and active mobility-friendly streets in the AVs era.
△ Less
Submitted 21 March, 2023;
originally announced March 2023.
-
Streaming data recovery via Bayesian tensor train decomposition
Authors:
Yunyu Huang,
Yani Feng,
Qifeng Liao
Abstract:
In this paper, we study a Bayesian tensor train (TT) decomposition method to recover streaming data by approximating the latent structure in high-order streaming data. Drawing on the streaming variational Bayes method, we introduce the TT format into Bayesian tensor decomposition methods for streaming data, and formulate posteriors of TT cores. Thanks to the Bayesian framework of the TT format, th…
▽ More
In this paper, we study a Bayesian tensor train (TT) decomposition method to recover streaming data by approximating the latent structure in high-order streaming data. Drawing on the streaming variational Bayes method, we introduce the TT format into Bayesian tensor decomposition methods for streaming data, and formulate posteriors of TT cores. Thanks to the Bayesian framework of the TT format, the proposed algorithm (SPTT) excels in recovering streaming data with high-order, incomplete, and noisy properties. The experiments in synthetic and real-world datasets show the accuracy of our method compared to state-of-the-art Bayesian tensor decomposition methods for streaming data.
△ Less
Submitted 28 February, 2024; v1 submitted 23 February, 2023;
originally announced February 2023.
-
Para-Kähler and pseudo-Kähler structures on Lie-Yamaguti algebras
Authors:
Jia Zhao,
Yuqin Feng,
Yu Qiao
Abstract:
For a pre-Lie-Yamaguti algebra $A$, by using its sub-adjacent Lie-Yamaguti algebra $A^c$, we are able to construct a semidirect product Lie-Yamaguti algebra via a representation of $A^c$. The investigation of such semidirect Lie-Yamaguti algebras leads us to the notions of para-Kähler structures and pseudo-Kähler structures on Lie-Yamaguti algebras, and also gives the definition of complex product…
▽ More
For a pre-Lie-Yamaguti algebra $A$, by using its sub-adjacent Lie-Yamaguti algebra $A^c$, we are able to construct a semidirect product Lie-Yamaguti algebra via a representation of $A^c$. The investigation of such semidirect Lie-Yamaguti algebras leads us to the notions of para-Kähler structures and pseudo-Kähler structures on Lie-Yamaguti algebras, and also gives the definition of complex product structures on Lie-Yamaguti algebras which was first introduced in [25]. Furthermore, a Levi-Civita product with respect to a pseudo-Riemannian \Lie-Yamaguti algebra is introduced and we explore its relation with pre-Lie-Yamaguti algebras.
△ Less
Submitted 22 February, 2023; v1 submitted 21 February, 2023;
originally announced February 2023.
-
Multivariate Systemic Risk Measures and Computation by Deep Learning Algorithms
Authors:
Alessandro Doldi,
Yichen Feng,
Jean-Pierre Fouque,
Marco Frittelli
Abstract:
In this work we propose deep learning-based algorithms for the computation of systemic shortfall risk measures defined via multivariate utility functions. We discuss the key related theoretical aspects, with a particular focus on the fairness properties of primal optima and associated risk allocations. The algorithms we provide allow for learning primal optimizers, optima for the dual representati…
▽ More
In this work we propose deep learning-based algorithms for the computation of systemic shortfall risk measures defined via multivariate utility functions. We discuss the key related theoretical aspects, with a particular focus on the fairness properties of primal optima and associated risk allocations. The algorithms we provide allow for learning primal optimizers, optima for the dual representation and corresponding fair risk allocations. We test our algorithms by comparison to a benchmark model, based on a paired exponential utility function, for which we can provide explicit formulas. We also show evidence of convergence in a case for which explicit formulas are not available.
△ Less
Submitted 14 June, 2023; v1 submitted 2 February, 2023;
originally announced February 2023.
-
Existence of weak solutions to $p$-Navier-Stokes equations
Authors:
Yuanyuan Feng,
Lei Li,
Jian-Guo Liu,
Xiaoqian Xu
Abstract:
We study the existence of weak solutions to the $p$-Navier-Stokes equations with a symmetric $p$-Laplacian on bounded domains. We construct a particular Schauder basis in $W_0^{1,p}(Ω)$ with divergence free constraint and prove existence of weak solutions using the Galerkin approximation via this basis. Meanwhile, in the proof, we establish a chain rule for the $L^p$ norm of the weak solutions, wh…
▽ More
We study the existence of weak solutions to the $p$-Navier-Stokes equations with a symmetric $p$-Laplacian on bounded domains. We construct a particular Schauder basis in $W_0^{1,p}(Ω)$ with divergence free constraint and prove existence of weak solutions using the Galerkin approximation via this basis. Meanwhile, in the proof, we establish a chain rule for the $L^p$ norm of the weak solutions, which fixes a gap in our previous work. The equality of energy dissipation is also established for the weak solutions considered.
△ Less
Submitted 17 February, 2023;
originally announced February 2023.
-
Multiple Ising interfaces in annulus and $2N$-sided radial SLE
Authors:
Yu Feng,
Hao Wu,
Lu Yang
Abstract:
We consider critical planar Ising model in annulus with alternating boundary conditions on the outer boundary and free boundary conditions in the inner boundary. As the size of the inner hole goes to zero, the event that all interfaces get close to the inner hole before they meet each other is a rare event. We prove that the law of the collection of the interfaces conditional on this rare event co…
▽ More
We consider critical planar Ising model in annulus with alternating boundary conditions on the outer boundary and free boundary conditions in the inner boundary. As the size of the inner hole goes to zero, the event that all interfaces get close to the inner hole before they meet each other is a rare event. We prove that the law of the collection of the interfaces conditional on this rare event converges in total variation distance to the so-called $2N$-sided radial SLE$_3$, introduced by~[HL21]. The proof relies crucially on an estimate for multiple chordal SLE. Suppose $(γ_1, \ldots, γ_N)$ is chordal $N$-SLE$_κ$ with $κ\in (0,4]$ in the unit disc, and we consider the probability that all $N$ curves get close to the origin. We prove that the limit $\lim_{r\to 0+}r^{-A_{2N}}\mathbb{P}[\mathrm{dist}(0,γ_j)<r, 1\le j\le N]$ exists, where $A_{2N}$ is the so-called $2N$-arm exponents and $\mathrm{dist}$ is Euclidean distance. We call the limit Green's function for chordal $N$-SLE$_κ$. This estimate is a generalization of previous conclusions with $N=1$ and $N=2$ proved in~[LR12, LR15] and~[Zha20] respectively.
△ Less
Submitted 26 March, 2024; v1 submitted 16 February, 2023;
originally announced February 2023.
-
Long-time error bounds of low-regularity integrators for nonlinear Schrödinger equations
Authors:
Yue Feng,
Georg Maierhofer,
Katharina Schratz
Abstract:
We introduce a new non-resonant low-regularity integrator for the cubic nonlinear Schrödinger equation (NLSE) allowing for long-time error estimates which are optimal in the sense of the underlying PDE. The main idea thereby lies in treating the zeroth mode exactly within the discretization. For long-time error estimates, we rigorously establish the long-time error bounds of different low-regulari…
▽ More
We introduce a new non-resonant low-regularity integrator for the cubic nonlinear Schrödinger equation (NLSE) allowing for long-time error estimates which are optimal in the sense of the underlying PDE. The main idea thereby lies in treating the zeroth mode exactly within the discretization. For long-time error estimates, we rigorously establish the long-time error bounds of different low-regularity integrators for the nonlinear Schrödinger equation (NLSE) with small initial data characterized by a dimensionless parameter $\varepsilon \in (0, 1]$. We begin with the low-regularity integrator for the quadratic NLSE in which the integral is computed exactly and the improved uniform first-order convergence in $H^r$ is proven at $O(\varepsilon τ)$ for solutions in $H^r$ with $r > 1/2$ up to the time $T_{\varepsilon } = T/\varepsilon $ with fixed $T > 0$. Then, the improved uniform long-time error bound is extended to a symmetric second-order low-regularity integrator in the long-time regime. For the cubic NLSE, we design new non-resonant first-order and symmetric second-order low-regularity integrators which treat the zeroth mode exactly and rigorously carry out the error analysis up to the time $T_{\varepsilon } = T/\varepsilon ^2$. With the help of the regularity compensation oscillation (RCO) technique, the improved uniform error bounds are established for the new non-resonant low-regularity schemes, which further reduce the long-time error by a factor of $\varepsilon^2$ compared with classical low-regularity integrators for the cubic NLSE. Numerical examples are presented to validate the error estimates and compare with the classical time-splitting methods in the long-time simulations.
△ Less
Submitted 1 February, 2023;
originally announced February 2023.
-
A characterization of regular partial cubes whose all convex cycles have the same lengths
Authors:
Yan-Ting Xie,
Yong-De Feng,
Shou-Jun Xu
Abstract:
Partial cubes are graphs that can be isometrically embedded into hypercubes. Convex cycles play an important role in the study of partial cubes. In this paper, we prove that a regular partial cube is a hypercube (resp., a doubled Odd graph, an even cycle of length $2n$ where $n\geqslant 4$) if and only if all its convex cycles are 4-cycles (resp., 6-cycles, $2n$-cycles). In particular, the partial…
▽ More
Partial cubes are graphs that can be isometrically embedded into hypercubes. Convex cycles play an important role in the study of partial cubes. In this paper, we prove that a regular partial cube is a hypercube (resp., a doubled Odd graph, an even cycle of length $2n$ where $n\geqslant 4$) if and only if all its convex cycles are 4-cycles (resp., 6-cycles, $2n$-cycles). In particular, the partial cubes whose all convex cycles are 4-cycles are equivalent to almost-median graphs, so we obtain that regular almost-median graphs are exactly hypercubes, which generate the result by Mulder [J. Graph Theory, 4 (1980) 107--110] -- regular median graphs are hypercubes.
△ Less
Submitted 28 January, 2023;
originally announced January 2023.
-
Testing linearity in semi-functional partially linear regression models
Authors:
Yongzhen Feng,
Jie Li,
Xiaojun Song
Abstract:
This paper proposes a Kolmogorov-Smirnov type statistic and a Cramér-von Mises type statistic to test linearity in semi-functional partially linear regression models. Our test statistics are based on a residual marked empirical process indexed by a randomly projected functional covariate,which is able to circumvent the "curse of dimensionality" brought by the functional covariate. The asymptotic p…
▽ More
This paper proposes a Kolmogorov-Smirnov type statistic and a Cramér-von Mises type statistic to test linearity in semi-functional partially linear regression models. Our test statistics are based on a residual marked empirical process indexed by a randomly projected functional covariate,which is able to circumvent the "curse of dimensionality" brought by the functional covariate. The asymptotic properties of the proposed test statistics under the null, the fixed alternative, and a sequence of local alternatives converging to the null at the $n^{1/2}$ rate are established. A straightforward wild bootstrap procedure is suggested to estimate the critical values that are required to carry out the tests in practical applications. Results from an extensive simulation study show that our tests perform reasonably well in finite samples.Finally, we apply our tests to the Tecator and AEMET datasets to check whether the assumption of linearity is supported by these datasets.
△ Less
Submitted 1 December, 2022;
originally announced December 2022.
-
On the Lp Gaussian Minkowski problem
Authors:
Yibin Feng,
Shengnan Hu,
Lei Xu
Abstract:
Existence of symmetric (resp. asymmetric) solutions to the $L_p$ Gaussian Minkowski problem for $p\leq 0$ (resp. $p\geq 1$) will be provided. Moreover, existence and uniqueness of smooth solutions to the problem for $p>n$ will also be proved without the restriction that the Gaussian volumes of convex bodies are not less than one-second.
Existence of symmetric (resp. asymmetric) solutions to the $L_p$ Gaussian Minkowski problem for $p\leq 0$ (resp. $p\geq 1$) will be provided. Moreover, existence and uniqueness of smooth solutions to the problem for $p>n$ will also be proved without the restriction that the Gaussian volumes of convex bodies are not less than one-second.
△ Less
Submitted 20 November, 2022;
originally announced November 2022.
-
Improved uniform error bounds on a Lawson-type exponential integrator for the long-time dynamics of sine--Gordon equation
Authors:
Yue Feng,
Katharina Schratz
Abstract:
We establish the improved uniform error bounds on a Lawson-type exponential integrator Fourier pseudospectral (LEI-FP) method for the long-time dynamics of sine-Gordon equation where the amplitude of the initial data is $O(\varepsilon)$ with $0 < \varepsilon \ll 1$ a dimensionless parameter up to the time at $O(1/\varepsilon^2)$. The numerical scheme combines a Lawson-type exponential integrator i…
▽ More
We establish the improved uniform error bounds on a Lawson-type exponential integrator Fourier pseudospectral (LEI-FP) method for the long-time dynamics of sine-Gordon equation where the amplitude of the initial data is $O(\varepsilon)$ with $0 < \varepsilon \ll 1$ a dimensionless parameter up to the time at $O(1/\varepsilon^2)$. The numerical scheme combines a Lawson-type exponential integrator in time with a Fourier pseudospectral method for spatial discretization, which is fully explicit and efficient in practical computation thanks to the fast Fourier transform. By separating the linear part from the sine function and employing the regularity compensation oscillation (RCO) technique which is introduced to deal with the polynomial nonlinearity by phase cancellation, we carry out the improved error bounds for the semi-discreization at $O(\varepsilon^2τ)$ instead of $O(τ)$ according to classical error estimates and at $O(h^m+\varepsilon^2τ)$ for the full-discretization up to the time $T_{\varepsilon} = T/\varepsilon^2$ with $T>0$ fixed. This is the first work to establish the improved uniform error bound for the long-time dynamics of the NKGE with non-polynomial nonlinearity. The improved error bound is extended to an oscillatory sine-Gordon equation with $O(\varepsilon^2)$ wavelength in time and $O(\varepsilon^{-2})$ wave speed, which indicates that the temporal error is independent of $\varepsilon$ when the time step size is chosen as $O(\varepsilon^2)$. Finally, numerical examples are shown to confirm the improved error bounds and to demonstrate that they are sharp.
△ Less
Submitted 17 November, 2022;
originally announced November 2022.
-
Physics-Informed Machine Learning: A Survey on Problems, Methods and Applications
Authors:
Zhongkai Hao,
Songming Liu,
Yichi Zhang,
Chengyang Ying,
Yao Feng,
Hang Su,
Jun Zhu
Abstract:
Recent advances of data-driven machine learning have revolutionized fields like computer vision, reinforcement learning, and many scientific and engineering domains. In many real-world and scientific problems, systems that generate data are governed by physical laws. Recent work shows that it provides potential benefits for machine learning models by incorporating the physical prior and collected…
▽ More
Recent advances of data-driven machine learning have revolutionized fields like computer vision, reinforcement learning, and many scientific and engineering domains. In many real-world and scientific problems, systems that generate data are governed by physical laws. Recent work shows that it provides potential benefits for machine learning models by incorporating the physical prior and collected data, which makes the intersection of machine learning and physics become a prevailing paradigm. By integrating the data and mathematical physics models seamlessly, it can guide the machine learning model towards solutions that are physically plausible, improving accuracy and efficiency even in uncertain and high-dimensional contexts. In this survey, we present this learning paradigm called Physics-Informed Machine Learning (PIML) which is to build a model that leverages empirical data and available physical prior knowledge to improve performance on a set of tasks that involve a physical mechanism. We systematically review the recent development of physics-informed machine learning from three perspectives of machine learning tasks, representation of physical prior, and methods for incorporating physical prior. We also propose several important open research problems based on the current trends in the field. We argue that encoding different forms of physical prior into model architectures, optimizers, inference algorithms, and significant domain-specific applications like inverse engineering design and robotic control is far from being fully explored in the field of physics-informed machine learning. We believe that the interdisciplinary research of physics-informed machine learning will significantly propel research progress, foster the creation of more effective machine learning models, and also offer invaluable assistance in addressing long-standing problems in related disciplines.
△ Less
Submitted 6 March, 2023; v1 submitted 15 November, 2022;
originally announced November 2022.
-
Frozen Gaussian Sampling for Scalar Wave Equations
Authors:
Lihui Chai,
Ye Feng,
Zhennan Zhou
Abstract:
In this article, we introduce the frozen Gaussian sampling (FGS) algorithm to solve the scalar wave equation in the high-frequency regime. The FGS algorithm is a Monte Carlo sampling strategy based on the frozen Gaussian approximation, which greatly reduces the computation workload in the wave propagation and reconstruction. In this work, we propose feasible and detailed procedures to implement th…
▽ More
In this article, we introduce the frozen Gaussian sampling (FGS) algorithm to solve the scalar wave equation in the high-frequency regime. The FGS algorithm is a Monte Carlo sampling strategy based on the frozen Gaussian approximation, which greatly reduces the computation workload in the wave propagation and reconstruction. In this work, we propose feasible and detailed procedures to implement the FGS algorithm to approximate scalar wave equations with Gaussian initial conditions and WKB initial conditions respectively. For both initial data cases, we rigorously analyze the error of applying this algorithm to wave equations of dimensionality $d \geq 3$. In Gaussian initial data cases, we prove that the sampling error due to the Monte Carlo method is independent of the typical wave number. We also derive a quantitative bound of the sampling error in WKB initial data cases. Finally, we validate the performance of the FGS and the theoretical estimates about the sampling error through various numerical examples, which include using the FGS to solve wave equations with both Gaussian and WKB initial data of dimensionality $d = 1, 2$, and $3$.
△ Less
Submitted 2 September, 2023; v1 submitted 9 November, 2022;
originally announced November 2022.
-
Convergence Rates of Stochastic Zeroth-order Gradient Descent for Łojasiewicz Functions
Authors:
Tianyu Wang,
Yasong Feng
Abstract:
We prove convergence rates of Stochastic Zeroth-order Gradient Descent (SZGD) algorithms for Lojasiewicz functions. The SZGD algorithm iterates as \begin{align*}
\mathbf{x}_{t+1} = \mathbf{x}_t - η_t \widehat{\nabla} f (\mathbf{x}_t), \qquad t = 0,1,2,3,\cdots , \end{align*} where $f$ is the objective function that satisfies the Łojasiewicz inequality with Łojasiewicz exponent $θ$, $η_t$ is the…
▽ More
We prove convergence rates of Stochastic Zeroth-order Gradient Descent (SZGD) algorithms for Lojasiewicz functions. The SZGD algorithm iterates as \begin{align*}
\mathbf{x}_{t+1} = \mathbf{x}_t - η_t \widehat{\nabla} f (\mathbf{x}_t), \qquad t = 0,1,2,3,\cdots , \end{align*} where $f$ is the objective function that satisfies the Łojasiewicz inequality with Łojasiewicz exponent $θ$, $η_t$ is the step size (learning rate), and $ \widehat{\nabla} f (\mathbf{x}_t) $ is the approximate gradient estimated using zeroth-order information only.
Our results show that $ \{ f (\mathbf{x}_t) - f (\mathbf{x}_\infty) \}_{t \in \mathbb{N} } $ can converge faster than $ \{ \| \mathbf{x}_t - \mathbf{x}_\infty \| \}_{t \in \mathbb{N} }$, regardless of whether the objective $f$ is smooth or nonsmooth.
△ Less
Submitted 19 April, 2023; v1 submitted 30 October, 2022;
originally announced October 2022.
-
Dissipation enhancement of cellular flows in general advection diffusion equations
Authors:
Yu Feng,
Xiaoqian Xu
Abstract:
The main contribution of this paper is twofold: (1) Recently, Iyer, Xu, and Zlatoš studied the dissipation enhancement by cellular flows based on standard advection-diffusion equations via a stochastic method. We generalize their results to advective hyper-diffusion equations and advective nonlinear diffusion equations. (2) We prove there exist smooth incompressible flows that are relaxation enhan…
▽ More
The main contribution of this paper is twofold: (1) Recently, Iyer, Xu, and Zlatoš studied the dissipation enhancement by cellular flows based on standard advection-diffusion equations via a stochastic method. We generalize their results to advective hyper-diffusion equations and advective nonlinear diffusion equations. (2) We prove there exist smooth incompressible flows that are relaxation enhancing to hyper-diffusion but not to standard diffusion.
△ Less
Submitted 30 October, 2022;
originally announced October 2022.
-
Symmetric property and edge-disjoint Hamiltonian cycles of the spined cube
Authors:
Da-Wei Yang,
Zihao Xu,
Yan-Quan Feng,
Jaeun Lee
Abstract:
The spined cube $SQ_n$ is a variant of the hypercube $Q_n$, introduced by Zhou et al. in [Information Processing Letters 111 (2011) 561-567] as an interconnection network for parallel computing. A graph $\G$ is an $m$-Cayley graph if its automorphism group $\Aut(\G)$ has a semiregular subgroup acting on the vertex set with $m$ orbits, and is a Caley graph if it is a 1-Cayley graph. It is well-know…
▽ More
The spined cube $SQ_n$ is a variant of the hypercube $Q_n$, introduced by Zhou et al. in [Information Processing Letters 111 (2011) 561-567] as an interconnection network for parallel computing. A graph $\G$ is an $m$-Cayley graph if its automorphism group $\Aut(\G)$ has a semiregular subgroup acting on the vertex set with $m$ orbits, and is a Caley graph if it is a 1-Cayley graph. It is well-known that $Q_n$ is a Cayley graph of an elementary abelian 2-group $\mz_2^n$ of order $2^n$. In this paper, we prove that $SQ_n$ is a 4-Cayley graph of $\mz_2^{n-2}$ when $n\geq6$, and is a $\lfloor n/2\rfloor$-Cayley graph when $n\leq 5$. This symmetric property shows that an $n$-dimensional spined cube with $n\geq6$ can be decomposed to eight vertex-disjoint $(n-3)$-dimensional hypercubes, and as an application, it is proved that there exist two edge-disjoint Hamiltonian cycles in $SQ_n$ when $n\geq4$. Moreover, we determine the vertex-transitivity of $SQ_n$, and prove that $SQ_n$ is not vertex-transitive unless $n\leq3$.
△ Less
Submitted 29 October, 2022;
originally announced October 2022.
