-
Spectral Approximation to Fractional Integral Operators
Authors:
Xiaolin Liu,
Kuan Xu
Abstract:
We propose a fast and stable method for constructing matrix approximations to fractional integral operators applied to series in the Chebyshev fractional polynomials. This method utilizes a recurrence relation satisfied by the fractional integrals of mapped Chebyshev polynomials and significantly outperforms existing methods. Through numerical examples, we highlight the broad applicability of thes…
▽ More
We propose a fast and stable method for constructing matrix approximations to fractional integral operators applied to series in the Chebyshev fractional polynomials. This method utilizes a recurrence relation satisfied by the fractional integrals of mapped Chebyshev polynomials and significantly outperforms existing methods. Through numerical examples, we highlight the broad applicability of these matrix approximations, including the solution of boundary value problems for fractional integral and differential equations. Additional applications include fractional differential equation initial value problems and fractional eigenvalue problems.
△ Less
Submitted 6 July, 2025; v1 submitted 24 June, 2025;
originally announced June 2025.
-
Statistical Mechanics and Categorical Entropy
Authors:
Haiqi Wu,
Kai Xu
Abstract:
This paper investigates the relationship between categorical entropy and von Neumann entropy of quantum lattices. We begin by studying the von Neumann entropy, proving that the average von Neumann entropy per site converges to the logarithm of an algebraic integer in the low-temperature and thermodynamic limits. Next, we turn to categorical entropy. Given an endofunctor of a saturated A-infinity-c…
▽ More
This paper investigates the relationship between categorical entropy and von Neumann entropy of quantum lattices. We begin by studying the von Neumann entropy, proving that the average von Neumann entropy per site converges to the logarithm of an algebraic integer in the low-temperature and thermodynamic limits. Next, we turn to categorical entropy. Given an endofunctor of a saturated A-infinity-category, we construct a corresponding lattice model, through which the categorical entropy can be understood in terms of the information encoded in the model. Finally, by introducing a gauged lattice framework, we unify these two notions of entropy. This unification leads naturally to a sufficient condition for a conjectural algebraicity property of categorical entropy, suggesting a deeper structural connection between A-infinity-categories and statistical mechanics.
△ Less
Submitted 24 May, 2025;
originally announced May 2025.
-
Connected sum of manifolds with spectral Ricci lower bounds
Authors:
Gioacchino Antonelli,
Kai Xu
Abstract:
Let $n > 2$, $γ> \frac{n-1}{n-2}$, and $λ\in \mathbb{R}$. We prove that if $M$ and $N$ are two smooth $n$-manifolds that admit a complete Riemannian metric satisfying
\[
-γΔ+ \mathrm{Ric} > λ,
\]
then the connected sum $M \# N$ also admits such a metric. The construction geometrically resembles a Gromov-Lawson tunnel; the range $ γ> \frac{n-1}{n-2} $ is sharp for this to hold.
Let $n > 2$, $γ> \frac{n-1}{n-2}$, and $λ\in \mathbb{R}$. We prove that if $M$ and $N$ are two smooth $n$-manifolds that admit a complete Riemannian metric satisfying
\[
-γΔ+ \mathrm{Ric} > λ,
\]
then the connected sum $M \# N$ also admits such a metric. The construction geometrically resembles a Gromov-Lawson tunnel; the range $ γ> \frac{n-1}{n-2} $ is sharp for this to hold.
△ Less
Submitted 23 May, 2025;
originally announced May 2025.
-
Stability of the first-order unified gas-kinetic scheme based on a linear kinetic model
Authors:
Tuowei Chen,
Kun Xu
Abstract:
The unified gas-kinetic scheme (UGKS) is becoming increasingly popular for multiscale simulations in all flow regimes. This paper provides the first analytical study on the stability of the UGKS applied to a linear kinetic model, which is able to reproduce the one-dimensional linear scalar advection-diffusion equation via the Chapman-Enskog expansion method. Adopting periodic boundary conditions a…
▽ More
The unified gas-kinetic scheme (UGKS) is becoming increasingly popular for multiscale simulations in all flow regimes. This paper provides the first analytical study on the stability of the UGKS applied to a linear kinetic model, which is able to reproduce the one-dimensional linear scalar advection-diffusion equation via the Chapman-Enskog expansion method. Adopting periodic boundary conditions and neglecting the error from numerical integration, this paper rigorously proves the weighted $L^2$-stability of the first-order UGKS under the Courant-Friedrichs-Lewy (CFL) conditions. It is shown that the time step of the method is not constrained by being less than the particle collision time, nor is it limited by parabolic type CFL conditions typically applied in solving diffusion equations. The novelty of the proof lies in that based on the ratio of the time step to the particle collision time, the update of distribution functions is viewed as a convex combinations of sub-methods related to various physics processes, such as the particle free transport and collisions. The weighted $L^2$-stability of the sub-methods is obtained by considering them as discretizations to corresponding linear hyperbolic systems and utilizing the associated Riemann invariants. Finally, the strong stability preserving property of the UGKS leads to the desired weighted $L^2$-stability.
△ Less
Submitted 1 May, 2025;
originally announced May 2025.
-
Sculpting Subspaces: Constrained Full Fine-Tuning in LLMs for Continual Learning
Authors:
Nikhil Shivakumar Nayak,
Krishnateja Killamsetty,
Ligong Han,
Abhishek Bhandwaldar,
Prateek Chanda,
Kai Xu,
Hao Wang,
Aldo Pareja,
Oleg Silkin,
Mustafa Eyceoz,
Akash Srivastava
Abstract:
Continual learning in large language models (LLMs) is prone to catastrophic forgetting, where adapting to new tasks significantly degrades performance on previously learned ones. Existing methods typically rely on low-rank, parameter-efficient updates that limit the model's expressivity and introduce additional parameters per task, leading to scalability issues. To address these limitations, we pr…
▽ More
Continual learning in large language models (LLMs) is prone to catastrophic forgetting, where adapting to new tasks significantly degrades performance on previously learned ones. Existing methods typically rely on low-rank, parameter-efficient updates that limit the model's expressivity and introduce additional parameters per task, leading to scalability issues. To address these limitations, we propose a novel continual full fine-tuning approach leveraging adaptive singular value decomposition (SVD). Our method dynamically identifies task-specific low-rank parameter subspaces and constrains updates to be orthogonal to critical directions associated with prior tasks, thus effectively minimizing interference without additional parameter overhead or storing previous task gradients. We evaluate our approach extensively on standard continual learning benchmarks using both encoder-decoder (T5-Large) and decoder-only (LLaMA-2 7B) models, spanning diverse tasks including classification, generation, and reasoning. Empirically, our method achieves state-of-the-art results, up to 7% higher average accuracy than recent baselines like O-LoRA, and notably maintains the model's general linguistic capabilities, instruction-following accuracy, and safety throughout the continual learning process by reducing forgetting to near-negligible levels. Our adaptive SVD framework effectively balances model plasticity and knowledge retention, providing a practical, theoretically grounded, and computationally scalable solution for continual learning scenarios in large language models.
△ Less
Submitted 9 April, 2025;
originally announced April 2025.
-
Treatment of Wall Boundary Conditions in High-Order Compact Gas-Kinetic Schemes
Authors:
Jiawang Zhang,
Xing Ji,
Kun Xu
Abstract:
The boundary layer represents a fundamental structure in fluid dynamics, where accurate boundary discretization significantly enhances computational efficiency. This paper presents a third-order boundary discretization for compact gas-kinetic scheme (GKS). Wide stencils and curved boundaries pose challenges in the boundary treatment for high-order schemes, particularly for temporal accuracy. By ut…
▽ More
The boundary layer represents a fundamental structure in fluid dynamics, where accurate boundary discretization significantly enhances computational efficiency. This paper presents a third-order boundary discretization for compact gas-kinetic scheme (GKS). Wide stencils and curved boundaries pose challenges in the boundary treatment for high-order schemes, particularly for temporal accuracy. By utilizing a time-dependent gas distribution function, the GKS simultaneously evaluates fluxes and updates flow variables at cell interfaces, enabling the concurrent update of cell-averaged flow variables and their gradients within the third-order compact scheme. The proposed one-sided discretization achieves third-order spatial accuracy on boundary cells by utilizing updated flow variables and gradients in the discretization for non-slip wall boundary conditions. High-order temporal accuracy on boundary cells is achieved through the GKS time-dependent flux implementation with multi-stage multi-derivative methodology. Additionally, we develop exact no-penetration conditions for both adiabatic and isothermal wall boundaries, with extensions to curved mesh geometries to fully exploit the advantages of high-order schemes. Comparative analysis between the proposed one-sided third-order boundary scheme, third-order boundary scheme with ghost cells, and second-order boundary scheme demonstrates significant performance differences for the third-order compact GKS. Results indicate that lower-order boundary cell treatments yield substantially inferior results, while the proposed third-order treatment demonstrates superior performance, particularly on coarse grid configurations.
△ Less
Submitted 6 March, 2025;
originally announced March 2025.
-
A new banded Petrov--Galerkin spectral method
Authors:
Ouyuan Qin,
Lu Cheng,
Kuan Xu
Abstract:
We propose a Petrov--Galerkin spectral method for ODEs with variable coefficients. When the variable coefficients are smooth, the new method yields a strictly banded linear system, which can be efficiently constructed and solved in linear complexity. The performance advantage of our method is demonstrated through benchmarking against Mortensen's Galerkin method and the ultraspherical spectral meth…
▽ More
We propose a Petrov--Galerkin spectral method for ODEs with variable coefficients. When the variable coefficients are smooth, the new method yields a strictly banded linear system, which can be efficiently constructed and solved in linear complexity. The performance advantage of our method is demonstrated through benchmarking against Mortensen's Galerkin method and the ultraspherical spectral method. Furthermore, we introduce a systematic approach for designing the recombined basis and establish that our new method serves as a unifying framework that encompasses all existing banded Galerkin spectral methods. This significantly addresses the ongoing challenge of developing recombined bases and sparse Galerkin spectral method. Additionally, the accelerating techniques presented in this paper can also enhance the performance of the ultraspherical spectral method.
△ Less
Submitted 17 February, 2025;
originally announced February 2025.
-
3-Manifolds with positive scalar curvature and bounded geometry
Authors:
Otis Chodosh,
Yi Lai,
Kai Xu
Abstract:
We show that a complete contractible 3-manifold with positive scalar curvature and bounded geometry must be $\mathbb R^3$. We also show that an open handlebody of genus larger than 1 does not admit complete metrics with positive scalar curvature and bounded geometry. Our results rely on the maximal weak solution to inverse mean curvature flow due to the third-named author.
We show that a complete contractible 3-manifold with positive scalar curvature and bounded geometry must be $\mathbb R^3$. We also show that an open handlebody of genus larger than 1 does not admit complete metrics with positive scalar curvature and bounded geometry. Our results rely on the maximal weak solution to inverse mean curvature flow due to the third-named author.
△ Less
Submitted 13 February, 2025;
originally announced February 2025.
-
Statistical Inference for Low-Rank Tensor Models
Authors:
Ke Xu,
Elynn Chen,
Yuefeng Han
Abstract:
Statistical inference for tensors has emerged as a critical challenge in analyzing high-dimensional data in modern data science. This paper introduces a unified framework for inferring general and low-Tucker-rank linear functionals of low-Tucker-rank signal tensors for several low-rank tensor models. Our methodology tackles two primary goals: achieving asymptotic normality and constructing minimax…
▽ More
Statistical inference for tensors has emerged as a critical challenge in analyzing high-dimensional data in modern data science. This paper introduces a unified framework for inferring general and low-Tucker-rank linear functionals of low-Tucker-rank signal tensors for several low-rank tensor models. Our methodology tackles two primary goals: achieving asymptotic normality and constructing minimax-optimal confidence intervals. By leveraging a debiasing strategy and projecting onto the tangent space of the low-Tucker-rank manifold, we enable inference for general and structured linear functionals, extending far beyond the scope of traditional entrywise inference. Specifically, in the low-Tucker-rank tensor regression or PCA model, we establish the computational and statistical efficiency of our approach, achieving near-optimal sample size requirements (in regression model) and signal-to-noise ratio (SNR) conditions (in PCA model) for general linear functionals without requiring sparsity in the loading tensor. Our framework also attains both computationally and statistically optimal sample size and SNR thresholds for low-Tucker-rank linear functionals. Numerical experiments validate our theoretical results, showcasing the framework's utility in diverse applications. This work addresses significant methodological gaps in statistical inference, advancing tensor analysis for complex and high-dimensional data environments.
△ Less
Submitted 27 January, 2025;
originally announced January 2025.
-
Codimension 2 drawstrings with scalar curvature lower bounds
Authors:
Demetre Kazaras,
Kai Xu
Abstract:
We produce new examples of Riemannian manifolds with scalar curvature lower bounds and collapsing behavior along codimension 2 submanifolds. Applications of this construction are given, primarily on questions concerning the stability of scalar curvature rigidity phenomena, such as Llarull's Theorem and the Positive Mass Theorem.
We produce new examples of Riemannian manifolds with scalar curvature lower bounds and collapsing behavior along codimension 2 submanifolds. Applications of this construction are given, primarily on questions concerning the stability of scalar curvature rigidity phenomena, such as Llarull's Theorem and the Positive Mass Theorem.
△ Less
Submitted 15 January, 2025;
originally announced January 2025.
-
Uniquely $C_{4}^{+}$-saturated graphs
Authors:
Yuying Li,
Kexiang Xu,
Dániel Gerbner,
Wenzhong Liu
Abstract:
A graph $G$ is uniquely $H$-saturated if it contains no copy of a graph $H$ as a subgraph, but adding any new edge into $G$ creates exactly one copy of $H$. Let $C_{4}^{+}$ be the diamond graph consisting of a $4$-cycle $C_{4}$ with one chord and $C_{3}^{*}$ be the graph consisting of a triangle with a pendant edge. In this paper we prove that a nontrivial uniquely $C_{4}^{+}$-saturated graph $G$…
▽ More
A graph $G$ is uniquely $H$-saturated if it contains no copy of a graph $H$ as a subgraph, but adding any new edge into $G$ creates exactly one copy of $H$. Let $C_{4}^{+}$ be the diamond graph consisting of a $4$-cycle $C_{4}$ with one chord and $C_{3}^{*}$ be the graph consisting of a triangle with a pendant edge. In this paper we prove that a nontrivial uniquely $C_{4}^{+}$-saturated graph $G$ has girth $3$ or $4$. Further, $G$ has girth $4$ if and only if it is a strongly regular graph with special parameters. For $n>18k^{2}-24k+10$ with $k\geq2$, there are no uniquely $C_{4}^{+}$-saturated graphs on $n$ vertices with $k$ triangles. In particular, $C_{3}^{*}$ is the only nontrivial uniquely $C_{4}^{+}$-saturated graph with one triangle, and there are no uniquely $C_{4}^{+}$-saturated graphs with two, three or four triangles.
△ Less
Submitted 23 December, 2024;
originally announced December 2024.
-
A Gas-Kinetic Scheme for Maxwell Equations
Authors:
Zhigang Pu,
Kun Xu
Abstract:
In this paper, we present a gas-kinetic scheme using discrete velocity space to solve Maxwell equations. The kinetic model recovers Maxwell equations in the zero relaxation time limit. The scheme achieves second-order spatial and temporal accuracy in structured meshes comparable to the finite-difference time-domain (FDTD) method, without requiring staggered grids or leapfrog discretization. Our ki…
▽ More
In this paper, we present a gas-kinetic scheme using discrete velocity space to solve Maxwell equations. The kinetic model recovers Maxwell equations in the zero relaxation time limit. The scheme achieves second-order spatial and temporal accuracy in structured meshes comparable to the finite-difference time-domain (FDTD) method, without requiring staggered grids or leapfrog discretization. Our kinetic scheme is inherently multidimensional due to its use of kinetic beams in multiple directions, allowing larger time steps in multidimensional computations. It demonstrates better stability than FDTD when handling discontinuities and readily extends to unstructured meshes. We validate the method through various test cases including antenna simulation, sphere scattering, and flight vehicle scattering. The results align well with Riemann-solver-based solutions. Finally, we examine charge conservation for Maxwell equations through test cases.
△ Less
Submitted 21 December, 2024;
originally announced December 2024.
-
A sharp spectral splitting theorem
Authors:
Gioacchino Antonelli,
Marco Pozzetta,
Kai Xu
Abstract:
We prove a sharp spectral generalization of the Cheeger--Gromoll splitting theorem. We show that if a complete non-compact Riemannian manifold $M$ of dimension $n\geq 2$ has at least two ends and
\[
λ_1(-γΔ+\mathrm{Ric})\geq 0,
\]
for some $γ<\frac{4}{n-1}$, then $M$ splits isometrically as $\mathbb R\times N$ for some compact manifold $N$ with nonnegative Ricci curvature. We show that the…
▽ More
We prove a sharp spectral generalization of the Cheeger--Gromoll splitting theorem. We show that if a complete non-compact Riemannian manifold $M$ of dimension $n\geq 2$ has at least two ends and
\[
λ_1(-γΔ+\mathrm{Ric})\geq 0,
\]
for some $γ<\frac{4}{n-1}$, then $M$ splits isometrically as $\mathbb R\times N$ for some compact manifold $N$ with nonnegative Ricci curvature. We show that the constant $\frac{4}{n-1}$ is sharp, and the multiple-end assumption is necessary for any $γ>0$.
△ Less
Submitted 17 December, 2024;
originally announced December 2024.
-
Finiteness and the Emergence of Dualities
Authors:
Matilda Delgado,
Damian van de Heisteeg,
Sanjay Raman,
Ethan Torres,
Cumrun Vafa,
Kai Xu
Abstract:
We argue that the finiteness of quantum gravity amplitudes in fully compactified theories (at least in supersymmetric cases) leads to a bottom-up prediction for the existence of non-trivial dualities. In particular, finiteness requires the moduli space of massless fields to be compactifiable, meaning that its volume must be finite or at least grow no faster than that of Euclidean space. Moreover,…
▽ More
We argue that the finiteness of quantum gravity amplitudes in fully compactified theories (at least in supersymmetric cases) leads to a bottom-up prediction for the existence of non-trivial dualities. In particular, finiteness requires the moduli space of massless fields to be compactifiable, meaning that its volume must be finite or at least grow no faster than that of Euclidean space. Moreover, we relate the compactifiability of moduli spaces to the condition that the lattice of charged objects transform in a semisimple representation under the action of the duality group. These ideas are supported by a wide variety of string theory examples.
△ Less
Submitted 15 May, 2025; v1 submitted 4 December, 2024;
originally announced December 2024.
-
Neural Solver Selection for Combinatorial Optimization
Authors:
Chengrui Gao,
Haopu Shang,
Ke Xue,
Chao Qian
Abstract:
Machine learning has increasingly been employed to solve NP-hard combinatorial optimization problems, resulting in the emergence of neural solvers that demonstrate remarkable performance, even with minimal domain-specific knowledge. To date, the community has created numerous open-source neural solvers with distinct motivations and inductive biases. While considerable efforts are devoted to design…
▽ More
Machine learning has increasingly been employed to solve NP-hard combinatorial optimization problems, resulting in the emergence of neural solvers that demonstrate remarkable performance, even with minimal domain-specific knowledge. To date, the community has created numerous open-source neural solvers with distinct motivations and inductive biases. While considerable efforts are devoted to designing powerful single solvers, our findings reveal that existing solvers typically demonstrate complementary performance across different problem instances. This suggests that significant improvements could be achieved through effective coordination of neural solvers at the instance level. In this work, we propose the first general framework to coordinate the neural solvers, which involves feature extraction, selection model, and selection strategy, aiming to allocate each instance to the most suitable solvers. To instantiate, we collect several typical neural solvers with state-of-the-art performance as alternatives, and explore various methods for each component of the framework. We evaluated our framework on two extensively studied combinatorial optimization problems, Traveling Salesman Problem (TSP) and Capacitated Vehicle Routing Problem (CVRP). Experimental results show that the proposed framework can effectively distribute instances and the resulting composite solver can achieve significantly better performance (e.g., reduce the optimality gap by 0.88\% on TSPLIB and 0.71\% on CVRPLIB) than the best individual neural solver with little extra time cost.
△ Less
Submitted 24 May, 2025; v1 submitted 12 October, 2024;
originally announced October 2024.
-
An Adaptive Reconstruction Method for Arbitrary High-Order Accuracy Using Discontinuity Feedback
Authors:
Hong Zhang,
Yue Zhao,
Xing Ji,
Kun Xu
Abstract:
This paper introduces an effcient class of adaptive stencil extension reconstruction methods based on a discontinuity feedback factor, addressing the challenges of weak robustness and high computational cost in high-order schemes, particularly those of 7th-order or above. Two key innovations are presented: The accuracy order adaptively increases from the lowest level based on local stencil smoothn…
▽ More
This paper introduces an effcient class of adaptive stencil extension reconstruction methods based on a discontinuity feedback factor, addressing the challenges of weak robustness and high computational cost in high-order schemes, particularly those of 7th-order or above. Two key innovations are presented: The accuracy order adaptively increases from the lowest level based on local stencil smoothness, contrasting with conventional methods like Weighted Essentially Non-Oscillatory (WENO) and Monotonic Upstream-Centered Scheme for Conservation Laws (MUSCL)limiters, which typically reduce order from the highest level. The Discontinuity Feedback Factor (DF) serves a dual purpose: detecting sub-cell discontinuity strength and explicitly incorporating into the reconstruction process as a local smoothness measure. This approach eliminates the need for computationally expensive smoothness indicators often required in very high-order schemes, such as 9th-order schemes, and can be easily generalized to arbitrary high-order schemes. Rigorous test cases, including a Mach 20000 jet, demonstrate the exceptional robustness of this approach.
△ Less
Submitted 7 October, 2024;
originally announced October 2024.
-
Linear hypothesis testing in high-dimensional heteroscedastics via random integration
Authors:
Mingxiang Cao,
Hongwei Zhang,
Kai Xu,
Daojiang He
Abstract:
In this paper, for the problem of heteroskedastic general linear hypothesis testing (GLHT) in high-dimensional settings, we propose a random integration method based on the reference L2-norm to deal with such problems. The asymptotic properties of the test statistic can be obtained under the null hypothesis when the relationship between data dimensions and sample size is not specified. The results…
▽ More
In this paper, for the problem of heteroskedastic general linear hypothesis testing (GLHT) in high-dimensional settings, we propose a random integration method based on the reference L2-norm to deal with such problems. The asymptotic properties of the test statistic can be obtained under the null hypothesis when the relationship between data dimensions and sample size is not specified. The results show that it is more advisable to approximate the null distribution of the test using the distribution of the chi-square type mixture, and it is shown through some numerical simulations and real data analysis that our proposed test is powerful.
△ Less
Submitted 18 September, 2024;
originally announced September 2024.
-
A Memory Reduction Compact Gas Kinetic Scheme on 3D Unstructured Meshes
Authors:
Hongyu Liu,
Xing Ji,
Yunpeng Mao,
Zhe Qian,
Kun Xu
Abstract:
This paper introduces a memory-reduction third-order compact gas-kinetic scheme (CGKS) for solving compressible Euler and Navier-Stokes equations on 3D unstructured meshes. The scheme utilizes a time-evolution gas distribution function to provide a time-evolution solution at cell interfaces, enabling the implementation of Hermite WENO techniques for high-order reconstruction. However, the HWENO me…
▽ More
This paper introduces a memory-reduction third-order compact gas-kinetic scheme (CGKS) for solving compressible Euler and Navier-Stokes equations on 3D unstructured meshes. The scheme utilizes a time-evolution gas distribution function to provide a time-evolution solution at cell interfaces, enabling the implementation of Hermite WENO techniques for high-order reconstruction. However, the HWENO method needs to store a coefficients matrix for the quadratic polynomial to achieve third-order accuracy, resulting in high memory usage. A novel reconstruction method, built upon HWENO reconstruction, has been designed to enhance computational efficiency and reduce memory usage compared to the original CGKS. The simple idea is that the first-order and second-order terms of the quadratic polynomials are determined in a two-step way. In the first step, the second-order terms are obtained from the reconstruction of a linear polynomial of the first-order derivatives by only using the cell-averaged slopes, since the second-order derivatives are nothing but the "derivatives of derivatives". Subsequently, the first-order terms left can be determined by the linear reconstruction only using cell-averaged values. Thus, we successfully split one quadratic least-square regression into several linear least-square regressions, which are commonly used in a second-order finite volume code. Since only a small matrix inversion is needed in a 3-D linear least-square regression, the computational cost for the new reconstruction is dramatically reduced and the storage of the reconstruction-coefficient matrix is no longer necessary. The proposed new reconstruction technique can reduce the overall computational cost by about 20 to 30 percent. The challenging large-scale unsteady numerical simulation is performed, which demonstrates that the current improvement brings the CGKS to a new level for industrial applications.
△ Less
Submitted 22 July, 2024;
originally announced August 2024.
-
Optimal Constant-Weight and Mixed-Weight Conflict-Avoiding Codes
Authors:
Yuan-Hsun Lo,
Tsai-Lien Wong,
Kangkang Xu,
Yijin Zhang
Abstract:
A conflict-avoiding code (CAC) is a deterministic transmission scheme for asynchronous multiple access without feedback. When the number of simultaneously active users is less than or equal to $w$, a CAC of length $L$ with weight $w$ can provide a hard guarantee that each active user has at least one successful transmission within every consecutive $L$ slots. In this paper, we generalize some prev…
▽ More
A conflict-avoiding code (CAC) is a deterministic transmission scheme for asynchronous multiple access without feedback. When the number of simultaneously active users is less than or equal to $w$, a CAC of length $L$ with weight $w$ can provide a hard guarantee that each active user has at least one successful transmission within every consecutive $L$ slots. In this paper, we generalize some previously known constructions of constant-weight CACs, and then derive several classes of optimal CACs by the help of Kneser's Theorem and some techniques in Additive Combinatorics. Another spotlight of this paper is to relax the identical-weight constraint in prior studies to study mixed-weight CACs for the first time, for the purpose of increasing the throughput and reducing the access delay of some potential users with higher priority. As applications of those obtained optimal CACs, we derive some classes of optimal mixed-weight CACs.
△ Less
Submitted 15 December, 2024; v1 submitted 16 July, 2024;
originally announced July 2024.
-
Finite-State Machines for Horospheres in Hyperbolic Right-Angled Coxeter Groups
Authors:
Noah Jillson,
Daniel N. Levitin,
Pramana Saldin,
Katerina Stuopis,
Qianruixi Wang,
Kaicheng Xue
Abstract:
Relatively little is known about the discrete horospheres in hyperbolic groups, even in simple settings. In this paper we work with hyperbolic one-ended right-angled Coxeter groups and describe two graph structures that mimic the intrinsic metric on a classical horosphere: the Rips graph and the divergence graph (the latter due to Cohen, Goodman-Strauss, and Rieck). We develop, analyze, and implem…
▽ More
Relatively little is known about the discrete horospheres in hyperbolic groups, even in simple settings. In this paper we work with hyperbolic one-ended right-angled Coxeter groups and describe two graph structures that mimic the intrinsic metric on a classical horosphere: the Rips graph and the divergence graph (the latter due to Cohen, Goodman-Strauss, and Rieck). We develop, analyze, and implement algorithms based on finite-state machines that draw large finite portions of these graphs, and deduce various geometric corollaries about the path metrics induced by these graph structures.
△ Less
Submitted 22 December, 2024; v1 submitted 26 June, 2024;
originally announced June 2024.
-
Propagation of chaos for mean-field reflected BSDEs with jumps
Authors:
Yiqing Lin,
Kun Xu
Abstract:
In this paper, we study a class of mean-field reflected backward stochastic differential equations (MF-RBSDEs) driven by a marked point process and also analyze MF-RBSDEs driven by a Poisson process. Based on a $g$-expectation representation lemma, we give the existence and uniqueness of the particle system of MF-RBSDEs driven by a marked point process under Lipschitz generator conditions and obta…
▽ More
In this paper, we study a class of mean-field reflected backward stochastic differential equations (MF-RBSDEs) driven by a marked point process and also analyze MF-RBSDEs driven by a Poisson process. Based on a $g$-expectation representation lemma, we give the existence and uniqueness of the particle system of MF-RBSDEs driven by a marked point process under Lipschitz generator conditions and obtain a convergence result of this system. We also establish the well-posedness of the MF-RBSDEs driven by a Poisson process and the convergence rate of the corresponding particle system towards the solution to the MF-RBSDEs driven by a Poisson process under bounded terminal, bounded obstacle conditions.
△ Less
Submitted 11 June, 2025; v1 submitted 18 June, 2024;
originally announced June 2024.
-
Model order reduction for discrete time-delay systems with inhomogeneous initial conditions
Authors:
Xiaolong Wang,
Kejia Xu
Abstract:
We propose two kinds of model order reduction methods for discrete time-delay systems with inhomogeneous initial conditions. The peculiar properties of discrete Walsh functions are directly utilized to compute the Walsh coefficients of the systems, and the projection matrix is defined properly to generate reduced models by taking into account the non-zero initial conditions. It is shown that reduc…
▽ More
We propose two kinds of model order reduction methods for discrete time-delay systems with inhomogeneous initial conditions. The peculiar properties of discrete Walsh functions are directly utilized to compute the Walsh coefficients of the systems, and the projection matrix is defined properly to generate reduced models by taking into account the non-zero initial conditions. It is shown that reduced models can preserve some Walsh coefficients of the expansion of the original systems. Further, the superposition principle is exploited to achieve a decomposition of the original systems, and a new definition of Gramians is proposed by combining the individual Gramians of each subsystem. As a result, the balanced truncation method is applied to systems with inhomogeneous initial conditions. We also provide a low-rank approximation to Gramians based on the discrete Laguerre polynomials, which enables an efficient execution of our approach. Numerical examples confirm the feasibility and effectiveness of the proposed methods.
△ Less
Submitted 6 June, 2024;
originally announced June 2024.
-
Inverse mean curvature flow with outer obstacle
Authors:
Kai Xu
Abstract:
We develop a new boundary condition for the weak inverse mean curvature flow, which gives canonical and non-trivial solutions in bounded domains. Roughly speaking, the boundary of the domain serves as an outer obstacle, and the evolving hypersurfaces are assumed to stick tangentially to the boundary upon contact. In smooth bounded domains, we prove an existence and uniqueness theorem for weak solu…
▽ More
We develop a new boundary condition for the weak inverse mean curvature flow, which gives canonical and non-trivial solutions in bounded domains. Roughly speaking, the boundary of the domain serves as an outer obstacle, and the evolving hypersurfaces are assumed to stick tangentially to the boundary upon contact. In smooth bounded domains, we prove an existence and uniqueness theorem for weak solutions, and establish $C^{1,α}$ regularity of the level sets up to the obstacle. The proof combines various techniques, including elliptic regularization, blow-up analysis, and certain parabolic estimates. As an analytic application, we address the well-posedness problem for the usual weak inverse mean curvature flow, showing that the initial value problem always admits a unique maximal (or innermost) weak solution.
△ Less
Submitted 6 February, 2025; v1 submitted 23 May, 2024;
originally announced May 2024.
-
Understanding the ultraspherical spectral method
Authors:
Lu Cheng,
Kuan Xu
Abstract:
The ultraspherical spectral method features high accuracy and fast solution. In this article, we determine the sources of error arising from the ultraspherical spectral method and derive its effective condition number, which explains why its backward error is consistent with a numerical method with bounded condition number. In addition, we show the cause for the Cauchy error to go below the machin…
▽ More
The ultraspherical spectral method features high accuracy and fast solution. In this article, we determine the sources of error arising from the ultraspherical spectral method and derive its effective condition number, which explains why its backward error is consistent with a numerical method with bounded condition number. In addition, we show the cause for the Cauchy error to go below the machine epsilon and decay eventually to exact zero, revealing the fact that the Cauchy error can be misleading when used as an indicator of convergence and accuracy. The analysis in this work can be readily extended to other spectral methods, when applicable, and to the solution of PDEs.
△ Less
Submitted 20 May, 2024;
originally announced May 2024.
-
New spectral Bishop-Gromov and Bonnet-Myers theorems and applications to isoperimetry
Authors:
Gioacchino Antonelli,
Kai Xu
Abstract:
We show a sharp and rigid spectral generalization of the classical Bishop--Gromov volume comparison theorem: if a closed Riemannian manifold $(M,g)$ of dimension $n\geq3$ satisfies $$ λ_1\left(-\frac{n-1}{n-2}Δ+\mathrm{Ric}\right)\geq n-1, $$ then $\operatorname{vol}(M)\leq\operatorname{vol}(\mathbb S^{n})$, and $π_1(M)$ is finite. The constant $\frac{n-1}{n-2}$ cannot be improved, and if…
▽ More
We show a sharp and rigid spectral generalization of the classical Bishop--Gromov volume comparison theorem: if a closed Riemannian manifold $(M,g)$ of dimension $n\geq3$ satisfies $$ λ_1\left(-\frac{n-1}{n-2}Δ+\mathrm{Ric}\right)\geq n-1, $$ then $\operatorname{vol}(M)\leq\operatorname{vol}(\mathbb S^{n})$, and $π_1(M)$ is finite. The constant $\frac{n-1}{n-2}$ cannot be improved, and if $\mathrm{vol}(M)=\mathrm{vol}(\mathbb S^n)$ holds, then $M\cong \mathbb S^{n}$. A sharp generalization of the Bonnet--Myers theorem is also shown under the same spectral condition.
The proofs involve the use of a new unequally weighted isoperimetric problem, and unequally warped $μ$-bubbles. As an application, in dimensions $3\leq n\leq 5$, we infer sharp results on the isoperimetric structure at infinity of complete manifolds with nonnegative Ricci curvature and uniformly positive spectral biRicci curvature.
Furthermore, the main result of this paper is applied in Mazet's recent solution of the stable Bernstein problem in $\mathbb R^6$.
△ Less
Submitted 10 March, 2025; v1 submitted 14 May, 2024;
originally announced May 2024.
-
Spectral approximation of convolution operators of Fredholm type
Authors:
Xiaolin Liu,
Kuan Deng,
Kuan Xu
Abstract:
We have developed a method for constructing spectral approximations for convolution operators of Fredholm type. The algorithm we propose is numerically stable and takes advantage of the recurrence relations satisfied by the entries of such a matrix approximation. When used for computing the Fredholm convolution of two given functions, such approximations produce the convolution more rapidly than t…
▽ More
We have developed a method for constructing spectral approximations for convolution operators of Fredholm type. The algorithm we propose is numerically stable and takes advantage of the recurrence relations satisfied by the entries of such a matrix approximation. When used for computing the Fredholm convolution of two given functions, such approximations produce the convolution more rapidly than the state-of-the-art methods. The proposed approximation also leads to a spectral method for solving the Fredholm convolution integral equations and enables the computation of eigenvalues and pseudospectra of Fredholm convolution operators, which is otherwise intractable with existing techniques.
△ Less
Submitted 14 May, 2024;
originally announced May 2024.
-
A continuous approach to computing the pseudospectra of linear operators
Authors:
Kuan Deng,
Xiaolin Liu,
Kuan Xu
Abstract:
We propose a continuous approach to computing the pseudospectra of linear operators with compact resolvent, following a 'solve-then-discretize' strategy. Instead of taking a finite section approach or using a finite-dimensional matrix to approximate the operator of interest, the new method employs an operator analogue of the Lanczos process to work with operators and functions directly. The method…
▽ More
We propose a continuous approach to computing the pseudospectra of linear operators with compact resolvent, following a 'solve-then-discretize' strategy. Instead of taking a finite section approach or using a finite-dimensional matrix to approximate the operator of interest, the new method employs an operator analogue of the Lanczos process to work with operators and functions directly. The method is shown to be free of spectral pollution and spectral invisibility, fully adaptive, nearly optimal in accuracy. The advantages of the method are demonstrated by extensive numerical examples and comparison with the traditional method.
△ Less
Submitted 12 March, 2025; v1 submitted 6 May, 2024;
originally announced May 2024.
-
Comparison of the high-order Runge-Kutta discontinuous Galerkin method and gas-kinetic scheme for inviscid compressible flow simulations
Authors:
Yixiao Wang,
Xing Ji,
Gang Chen,
Kun Xu
Abstract:
The Runge--Kutta discontinuous Galerkin (RKDG) method is a high-order technique for addressing hyperbolic conservation laws, which has been refined over recent decades and is effective in handling shock discontinuities. Despite its advancements, the RKDG method faces challenges, such as stringent constraints on the explicit time-step size and reduced robustness when dealing with strong discontinui…
▽ More
The Runge--Kutta discontinuous Galerkin (RKDG) method is a high-order technique for addressing hyperbolic conservation laws, which has been refined over recent decades and is effective in handling shock discontinuities. Despite its advancements, the RKDG method faces challenges, such as stringent constraints on the explicit time-step size and reduced robustness when dealing with strong discontinuities. On the other hand, the Gas-Kinetic Scheme (GKS) based on a high-order gas evolution model also delivers significant accuracy and stability in solving hyperbolic conservation laws through refined spatial and temporal discretizations. Unlike RKDG, GKS allows for more flexible CFL number constraints and features an advanced flow evolution mechanism at cell interfaces. Additionally, GKS' compact spatial reconstruction enhances the accuracy of the method and its ability to capture stable strong discontinuities effectively. In this study, we conduct a thorough examination of the RKDG method using various numerical fluxes and the GKS method employing both compact and non-compact spatial reconstructions. Both methods are applied under the framework of explicit time discretization and are tested solely in inviscid scenarios. We will present numerous numerical tests and provide a comparative analysis of the outcomes derived from these two computational approaches.
△ Less
Submitted 30 April, 2024;
originally announced April 2024.
-
Particle systems for mean reflected BSDEs with jumps
Authors:
Yiqing Lin,
Kun Xu
Abstract:
In this paper, we study the mean reflected backward stochastic differential equations with jump (BSDEJs). We extend the work of Briand and Hibon on the propagation of chaos for mean reflected BSDEs \cite{briand2021particles} to the jump framework. Besides, we study the reflections for the particle system and obtain the rate of of convergence of the particle system towards the deterministic flat so…
▽ More
In this paper, we study the mean reflected backward stochastic differential equations with jump (BSDEJs). We extend the work of Briand and Hibon on the propagation of chaos for mean reflected BSDEs \cite{briand2021particles} to the jump framework. Besides, we study the reflections for the particle system and obtain the rate of of convergence of the particle system towards the deterministic flat solution to the mean reflected BSDEJ.
△ Less
Submitted 18 June, 2024; v1 submitted 2 April, 2024;
originally announced April 2024.
-
A Selective Review on Statistical Methods for Massive Data Computation: Distributed Computing, Subsampling, and Minibatch Techniques
Authors:
Xuetong Li,
Yuan Gao,
Hong Chang,
Danyang Huang,
Yingying Ma,
Rui Pan,
Haobo Qi,
Feifei Wang,
Shuyuan Wu,
Ke Xu,
Jing Zhou,
Xuening Zhu,
Yingqiu Zhu,
Hansheng Wang
Abstract:
This paper presents a selective review of statistical computation methods for massive data analysis. A huge amount of statistical methods for massive data computation have been rapidly developed in the past decades. In this work, we focus on three categories of statistical computation methods: (1) distributed computing, (2) subsampling methods, and (3) minibatch gradient techniques. The first clas…
▽ More
This paper presents a selective review of statistical computation methods for massive data analysis. A huge amount of statistical methods for massive data computation have been rapidly developed in the past decades. In this work, we focus on three categories of statistical computation methods: (1) distributed computing, (2) subsampling methods, and (3) minibatch gradient techniques. The first class of literature is about distributed computing and focuses on the situation, where the dataset size is too huge to be comfortably handled by one single computer. In this case, a distributed computation system with multiple computers has to be utilized. The second class of literature is about subsampling methods and concerns about the situation, where the sample size of dataset is small enough to be placed on one single computer but too large to be easily processed by its memory as a whole. The last class of literature studies those minibatch gradient related optimization techniques, which have been extensively used for optimizing various deep learning models.
△ Less
Submitted 17 March, 2024;
originally announced March 2024.
-
Implicit high-order gas-kinetic schemes for compressible flows on three-dimensional unstructured meshes II: unsteady flows
Authors:
Yaqing Yang,
Liang Pan,
Kun Xu
Abstract:
For the simulations of unsteady flow, the global time step becomes really small with a large variation of local cell size. In this paper, an implicit high-order gas-kinetic scheme (HGKS) is developed to remove the restrictions on the time step for unsteady simulations. In order to improve the efficiency and keep the high-order accuracy, a two-stage third-order implicit time-accurate discretization…
▽ More
For the simulations of unsteady flow, the global time step becomes really small with a large variation of local cell size. In this paper, an implicit high-order gas-kinetic scheme (HGKS) is developed to remove the restrictions on the time step for unsteady simulations. In order to improve the efficiency and keep the high-order accuracy, a two-stage third-order implicit time-accurate discretization is proposed. In each stage, an artificial steady solution is obtained for the implicit system with the pseudo-time iteration. In the iteration, the classical implicit methods are adopted to solve the nonlinear system, including the lower-upper symmetric Gauss-Seidel (LUSGS) and generalized minimum residual (GMRES) methods. To achieve the spatial accuracy, the HGKSs with both non-compact and compact reconstructions are constructed. For the non-compact scheme, the weighted essentially non-oscillatory (WENO) reconstruction is used. For the compact one, the Hermite WENO (HWENO) reconstruction is adopted due to the updates of both cell-averaged flow variables and their derivatives. The expected third-order temporal accuracy is achieved with the two-stage temporal discretization. For the smooth flow, only a single artificial iteration is needed. For uniform meshes, the efficiency of the current implicit method improves significantly in comparison with the explicit one. For the flow with discontinuities, compared with the well-known Crank-Nicholson method, the spurious oscillations in the current schemes are well suppressed. The increase of the artificial iteration steps introduces extra reconstructions associating with a reduction of the computational efficiency. Overall, the current implicit method leads to an improvement in efficiency over the explicit one in the cases with a large variation of mesh size.
△ Less
Submitted 1 March, 2024;
originally announced March 2024.
-
A robustness-enhanced reconstruction based on discontinuity feedback factor for high-order finite volume scheme
Authors:
Hong Zhang,
Xing Ji,
Kun Xu
Abstract:
In this paper, a robustness-enhanced reconstruction for the high-order finite volume scheme is constructed on the 2-D structured mesh, and both the high-order gas-kinetic scheme(GKS) and the Lax-Friedrichs(L-F) flux solver are considered to verify the validity of this algorithm. The strategy of the successful WENO reconstruction is adopted to select the smooth sub-stencils. However, there are case…
▽ More
In this paper, a robustness-enhanced reconstruction for the high-order finite volume scheme is constructed on the 2-D structured mesh, and both the high-order gas-kinetic scheme(GKS) and the Lax-Friedrichs(L-F) flux solver are considered to verify the validity of this algorithm. The strategy of the successful WENO reconstruction is adopted to select the smooth sub-stencils. However, there are cases where strong discontinuities exist in all sub-stencils of the WENO reconstruction, which leads to a decrease in the robustness. To improve the robustness of the algorithm in discontinuous regions in two-dimensional space, the hybrid reconstruction based on a combination of discontinuity feedback factor(DF) \cite{ji2021gradient} and WENO reconstruction is developed to deal with the possible discontinuities. Numerical results from smooth to extreme cases have been presented and validate that the new finite volume scheme is effective for robustness enhancement and maintains high resolution compared to the WENO scheme.
△ Less
Submitted 19 January, 2024;
originally announced February 2024.
-
Mean-field reflected BSDEs driven by a marked point process
Authors:
Yiqing Lin,
Kun Xu
Abstract:
In this paper, we study a class of mean-field reflected backward stochastic differential equations (MFRBSDEs) driven by a marked point process. Based on a g-expectation representation lemma, we give the existence and uniqueness of MFRBSDEs driven by a marked point process under Lipschitz generator conditions. Besides, the well-posedness of this kind of BSDEs with exponential growth generator and u…
▽ More
In this paper, we study a class of mean-field reflected backward stochastic differential equations (MFRBSDEs) driven by a marked point process. Based on a g-expectation representation lemma, we give the existence and uniqueness of MFRBSDEs driven by a marked point process under Lipschitz generator conditions. Besides, the well-posedness of this kind of BSDEs with exponential growth generator and unbounded terminal is also provided by $θ$-method.
△ Less
Submitted 15 January, 2024;
originally announced January 2024.
-
Solving the Mostar index inverse problem
Authors:
Yaser Alizadeh,
Nino Bašić,
Ivan Damnjanović,
Tomislav Došlić,
Tomaž Pisanski,
Dragan Stevanović,
Kexiang Xu
Abstract:
A nonnegative integer $p$ is realizable by a graph-theoretical invariant $I$ if there exist a graph $G$ such that $I(G) = p$. The inverse problem for $I$ consists of finding all nonnegative integers $p$ realizable by $I$. In this paper, we consider and solve the inverse problem for the Mostar index, a recently introduced graph-theoretical invariant which attracted a lot of attention in recent year…
▽ More
A nonnegative integer $p$ is realizable by a graph-theoretical invariant $I$ if there exist a graph $G$ such that $I(G) = p$. The inverse problem for $I$ consists of finding all nonnegative integers $p$ realizable by $I$. In this paper, we consider and solve the inverse problem for the Mostar index, a recently introduced graph-theoretical invariant which attracted a lot of attention in recent years in both the mathematical and the chemical community. We show that a nonnegative integer is realizable by the Mostar index if and only if it is not equal to one. Besides presenting the complete solution to the problem, we also present some empirical observations and outline several open problems and possible directions for further research.
△ Less
Submitted 20 December, 2023;
originally announced December 2023.
-
Scalar curvature and volume entropy of hyperbolic 3-manifolds
Authors:
Demetre Kazaras,
Antoine Song,
Kai Xu
Abstract:
We show that any closed hyperbolic 3-manifold M admits a Riemannian metric with scalar curvature at least -6, but with volume entropy strictly larger than 2. In particular, this construction gives counterexamples to a conjecture of I. Agol, P. Storm and W. Thurston.
We show that any closed hyperbolic 3-manifold M admits a Riemannian metric with scalar curvature at least -6, but with volume entropy strictly larger than 2. In particular, this construction gives counterexamples to a conjecture of I. Agol, P. Storm and W. Thurston.
△ Less
Submitted 4 June, 2025; v1 submitted 30 November, 2023;
originally announced December 2023.
-
Reflected BSDE driven by a marked point process with a convex/concave generator
Authors:
Yiqing Lin,
Zihao Gu,
Kun Xu
Abstract:
In this paper, a class of reflected backward stochastic differential equations (RBSDE) driven by a marked point process (MPP) with a convex/concave generator is studied. Based on fixed point argument, $θ$-method and truncation technique, the well-posedness of this kind of RBSDE with unbounded terminal condition and obstacle is investigated. Besides, we present an application on the pricing of Amer…
▽ More
In this paper, a class of reflected backward stochastic differential equations (RBSDE) driven by a marked point process (MPP) with a convex/concave generator is studied. Based on fixed point argument, $θ$-method and truncation technique, the well-posedness of this kind of RBSDE with unbounded terminal condition and obstacle is investigated. Besides, we present an application on the pricing of American options via utility maximization, which is solved by constructing an RBSDE with a convex generator.
△ Less
Submitted 31 October, 2023;
originally announced October 2023.
-
Mean reflected BSDE driven by a marked point process and application in insurance risk management
Authors:
Zihao Gu,
Yiqing Lin,
Kun Xu
Abstract:
This paper aims to solve a super-hedging problem along with insurance re-payment under running risk management constraints. The initial endowment for the super-heding problem is characterized by a class of mean reflected backward stochastic differential equation driven by a marked point process (MPP) and a Brownian motion. By Lipschitz assumptions on the generators and proper integrability on the…
▽ More
This paper aims to solve a super-hedging problem along with insurance re-payment under running risk management constraints. The initial endowment for the super-heding problem is characterized by a class of mean reflected backward stochastic differential equation driven by a marked point process (MPP) and a Brownian motion. By Lipschitz assumptions on the generators and proper integrability on the terminal value, we give the well-posedness of this kind of BSDEs by combining a representation theorem with the fixed point argument.
△ Less
Submitted 23 October, 2023;
originally announced October 2023.
-
Parabolic frequency monotonicity for two nonlinear equations under Ricci flow
Authors:
Chuanhuan Li,
Yi Li,
Kairui Xu,
Jichun Zhu
Abstract:
In this paper, we consider the parabolic frequency for positive solutions of two nonlinear parabolic equations under the Ricci flow on closed manifolds. We obtain the monotonicity of parabolic frequency for the solution of two nonlinear parabolic equations with bounded Ricci curvature, then we apply the parabolic frequency monotonicity to get some integral type Harnack inequalities and we use -K1…
▽ More
In this paper, we consider the parabolic frequency for positive solutions of two nonlinear parabolic equations under the Ricci flow on closed manifolds. We obtain the monotonicity of parabolic frequency for the solution of two nonlinear parabolic equations with bounded Ricci curvature, then we apply the parabolic frequency monotonicity to get some integral type Harnack inequalities and we use -K1 instead of the lower bound 0 of Ricci curvature from Theorem 4.3 in 16, where K1 is any positive constant.
△ Less
Submitted 28 April, 2025; v1 submitted 23 October, 2023;
originally announced October 2023.
-
Exponential growth BSDE driven by a marked point process
Authors:
Zihao Gu,
Yiqing Lin,
Kun Xu
Abstract:
In this study, we investigate the well-posedness of exponential growth backward stochastic differential equations (BSDEs) driven by a marked point process (MPP) under unbounded terminal conditions. Our analysis utilizes a fixed-point argument, the $θ$-method, and an approximation procedure. Additionally, we establish the solvability of mean-reflected exponential growth BSDEs driven by the MPP usin…
▽ More
In this study, we investigate the well-posedness of exponential growth backward stochastic differential equations (BSDEs) driven by a marked point process (MPP) under unbounded terminal conditions. Our analysis utilizes a fixed-point argument, the $θ$-method, and an approximation procedure. Additionally, we establish the solvability of mean-reflected exponential growth BSDEs driven by the MPP using the $θ$-method.
△ Less
Submitted 29 April, 2024; v1 submitted 23 October, 2023;
originally announced October 2023.
-
Gradient estimates and parabolic frequency under the Laplacian G_2 flow
Authors:
Chuanhuan Li,
Yi Li,
Kairui Xu
Abstract:
In this paper, we consider the Laplacian G_2 flow on a closed seven-dimensional manifold M with a closed G_2-structure. We first obtain the gradient estimates of positive solutions of the heat equation under the Laplacian G_2 flow and then we get the Harnack inequality on spacetime. As an application, we prove the monotonicity for positive solutions of the heat equation with bounded Ricci curvatur…
▽ More
In this paper, we consider the Laplacian G_2 flow on a closed seven-dimensional manifold M with a closed G_2-structure. We first obtain the gradient estimates of positive solutions of the heat equation under the Laplacian G_2 flow and then we get the Harnack inequality on spacetime. As an application, we prove the monotonicity for positive solutions of the heat equation with bounded Ricci curvature, and get the integral-type Harnack inequality. Besides, we prove the monotonicity of parabolic frequency for positive solutions of the linear heat equation with bounded Bakry-Emery Ricci curvature, and then obtain the backward uniqueness.
△ Less
Submitted 24 March, 2025; v1 submitted 8 October, 2023;
originally announced October 2023.
-
Drawstrings and flexibility in the Geroch conjecture
Authors:
Demetre Kazaras,
Kai Xu
Abstract:
In this paper, we observe new phenomena related to the structure of 3-manifolds satisfying lower scalar curvature bounds. We construct warped-product manifolds of almost nonnegative scalar curvature that converge to pulled string spaces in the Sormani-Wenger intrinsic flat topology. These examples extend the results of Lee-Naber-Neumayer \cite{LNN} to the case of dimension $3$. As a consequence, w…
▽ More
In this paper, we observe new phenomena related to the structure of 3-manifolds satisfying lower scalar curvature bounds. We construct warped-product manifolds of almost nonnegative scalar curvature that converge to pulled string spaces in the Sormani-Wenger intrinsic flat topology. These examples extend the results of Lee-Naber-Neumayer \cite{LNN} to the case of dimension $3$. As a consequence, we produce the first counterexample to a conjecture of Sormani \cite{SormaniConj} on the stability of the Geroch Conjecture. Our example tests the appropriate hypothesis for a related conjecture of Gromov. On the other hand, we demonstrate a $W^{1,p}$-stability statement ($1\leq p<2$) for the Geroch Conjecture in the class of warped products.
△ Less
Submitted 21 December, 2023; v1 submitted 7 September, 2023;
originally announced September 2023.
-
Monte Carlo on manifolds in high dimensions
Authors:
Kerun Xu,
Miranda Holmes-Cerfon
Abstract:
We introduce an efficient numerical implementation of a Markov Chain Monte Carlo method to sample a probability distribution on a manifold (introduced theoretically in Zappa, Holmes-Cerfon, Goodman (2018)), where the manifold is defined by the level set of constraint functions, and the probability distribution may involve the pseudodeterminant of the Jacobian of the constraints, as arises in physi…
▽ More
We introduce an efficient numerical implementation of a Markov Chain Monte Carlo method to sample a probability distribution on a manifold (introduced theoretically in Zappa, Holmes-Cerfon, Goodman (2018)), where the manifold is defined by the level set of constraint functions, and the probability distribution may involve the pseudodeterminant of the Jacobian of the constraints, as arises in physical sampling problems. The algorithm is easy to implement and scales well to problems with thousands of dimensions and with complex sets of constraints provided their Jacobian retains sparsity. The algorithm uses direct linear algebra and requires a single matrix factorization per proposal point, which enhances its efficiency over previously proposed methods but becomes the computational bottleneck of the algorithm in high dimensions. We test the algorithm on several examples inspired by soft-matter physics and materials science to study its complexity and properties.
△ Less
Submitted 21 August, 2023;
originally announced August 2023.
-
Long-time asymptotic behavior of the Hunter-Saxton equation
Authors:
Luman Ju,
Kai Xu,
Engui Fan
Abstract:
With $\bar{\partial}$-generalization of the Deift-Zhou steepest descent method, we investigate the long-time asymptotics of the solution to the Cauchy problem for the Hunter-Saxton (HS) equation \begin{eqnarray} &&u_{txx}-2ωu_x+2u_xu_{xx}+uu_{xxx}=0,\quad x\in \mathbb{R},\ t>0,\nonumber\\ &&u(x,0)=u_0(x), \nonumber \end{eqnarray} where $u_0\in H^{3,4}(\mathbb{R})$ and $ω>0$ is a constant. Using th…
▽ More
With $\bar{\partial}$-generalization of the Deift-Zhou steepest descent method, we investigate the long-time asymptotics of the solution to the Cauchy problem for the Hunter-Saxton (HS) equation \begin{eqnarray} &&u_{txx}-2ωu_x+2u_xu_{xx}+uu_{xxx}=0,\quad x\in \mathbb{R},\ t>0,\nonumber\\ &&u(x,0)=u_0(x), \nonumber \end{eqnarray} where $u_0\in H^{3,4}(\mathbb{R})$ and $ω>0$ is a constant. Using the new scale $(y,t)$ and a series of deformations to a Riemann-Hilbert problem associated with the Cauchy problem, we obtain the long-time asymptotic approximations of the solution $u(x,t)$ in two space-time regions: The solution of the HS equation decays as the speed of $\mathcal{O}(t^{-1/2})$ in the region $y/t >0$; While in the region $y/t<0$, the solution of the HS equation is depicted by a parabolic cylinder model with an residual error order $\mathcal{O}(t^{-1+\frac{1}{2p}})$ with $ p>2$.
△ Less
Submitted 14 December, 2023; v1 submitted 30 July, 2023;
originally announced July 2023.
-
A topological gap theorem for the $π_2$-systole of positive scalar curvature 3-manifolds
Authors:
Kai Xu
Abstract:
Let $M$ be a closed orientable 3-manifold with scalar curvature greater than or equal to 1. If $M$ has nonvanishing second homotopy group, then it is known that the $π_2$-systole of $M$ (i.e. the minimal achievable area of homotopically nontrivial spheres) is at most $8π$. We prove the following gap theorem: if $M$ is further not a quotient of $S^2\times S^1$, then the $π_2$-systole of $M$ is no g…
▽ More
Let $M$ be a closed orientable 3-manifold with scalar curvature greater than or equal to 1. If $M$ has nonvanishing second homotopy group, then it is known that the $π_2$-systole of $M$ (i.e. the minimal achievable area of homotopically nontrivial spheres) is at most $8π$. We prove the following gap theorem: if $M$ is further not a quotient of $S^2\times S^1$, then the $π_2$-systole of $M$ is no greater than an improved constant $c\approx 5.44π$. This statement follows as a new topological application of Huisken and Ilmanen's weak inverse mean curvature flow.
△ Less
Submitted 26 October, 2024; v1 submitted 4 July, 2023;
originally announced July 2023.
-
Isoperimetry and the properness of weak inverse mean curvature flow
Authors:
Kai Xu
Abstract:
We prove a new existence theorem for proper solutions of Huisken and Ilmanen's weak inverse mean curvature flow, assuming certain non-degeneracy conditions on the isoperimetric profile. In particular, no curvature assumption is imposed in our existence theorem.
We prove a new existence theorem for proper solutions of Huisken and Ilmanen's weak inverse mean curvature flow, assuming certain non-degeneracy conditions on the isoperimetric profile. In particular, no curvature assumption is imposed in our existence theorem.
△ Less
Submitted 16 September, 2024; v1 submitted 2 July, 2023;
originally announced July 2023.
-
Solving nonlinear ODEs with the ultraspherical spectral method
Authors:
Ouyuan Qin,
Kuan Xu
Abstract:
We extend the ultraspherical spectral method to solving nonlinear ODE boundary value problems. We propose to use the inexact Newton-GMRES framework for which an effective preconditioner can be constructed and a fast Jacobian-vector multiplication can be effected, thanks to the structured operators of the ultraspherical spectral method. With a mixed-precision implementation, the inexact Newton-GMRE…
▽ More
We extend the ultraspherical spectral method to solving nonlinear ODE boundary value problems. We propose to use the inexact Newton-GMRES framework for which an effective preconditioner can be constructed and a fast Jacobian-vector multiplication can be effected, thanks to the structured operators of the ultraspherical spectral method. With a mixed-precision implementation, the inexact Newton-GMRES-ultraspherical framework exhibits extraordinary speed and accuracy, as we show by extensive numerical experiments.
△ Less
Submitted 30 June, 2023;
originally announced June 2023.
-
Solving time-dependent PDEs with the ultraspherical spectral method
Authors:
Lu Cheng,
Kuan Xu
Abstract:
We apply the ultraspherical spectral method to solving time-dependent PDEs by proposing two approaches to discretization based on the method of lines and show that these approaches produce approximately same results. We analyze the stability, the error, and the computational cost of the proposed method. In addition, we show how adaptivity can be incorporated to offer adequate spatial resolution ef…
▽ More
We apply the ultraspherical spectral method to solving time-dependent PDEs by proposing two approaches to discretization based on the method of lines and show that these approaches produce approximately same results. We analyze the stability, the error, and the computational cost of the proposed method. In addition, we show how adaptivity can be incorporated to offer adequate spatial resolution efficiently. Both linear and nonlinear problems are considered. We also explore time integration using exponential integrators with the ultraspherical spatial discretization. Comparisons with the Chebyshev pseudospectral method are given along the discussion and they show that the ultraspherical spectral method is a competitive candidate for the spatial discretization of time-dependent PDEs.
△ Less
Submitted 21 June, 2023;
originally announced June 2023.
-
High-order Compact Gas-kinetic Scheme for Two-layer Shallow Water Equations on Unstructured Mesh
Authors:
Fengxiang Zhao,
Jianping Gan,
Kun Xu
Abstract:
For the two-layer shallow water equations, a high-order compact gas-kinetic scheme (GKS) on triangular mesh is proposed. The two-layer shallow water equations have complex source terms in comparison with the single layer equations. The main focus of this study is to construct a time-accurate evolution solution at a cell interface and to design a well-balanced scheme. The evolution model at a cell…
▽ More
For the two-layer shallow water equations, a high-order compact gas-kinetic scheme (GKS) on triangular mesh is proposed. The two-layer shallow water equations have complex source terms in comparison with the single layer equations. The main focus of this study is to construct a time-accurate evolution solution at a cell interface and to design a well-balanced scheme. The evolution model at a cell interface provides not only the numerical fluxes, but also the flow variables. The time-dependent flow variables at the closed cell interfaces can be used to update the cell-averaged gradients for the discretization of the the source terms inside each control volume in the development of the well-balanced scheme. Based on the cell-averaged flow variable and their gradients, high-order initial data reconstruction can be achieved with compact stencils. The compact high-order GKS has advantages to simulate the flow evolution in complex domain covered by unstructured mesh. Many test cases are used to validate the accuracy and robustness of the scheme for the two-layer shallow water equations.
△ Less
Submitted 7 June, 2023;
originally announced June 2023.
-
Implicit high-order gas-kinetic schemes for compressible flows on three-dimensional unstructured meshes I: steady flows
Authors:
Yaqing Yang,
Liang Pan,
Kun Xu
Abstract:
In the previous studies, the high-order gas-kinetic schemes (HGKS) have achieved successes for unsteady flows on three-dimensional unstructured meshes. In this paper, to accelerate the rate of convergence for steady flows, the implicit non-compact and compact HGKSs are developed. For non-compact scheme, the simple weighted essentially non-oscillatory (WENO) reconstruction is used to achieve the sp…
▽ More
In the previous studies, the high-order gas-kinetic schemes (HGKS) have achieved successes for unsteady flows on three-dimensional unstructured meshes. In this paper, to accelerate the rate of convergence for steady flows, the implicit non-compact and compact HGKSs are developed. For non-compact scheme, the simple weighted essentially non-oscillatory (WENO) reconstruction is used to achieve the spatial accuracy, where the stencils for reconstruction contain two levels of neighboring cells. Incorporate with the nonlinear generalized minimal residual (GMRES) method, the implicit non-compact HGKS is developed. In order to improve the resolution and parallelism of non-compact HGKS, the implicit compact HGKS is developed with Hermite WENO (HWENO) reconstruction, in which the reconstruction stencils only contain one level of neighboring cells. The cell averaged conservative variable is also updated with GMRES method. Simultaneously, a simple strategy is used to update the cell averaged gradient by the time evolution of spatial-temporal coupled gas distribution function. To accelerate the computation, the implicit non-compact and compact HGKSs are implemented with the graphics processing unit (GPU) using compute unified device architecture (CUDA). A variety of numerical examples, from the subsonic to supersonic flows, are presented to validate the accuracy, robustness and efficiency of both inviscid and viscous flows.
△ Less
Submitted 4 March, 2024; v1 submitted 19 April, 2023;
originally announced April 2023.
-
SAT Requires Exhaustive Search
Authors:
Ke Xu,
Guangyan Zhou
Abstract:
In this paper, by constructing extremely hard examples of CSP (with large domains) and SAT (with long clauses), we prove that such examples cannot be solved without exhaustive search, which is stronger than P $\neq$ NP. This constructive approach for proving impossibility results is very different (and missing) from those currently used in computational complexity theory, but is similar to that us…
▽ More
In this paper, by constructing extremely hard examples of CSP (with large domains) and SAT (with long clauses), we prove that such examples cannot be solved without exhaustive search, which is stronger than P $\neq$ NP. This constructive approach for proving impossibility results is very different (and missing) from those currently used in computational complexity theory, but is similar to that used by Kurt Gödel in proving his famous logical impossibility results. Just as shown by Gödel's results that proving formal unprovability is feasible in mathematics, the results of this paper show that proving computational hardness is not hard in mathematics. Specifically, proving lower bounds for many problems, such as 3-SAT, can be challenging because these problems have various effective strategies available for avoiding exhaustive search. However, in cases of extremely hard examples, exhaustive search may be the only viable option, and proving its necessity becomes more straightforward. Consequently, it makes the separation between SAT (with long clauses) and 3-SAT much easier than that between 3-SAT and 2-SAT. Finally, the main results of this paper demonstrate that the fundamental difference between the syntax and the semantics revealed by Gödel's results also exists in CSP and SAT.
△ Less
Submitted 28 October, 2024; v1 submitted 19 February, 2023;
originally announced February 2023.
