-
On the Continuity of Schur-Horn Map**
Authors:
Hengzhun Chen,
Yingzhou Li
Abstract:
The Schur-Horn theorem is a well-known result that characterizes the relationship between the diagonal elements and eigenvalues of a symmetric (Hermitian) matrix. In this paper, we extend this theorem by exploring the eigenvalue perturbation of a symmetric (Hermitian) matrix with fixed diagonals, which is referred to as the continuity of the Schur-Horn map**. We introduce a concept called strong…
▽ More
The Schur-Horn theorem is a well-known result that characterizes the relationship between the diagonal elements and eigenvalues of a symmetric (Hermitian) matrix. In this paper, we extend this theorem by exploring the eigenvalue perturbation of a symmetric (Hermitian) matrix with fixed diagonals, which is referred to as the continuity of the Schur-Horn map**. We introduce a concept called strong Schur-Horn continuity, characterized by minimal constraints on the perturbation. We demonstrate that several categories of matrices exhibit strong Schur-Horn continuity. Leveraging this notion, along with a majorization constraint on the perturbation, we prove the Schur-Horn continuity for general symmetric (Hermitian) matrices. The Schur-Horn continuity finds applications in oblique manifold optimization related to quantum computing.
△ Less
Submitted 30 June, 2024;
originally announced July 2024.
-
Poisson kernel and blow-up of the second derivatives near the boundary for Stokes equations with Navier boundary condition
Authors:
Hui Chen,
Su Liang,
Tai-Peng Tsai
Abstract:
We derive the explicit Poisson kernel of Stokes equations in the half space with nonhomogeneous Navier boundary condition (BC) for both infinite and finite slip length. By using this kernel, for any $q>1$, we construct a finite energy solution of Stokes equations with Navier BC in the half space, with bounded velocity and velocity gradient, but having unbounded second derivatives in $L^q$ locally…
▽ More
We derive the explicit Poisson kernel of Stokes equations in the half space with nonhomogeneous Navier boundary condition (BC) for both infinite and finite slip length. By using this kernel, for any $q>1$, we construct a finite energy solution of Stokes equations with Navier BC in the half space, with bounded velocity and velocity gradient, but having unbounded second derivatives in $L^q$ locally near the boundary. While the Caccioppoli type inequality of Stokes equations with Navier BC is true for the first derivatives of velocity, which is proved by us in [CPAA 2023], this example shows that the corresponding inequality for the second derivatives of the velocity is not true. Moreover, we give an alternative proof of the blow-up using a shear flow example, which is simple and is the solution of both Stokes and Navier--Stokes equations.
△ Less
Submitted 22 June, 2024;
originally announced June 2024.
-
m-weak group inverse in a ring with proper involution
Authors:
Huanyin Chen
Abstract:
The m-weak group inverse was recently studied in the literature. The purpose of this paper is to investigate new properties of this generalized inverse for ring elements. We introduce the m-weak group decomposition for a ring element and prove that it coincides with its m-weak group invertibility. We present the equivalent characterization of the m-weak group inverse by using a polar-like property…
▽ More
The m-weak group inverse was recently studied in the literature. The purpose of this paper is to investigate new properties of this generalized inverse for ring elements. We introduce the m-weak group decomposition for a ring element and prove that it coincides with its m-weak group invertibility. We present the equivalent characterization of the m-weak group inverse by using a polar-like property. The relations between m-weak group inverse and core-EP inverse are also established. These give some new properties of the weak group inverse for complex matrices and ring elements.
△ Less
Submitted 22 June, 2024;
originally announced June 2024.
-
The Onsager principle and physics preserving numerical schemes
Authors:
Huangxin Chen,
Hailiang Liu,
Xianmin Xu
Abstract:
We present a natural framework for constructing energy-stable time discretization schemes. By leveraging the Onsager principle, we demonstrate its efficacy in formulating partial differential equation models for diverse gradient flow systems. Furthermore, this principle provides a robust basis for develo** numerical schemes that uphold crucial physical properties. Within this framework, several…
▽ More
We present a natural framework for constructing energy-stable time discretization schemes. By leveraging the Onsager principle, we demonstrate its efficacy in formulating partial differential equation models for diverse gradient flow systems. Furthermore, this principle provides a robust basis for develo** numerical schemes that uphold crucial physical properties. Within this framework, several widely used schemes emerge naturally, showing its versatility and applicability.
△ Less
Submitted 18 June, 2024;
originally announced June 2024.
-
On regularity of a Kinetic Boundary layer
Authors:
Hongxu Chen
Abstract:
We study the nonlinear steady Boltzmann equation in the half space, with phase transition and Dirichlet boundary condition. In particular, we study the regularity of the solution to the half-space problem in the situation that the gas is in contact with its condensed phase. We propose a novel kinetic weight and establish a weighted $C^1$ estimate under the spatial domain $x\in [0,\infty)$, which i…
▽ More
We study the nonlinear steady Boltzmann equation in the half space, with phase transition and Dirichlet boundary condition. In particular, we study the regularity of the solution to the half-space problem in the situation that the gas is in contact with its condensed phase. We propose a novel kinetic weight and establish a weighted $C^1$ estimate under the spatial domain $x\in [0,\infty)$, which is unbounded and not strictly convex. Additionally, we prove the $W^{1,p}$ estimate without any weight for $p<2$.
△ Less
Submitted 10 June, 2024;
originally announced June 2024.
-
Stabler Neo-Hookean Simulation: Absolute Eigenvalue Filtering for Projected Newton
Authors:
Honglin Chen,
Hsueh-Ti Derek Liu,
David I. W. Levin,
Changxi Zheng,
Alec Jacobson
Abstract:
Volume-preserving hyperelastic materials are widely used to model near-incompressible materials such as rubber and soft tissues. However, the numerical simulation of volume-preserving hyperelastic materials is notoriously challenging within this regime due to the non-convexity of the energy function. In this work, we identify the pitfalls of the popular eigenvalue clam** strategy for projecting…
▽ More
Volume-preserving hyperelastic materials are widely used to model near-incompressible materials such as rubber and soft tissues. However, the numerical simulation of volume-preserving hyperelastic materials is notoriously challenging within this regime due to the non-convexity of the energy function. In this work, we identify the pitfalls of the popular eigenvalue clam** strategy for projecting Hessian matrices to positive semi-definiteness during Newton's method. We introduce a novel eigenvalue filtering strategy for projected Newton's method to stabilize the optimization of Neo-Hookean energy and other volume-preserving variants under high Poisson's ratio (near 0.5) and large initial volume change. Our method only requires a single line of code change in the existing projected Newton framework, while achieving significant improvement in both stability and convergence speed. We demonstrate the effectiveness and efficiency of our eigenvalue projection scheme on a variety of challenging examples and over different deformations on a large dataset.
△ Less
Submitted 21 June, 2024; v1 submitted 9 June, 2024;
originally announced June 2024.
-
Noisy Data Visualization using Functional Data Analysis
Authors:
Haozhe Chen,
Andres Felipe Duque Correa,
Guy Wolf,
Kevin R. Moon
Abstract:
Data visualization via dimensionality reduction is an important tool in exploratory data analysis. However, when the data are noisy, many existing methods fail to capture the underlying structure of the data. The method called Empirical Intrinsic Geometry (EIG) was previously proposed for performing dimensionality reduction on high dimensional dynamical processes while theoretically eliminating al…
▽ More
Data visualization via dimensionality reduction is an important tool in exploratory data analysis. However, when the data are noisy, many existing methods fail to capture the underlying structure of the data. The method called Empirical Intrinsic Geometry (EIG) was previously proposed for performing dimensionality reduction on high dimensional dynamical processes while theoretically eliminating all noise. However, implementing EIG in practice requires the construction of high-dimensional histograms, which suffer from the curse of dimensionality. Here we propose a new data visualization method called Functional Information Geometry (FIG) for dynamical processes that adapts the EIG framework while using approaches from functional data analysis to mitigate the curse of dimensionality. We experimentally demonstrate that the resulting method outperforms a variant of EIG designed for visualization in terms of capturing the true structure, hyperparameter robustness, and computational speed. We then use our method to visualize EEG brain measurements of sleep activity.
△ Less
Submitted 5 June, 2024;
originally announced June 2024.
-
On the structure of Kauffman bracket skein algebra of a surface
Authors:
Haimiao Chen
Abstract:
Suppose $R$ is a commutative ring with identity and a fixed invertible element $q^{\frac{1}{2}}$ such that $q+q^{-1}$ is invertible.
For an oriented surface $Σ$, let $\mathcal{S}(Σ;R)$ denote the Kauffman bracket skein algebra of $Σ$ over $R$. It is shown that to each embedded graph $G\subsetΣ$ satisfying that $Σ\setminus G$ is homeomorphic to a disk and some other mild conditions, one can assoc…
▽ More
Suppose $R$ is a commutative ring with identity and a fixed invertible element $q^{\frac{1}{2}}$ such that $q+q^{-1}$ is invertible.
For an oriented surface $Σ$, let $\mathcal{S}(Σ;R)$ denote the Kauffman bracket skein algebra of $Σ$ over $R$. It is shown that to each embedded graph $G\subsetΣ$ satisfying that $Σ\setminus G$ is homeomorphic to a disk and some other mild conditions, one can associate a generating set for $\mathcal{S}(Σ;R)$, and the ideal of defining relations is generated by relations of degree at most $6$ supported by certain small subsurfaces.
△ Less
Submitted 4 June, 2024;
originally announced June 2024.
-
A bijection related to Bressoud's conjecture
Authors:
Y. H. Chen,
Thomas Y. He
Abstract:
Bressoud introduced the partition function $B(α_1,\ldots,α_λ;η,k,r;n)$, which counts the number of partitions with certain difference conditions. Bressoud posed a conjecture on the generating function for the partition function $B(α_1,\ldots,α_λ;η,k,r;n)$ in multi-summation form. In this article, we introduce a bijection related to Bressoud's conjecture. As an application, we give a new companion…
▽ More
Bressoud introduced the partition function $B(α_1,\ldots,α_λ;η,k,r;n)$, which counts the number of partitions with certain difference conditions. Bressoud posed a conjecture on the generating function for the partition function $B(α_1,\ldots,α_λ;η,k,r;n)$ in multi-summation form. In this article, we introduce a bijection related to Bressoud's conjecture. As an application, we give a new companion to the Göllnitz-Gordon identities.
△ Less
Submitted 30 May, 2024;
originally announced May 2024.
-
Accelerating Diffusion Models with Parallel Sampling: Inference at Sub-Linear Time Complexity
Authors:
Haoxuan Chen,
Yinuo Ren,
Lexing Ying,
Grant M. Rotskoff
Abstract:
Diffusion models have become a leading method for generative modeling of both image and scientific data. As these models are costly to train and evaluate, reducing the inference cost for diffusion models remains a major goal. Inspired by the recent empirical success in accelerating diffusion models via the parallel sampling technique~\cite{shih2024parallel}, we propose to divide the sampling proce…
▽ More
Diffusion models have become a leading method for generative modeling of both image and scientific data. As these models are costly to train and evaluate, reducing the inference cost for diffusion models remains a major goal. Inspired by the recent empirical success in accelerating diffusion models via the parallel sampling technique~\cite{shih2024parallel}, we propose to divide the sampling process into $\mathcal{O}(1)$ blocks with parallelizable Picard iterations within each block. Rigorous theoretical analysis reveals that our algorithm achieves $\widetilde{\mathcal{O}}(\mathrm{poly} \log d)$ overall time complexity, marking the first implementation with provable sub-linear complexity w.r.t. the data dimension $d$. Our analysis is based on a generalized version of Girsanov's theorem and is compatible with both the SDE and probability flow ODE implementations. Our results shed light on the potential of fast and efficient sampling of high-dimensional data on fast-evolving modern large-memory GPU clusters.
△ Less
Submitted 24 May, 2024;
originally announced May 2024.
-
On the index of minimal hypersurfaces in $\mathbb{S}^{n+1}$ with $λ_1<n$
Authors:
Hang Chen,
Peng Wang
Abstract:
In this paper, we prove that a closed minimal hypersurface in $\SSS$ with $λ_1<n$ has Morse index at least $n+4$, providing a partial answer to a conjecture of Perdomo. As a corollary, we re-obtain a partial proof of the famous Urbano Theorem for minimal tori in $\mathbb{S}^3$: a minimal torus in $\mathbb{S}^3$ has Morse index at least $5$, with equality holding if and only if it is congruent to t…
▽ More
In this paper, we prove that a closed minimal hypersurface in $\SSS$ with $λ_1<n$ has Morse index at least $n+4$, providing a partial answer to a conjecture of Perdomo. As a corollary, we re-obtain a partial proof of the famous Urbano Theorem for minimal tori in $\mathbb{S}^3$: a minimal torus in $\mathbb{S}^3$ has Morse index at least $5$, with equality holding if and only if it is congruent to the Clifford torus. The proof is based on a comparison theorem between eigenvalues of two elliptic operators, which also provides us simpler new proofs of some known results on index estimates of both minimal and $r$-minimal hypersurfaces in a sphere.
△ Less
Submitted 17 May, 2024;
originally announced May 2024.
-
Dirichlet problem for a class of nonlinear degenerate elliptic operators with critical growth and logarithmic perturbation
Authors:
Hua Chen,
Xin Liao,
Ming Zhang
Abstract:
In this paper, we investigate the existence of weak solutions for a class of degenerate elliptic Dirichlet problems with critical nonlinearity and a logarithmic perturbation
In this paper, we investigate the existence of weak solutions for a class of degenerate elliptic Dirichlet problems with critical nonlinearity and a logarithmic perturbation
△ Less
Submitted 17 May, 2024;
originally announced May 2024.
-
Riemannian radial distributions on Riemannian symmetric spaces: Optimal rates of convergence for parameter estimation
Authors:
Hengchao Chen
Abstract:
Manifold data analysis is challenging due to the lack of parametric distributions on manifolds. To address this, we introduce a series of Riemannian radial distributions on Riemannian symmetric spaces. By utilizing the symmetry, we show that for many Riemannian radial distributions, the Riemannian $L^p$ center of mass is uniquely given by the location parameter, and the maximum likelihood estimato…
▽ More
Manifold data analysis is challenging due to the lack of parametric distributions on manifolds. To address this, we introduce a series of Riemannian radial distributions on Riemannian symmetric spaces. By utilizing the symmetry, we show that for many Riemannian radial distributions, the Riemannian $L^p$ center of mass is uniquely given by the location parameter, and the maximum likelihood estimator (MLE) of this parameter is given by an M-estimator. Therefore, these parametric distributions provide a promising tool for statistical modeling and algorithmic design.
In addition, our paper develops a novel theory for parameter estimation and minimax optimality by integrating statistics, Riemannian geometry, and Lie theory. We demonstrate that the MLE achieves a convergence rate of root-$n$ up to logarithmic terms, where the rate is quantified by both the hellinger distance between distributions and geodesic distance between parameters. Then we derive a root-$n$ minimax lower bound for the parameter estimation rate, demonstrating the optimality of the MLE. Our minimax analysis is limited to the case of simply connected Riemannian symmetric spaces for technical reasons, but is still applicable to numerous applications. Finally, we extend our studies to Riemannian radial distributions with an unknown temperature parameter, and establish the convergence rate of the MLE. We also derive the model complexity of von Mises-Fisher distributions on spheres and discuss the effects of geometry in statistical estimation.
△ Less
Submitted 13 May, 2024;
originally announced May 2024.
-
Numerical Analysis of Finite Dimensional Approximations in Finite Temperature DFT
Authors:
Ge Xu,
Huajie Chen,
Xingyu Gao
Abstract:
In this paper, we study numerical approximations of the ground states in finite temperature density functional theory. We formulate the problem with respect to the density matrices and justify the convergence of the finite dimensional approximations. Moreover, we provide an optimal a priori error estimate under some mild assumptions and present some numerical experiments to support the theory.
In this paper, we study numerical approximations of the ground states in finite temperature density functional theory. We formulate the problem with respect to the density matrices and justify the convergence of the finite dimensional approximations. Moreover, we provide an optimal a priori error estimate under some mild assumptions and present some numerical experiments to support the theory.
△ Less
Submitted 11 May, 2024;
originally announced May 2024.
-
Sharp embedding results and geometric inequalities for Hörmander vector fields
Authors:
Hua Chen,
Hong-Ge Chen,
**-Ning Li
Abstract:
Let $U$ be a connected open subset of $\mathbb{R}^n$, and let $X=(X_1,X_{2},\ldots,X_m)$ be a system of Hörmander vector fields defined on $U$. This paper addresses sharp embedding results and geometric inequalities in the generalized Sobolev space $\mathcal{W}_{X,0}^{k,p}(Ω)$, where $Ω\subset\subset U$ is a general open bounded subset of $U$. By employing Rothschild-Stein's lifting technique and…
▽ More
Let $U$ be a connected open subset of $\mathbb{R}^n$, and let $X=(X_1,X_{2},\ldots,X_m)$ be a system of Hörmander vector fields defined on $U$. This paper addresses sharp embedding results and geometric inequalities in the generalized Sobolev space $\mathcal{W}_{X,0}^{k,p}(Ω)$, where $Ω\subset\subset U$ is a general open bounded subset of $U$. By employing Rothschild-Stein's lifting technique and saturation method, we prove the representation formula for smooth functions with compact support in $Ω$. Combining this representation formula with weighted weak-$L^p$ estimates, we derive sharp Sobolev inequalities on $\mathcal{W}_{X,0}^{k,p}(Ω)$, where the critical Sobolev exponent depends on the generalized Métivier index. As applications of these sharp Sobolev inequalities, we establish the isoperimetric inequality, logarithmic Sobolev inequalities, Rellich-Kondrachov compact embedding theorem, Gagliardo-Nirenberg inequality, Nash inequality, and Moser-Trudinger inequality in the context of general Hörmander vector fields.
△ Less
Submitted 30 April, 2024;
originally announced April 2024.
-
Sharp quantitative stability of the Yamabe problem
Authors:
Haixia Chen,
Seunghyeok Kim
Abstract:
Given a smooth closed Riemannian manifold $(M,g)$ of dimension $N \ge 3$, we derive sharp quantitative stability estimates for nonnegative functions near the solution set of the Yamabe problem on $(M,g)$. The seminal work of Struwe (1984) \cite{S} states that if $Γ(u) := \|Δ_g u - \frac{N-2}{4(N-1)} R_g u + u^{\frac{N+2}{N-2}}\|_{H^{-1}(M)} \to 0$, then…
▽ More
Given a smooth closed Riemannian manifold $(M,g)$ of dimension $N \ge 3$, we derive sharp quantitative stability estimates for nonnegative functions near the solution set of the Yamabe problem on $(M,g)$. The seminal work of Struwe (1984) \cite{S} states that if $Γ(u) := \|Δ_g u - \frac{N-2}{4(N-1)} R_g u + u^{\frac{N+2}{N-2}}\|_{H^{-1}(M)} \to 0$, then $\|u-(u_0+\sum_{i=1}^ν \mathcal{V}_i)\|_{H^1(M)} \to 0$ where $u_0$ is a solution to the Yamabe problem on $(M,g)$, $ν\in \mathbb{N} \cup \{0\}$, and $\mathcal{V}_i$ is a bubble-like function. If $M$ is the round sphere $\mathbb{S}^N$, then $u_0 \equiv 0$ and a natural candidate of $\mathcal{V}_i$ is a bubble itself. If $M$ is not conformally equivalent to $\mathbb{S}^N$, then either $u_0 > 0$ or $u_0 \equiv 0$, there is no canonical choice of $\mathcal{V}_i$, and so a careful selection of $\mathcal{V}_i$ must be made to attain optimal estimates.
For $3 \le N \le 5$, we construct suitable $\mathcal{V}_i$'s and then establish the inequality $\|u-(u_0+\sum_{i=1}^ν \mathcal{V}_i)\|_{H^1(M)}$ $ \le Cζ(Γ(u))$ where $C > 0$ and $ζ(t) = t$, consistent with the result of Figalli and Glaudo (2020) \cite{FG} on $\mathbb{S}^N$. In the case of $N \ge 6$, we investigate the single-bubbling phenomenon $(ν= 1)$ on generic Riemannian manifolds $(M,g)$, proving that $ζ(t)$ is determined by $N$, $u_0$, and $g$, and can be much larger than $t$. This exhibits a striking difference from the result of Ciraolo, Figalli, and Maggi (2018) \cite{CFM} on $\mathbb{S}^N$. All of the estimates presented herein are optimal.
△ Less
Submitted 13 May, 2024; v1 submitted 22 April, 2024;
originally announced April 2024.
-
Safe Feature Identification Rule for Fused Lasso by An Extra Dual Variable
Authors:
Pan Shang,
Huangyue Chen,
Lingchen Kong
Abstract:
Fused Lasso was proposed to characterize the sparsity of the coefficients and the sparsity of their successive differences for the linear regression. Due to its wide applications, there are many existing algorithms to solve fused Lasso. However, the computation of this model is time-consuming in high-dimensional data sets. To accelerate the calculation of fused Lasso in high-dimension data sets, w…
▽ More
Fused Lasso was proposed to characterize the sparsity of the coefficients and the sparsity of their successive differences for the linear regression. Due to its wide applications, there are many existing algorithms to solve fused Lasso. However, the computation of this model is time-consuming in high-dimensional data sets. To accelerate the calculation of fused Lasso in high-dimension data sets, we build up the safe feature identification rule by introducing an extra dual variable. With a low computational cost, this rule can eliminate inactive features with zero coefficients and identify adjacent features with same coefficients in the solution. To the best of our knowledge, existing screening rules can not be applied to speed up the computation of fused Lasso and our work is the first one to deal with this problem. To emphasize our rule is a unique result that is capable of identifying adjacent features with same coefficients, we name the result as the safe feature identification rule. Numerical experiments on simulation and real data illustrate the efficiency of the rule, which means this rule can reduce the computational time of fused Lasso. In addition, our rule can be embedded into any efficient algorithm and speed up the computational process of fused Lasso.
△ Less
Submitted 15 April, 2024;
originally announced April 2024.
-
Spurious Stationarity and Hardness Results for Mirror Descent
Authors:
He Chen,
Jia** Li,
Anthony Man-Cho So
Abstract:
Despite the considerable success of Bregman proximal-type algorithms, such as mirror descent, in machine learning, a critical question remains: Can existing stationarity measures, often based on Bregman divergence, reliably distinguish between stationary and non-stationary points? In this paper, we present a groundbreaking finding: All existing stationarity measures necessarily imply the existence…
▽ More
Despite the considerable success of Bregman proximal-type algorithms, such as mirror descent, in machine learning, a critical question remains: Can existing stationarity measures, often based on Bregman divergence, reliably distinguish between stationary and non-stationary points? In this paper, we present a groundbreaking finding: All existing stationarity measures necessarily imply the existence of spurious stationary points. We further establish an algorithmic independent hardness result: Bregman proximal-type algorithms are unable to escape from a spurious stationary point in finite steps when the initial point is unfavorable, even for convex problems. Our hardness result points out the inherent distinction between Euclidean and Bregman geometries, and introduces both fundamental theoretical and numerical challenges to both machine learning and optimization communities.
△ Less
Submitted 11 April, 2024;
originally announced April 2024.
-
ABP estimate and comparison principle for cone degenerate quasilinear elliptic equations
Authors:
Hua Chen,
Jiangtao Hu,
Xiaochun Liu,
Yawei Wei,
Mengnan Zhang
Abstract:
In this paper, we study the cone degenerate quasilinear elliptic equations. We provide the existence of the viscosity solutions by proving Alexandrov-Bakelman-Pucci and Hölder estimates. Further more, we give the comparison principle by an equivalent transformation.
In this paper, we study the cone degenerate quasilinear elliptic equations. We provide the existence of the viscosity solutions by proving Alexandrov-Bakelman-Pucci and Hölder estimates. Further more, we give the comparison principle by an equivalent transformation.
△ Less
Submitted 9 April, 2024;
originally announced April 2024.
-
Well-posedness of the 2D surface quasi-geostrophic equation in variable Lebesgue spaces
Authors:
Hao Chen,
Gastón Vergara-Hermosilla,
Jihong Zhao
Abstract:
In this paper, we are mainly concerned with the well-posedness of the dissipative surface quasi-geostrophic equation in the framework of variable Lebesgue spaces. Based on some analytical results developed in the variable Lebesgue spaces and the $L^{p}$-$L^{q}$ decay estimates of the fractional heat kernel, we establish the local existence and regularity of solutions to the 2D dissipative surface…
▽ More
In this paper, we are mainly concerned with the well-posedness of the dissipative surface quasi-geostrophic equation in the framework of variable Lebesgue spaces. Based on some analytical results developed in the variable Lebesgue spaces and the $L^{p}$-$L^{q}$ decay estimates of the fractional heat kernel, we establish the local existence and regularity of solutions to the 2D dissipative surface quasi-geostrophic equation in the variable Lebesgue space.
△ Less
Submitted 19 April, 2024; v1 submitted 7 April, 2024;
originally announced April 2024.
-
Frozen Gaussian approximation for the fractional Schrödinger equation
Authors:
Lihui Chai,
Hengzhun Chen,
Xu Yang
Abstract:
We develop the frozen Gaussian approximation (FGA) for the fractional Schrödinger equation in the semi-classical regime, where the solution is highly oscillatory when the scaled Planck constant $\varepsilon$ is small. This method approximates the solution to the Schrödinger equation by an integral representation based on asymptotic analysis and provides a highly efficient computational method for…
▽ More
We develop the frozen Gaussian approximation (FGA) for the fractional Schrödinger equation in the semi-classical regime, where the solution is highly oscillatory when the scaled Planck constant $\varepsilon$ is small. This method approximates the solution to the Schrödinger equation by an integral representation based on asymptotic analysis and provides a highly efficient computational method for high-frequency wave function evolution. In particular, we revise the standard FGA formula to address the singularities arising in the higher-order derivatives of coefficients of the associated Hamiltonian flow that are second-order continuously differentiable or smooth in conventional FGA analysis. We then establish its convergence to the true solution. Additionally, we provide some numerical examples to verify the accuracy and convergence behavior of the frozen Gaussian approximation method.
△ Less
Submitted 27 March, 2024;
originally announced March 2024.
-
Data-Driven Predictive Control with Adaptive Disturbance Attenuation for Constrained Systems
Authors:
Nan Li,
Ilya Kolmanovsky,
Hong Chen
Abstract:
In this paper, we propose a novel data-driven predictive control approach for systems subject to time-domain constraints. The approach combines the strengths of H-infinity control for rejecting disturbances and MPC for handling constraints. In particular, the approach can dynamically adapt H-infinity disturbance attenuation performance depending on measured system state and forecasted disturbance…
▽ More
In this paper, we propose a novel data-driven predictive control approach for systems subject to time-domain constraints. The approach combines the strengths of H-infinity control for rejecting disturbances and MPC for handling constraints. In particular, the approach can dynamically adapt H-infinity disturbance attenuation performance depending on measured system state and forecasted disturbance level to satisfy constraints. We establish theoretical properties of the approach including robust guarantees of closed-loop stability, disturbance attenuation, constraint satisfaction under noisy data, as well as sufficient conditions for recursive feasibility, and illustrate the approach with a numerical example.
△ Less
Submitted 21 March, 2024;
originally announced March 2024.
-
Irreducible modules over N=2 superconformal algebras from algebraic D-modules
Authors:
Haibo Chen,
Xiansheng Dai,
Dong Liu,
Yufeng Pei
Abstract:
In this paper, we introduce a family of functors denoted $\mathscr{F}_b$ that act on algebraic D-modules and generate modules over N=2 superconformal algebras. We prove these functors preserve irreducibility for all values of $b$, with a few clear exceptions described. We also establish necessary and sufficient conditions to determine when two such functors are naturally isomorphic. Applying…
▽ More
In this paper, we introduce a family of functors denoted $\mathscr{F}_b$ that act on algebraic D-modules and generate modules over N=2 superconformal algebras. We prove these functors preserve irreducibility for all values of $b$, with a few clear exceptions described. We also establish necessary and sufficient conditions to determine when two such functors are naturally isomorphic. Applying $\mathscr{F}_b$ to N=1 super-Virasoro algebras recovers the functors previously introduced in \cite{CDLP}. Our new functors also facilitate the recovery of specific irreducible modules over N=2 superconformal algebras, including intermediate series and $U(\mathfrak{h})$-free modules. Additionally, our constructed functors produce several new irreducible modules for N=2 superconformal algebras.
△ Less
Submitted 19 March, 2024;
originally announced March 2024.
-
Interpolation Polynomials, Binomial Coefficients, and Symmetric Function Inequalities
Authors:
Hong Chen,
Siddhartha Sahi
Abstract:
Inhomogeneous versions of Jack and Macdonald polynomials, called interpolation polynomials, have been introduced by Knop--Sahi (type $A$) and Okounkov (type $BC$). In this paper, we study binomial coefficients and Littlewood--Richardson (LR) coefficients for these interpolation polynomials. We extend to type $BC$ the weighted sum formula for binomial coefficients due to the second author in type…
▽ More
Inhomogeneous versions of Jack and Macdonald polynomials, called interpolation polynomials, have been introduced by Knop--Sahi (type $A$) and Okounkov (type $BC$). In this paper, we study binomial coefficients and Littlewood--Richardson (LR) coefficients for these interpolation polynomials. We extend to type $BC$ the weighted sum formula for binomial coefficients due to the second author in type $A$, and obtain a new weighted sum formula for LR coefficients for both types $A$ and $BC$. We prove that binomial coefficients are positive and monotone using the weighted sum formula and the combinatorial formulas due to Okounkov.
As an application, we prove various inequalities on power-sums and Jack polynomials, including their specializations, monomial, Schur, Zonal and elementary symmetric polynomials, generalizing similar inequalities due to Cuttler--Greene--Skandera, Sra and Khare--Tao.
△ Less
Submitted 6 June, 2024; v1 submitted 4 March, 2024;
originally announced March 2024.
-
Lower-level Duality Based Reformulation and Majorization Minimization Algorithm for Hyperparameter Optimization
Authors:
He Chen,
Haochen Xu,
Rujun Jiang,
Anthony Man-Cho So
Abstract:
Hyperparameter tuning is an important task of machine learning, which can be formulated as a bilevel program (BLP). However, most existing algorithms are not applicable for BLP with non-smooth lower-level problems. To address this, we propose a single-level reformulation of the BLP based on lower-level duality without involving any implicit value function. To solve the reformulation, we propose a…
▽ More
Hyperparameter tuning is an important task of machine learning, which can be formulated as a bilevel program (BLP). However, most existing algorithms are not applicable for BLP with non-smooth lower-level problems. To address this, we propose a single-level reformulation of the BLP based on lower-level duality without involving any implicit value function. To solve the reformulation, we propose a majorization minimization algorithm that marjorizes the constraint in each iteration. Furthermore, we show that the subproblems of the proposed algorithm for several widely used hyperparameter turning models can be reformulated into conic programs that can be efficiently solved by the off-the-shelf solvers. We theoretically prove the convergence of the proposed algorithm and demonstrate its superiority through numerical experiments.
△ Less
Submitted 1 March, 2024;
originally announced March 2024.
-
Additive results of group inverses in Banach algebras
Authors:
Dayong Liu,
Huanyin Chen
Abstract:
In this paper, we present new presentations of group inverse for the sum of two group invertible elements in a Banach algebra. We then apply these results to block complex matrices. The group invertibility of certain block complex matrices is thereby obtained.
In this paper, we present new presentations of group inverse for the sum of two group invertible elements in a Banach algebra. We then apply these results to block complex matrices. The group invertibility of certain block complex matrices is thereby obtained.
△ Less
Submitted 24 February, 2024;
originally announced February 2024.
-
On the Duality Between Sharpness-Aware Minimization and Adversarial Training
Authors:
Yihao Zhang,
Hangzhou He,
**gyu Zhu,
Huanran Chen,
Yifei Wang,
Zeming Wei
Abstract:
Adversarial Training (AT), which adversarially perturb the input samples during training, has been acknowledged as one of the most effective defenses against adversarial attacks, yet suffers from inevitably decreased clean accuracy. Instead of perturbing the samples, Sharpness-Aware Minimization (SAM) perturbs the model weights during training to find a more flat loss landscape and improve general…
▽ More
Adversarial Training (AT), which adversarially perturb the input samples during training, has been acknowledged as one of the most effective defenses against adversarial attacks, yet suffers from inevitably decreased clean accuracy. Instead of perturbing the samples, Sharpness-Aware Minimization (SAM) perturbs the model weights during training to find a more flat loss landscape and improve generalization. However, as SAM is designed for better clean accuracy, its effectiveness in enhancing adversarial robustness remains unexplored. In this work, considering the duality between SAM and AT, we investigate the adversarial robustness derived from SAM. Intriguingly, we find that using SAM alone can improve adversarial robustness. To understand this unexpected property of SAM, we first provide empirical and theoretical insights into how SAM can implicitly learn more robust features, and conduct comprehensive experiments to show that SAM can improve adversarial robustness notably without sacrificing any clean accuracy, shedding light on the potential of SAM to be a substitute for AT when accuracy comes at a higher priority. Code is available at https://github.com/weizeming/SAM_AT.
△ Less
Submitted 5 June, 2024; v1 submitted 23 February, 2024;
originally announced February 2024.
-
Completely fixed point free isometry and cyclic orbifold of lattice vertex operator algebras
Authors:
Hsian-Yang Chen,
Ching Hung Lam
Abstract:
We continue our study of cyclic orbifolds of lattice vertex operator algebras and their full automorphism groups. We consider some special isometry $g\in O(L)$ such that $g^i$ is fixed point free on $L$ for any $1\leq i\leq |g|-1$. We show that when $L_2=\emptyset$ and $g^i$ is fixed point free on $L$ for any $1\leq i\leq |g|-1$, $V_L^{\hat{g}}$ has extra automorphisms implies either (1) the order…
▽ More
We continue our study of cyclic orbifolds of lattice vertex operator algebras and their full automorphism groups. We consider some special isometry $g\in O(L)$ such that $g^i$ is fixed point free on $L$ for any $1\leq i\leq |g|-1$. We show that when $L_2=\emptyset$ and $g^i$ is fixed point free on $L$ for any $1\leq i\leq |g|-1$, $V_L^{\hat{g}}$ has extra automorphisms implies either (1) the order of $g$ is a prime or (2) $L$ is isometric to the Leech lattice or some coinvariant sublattices of the Leech lattice.
△ Less
Submitted 21 February, 2024;
originally announced February 2024.
-
Second-order flows for approaching stationary points of a class of non-convex energies via convex-splitting schemes
Authors:
Haifan Chen,
Guozhi Dong,
José A. Iglesias,
Wei Liu,
Ziqing Xie
Abstract:
The use of accelerated gradient flows is an emerging field in optimization, scientific computing and beyond. This paper contributes to the theoretical underpinnings of a recently-introduced computational paradigm known as second-order flows, which demonstrate significant performance particularly for the minimization of non-convex energy functionals defined on Sobolev spaces, and are characterized…
▽ More
The use of accelerated gradient flows is an emerging field in optimization, scientific computing and beyond. This paper contributes to the theoretical underpinnings of a recently-introduced computational paradigm known as second-order flows, which demonstrate significant performance particularly for the minimization of non-convex energy functionals defined on Sobolev spaces, and are characterized by novel dissipative hyperbolic partial differential equations. Our approach hinges upon convex-splitting schemes, a tool which is not only pivotal for clarifying the well-posedness of second-order flows, but also yields a versatile array of robust numerical schemes through temporal and spatial discretization. We prove the convergence to stationary points of such schemes in the semi-discrete setting. Further, we establish their convergence to time-continuous solutions as the time-step tends to zero, and perform a comprehensive error analysis in the fully discrete case. Finally, these algorithms undergo thorough testing and validation in approaching stationary points of non-convex variational models in applied sciences, such as the Ginzburg-Landau energy in phase-field modeling and a specific case of the Landau-de Gennes energy of the Q-tensor model for liquid crystals.
△ Less
Submitted 19 February, 2024;
originally announced February 2024.
-
Singularities on maxfaces constructed by node-opening
Authors:
Hao Chen,
Anu Dhochak,
Pradip Kumar,
Sai Rasmi Ranjan Mohanty
Abstract:
The node-opening technique, originally designed for constructing minimal surfaces, is adapted to construct a rich variety of new maxfaces of high genus that are embedded outside a compact set and have arbitrarily many catenoid or planar ends, thus removing the scarcity of examples of maxfaces. The surfaces look like spacelike planes connected by small necks. Among the examples are maxfaces of the…
▽ More
The node-opening technique, originally designed for constructing minimal surfaces, is adapted to construct a rich variety of new maxfaces of high genus that are embedded outside a compact set and have arbitrarily many catenoid or planar ends, thus removing the scarcity of examples of maxfaces. The surfaces look like spacelike planes connected by small necks. Among the examples are maxfaces of the Costa--Hoffman--Meeks type. Although very fruitful, the main challenge of this paper is not the construction itself, but the analysis of the positions and natures of singularities on these maxfaces. More specifically, we conclude that the singular set form curves around the waists of the necks. In generic and some symmetric cases, all but finitely many singularities are cuspidal edges, and the non-cuspidal singularities are swallowtails evenly distributed along the singular curves.
△ Less
Submitted 26 June, 2024; v1 submitted 19 February, 2024;
originally announced February 2024.
-
Online Local False Discovery Rate Control: A Resource Allocation Approach
Authors:
Ruicheng Ao,
Hongyu Chen,
David Simchi-Levi,
Feng Zhu
Abstract:
We consider the problem of sequentially conducting multiple experiments where each experiment corresponds to a hypothesis testing task. At each time point, the experimenter must make an irrevocable decision of whether to reject the null hypothesis (or equivalently claim a discovery) before the next experimental result arrives. The goal is to maximize the number of discoveries while maintaining a l…
▽ More
We consider the problem of sequentially conducting multiple experiments where each experiment corresponds to a hypothesis testing task. At each time point, the experimenter must make an irrevocable decision of whether to reject the null hypothesis (or equivalently claim a discovery) before the next experimental result arrives. The goal is to maximize the number of discoveries while maintaining a low error rate at all time points measured by local False Discovery Rate (FDR). We formulate the problem as an online knapsack problem with exogenous random budget replenishment. We start with general arrival distributions and show that a simple policy achieves a $O(\sqrt{T})$ regret. We complement the result by showing that such regret rate is in general not improvable. We then shift our focus to discrete arrival distributions. We find that many existing re-solving heuristics in the online resource allocation literature, albeit achieve bounded loss in canonical settings, may incur a $Ω(\sqrt{T})$ or even a $Ω(T)$ regret. With the observation that canonical policies tend to be too optimistic and over claim discoveries, we propose a novel policy that incorporates budget safety buffers. It turns out that a little more safety can greatly enhance efficiency -- small additional logarithmic buffers suffice to reduce the regret from $Ω(\sqrt{T})$ or even $Ω(T)$ to $O(\ln^2 T)$. From a practical perspective, we extend the policy to the scenario with continuous arrival distributions as well as time-dependent information structures. We conduct both synthetic experiments and empirical applications on a time series data from New York City taxi passengers to validate the performance of our proposed policies. Our results emphasize how effective policies should be designed in online resource allocation problems with exogenous budget replenishment.
△ Less
Submitted 1 April, 2024; v1 submitted 17 February, 2024;
originally announced February 2024.
-
A locally mass-conservative enriched Petrov-Galerkin method without penalty for the Darcy flow in porous media
Authors:
Huangxin Chen,
Piaopiao Dong,
Shuyu Sun,
Zixuan Wang
Abstract:
In this work we present an enriched Petrov-Galerkin (EPG) method for the simulation of the Darcy flow in porous media. The new method enriches the approximation trial space of the conforming continuous Galerkin (CG) method with bubble functions and enriches the approximation test space of the CG method with piecewise constant functions, and it does not require any penalty term in the weak formulat…
▽ More
In this work we present an enriched Petrov-Galerkin (EPG) method for the simulation of the Darcy flow in porous media. The new method enriches the approximation trial space of the conforming continuous Galerkin (CG) method with bubble functions and enriches the approximation test space of the CG method with piecewise constant functions, and it does not require any penalty term in the weak formulation. Moreover, we propose a framework for constructing the bubble functions and consider a decoupled algorithm for the EPG method based on this framework, which enables the process of solving pressure to be decoupled into two steps. The first step is to solve the pressure by the standard CG method, and the second step is a post-processing correction of the first step. Compared with the CG method, the proposed EPG method is locally mass-conservative, while kee** fewer degrees of freedom than the discontinuous Galerkin (DG) method. In addition, this method is more concise in the error analysis than the enriched Galerkin (EG) method. The coupled flow and transport in porous media is considered to illustrate the advantages of locally mass-conservative properties of the EPG method. We establish the optimal convergence of numerical solutions and present several numerical examples to illustrate the performance of the proposed method.
△ Less
Submitted 13 February, 2024;
originally announced February 2024.
-
Physics-Informed Neural Networks with Hard Linear Equality Constraints
Authors:
Hao Chen,
Gonzalo E. Constante Flores,
Can Li
Abstract:
Surrogate modeling is used to replace computationally expensive simulations. Neural networks have been widely applied as surrogate models that enable efficient evaluations over complex physical systems. Despite this, neural networks are data-driven models and devoid of any physics. The incorporation of physics into neural networks can improve generalization and data efficiency. The physics-informe…
▽ More
Surrogate modeling is used to replace computationally expensive simulations. Neural networks have been widely applied as surrogate models that enable efficient evaluations over complex physical systems. Despite this, neural networks are data-driven models and devoid of any physics. The incorporation of physics into neural networks can improve generalization and data efficiency. The physics-informed neural network (PINN) is an approach to leverage known physical constraints present in the data, but it cannot strictly satisfy them in the predictions. This work proposes a novel physics-informed neural network, KKT-hPINN, which rigorously guarantees hard linear equality constraints through projection layers derived from KKT conditions. Numerical experiments on Aspen models of a continuous stirred-tank reactor (CSTR) unit, an extractive distillation subsystem, and a chemical plant demonstrate that this model can further enhance the prediction accuracy.
△ Less
Submitted 11 February, 2024;
originally announced February 2024.
-
Some remarks about deformation theory and formality conjecture
Authors:
Huachen Chen,
Laura Pertusi,
Xiaolei Zhao
Abstract:
Using the algebraic criterion proved by Bandiera, Manetti and Meazzini, we show the formality conjecture for universally gluable objects with linearly reductive automorphism groups in the bounded derived category of a K3 surface. As an application, we prove the formality conjecture for polystable objects in the Kuznetsov components of Gushel--Mukai threefolds and quartic double solids.
Using the algebraic criterion proved by Bandiera, Manetti and Meazzini, we show the formality conjecture for universally gluable objects with linearly reductive automorphism groups in the bounded derived category of a K3 surface. As an application, we prove the formality conjecture for polystable objects in the Kuznetsov components of Gushel--Mukai threefolds and quartic double solids.
△ Less
Submitted 9 February, 2024;
originally announced February 2024.
-
On the Ringel--Hall algebra of the gentle one-cycle algebra $Λ(n-1,1,1)$
Authors:
Hui Chen,
Dong Yang
Abstract:
It is shown that the gentle one-cycle algebra $Λ(n-1,1,1)$ has Hall polynomials. The Hall polynomials are explicitly given for all triples of indecomposable modules, and as a consequence, the Ringel--Hall Lie algebra of $Λ(n-1,1,1)$ is shown to be isomorphic to its Riedtmann Lie algebra.
It is shown that the gentle one-cycle algebra $Λ(n-1,1,1)$ has Hall polynomials. The Hall polynomials are explicitly given for all triples of indecomposable modules, and as a consequence, the Ringel--Hall Lie algebra of $Λ(n-1,1,1)$ is shown to be isomorphic to its Riedtmann Lie algebra.
△ Less
Submitted 5 February, 2024;
originally announced February 2024.
-
Solving High-dimensional Parametric Elliptic Equation Using Tensor Neural Network
Authors:
Hongtao Chen,
Rui Fu,
Yifan Wang,
Hehu Xie
Abstract:
In this paper, we introduce a tensor neural network based machine learning method for solving the elliptic partial differential equations with random coefficients in a bounded physical domain. With the help of tensor product structure, we can transform the high-dimensional integrations of tensor neural network functions to one-dimensional integrations which can be computed with the classical quadr…
▽ More
In this paper, we introduce a tensor neural network based machine learning method for solving the elliptic partial differential equations with random coefficients in a bounded physical domain. With the help of tensor product structure, we can transform the high-dimensional integrations of tensor neural network functions to one-dimensional integrations which can be computed with the classical quadrature schemes with high accuracy. The complexity of its calculation can be reduced from the exponential scale to a polynomial scale. The corresponding machine learning method is designed for solving high-dimensional parametric elliptic equations. Some numerical examples are provided to validate the accuracy and efficiency of the proposed algorithms.
△ Less
Submitted 14 January, 2024;
originally announced February 2024.
-
Ensemble-Based Annealed Importance Sampling
Authors:
Haoxuan Chen,
Lexing Ying
Abstract:
Sampling from a multimodal distribution is a fundamental and challenging problem in computational science and statistics. Among various approaches proposed for this task, one popular method is Annealed Importance Sampling (AIS). In this paper, we propose an ensemble-based version of AIS by combining it with population-based Monte Carlo methods to improve its efficiency. By kee** track of an ense…
▽ More
Sampling from a multimodal distribution is a fundamental and challenging problem in computational science and statistics. Among various approaches proposed for this task, one popular method is Annealed Importance Sampling (AIS). In this paper, we propose an ensemble-based version of AIS by combining it with population-based Monte Carlo methods to improve its efficiency. By kee** track of an ensemble instead of a single particle along some continuation path between the starting distribution and the target distribution, we take advantage of the interaction within the ensemble to encourage the exploration of undiscovered modes. Specifically, our main idea is to utilize either the snooker algorithm or the genetic algorithm used in Evolutionary Monte Carlo. We discuss how the proposed algorithm can be implemented and derive a partial differential equation governing the evolution of the ensemble under the continuous time and mean-field limit. We also test the efficiency of the proposed algorithm on various continuous and discrete distributions.
△ Less
Submitted 28 January, 2024;
originally announced January 2024.
-
On the length of an arithmetic progression of the form ${3^x+2^y}$
Authors:
Hongnan Chen,
Fenglin Huang,
Sihui Zhang
Abstract:
The conclusion that the length of an arithmetic progression of the form ${3^x+2^y}$ is at most six is proved.
The conclusion that the length of an arithmetic progression of the form ${3^x+2^y}$ is at most six is proved.
△ Less
Submitted 25 January, 2024;
originally announced January 2024.
-
Deterministic Multi-stage Constellation Reconfiguration Using Integer Linear Programming and Sequential Decision-Making Methods
Authors:
Hang Woon Lee,
David O. Williams Rogers,
Brycen D. Pearl,
Hao Chen,
Koki Ho
Abstract:
In this paper, we address the problem of reconfiguring Earth observation satellite constellation systems through multiple stages. The Multi-stage Constellation Reconfiguration Problem (MCRP) aims to maximize the total observation rewards obtained by covering a set of targets of interest through the active manipulation of the orbits and relative phasing of constituent satellites. In this paper, we…
▽ More
In this paper, we address the problem of reconfiguring Earth observation satellite constellation systems through multiple stages. The Multi-stage Constellation Reconfiguration Problem (MCRP) aims to maximize the total observation rewards obtained by covering a set of targets of interest through the active manipulation of the orbits and relative phasing of constituent satellites. In this paper, we consider deterministic problem settings in which the targets of interest are known a priori. We propose a novel integer linear programming formulation for MCRP, capable of obtaining provably optimal solutions. To overcome computational intractability due to the combinatorial explosion in solving large-scale instances, we introduce two computationally efficient sequential decision-making methods based on the principles of a myopic policy and a rolling horizon procedure. The computational experiments demonstrate that the devised sequential decision-making approaches yield high-quality solutions with improved computational efficiency over the baseline MCRP. Finally, a case study using Hurricane Harvey data showcases the advantages of multi-stage constellation reconfiguration over single-stage and no-reconfiguration scenarios.
△ Less
Submitted 30 April, 2024; v1 submitted 21 January, 2024;
originally announced January 2024.
-
Free energy in spin glass models with conventional order
Authors:
Hong-Bin Chen
Abstract:
Recently, [arXiv:2302.01361] considered spin glass models with additional conventional order parameters characterizing single-replica properties. These parameters are distinct from the standard order parameter used to measure correlations between replicas. A "min-max" formula for the free energy was prescribed in [arXiv:2302.01361]. We rigorously verify this prescription in the setting of vector s…
▽ More
Recently, [arXiv:2302.01361] considered spin glass models with additional conventional order parameters characterizing single-replica properties. These parameters are distinct from the standard order parameter used to measure correlations between replicas. A "min-max" formula for the free energy was prescribed in [arXiv:2302.01361]. We rigorously verify this prescription in the setting of vector spin glass models featuring additional deterministic spin interactions. Notably, our results can be viewed as a generalization of the Parisi formula for vector spin glass models in [arXiv:1512.04441], where the order parameter for self-overlap is already present.
△ Less
Submitted 18 January, 2024;
originally announced January 2024.
-
Quotient geometry of bounded or fixed rank correlation matrices
Authors:
Hengchao Chen
Abstract:
This paper studies the quotient geometry of bounded or fixed-rank correlation matrices. We establish a bijection between the set of bounded-rank correlation matrices and a quotient set of a spherical product manifold by an orthogonal group. We show that it forms an orbit space, whose stratification is determined by the rank of the matrices, and the principal stratum has a compatible Riemannian quo…
▽ More
This paper studies the quotient geometry of bounded or fixed-rank correlation matrices. We establish a bijection between the set of bounded-rank correlation matrices and a quotient set of a spherical product manifold by an orthogonal group. We show that it forms an orbit space, whose stratification is determined by the rank of the matrices, and the principal stratum has a compatible Riemannian quotient manifold structure. We show that any minimizing geodesic in the orbit space has constant rank on the interior of the segment. We also develop efficient Riemannian optimization algorithms for computing the distance and weighted the Frechet mean in the orbit space. Moreover, we examine geometric properties of the quotient manifold, including horizontal and vertical spaces, Riemannian metric, injectivity radius, exponential and logarithmic map, curvature, gradient and Hessian.
△ Less
Submitted 10 January, 2024; v1 submitted 5 January, 2024;
originally announced January 2024.
-
A prediction-correction based iterative convolution-thresholding method for topology optimization of heat transfer problems
Authors:
Huangxin Chen,
Piaopiao Dong,
Dong Wang,
Xiao-** Wang
Abstract:
In this paper, we propose an iterative convolution-thresholding method (ICTM) based on prediction-correction for solving the topology optimization problem in steady-state heat transfer equations. The problem is formulated as a constrained minimization problem of the complementary energy, incorporating a perimeter/surface-area regularization term, while satisfying a steady-state heat transfer equat…
▽ More
In this paper, we propose an iterative convolution-thresholding method (ICTM) based on prediction-correction for solving the topology optimization problem in steady-state heat transfer equations. The problem is formulated as a constrained minimization problem of the complementary energy, incorporating a perimeter/surface-area regularization term, while satisfying a steady-state heat transfer equation. The decision variables of the optimization problem represent the domains of different materials and are represented by indicator functions. The perimeter/surface-area term of the domain is approximated using Gaussian kernel convolution with indicator functions. In each iteration, the indicator function is updated using a prediction-correction approach. The prediction step is based on the variation of the objective functional by imposing the constraints, while the correction step ensures the monotonically decreasing behavior of the objective functional. Numerical results demonstrate the efficiency and robustness of our proposed method, particularly when compared to classical approaches based on the ICTM.
△ Less
Submitted 2 January, 2024;
originally announced January 2024.
-
Boltzmann equation with mixed boundary condition
Authors:
Hongxu Chen,
Renjun Duan
Abstract:
We study the Boltzmann equation in a smooth bounded domain featuring a mixed boundary condition. Specifically, gas particles experience specular reflection in two parallel plates, while diffusive reflection occurs in the remaining portion between these two specular regions. The boundary is assumed to be motionless and isothermal. Our main focus is on constructing global-in-time small-amplitude sol…
▽ More
We study the Boltzmann equation in a smooth bounded domain featuring a mixed boundary condition. Specifically, gas particles experience specular reflection in two parallel plates, while diffusive reflection occurs in the remaining portion between these two specular regions. The boundary is assumed to be motionless and isothermal. Our main focus is on constructing global-in-time small-amplitude solutions around global Maxwellians for the corresponding initial-boundary value problem. The proof relies on the $L^2$ hypocoercivity at the linear level, utilizing the weak formulation and various functional inequalities on the test functions, such as Poincaré and Korn inequalities. It also extends to the linear problem involving Maxwell boundary conditions, where the accommodation coefficient can be a piecewise constant function on the boundary, allowing for more general bounded domains. Moreover, we develop a delicate application of the $L^2-L^\infty$ bootstrap argument, which relies on the specific geometry of our domains, to effectively handle this mixed-type boundary condition.
△ Less
Submitted 2 January, 2024;
originally announced January 2024.
-
Presentations of Kauffman bracket skein algebras of planar surfaces
Authors:
Haimiao Chen
Abstract:
Let $R$ be a commutative ring with identity and a fixed invertible element $q^{\frac{1}{2}}$, and suppose $q+q^{-1}$ is invertible in $R$. For each planar surface $Σ_{0,n+1}$, we present its Kauffman bracket skein algebra over $R$ by explicit generators and relations. The presentation is independent of $R$, and can be considered as a quantization of the trace algebra of $n$ generic $2\times 2$ uni…
▽ More
Let $R$ be a commutative ring with identity and a fixed invertible element $q^{\frac{1}{2}}$, and suppose $q+q^{-1}$ is invertible in $R$. For each planar surface $Σ_{0,n+1}$, we present its Kauffman bracket skein algebra over $R$ by explicit generators and relations. The presentation is independent of $R$, and can be considered as a quantization of the trace algebra of $n$ generic $2\times 2$ unimodular matrices.
△ Less
Submitted 31 December, 2023;
originally announced January 2024.
-
Bounded $t$-structures, finitistic dimensions, and singularity categories of triangulated categories
Authors:
Rudradip Biswas,
Hongxing Chen,
Kabeer Manali Rahul,
Chris J. Parker,
Junhua Zheng
Abstract:
Recently, Amnon Neeman settled a bold conjecture by Antieau, Gepner, and Heller regarding the relationship between the regularity of finite-dimensional noetherian schemes and the existence of bounded $t$-structures on their derived categories of perfect complexes.
In this paper, we prove some very general results about the existence of bounded $t$-structures on (not necessarily algebraic or topo…
▽ More
Recently, Amnon Neeman settled a bold conjecture by Antieau, Gepner, and Heller regarding the relationship between the regularity of finite-dimensional noetherian schemes and the existence of bounded $t$-structures on their derived categories of perfect complexes.
In this paper, we prove some very general results about the existence of bounded $t$-structures on (not necessarily algebraic or topological) triangulated categories and their invariance under completion. Our general treatment, when specialized to the case of schemes, immediately gives us Neeman's theorem as an application and significantly generalizes another remarkable theorem by Neeman about the equivalence of bounded $t$-structures on the bounded derived categories of coherent sheaves. When specialized to other cases like (not necessarily commutative) rings, nonpositive DG-rings, connective $\mathbb{E}_1$-rings, triangulated categories without models, etc., we get many other applications. Under mild finiteness assumptions, these results give a categorical obstruction, the singularity category in our sense, to the existence of bounded $t$-structures on a triangulated category. The two key tools used in our treatment are the finitistic dimension for a triangulated category (a new concept introduced in the paper) and lifting $t$-structures along completions of triangulated categories.
△ Less
Submitted 29 December, 2023;
originally announced January 2024.
-
An extension problem for the logarithmic Laplacian
Authors:
Huyuan Chen,
Daniel Hauer,
Tobias Weth
Abstract:
The logarithmic Laplacian on the (whole) N-dimensional Euclidean space is defined as the first variation of the fractional Laplacian of order 2s at s=0 or, alternatively, as a singular Fourier integral operator with logarithmic symbol. While this operator has attracted fastly growing attention in recent years due to its relevance in the study of order-dependent problems, a characterization via a l…
▽ More
The logarithmic Laplacian on the (whole) N-dimensional Euclidean space is defined as the first variation of the fractional Laplacian of order 2s at s=0 or, alternatively, as a singular Fourier integral operator with logarithmic symbol. While this operator has attracted fastly growing attention in recent years due to its relevance in the study of order-dependent problems, a characterization via a local extension problem on the (N+1)-dimensional upper half-space in the spirit of the Cafferelli-Sivestre extension for the fractional Laplacian has been missing so far. In this paper, we establish such a characterization. More precisely, we show that, up to a multiplicative constant, the logarithmic Laplacian coincides with the boundary-value operator associated with a weighted second-order operator on the upper half-space, which maps inhomogeneous Neumann data to a Robin boundary-value of the corresponding distributional solution with a singular excess term. This extension property of the logarithmic Laplacian leads to a new energy functional associated with this operator. By doubling the extension-variable, we show that distributional solutions of the extension problem are actually harmonic in the (N+2)-dimensional Euclidean space away from the boundary. As an application of these results, we establish a weak unique continuation principle for the (stationary) logarithmic Laplace equation.
△ Less
Submitted 25 December, 2023;
originally announced December 2023.
-
Self-complementary (Pseudo-)Split Graphs
Authors:
Yixin Cao,
Haowei Chen,
Shenghua Wang
Abstract:
We are concerned with split graphs and pseudo-split graphs whose complements are isomorphic to themselves. These special subclasses of self-complementary graphs are actually the core of self-complementary graphs. Indeed, we show that all self-complementary graphs with forcibly self-complementary degree sequences are pseudo-split graphs. We also give formulas to calculate the number of self-complem…
▽ More
We are concerned with split graphs and pseudo-split graphs whose complements are isomorphic to themselves. These special subclasses of self-complementary graphs are actually the core of self-complementary graphs. Indeed, we show that all self-complementary graphs with forcibly self-complementary degree sequences are pseudo-split graphs. We also give formulas to calculate the number of self-complementary (pseudo-)split graphs of a given order, and show that Trotignon's conjecture holds for all self-complementary split graphs.
△ Less
Submitted 16 December, 2023;
originally announced December 2023.
-
Notes on semisimple tensor categories of rank two
Authors:
Hua Sun,
Hui-Xiang Chen,
Yinhuo Zhang
Abstract:
In this paper, we show that there are infinitely many semisimple tensor (or monoidal) categories of rank two over an algebraically closed field $\mathbb F$.
In this paper, we show that there are infinitely many semisimple tensor (or monoidal) categories of rank two over an algebraically closed field $\mathbb F$.
△ Less
Submitted 11 December, 2023;
originally announced December 2023.
-
An overpartition analogue of Bressoud conjecture for even moduli
Authors:
Y. H. Chen,
T. T. Gu,
Thomas Y. He,
F. Tang,
J. J. Wei
Abstract:
In 1980, Bressoud conjectured a combinatorial identity $A_j=B_j$ for $j=0$ or $1$. In this paper, we introduce a new partition function $\overline{B}_0$ which can be viewed as an overpartition analogue of the partition function $B_0$. An overpartition is a partition such that the last occurrence of a part can be overlined. We build a bijection to get a relationship between $\overline{B}_0$ and…
▽ More
In 1980, Bressoud conjectured a combinatorial identity $A_j=B_j$ for $j=0$ or $1$. In this paper, we introduce a new partition function $\overline{B}_0$ which can be viewed as an overpartition analogue of the partition function $B_0$. An overpartition is a partition such that the last occurrence of a part can be overlined. We build a bijection to get a relationship between $\overline{B}_0$ and $B_1$, based on which an overpartition analogue of Bressoud's conjecture for $j=0$ is obtained.
△ Less
Submitted 1 December, 2023;
originally announced December 2023.
-
Uniqueness of critical points of the second Neumann eigenfunctions on triangles
Authors:
Hongbin Chen,
Changfeng Gui,
Ruofei Yao
Abstract:
This paper deals with the second Neumann eigenfunction ${u}$ of any planar triangle ${T}$. In a recent work by C. Judge and S. Mondal [Ann. Math., 2022], it was established that ${u}$ does not have any critical point within the interior of ${T}$. In this paper, we show the uniqueness of non-vertex critical point and the monotonicity property of the second eigenfunction. To be more precise, when…
▽ More
This paper deals with the second Neumann eigenfunction ${u}$ of any planar triangle ${T}$. In a recent work by C. Judge and S. Mondal [Ann. Math., 2022], it was established that ${u}$ does not have any critical point within the interior of ${T}$. In this paper, we show the uniqueness of non-vertex critical point and the monotonicity property of the second eigenfunction. To be more precise, when ${T}$ is not an equilateral triangle, the non-vertex critical point exists if and only if ${T}$ is an acute triangle that is not a super-equilateral triangle, and the global extrema of ${u}$ are achieved at and only at the endpoints of the longest side. This establishes the origin theorem and conjecture 13.6 initially posed by C. Judge and S. Mondal [Ann. Math., 2020]. Our proof relies heavily on continuity methods, eigenvalue inequalities, and the maximum principle to establish these results.
△ Less
Submitted 21 November, 2023;
originally announced November 2023.