-
On the Spectral Geometry and Small Time Mass of Anderson Models on Planar Domains
Authors:
Pierre Yves Gaudreau Lamarre,
Yuanyuan Pan
Abstract:
We consider the Anderson Hamiltonian (AH) and the parabolic Anderson model (PAM) with white noise and Dirichlet boundary condition on a bounded planar domain $D\subset\mathbb R^2$. We compute the small time asymptotics of the AH's exponential trace up to order $O(\log t)$, and of the PAM's mass up to order $O(t\log t)$. Our proof is probabilistic, and relies on the asymptotics of intersection loca…
▽ More
We consider the Anderson Hamiltonian (AH) and the parabolic Anderson model (PAM) with white noise and Dirichlet boundary condition on a bounded planar domain $D\subset\mathbb R^2$. We compute the small time asymptotics of the AH's exponential trace up to order $O(\log t)$, and of the PAM's mass up to order $O(t\log t)$. Our proof is probabilistic, and relies on the asymptotics of intersection local times of Brownian motions and bridges in $\mathbb R^2$. Applications of our main result include the following:
(i) If the boundary $\partial D$ is sufficiently regular, then $D$'s area and $\partial D$'s length can both be recovered almost surely from a single observation of the AH's eigenvalues. This extends Mouzard's Weyl law in the special case of bounded domains (Ann. Inst. H. Poincaré Probab. Statist. 58(3): 1385-1425).
(ii) If $D$ is simply connected and $\partial D$ is fractal, then $\partial D$'s Minkowski dimension (if it exists) can be recovered almost surely from the PAM's small time asymptotics.
(iii) The variance of the white noise can be recovered almost surely from a single observation of the AH's eigenvalues.
△ Less
Submitted 8 July, 2025;
originally announced July 2025.
-
Multi-Armed Bandits With Machine Learning-Generated Surrogate Rewards
Authors:
Wenlong Ji,
Yihan Pan,
Ruihao Zhu,
Lihua Lei
Abstract:
Multi-armed bandit (MAB) is a widely adopted framework for sequential decision-making under uncertainty. Traditional bandit algorithms rely solely on online data, which tends to be scarce as it must be gathered during the online phase when the arms are actively pulled. However, in many practical settings, rich auxiliary data, such as covariates of past users, is available prior to deploying any ar…
▽ More
Multi-armed bandit (MAB) is a widely adopted framework for sequential decision-making under uncertainty. Traditional bandit algorithms rely solely on online data, which tends to be scarce as it must be gathered during the online phase when the arms are actively pulled. However, in many practical settings, rich auxiliary data, such as covariates of past users, is available prior to deploying any arms. We introduce a new setting for MAB where pre-trained machine learning (ML) models are applied to convert side information and historical data into \emph{surrogate rewards}. A prominent feature of this setting is that the surrogate rewards may exhibit substantial bias, as true reward data is typically unavailable in the offline phase, forcing ML predictions to heavily rely on extrapolation. To address the issue, we propose the Machine Learning-Assisted Upper Confidence Bound (MLA-UCB) algorithm, which can be applied to any reward prediction model and any form of auxiliary data. When the predicted and true rewards are jointly Gaussian, it provably improves the cumulative regret, provided that the correlation is non-zero -- even in cases where the mean surrogate reward completely misaligns with the true mean rewards. Notably, our method requires no prior knowledge of the covariance matrix between true and surrogate rewards. We compare MLA-UCB with the standard UCB on a range of numerical studies and show a sizable efficiency gain even when the size of the offline data and the correlation between predicted and true rewards are moderate.
△ Less
Submitted 19 June, 2025;
originally announced June 2025.
-
A note on two cycles of consecutive even lengths in graphs
Authors:
Binlong Li,
Yufeng Pan,
Lingjuan Shi
Abstract:
Bondy and Vince proved that a graph of minimum degree at least three contains two cycles whose lengths differ by one or two, which was conjectured by Erdős. Gao, Li, Ma and Xie gave an average degree counterpart of Bondy-Vince's result, stating that every $n$-vertex graph with at least $\frac{5}{2}(n-1)$ edges contains two cycles of consecutive even lengths, unless $4|(n-1)$ and every block of…
▽ More
Bondy and Vince proved that a graph of minimum degree at least three contains two cycles whose lengths differ by one or two, which was conjectured by Erdős. Gao, Li, Ma and Xie gave an average degree counterpart of Bondy-Vince's result, stating that every $n$-vertex graph with at least $\frac{5}{2}(n-1)$ edges contains two cycles of consecutive even lengths, unless $4|(n-1)$ and every block of $G$ is a clique $K_5$. This confirms the case $k=2$ of Verstraëte's conjecture, which states that every $n$-vertex graph without $k$ cycles of consecutive even lengths has edge number $e(G)\leq\frac{1}{2}(2k+1)(n-1)$, with equality if and only if every block of $G$ is a clique of order $2k+1$. Sudakov and Verstraëte further conjectured that if $G$ is a graph with maximum number of edges that does not contain $k$ cycles of consecutive even lengths, then every block of $G$ is a clique of order at most $2k+1$. In this paper, we prove the case $k=2$ for Sudakov-Verstraëte's conjecture, by extending the results of Gao, Li, Ma and Xie.
△ Less
Submitted 10 June, 2025;
originally announced June 2025.
-
On the rate of convergence for Landau type Schrödinger Operators
Authors:
Yucheng Pan,
Wenchang Sun
Abstract:
We study the pointwise convergence of Landau type Schrödinger operators within the fractional Sobolev space $W^{s,p}(\mathbb R)$. Our results extend those established by Bailey (Rev. Mat. Iberoam., 29 (2): 531-546, 2013) and Yuan, Zhao and Zheng (Nonlinear Anal., 208: Paper No. 112312, 28, 2021). Furthermore, we also analyze the convergence rate of Landau type Schrödinger operators along curves an…
▽ More
We study the pointwise convergence of Landau type Schrödinger operators within the fractional Sobolev space $W^{s,p}(\mathbb R)$. Our results extend those established by Bailey (Rev. Mat. Iberoam., 29 (2): 531-546, 2013) and Yuan, Zhao and Zheng (Nonlinear Anal., 208: Paper No. 112312, 28, 2021). Furthermore, we also analyze the convergence rate of Landau type Schrödinger operators along curves and derive a sharp result for the case of convergence along vertical lines.
△ Less
Submitted 30 May, 2025;
originally announced May 2025.
-
Adaptive Frontier Exploration on Graphs with Applications to Network-Based Disease Testing
Authors:
Davin Choo,
Yuqi Pan,
Tonghan Wang,
Milind Tambe,
Alastair van Heerden,
Cheryl Johnson
Abstract:
We study a sequential decision-making problem on a $n$-node graph $G$ where each node has an unknown label from a finite set $\mathbfΣ$, drawn from a joint distribution $P$ that is Markov with respect to $G$. At each step, selecting a node reveals its label and yields a label-dependent reward. The goal is to adaptively choose nodes to maximize expected accumulated discounted rewards. We impose a f…
▽ More
We study a sequential decision-making problem on a $n$-node graph $G$ where each node has an unknown label from a finite set $\mathbfΣ$, drawn from a joint distribution $P$ that is Markov with respect to $G$. At each step, selecting a node reveals its label and yields a label-dependent reward. The goal is to adaptively choose nodes to maximize expected accumulated discounted rewards. We impose a frontier exploration constraint, where actions are limited to neighbors of previously selected nodes, reflecting practical constraints in settings such as contact tracing and robotic exploration. We design a Gittins index-based policy that applies to general graphs and is provably optimal when $G$ is a forest. Our implementation runs in $O(n^2 \cdot |\mathbfΣ|^2)$ time while using $O(n \cdot |\mathbfΣ|^2)$ oracle calls to $P$ and $O(n^2 \cdot |\mathbfΣ|)$ space. Experiments on synthetic and real-world graphs show that our method consistently outperforms natural baselines, including in non-tree, budget-limited, and undiscounted settings. For example, in HIV testing simulations on real-world sexual interaction networks, our policy detects nearly all positive cases with only half the population tested, substantially outperforming other baselines.
△ Less
Submitted 27 May, 2025;
originally announced May 2025.
-
Superfast 1-Norm Estimation
Authors:
Soo Go,
Victor Y. Pan
Abstract:
A matrix algorithm is said to be superfast (that is, runs at sublinear cost) if it involves much fewer scalars and flops than the input matrix has entries. Such algorithms have been extensively studied and widely applied in modern computations for matrices with low displacement rank and more recently for low-rank approximation of matrices, even though they are known to fail on worst-case inputs in…
▽ More
A matrix algorithm is said to be superfast (that is, runs at sublinear cost) if it involves much fewer scalars and flops than the input matrix has entries. Such algorithms have been extensively studied and widely applied in modern computations for matrices with low displacement rank and more recently for low-rank approximation of matrices, even though they are known to fail on worst-case inputs in the latter application. We devise novel superfast algorithms that consistently produce accurate 1-norm estimates for real-world matrices and discuss some promising extensions of our surprisingly simple techniques. With further testing and refinement, our algorithms can potentially be adopted in practical computations.
△ Less
Submitted 26 May, 2025;
originally announced May 2025.
-
Existence and multiplicity of positive solutions to a critical elliptic equation with logarithmic perturbation
Authors:
Qihan He,
Yiqing Pan
Abstract:
We consider the existence and multiplicity of positive solutions for the following critical problem with logarithmic term:
\begin{equation*}\label{eq11}\left\{ \begin{array}{ll}
-Δu={μ\left|u\right|}^{{2}^{\ast }-2}u+ν|u|^{q-2}u+λu+θu\log {u}^{2}, &x\in Ω,\\ u=0, &x\in \partial Ω,\\ \end{array} \right.\end{equation*}
where $Ω$ $\subset$ $\mathbb{R}^N$ is a bounded smooth domain,…
▽ More
We consider the existence and multiplicity of positive solutions for the following critical problem with logarithmic term:
\begin{equation*}\label{eq11}\left\{ \begin{array}{ll}
-Δu={μ\left|u\right|}^{{2}^{\ast }-2}u+ν|u|^{q-2}u+λu+θu\log {u}^{2}, &x\in Ω,\\ u=0, &x\in \partial Ω,\\ \end{array} \right.\end{equation*}
where $Ω$ $\subset$ $\mathbb{R}^N$ is a bounded smooth domain, $ ν, λ\in \mathbb{R}$, $μ>0, θ<0$, $N\ge3$,
${2}^{\ast }=\frac{2N}{N-2}$ is the critical Sobolev exponent for the embedding $H^1_{0}(Ω)\hookrightarrow L^{2^\ast}(Ω)$ and $q\in (2, 2^*)$, and which can be seen as a Br$\acute{e}$zis-Nirenberg problem. Under some assumptions on the $μ, ν, λ, θ$ and $q$, we will prove that the above problem has at least two positive solutions: One is the least energy solution, and the other one is the Mountain pass solution. As far as we know, the existing results on the existence of positive solutions to a Br$\acute{e}$zis-Nirenberg problem are to find a positive solution, and no one has given the existence of
at least two positive solutions on it. So our results is totally new on this aspect.
△ Less
Submitted 28 April, 2025;
originally announced April 2025.
-
Positive solutions of critical Hardy-Hénon equations with logarithmic term
Authors:
Qihan He,
Wenxuan Liu,
Yiqing Pan
Abstract:
We consider the existence, non-existence and multiplicity of positive solutions to the following critical Hardy-Hénon equation with logarithmic term \begin{equation*}\label{eq11}\left\{ \begin{array}{ll} -Δu =|x|^α|u|^{2^*_α-2}\cdot u+μu\log u^2+λu, &x\in Ω,\\ u=0, &x\in \partial Ω,\\ \end{array} \right.\end{equation*} where $ Ω=B$ for $α\geq 0$, $ Ω=B\setminus\{0\}$ for $α\in(-2,0)$,…
▽ More
We consider the existence, non-existence and multiplicity of positive solutions to the following critical Hardy-Hénon equation with logarithmic term \begin{equation*}\label{eq11}\left\{ \begin{array}{ll} -Δu =|x|^α|u|^{2^*_α-2}\cdot u+μu\log u^2+λu, &x\in Ω,\\ u=0, &x\in \partial Ω,\\ \end{array} \right.\end{equation*} where $ Ω=B$ for $α\geq 0$, $ Ω=B\setminus\{0\}$ for $α\in(-2,0)$, $B\subset\mathbb{R}^N$ is an unit ball, $λ, μ\in \mathbb{R}$, $N\geq 3, α>-2$, $2^*_α:=\frac{2(N+α)}{N-2}$ is the critical exponent for the embedding $H_{0,r}^{1}( Ω)\hookrightarrow L^p( Ω;|x|^α)$, and which can be seen as a Brézis-Nirenberg problem. When $N \geq 4$ and $μ>0$, we will show that the above problem has a positive Mountain pass solution, which is also a ground state solution. At the same time, when $μ<0$, under some assumptions on the $N$, $μ$, $λ$ and $α$, we will show that the above problem has at least a positive least energy solution and at least a positive Mountain pass solution, respectively. What's more, when certain inequality related to $N \geq 3$, $μ<0 $ and $α\in(-2,0]$ holds, we will demonstrate the non-existence of positive solutions to the above-mentioned problem. The presence of logarithmic term brings some new and interesting phenomena to this problem.
△ Less
Submitted 28 April, 2025;
originally announced April 2025.
-
Non-quadratic solutions to the Monge-Ampère equation
Authors:
Yifei Pan,
Yuan Zhang
Abstract:
We construct ample smooth strictly plurisubharmonic non-quadratic solutions to the Monge-Ampère equation on either cylindrical type domains or the whole complex Euclidean space $\mathbb C^2$. Among these, the entire solutions defined on $\mathbb C^2$ induce flat Kahler metrics, as expected by a question of Calabi. In contrast, those on cylindrical domains produce a family of nowhere flat Kahler me…
▽ More
We construct ample smooth strictly plurisubharmonic non-quadratic solutions to the Monge-Ampère equation on either cylindrical type domains or the whole complex Euclidean space $\mathbb C^2$. Among these, the entire solutions defined on $\mathbb C^2$ induce flat Kahler metrics, as expected by a question of Calabi. In contrast, those on cylindrical domains produce a family of nowhere flat Kahler metrics. Beyond these smooth solutions, we also classify solutions that are radially symmetric in one variable, which exhibit various types of singularities. Finally, we explore analogous solutions to Donaldson's equation motivated by a result of He.
△ Less
Submitted 24 April, 2025;
originally announced April 2025.
-
Geometric adaptive smoothed aggregation multigrid for discontinuous Galerkin discretisations
Authors:
Yulong Pan,
Michael Lindsey,
Per-Olof Persson
Abstract:
We present a geometric multigrid solver based on adaptive smoothed aggregation suitable for Discontinuous Galerkin (DG) discretisations. Mesh hierarchies are formed via domain decomposition techniques, and the method is applicable to fully unstructured meshes using arbitrary element shapes. Furthermore, the method can be employed for a wide range of commonly used DG numerical fluxes for first- and…
▽ More
We present a geometric multigrid solver based on adaptive smoothed aggregation suitable for Discontinuous Galerkin (DG) discretisations. Mesh hierarchies are formed via domain decomposition techniques, and the method is applicable to fully unstructured meshes using arbitrary element shapes. Furthermore, the method can be employed for a wide range of commonly used DG numerical fluxes for first- and second-order PDEs including the Interior Penalty and the Local Discontinuous Galerkin methods. We demonstrate excellent and mesh-independent convergence for a range of problems including the Poisson equation, and convection-diffusion for a range of Péclet numbers.
△ Less
Submitted 29 May, 2025; v1 submitted 17 April, 2025;
originally announced April 2025.
-
Matchgate signatures under variable permutations
Authors:
Boning Meng,
Yicheng Pan
Abstract:
In this article, we give a sufficient and necessary condition for determining whether a matchgate signature retains its property under a certain variable permutation, which can be checked in polynomial time. We also define the concept of permutable matchgate signatures, and use it to erase the gap between Pl-\#CSP and \#CSP on planar graphs in the previous study. We provide a detailed characteriza…
▽ More
In this article, we give a sufficient and necessary condition for determining whether a matchgate signature retains its property under a certain variable permutation, which can be checked in polynomial time. We also define the concept of permutable matchgate signatures, and use it to erase the gap between Pl-\#CSP and \#CSP on planar graphs in the previous study. We provide a detailed characterization of permutable matchgate signatures as well, by presenting their relation to symmetric matchgate signatures. In addition, we prove a dichotomy for Pl-$\#R_D$-CSP where $D\ge 3$ is an integer.
△ Less
Submitted 27 March, 2025;
originally announced March 2025.
-
On graphs without cycles of length 1 modulo 3
Authors:
Yandong Bai,
Binlong Li,
Yufeng Pan,
Shenggui Zhang
Abstract:
Burr and Erdős conjectured in 1976 that for every two integers $k>\ell\geqslant 0$ satisfying that $k\mathbb{Z}+\ell$ contains an even integer, an $n$-vertex graph containing no cycles of length $\ell$ modulo $k$ can contain at most a linear number of edges on $n$. Bollobás confirmed this conjecture in 1977 and then Erdős proposed the problem of determining the exact value of the maximum number of…
▽ More
Burr and Erdős conjectured in 1976 that for every two integers $k>\ell\geqslant 0$ satisfying that $k\mathbb{Z}+\ell$ contains an even integer, an $n$-vertex graph containing no cycles of length $\ell$ modulo $k$ can contain at most a linear number of edges on $n$. Bollobás confirmed this conjecture in 1977 and then Erdős proposed the problem of determining the exact value of the maximum number of edges in such a graph. For the above $k$ and $\ell$, define $c_{\ell,k}$ to be the least constant such that every $n$-vertex graph with at least $c_{\ell,k}\cdot n$ edges contains a cycle of length $\ell$ modulo $k$. The precise (or asymptotic) values of $c_{\ell,k}$ are known for very few pairs $\ell$ and $k$. In this paper, we precisely determine the maximum number of edges in a graph containing no cycles of length 1 modulo 3. In particular, we show that every $n$-vertex graph with at least $\frac{5}{3}(n-1)$ edges contains a cycle of length 1 modulo 3, unless $9|(n-1)$ and each block of the graph is a Petersen graph. As a corollary, we obtain that $c_{1,3}=\frac{5}{3}$. This is the last remaining class modulo $k$ for $1\leqslant k\leqslant 4$.
△ Less
Submitted 5 March, 2025;
originally announced March 2025.
-
Generating Rectifiable Measures through Neural Networks
Authors:
Erwin Riegler,
Alex Bühler,
Yang Pan,
Helmut Bölcskei
Abstract:
We derive universal approximation results for the class of (countably) $m$-rectifiable measures. Specifically, we prove that $m$-rectifiable measures can be approximated as push-forwards of the one-dimensional Lebesgue measure on $[0,1]$ using ReLU neural networks with arbitrarily small approximation error in terms of Wasserstein distance. What is more, the weights in the networks under considerat…
▽ More
We derive universal approximation results for the class of (countably) $m$-rectifiable measures. Specifically, we prove that $m$-rectifiable measures can be approximated as push-forwards of the one-dimensional Lebesgue measure on $[0,1]$ using ReLU neural networks with arbitrarily small approximation error in terms of Wasserstein distance. What is more, the weights in the networks under consideration are quantized and bounded and the number of ReLU neural networks required to achieve an approximation error of $\varepsilon$ is no larger than $2^{b(\varepsilon)}$ with $b(\varepsilon)=\mathcal{O}(\varepsilon^{-m}\log^2(\varepsilon))$. This result improves Lemma IX.4 in Perekrestenko et al. as it shows that the rate at which $b(\varepsilon)$ tends to infinity as $\varepsilon$ tends to zero equals the rectifiability parameter $m$, which can be much smaller than the ambient dimension. We extend this result to countably $m$-rectifiable measures and show that this rate still equals the rectifiability parameter $m$ provided that, among other technical assumptions, the measure decays exponentially on the individual components of the countably $m$-rectifiable support set.
△ Less
Submitted 6 December, 2024;
originally announced December 2024.
-
Mirror symmetry for 4d $A_1$ class-$\mathcal{S}$ theories: modularity, defects and Coulomb branch
Authors:
Yiwen Pan,
Wenbin Yan
Abstract:
This is the companion paper of the letter arXiv:2410.15695, containing all the details and series of examples on a 4d mirror symmetry for the class-$\mathcal{S}$ theories which relates the representation theory of the chiral quantization of the Higgs branch and the geometry of the Coulomb branch. We study the representation theory by using the 4d/VOA correspondence, (defect) Schur indices and (fla…
▽ More
This is the companion paper of the letter arXiv:2410.15695, containing all the details and series of examples on a 4d mirror symmetry for the class-$\mathcal{S}$ theories which relates the representation theory of the chiral quantization of the Higgs branch and the geometry of the Coulomb branch. We study the representation theory by using the 4d/VOA correspondence, (defect) Schur indices and (flavor) modular differential equations, and match the data with the fixed manifolds of the Hitchin moduli spaces. This correspondence extends the connection between Higgs and Coulomb branch of Argyres-Douglas theories, and can provide systematic guidance for the study of the representation theory of vertex operator algebras by exploiting results from Hitchin systems.
△ Less
Submitted 4 December, 2024;
originally announced December 2024.
-
A remark on decomposing the canonical representation of the Drinfeld curve
Authors:
Zhe Chen,
Yushan Pan
Abstract:
Recently, by studying an explicit basis, Köck and Laurent give the decomposition of the $\overline{\mathbb{F}}_q[\mathrm{SL}_2(\mathbb{F}_q)]$-module of holomorphic forms on the Drinfeld curve. We present a crystalline cohomological proof of a weaker version of this result, without specifying a basis. As a by-product we observe a similar decomposition for the Gelfand--Graev representations.
Recently, by studying an explicit basis, Köck and Laurent give the decomposition of the $\overline{\mathbb{F}}_q[\mathrm{SL}_2(\mathbb{F}_q)]$-module of holomorphic forms on the Drinfeld curve. We present a crystalline cohomological proof of a weaker version of this result, without specifying a basis. As a by-product we observe a similar decomposition for the Gelfand--Graev representations.
△ Less
Submitted 26 November, 2024; v1 submitted 15 November, 2024;
originally announced November 2024.
-
An inverse problem for the matrix Schrodinger operator on the half-line with a general boundary condition
Authors:
Xiao-Chuan Xu,
Yi-Jun Pan
Abstract:
In this work, we study the inverse spectral problem, using the Weyl matrix as the input data, for the matrix Schrodinger operator on the half-line with the boundary condition being the form of the most general self-adjoint. We prove the uniqueness theorem, and derive the main equation and prove its solvability, which yields a theoretical reconstruction algorithm of the inverse problem.
In this work, we study the inverse spectral problem, using the Weyl matrix as the input data, for the matrix Schrodinger operator on the half-line with the boundary condition being the form of the most general self-adjoint. We prove the uniqueness theorem, and derive the main equation and prove its solvability, which yields a theoretical reconstruction algorithm of the inverse problem.
△ Less
Submitted 11 November, 2024;
originally announced November 2024.
-
Approximate FW Algorithm with a novel DMO method over Graph-structured Support Set
Authors:
Yijian Pan,
Hongjiao Qiang
Abstract:
In this project, we reviewed a paper that deals graph-structured convex optimization (GSCO) problem with the approximate Frank-Wolfe (FW) algorithm. We analyzed and implemented the original algorithm and introduced some extensions based on that. Then we conducted experiments to compare the results and concluded that our backtracking line-search method effectively reduced the number of iterations,…
▽ More
In this project, we reviewed a paper that deals graph-structured convex optimization (GSCO) problem with the approximate Frank-Wolfe (FW) algorithm. We analyzed and implemented the original algorithm and introduced some extensions based on that. Then we conducted experiments to compare the results and concluded that our backtracking line-search method effectively reduced the number of iterations, while our new DMO method (Top-g+ optimal visiting) did not make satisfying enough improvements.
△ Less
Submitted 25 November, 2024; v1 submitted 6 November, 2024;
originally announced November 2024.
-
Mirror symmetry for circle compactified 4d $A_1$ class-$S$ theories
Authors:
Yiwen Pan,
Wenbin Yan
Abstract:
In this letter, we propose a 4d mirror symmetry for the class-$\mathcal{S}$ theories which relates the representation theory of the chiral quantization of the Higgs branch and the geometry of the Coulomb branch. We study the representation theory by using the 4d/VOA correspondence, (defect) Schur indices and (flavor) modular differential equations, and match the data with the fixed manifolds of th…
▽ More
In this letter, we propose a 4d mirror symmetry for the class-$\mathcal{S}$ theories which relates the representation theory of the chiral quantization of the Higgs branch and the geometry of the Coulomb branch. We study the representation theory by using the 4d/VOA correspondence, (defect) Schur indices and (flavor) modular differential equations, and match the data with the fixed manifolds of the Hitchin moduli spaces. This correspondence extends the connection between Higgs and Coulomb branch of Argyres-Douglas theories, and can provide systematic guidance for the study of the representation theory of vertex operator algebras by exploiting results from Hitchin systems.
△ Less
Submitted 21 October, 2024;
originally announced October 2024.
-
Robo-GS: A Physics Consistent Spatial-Temporal Model for Robotic Arm with Hybrid Representation
Authors:
Haozhe Lou,
Yurong Liu,
Yike Pan,
Yiran Geng,
Jianteng Chen,
Wenlong Ma,
Chenglong Li,
Lin Wang,
Hengzhen Feng,
Lu Shi,
Liyi Luo,
Yongliang Shi
Abstract:
Real2Sim2Real plays a critical role in robotic arm control and reinforcement learning, yet bridging this gap remains a significant challenge due to the complex physical properties of robots and the objects they manipulate. Existing methods lack a comprehensive solution to accurately reconstruct real-world objects with spatial representations and their associated physics attributes.
We propose a…
▽ More
Real2Sim2Real plays a critical role in robotic arm control and reinforcement learning, yet bridging this gap remains a significant challenge due to the complex physical properties of robots and the objects they manipulate. Existing methods lack a comprehensive solution to accurately reconstruct real-world objects with spatial representations and their associated physics attributes.
We propose a Real2Sim pipeline with a hybrid representation model that integrates mesh geometry, 3D Gaussian kernels, and physics attributes to enhance the digital asset representation of robotic arms.
This hybrid representation is implemented through a Gaussian-Mesh-Pixel binding technique, which establishes an isomorphic mapping between mesh vertices and Gaussian models. This enables a fully differentiable rendering pipeline that can be optimized through numerical solvers, achieves high-fidelity rendering via Gaussian Splatting, and facilitates physically plausible simulation of the robotic arm's interaction with its environment using mesh-based methods.
The code,full presentation and datasets will be made publicly available at our website https://robostudioapp.com
△ Less
Submitted 17 September, 2024; v1 submitted 27 August, 2024;
originally announced August 2024.
-
Limit Theorems for Weakly Dependent Non-stationary Random Field Arrays and Asymptotic Inference of Dynamic Spatio-temporal Models
Authors:
Yue Pan,
Jiazhu Pan
Abstract:
We obtain the law of large numbers (LLN) and the central limit theorem (CLT) for weakly dependent non-stationary arrays of random fields with asymptotically unbounded moments. The weak dependence condition for arrays of random fields is proved to be inherited through transformation and infinite shift. This paves a way to prove the consistency and asymptotic normality of maximum likelihood estimati…
▽ More
We obtain the law of large numbers (LLN) and the central limit theorem (CLT) for weakly dependent non-stationary arrays of random fields with asymptotically unbounded moments. The weak dependence condition for arrays of random fields is proved to be inherited through transformation and infinite shift. This paves a way to prove the consistency and asymptotic normality of maximum likelihood estimation for dynamic spatio-temporal models (i.e. so-called ultra high-dimensional time series models) when the sample size and/or dimension go to infinity. Especially the asymptotic properties of estimation for network autoregression are obtained under reasonable regularity conditions.
△ Less
Submitted 14 August, 2024;
originally announced August 2024.
-
A three-stage method for reconstructing multiple coefficients in coupled photoacoustic and diffuse optical imaging
Authors:
Yinxi Pan,
Kui Ren,
Shanyin Tong
Abstract:
This paper studies inverse problems in quantitative photoacoustic tomography with additional optical current data supplemented from diffuse optical tomography. We propose a three-stage image reconstruction method for the simultaneous recovery of the absorption, diffusion, and Grüneisen coefficients. We demonstrate, through numerical simulations, that: (i) when the Grüneisen coefficient is known, t…
▽ More
This paper studies inverse problems in quantitative photoacoustic tomography with additional optical current data supplemented from diffuse optical tomography. We propose a three-stage image reconstruction method for the simultaneous recovery of the absorption, diffusion, and Grüneisen coefficients. We demonstrate, through numerical simulations, that: (i) when the Grüneisen coefficient is known, the addition of the optical measurements allows a more accurate reconstruction of the scattering and absorption coefficients; and (ii) when the Grüneisen coefficient is not known, the addition of optical current measurements allows us to reconstruct uniquely the Grüneisen, the scattering and absorption coefficients. Numerical simulations based on synthetic data are presented to demonstrate the effectiveness of the proposed idea.
△ Less
Submitted 23 January, 2025; v1 submitted 6 August, 2024;
originally announced August 2024.
-
Parallel Ising Annealer via Gradient-based Hamiltonian Monte Carlo
Authors:
Hao Wang,
Zixuan Liu,
Zhixin Xie,
Langyu Li,
Zibo Miao,
Wei Cui,
Yu Pan
Abstract:
Ising annealer is a promising quantum-inspired computing architecture for combinatorial optimization problems. In this paper, we introduce an Ising annealer based on the Hamiltonian Monte Carlo, which updates the variables of all dimensions in parallel. The main innovation is the fusion of an approximate gradient-based approach into the Ising annealer which introduces significant acceleration and…
▽ More
Ising annealer is a promising quantum-inspired computing architecture for combinatorial optimization problems. In this paper, we introduce an Ising annealer based on the Hamiltonian Monte Carlo, which updates the variables of all dimensions in parallel. The main innovation is the fusion of an approximate gradient-based approach into the Ising annealer which introduces significant acceleration and allows a portable and scalable implementation on the commercial FPGA. Comprehensive simulation and hardware experiments show that the proposed Ising annealer has promising performance and scalability on all types of benchmark problems when compared to other Ising annealers including the state-of-the-art hardware. In particular, we have built a prototype annealer which solves Ising problems of both integer and fraction coefficients with up to 200 spins on a single low-cost FPGA board, whose performance is demonstrated to be better than the state-of-the-art quantum hardware D-Wave 2000Q and similar to the expensive coherent Ising machine. The sub-linear scalability of the annealer signifies its potential in solving challenging combinatorial optimization problems and evaluating the advantage of quantum hardware.
△ Less
Submitted 14 July, 2024;
originally announced July 2024.
-
Metric-Entropy Limits on the Approximation of Nonlinear Dynamical Systems
Authors:
Yang Pan,
Clemens Hutter,
Helmut Bölcskei
Abstract:
This paper is concerned with fundamental limits on the approximation of nonlinear dynamical systems. Specifically, we show that recurrent neural networks (RNNs) can approximate nonlinear systems -- that satisfy a Lipschitz property and forget past inputs fast enough -- in metric-entropy-optimal manner. As the sets of sequence-to-sequence mappings realized by the dynamical systems we consider are s…
▽ More
This paper is concerned with fundamental limits on the approximation of nonlinear dynamical systems. Specifically, we show that recurrent neural networks (RNNs) can approximate nonlinear systems -- that satisfy a Lipschitz property and forget past inputs fast enough -- in metric-entropy-optimal manner. As the sets of sequence-to-sequence mappings realized by the dynamical systems we consider are significantly more massive than function classes generally analyzed in approximation theory, a refined metric-entropy characterization is needed, namely in terms of order, type, and generalized dimension. We compute these quantities for the classes of exponentially- and polynomially Lipschitz fading-memory systems and show that RNNs can achieve them.
△ Less
Submitted 11 June, 2025; v1 submitted 1 July, 2024;
originally announced July 2024.
-
Unique continuation of Schrödinger-type equations for $\bar\partial$ II
Authors:
Yifei Pan,
Yuan Zhang
Abstract:
In this paper, we extend our earlier unique continuation results \cite{PZ2} for the Schrödinger-type inequality $ |\bar\partial u| \le V|u|$ on a domain in $\mathbb C^n$ by removing the smoothness assumption on solutions $u = (u_1, \ldots, u_N)$. More specifically, we establish the unique continuation property for $W_{loc}^{1,1}$ solutions when the potential $V\in L_{loc}^p $, $ p>2n$; and for…
▽ More
In this paper, we extend our earlier unique continuation results \cite{PZ2} for the Schrödinger-type inequality $ |\bar\partial u| \le V|u|$ on a domain in $\mathbb C^n$ by removing the smoothness assumption on solutions $u = (u_1, \ldots, u_N)$. More specifically, we establish the unique continuation property for $W_{loc}^{1,1}$ solutions when the potential $V\in L_{loc}^p $, $ p>2n$; and for $W_{loc}^{1,2n+ε}$ solutions when $V\in L_{loc}^{2n}$ with $N=1$ or $n = 2$. Although the unique continuation property fails in general if $V\in L_{loc}^{p}, p<2n$, we show that the property still holds for $W_{loc}^{1,1}$ solutions when $V $ is a small constant multiple of $ \frac{1}{|z|}$.
△ Less
Submitted 15 June, 2024;
originally announced June 2024.
-
Continuous Sobolev functions with singularity on arbitrary real-analytic sets
Authors:
Yifei Pan,
Yuan Zhang
Abstract:
Near every point of a real-analytic set in $\mathbb R^n$, we make use of Hironaka's resolution of singularity theorem to construct a family of continuous functions in $W^{1, 1}_{loc}$ such that their weak derivatives have (removable) singularity precisely on that set.
Near every point of a real-analytic set in $\mathbb R^n$, we make use of Hironaka's resolution of singularity theorem to construct a family of continuous functions in $W^{1, 1}_{loc}$ such that their weak derivatives have (removable) singularity precisely on that set.
△ Less
Submitted 6 June, 2024;
originally announced June 2024.
-
Half-closed discontinuous Galerkin discretisations
Authors:
Yulong Pan,
Per-Olof Persson
Abstract:
We introduce the concept of half-closed nodes for nodal discontinuous Galerkin (DG) discretisations. Unlike more commonly used closed nodes in DG, where on every element nodes are placed on all of its boundaries, half-closed nodes only require nodes to be placed on a subset of the element's boundaries. The effect of using different nodes on DG operator sparsity is studied and we find in particular…
▽ More
We introduce the concept of half-closed nodes for nodal discontinuous Galerkin (DG) discretisations. Unlike more commonly used closed nodes in DG, where on every element nodes are placed on all of its boundaries, half-closed nodes only require nodes to be placed on a subset of the element's boundaries. The effect of using different nodes on DG operator sparsity is studied and we find in particular for there to be no difference in the sparsity pattern of the Laplace operator whether closed or half-closed nodes are used. On quadrilateral/hexahedral elements we use the Gauss-Radau points as the half-closed nodes of choice, which we demonstrate is able to speed up DG operator assembly in addition to leverage previously known superconvergence results. We also discuss in this work some linear solver techniques commonly used for Finite Element or discontinuous Galerkin methods such as static condensation and block-based methods, and how they can be applied to half-closed DG discretisations.
△ Less
Submitted 19 November, 2024; v1 submitted 20 May, 2024;
originally announced May 2024.
-
Saturation rank for nilradical of parabolic subalgebras in Type A
Authors:
Yang Pan
Abstract:
Let $\mfp(d)$ be a standard parabolic subalgebra of $\mfsl_{n+1}(K)$ and $\mfu$ be the corresponding nilradical defined over an algebraically closed field $K$ of characteristic $p>0$. We construct a finite connected quiver $Q(d)$, through which we provide a combinatorial characterization of the centralizer $c_{\mfu}(x(d))$ of the Richardson element $x(d)$. We specifically focus on the centralizer…
▽ More
Let $\mfp(d)$ be a standard parabolic subalgebra of $\mfsl_{n+1}(K)$ and $\mfu$ be the corresponding nilradical defined over an algebraically closed field $K$ of characteristic $p>0$. We construct a finite connected quiver $Q(d)$, through which we provide a combinatorial characterization of the centralizer $c_{\mfu}(x(d))$ of the Richardson element $x(d)$. We specifically focus on the centralizer when the levi factor of $\mfp(d)$ is determined by either one or two simple roots. This allows us to demonstrate that, under certain mild restrictions, the saturation rank of $\mfu$ equals the semisimple rank of the algebraic $K$-group $\SL_{n+1}(K)$.
△ Less
Submitted 3 May, 2024;
originally announced May 2024.
-
Unique continuation of Schrödinger-type equations for $\bar\partial$
Authors:
Yifei Pan,
Yuan Zhang
Abstract:
The purpose of this paper is to study the unique continuation property for a Schrödinger-type equation $ \bar\partial u = Vu$ on a domain in $\mathbb C^n$, where the solution $u$ may be a scalar function, or a vector-valued function. While simple examples show that the unique continuation property fails in general if the potential $V\in L^{p}, p<2n$, we first prove that, in the case when $u $ is a…
▽ More
The purpose of this paper is to study the unique continuation property for a Schrödinger-type equation $ \bar\partial u = Vu$ on a domain in $\mathbb C^n$, where the solution $u$ may be a scalar function, or a vector-valued function. While simple examples show that the unique continuation property fails in general if the potential $V\in L^{p}, p<2n$, we first prove that, in the case when $u $ is a scalar function, the unique continuation property holds when $V\in L_{loc}^{2n}$ and is $\bar\partial$-closed. For vector-valued smooth solutions, we establish the unique continuation property either when $V\in L_{loc}^p $, $ p>2n$ for $n\ge 3$, or when $V\in L_{loc}^{2n}$ for $n = 2$. Finally, we discuss the unique continuation property for some special cases where $V\notin L_{loc}^{2n}$, for instance, $V $ is a constant multiple of $ \frac{1}{|z|}$.
△ Less
Submitted 2 April, 2024;
originally announced April 2024.
-
A Simple Mixture Policy Parameterization for Improving Sample Efficiency of CVaR Optimization
Authors:
Yudong Luo,
Yangchen Pan,
Han Wang,
Philip Torr,
Pascal Poupart
Abstract:
Reinforcement learning algorithms utilizing policy gradients (PG) to optimize Conditional Value at Risk (CVaR) face significant challenges with sample inefficiency, hindering their practical applications. This inefficiency stems from two main facts: a focus on tail-end performance that overlooks many sampled trajectories, and the potential of gradient vanishing when the lower tail of the return di…
▽ More
Reinforcement learning algorithms utilizing policy gradients (PG) to optimize Conditional Value at Risk (CVaR) face significant challenges with sample inefficiency, hindering their practical applications. This inefficiency stems from two main facts: a focus on tail-end performance that overlooks many sampled trajectories, and the potential of gradient vanishing when the lower tail of the return distribution is overly flat. To address these challenges, we propose a simple mixture policy parameterization. This method integrates a risk-neutral policy with an adjustable policy to form a risk-averse policy. By employing this strategy, all collected trajectories can be utilized for policy updating, and the issue of vanishing gradients is counteracted by stimulating higher returns through the risk-neutral component, thus lifting the tail and preventing flatness. Our empirical study reveals that this mixture parameterization is uniquely effective across a variety of benchmark domains. Specifically, it excels in identifying risk-averse CVaR policies in some Mujoco environments where the traditional CVaR-PG fails to learn a reasonable policy.
△ Less
Submitted 28 June, 2024; v1 submitted 16 March, 2024;
originally announced March 2024.
-
Unique continuation for a gradient inequality with $L^n$ potential
Authors:
Adam Coffman,
Yifei Pan,
Yuan Zhang
Abstract:
We establish a unique continuation property for solutions of the differential inequality $|\nabla u|\leq V|u|$, where $V$ is locally $L^n$ integrable on a domain in $\mathbb R^n$. A stronger uniqueness result is obtained if in addition the solutions are locally Lipschitz. One application is a finite order vanishing property in the $L^2$ sense for the exponential of $W^{1,n}$ functions. We further…
▽ More
We establish a unique continuation property for solutions of the differential inequality $|\nabla u|\leq V|u|$, where $V$ is locally $L^n$ integrable on a domain in $\mathbb R^n$. A stronger uniqueness result is obtained if in addition the solutions are locally Lipschitz. One application is a finite order vanishing property in the $L^2$ sense for the exponential of $W^{1,n}$ functions. We further discuss related results for the Cauchy-Riemann operator $\bar\partial$ and characterize the vanishing order for smooth extension of holomorphic functions across the boundary.
△ Less
Submitted 2 May, 2025; v1 submitted 23 February, 2024;
originally announced February 2024.
-
On Local Solutions of Second Order Quasi-linear Elliptic Systems with Arbitrary 1-Jet at a Point
Authors:
Yifei Pan,
Yu Yan
Abstract:
We prove a general result on the existence of local solutions of any second order quasi-linear elliptic system with arbitrary 1-jet at a point.
We prove a general result on the existence of local solutions of any second order quasi-linear elliptic system with arbitrary 1-jet at a point.
△ Less
Submitted 30 January, 2024;
originally announced January 2024.
-
On solutions to $-Δu = V u$ near infinity
Authors:
Yifei Pan,
Yuan Zhang
Abstract:
We investigate the unique continuation property and the sign changing behavior of weak solutions to $-Δu =Vu$ near infinity under certain conditions on the blow-up rate of the potential $V$ near infinity.
We investigate the unique continuation property and the sign changing behavior of weak solutions to $-Δu =Vu$ near infinity under certain conditions on the blow-up rate of the potential $V$ near infinity.
△ Less
Submitted 24 April, 2025; v1 submitted 10 January, 2024;
originally announced January 2024.
-
Dynamical classification of analytic one-frequency quasi-periodic $\mathrm{SO}(3,\mathbb{R})$-cocycles
Authors:
Xuanji Hou,
Yi Pan,
Qi Zhou
Abstract:
We establish a close connection between acceleration and dynamical degree for one-frequency quasi-periodic compact cocycles, by showing that two vectors derived separately from each coincide. Based on this, we provide a dynamical classification of one-frequency quasi-periodic $\mathrm{SO}(3,\mathbb{R})$-cocycles.
We establish a close connection between acceleration and dynamical degree for one-frequency quasi-periodic compact cocycles, by showing that two vectors derived separately from each coincide. Based on this, we provide a dynamical classification of one-frequency quasi-periodic $\mathrm{SO}(3,\mathbb{R})$-cocycles.
△ Less
Submitted 29 November, 2023;
originally announced November 2023.
-
Faster randomized partial trace estimation
Authors:
Tyler Chen,
Robert Chen,
Kevin Li,
Skai Nzeuton,
Yilu Pan,
Yixin Wang
Abstract:
We develop randomized matrix-free algorithms for estimating partial traces, a generalization of the trace arising in quantum physics and chemistry. Our algorithm improves on the typicality-based approach used in [T. Chen and Y-C. Cheng, \emph{Numerical computation of the equilibrium-reduced density matrix for strongly coupled open quantum systems}, J. Chem. Phys. 157, 064106 (2022)] by deflating i…
▽ More
We develop randomized matrix-free algorithms for estimating partial traces, a generalization of the trace arising in quantum physics and chemistry. Our algorithm improves on the typicality-based approach used in [T. Chen and Y-C. Cheng, \emph{Numerical computation of the equilibrium-reduced density matrix for strongly coupled open quantum systems}, J. Chem. Phys. 157, 064106 (2022)] by deflating important subspaces (e.g. corresponding to the low-energy eigenstates) explicitly. This results in a significant variance reduction, leading to several order-of-magnitude speedups over the previous state of the art. We then apply our algorithm to study the thermodynamics of several Heisenberg spin systems, particularly the entanglement spectrum and ergotropy.
△ Less
Submitted 27 November, 2024; v1 submitted 18 October, 2023;
originally announced October 2023.
-
The damped wave equation and associated polymer
Authors:
Yuanyuan Pan
Abstract:
Considering the damped wave equation with a Gaussian noise $F$ where $F$ is white in time and has a covariance function depending on spatial variables, we will see that this equation has a mild solution which is stationary in time $t$. We define a weakly self-avoiding polymer with intrinsic length $J$ associated to this SPDE. Our main result is that the polymer has an effective radius of approxima…
▽ More
Considering the damped wave equation with a Gaussian noise $F$ where $F$ is white in time and has a covariance function depending on spatial variables, we will see that this equation has a mild solution which is stationary in time $t$. We define a weakly self-avoiding polymer with intrinsic length $J$ associated to this SPDE. Our main result is that the polymer has an effective radius of approximately $J^{5/3}$.
△ Less
Submitted 2 October, 2023;
originally announced October 2023.
-
On the Local Regularity of the Hilbert Transform
Authors:
Yifei Pan,
Jianfei Wang,
Yu Yan
Abstract:
In this paper the local regularity of the Hilbert transform is considered, and local smoothness and real analyticity results are obtained.
In this paper the local regularity of the Hilbert transform is considered, and local smoothness and real analyticity results are obtained.
△ Less
Submitted 5 January, 2025; v1 submitted 23 August, 2023;
originally announced August 2023.
-
Distributionally Robust Circuit Design Optimization under Variation Shifts
Authors:
Yifan Pan,
Zichang He,
Nanlin Guo,
Zheng Zhang
Abstract:
Due to the significant process variations, designers have to optimize the statistical performance distribution of nano-scale IC design in most cases. This problem has been investigated for decades under the formulation of stochastic optimization, which minimizes the expected value of a performance metric while assuming that the distribution of process variation is exactly given. This paper rethink…
▽ More
Due to the significant process variations, designers have to optimize the statistical performance distribution of nano-scale IC design in most cases. This problem has been investigated for decades under the formulation of stochastic optimization, which minimizes the expected value of a performance metric while assuming that the distribution of process variation is exactly given. This paper rethinks the variation-aware circuit design optimization from a new perspective. First, we discuss the variation shift problem, which means that the actual density function of process variations almost always differs from the given model and is often unknown. Consequently, we propose to formulate the variation-aware circuit design optimization as a distributionally robust optimization problem, which does not require the exact distribution of process variations. By selecting an appropriate uncertainty set for the probability density function of process variations, we solve the shift-aware circuit optimization problem using distributionally robust Bayesian optimization. This method is validated with both a photonic IC and an electronics IC. Our optimized circuits show excellent robustness against variation shifts: the optimized circuit has excellent performance under many possible distributions of process variations that differ from the given statistical model. This work has the potential to enable a new research direction and inspire subsequent research at different levels of the EDA flow under the setting of variation shift.
△ Less
Submitted 15 August, 2023;
originally announced August 2023.
-
Laxity-Aware Scalable Reinforcement Learning for HVAC Control
Authors:
Ruohong Liu,
Yuxin Pan,
Yize Chen
Abstract:
Demand flexibility plays a vital role in maintaining grid balance, reducing peak demand, and saving customers' energy bills. Given their highly shiftable load and significant contribution to a building's energy consumption, Heating, Ventilation, and Air Conditioning (HVAC) systems can provide valuable demand flexibility to the power systems by adjusting their energy consumption in response to elec…
▽ More
Demand flexibility plays a vital role in maintaining grid balance, reducing peak demand, and saving customers' energy bills. Given their highly shiftable load and significant contribution to a building's energy consumption, Heating, Ventilation, and Air Conditioning (HVAC) systems can provide valuable demand flexibility to the power systems by adjusting their energy consumption in response to electricity price and power system needs. To exploit this flexibility in both operation time and power, it is imperative to accurately model and aggregate the load flexibility of a large population of HVAC systems as well as designing effective control algorithms. In this paper, we tackle the curse of dimensionality issue in modeling and control by utilizing the concept of laxity to quantify the emergency level of each HVAC operation request. We further propose a two-level approach to address energy optimization for a large population of HVAC systems. The lower level involves an aggregator to aggregate HVAC load laxity information and use least-laxity-first (LLF) rule to allocate real-time power for individual HVAC systems based on the controller's total power. Due to the complex and uncertain nature of HVAC systems, we leverage a reinforcement learning (RL)-based controller to schedule the total power based on the aggregated laxity information and electricity price. We evaluate the temperature control and energy cost saving performance of a large-scale group of HVAC systems in both single-zone and multi-zone scenarios, under varying climate and electricity market conditions. The experiment results indicate that proposed approach outperforms the centralized methods in the majority of test scenarios, and performs comparably to model-based method in some scenarios.
△ Less
Submitted 28 June, 2023;
originally announced June 2023.
-
A Face-Upwinded Spectral Element Method
Authors:
Yulong Pan,
Per-Olof Persson
Abstract:
We present a new high-order accurate discretisation on unstructured meshes of quadrilateral elements. Our Face Upwinded Spectral Element (FUSE) method uses the same node distribution as a high-order continuous Galerkin (CG) method, but with a particular choice of node locations within each element and an upwinded stencil on the face nodes. This results in a number of benefits, including fewer degr…
▽ More
We present a new high-order accurate discretisation on unstructured meshes of quadrilateral elements. Our Face Upwinded Spectral Element (FUSE) method uses the same node distribution as a high-order continuous Galerkin (CG) method, but with a particular choice of node locations within each element and an upwinded stencil on the face nodes. This results in a number of benefits, including fewer degrees of freedom and straight-forward integration with CG. We present the derivation of the scheme and the analysis of its properties, in particular showing stability using von Neumann analysis. We show numerical evidence for its accuracy and efficiency on multiple classes of problems including convection-dominated flows, Poisson's equation, and the incompressible Navier-Stokes equations.
△ Less
Submitted 24 December, 2023; v1 submitted 9 June, 2023;
originally announced June 2023.
-
The global solution of the minimal surface flow and translating surfaces
Authors:
Li Ma,
Yuxin Pan
Abstract:
In this paper, we study evolved surfaces over convex planar domains which are evolving by the minimal surface flow $$u_{t}= div\left(\frac{Du}{\sqrt{1+|Du|^2}}\right)-H(x,Du).$$ Here, we specify the angle of contact of the evolved surface to the boundary cylinder. The interesting question is to find translating solitons of the form $u(x,t)=ωt+w(x)$ where $ω\in \mathbb R$. Under an angle condition,…
▽ More
In this paper, we study evolved surfaces over convex planar domains which are evolving by the minimal surface flow $$u_{t}= div\left(\frac{Du}{\sqrt{1+|Du|^2}}\right)-H(x,Du).$$ Here, we specify the angle of contact of the evolved surface to the boundary cylinder. The interesting question is to find translating solitons of the form $u(x,t)=ωt+w(x)$ where $ω\in \mathbb R$. Under an angle condition, we can prove the a priori estimate holds true for the translating solitons (i.e., translator), which makes the solitons exist. We can prove for suitable condition on $H(x,p)$ that there is the global solution of the minimal surface flow. Then we show, provided the soliton exists, that the global solutions converge to some translator.
△ Less
Submitted 13 April, 2023;
originally announced April 2023.
-
Fast Approximation of Polynomial Zeros and Matrix Eigenvalues
Authors:
Victor Y. Pan,
Soo Go,
Qi Luan,
Liang Zhao
Abstract:
We approximate the d complex zeros of a univariate polynomial p(x) of a degree d or those zeros that lie in a fixed region of interest on the complex plane such as a disc or a square. Our divide and conquer algorithm of STOC 1995 supports solution of this problem in optimal Boolean time (up to a poly-logarithmic factor), that is, runs nearly as fast as one can access the coefficients of p with the…
▽ More
We approximate the d complex zeros of a univariate polynomial p(x) of a degree d or those zeros that lie in a fixed region of interest on the complex plane such as a disc or a square. Our divide and conquer algorithm of STOC 1995 supports solution of this problem in optimal Boolean time (up to a poly-logarithmic factor), that is, runs nearly as fast as one can access the coefficients of p with the precision necessary to support required accuracy of the output. That record complexity has not been matched by any other algorithm yet, but our root-finder of 1995 is quite involved and has never been implemented. We present alternative nearly optimal root-finders based on our novel variants of the classical subdivision iterations. Unlike our predecessor of 1995, we require randomization of Las Vegas type, allowing us to detect any output error at a dominated computational cost, but our new root-finders are much simpler to implement than their predecessor of 1995. According to the results of extensive test with standard test polynomials for their preliminary version, which incorporates only a part of our novel techniques, the new root-finders compete and for a large class of inputs significantly supersedes the package of root-finding subroutines MPSolve, which for decades has been user's choice package. Unlike our predecessor of 1995 and all known fast algorithms for the cited tasks of polynomial root-finding, our new algorithms can be also applied to a polynomial given by a black box oracle for its evaluation rather than by its coefficients. This makes our root-finders particularly efficient for polynomials p(x) that can be evaluated fast such as the Mandelbrot polynomials or those given by the sum of a small number of shifted monomials. Our algorithm can be readily extended to fast approximation of the eigenvalues of a matrix or a matrix polynomial.
△ Less
Submitted 11 June, 2023; v1 submitted 31 December, 2022;
originally announced January 2023.
-
Distributed State Estimation for Linear Time-invariant Systems with Aperiodic Sampled Measurement
Authors:
Shimin Wang,
Ya-Jun Pan,
Martin Guay
Abstract:
This paper deals with the state estimation of linear time-invariant systems using distributed observers with local sampled-data measurement and aperiodic communication. Each observer agent perceives partial information of the system to be observed but does not satisfy the observability condition. Consequently, distributed observers are designed to exponentially estimate the state of the system to…
▽ More
This paper deals with the state estimation of linear time-invariant systems using distributed observers with local sampled-data measurement and aperiodic communication. Each observer agent perceives partial information of the system to be observed but does not satisfy the observability condition. Consequently, distributed observers are designed to exponentially estimate the state of the system to be observed by time-varying sampling and asynchronous communication. Additionally, explicit upper bounds on allowable sampling periods for convergent estimation errors are given. Finally, a numerical example is provided to demonstrate the validity of the theoretical results
△ Less
Submitted 7 June, 2024; v1 submitted 9 November, 2022;
originally announced November 2022.
-
Construction of Twice Differentiable Functions with Continuous Laplacian and Bounded Hessian
Authors:
Yifei Pan,
Yu Yan
Abstract:
We construct examples of twice differentiable functions in $\mathbb{R}^n$ with continuous Laplacian and bounded Hessian. The same construction is also applicable to higher order differentiability, the Monge-Ampère equation, and mean curvature equation for hypersurfaces.
We construct examples of twice differentiable functions in $\mathbb{R}^n$ with continuous Laplacian and bounded Hessian. The same construction is also applicable to higher order differentiability, the Monge-Ampère equation, and mean curvature equation for hypersurfaces.
△ Less
Submitted 11 September, 2023; v1 submitted 18 October, 2022;
originally announced October 2022.
-
A Sobolev Space Property of Logarithm of Lipschitz functions
Authors:
Yifei Pan
Abstract:
For a Lipschitz function $f$ on an open set in $\mathbb{R}^n$, we consider the $L^{n}$ integrability of the quotient $\frac{|\nabla f|}{|f|}$ over its natural domain of definition.
For a Lipschitz function $f$ on an open set in $\mathbb{R}^n$, we consider the $L^{n}$ integrability of the quotient $\frac{|\nabla f|}{|f|}$ over its natural domain of definition.
△ Less
Submitted 9 October, 2022;
originally announced October 2022.
-
Optimal Sobolev regularity of $\bar\partial$ on the Hartogs triangle
Authors:
Yifei Pan,
Yuan Zhang
Abstract:
In this paper, we show that for each $k\in \mathbb Z^+, p>4$, there exists a solution operator $\mathcal T_k$ to the $\bar\partial$ problem on the Hartogs triangle that maintains the same $W^{k, p}$ regularity as that of the data. According to a Kerzman-type example, this operator provides solutions with the optimal Sobolev regularity.
In this paper, we show that for each $k\in \mathbb Z^+, p>4$, there exists a solution operator $\mathcal T_k$ to the $\bar\partial$ problem on the Hartogs triangle that maintains the same $W^{k, p}$ regularity as that of the data. According to a Kerzman-type example, this operator provides solutions with the optimal Sobolev regularity.
△ Less
Submitted 5 October, 2022;
originally announced October 2022.
-
Weighted Sobolev estimates of the truncated Beurling operator
Authors:
Yifei Pan,
Yuan Zhang
Abstract:
Given a bounded planar domain $D$ with $W^{k+1, \infty}$ boundary, $ k\in \mathbb Z^+$, and a weight $μ\in A_p, 1<p<\infty$, we show that the corresponding truncated Beurling transform is a bounded operator sending $W^{k, p}(D, μ)$ into itself. Weighted Sobolev estimates for other Cauchy-type integrals are also obtained.
Given a bounded planar domain $D$ with $W^{k+1, \infty}$ boundary, $ k\in \mathbb Z^+$, and a weight $μ\in A_p, 1<p<\infty$, we show that the corresponding truncated Beurling transform is a bounded operator sending $W^{k, p}(D, μ)$ into itself. Weighted Sobolev estimates for other Cauchy-type integrals are also obtained.
△ Less
Submitted 5 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.
-
Examples of Twice Differentiable Functions in $\mathbb{R}^n$ with Continuous Laplacian and Unbounded Hessian
Authors:
Yifei Pan,
Yu Yan
Abstract:
We construct examples of twice differentiable functions in $\mathbb{R}^n$ with continuous Laplacian and unbounded Hessian. The same construction is also applicable to higher order differentiability.
We construct examples of twice differentiable functions in $\mathbb{R}^n$ with continuous Laplacian and unbounded Hessian. The same construction is also applicable to higher order differentiability.
△ Less
Submitted 27 August, 2022;
originally announced August 2022.
-
Obstructions to reversing Lagrangian surgery in Lagrangian fillings
Authors:
Orsola Capovilla-Searle,
Noémie Legout,
Maÿlis Limouzineau,
Emmy Murphy,
Yu Pan,
Lisa Traynor
Abstract:
Given an immersed, Maslov-$0$, exact Lagrangian filling of a Legendrian knot, if the filling has a vanishing index and action double point, then through Lagrangian surgery it is possible to obtain a new immersed, Maslov-$0$, exact Lagrangian filling with one less double point and with genus increased by one. We show that it is not always possible to reverse the Lagrangian surgery: not every immers…
▽ More
Given an immersed, Maslov-$0$, exact Lagrangian filling of a Legendrian knot, if the filling has a vanishing index and action double point, then through Lagrangian surgery it is possible to obtain a new immersed, Maslov-$0$, exact Lagrangian filling with one less double point and with genus increased by one. We show that it is not always possible to reverse the Lagrangian surgery: not every immersed, Maslov-$0$, exact Lagrangian filling with genus $g \geq 1$ and $p$ double points can be obtained from such a Lagrangian surgery on a filling of genus $g-1$ with $p+1$ double points. To show this, we establish the connection between the existence of an immersed, Maslov-$0$, exact Lagrangian filling of a Legendrian $Λ$ that has $p$ double points with action $0$ and the existence of an embedded, Maslov-$0$, exact Lagrangian cobordism from $p$ copies of a Hopf link to $Λ$. We then prove that a count of augmentations provides an obstruction to the existence of embedded, Maslov-$0$, exact Lagrangian cobordisms between Legendrian links.
△ Less
Submitted 26 July, 2022;
originally announced July 2022.
-
On local existence of solutions for nonlinear systems of Cauchy-Riemann operator of any order in the plane
Authors:
Yifei Pan
Abstract:
We prove a general local existence theorem for nonlinear systems of Cauchy-Riemann operator of any order in one complex variable with initial values at a given point, which is a counterpart of local existence of ODE.
We prove a general local existence theorem for nonlinear systems of Cauchy-Riemann operator of any order in one complex variable with initial values at a given point, which is a counterpart of local existence of ODE.
△ Less
Submitted 16 June, 2022;
originally announced June 2022.
