Showing 1–50 of 292 results for author: Li, K

Learning-Enhanced Variational Regularization for Electrical Impedance Tomography via \Calderon's Method

Authors: Kai Li, Kwancheol Shin, Zhi Zhou

Abstract: This paper aims to numerically solve the two-dimensional electrical impedance tomography (EIT) with Cauchy data. This inverse problem is highly challenging due to its severe ill-posed nature and strong nonlinearity, which necessitates appropriate regularization strategies. Choosing a regularization approach that effectively incorporates the \textit{a priori} information of the conductivity distrib… ▽ More This paper aims to numerically solve the two-dimensional electrical impedance tomography (EIT) with Cauchy data. This inverse problem is highly challenging due to its severe ill-posed nature and strong nonlinearity, which necessitates appropriate regularization strategies. Choosing a regularization approach that effectively incorporates the \textit{a priori} information of the conductivity distribution (or its contrast) is therefore essential. In this work, we propose a deep learning-based method to capture the \textit{a priori} information about the shape and location of the unknown contrast using \Calderon's method. The learned \textit{a priori} information is then used to construct the regularization functional of the variational regularization method for solving the inverse problem. The resulting regularized variational problem for EIT reconstruction is then solved using the Gauss-Newton method. Extensive numerical experiments demonstrate that the proposed inversion algorithm achieves accurate reconstruction results, even in high-contrast cases, and exhibits strong generalization capabilities. Additionally, some stability and convergence analysis of the variational regularization method underscores the importance of incorporating \textit{a priori} information about the support of the unknown contrast. △ Less

Submitted 8 July, 2025; originally announced July 2025.

Global Convergence of Iteratively Reweighted Least Squares for Robust Subspace Recovery

Authors: Gilad Lerman, Kang Li, Tyler Maunu, Teng Zhang

Abstract: Robust subspace estimation is fundamental to many machine learning and data analysis tasks. Iteratively Reweighted Least Squares (IRLS) is an elegant and empirically effective approach to this problem, yet its theoretical properties remain poorly understood. This paper establishes that, under deterministic conditions, a variant of IRLS with dynamic smoothing regularization converges linearly to th… ▽ More Robust subspace estimation is fundamental to many machine learning and data analysis tasks. Iteratively Reweighted Least Squares (IRLS) is an elegant and empirically effective approach to this problem, yet its theoretical properties remain poorly understood. This paper establishes that, under deterministic conditions, a variant of IRLS with dynamic smoothing regularization converges linearly to the underlying subspace from any initialization. We extend these guarantees to affine subspace estimation, a setting that lacks prior recovery theory. Additionally, we illustrate the practical benefits of IRLS through an application to low-dimensional neural network training. Our results provide the first global convergence guarantees for IRLS in robust subspace recovery and, more broadly, for nonconvex IRLS on a Riemannian manifold. △ Less

Submitted 29 June, 2025; v1 submitted 25 June, 2025; originally announced June 2025.

An improved example for an autoconvolution inequality

Authors: Christopher Boyer, Zane Kun Li

Abstract: We give a nonnegative step function with 575 equally spaced intervals such that $$\frac{\|f \ast f\|_{L^{2}(\mathbb{R})}^{2}}{\|f \ast f\|_{L^{\infty}(\mathbb{R})}\|f \ast f\|_{L^{1}(\mathbb{R})}} \geq 0.901562.$$ This improves upon a recent result of Deepmind's AlphaEvolve who found a nonnegative step function with 50 equally space intervals for which the left hand side is $\geq 0.8962$. Our func… ▽ More We give a nonnegative step function with 575 equally spaced intervals such that $$\frac{\|f \ast f\|_{L^{2}(\mathbb{R})}^{2}}{\|f \ast f\|_{L^{\infty}(\mathbb{R})}\|f \ast f\|_{L^{1}(\mathbb{R})}} \geq 0.901562.$$ This improves upon a recent result of Deepmind's AlphaEvolve who found a nonnegative step function with 50 equally space intervals for which the left hand side is $\geq 0.8962$. Our function was found using gradient based methods rather than using large language models. △ Less

Submitted 20 June, 2025; originally announced June 2025.

Comments: 12 pages, 8 figures

Combination of open covers with $π_1$-constraints

Authors: Pietro Capovilla, Kevin Li, Clara Loeh

Abstract: Let~$G$ be a group and let~$\mathcal{F}$ be a family of subgroups of~$G$. The generalised Lusternik--Schnirelmann category~$\operatorname{cat}_\mathcal{F}(G)$ is the minimal cardinality of covers of~$BG$ by open subsets with fundamental group in~$\mathcal{F}$. We prove a combination theorem for~$\operatorname{cat}_\mathcal{F}(G)$ in terms of the stabilisers of contractible $G$-CW-complexes. As app… ▽ More Let~$G$ be a group and let~$\mathcal{F}$ be a family of subgroups of~$G$. The generalised Lusternik--Schnirelmann category~$\operatorname{cat}_\mathcal{F}(G)$ is the minimal cardinality of covers of~$BG$ by open subsets with fundamental group in~$\mathcal{F}$. We prove a combination theorem for~$\operatorname{cat}_\mathcal{F}(G)$ in terms of the stabilisers of contractible $G$-CW-complexes. As applications for the amenable category, we obtain vanishing results for the simplicial volume of gluings of manifolds (along not necessarily amenable boundaries) and of cyclic branched coverings. Moreover, we deduce an upper bound for Farber's topological complexity, generalising an estimate for amalgamated products of Dranishnikov--Sadykov. △ Less

Submitted 7 May, 2025; originally announced May 2025.

Comments: 14 pages

MSC Class: 55M30; 57M07

Outlier-aware Tensor Robust Principal Component Analysis with Self-guided Data Augmentation

Authors: Yangyang Xu, Kexin Li, Li Yang, You-Wei Wen

Abstract: Tensor Robust Principal Component Analysis (TRPCA) is a fundamental technique for decomposing multi-dimensional data into a low-rank tensor and an outlier tensor, yet existing methods relying on sparse outlier assumptions often fail under structured corruptions. In this paper, we propose a self-guided data augmentation approach that employs adaptive weighting to suppress outlier influence, reformu… ▽ More Tensor Robust Principal Component Analysis (TRPCA) is a fundamental technique for decomposing multi-dimensional data into a low-rank tensor and an outlier tensor, yet existing methods relying on sparse outlier assumptions often fail under structured corruptions. In this paper, we propose a self-guided data augmentation approach that employs adaptive weighting to suppress outlier influence, reformulating the original TRPCA problem into a standard Tensor Principal Component Analysis (TPCA) problem. The proposed model involves an optimization-driven weighting scheme that dynamically identifies and downweights outlier contributions during tensor augmentation. We develop an efficient proximal block coordinate descent algorithm with closed-form updates to solve the resulting optimization problem, ensuring computational efficiency. Theoretical convergence is guaranteed through a framework combining block coordinate descent with majorization-minimization principles. Numerical experiments on synthetic and real-world datasets, including face recovery, background subtraction, and hyperspectral denoising, demonstrate that our method effectively handles various corruption patterns. The results show the improvements in both accuracy and computational efficiency compared to state-of-the-art methods. △ Less

Submitted 25 April, 2025; originally announced April 2025.

Comments: 12 pages, 6 figures, 3 tables

MSC Class: 65K10; 15A69 ACM Class: I.4.5; G.1.6

Mathematical Analysis of the PDE Model for the Consensus-based Optimization

Authors: Jinhuan Wang, Keyu Li, Hui Huang

Abstract: In this paper, we develop an analytical framework for the partial differential equation underlying the consensus-based optimization model. The main challenge arises from the nonlinear, nonlocal nature of the consensus point, coupled with a diffusion term that is both singular and degenerate. By employing a regularization procedure in combination with a compactness argument, we establish the global… ▽ More In this paper, we develop an analytical framework for the partial differential equation underlying the consensus-based optimization model. The main challenge arises from the nonlinear, nonlocal nature of the consensus point, coupled with a diffusion term that is both singular and degenerate. By employing a regularization procedure in combination with a compactness argument, we establish the global existence and uniqueness of weak solutions in $L^\infty(0,T;L^1\cap L^\infty(\mathbb{R}^d))$. Furthermore, we show that the weak solutions exhibit improved $H^2$-regularity when the initial data is regular. △ Less

Submitted 15 April, 2025; originally announced April 2025.

The Quantum Double of Hopf Algebras Realized via Partial Dualization and the Tensor Category of Its Representations

Authors: Ji-Wei He, Xiaojie Kong, Kangqiao Li

Abstract: In this paper, we aim to study the (generalized) quantum double $K^{\ast\mathrm{cop}}\bowtie_σH$ determined by a (skew) pairing between finite-dimensional Hopf algebras $K^{\ast\mathrm{cop}}$ and $H$, especially the tensor category $\mathsf{Rep}(K^{\ast\mathrm{cop}}\bowtie_σH)$ of its finite-dimensional representations. Specifically, we show that $K^{\ast\mathrm{cop}}\bowtie_σH$ is a left partiall… ▽ More In this paper, we aim to study the (generalized) quantum double $K^{\ast\mathrm{cop}}\bowtie_σH$ determined by a (skew) pairing between finite-dimensional Hopf algebras $K^{\ast\mathrm{cop}}$ and $H$, especially the tensor category $\mathsf{Rep}(K^{\ast\mathrm{cop}}\bowtie_σH)$ of its finite-dimensional representations. Specifically, we show that $K^{\ast\mathrm{cop}}\bowtie_σH$ is a left partially dualized (quasi-)Hopf algebra of $K^\mathrm{op}\otimes H$, and use this formulation to establish tensor equivalences from $\mathsf{Rep}(K^{\ast\mathrm{cop}}\bowtie_σH)$ to the categories ${}^K_K\mathcal{M}^K_H$ and ${}^{K^\ast}_{K^\ast}\mathcal{M}^{H^\ast}_{K^\ast}$ of two-sided two-cosided relative Hopf modules, as well as the category ${}_H\mathfrak{YD}^K$ of relative Yetter-Drinfeld modules. △ Less

Submitted 15 June, 2025; v1 submitted 8 April, 2025; originally announced April 2025.

Comments: All comments are welcome!

MSC Class: 16T05; 18M05

Rational points in Cantor sets and spectral eigenvalue problem for self-similar spectral measures

Authors: Derong Kong, Kun Li, Zhiqiang Wang

Abstract: Given $q\in \mathbb{N}_{\ge 3}$ and a finite set $A\subset\mathbb{Q}$, let $$K(q,A)= \bigg\{\sum_{i=1}^{\infty} \frac{a_i}{q^{i}}:a_i \in A ~\forall i\in \mathbb{N} \bigg\}.$$ For $p\in\mathbb{N}_{\ge 2}$ let $D_p\subset\mathbb{R}$ be the set of all rational numbers having a finite $p$-ary expansion. We show in this paper that for $p \in \mathbb{N}_{\ge 2}$ with $\gcd(p,q)=1$, the intersection… ▽ More Given $q\in \mathbb{N}_{\ge 3}$ and a finite set $A\subset\mathbb{Q}$, let $$K(q,A)= \bigg\{\sum_{i=1}^{\infty} \frac{a_i}{q^{i}}:a_i \in A ~\forall i\in \mathbb{N} \bigg\}.$$ For $p\in\mathbb{N}_{\ge 2}$ let $D_p\subset\mathbb{R}$ be the set of all rational numbers having a finite $p$-ary expansion. We show in this paper that for $p \in \mathbb{N}_{\ge 2}$ with $\gcd(p,q)=1$, the intersection $D_p\cap K(q, A)$ is a finite set if and only if $\dim_H K(q, A)<1$, which is also equivalent to the fact that the set $K(q, A)$ has no interiors. We apply this result to study the spectral eigenvalue problem. For a Borel probability measure $μ$ on $\mathbb{R}$, a real number $t\in \mathbb{R}$ is called a spectral eigenvalue of $μ$ if both $E(Λ) =\big\{ e^{2 π\mathrm{i} λx}: λ\in Λ\big\}$ and $E(tΛ) = \big\{ e^{2 π\mathrm{i} tλx}: λ\in Λ\big\}$ are orthonormal bases in $L^2(μ)$ for some $Λ\subset \mathbb{R}$. For any self-similar spectral measure generated by a Hadamard triple, we provide a class of spectral eigenvalues which is dense in $[0,+\infty)$, and show that every eigen-subspace associated with these spectral eigenvalues is infinite. △ Less

Submitted 28 March, 2025; originally announced March 2025.

Comments: 16 pages

MSC Class: 28A80; 11A63; 42C05

The Serre spectral sequence in bounded cohomology

Authors: Kevin Li, Marco Moraschini, George Raptis

Abstract: We construct the analogue of the Serre spectral sequence for the bounded cohomology of simplicial sets with seminormed local coefficients. As applications, we obtain a (non-isometric) generalization of Gromov's mapping theorem and some partial results on the simplicial volume of manifold bundles. We construct the analogue of the Serre spectral sequence for the bounded cohomology of simplicial sets with seminormed local coefficients. As applications, we obtain a (non-isometric) generalization of Gromov's mapping theorem and some partial results on the simplicial volume of manifold bundles. △ Less

Submitted 28 March, 2025; originally announced March 2025.

Comments: 33 pages

Optimal Parameter Adaptation for Safety-Critical Control via Safe Barrier Bayesian Optimization

Authors: Shengbo Wang, Ke Li, Zheng Yan, Zhenyuan Guo, Song Zhu, Guanghui Wen, Shiping Wen

Abstract: Safety is of paramount importance in control systems to avoid costly risks and catastrophic damages. The control barrier function (CBF) method, a promising solution for safety-critical control, poses a new challenge of enhancing control performance due to its direct modification of original control design and the introduction of uncalibrated parameters. In this work, we shed light on the crucial r… ▽ More Safety is of paramount importance in control systems to avoid costly risks and catastrophic damages. The control barrier function (CBF) method, a promising solution for safety-critical control, poses a new challenge of enhancing control performance due to its direct modification of original control design and the introduction of uncalibrated parameters. In this work, we shed light on the crucial role of configurable parameters in the CBF method for performance enhancement with a systematical categorization. Based on that, we propose a novel framework combining the CBF method with Bayesian optimization (BO) to optimize the safe control performance. Considering feasibility/safety-critical constraints, we develop a safe version of BO using the barrier-based interior method to efficiently search for promising feasible configurable parameters. Furthermore, we provide theoretical criteria of our framework regarding safety and optimality. An essential advantage of our framework lies in that it can work in model-agnostic environments, leaving sufficient flexibility in designing objective and constraint functions. Finally, simulation experiments on swing-up control and high-fidelity adaptive cruise control are conducted to demonstrate the effectiveness of our framework. △ Less

Submitted 25 March, 2025; originally announced March 2025.

Comments: Preprent manuscript, review only

Symmetry and classification of positive solutions of some weighted elliptic equations

Authors: Kui Li, Mengyao Liu, Jianfeng Wu

Abstract: We study the weighted elliptic equation \begin{equation} -div(|x|^{-2a}\nabla u)=|x|^{-bp}|u|^{p-2}u~~~\mbox{in}~\mathbb{R}^N ~~~~~~~~~~~~~~~~~~~~(0.1)\end{equation} with $N\geq 2$, which arises from the Caffarelli-Kohn-Nirenberg inequalities. Under the assumptions of finite energy and $a_1+a_2=N-2$, for nonnegative solutions we prove the equivalence between equation (0.1) with $a=a_1$ and equatio… ▽ More We study the weighted elliptic equation \begin{equation} -div(|x|^{-2a}\nabla u)=|x|^{-bp}|u|^{p-2}u~~~\mbox{in}~\mathbb{R}^N ~~~~~~~~~~~~~~~~~~~~(0.1)\end{equation} with $N\geq 2$, which arises from the Caffarelli-Kohn-Nirenberg inequalities. Under the assumptions of finite energy and $a_1+a_2=N-2$, for nonnegative solutions we prove the equivalence between equation (0.1) with $a=a_1$ and equation (0.1) with $a=a_2$. Without finite energy assumptions, for $2\leq p<2^*$ we give the optimal parameter range in which nonnegative solutions of (0.1) in $\mathbf{L}^\infty_{Loc}(\mathbb{R}^N)$ must be radially symmetric, and give a complete classification for these solutions in this range. △ Less

Submitted 13 March, 2025; originally announced March 2025.

A deep learning approach to inverse medium scattering: Learning regularizers from a direct imaging method

Authors: Kai Li, Bo Zhang, Haiwen Zhang

Abstract: This paper aims to solve numerically the two-dimensional inverse medium scattering problem with far-field data. This is a challenging task due to the severe ill-posedness and strong nonlinearity of the inverse problem. As already known, it is necessary but also difficult numerically to employ an appropriate regularization strategy which effectively incorporates certain a priori information of the… ▽ More This paper aims to solve numerically the two-dimensional inverse medium scattering problem with far-field data. This is a challenging task due to the severe ill-posedness and strong nonlinearity of the inverse problem. As already known, it is necessary but also difficult numerically to employ an appropriate regularization strategy which effectively incorporates certain a priori information of the unknown scatterer to overcome the severe ill-posedness of the inverse problem. In this paper, we propose to use a deep learning approach to learn the a priori information of the support of the unknown scatterer from a direct imaging method. Based on the learned a priori information, we propose two inversion algorithms for solving the inverse problem. In the first one, the learned a priori information is incorporated into the projected Landweber method. In the second one, the learned a priori information is used to design the regularization functional for the regularized variational formulation of the inverse problem which is then solved with a traditional iteration algorithm. Extensive numerical experiments show that our inversion algorithms provide good reconstruction results even for the high contrast case and have a satisfactory generalization ability. △ Less

Submitted 11 March, 2025; originally announced March 2025.

Comments: arXiv admin note: text overlap with arXiv:2207.13032

A note on finiteness properties of vertex stabilisers

Authors: Kevin Li, Luis Jorge Sánchez Saldaña

Abstract: We prove a criterion for the geometric and algebraic finiteness properties of vertex stabilisers of $G$-CW-complexes, given the finiteness properties of the group $G$ and of the stabilisers of positive dimensional cells. This generalises a result of Haglund--Wise for groups acting on trees to higher dimensions. As an application, for $n\ge 2$, we deduce the existence of uncountably many quasi-isom… ▽ More We prove a criterion for the geometric and algebraic finiteness properties of vertex stabilisers of $G$-CW-complexes, given the finiteness properties of the group $G$ and of the stabilisers of positive dimensional cells. This generalises a result of Haglund--Wise for groups acting on trees to higher dimensions. As an application, for $n\ge 2$, we deduce the existence of uncountably many quasi-isometry classes of one-ended groups that are of type $\mathsf{FP}_n$ and not of type $\mathsf{FP}_{n+1}$. △ Less

Submitted 20 February, 2025; originally announced February 2025.

Comments: 8 pages

MSC Class: 20J05; 57M07; 20F65

A Kolmogorov High Order Deep Neural Network for High Frequency Partial Differential Equations in High Dimensions

Authors: Yaqin Zhang, Ke Li, Zhipeng Chang, Xuejiao Liu, Yunqing Huang, Xueshuang Xiang

Abstract: This paper proposes a Kolmogorov high order deep neural network (K-HOrderDNN) for solving high-dimensional partial differential equations (PDEs), which improves the high order deep neural networks (HOrderDNNs). HOrderDNNs have been demonstrated to outperform conventional DNNs for high frequency problems by introducing a nonlinear transformation layer consisting of $(p+1)^d$ basis functions. Howeve… ▽ More This paper proposes a Kolmogorov high order deep neural network (K-HOrderDNN) for solving high-dimensional partial differential equations (PDEs), which improves the high order deep neural networks (HOrderDNNs). HOrderDNNs have been demonstrated to outperform conventional DNNs for high frequency problems by introducing a nonlinear transformation layer consisting of $(p+1)^d$ basis functions. However, the number of basis functions grows exponentially with the dimension $d$, which results in the curse of dimensionality (CoD). Inspired by the Kolmogorov superposition theorem (KST), which expresses a multivariate function as superpositions of univariate functions and addition, K-HOrderDNN utilizes a HOrderDNN to efficiently approximate univariate inner functions instead of directly approximating the multivariate function, reducing the number of introduced basis functions to $d(p+1)$. We theoretically demonstrate that CoD is mitigated when target functions belong to a dense subset of continuous multivariate functions. Extensive numerical experiments show that: for high-dimensional problems ($d$=10, 20, 50) where HOrderDNNs($p>1$) are intractable, K-HOrderDNNs($p>1$) exhibit remarkable performance. Specifically, when $d=10$, K-HOrderDNN($p=7$) achieves an error of 4.40E-03, two orders of magnitude lower than that of HOrderDNN($p=1$) (see Table 10); for high frequency problems, K-HOrderDNNs($p>1$) can achieve higher accuracy with fewer parameters and faster convergence rates compared to HOrderDNNs (see Table 8). △ Less

Submitted 3 February, 2025; originally announced February 2025.

Comments: 44 pages, 17 figures,Article submitted to CICP, currently being reviewed

BIAN: A Deep Learning Method to Solve Inverse Problems Using Only Boundary Information

Authors: Feng Chen, Kegan Li, Yiran Meng, Zhiyi Xiao, Pengqi Wu

Abstract: Over the past years, inverse problems in partial differential equations have garnered increasing interest among scientists and engineers. However, due to the lack of conventional stability, nonlinearity and non-convexity, these problems are quite challenging and difficult to solve. In this work, we propose a new kind of neural network to solve the coefficient identification problems with only the… ▽ More Over the past years, inverse problems in partial differential equations have garnered increasing interest among scientists and engineers. However, due to the lack of conventional stability, nonlinearity and non-convexity, these problems are quite challenging and difficult to solve. In this work, we propose a new kind of neural network to solve the coefficient identification problems with only the boundary information. In this work, three networks has been utilized as an approximator, a generator and a discriminator, respectively. This method is particularly useful in scenarios where the coefficients of interest have a complicated structure or are difficult to represent with traditional models. Comparative analysis against traditional coefficient estimation techniques demonstrates the superiority of our approach, not only handling highdimensional data and complex coefficient distributions adeptly by incorporating neural networks but also eliminating the necessity for extensive internal information due to the relationship between the energy distribution within the domain to the energy flux on the boundary. Several numerical examples have been presented to substantiate the merits of this algorithm including solving the Poisson equation and Helmholtz equation with spatially varying and piecewise uniform medium. △ Less

Submitted 9 March, 2025; v1 submitted 14 January, 2025; originally announced January 2025.

Frobenius-Schur Indicators of Dual Fusion Categories and Semisimple Partially Dualized Quasi-Hopf Algebras

Authors: Kangqiao Li

Abstract: Frobenius-Schur indicators of objects in pivotal monoidal categories were defined and formulated by Ng and Schauenburg in 2007. In this paper, we introduce and study an analogous formula for indicators in the dual category $\mathcal{C}_{\mathcal{M}}^\ast$ to a spherical fusion category $\mathcal{C}$ (with respect to an indecomposable semisimple module category $\mathcal{M}$) over $\mathbb{C}$. Our… ▽ More Frobenius-Schur indicators of objects in pivotal monoidal categories were defined and formulated by Ng and Schauenburg in 2007. In this paper, we introduce and study an analogous formula for indicators in the dual category $\mathcal{C}_{\mathcal{M}}^\ast$ to a spherical fusion category $\mathcal{C}$ (with respect to an indecomposable semisimple module category $\mathcal{M}$) over $\mathbb{C}$. Our main theorem is a relation between indicators of specific objects in $\mathcal{C}_{\mathcal{M}}^\ast$ and $\mathcal{C}$. As consequences: 1) We obtain equalities on the indicators between certain representations and the exponents of a semisimple complex Hopf algebra as well as its partially dualized quasi-Hopf algebra; 2) We show that the property in Kashina's conjecture on the exponent holds for a class of semisimple Hopf algebras fitting into abelian extensions with assumptions weaker than split. △ Less

Submitted 6 January, 2025; originally announced January 2025.

Comments: All comments are welcome!

MSC Class: 18M15; 16T05; 18M20

On entangled and multi-parameter commutators

Authors: Kangwei Li, Henri Martikainen

Abstract: We complement the recent theory of general singular integrals $T$ invariant under the Zygmund dilations $(x_1, x_2, x_3) \mapsto (s x_1, tx_2, st x_3)$ by proving necessary and sufficient conditions for the boundedness and compactness of commutators $[b,T]$ from $L^p \to L^q$. Previously, only the $p=q$ upper bound in terms of a Zygmund type little $\operatorname{BMO}$ space was known for general… ▽ More We complement the recent theory of general singular integrals $T$ invariant under the Zygmund dilations $(x_1, x_2, x_3) \mapsto (s x_1, tx_2, st x_3)$ by proving necessary and sufficient conditions for the boundedness and compactness of commutators $[b,T]$ from $L^p \to L^q$. Previously, only the $p=q$ upper bound in terms of a Zygmund type little $\operatorname{BMO}$ space was known for general operators, and it appears that there has been some confusion about the corresponding lower bound in recent literature. We give complete characterizations whenever $p \le q$ for a general class of non-degenerate Zygmund type singular integrals. Some of the results are somewhat surprising in view of existing papers - for instance, compactness always forces $b$ to be constant. Even in the simpler situation of bi-parameter singular integrals it appears that this has not been observed previously. △ Less

Submitted 3 December, 2024; originally announced December 2024.

Comments: 27 pages

MSC Class: 42B20

The Spectral Distribution of Random Graphs with Given Degree Sequences

Authors: Shuyi Wang, Kevin Li, Jiaoyang Huang

Abstract: In this article, we study random graphs with a given degree sequence $d_1, d_2, \cdots, d_n$ from the configuration model. We show that under mild assumptions of the degree sequence, the spectral distribution of the normalized Laplacian matrix of such random graph converges in distribution to the semicircle distribution as the number of vertices $n\rightarrow \infty$. This extends work by McKay (1… ▽ More In this article, we study random graphs with a given degree sequence $d_1, d_2, \cdots, d_n$ from the configuration model. We show that under mild assumptions of the degree sequence, the spectral distribution of the normalized Laplacian matrix of such random graph converges in distribution to the semicircle distribution as the number of vertices $n\rightarrow \infty$. This extends work by McKay (1981) and Tran, Vu and Wang (2013) which studied random regular graphs ($d_1=d_2=\cdots=d_n=d$). Furthermore, we extend the assumption to show that a slightly more general condition is equivalent to the weak convergence to semicircle distribution. The equivalence is also illustrated by numerical simulations. △ Less

Submitted 2 December, 2024; originally announced December 2024.

Adaptive Basis-inspired Deep Neural Network for Solving Partial Differential Equations with Localized Features

Authors: Ke Li, Yaqin Zhang, Yunqing Huang, Chenyue Xie, Xueshuang Xiang

Abstract: This paper proposes an Adaptive Basis-inspired Deep Neural Network (ABI-DNN) for solving partial differential equations with localized phenomena such as sharp gradients and singularities. Like the adaptive finite element method, ABI-DNN incorporates an iteration of "solve, estimate, mark, enhancement", which automatically identifies challenging regions and adds new neurons to enhance its capabilit… ▽ More This paper proposes an Adaptive Basis-inspired Deep Neural Network (ABI-DNN) for solving partial differential equations with localized phenomena such as sharp gradients and singularities. Like the adaptive finite element method, ABI-DNN incorporates an iteration of "solve, estimate, mark, enhancement", which automatically identifies challenging regions and adds new neurons to enhance its capability. A key challenge is to force new neurons to focus on identified regions with limited understanding of their roles in approximation. To address this, we draw inspiration from the finite element basis function and construct the novel Basis-inspired Block (BI-block), to help understand the contribution of each block. With the help of the BI-block and the famous Kolmogorov Superposition Theorem, we first develop a novel fixed network architecture named the Basis-inspired Deep Neural Network (BI-DNN), and then integrate it into the aforementioned adaptive framework to propose the ABI-DNN. Extensive numerical experiments demonstrate that both BI-DNN and ABI-DNN can effectively capture the challenging singularities in target functions. Compared to PINN, BI-DNN attains significantly lower relative errors with a similar number of trainable parameters. When a specified tolerance is set, ABI-DNN can adaptively learn an appropriate architecture that achieves an error comparable to that of BI-DNN with the same structure. △ Less

Submitted 30 November, 2024; originally announced December 2024.

On pointwise convergence of multilinear Bochner-Riesz means

Authors: Danqing He, Kangwei Li, Jiqiang Zheng

Abstract: We improve the range of indices when the multilinear Bochner-Riesz means converges pointwisely. We obtain this result by establishing the $L^p$ estimates and weighted estimates of $k$-linear maximal Bochner-Riesz operators inductively, which is new when $p<2/k$ in higher dimensions. To prove these estimates, we make use of a variant of Stein's square function and its multilinear generalization. We improve the range of indices when the multilinear Bochner-Riesz means converges pointwisely. We obtain this result by establishing the $L^p$ estimates and weighted estimates of $k$-linear maximal Bochner-Riesz operators inductively, which is new when $p<2/k$ in higher dimensions. To prove these estimates, we make use of a variant of Stein's square function and its multilinear generalization. △ Less

Submitted 29 November, 2024; originally announced December 2024.

A conditional normalizing flow for domain decomposed uncertainty quantification

Authors: Sen Li, Ke Li, Yu Liu, Qifeng Liao

Abstract: In this paper we present a conditional KRnet (cKRnet) based domain decomposed uncertainty quantification (CKR-DDUQ) approach to propagate uncertainties across different physical domains in models governed by partial differential equations (PDEs) with random inputs. This approach is based on the domain decomposed uncertainty quantification (DDUQ) method presented in [Q. Liao and K. Willcox, SIAM J.… ▽ More In this paper we present a conditional KRnet (cKRnet) based domain decomposed uncertainty quantification (CKR-DDUQ) approach to propagate uncertainties across different physical domains in models governed by partial differential equations (PDEs) with random inputs. This approach is based on the domain decomposed uncertainty quantification (DDUQ) method presented in [Q. Liao and K. Willcox, SIAM J. Sci. Comput., 37 (2015), pp. A103--A133], which suffers a bottleneck of density estimation for local joint input distributions in practice. In this work, we reformulate the required joint distributions as conditional distributions, and propose a new conditional normalizing flow model, called cKRnet, to efficiently estimate the conditional probability density functions. We present the general framework of CKR-DDUQ, conduct its convergence analysis, validate its accuracy and demonstrate its efficiency with numerical experiments. △ Less

Submitted 3 November, 2024; originally announced November 2024.

Annihilating polynomial, Jordan canonical from, and generalized spectral characterizations of Eulerian graphs

Authors: Kunyue Li, Wei Wang, Hao Zhang

Abstract: Let $G$ be an Eulerian graph on $n$ vertices with adjacency matrix $A$ and characteristic polynomial $φ(x)$. We show that when $n$ is even (resp. odd), the square-root of $φ(x)$ (resp. $xφ(x)$) is an annihilating polynomial of $A$, over $\mathbb{F}_2$. The result was achieved by applying the Jordan canonical form of $A$ over the algebraic closure $\bar{\mathbb{F}}_2$. Based on this, we show a fami… ▽ More Let $G$ be an Eulerian graph on $n$ vertices with adjacency matrix $A$ and characteristic polynomial $φ(x)$. We show that when $n$ is even (resp. odd), the square-root of $φ(x)$ (resp. $xφ(x)$) is an annihilating polynomial of $A$, over $\mathbb{F}_2$. The result was achieved by applying the Jordan canonical form of $A$ over the algebraic closure $\bar{\mathbb{F}}_2$. Based on this, we show a family of Eulerian graphs are determined by their generalized spectrum among all Eulerian graphs, which significantly simplifies and strengthens the previous result. △ Less

Submitted 13 October, 2024; originally announced October 2024.

MSC Class: 05C50

Anderson Acceleration in Nonsmooth Problems: Local Convergence via Active Manifold Identification

Authors: Kexin Li, Luwei Bai, Xiao Wang, Hao Wang

Abstract: Anderson acceleration is an effective technique for enhancing the efficiency of fixed-point iterations; however, analyzing its convergence in nonsmooth settings presents significant challenges. In this paper, we investigate a class of nonsmooth optimization algorithms characterized by the active manifold identification property. This class includes a diverse array of methods such as the proximal p… ▽ More Anderson acceleration is an effective technique for enhancing the efficiency of fixed-point iterations; however, analyzing its convergence in nonsmooth settings presents significant challenges. In this paper, we investigate a class of nonsmooth optimization algorithms characterized by the active manifold identification property. This class includes a diverse array of methods such as the proximal point method, proximal gradient method, proximal linear method, proximal coordinate descent method, Douglas-Rachford splitting (or the alternating direction method of multipliers), and the iteratively reweighted $\ell_1$ method, among others. Under the assumption that the optimization problem possesses an active manifold at a stationary point, we establish a local R-linear convergence rate for the Anderson-accelerated algorithm. Our extensive numerical experiments further highlight the robust performance of the proposed Anderson-accelerated methods. △ Less

Submitted 15 October, 2024; v1 submitted 12 October, 2024; originally announced October 2024.

The algebraic cheap rebuilding property

Authors: Kevin Li, Clara Loeh, Marco Moraschini, Roman Sauer, Matthias Uschold

Abstract: We present an axiomatic approach to combination theorems for various homological properties of groups and, more generally, of chain complexes. Examples of such properties include algebraic finiteness properties, $\ell^2$-invisibility, $\ell^2$-acyclicity, lower bounds for Novikov--Shubin invariants, and vanishing of homology growth. We introduce an algebraic version of Abért--Bergeron--Frączyk--Ga… ▽ More We present an axiomatic approach to combination theorems for various homological properties of groups and, more generally, of chain complexes. Examples of such properties include algebraic finiteness properties, $\ell^2$-invisibility, $\ell^2$-acyclicity, lower bounds for Novikov--Shubin invariants, and vanishing of homology growth. We introduce an algebraic version of Abért--Bergeron--Frączyk--Gaboriau's cheap rebuilding property that implies vanishing of torsion homology growth and admits a combination theorem. As an application, we show that certain graphs of groups with amenable vertex groups and elementary amenable edge groups have vanishing torsion homology growth. △ Less

Submitted 9 September, 2024; originally announced September 2024.

Comments: 39 pages, comments welcome

MSC Class: 20J06; 20E26

Improving PINNs By Algebraic Inclusion of Boundary and Initial Conditions

Authors: Mohan Ren, Zhihao Fang, Keren Li, Anirbit Mukherjee

Abstract: "AI for Science" aims to solve fundamental scientific problems using AI techniques. As most physical phenomena can be described as Partial Differential Equations (PDEs) , approximating their solutions using neural networks has evolved as a central component of scientific-ML. Physics-Informed Neural Networks (PINNs) is the general method that has evolved for this task but its training is well-known… ▽ More "AI for Science" aims to solve fundamental scientific problems using AI techniques. As most physical phenomena can be described as Partial Differential Equations (PDEs) , approximating their solutions using neural networks has evolved as a central component of scientific-ML. Physics-Informed Neural Networks (PINNs) is the general method that has evolved for this task but its training is well-known to be very unstable. In this work we explore the possibility of changing the model being trained from being just a neural network to being a non-linear transformation of it - one that algebraically includes the boundary/initial conditions. This reduces the number of terms in the loss function than the standard PINN losses. We demonstrate that our modification leads to significant performance gains across a range of benchmark tasks, in various dimensions and without having to tweak the training algorithm. Our conclusions are based on conducting hundreds of experiments, in the fully unsupervised setting, over multiple linear and non-linear PDEs set to exactly solvable scenarios, which lends to a concrete measurement of our performance gains in terms of order(s) of magnitude lower fractional errors being achieved, than by standard PINNs. The code accompanying this manuscript is publicly available at, https://github.com/MorganREN/Improving-PINNs-By-Algebraic-Inclusion-of-Boundary-and-Initial-Conditions △ Less

Submitted 30 July, 2024; originally announced July 2024.

Comments: 48 Pages, 25 Figures

Classification of stationary solutions of the $(4 + 1)$-dimensional radial Yang-Mills equation

Authors: Kui Li, Zhitao Zhang

Abstract: We classify the solutions of the planar weighted Allen-Cahn equation arising from the critical equivariant $SO(4)$ Yang-Mills problem. We first give a complete classification for radially symmetric solutions, and then without symmetry assumptions, we show bounded classical solutions are radially symmetric and also classify them. We classify the solutions of the planar weighted Allen-Cahn equation arising from the critical equivariant $SO(4)$ Yang-Mills problem. We first give a complete classification for radially symmetric solutions, and then without symmetry assumptions, we show bounded classical solutions are radially symmetric and also classify them. △ Less

Submitted 17 July, 2024; originally announced July 2024.

Large-Time Behavior of Solutions to Compressible Navier-Stokes System in Unbounded Domains with Degenerate Heat-Conductivity and Large Data

Authors: Kexin Li, Xiaojing Xu

Abstract: We are concerned with the large-time behavior of solutions to the initial and initial boundary value problems with large initial data for the compressible Navier-Stokes system with degenerate heat-conductivity describing the one-dimensional motion of a viscous heat-conducting perfect polytropic gas in unbounded domains. Both the specific volume and temperature are proved to be bounded from below a… ▽ More We are concerned with the large-time behavior of solutions to the initial and initial boundary value problems with large initial data for the compressible Navier-Stokes system with degenerate heat-conductivity describing the one-dimensional motion of a viscous heat-conducting perfect polytropic gas in unbounded domains. Both the specific volume and temperature are proved to be bounded from below and above independently of both time and space. Moreover, it is shown that the global solution is asymptotically stable as time tends to infinity. △ Less

Submitted 8 June, 2024; originally announced July 2024.

Comments: 24 pages. arXiv admin note: text overlap with arXiv:1809.00609

Endpoint multilinear restricted weak type extrapolation theorem

Authors: Kangwei Li, Teresa Luque, Sheldy Ombrosi

Abstract: In this paper we present a generalization in the context of multilinear Muckenhoupt classes of the endpoint extrapolation theorem on restricted weights due to Carro, Grafakos and Soria. Moreover, our main result is obtained on limited ranges of boundedness and to this aim we introduce a new limited range, off-diagonal extrapolation theorem in the context of restricted weights. In addition, as one… ▽ More In this paper we present a generalization in the context of multilinear Muckenhoupt classes of the endpoint extrapolation theorem on restricted weights due to Carro, Grafakos and Soria. Moreover, our main result is obtained on limited ranges of boundedness and to this aim we introduce a new limited range, off-diagonal extrapolation theorem in the context of restricted weights. In addition, as one of the applications, we prove endpoint estimates of certain bi-sublinear maximal functions associated with the study of return time theorems in ergodic theory. △ Less

Submitted 24 June, 2024; originally announced June 2024.

Comments: 16 pages

Automating Variational Differentiation

Authors: Kangbo Li, Anil Damle

Abstract: Many problems in Physics and Chemistry are formulated as the minimization of a functional. Therefore, methods for solving these problems typically require differentiating maps whose input and/or output are functions -- commonly referred to as variational differentiation. Such maps are not addressed at the mathematical level by the chain rule, which underlies modern symbolic and algorithmic differe… ▽ More Many problems in Physics and Chemistry are formulated as the minimization of a functional. Therefore, methods for solving these problems typically require differentiating maps whose input and/or output are functions -- commonly referred to as variational differentiation. Such maps are not addressed at the mathematical level by the chain rule, which underlies modern symbolic and algorithmic differentiation (AD) systems. Although there are algorithmic solutions such as tracing and reverse accumulation, they do not provide human readability and introduce strict programming constraints that bottleneck performance, especially in high-performance computing (HPC) environments. In this manuscript, we propose a new computer theoretic model of differentiation by combining the pullback of the $\mathbf{B}$ and $\mathbf{C}$ combinators from the combinatory logic. Unlike frameworks based on the chain rule, this model differentiates a minimal complete basis for the space of computable functions. Consequently, the model is capable of analytic backpropagation and variational differentiation while supporting complex numbers. To demonstrate the generality of this approach we build a system named CombDiff, which can differentiate nontrivial variational problems such as Hartree-Fock (HF) theory and multilayer perceptrons. △ Less

Submitted 23 June, 2024; originally announced June 2024.

Comments: 16 pages

MSC Class: 68V99; 49-04; 15-04

Preferential Multi-Objective Bayesian Optimization

Authors: Raul Astudillo, Kejun Li, Maegan Tucker, Chu Xin Cheng, Aaron D. Ames, Yisong Yue

Abstract: Preferential Bayesian optimization (PBO) is a framework for optimizing a decision-maker's latent preferences over available design choices. While preferences often involve multiple conflicting objectives, existing work in PBO assumes that preferences can be encoded by a single objective function. For example, in robotic assistive devices, technicians often attempt to maximize user comfort while si… ▽ More Preferential Bayesian optimization (PBO) is a framework for optimizing a decision-maker's latent preferences over available design choices. While preferences often involve multiple conflicting objectives, existing work in PBO assumes that preferences can be encoded by a single objective function. For example, in robotic assistive devices, technicians often attempt to maximize user comfort while simultaneously minimizing mechanical energy consumption for longer battery life. Similarly, in autonomous driving policy design, decision-makers wish to understand the trade-offs between multiple safety and performance attributes before committing to a policy. To address this gap, we propose the first framework for PBO with multiple objectives. Within this framework, we present dueling scalarized Thompson sampling (DSTS), a multi-objective generalization of the popular dueling Thompson algorithm, which may be of interest beyond the PBO setting. We evaluate DSTS across four synthetic test functions and two simulated exoskeleton personalization and driving policy design tasks, showing that it outperforms several benchmarks. Finally, we prove that DSTS is asymptotically consistent. As a direct consequence, this result provides, to our knowledge, the first convergence guarantee for dueling Thompson sampling in the PBO setting. △ Less

Submitted 20 June, 2024; originally announced June 2024.

Large data global existence for coupled massive-massless wave-type systems

Authors: Yuan Cai, Shijie Dong, Kuijie Li, Jingya Zhao

Abstract: We consider 3D Klein-Gordon-Zakharov (KGZ) and Dirac-Klein-Gordon (DKG) systems, where a common feature is that there exist both massless and massive fields in each system. We establish global existence and asymptotic behavior for both systems with a class of large data. More precisely, in the KGZ system, we allow the massless field to be large, while in the DKG system we allow the massive field t… ▽ More We consider 3D Klein-Gordon-Zakharov (KGZ) and Dirac-Klein-Gordon (DKG) systems, where a common feature is that there exist both massless and massive fields in each system. We establish global existence and asymptotic behavior for both systems with a class of large data. More precisely, in the KGZ system, we allow the massless field to be large, while in the DKG system we allow the massive field to be large. △ Less

Submitted 10 June, 2024; v1 submitted 9 June, 2024; originally announced June 2024.

Comments: All comments are welcome. 58 pages

Wellposedness of solution for an $N$-D chemotaxis-convection model during tumor angiogenesis

Authors: Fengxiang Zhao, Jiashan Zheng, Kaiqiang Li

Abstract: In this paper, we consider the following parabolic-parabolic-elliptic system } \begin{align*} \left\{\aligned & u_t=Δu-\nabla\cdot(u\nabla v)+ξ\nabla\cdot(u\nabla w)+au-μu^α, && x\inΩ, t>0,\\ & v_t=Δv+\nabla\cdot(v\nabla w)-v+u,&& x\inΩ, t>0,\\ & 0=Δw-w+u,&& x\inΩ, t>0\\ \endaligned\right. \end{align*} on a bounded domain $Ω\subset \mathbb{R}^{N}$ ($N\geq1$) with smooth boundary $\partial Ω$, wher… ▽ More In this paper, we consider the following parabolic-parabolic-elliptic system } \begin{align*} \left\{\aligned & u_t=Δu-\nabla\cdot(u\nabla v)+ξ\nabla\cdot(u\nabla w)+au-μu^α, && x\inΩ, t>0,\\ & v_t=Δv+\nabla\cdot(v\nabla w)-v+u,&& x\inΩ, t>0,\\ & 0=Δw-w+u,&& x\inΩ, t>0\\ \endaligned\right. \end{align*} on a bounded domain $Ω\subset \mathbb{R}^{N}$ ($N\geq1$) with smooth boundary $\partial Ω$, where $μ$, $a$, $α$ are positive constants and $ξ\in\mathbb{R}$. If one of the following cases holds:\\ (i) $N\geq4$ and $α>\frac{4N-4+N\sqrt{2N^2-6N+8}}{2N}$;\\ (ii) $N=3$, $α>2$, for any $μ>0$ or $α=2$, the index $μ$ should be suitably big;\\ (iii) $N=2$, $α\geq2$, for any $μ>0$.\\ Without any restriction on the index $ξ$, for any given suitably regular initial data, the corresponding Neumann initial-boundary problem admits a unique global and bounded classical solution. △ Less

Submitted 27 May, 2024; originally announced May 2024.

Some further progress for existence and boundedness of solutions to a two-dimensional chemotaxis-(Navier-)Stokes system modeling coral fertilization

Authors: Jiashan Zheng, Kaiqiang Li

Abstract: In this paper, we investigate the effects exerted by the interplay among Laplacian diffusion, chemotaxis cross diffusion and the fluid dynamic mechanism on global existence and boundedness of the solutions. The mathematical model considered herein appears as \begin{align}\left\{ \begin{array}{l} n_t+u\cdot\nabla n=Δn-\nabla\cdot( nS(n)\nabla c)-nm,\quad x\in Ω, t>0, \disp{ c_{ t}+u\cdot\nabla c=Δc… ▽ More In this paper, we investigate the effects exerted by the interplay among Laplacian diffusion, chemotaxis cross diffusion and the fluid dynamic mechanism on global existence and boundedness of the solutions. The mathematical model considered herein appears as \begin{align}\left\{ \begin{array}{l} n_t+u\cdot\nabla n=Δn-\nabla\cdot( nS(n)\nabla c)-nm,\quad x\in Ω, t>0, \disp{ c_{ t}+u\cdot\nabla c=Δc-c+w},\quad x\in Ω, t>0, \disp{w_{t}+u\cdot\nabla w=Δw-nw},\quad x\in Ω, t>0,\\ u_t+κ(u \cdot \nabla)u+\nabla P=Δu+(n+m)\nabla φ,\quad x\in Ω, t>0,\\ \nabla\cdot u=0,\quad x\in Ω, t>0,\\ \end{array}\right.\eqno(KSNF) \end{align} in a bounded domain $Ω\subset \mathbb{R}^2$ with a smooth boundary, which describes the process of coral fertilization occurring in ocean flow. Here $κ\in \mathbb{R}$ is a given constant, $φ\in W^{2,\infty}(Ω)$and $S(n) $ is a scalar function satisfies $|S(n)|\leq C_S(1+n)^{-α}$ {for all} $n\geq 0$ with some $C_S>0$ and $α\in\mathbb{R}$. It is proved that if either $α>-1,κ=0$ or $α\geq-\frac{1}{2},κ\in\mathbb{R}$ is satisfied,then for any reasonably smooth initial data, the corresponding Neumann-Neumann-Neumann-Dirichlet initial-boundary problem $(KSNF)$ possesses a globally classical solution. In case of the stronger assumption $α>-1,κ= 0$ or $α>-\frac{1}{2},κ\in\mathbb{R},$ we moreover show that the corresponding initial-boundary problem admits a unique global classical solution which is uniformly bounded on $Ω\times(0,\infty)$. △ Less

Submitted 27 May, 2024; originally announced May 2024.

Comments: arXiv admin note: text overlap with arXiv:1907.11823

Last-iterate convergence of modified predictive method via high-resolution differential equation on bilinear game

Authors: Keke Li, Xinmin Yang

Abstract: This paper discusses the convergence of the modified predictive method (MPM) proposed by Liang and stokes corresponding to high-resolution differential equations (HRDE) in bilinear games. First, we present the high-resolution differential equations (MPM-HRDE) corresponding to the MPM. Then, we discuss the uniqueness of the solution for MPM-HRDE in bilinear games. Finally, we provide the convergenc… ▽ More This paper discusses the convergence of the modified predictive method (MPM) proposed by Liang and stokes corresponding to high-resolution differential equations (HRDE) in bilinear games. First, we present the high-resolution differential equations (MPM-HRDE) corresponding to the MPM. Then, we discuss the uniqueness of the solution for MPM-HRDE in bilinear games. Finally, we provide the convergence results of MPM-HRDE in bilinear games. The results obtained in this paper address the gap in the existing literature and extend the conclusions of related works. △ Less

Submitted 23 May, 2024; originally announced May 2024.

Error Estimation in the Mean-Field Limit of Kinetic Flocking Models with Local Alignments

Authors: Jinhuan Wang, Keyu Li, Hui Huang

Abstract: In this paper, we present an innovative particle system characterized by moderate interactions, designed to accurately approximate kinetic flocking models that incorporate singular interaction forces and local alignment mechanisms. We establish the existence of weak solutions to the corresponding flocking equations and provide an error estimate for the mean-field limit. This is achieved through th… ▽ More In this paper, we present an innovative particle system characterized by moderate interactions, designed to accurately approximate kinetic flocking models that incorporate singular interaction forces and local alignment mechanisms. We establish the existence of weak solutions to the corresponding flocking equations and provide an error estimate for the mean-field limit. This is achieved through the regularization of singular forces and a nonlocal approximation strategy for local alignments. We show that, by selecting the regularization and localization parameters logarithmically with respect to the number of particles, the particle system effectively approximates the mean-field equation. △ Less

Submitted 21 April, 2024; originally announced April 2024.

Augmented Lagrangian method for coupled-cluster

Authors: Fabian M. Faulstich, Yuehaw Khoo, Kangbo Li

Abstract: We propose to improve the convergence properties of the single-reference coupled cluster (CC) method through an augmented Lagrangian formalism. The conventional CC method changes a linear high-dimensional eigenvalue problem with exponential size into a problem of determining the roots of a nonlinear system of equations that has a manageable size. However, current numerical procedures for solving t… ▽ More We propose to improve the convergence properties of the single-reference coupled cluster (CC) method through an augmented Lagrangian formalism. The conventional CC method changes a linear high-dimensional eigenvalue problem with exponential size into a problem of determining the roots of a nonlinear system of equations that has a manageable size. However, current numerical procedures for solving this system of equations to get the lowest eigenvalue suffer from two practical issues: First, solving the CC equations may not converge, and second, when converging, they may converge to other -- potentially unphysical -- states, which are stationary points of the CC energy expression. We show that both issues can be dealt with when a suitably defined energy is minimized in addition to solving the original CC equations. We further propose an augmented Lagrangian method for coupled cluster (alm-CC) to solve the resulting constrained optimization problem. We numerically investigate the proposed augmented Lagrangian formulation showing that the convergence towards the ground state is significantly more stable and that the optimization procedure is less susceptible to local minima. Furthermore, the computational cost of alm-CC is comparable to the conventional CC method. △ Less

Submitted 24 March, 2024; originally announced March 2024.

Comments: 17 pages, 8 figures

Maximal ideals of reduced group C*-algebras and Thompson's groups

Authors: Kevin Aguyar Brix, Chris Bruce, Kang Li, Eduardo Scarparo

Abstract: Given a conditional expectation $P$ from a C*-algebra $B$ onto a C*-subalgebra $A$, we observe that induction of ideals via $P$, together with a map which we call co-induction, forms a Galois connection between the lattices of ideals of $A$ and $B$. Using properties of this Galois connection, we show that, given a discrete group $G$ and a stabilizer subgroup $G_x$ for the action of $G$ on its Furs… ▽ More Given a conditional expectation $P$ from a C*-algebra $B$ onto a C*-subalgebra $A$, we observe that induction of ideals via $P$, together with a map which we call co-induction, forms a Galois connection between the lattices of ideals of $A$ and $B$. Using properties of this Galois connection, we show that, given a discrete group $G$ and a stabilizer subgroup $G_x$ for the action of $G$ on its Furstenberg boundary, induction gives a bijection between the set of maximal co-induced ideals of $C^*(G_x)$ and the set of maximal ideals of $C^*_r(G)$. As an application, we prove that the reduced C*-algebra of Thompson's group $T$ has a unique maximal ideal. Furthermore, we show that, if Thompson's group $F$ is amenable, then $C^*_r(T)$ has infinitely many ideals. △ Less

Submitted 22 March, 2024; v1 submitted 20 March, 2024; originally announced March 2024.

Comments: 15 pages. Corrected the arXiv title of the paper

Curved commutators in the plane

Authors: Kangwei Li, Henri Martikainen, Tuomas Oikari

Abstract: We complete the $L^p$ boundedness theory of commutators of Hilbert transforms along monomial curves by providing the previously missing lower bounds. This optimal result now covers all monomial curves while previous results had significant geometric restrictions. We also, for the first time, develop the corresponding necessity theory for curves with non-vanishing torsion. We complete the $L^p$ boundedness theory of commutators of Hilbert transforms along monomial curves by providing the previously missing lower bounds. This optimal result now covers all monomial curves while previous results had significant geometric restrictions. We also, for the first time, develop the corresponding necessity theory for curves with non-vanishing torsion. △ Less

Submitted 13 March, 2024; originally announced March 2024.

Comments: 27 pages

MSC Class: 42B20

Anderson acceleration for iteratively reweighted $\ell_1$ algorithm

Authors: Kexin Li

Abstract: Iteratively reweighted L1 (IRL1) algorithm is a common algorithm for solving sparse optimization problems with nonconvex and nonsmooth regularization. The development of its acceleration algorithm, often employing Nesterov acceleration, has sparked significant interest. Nevertheless, the convergence and complexity analysis of these acceleration algorithms consistently poses substantial challenges.… ▽ More Iteratively reweighted L1 (IRL1) algorithm is a common algorithm for solving sparse optimization problems with nonconvex and nonsmooth regularization. The development of its acceleration algorithm, often employing Nesterov acceleration, has sparked significant interest. Nevertheless, the convergence and complexity analysis of these acceleration algorithms consistently poses substantial challenges. Recently, Anderson acceleration has gained prominence owing to its exceptional performance for speeding up fixed-point iteration, with numerous recent studies applying it to gradient-based algorithms. Motivated by the powerful impact of Anderson acceleration, we propose an Anderson-accelerated IRL1 algorithm and establish its local linear convergence rate. We extend this convergence result, typically observed in smooth settings, to a nonsmooth scenario. Importantly, our theoretical results do not depend on the Kurdyka-Lojasiewicz condition, a necessary condition in existing Nesterov acceleration-based algorithms. Furthermore, to ensure global convergence, we introduce a globally convergent Anderson accelerated IRL1 algorithm by incorporating a classical nonmonotone line search condition. Experimental results indicate that our algorithm outperforms existing Nesterov acceleration-based algorithms. △ Less

Submitted 11 March, 2024; originally announced March 2024.

On some improved weighted weak type inequalities

Authors: Andrei K. Lerner, Kangwei Li, Sheldy Ombrosi, Israel P. Rivera-Ríos

Abstract: In this paper we obtain the sharp quantitative matrix weighted weak type bounds for the Christ--Goldberg maximal operator $M_{W,p}$ in the case $1<p<2$, improving a recent result by Cruz-Uribe and Sweeting. Also, in the scalar setting, we improve a weak type bound obtained in the aforementioned work for Calderón--Zygmund operators. In this paper we obtain the sharp quantitative matrix weighted weak type bounds for the Christ--Goldberg maximal operator $M_{W,p}$ in the case $1<p<2$, improving a recent result by Cruz-Uribe and Sweeting. Also, in the scalar setting, we improve a weak type bound obtained in the aforementioned work for Calderón--Zygmund operators. △ Less

Submitted 1 February, 2024; originally announced February 2024.

Comments: 21 pages

MSC Class: 42B20

Constructing rotatable permutations of $\mathbb{F}_{2^m}^3$ with $3$-homogeneous functions

Authors: Yunwen Chi, Kangquan Li, Longjiang Qu

Abstract: In the literature, there are many results about permutation polynomials over finite fields. However, very few permutations of vector spaces are constructed although it has been shown that permutations of vector spaces have many applications in cryptography, especially in constructing permutations with low differential and boomerang uniformities. In this paper, motivated by the butterfly structur… ▽ More In the literature, there are many results about permutation polynomials over finite fields. However, very few permutations of vector spaces are constructed although it has been shown that permutations of vector spaces have many applications in cryptography, especially in constructing permutations with low differential and boomerang uniformities. In this paper, motivated by the butterfly structure \cite{perrin2016cryptanalysis} and the work of Qu and Li \cite{qu2023}, we investigate rotatable permutations from $\gf_{2^m}^3$ to itself with $d$-homogenous functions. Based on the theory of equations of low degree, the resultant of polynomials, and some skills of exponential sums, we construct five infinite classes of $3$-homogeneous rotatable permutations from $\gf_{2^m}^3$ to itself, where $m$ is odd. Moreover, we demonstrate that the corresponding permutation polynomials of $\gf_{2^{3m}}$ of our newly constructed permutations of $\gf_{2^m}^3$ are QM-inequivalent to the known ones. △ Less

Submitted 30 January, 2024; originally announced January 2024.

Tracial states on groupoid $C^*$-algebras and essential freeness

Authors: Kang Li, Jiawen Zhang

Abstract: Let $\mathcal{G}$ be a locally compact Hausdorff étale groupoid. We call a tracial state $τ$ on a general groupoid $C^*$-algebra $C_ν^*(\mathcal{G})$ canonical if $τ=τ|_{C_0(\mathcal{G}^{(0)})} \circ E$, where $E:C^*_ν(\mathcal{G}) \to C_0(\mathcal{G}^{(0)})$ is the canonical conditional expectation. In this paper, we consider so-called fixed point traces on $C_c(\mathcal{G})$, and prove that… ▽ More Let $\mathcal{G}$ be a locally compact Hausdorff étale groupoid. We call a tracial state $τ$ on a general groupoid $C^*$-algebra $C_ν^*(\mathcal{G})$ canonical if $τ=τ|_{C_0(\mathcal{G}^{(0)})} \circ E$, where $E:C^*_ν(\mathcal{G}) \to C_0(\mathcal{G}^{(0)})$ is the canonical conditional expectation. In this paper, we consider so-called fixed point traces on $C_c(\mathcal{G})$, and prove that $\mathcal{G}$ is essentially free if and only if any tracial state on $C_ν^*(\mathcal{G})$ is canonical and any fixed point trace is extendable to $C_ν^*(\mathcal{G})$. As applications, we obtain the following: 1) a group action is essentially free if every tracial state on the reduced crossed product is canonical and every isotropy group is amenable; 2) if the groupoid $\mathcal{G}$ is second countable, amenable and essentially free then every (not necessarily faithful) tracial state on the reduced groupoid $C^*$-algebra is quasidiagonal. △ Less

Submitted 9 September, 2024; v1 submitted 27 January, 2024; originally announced January 2024.

Comments: To appear in JNCG

$q$-de Rham complexes of higher level

Authors: Kimihiko Li

Abstract: In this article, we construct two kinds of de Rham-like complexes which compute the cohomology of complete crystals on the higher-level $q$-crystalline site, which was introduced in a previous article of the author. One complex is the $q$-analog of the higher de Rham complex constructed by Miyatani, and another complex is the $q$-analog of the jet complex constructed by Le Stum-Quirós. The complex… ▽ More In this article, we construct two kinds of de Rham-like complexes which compute the cohomology of complete crystals on the higher-level $q$-crystalline site, which was introduced in a previous article of the author. One complex is the $q$-analog of the higher de Rham complex constructed by Miyatani, and another complex is the $q$-analog of the jet complex constructed by Le Stum-Quirós. The complexes we construct can also be regarded as the higher-level analogs of the $q$-de Rham complex. △ Less

Submitted 24 August, 2024; v1 submitted 3 January, 2024; originally announced January 2024.

Comments: v2: update, 66 pages

MSC Class: 14F30; 14F20

Cubic Dirac equations with a class of large data

Authors: Shijie Dong, Kuijie Li, Jingya Zhao

Abstract: We are interested in massless cubic Dirac equations in two and three space dimensions, known as the Soler model. The solution to this model is known as a wave function, which has the unit $L^2$ norm. We aim to show global existence and asymptotic behavior for the cubic Dirac model with a class of initial data that can be large in $L^2$. We are interested in massless cubic Dirac equations in two and three space dimensions, known as the Soler model. The solution to this model is known as a wave function, which has the unit $L^2$ norm. We aim to show global existence and asymptotic behavior for the cubic Dirac model with a class of initial data that can be large in $L^2$. △ Less

Submitted 26 December, 2023; v1 submitted 12 December, 2023; originally announced December 2023.

Comments: 30 pages, comments are welcome

Two improved algorithms for sparse generalized canonical correlation analysis

Authors: Kuo-Yue Li, Qi-Ye Zhang, Yong-Han Sun

Abstract: Regularized generalized canonical correlation analysis (RGCCA) is a generalization of regularized canonical correlation analysis to three or more sets of variables, which is a component-based approach aiming to study the relationships between several sets of variables. Sparse generalized canonical correlation analysis (SGCCA) (proposed in Tenenhaus et al. (2014)), combines RGCCA with an `1-penalty… ▽ More Regularized generalized canonical correlation analysis (RGCCA) is a generalization of regularized canonical correlation analysis to three or more sets of variables, which is a component-based approach aiming to study the relationships between several sets of variables. Sparse generalized canonical correlation analysis (SGCCA) (proposed in Tenenhaus et al. (2014)), combines RGCCA with an `1-penalty, in which blocks are not necessarily fully connected, makes SGCCA a flexible method for analyzing a wide variety of practical problems, such as biology, chemistry, sensory analysis, marketing, food research, etc. In Tenenhaus et al. (2014), an iterative algorithm for SGCCA was designed based on the solution to the subproblem (LM-P1 for short) of maximizing a linear function on the intersection of an `1-norm ball and a unit `2-norm sphere proposed in Witten et al. (2009). However, the solution to the subproblem (LM-P1) proposed in Witten et al. (2009) is not correct, which may become the reason that the iterative algorithm for SGCCA is slow and not always convergent. For this, we first characterize the solution to the subproblem LM-P1, and the subproblems LM-P2 and LM-P3, which maximize a linear function on the intersection of an `1-norm sphere and a unit `2-norm sphere, and an `1-norm ball and a unit `2-norm sphere, respectively. Then we provide more efficient block coordinate descent (BCD) algorithms for SGCCA and its two variants, called SGCCA-BCD1, SGCCA-BCD2 and SGCCA-BCD3, corresponding to the subproblems LM-P1, LM-P2 and LM-P3, respectively, prove that they all globally converge to their stationary points. We further propose gradient projected (GP) methods for SGCCA and its two variants when using the Horst scheme, called SGCCA-GP1, SGCCA-GP2 and SGCCA-GP3, corresponding to the subproblems LM-P1, LM-P2 and LM-P3, respectively, and prove that they all △ Less

Submitted 20 March, 2025; v1 submitted 2 November, 2023; originally announced November 2023.

Comments: Some of the simulation results in the paper are biased

Non-free almost finite actions for locally finite-by-virtually $\mathbb{Z}$ groups

Authors: Kang Li, Xin Ma

Abstract: In this paper, we study almost finiteness and almost finiteness in measure of non-free actions. Let $α:G\curvearrowright X$ be a minimal action of a locally finite-by-virtually $\mathbb{Z}$ group $G$ on the Cantor set $X$. We prove that under certain assumptions, the action $α$ is almost finite in measure if and only if $α$ is essentially free. As an application, we obtain that any minimal topolog… ▽ More In this paper, we study almost finiteness and almost finiteness in measure of non-free actions. Let $α:G\curvearrowright X$ be a minimal action of a locally finite-by-virtually $\mathbb{Z}$ group $G$ on the Cantor set $X$. We prove that under certain assumptions, the action $α$ is almost finite in measure if and only if $α$ is essentially free. As an application, we obtain that any minimal topologically free action of a virtually $\mathbb{Z}$ group on an infinite compact metrizable space with the small boundary property is almost finite. This is the first general result, assuming only topological freeness, in this direction, and these lead to new results on uniform property $Γ$ and $\mathcal{Z}$-stability for their crossed product $C^*$-algebras. Some concrete examples of minimal topological free (but non-free) subshifts are provided. △ Less

Submitted 26 May, 2024; v1 submitted 1 November, 2023; originally announced November 2023.

Comments: v3: This is the accepted version by JLMS. v2: concrete examples from subshifts have been added. v1: 12 pages

Strichartz inequalities: some recent developments

Authors: Jianhui Li, Zane Kun Li, Po-Lam Yung

Abstract: Strichartz inequalities, originating from Fourier restriction theory, play a central role in the analysis of dispersive partial differential equations. They serve as a cornerstone for many subsequent developments. We survey some of them in memory of Strichartz, highlighting connections to recent developments in Fourier decoupling. Strichartz inequalities, originating from Fourier restriction theory, play a central role in the analysis of dispersive partial differential equations. They serve as a cornerstone for many subsequent developments. We survey some of them in memory of Strichartz, highlighting connections to recent developments in Fourier decoupling. △ Less

Submitted 13 March, 2024; v1 submitted 23 October, 2023; originally announced October 2023.

Comments: 23 pages; expository paper; revised version incorporating referee comments

Faster randomized partial trace estimation

Authors: Tyler Chen, Robert Chen, Kevin Li, Skai Nzeuton, Yilu Pan, Yixin Wang

Abstract: We develop randomized matrix-free algorithms for estimating partial traces, a generalization of the trace arising in quantum physics and chemistry. Our algorithm improves on the typicality-based approach used in [T. Chen and Y-C. Cheng, \emph{Numerical computation of the equilibrium-reduced density matrix for strongly coupled open quantum systems}, J. Chem. Phys. 157, 064106 (2022)] by deflating i… ▽ More We develop randomized matrix-free algorithms for estimating partial traces, a generalization of the trace arising in quantum physics and chemistry. Our algorithm improves on the typicality-based approach used in [T. Chen and Y-C. Cheng, \emph{Numerical computation of the equilibrium-reduced density matrix for strongly coupled open quantum systems}, J. Chem. Phys. 157, 064106 (2022)] by deflating important subspaces (e.g. corresponding to the low-energy eigenstates) explicitly. This results in a significant variance reduction, leading to several order-of-magnitude speedups over the previous state of the art. We then apply our algorithm to study the thermodynamics of several Heisenberg spin systems, particularly the entanglement spectrum and ergotropy. △ Less

Submitted 27 November, 2024; v1 submitted 18 October, 2023; originally announced October 2023.

Journal ref: SIAM Journal on Scientific Computing, Volume 46, Issue 6, December 2024, Pages: A3427 - A3447

On the sharpness of some quantitative Muckenhoupt-Wheeden inequalities

Authors: Andrei Lerner, Kangwei Li, Sheldy Ombrosi, Israel P. Rivera-Ríos

Abstract: In a recent work by Cruz-Uribe et al. was obtained that \[|\{x\in{\mathbb{R}^d}:w(x)|G(fw^{-1})(x)|>α\}|\lesssim\frac{[w]_{A_1}^2}α\int_{{\mathbb{R}^d}}|f|dx\] both in the matrix and scalar settings, where $G$ is either the Hardy-Littlewood maximal function or any Calderón-Zygmund operator. In this note we show that the quadratic dependence on $[w]_{A_1}$ is sharp. This is done by constructing a s… ▽ More In a recent work by Cruz-Uribe et al. was obtained that \[|\{x\in{\mathbb{R}^d}:w(x)|G(fw^{-1})(x)|>α\}|\lesssim\frac{[w]_{A_1}^2}α\int_{{\mathbb{R}^d}}|f|dx\] both in the matrix and scalar settings, where $G$ is either the Hardy-Littlewood maximal function or any Calderón-Zygmund operator. In this note we show that the quadratic dependence on $[w]_{A_1}$ is sharp. This is done by constructing a sequence of scalar-valued weights with blowing up characteristics so that the corresponding bounds for the Hilbert transform and maximal function are exactly quadratic. △ Less

Submitted 14 April, 2024; v1 submitted 10 October, 2023; originally announced October 2023.

Comments: 8 pages, 3 figures. Introduction and title changed after referee's report. Main results remain the same. To appear in Comptes Rendus Mathématique

Nuclear dimension of subhomogeneous twisted groupoid C*-algebras and dynamic asymptotic dimension

Authors: Christian Bönicke, Kang Li

Abstract: We characterise subhomogeneity for twisted étale groupoid C*-algebras and obtain an upper bound on their nuclear dimension. As an application, we remove the principality assumption in recent results on upper bounds on the nuclear dimension of a twisted étale groupoid C*-algebra in terms of the dynamic asymptotic dimension of the groupoid and the covering dimension of its unit space. As a non-princ… ▽ More We characterise subhomogeneity for twisted étale groupoid C*-algebras and obtain an upper bound on their nuclear dimension. As an application, we remove the principality assumption in recent results on upper bounds on the nuclear dimension of a twisted étale groupoid C*-algebra in terms of the dynamic asymptotic dimension of the groupoid and the covering dimension of its unit space. As a non-principal example, we show that the dynamic asymptotic dimension of any minimal (not necessarily free) action of the infinite dihedral group $D_\infty$ on an infinite compact Hausdorff space $X$ is always one. So if we further assume that $X$ is second-countable and has finite covering dimension, then $C(X)\rtimes_r D_\infty$ has finite nuclear dimension and is classifiable by its Elliott invariant. △ Less

Submitted 4 June, 2024; v1 submitted 29 September, 2023; originally announced September 2023.

Comments: 16 pages, this version will appear in IMRN

MSC Class: 46L05; 22A22