-
Metric-Entropy Limits on Nonlinear Dynamical System Learning
Authors:
Yang Pan,
Clemens Hutter,
Helmut Bölcskei
Abstract:
This paper is concerned with the fundamental limits of nonlinear dynamical system learning from input-output traces. Specifically, we show that recurrent neural networks (RNNs) are capable of learning nonlinear systems that satisfy a Lipschitz property and forget past inputs fast enough in a metric-entropy optimal manner. As the sets of sequence-to-sequence maps realized by the dynamical systems w…
▽ More
This paper is concerned with the fundamental limits of nonlinear dynamical system learning from input-output traces. Specifically, we show that recurrent neural networks (RNNs) are capable of learning nonlinear systems that satisfy a Lipschitz property and forget past inputs fast enough in a metric-entropy optimal manner. As the sets of sequence-to-sequence maps realized by the dynamical systems we consider are significantly more massive than function classes generally considered in deep neural network 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-decaying and polynomially-decaying Lipschitz fading-memory systems and show that RNNs can achieve them.
△ Less
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. This is in contrast to more commonly used closed nodes in DG where in each element nodes are placed on every boundary. Half-closed nodes relax this constraint by only requiring nodes on a subset of the boundaries in each element, with this extra freedom in node placement allowing for increased effi…
▽ More
We introduce the concept of half-closed nodes for nodal Discontinuous Galerkin (DG) discretisations. This is in contrast to more commonly used closed nodes in DG where in each element nodes are placed on every boundary. Half-closed nodes relax this constraint by only requiring nodes on a subset of the boundaries in each element, with this extra freedom in node placement allowing for increased efficiency in the assembly of DG operators. To determine which element boundaries half-closed nodes are placed on we outline a simple procedure based on switch functions. We examine the effect on operator sparsity from using the different types of nodes and show that in particular for the Laplace operator there is no difference in the sparsity from using half-closed or closed nodes. 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 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 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:
In this note, 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.
In this note, 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 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. Our algorithm improves on the typicality-based approach used in [T. Chen and Y-C. Cheng, 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) explicitl…
▽ More
We develop randomized matrix-free algorithms for estimating partial traces. Our algorithm improves on the typicality-based approach used in [T. Chen and Y-C. Cheng, 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 for matrices with quickly decaying singular values. We then apply our algorithm to study the thermodynamics of several Heisenberg spin systems, particularly the entanglement spectrum and ergotropy.
△ Less
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 3 December, 2023; 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.
-
New Progress in Classic Area: Polynomial Root-squaring and Root-finding
Authors:
Victor Y. Pan
Abstract:
The DLG root-squaring iterations, due to Dandelin 1826 and rediscovered by Lobachevsky 1834 and Graeffe 1837, have been the main approach to root-finding for a univariate polynomial p(x) in the 19th century and beyond, but not so nowadays because these iterations are prone to severe numerical stability problems. Trying to avoid these problems we have found simple but novel reduction of the iterati…
▽ More
The DLG root-squaring iterations, due to Dandelin 1826 and rediscovered by Lobachevsky 1834 and Graeffe 1837, have been the main approach to root-finding for a univariate polynomial p(x) in the 19th century and beyond, but not so nowadays because these iterations are prone to severe numerical stability problems. Trying to avoid these problems we have found simple but novel reduction of the iterations applied for Newton's inverse ratio -p'(x)/p(x) to approximation of the power sums of the zeros of p(x) and its reverse polynomial. The resulting polynomial root-finders can be devised and performed independently of DLG iterations, based on Newton's identities or Cauchy integrals. In the former case the computation involve a set of leading or tailing coefficients of an input polynomial. In the latter case we must scale the variable and increase the arithmetic computational cost to ensure numerical stability. Nevertheless the cost is still manageable, at least for fast root-refinement, and the algorithms can be applied to a black box polynomial p(x)--given by a black box for the evaluation of the ratio p'(x)/p(x) rather than by its coefficients. This enables important computational benefits, including efficient recursive as well as concurrent approximation of a set of zeros of p(x) or even all of its zeros, acceleration where an input polynomial can be evaluated fast, and extension to approximation of the eigenvalues of a matrix or a polynomial matrix, being efficient if the matrix can be inverted fast, e.g., is data sparse. We also recall our recent fast algorithms for approximation of the root radii, that is, the distances to the roots from the origin or any complex value to the zeros of p(x), and apply it for fast black box initialization of polynomial root-finding by means of functional iterations, e.g., Newton's, Ehrlich's, and Weierstrass's.
△ Less
Submitted 29 June, 2022; v1 submitted 30 May, 2022;
originally announced June 2022.
-
Unique continuation for $\bar\partial$ with square-integrable potentials
Authors:
Yifei Pan,
Yuan Zhang
Abstract:
In this paper, we investigate the unique continuation property for the inequality $|\bar\partial u| \le V|u|$, where $u$ is a vector-valued function from a domain in $\mathbb C^n$ to $\mathbb C^N$, and the potential $V\in L^2$. We show that the strong unique continuation property holds when $n=1$, and the weak unique continuation property holds when $n\ge 2$. In both cases, the $L^2$ integrability…
▽ More
In this paper, we investigate the unique continuation property for the inequality $|\bar\partial u| \le V|u|$, where $u$ is a vector-valued function from a domain in $\mathbb C^n$ to $\mathbb C^N$, and the potential $V\in L^2$. We show that the strong unique continuation property holds when $n=1$, and the weak unique continuation property holds when $n\ge 2$. In both cases, the $L^2$ integrability condition on the potential is optimal.
△ Less
Submitted 8 March, 2022;
originally announced March 2022.
-
Augmented Legendrian cobordism in $J^1S^1$
Authors:
Yu Pan,
Dan Rutherford
Abstract:
We consider Legendrian links and tangles in $J^1S^1$ and $J^1[0,1]$ equipped with Morse complex families over a field $\mathbb{F}$ and classify them up to Legendrian cobordism. When the coefficient field is $\mathbb{F}_2$ this provides a cobordism classification for Legendrians equipped with augmentations of the Legendrian contact homology DG-algebras. A complete set of invariants, for which arbit…
▽ More
We consider Legendrian links and tangles in $J^1S^1$ and $J^1[0,1]$ equipped with Morse complex families over a field $\mathbb{F}$ and classify them up to Legendrian cobordism. When the coefficient field is $\mathbb{F}_2$ this provides a cobordism classification for Legendrians equipped with augmentations of the Legendrian contact homology DG-algebras. A complete set of invariants, for which arbitrary values may be obtained, is provided by the fiber cohomology, a graded monodromy matrix, and a mod $2$ spin number. We apply the classification to construct augmented Legendrian surfaces in $J^1M$ with $\dim M = 2$ realizing any prescribed monodromy representation, $Φ:π_1(M,x_0) \rightarrow \mathit{GL}(\mathbf{n}, \mathbb{F})$.
△ Less
Submitted 22 November, 2021; v1 submitted 19 November, 2021;
originally announced November 2021.
-
Energy transfer for solutions to the nonlinear Schrödinger equation on irrational tori
Authors:
Alexander Hrabski,
Yulin Pan,
Gigliola Staffilani,
Bobby Wilson
Abstract:
We analyze the energy transfer for solutions to the defocusing cubic nonlinear Schrödinger (NLS) initial value problem on 2D irrational tori. Moreover we complement the analytic study with numerical experimentation. As a biproduct of our investigation we also prove that the quasi-resonant part of the NLS initial value problem we consider, in both the focusing and defocusing case, is globally well-…
▽ More
We analyze the energy transfer for solutions to the defocusing cubic nonlinear Schrödinger (NLS) initial value problem on 2D irrational tori. Moreover we complement the analytic study with numerical experimentation. As a biproduct of our investigation we also prove that the quasi-resonant part of the NLS initial value problem we consider, in both the focusing and defocusing case, is globally well-posed for initial data of finite mass.
△ Less
Submitted 21 February, 2024; v1 submitted 3 July, 2021;
originally announced July 2021.
-
$L^2$ estimate for polynomials of the Laplace operator with Gaussian measure
Authors:
Shaoyu Dai,
Yang Liu,
Yifei Pan
Abstract:
Let $P(Δ)$ be a polynomial of the Laplace operator $Δ=\sum_{j=1}^n\frac{\partial^2}{\partial x^2_j}$ on $\mathbb{R}^n$. We prove
the existence of weak solutions of the equation $P(Δ)u=f$ and the existence of a bounded right inverse of the differential operator $P(Δ)$ in the weighted Hilbert space with Gaussian measure, i.e., $L^2(\mathbb{R}^n,e^{-|x|^2})$.
Let $P(Δ)$ be a polynomial of the Laplace operator $Δ=\sum_{j=1}^n\frac{\partial^2}{\partial x^2_j}$ on $\mathbb{R}^n$. We prove
the existence of weak solutions of the equation $P(Δ)u=f$ and the existence of a bounded right inverse of the differential operator $P(Δ)$ in the weighted Hilbert space with Gaussian measure, i.e., $L^2(\mathbb{R}^n,e^{-|x|^2})$.
△ Less
Submitted 26 May, 2021;
originally announced June 2021.
-
Convergence and Complexity of an Adaptive Planewave Method for Eigenvalue Computations
Authors:
Xiaoying Dai,
Yan Pan,
Bin Yang,
Aihui Zhou
Abstract:
In this paper, we study the adaptive planewave discretization for a cluster of eigenvalues of second-order elliptic partial differential equations. We first design an a posteriori error estimator and prove both the upper and lower bounds. Based on the a posteriori error estimator, we propose an adaptive planewave method. We then prove that the adaptive planewave approximations have the linear conv…
▽ More
In this paper, we study the adaptive planewave discretization for a cluster of eigenvalues of second-order elliptic partial differential equations. We first design an a posteriori error estimator and prove both the upper and lower bounds. Based on the a posteriori error estimator, we propose an adaptive planewave method. We then prove that the adaptive planewave approximations have the linear convergence rate and quasi-optimal complexity.
△ Less
Submitted 27 October, 2022; v1 submitted 2 June, 2021;
originally announced June 2021.
-
High-order accurate finite difference discretisations on fully unstructured dual quadrilateral meshes
Authors:
Yulong Pan,
Per-Olof Persson
Abstract:
We present a novel approach for high-order accurate numerical differentiation on unstructured meshes of quadrilateral elements. To differentiate a given function, an auxiliary function with greater smoothness properties is defined which when differentiated provides the derivatives of the original function. The method generalises traditional finite difference methods to meshes of arbitrary topology…
▽ More
We present a novel approach for high-order accurate numerical differentiation on unstructured meshes of quadrilateral elements. To differentiate a given function, an auxiliary function with greater smoothness properties is defined which when differentiated provides the derivatives of the original function. The method generalises traditional finite difference methods to meshes of arbitrary topology in any number of dimensions for any order of derivative and accuracy. We demonstrate the accuracy of the numerical scheme using dual quadrilateral meshes and a refinement method based on subdivision surfaces. The scheme is applied to the solution of a range of partial differential equations, including both linear and nonlinear, second and fourth order equations, and a time-dependent first order equation.
△ Less
Submitted 7 April, 2022; v1 submitted 26 April, 2021;
originally announced April 2021.
-
A High-fidelity, Machine-learning Enhanced Queueing Network Simulation Model for Hospital Ultrasound Operations
Authors:
Yihan Pan,
Zhenghang Xu,
** Guang,
**g**g Sun,
Chengwenjian Wang,
Xuanming Zhang,
Xinyun Chen,
J. G. Dai,
Yichuan Ding,
Pengyi Shi,
Hongxin Pan,
Kai Yang,
Song Wu
Abstract:
We collaborate with a large teaching hospital in Shenzhen, China and build a high-fidelity simulation model for its ultrasound center to predict key performance metrics, including the distributions of queue length, waiting time and sojourn time, with high accuracy. The key challenge to build an accurate simulation model is to understanding the complicated patient routing at the ultrasound center.…
▽ More
We collaborate with a large teaching hospital in Shenzhen, China and build a high-fidelity simulation model for its ultrasound center to predict key performance metrics, including the distributions of queue length, waiting time and sojourn time, with high accuracy. The key challenge to build an accurate simulation model is to understanding the complicated patient routing at the ultrasound center. To address the issue, we propose a novel two-level routing component to the queueing network model. We apply machine learning tools to calibrate the key components of the queueing model from data with enhanced accuracy.
△ Less
Submitted 12 April, 2021;
originally announced April 2021.
-
Constructions of Lagrangian cobordisms
Authors:
Sarah Blackwell,
Noémie Legout,
Caitlin Leverson,
Maÿlis Limouzineau,
Ziva Myer,
Yu Pan,
Samantha Pezzimenti,
Lara Simone Suárez,
Lisa Traynor
Abstract:
Lagrangian cobordisms between Legendrian knots arise in Symplectic Field Theory and impose an interesting and not well-understood relation on Legendrian knots. There are some known "elementary" building blocks for Lagrangian cobordisms that are smoothly the attachment of $0$- and $1$-handles. An important question is whether every pair of non-empty Legendrians that are related by a connected Lagra…
▽ More
Lagrangian cobordisms between Legendrian knots arise in Symplectic Field Theory and impose an interesting and not well-understood relation on Legendrian knots. There are some known "elementary" building blocks for Lagrangian cobordisms that are smoothly the attachment of $0$- and $1$-handles. An important question is whether every pair of non-empty Legendrians that are related by a connected Lagrangian cobordism can be related by a ribbon Lagrangian cobordism, in particular one that is "decomposable" into a composition of these elementary building blocks. We will describe these and other combinatorial building blocks as well as some geometric methods, involving the theory of satellites, to construct Lagrangian cobordisms. We will then survey some known results, derived through Heegaard Floer Homology and contact surgery, that may provide a pathway to proving the existence of nondecomposable (nonribbon) Lagrangian cobordisms.
△ Less
Submitted 31 December, 2020;
originally announced January 2021.
-
Agglomeration-Based Geometric Multigrid Solvers for Compact Discontinuous Galerkin Discretizations on Unstructured Meshes
Authors:
Yulong Pan,
Per-Olof Persson
Abstract:
We present a geometric multigrid solver for the Compact Discontinuous Galerkin method through building a hierarchy of coarser meshes using a simple agglomeration method which handles arbitrary element shapes and dimensions. The method is easily extendable to other discontinuous Galerkin discretizations, including the Local DG method and the Interior Penalty method. We demonstrate excellent solver…
▽ More
We present a geometric multigrid solver for the Compact Discontinuous Galerkin method through building a hierarchy of coarser meshes using a simple agglomeration method which handles arbitrary element shapes and dimensions. The method is easily extendable to other discontinuous Galerkin discretizations, including the Local DG method and the Interior Penalty method. We demonstrate excellent solver performance for Poisson's equation, provided a flux formulation is used for the operator coarsening and a suitable switch function chosen for the numerical fluxes.
△ Less
Submitted 7 April, 2022; v1 submitted 14 December, 2020;
originally announced December 2020.
-
A remark on optimal data spaces for classical solutions of $\bar\partial$
Authors:
Martino Fassina,
Yifei Pan,
Yuan Zhang
Abstract:
We study the minimal regularity required on the datum to guarantee the existence of classical $C^1$ solutions to the inhomogeneous Cauchy-Riemann equations on planar domains.
We study the minimal regularity required on the datum to guarantee the existence of classical $C^1$ solutions to the inhomogeneous Cauchy-Riemann equations on planar domains.
△ Less
Submitted 27 October, 2020;
originally announced October 2020.
-
Signless Laplacian spectral radius and matching in graphs
Authors:
Chang Liu,
Yingui Pan,
Jian** Li
Abstract:
The signless Laplacian matrix of a graph $G$ is given by $Q(G)=D(G)+A(G)$, where $D(G)$ is a diagonal matrix of vertex degrees and $A(G)$ is the adjacency matrix. The largest eigenvalue of $Q(G)$ is called the signless Laplacian spectral radius, denoted by $q_1=q_1(G)$. In this paper, some properties between the signless Laplacian spectral radius and perfect matching in graphs are establish. Let…
▽ More
The signless Laplacian matrix of a graph $G$ is given by $Q(G)=D(G)+A(G)$, where $D(G)$ is a diagonal matrix of vertex degrees and $A(G)$ is the adjacency matrix. The largest eigenvalue of $Q(G)$ is called the signless Laplacian spectral radius, denoted by $q_1=q_1(G)$. In this paper, some properties between the signless Laplacian spectral radius and perfect matching in graphs are establish. Let $r(n)$ be the largest root of equation $x^3-(3n-7)x^2+n(2n-7)x-2(n^2-7n+12)=0$. We show that $G$ has a perfect matching for $n=4$ or $n\geq10$, if $q_1(G)>r(n)$, and for $n=6$ or $n=8$, if $q_1(G)>4+2\sqrt{3}$ or $q_1(G)>6+2\sqrt{6}$ respectively, where $n$ is a positive even integer number. Moreover, there exists graphs $K_{n-3}\vee K_1 \vee \overline{K_2}$ such that $q_1(K_{n-3}\vee K_1 \vee \overline{K_2})=r(n)$ if $n\geq4$, a graph $K_2\vee\overline{K_4}$ such that $q_1(K_2\vee\overline{K_4})=4+2\sqrt{3}$ and a graph $K_3\vee\overline{K_5}$ such that $q_1(K_3\vee\overline{K_5})=6+2\sqrt{6}$. These graphs all have no prefect matching.
△ Less
Submitted 10 November, 2021; v1 submitted 8 July, 2020;
originally announced July 2020.
-
Augmentations and immersed Lagrangian fillings
Authors:
Yu Pan,
Dan Rutherford
Abstract:
For a Legendrian link $Λ\subset J^1M$ with $M = \mathbb{R}$ or $S^1$, immersed exact Lagrangian fillings $L \subset \mbox{Symp}(J^1M) \cong T^*(\mathbb{R}_{>0} \times M)$ of $Λ$ can be lifted to conical Legendrian fillings $Σ\subset J^1(\mathbb{R}_{>0} \times M)$ of $Λ$. When $Σ$ is embedded, using the version of functoriality for Legendrian contact homology (LCH) from [30], for each augmentation…
▽ More
For a Legendrian link $Λ\subset J^1M$ with $M = \mathbb{R}$ or $S^1$, immersed exact Lagrangian fillings $L \subset \mbox{Symp}(J^1M) \cong T^*(\mathbb{R}_{>0} \times M)$ of $Λ$ can be lifted to conical Legendrian fillings $Σ\subset J^1(\mathbb{R}_{>0} \times M)$ of $Λ$. When $Σ$ is embedded, using the version of functoriality for Legendrian contact homology (LCH) from [30], for each augmentation $α: \mathcal{A}(Σ) \rightarrow \mathbb{Z}/2$ of the LCH algebra of $Σ$, there is an induced augmentation $ε_{(Σ,α)}: \mathcal{A}(Λ) \rightarrow \mathbb{Z}/2$. With $Σ$ fixed, the set of homotopy classes of all such induced augmentations, $I_Σ\subset \mathit{Aug}(Λ)/{\sim}$, is a Legendrian isotopy invariant of $Σ$. We establish methods to compute $I_Σ$ based on the correspondence between Morse complex families and augmentations. This includes develo** a functoriality for the cellular DGA from [31] with respect to Legendrian cobordisms, and proving its equivalence to the functoriality for LCH. For arbitrary $n \geq 1$, we give examples of Legendrian torus knots with $2n$ distinct conical Legendrian fillings distinguished by their induced augmentation sets.
We prove that when $ρ\neq 1$ and $Λ\subset J^1\mathbb{R}$ every $ρ$-graded augmentation of $Λ$ can be induced in this manner by an immersed Lagrangian filling. Alternatively, this is viewed as a computation of cobordism classes for an appropriate notion of $ρ$-graded augmented Legendrian cobordism.
△ Less
Submitted 20 January, 2023; v1 submitted 29 June, 2020;
originally announced June 2020.
-
Uniform estimates for the canonical solution to the $\bar\partial$-equation on product domains
Authors:
Robert Xin Dong,
Yifei Pan,
Yuan Zhang
Abstract:
We obtain uniform estimates for the canonical solution to $\bar\partial u=f$ on the Cartesian product of smoothly bounded planar domains, when $f$ is continuous up to the boundary. This generalizes Landucci's result for the bidisc toward higher dimensional product domains.
We obtain uniform estimates for the canonical solution to $\bar\partial u=f$ on the Cartesian product of smoothly bounded planar domains, when $f$ is continuous up to the boundary. This generalizes Landucci's result for the bidisc toward higher dimensional product domains.
△ Less
Submitted 25 June, 2020;
originally announced June 2020.
-
On the ideal shortest vector problem over random rational primes
Authors:
Yanbin Pan,
Jun Xu,
Nick Wadleigh,
Qi Cheng
Abstract:
Any ideal in a number field can be factored into a product of prime ideals. In this paper we study the prime ideal shortest vector problem (SVP) in the ring $ \Z[x]/(x^{2^n} + 1) $, a popular choice in the design of ideal lattice based cryptosystems. We show that a majority of rational primes lie under prime ideals admitting a polynomial time algorithm for SVP. Although the shortest vector problem…
▽ More
Any ideal in a number field can be factored into a product of prime ideals. In this paper we study the prime ideal shortest vector problem (SVP) in the ring $ \Z[x]/(x^{2^n} + 1) $, a popular choice in the design of ideal lattice based cryptosystems. We show that a majority of rational primes lie under prime ideals admitting a polynomial time algorithm for SVP. Although the shortest vector problem of ideal lattices underpins the security of Ring-LWE cryptosystem, this work does not break Ring-LWE, since the security reduction is from the worst case ideal SVP to the average case Ring-LWE, and it is one-way.
△ Less
Submitted 2 March, 2021; v1 submitted 21 April, 2020;
originally announced April 2020.
-
On a population model in discrete periodic habitat. I. spreading speed and optimal dispersal strategy
Authors:
Thazin Aye,
Jian Fang,
Yingli Pan
Abstract:
Starting from an age-structured diffusive population growth law for single species in a discrete and periodic habitat, we formulate a stage structured population model with spatially periodic dispersal, mortality and recruitment. With a KPP type setting, after establishing the fundamental solution of a discretized heat equation with spatially periodic dispersal, we apply some recently developed dy…
▽ More
Starting from an age-structured diffusive population growth law for single species in a discrete and periodic habitat, we formulate a stage structured population model with spatially periodic dispersal, mortality and recruitment. With a KPP type setting, after establishing the fundamental solution of a discretized heat equation with spatially periodic dispersal, we apply some recently developed dynamical system theories to obtain the existence of the spreading speed and its coincidence with the minimal speed of pulsating waves, as well as the variational characterization of the speed, by which we further analyze how the habitat periodicity influences the speed. In particular, there is a unique optimal dispersal strategy to maximize the speed.
△ Less
Submitted 11 March, 2020;
originally announced March 2020.
-
$L^2$ estimates of Poincaré-Lelong equations on convex domains in $\mathbb{C}^n$
Authors:
Shaoyu Dai,
Yang Liu,
Yifei Pan
Abstract:
In this paper, we prove the existence of solutions of the Poincaré-Lelong equation $\sqrt{-1}\partial\bar{\partial}u=f$ on a strictly convex bounded domain $Ω\subset\mathbb{C}^n$ $(n\geq1)$, where $f$ is a $d$-closed $(1,1)$ form and is in the weighted Hilbert space $L^2_{(1,1)}(Ω,e^{-\varphi})$. The novelty of this paper is to apply a weighted $L^2$ version of Poincaré Lemma for real $2$-forms, a…
▽ More
In this paper, we prove the existence of solutions of the Poincaré-Lelong equation $\sqrt{-1}\partial\bar{\partial}u=f$ on a strictly convex bounded domain $Ω\subset\mathbb{C}^n$ $(n\geq1)$, where $f$ is a $d$-closed $(1,1)$ form and is in the weighted Hilbert space $L^2_{(1,1)}(Ω,e^{-\varphi})$. The novelty of this paper is to apply a weighted $L^2$ version of Poincaré Lemma for real $2$-forms, and then apply Hörmander's $L^2$ solutions for Cauchy-Riemann equations.
△ Less
Submitted 18 January, 2020;
originally announced January 2020.
-
Cauchy singular integral operator with parameters in Log-Hölder spaces
Authors:
Yifei Pan,
Yuan Zhang
Abstract:
This paper is motivated by a claim in the classical textbook of Muskhelishvili concerning the Cauchy singular integral operator $S$ on Hölder functions with parameters. To the contrary of the claim, a counter example was constructed by Tumanov which shows that $S$ with parameters fails to maintain the same Hölder regularity with respect to the parameters. In view of the example, the behavior of th…
▽ More
This paper is motivated by a claim in the classical textbook of Muskhelishvili concerning the Cauchy singular integral operator $S$ on Hölder functions with parameters. To the contrary of the claim, a counter example was constructed by Tumanov which shows that $S$ with parameters fails to maintain the same Hölder regularity with respect to the parameters. In view of the example, the behavior of the Cauchy singular integral operator with parameters between a type of Log-Hölder spaces is investigated to obtain the sharp norm estimates. At the end of the paper, we discuss its application to the $\bar\partial$ problem on product domains.
△ Less
Submitted 11 January, 2020;
originally announced January 2020.
-
Hölder estimates for the $\bar\partial$ problem for $(p,q)$ forms on product domains
Authors:
Yifei Pan,
Yuan Zhang
Abstract:
The purpose of this paper is to study Hölder estimates for the $\bar\partial$ problem for $(p,q)$ forms on products of general planar domains. As indicated by an example of Stein and Kerzman, solutions to the $\bar\partial$ problem on product domains in $\mathbb C^n (n\ge 2)$ does not gain regularity in Hölder spaces. Making use of an integral representation of Nijenhuis and Woolf, we show that gi…
▽ More
The purpose of this paper is to study Hölder estimates for the $\bar\partial$ problem for $(p,q)$ forms on products of general planar domains. As indicated by an example of Stein and Kerzman, solutions to the $\bar\partial$ problem on product domains in $\mathbb C^n (n\ge 2)$ does not gain regularity in Hölder spaces. Making use of an integral representation of Nijenhuis and Woolf, we show that given a $\bar\partial$-closed $(p,q)$ form with $C^{k,α}$ components, $0\le p\le n, 1\le q\le n$, $k\in \mathbb Z^+\cup \{0\}, 0<α\le 1$, there is a $C^{k, α'}$ solution to the $\bar\partial$ problem on product domains for any $0<α'<α$ with the desired Hölder estimate.
△ Less
Submitted 24 January, 2021; v1 submitted 11 January, 2020;
originally announced January 2020.
-
On Kronecker's Solvability Theorem
Authors:
Yan Pan,
Yuzhen Chen
Abstract:
Kronecker's 1856 paper contains a solvability theorem that is useful to construct unsolvable algebraic equations. We show how Kronecker's solvability theorem can be derived naturally via a polynomial complete decomposition method. This method is similar to Dörrie, but we fill a gap that appears in his proof.
Kronecker's 1856 paper contains a solvability theorem that is useful to construct unsolvable algebraic equations. We show how Kronecker's solvability theorem can be derived naturally via a polynomial complete decomposition method. This method is similar to Dörrie, but we fill a gap that appears in his proof.
△ Less
Submitted 24 September, 2020; v1 submitted 16 December, 2019;
originally announced December 2019.
-
Deformation quantizations from vertex operator algebras
Authors:
Yiwen Pan,
Wolfger Peelaers
Abstract:
In this note we address the question whether one can recover from the vertex operator algebra associated with a four-dimensional N=2 superconformal field theory the deformation quantization of the Higgs branch of vacua that appears as a protected subsector in the three-dimensional circle-reduced theory. We answer this question positively if the UV R-symmetries do not mix with accidental (topologic…
▽ More
In this note we address the question whether one can recover from the vertex operator algebra associated with a four-dimensional N=2 superconformal field theory the deformation quantization of the Higgs branch of vacua that appears as a protected subsector in the three-dimensional circle-reduced theory. We answer this question positively if the UV R-symmetries do not mix with accidental (topological) symmetries along the renormalization group flow from the four-dimensional theory on a circle to the three-dimensional theory. If they do mix, we still find a deformation quantization but at different values of its period.
△ Less
Submitted 9 July, 2020; v1 submitted 21 November, 2019;
originally announced November 2019.
-
New practical advances in polynomial root clustering
Authors:
Rémi Imbach,
Victor Y. Pan
Abstract:
We report an ongoing work on clustering algorithms for complex roots of a univariate polynomial $p$ of degree $d$ with real or complex coefficients. As in their previous best subdivision algorithms our root-finders are robust even for multiple roots of a polynomial given by a black box for the approximation of its coefficients, and their complexity decreases at least proportionally to the number o…
▽ More
We report an ongoing work on clustering algorithms for complex roots of a univariate polynomial $p$ of degree $d$ with real or complex coefficients. As in their previous best subdivision algorithms our root-finders are robust even for multiple roots of a polynomial given by a black box for the approximation of its coefficients, and their complexity decreases at least proportionally to the number of roots in a region of interest (ROI) on the complex plane, such as a disc or a square, but we greatly strengthen the main ingredient of the previous algorithms. Namely our new counting test essentially amounts to the evaluation of a polynomial $p$ and its derivative $p'$, which is a major benefit, e.g., for sparse polynomials $p$. Moreover with evaluation at about $\log(d)$ points (versus the previous record of order $d$) we output correct number of roots in a disc whose contour has no roots of $p$ nearby. Moreover we greatly soften the latter requirement versus the known subdivision algorithms. Our second and less significant contribution concerns subdivision algorithms for polynomials with real coefficients. Our tests demonstrate the power of the proposed algorithms.
△ Less
Submitted 15 November, 2019;
originally announced November 2019.