-
Doubly robust estimation of causal effects for random object outcomes with continuous treatments
Authors:
Satarupa Bhattacharjee,
Bing Li,
Xiao Wu,
Lingzhou Xue
Abstract:
Causal inference is central to statistics and scientific discovery, enabling researchers to identify cause-and-effect relationships beyond associations. While traditionally studied within Euclidean spaces, contemporary applications increasingly involve complex, non-Euclidean data structures that reside in abstract metric spaces, known as random objects, such as images, shapes, networks, and distri…
▽ More
Causal inference is central to statistics and scientific discovery, enabling researchers to identify cause-and-effect relationships beyond associations. While traditionally studied within Euclidean spaces, contemporary applications increasingly involve complex, non-Euclidean data structures that reside in abstract metric spaces, known as random objects, such as images, shapes, networks, and distributions. This paper introduces a novel framework for causal inference with continuous treatments applied to non-Euclidean data. To address the challenges posed by the lack of linear structures, we leverage Hilbert space embeddings of the metric spaces to facilitate Fréchet mean estimation and causal effect mapping. Motivated by a study on the impact of exposure to fine particulate matter on age-at-death distributions across U.S. counties, we propose a nonparametric, doubly-debiased causal inference approach for outcomes as random objects with continuous treatments. Our framework can accommodate moderately high-dimensional vector-valued confounders and derive efficient influence functions for estimation to ensure both robustness and interpretability. We establish rigorous asymptotic properties of the cross-fitted estimators and employ conformal inference techniques for counterfactual outcome prediction. Validated through numerical experiments and applied to real-world environmental data, our framework extends causal inference methodologies to complex data structures, broadening its applicability across scientific disciplines.
△ Less
Submitted 28 June, 2025;
originally announced June 2025.
-
Proof of a conjecture on eigenvalues of transposition graph
Authors:
Cheng Yeaw Ku,
Leyou Xu
Abstract:
The transposition graph $Cay(S_n,T_n)$ is the Cayley graph on the symmetric group $S_n$ generated by the set $T_n$ of all transpositions. In this paper, we show that each integer in the interval $\left[-{\lfloor(2n+1)/3 \rfloor\choose 2}, {\lfloor(2n+1)/3 \rfloor\choose 2}\right]$ is an eigenvalue of $Cay(S_n,T_n)$. This proves a recent conjecture by Kravchuk \cite{Kravchuk}.
The transposition graph $Cay(S_n,T_n)$ is the Cayley graph on the symmetric group $S_n$ generated by the set $T_n$ of all transpositions. In this paper, we show that each integer in the interval $\left[-{\lfloor(2n+1)/3 \rfloor\choose 2}, {\lfloor(2n+1)/3 \rfloor\choose 2}\right]$ is an eigenvalue of $Cay(S_n,T_n)$. This proves a recent conjecture by Kravchuk \cite{Kravchuk}.
△ Less
Submitted 17 June, 2025;
originally announced June 2025.
-
TensorSLM: Energy-efficient Embedding Compression of Sub-billion Parameter Language Models on Low-end Devices
Authors:
Mingxue Xu,
Yao Lei Xu,
Danilo P. Mandic
Abstract:
Small Language Models (SLMs, or on-device LMs) have significantly fewer parameters than Large Language Models (LLMs). They are typically deployed on low-end devices, like mobile phones and single-board computers. Unlike LLMs, which rely on increasing model size for better generalisation, SLMs designed for edge applications are expected to have adaptivity to the deployment environments and energy e…
▽ More
Small Language Models (SLMs, or on-device LMs) have significantly fewer parameters than Large Language Models (LLMs). They are typically deployed on low-end devices, like mobile phones and single-board computers. Unlike LLMs, which rely on increasing model size for better generalisation, SLMs designed for edge applications are expected to have adaptivity to the deployment environments and energy efficiency given the device battery life constraints, which are not addressed in datacenter-deployed LLMs. This paper addresses these two requirements by proposing a training-free token embedding compression approach using Tensor-Train Decomposition (TTD). Each pre-trained token embedding vector is converted into a lower-dimensional Matrix Product State (MPS). We comprehensively evaluate the extracted low-rank structures across compression ratio, language task performance, latency, and energy consumption on a typical low-end device, i.e. Raspberry Pi. Taking the sub-billion parameter versions of GPT-2/Cerebres-GPT and OPT models as examples, our approach achieves a comparable language task performance to the original model with around $2.0\times$ embedding layer compression, while the energy consumption of a single query drops by half.
△ Less
Submitted 16 June, 2025;
originally announced June 2025.
-
Strongly Consistent Community Detection in Popularity Adjusted Block Models
Authors:
Quan Yuan,
Binghui Liu,
Danning Li,
Lingzhou Xue
Abstract:
The Popularity Adjusted Block Model (PABM) provides a flexible framework for community detection in network data by allowing heterogeneous node popularity across communities. However, this flexibility increases model complexity and raises key unresolved challenges, particularly in effectively adapting spectral clustering techniques and efficiently achieving strong consistency in label recovery. To…
▽ More
The Popularity Adjusted Block Model (PABM) provides a flexible framework for community detection in network data by allowing heterogeneous node popularity across communities. However, this flexibility increases model complexity and raises key unresolved challenges, particularly in effectively adapting spectral clustering techniques and efficiently achieving strong consistency in label recovery. To address these challenges, we first propose the Thresholded Cosine Spectral Clustering (TCSC) algorithm and establish its weak consistency under the PABM. We then introduce the one-step Refined TCSC algorithm and prove that it achieves strong consistency under the PABM, correctly recovering all community labels with high probability. We further show that the two-step Refined TCSC accelerates clustering error convergence, especially with small sample sizes. Additionally, we propose a data-driven approach for selecting the number of communities, which outperforms existing methods under the PABM. The effectiveness and robustness of our methods are validated through extensive simulations and real-world applications.
△ Less
Submitted 8 June, 2025;
originally announced June 2025.
-
Girth and Laplacian eigenvalue distribution
Authors:
Leyou Xu,
Bo Zhou
Abstract:
Let $G$ be a connected graph of order $n$ with girth $g$. For $k=1,\dots,\min\{g-1, n-g\}$, let $n(G,k)$ be the number of Laplacian eigenvalues (counting multiplicities) of $G$ that fall inside the interval $[n-g-k+4,n]$. We prove that if $g\ge 4$, then \[ n(G,k)\le n-g. \] Those graphs achieving the bound for $k=1,2$ are determined. We also determine the graphs $G$ with $g=3$ such that…
▽ More
Let $G$ be a connected graph of order $n$ with girth $g$. For $k=1,\dots,\min\{g-1, n-g\}$, let $n(G,k)$ be the number of Laplacian eigenvalues (counting multiplicities) of $G$ that fall inside the interval $[n-g-k+4,n]$. We prove that if $g\ge 4$, then \[ n(G,k)\le n-g. \] Those graphs achieving the bound for $k=1,2$ are determined. We also determine the graphs $G$ with $g=3$ such that $n(G,k)=n-1, n-2, n-3$.
△ Less
Submitted 1 June, 2025;
originally announced June 2025.
-
Global existence and stability of viscous Alfvén waves in the large-box limit for MHD systems
Authors:
Li Xu,
Jiahui Zhang
Abstract:
This paper rigorously analyzes how the {\it large box limit} fundamentally alters the global existence theory and dynamics behavior of the incompressible magnetohydrodynamics (MHD) system with small viscosity/resistivity $(0<μ\ll 1)$ on periodic domains $Q_L=[-L,L]^3$, in presence of a strong background magnetic field. While the existence of global solutions (viscous Alfvén waves) on the whole spa…
▽ More
This paper rigorously analyzes how the {\it large box limit} fundamentally alters the global existence theory and dynamics behavior of the incompressible magnetohydrodynamics (MHD) system with small viscosity/resistivity $(0<μ\ll 1)$ on periodic domains $Q_L=[-L,L]^3$, in presence of a strong background magnetic field. While the existence of global solutions (viscous Alfvén waves) on the whole space $\R^3$ was previously established in \cite{He-Xu-Yu}, such results cannot be expected for general finite periodic domains. We demonstrate that global solutions do exist on the torus $Q_L=[-L,L]^3$ precisely when the domain exceeds a size $L_μ>e^{\f1μ}$, providing the first quantitative characterization of the transition to infinite-domain-like behavior.
△ Less
Submitted 26 May, 2025;
originally announced May 2025.
-
The stability threshold for 3D MHD equations around Couette with rationally aligned magnetic field
Authors:
Fei Wang,
Lingda Xu,
Zeren Zhang
Abstract:
We address a stability threshold problem of the Couette flow $(y,0,0)$ in a uniform magnetic fleld $α(σ,0,1)$ with $σ\in\mathbb{Q}$ for the 3D MHD equations on $\mathbb{T}\times\mathbb{R}\times\mathbb{T}$. Previously, the authors in \cite{L20,RZZ25} obtained the threshold $γ=1$ for $σ\in\mathbb{R}\backslash\mathbb{Q}$ satisfying a generic Diophantine condition, where they also proved $γ= 4/3$ for…
▽ More
We address a stability threshold problem of the Couette flow $(y,0,0)$ in a uniform magnetic fleld $α(σ,0,1)$ with $σ\in\mathbb{Q}$ for the 3D MHD equations on $\mathbb{T}\times\mathbb{R}\times\mathbb{T}$. Previously, the authors in \cite{L20,RZZ25} obtained the threshold $γ=1$ for $σ\in\mathbb{R}\backslash\mathbb{Q}$ satisfying a generic Diophantine condition, where they also proved $γ= 4/3$ for a general $σ\in\mathbb{R}$. In the present paper, we obtain the threshold $γ=1$ in $H^N(N>13/2)$, hence improving the above results when $σ$ is a rational number. The nonlinear inviscid damping for velocity $u^2_{\neq}$ is also established. Moreover, our result shows that the nonzero modes of magnetic field has an amplification of order $ν^{-1/3}$ even on low regularity, which is very different from the case considered in \cite{L20,RZZ25}.
△ Less
Submitted 28 May, 2025; v1 submitted 26 May, 2025;
originally announced May 2025.
-
Communication-Efficient Distributed Online Nonconvex Optimization with Time-Varying Constraints
Authors:
Kunpeng Zhang,
Lei Xu,
Xinlei Yi,
Guanghui Wen,
Ming Cao,
Karl H. Johansson,
Tianyou Chai,
Tao Yang
Abstract:
This paper considers distributed online nonconvex optimization with time-varying inequality constraints over a network of agents, where the nonconvex local loss and convex local constraint functions can vary arbitrarily across iterations, and the information of them is privately revealed to each agent at each iteration. For a uniformly jointly strongly connected time-varying directed graph, we pro…
▽ More
This paper considers distributed online nonconvex optimization with time-varying inequality constraints over a network of agents, where the nonconvex local loss and convex local constraint functions can vary arbitrarily across iterations, and the information of them is privately revealed to each agent at each iteration. For a uniformly jointly strongly connected time-varying directed graph, we propose two distributed bandit online primal--dual algorithm with compressed communication to efficiently utilize communication resources in the one-point and two-point bandit feedback settings, respectively. In nonconvex optimization, finding a globally optimal decision is often NP-hard. As a result, the standard regret metric used in online convex optimization becomes inapplicable. To measure the performance of the proposed algorithms, we use a network regret metric grounded in the first-order optimality condition associated with the variational inequality. We show that the compressed algorithms establish sublinear network regret and cumulative constraint violation bounds. Finally, a simulation example is presented to validate the theoretical results.
△ Less
Submitted 14 May, 2025; v1 submitted 13 May, 2025;
originally announced May 2025.
-
Scaling limit for supercritical nearly unstable Hawkes processes with heavy tail
Authors:
Liping Xu,
An Zhang
Abstract:
In this paper, we establish the asymptotic behavior of {\it supercritical} nearly unstable Hawkes processes with a power law kernel. We find that, the Hawkes process in our context admits a similar equation to that in \cite{MR3563196} for {\it subcritical} case. In particular, the rescaled Hawkes process $(Z^n_{nt}/n^{2α})_{t\in[0,1]}$ converges in law to a kind of integrated fractional Cox Ingers…
▽ More
In this paper, we establish the asymptotic behavior of {\it supercritical} nearly unstable Hawkes processes with a power law kernel. We find that, the Hawkes process in our context admits a similar equation to that in \cite{MR3563196} for {\it subcritical} case. In particular, the rescaled Hawkes process $(Z^n_{nt}/n^{2α})_{t\in[0,1]}$ converges in law to a kind of integrated fractional Cox Ingersoll Ross process with different coefficients from that in \cite{MR3563196}, as $n$ tends to infinity.
△ Less
Submitted 23 April, 2025; v1 submitted 23 April, 2025;
originally announced April 2025.
-
Semigroups of Integer Points in Convex Cones
Authors:
Grigoriy Blekherman,
Jesús A. De Loera,
Luze Xu,
Shixuan Zhang
Abstract:
We study the question whether the affine semigroup of integer points in a convex cone can be finitely generated up to symmetries of the cone. We establish general properties of finite generation up to symmetry, and then concentrate on the case of irrational polyhedral cones.
We study the question whether the affine semigroup of integer points in a convex cone can be finitely generated up to symmetries of the cone. We establish general properties of finite generation up to symmetry, and then concentrate on the case of irrational polyhedral cones.
△ Less
Submitted 21 April, 2025;
originally announced April 2025.
-
Statistical Inference for High-Dimensional Robust Linear Regression Models via Recursive Online-Score Estimation
Authors:
Dian Zheng,
Lingzhou Xue
Abstract:
This paper introduces a novel framework for estimation and inference in penalized M-estimators applied to robust high-dimensional linear regression models. Traditional methods for high-dimensional statistical inference, which predominantly rely on convex likelihood-based approaches, struggle to address the nonconvexity inherent in penalized M-estimation with nonconvex objective functions. Our prop…
▽ More
This paper introduces a novel framework for estimation and inference in penalized M-estimators applied to robust high-dimensional linear regression models. Traditional methods for high-dimensional statistical inference, which predominantly rely on convex likelihood-based approaches, struggle to address the nonconvexity inherent in penalized M-estimation with nonconvex objective functions. Our proposed method extends the recursive online score estimation (ROSE) framework of Shi et al. (2021) to robust high-dimensional settings by developing a recursive score equation based on penalized M-estimation, explicitly addressing nonconvexity. We establish the statistical consistency and asymptotic normality of the resulting estimator, providing a rigorous foundation for valid inference in robust high-dimensional regression. The effectiveness of our method is demonstrated through simulation studies and a real-world application, showcasing its superior performance compared to existing approaches.
△ Less
Submitted 12 April, 2025;
originally announced April 2025.
-
Doubly Connected V-States in Geophysical Models: A General Framework
Authors:
Taoufik Hmidi,
Liutang Xue,
Zhilong Xue
Abstract:
In this paper, we prove the existence of doubly connected V-states (rotating patches) close to an annulus for active scalar equations with completely monotone kernels. This provides a unified framework for various results related to geophysical flows. This allows us to recover existing results on this topic while also extending to new models, such as the gSQG and QGSW equations in radial domains a…
▽ More
In this paper, we prove the existence of doubly connected V-states (rotating patches) close to an annulus for active scalar equations with completely monotone kernels. This provides a unified framework for various results related to geophysical flows. This allows us to recover existing results on this topic while also extending to new models, such as the gSQG and QGSW equations in radial domains and 2D Euler equation in annular domains.
△ Less
Submitted 10 April, 2025;
originally announced April 2025.
-
Corrected Trapezoidal Rules for Near-Singular Surface Integrals Applied to 3D Interfacial Stokes Flow
Authors:
Monika Nitsche,
Bowei Wu,
Ling Xu
Abstract:
Interfacial Stokes flow can be efficiently computed using the Boundary Integral Equation method. In 3D, the fluid velocity at a target point is given by a 2D surface integral over all interfaces, thus reducing the dimension of the problem. A core challenge is that for target points near, but not on, an interface, the surface integral is near-singular and standard quadratures lose accuracy. This pa…
▽ More
Interfacial Stokes flow can be efficiently computed using the Boundary Integral Equation method. In 3D, the fluid velocity at a target point is given by a 2D surface integral over all interfaces, thus reducing the dimension of the problem. A core challenge is that for target points near, but not on, an interface, the surface integral is near-singular and standard quadratures lose accuracy. This paper presents a method to accurately compute the near-singular integrals arising in elliptic boundary value problems in 3D. It is based on a local series approximation of the integrand about a base point on the surface, obtained by orthogonal projection of the target point onto the surface. The elementary functions in the resulting series approximation can be integrated to high accuracy in a neighborhood of the base point using a recursive algorithm. The remaining integral is evaluated numerically using a standard quadrature rule, chosen here to be the 4th order Trapezoidal rule. The method is reduced to the standard quadrature plus a correction, and is uniformly of 4th order. The method is applied to resolve Stokes flow past several ellipsoidal rigid bodies. We compare the error in the velocity near the bodies, and in the time and displacement of particles traveling around the bodies, computed with and without the corrections.
△ Less
Submitted 1 April, 2025;
originally announced April 2025.
-
Learning high-accuracy numerical schemes for hyperbolic equations on coarse meshes
Authors:
Jinrui Zhou,
Yiqi Gu,
Hua Shen,
Liwei Xu,
Juan Zhang,
Guanyu Zhou
Abstract:
When solving partial differential equations using classical schemes such as finite difference or finite volume methods, sufficiently fine meshes and carefully designed schemes are required to achieve high-order accuracy of numerical solutions, leading to a significant increase in computational costs, especially for three-dimensional (3D) time-dependent problems. Recently, machine learning-assisted…
▽ More
When solving partial differential equations using classical schemes such as finite difference or finite volume methods, sufficiently fine meshes and carefully designed schemes are required to achieve high-order accuracy of numerical solutions, leading to a significant increase in computational costs, especially for three-dimensional (3D) time-dependent problems. Recently, machine learning-assisted numerical methods have been proposed to enhance accuracy or efficiency. In this paper, we propose a data-driven finite difference numerical method to solve the hyperbolic equations with smooth solutions on coarse grids, which can achieve higher accuracy than classical numerical schemes based on the same mesh size. In addition, the data-driven schemes have better spectrum properties than the classical schemes, although the spectrum properties are not explicitly optimized during the training process. Numerical examples are presented to demonstrate the accuracy and efficiency of the proposed method, as well as its good performance on dispersion and dissipation.
△ Less
Submitted 1 April, 2025;
originally announced April 2025.
-
Distributed Constrained Online Nonconvex Optimization with Compressed Communication
Authors:
Kunpeng Zhang,
Lei Xu,
Xinlei Yi,
Ming Cao,
Karl H. Johansson,
Tianyou Chai,
Tao Yang
Abstract:
This paper considers distributed online nonconvex optimization with time-varying inequality constraints over a network of agents. For a time-varying graph, we propose a distributed online primal-dual algorithm with compressed communication to efficiently utilize communication resources. We show that the proposed algorithm establishes an $\mathcal{O}( {{T^{\max \{ {1 - {θ_1},{θ_1}} \}}}} )$ network…
▽ More
This paper considers distributed online nonconvex optimization with time-varying inequality constraints over a network of agents. For a time-varying graph, we propose a distributed online primal-dual algorithm with compressed communication to efficiently utilize communication resources. We show that the proposed algorithm establishes an $\mathcal{O}( {{T^{\max \{ {1 - {θ_1},{θ_1}} \}}}} )$ network regret bound and an $\mathcal{O}( {T^{1 - {θ_1}/2}} )$ network cumulative constraint violation bound, where $T$ is the number of iterations and ${θ_1} \in ( {0,1} )$ is a user-defined trade-off parameter. When Slater's condition holds (i.e, there is a point that strictly satisfies the inequality constraints at all iterations), the network cumulative constraint violation bound is reduced to $\mathcal{O}( {T^{1 - {θ_1}}} )$. These bounds are comparable to the state-of-the-art results established by existing distributed online algorithms with perfect communication for distributed online convex optimization with (time-varying) inequality constraints. Finally, a simulation example is presented to validate the theoretical results.
△ Less
Submitted 28 March, 2025;
originally announced March 2025.
-
Optimal Investment Portfolio of Thyristor- and IGBT-based Electrolysis Rectifiers in Utility-scale Renewable P2H Systems
Authors:
Yangjun Zeng,
Yiwei Qiu,
Liuchao Xu,
Chenjia Gu,
Yi Zhou,
Jiarong Li,
Shi Chen,
Buxiang Zhou
Abstract:
Renewable power-to-hydrogen (ReP2H) systems require rectifiers to supply power to electrolyzers (ELZs). Two main types of rectifiers, insulated-gate bipolar transistor rectifiers (IGBT-Rs) and thyristor rectifiers (TRs), offer distinct tradeoffs. IGBT-Rs provide flexible reactive power control but are costly, whereas TRs are more affordable with lower power loss but consume a large amount of uncon…
▽ More
Renewable power-to-hydrogen (ReP2H) systems require rectifiers to supply power to electrolyzers (ELZs). Two main types of rectifiers, insulated-gate bipolar transistor rectifiers (IGBT-Rs) and thyristor rectifiers (TRs), offer distinct tradeoffs. IGBT-Rs provide flexible reactive power control but are costly, whereas TRs are more affordable with lower power loss but consume a large amount of uncontrollable reactive power. A mixed configuration of rectifiers in utility-scale ReP2H systems could achieve an decent tradeoff and increase overall profitability. To explore this potential, this paper proposes an optimal investment portfolio model. First, we model and compare the active and reactive power characteristics of ELZs powered by TRs and IGBT-Rs. Second, we consider the investment of ELZs, rectifiers, and var resources and coordinate the operation of renewables, energy storage, var resources, and the on-off switching and load allocation of multiple ELZs. Subsequently, a two-stage stochastic programming (SP) model based on weighted information gap decision theory (W-IGDT) is developed to address the uncertainties of the renewable power and hydrogen price, and we apply the progressive hedging (PH) algorithm to accelerate its solution. Case studies demonstrate that optimal rectifier configurations increase revenue by at most 2.56% compared with using only TRs or IGBT-Rs, as well as those in existing projects. Under the optimal portfolio, reactive power compensation investment is nearly eliminated, with a preferred TR-to-IGBT-R ratio of 3:1.
△ Less
Submitted 21 March, 2025;
originally announced March 2025.
-
On Local Minimum Entropy Principle of High-Order Schemes for Relativistic Euler Equations
Authors:
Shumo Cui,
Kailiang Wu,
Linfeng Xu
Abstract:
This paper establishes the minimum entropy principle (MEP) for the relativistic Euler equations with a broad class of equations of state (EOSs) and addresses the challenge of preserving the local version of the discovered MEP in high-order numerical schemes. At the continuous level, we find out a family of entropy pairs for the relativistic Euler equations and provide rigorous analysis to prove th…
▽ More
This paper establishes the minimum entropy principle (MEP) for the relativistic Euler equations with a broad class of equations of state (EOSs) and addresses the challenge of preserving the local version of the discovered MEP in high-order numerical schemes. At the continuous level, we find out a family of entropy pairs for the relativistic Euler equations and provide rigorous analysis to prove the strict convexity of entropy under a necessary and sufficient condition. At the numerical level, we develop a rigorous framework for designing provably entropy-preserving high-order schemes that ensure both physical admissibility and the discovered MEP. The relativistic effects, coupled with the abstract and general EOS formulation, introduce significant challenges not encountered in the nonrelativistic case or with the ideal EOS. In particular, entropy is a highly nonlinear and implicit function of the conservative variables, making it particularly difficult to enforce entropy preservation. To address these challenges, we establish a series of auxiliary theories via highly technical inequalities. Another key innovation is the use of geometric quasi-linearization (GQL), which reformulates the nonlinear constraints into equivalent linear ones by introducing additional free parameters. These advancements form the foundation of our entropy-preserving analysis. We propose novel, robust, locally entropy-preserving high-order frameworks. A central challenge is accurately estimating the local minimum of entropy, particularly in the presence of shock waves at unknown locations. To address this, we introduce two new approaches for estimating local lower bounds of specific entropy, which prove effective for both smooth and discontinuous problems. Numerical experiments demonstrate that our entropy-preserving methods maintain high-order accuracy while effectively suppressing spurious oscillations.
△ Less
Submitted 16 March, 2025;
originally announced March 2025.
-
Multi-spots Steady States in Two-species Keller-Segel Models with Logistic Growth: Large Chemotactic Attraction Regime
Authors:
Fanze Kong,
Juncheng Wei,
Liangshun Xu
Abstract:
One of the most important findings in the study of chemotactic process is self-organized cellular aggregation, and a high volume of results are devoted to the analysis of a concentration of single species. Whereas, the multi-species case is not understood as well as the single species one. In this paper, we consider two-species chemotaxis systems with logistic source in a bounded domain…
▽ More
One of the most important findings in the study of chemotactic process is self-organized cellular aggregation, and a high volume of results are devoted to the analysis of a concentration of single species. Whereas, the multi-species case is not understood as well as the single species one. In this paper, we consider two-species chemotaxis systems with logistic source in a bounded domain $Ω\subset \mathbb R^2.$ Under the large chemo-attractive coefficients and one certain type of chemical production coefficient matrices, we employ the inner-outer gluing approach to construct multi-spots steady states, in which the profiles of cellular densities have strong connections with the entire solutions to Liouville systems and their locations are determined in terms of reduced-wave Green's functions. In particular, some numerical simulations and formal analysis are performed to support our rigorous studies.
△ Less
Submitted 19 February, 2025;
originally announced February 2025.
-
Cycles and paths through specified vertices in graphs with a given clique number
Authors:
Chengli Li,
Leyou Xu
Abstract:
B. Bollobás and G. Brightwell and independently R. Shi proved the existence of a cycle through all vertices whose degrees at least $\frac{n}{2}$ in any $2$-connected graph of order $n$. Motivated by this result, we prove the existence of a cycle through all vertices whose degrees at least $n-ω$ in any $2$-connected graph $G$ of order $n$ with clique number $ω$ unless $G$ is a specific graph. Moreo…
▽ More
B. Bollobás and G. Brightwell and independently R. Shi proved the existence of a cycle through all vertices whose degrees at least $\frac{n}{2}$ in any $2$-connected graph of order $n$. Motivated by this result, we prove the existence of a cycle through all vertices whose degrees at least $n-ω$ in any $2$-connected graph $G$ of order $n$ with clique number $ω$ unless $G$ is a specific graph. Moreover, we show that for any pair of vertices whose degrees are at least $n-ω+1$ in a graph $G$ of order $n$ with clique number $ω$, there exists a path joining them which contains all vertices of degree at least $n-ω+1$ unless $G$ belongs to certain graph classes. In doing so, we prove the existence of a $(u,v)$-path through all vertices whose degrees at least $\frac{n+1}{2}$ in any graph of order $n$, where $u,v$ are two distinct vertices of degree at least $\frac{n+1}{2}$.
△ Less
Submitted 11 February, 2025;
originally announced February 2025.
-
Sparsity-driven Aggregation of Mixed Integer Programs
Authors:
Liding Xu,
Gioni Mexi,
Ksenia Bestuzheva
Abstract:
Cutting planes are crucial for the performance of branch-and-cut algorithms for solving mixed-integer programming (MIP) problems, and linear row aggregation has been successfully applied to better leverage the potential of several major families of MIP cutting planes. This paper formulates the problem of finding good quality aggregations as an $\ell_0$-norm minimization problem and employs a combi…
▽ More
Cutting planes are crucial for the performance of branch-and-cut algorithms for solving mixed-integer programming (MIP) problems, and linear row aggregation has been successfully applied to better leverage the potential of several major families of MIP cutting planes. This paper formulates the problem of finding good quality aggregations as an $\ell_0$-norm minimization problem and employs a combination of the lasso method and iterative reweighting to efficiently find sparse solutions corresponding to good aggregations. A comparative analysis of the proposed algorithm and the state-of-the-art greedy heuristic approach is presented, showing that the greedy heuristic implements a stepwise selection algorithm for the $\ell_0$-norm minimization problem. Further, we present an example where our approach succeeds, whereas the standard heuristic fails to find an aggregation with desired properties. The algorithm is implemented within the constraint integer programming solver SCIP, and computational experiments on the MIPLIB 2017 benchmark show that although the algorithm leads to slowdowns on relatively ``easier'' instances, our aggregation approach decreases the mean running time on a subset of challenging instances and leads to smaller branch-and-bound trees.
△ Less
Submitted 4 February, 2025; v1 submitted 3 February, 2025;
originally announced February 2025.
-
Coupling hydrodynamics of several Facilitated Exclusion Processes with closed boundaries
Authors:
Hugo Da Cunha,
Lu Xu
Abstract:
In this paper, we prove the hydrodynamic limit for the ergodic dynamics of the Facilitated Exclusion Process with closed boundaries in the symmetric, asymmetric and weakly asymmetric regimes. For this, we couple it with a Simple Exclusion Process by constructing a mapping that transforms the facilitated dynamics into the simple one. As the hydrodynamic behaviour of the simple exclusion process wit…
▽ More
In this paper, we prove the hydrodynamic limit for the ergodic dynamics of the Facilitated Exclusion Process with closed boundaries in the symmetric, asymmetric and weakly asymmetric regimes. For this, we couple it with a Simple Exclusion Process by constructing a mapping that transforms the facilitated dynamics into the simple one. As the hydrodynamic behaviour of the simple exclusion process with closed boundaries has been extensively studied, we can deduce the corresponding hydrodynamics for the facilitated exclusion process.
△ Less
Submitted 2 February, 2025;
originally announced February 2025.
-
A total curvature estimate of closed hypersurfaces in non-positively curved symmetric spaces
Authors:
Jiangtao Li,
Zuo Lin,
Liang Xu
Abstract:
In this paper, we prove a total curvature estimate of closed hypersurfaces in simply-connected non-positively curved symmetric spaces, and as a corollary, we obtain an isoperimetric inequality for such manifolds.
In this paper, we prove a total curvature estimate of closed hypersurfaces in simply-connected non-positively curved symmetric spaces, and as a corollary, we obtain an isoperimetric inequality for such manifolds.
△ Less
Submitted 28 January, 2025;
originally announced January 2025.
-
Independence and mean sensitivity in minimal systems under group actions
Authors:
Chunlin Liu,
Leiye Xu,
Shuhao Zhang
Abstract:
In this paper, we mainly study the relation between regularity, independence and mean sensitivity for minimal systems. In the first part, we show that if a minimal system is incontractible, or local Bronstein with an invariant Borel probability measure, then the regularity is strictly bounded by the infinite independence. In particular, the following two types of minimal systems are applicable to…
▽ More
In this paper, we mainly study the relation between regularity, independence and mean sensitivity for minimal systems. In the first part, we show that if a minimal system is incontractible, or local Bronstein with an invariant Borel probability measure, then the regularity is strictly bounded by the infinite independence. In particular, the following two types of minimal systems are applicable to our result: (1) The acting group of the minimal system is a virtually nilpotent group. (2) The minimal system is a proximal extension of its maximal equicontinuous factor and admits an invariant Borel probability measure. Items (1) and (2) correspond to Conjectures 1 and 2 from Huang, Lian, Shao, and Ye (J. Funct. Anal., 2021); item (1) verifies Conjecture 1 in the virtually nilpotent case, and item (2) gives an affirmative answer to Conjecture 2.
In the second part, for a minimal system acting by an amenable group, under the local Bronstein condition, we establish parallel results regarding weak mean sensitivity and establish that every mean-sensitive tuple is an IT-tuple.
△ Less
Submitted 15 April, 2025; v1 submitted 26 January, 2025;
originally announced January 2025.
-
Improved Mixing and Pressure Loss Formulations for Gas Network Optimization
Authors:
Geonhee Kim,
Christopher Lourenco,
Daphne Skipper,
Luze Xu
Abstract:
Non-convex, nonlinear gas network optimization models are used to determine the feasibility of flows on existing networks given constraints on network flows, gas mixing, and pressure loss along pipes. This work improves two existing gas network models: a discrete mixed-integer nonlinear program (MINLP) that uses binary variables to model positive and negative flows, and a continuous nonlinear prog…
▽ More
Non-convex, nonlinear gas network optimization models are used to determine the feasibility of flows on existing networks given constraints on network flows, gas mixing, and pressure loss along pipes. This work improves two existing gas network models: a discrete mixed-integer nonlinear program (MINLP) that uses binary variables to model positive and negative flows, and a continuous nonlinear program (NLP) that implements complementarity constraints with continuous variables. We introduce cuts to expedite the MINLP and we formulate two new pressure loss models that leverage the flow-splitting variables: one that is highly accurate and another that is simpler but less accurate. In computational tests using the global solver BARON our cuts and accurate pressure loss improves: (1) the average run time of the MINLP by a factor of 35, (2) the stability of the MINLP by solving every tested instance within 2.5 minutes (the baseline model timed out on 25% of instances), (3) the stability of the NLP by solving more instances than the baseline. Our simpler pressure loss model further improved run times in the MINLP (by a factor of 48 versus the baseline MINLP), but was unstable in the context of the NLP.
△ Less
Submitted 20 January, 2025;
originally announced January 2025.
-
Avoiding subtraction and division of stochastic signals using normalizing flows: NFdeconvolve
Authors:
Pedro Pessoa,
Max Schweiger,
Lance W. Q. Xu,
Tristan Manha,
Ayush Saurabh,
Julian Antolin Camarena,
Steve Pressé
Abstract:
Across the scientific realm, we find ourselves subtracting or dividing stochastic signals. For instance, consider a stochastic realization, $x$, generated from the addition or multiplication of two stochastic signals $a$ and $b$, namely $x=a+b$ or $x = ab$. For the $x=a+b$ example, $a$ can be fluorescence background and $b$ the signal of interest whose statistics are to be learned from the measure…
▽ More
Across the scientific realm, we find ourselves subtracting or dividing stochastic signals. For instance, consider a stochastic realization, $x$, generated from the addition or multiplication of two stochastic signals $a$ and $b$, namely $x=a+b$ or $x = ab$. For the $x=a+b$ example, $a$ can be fluorescence background and $b$ the signal of interest whose statistics are to be learned from the measured $x$. Similarly, when writing $x=ab$, $a$ can be thought of as the illumination intensity and $b$ the density of fluorescent molecules of interest. Yet dividing or subtracting stochastic signals amplifies noise, and we ask instead whether, using the statistics of $a$ and the measurement of $x$ as input, we can recover the statistics of $b$. Here, we show how normalizing flows can generate an approximation of the probability distribution over $b$, thereby avoiding subtraction or division altogether. This method is implemented in our software package, NFdeconvolve, available on GitHub with a tutorial linked in the main text.
△ Less
Submitted 14 January, 2025;
originally announced January 2025.
-
Independence, sequence entropy and mean sensitivity for invariant measures
Authors:
Chunlin Liu,
Leiye Xu,
Shuhao Zhang
Abstract:
We investigate the connections between independence, sequence entropy, and mean sensitivity for a measure preserving system under the action of a countable infinite discrete group. We establish that every sequence entropy tuple for an invariant measure is an IT tuple. Furthermore, if the acting group is amenable, we show that for an ergodic measure, the sequence entropy tuples, the mean sensitive…
▽ More
We investigate the connections between independence, sequence entropy, and mean sensitivity for a measure preserving system under the action of a countable infinite discrete group. We establish that every sequence entropy tuple for an invariant measure is an IT tuple. Furthermore, if the acting group is amenable, we show that for an ergodic measure, the sequence entropy tuples, the mean sensitive tuples along some tempered Følner sequence, and the sensitive in the mean tuples along some tempered Følner sequence coincide.
△ Less
Submitted 2 April, 2025; v1 submitted 14 January, 2025;
originally announced January 2025.
-
Equivariant Perturbation in Gomory and Johnson's Infinite Group Problem. IV. The General Unimodular Two-Dimensional Case
Authors:
Robert Hildebrand,
Matthias Köppe,
Luze Xu
Abstract:
We study an abstract setting for cutting planes for integer programming called the infinite group problem. In this abstraction, cutting planes are computed via cut generating function that act on the simplex tableau. In this function space, cut generating functions are classified as minimal, extreme, and facets as a proxy for understanding the strength or potential importance of these functions. P…
▽ More
We study an abstract setting for cutting planes for integer programming called the infinite group problem. In this abstraction, cutting planes are computed via cut generating function that act on the simplex tableau. In this function space, cut generating functions are classified as minimal, extreme, and facets as a proxy for understanding the strength or potential importance of these functions. Prior work developed algorithms for testing minimality, extremality, and facetness for cut generating functions applied to 1-row tableau and to some 2-row tableau in a restricted setting. We complement and generalize this work by giving an algorithm for testing the extremality of a large class of minimal valid functions for the two-dimensional infinite group problem. Along the way, we develop results of independent interest on functional equations and infinite systems of linear equations.
△ Less
Submitted 9 January, 2025;
originally announced January 2025.
-
Discrete spectrum of probability measures for locally compact group actions
Authors:
Zongrui Hu,
Xiao Ma,
Leiye Xu,
Xiaomin Zhou
Abstract:
In this paper, we investigate the discrete spectrum of probability measures for actions of locally compact groups. We establish that a probability measure has a discrete spectrum if and only if it has bounded measure-max-mean-complexity.
As applications: 1) An invariant measure for a locally compact amenable group action has a discrete spectrum if and only if it has bounded mean-complexity along…
▽ More
In this paper, we investigate the discrete spectrum of probability measures for actions of locally compact groups. We establish that a probability measure has a discrete spectrum if and only if it has bounded measure-max-mean-complexity.
As applications: 1) An invariant measure for a locally compact amenable group action has a discrete spectrum if and only if it has bounded mean-complexity along Følner sequences; 2) An invariant measure for a locally compact amenable group action has a discrete spectrum if and only if it is mean equicontinuous along a tempered Følner sequence, or equicontinuous in the mean along a tempered Følner sequence.
△ Less
Submitted 30 January, 2025; v1 submitted 23 December, 2024;
originally announced December 2024.
-
Variable selection for partially linear single-index varying-coefficient model
Authors:
Lijuan Han,
Liugen Xue,
Junshan Xie
Abstract:
This paper focuses on variable selection for a partially linear single-index varying-coefficient model. A regularized variable selection procedure by combining basis function approximations with SCAD penalty is proposed. It can simultaneously select significant variables in the parametric and nonparametric components and estimate the nonzero regression coefficients and coefficient functions. The c…
▽ More
This paper focuses on variable selection for a partially linear single-index varying-coefficient model. A regularized variable selection procedure by combining basis function approximations with SCAD penalty is proposed. It can simultaneously select significant variables in the parametric and nonparametric components and estimate the nonzero regression coefficients and coefficient functions. The consistency of the variable selection procedure and the oracle property of the penalized least-squares estimators for high-dimensional data are established. Some simulations and the real data analysis are constructed to illustrate the finite sample performances of the proposed method.
△ Less
Submitted 17 December, 2024;
originally announced December 2024.
-
Statistical Convergence Rates of Optimal Transport Map Estimation between General Distributions
Authors:
Yizhe Ding,
Runze Li,
Lingzhou Xue
Abstract:
This paper studies the convergence rates of optimal transport (OT) map estimators, a topic of growing interest in statistics, machine learning, and various scientific fields. Despite recent advancements, existing results rely on regularity assumptions that are very restrictive in practice and much stricter than those in Brenier's Theorem, including the compactness and convexity of the probability…
▽ More
This paper studies the convergence rates of optimal transport (OT) map estimators, a topic of growing interest in statistics, machine learning, and various scientific fields. Despite recent advancements, existing results rely on regularity assumptions that are very restrictive in practice and much stricter than those in Brenier's Theorem, including the compactness and convexity of the probability support and the bi-Lipschitz property of the OT maps. We aim to broaden the scope of OT map estimation and fill this gap between theory and practice. Given the strong convexity assumption on Brenier's potential, we first establish the non-asymptotic convergence rates for the original plug-in estimator without requiring restrictive assumptions on probability measures. Additionally, we introduce a sieve plug-in estimator and establish its convergence rates without the strong convexity assumption on Brenier's potential, enabling the widely used cases such as the rank functions of normal or t-distributions. We also establish new Poincaré-type inequalities, which are proved given sufficient conditions on the local boundedness of the probability density and mild topological conditions of the support, and these new inequalities enable us to achieve faster convergence rates for the Donsker function class. Moreover, we develop scalable algorithms to efficiently solve the OT map estimation using neural networks and present numerical experiments to demonstrate the effectiveness and robustness.
△ Less
Submitted 10 December, 2024;
originally announced December 2024.
-
Hypothesis Testing for High-Dimensional Matrix-Valued Data
Authors:
Shijie Cui,
Danning Li,
Runze Li,
Lingzhou Xue
Abstract:
This paper addresses hypothesis testing for the mean of matrix-valued data in high-dimensional settings. We investigate the minimum discrepancy test, originally proposed by Cragg (1997), which serves as a rank test for lower-dimensional matrices. We evaluate the performance of this test as the matrix dimensions increase proportionally with the sample size, and identify its limitations when matrix…
▽ More
This paper addresses hypothesis testing for the mean of matrix-valued data in high-dimensional settings. We investigate the minimum discrepancy test, originally proposed by Cragg (1997), which serves as a rank test for lower-dimensional matrices. We evaluate the performance of this test as the matrix dimensions increase proportionally with the sample size, and identify its limitations when matrix dimensions significantly exceed the sample size. To address these challenges, we propose a new test statistic tailored for high-dimensional matrix rank testing. The oracle version of this statistic is analyzed to highlight its theoretical properties. Additionally, we develop a novel approach for constructing a sparse singular value decomposition (SVD) estimator for singular vectors, providing a comprehensive examination of its theoretical aspects. Using the sparse SVD estimator, we explore the properties of the sample version of our proposed statistic. The paper concludes with simulation studies and two case studies involving surveillance video data, demonstrating the practical utility of our proposed methods.
△ Less
Submitted 10 December, 2024;
originally announced December 2024.
-
Local Well-posedness of the Free-boundary Problem in Incompressible Elastodynamics with Surface Tension
Authors:
Longhui Xu
Abstract:
We prove the local well-posedness of the 3D free-boundary incompressible elastodynamics with surface tension describing the motion of an elastic medium in a periodic domain with a moving graphical surface. The deformation tensor is assumed to satisfy the neo-Hookean linear elasticity. We adapt the idea in arXiv:2312.11254 to generate an approximate problem with artificial viscosity indexed by…
▽ More
We prove the local well-posedness of the 3D free-boundary incompressible elastodynamics with surface tension describing the motion of an elastic medium in a periodic domain with a moving graphical surface. The deformation tensor is assumed to satisfy the neo-Hookean linear elasticity. We adapt the idea in arXiv:2312.11254 to generate an approximate problem with artificial viscosity indexed by $κ> 0$ to boost the boundary regularity, which recovers the original system as $κ\to 0$, and the energy estimates yield no regularity loss.
△ Less
Submitted 7 January, 2025; v1 submitted 22 November, 2024;
originally announced November 2024.
-
$W_{\bf d}$-convergence rate of EM schemes for invariant measures of supercritical stable SDEs
Authors:
Peng Chen,
Lihu Xu,
Xiaolong Zhang,
Xicheng Zhang
Abstract:
By establishing the regularity estimates for nonlocal Stein/Poisson equations under $γ$-order Hölder and dissipative conditions on the coefficients, we derive the $W_{\bf d}$-convergence rate for the Euler-Maruyama schemes applied to the invariant measure of SDEs driven by multiplicative $α$-stable noises with $α\in (\frac{1}{2}, 2)$, where $W_{\bf d}$ denotes the Wasserstein metric with…
▽ More
By establishing the regularity estimates for nonlocal Stein/Poisson equations under $γ$-order Hölder and dissipative conditions on the coefficients, we derive the $W_{\bf d}$-convergence rate for the Euler-Maruyama schemes applied to the invariant measure of SDEs driven by multiplicative $α$-stable noises with $α\in (\frac{1}{2}, 2)$, where $W_{\bf d}$ denotes the Wasserstein metric with ${\bf d}(x,y)=|x-y|^γ\wedge 1$ and $γ\in ((1-α)_+, 1]$.
△ Less
Submitted 15 November, 2024;
originally announced November 2024.
-
Robust estimation for high-dimensional time series with heavy tails
Authors:
Yu Wang,
Guodong Li,
Zhijie Xiao,
Lihu Xu,
Wenyang Zhang
Abstract:
We study in this paper the problem of least absolute deviation (LAD) regression for high-dimensional heavy-tailed time series which have finite $α$-th moment with $α\in (1,2]$. To handle the heavy-tailed dependent data, we propose a Catoni type truncated minimization problem framework and obtain an $\mathcal{O}\big( \big( (d_1+d_2) (d_1\land d_2) \log^2 n / n \big)^{(α- 1)/α} \big)$ order excess r…
▽ More
We study in this paper the problem of least absolute deviation (LAD) regression for high-dimensional heavy-tailed time series which have finite $α$-th moment with $α\in (1,2]$. To handle the heavy-tailed dependent data, we propose a Catoni type truncated minimization problem framework and obtain an $\mathcal{O}\big( \big( (d_1+d_2) (d_1\land d_2) \log^2 n / n \big)^{(α- 1)/α} \big)$ order excess risk, where $d_1$ and $d_2$ are the dimensionality and $n$ is the number of samples. We apply our result to study the LAD regression on high-dimensional heavy-tailed vector autoregressive (VAR) process. Simulations for the VAR($p$) model show that our new estimator with truncation are essential because the risk of the classical LAD has a tendency to blow up. We further apply our estimation to the real data and find that ours fits the data better than the classical LAD.
△ Less
Submitted 7 November, 2024;
originally announced November 2024.
-
ADMM for 0/1 D-Opt and MESP relaxations
Authors:
Gabriel Ponte,
Marcia Fampa,
Jon Lee,
Luze Xu
Abstract:
The 0/1 D-optimality problem and the Maximum-Entropy Sampling problem are two well-known NP-hard discrete maximization problems in experimental design. Algorithms for exact optimization (of moderate-sized instances) are based on branch-and-bound. The best upper-bounding methods are based on convex relaxation. We present ADMM (Alternating Direction Method of Multipliers) algorithms for solving thes…
▽ More
The 0/1 D-optimality problem and the Maximum-Entropy Sampling problem are two well-known NP-hard discrete maximization problems in experimental design. Algorithms for exact optimization (of moderate-sized instances) are based on branch-and-bound. The best upper-bounding methods are based on convex relaxation. We present ADMM (Alternating Direction Method of Multipliers) algorithms for solving these relaxations and experimentally demonstrate their practical value.
△ Less
Submitted 25 March, 2025; v1 submitted 5 November, 2024;
originally announced November 2024.
-
On the free-boundary Incompressible Elastodynamics with and without surface tension
Authors:
Longhui Xu
Abstract:
We consider a free-boundary problem for the incompressible elastodynamics describing the motion of an elastic medium in a periodic domain with a moving boundary and a fixed bottom under the influence of surface tension. The local well-posedness in Lagrangian coordinates is proved by extending arXiv:2105.00596 on incompressible magnetohydrodynamics. We adapt the idea in arXiv:2211.03600 on compress…
▽ More
We consider a free-boundary problem for the incompressible elastodynamics describing the motion of an elastic medium in a periodic domain with a moving boundary and a fixed bottom under the influence of surface tension. The local well-posedness in Lagrangian coordinates is proved by extending arXiv:2105.00596 on incompressible magnetohydrodynamics. We adapt the idea in arXiv:2211.03600 on compressible gravity-capillary water waves to obtain an energy estimate in graphic coordinates. The energy estimate is uniform in surface tension coefficient if the Rayleigh-Taylor sign condition holds and thus yields the zero-surface-tension limit.
△ Less
Submitted 1 November, 2024;
originally announced November 2024.
-
Dual Mixed Volume
Authors:
Yibo Gao,
Thomas Lam,
Lei Xue
Abstract:
We define and study the dual mixed volume rational function of a sequence of polytopes, a dual version of the mixed volume polynomial. This concept has direct relations to the adjoint polynomials and the canonical forms of polytopes. We show that dual mixed volume is additive under mixed subdivisions, and is related by a change of variables to the dual volume of the Cayley polytope. We study dual…
▽ More
We define and study the dual mixed volume rational function of a sequence of polytopes, a dual version of the mixed volume polynomial. This concept has direct relations to the adjoint polynomials and the canonical forms of polytopes. We show that dual mixed volume is additive under mixed subdivisions, and is related by a change of variables to the dual volume of the Cayley polytope. We study dual mixed volume of zonotopes, generalized permutohedra, and associahedra. The latter reproduces the planar $φ^3$-scalar amplitude at tree level.
△ Less
Submitted 28 October, 2024;
originally announced October 2024.
-
Local regularity and finite-time singularity for a class of generalized SQG patches on the half-plane
Authors:
Qianyun Miao,
Changhui Tan,
Liutang Xue,
Zhilong Xue
Abstract:
In this paper, we investigate a class of inviscid generalized surface quasi-geostrophic (SQG) equations on the half-plane with a rigid boundary. Compared to the Biot-Savart law in the vorticity form of the 2D Euler equation, the velocity formula here includes an additional Fourier multiplier operator $m(Λ)$. When $m(Λ) = Λ^α$, where $Λ= (-Δ)^{1/2}$ and $α\in (0,2)$, the equation reduces to the wel…
▽ More
In this paper, we investigate a class of inviscid generalized surface quasi-geostrophic (SQG) equations on the half-plane with a rigid boundary. Compared to the Biot-Savart law in the vorticity form of the 2D Euler equation, the velocity formula here includes an additional Fourier multiplier operator $m(Λ)$. When $m(Λ) = Λ^α$, where $Λ= (-Δ)^{1/2}$ and $α\in (0,2)$, the equation reduces to the well-known $α$-SQG equation. Finite-time singularity formation for patch solutions to the $α$-SQG equation was famously discovered by Kiselev, Ryzhik, Yao, and Zlatoš [Ann. Math., 184 (2016), pp. 909-948].
We establish finite-time singularity formation for patch solutions to the generalized SQG equations under the Osgood condition \[\int_2^\infty \frac{1}{r (\log r) m(r)} dr < \infty\] along with some additional mild conditions. Notably, our result fills the gap between the globally well-posed 2D Euler equation ($α= 0$) and the $α$-SQG equation ($α> 0$). Furthermore, in line with Elgindi's global regularity results for 2D Loglog-Euler type equations [Arch. Rat. Mech. Anal., 211 (2014), pp. 965-990], our findings suggest that the Osgood condition serves as a sharp threshold that distinguishes global regularity and finite-time singularity in these models.
In addition, we generalize the local regularity and finite-time singularity results for patch solutions to the $α$-SQG equation, as established by Gancedo and Patel [Ann. PDE, 7 (2021), no. 1, Art. no. 4], extending them to cases where $m(r)$ behaves like $r^α$ near infinity but does not have an explicit formulation.
△ Less
Submitted 24 October, 2024;
originally announced October 2024.
-
A novel approach to hydrodynamics for long-range generalized exclusion
Authors:
Patrícia Gonçalves,
Julian Kern,
Lu Xu
Abstract:
We consider a class of generalized long-range exclusion processes evolving either on $\mathbb Z$ or on a finite lattice with an open boundary. The jump rates are given in terms of a general kernel depending on both the departure and destination sites, and it is such that the particle displacement has an infinite expectation, but some tail bounds are satisfied. We study the superballisitic scaling…
▽ More
We consider a class of generalized long-range exclusion processes evolving either on $\mathbb Z$ or on a finite lattice with an open boundary. The jump rates are given in terms of a general kernel depending on both the departure and destination sites, and it is such that the particle displacement has an infinite expectation, but some tail bounds are satisfied. We study the superballisitic scaling limit of the particle density and prove that its space-time evolution is concentrated on the set of weak solutions to a non-local transport equation. Since the stationary states of the dynamics are unknown, we develop a new approach to such a limit relying only on the algebraic structure of the Markovian generator.
△ Less
Submitted 23 October, 2024;
originally announced October 2024.
-
Error estimates between SGD with momentum and underdamped Langevin diffusion
Authors:
Arnaud Guillin,
Yu Wang,
Lihu Xu,
Haoran Yang
Abstract:
Stochastic gradient descent with momentum is a popular variant of stochastic gradient descent, which has recently been reported to have a close relationship with the underdamped Langevin diffusion. In this paper, we establish a quantitative error estimate between them in the 1-Wasserstein and total variation distances.
Stochastic gradient descent with momentum is a popular variant of stochastic gradient descent, which has recently been reported to have a close relationship with the underdamped Langevin diffusion. In this paper, we establish a quantitative error estimate between them in the 1-Wasserstein and total variation distances.
△ Less
Submitted 22 October, 2024;
originally announced October 2024.
-
Long time existence for a class of weakly transverse Boussinesq systems
Authors:
Qi Li,
Jean-Claude Saut,
Li Xu
Abstract:
We prove the existence on long time scales of the solutions to the Cauchy problem for a version of weakly transverse Boussinesq systems arising in the modeling of surface water waves. This system is much more complicated than the isotropic Boussinesq systems because dispersion is only present in the x-direction, leading to anisotropic eigenvalues in the linearized system. This anisotropic characte…
▽ More
We prove the existence on long time scales of the solutions to the Cauchy problem for a version of weakly transverse Boussinesq systems arising in the modeling of surface water waves. This system is much more complicated than the isotropic Boussinesq systems because dispersion is only present in the x-direction, leading to anisotropic eigenvalues in the linearized system. This anisotropic character leads to loss of y-derivatives for the solutions. To overcome this main difficulty our strategy is to symmetrize the system by introducing suitable good unknowns in the sense of [3].
△ Less
Submitted 15 October, 2024;
originally announced October 2024.
-
Understanding the Statistical Accuracy-Communication Trade-off in Personalized Federated Learning with Minimax Guarantees
Authors:
Xin Yu,
Zelin He,
Ying Sun,
Lingzhou Xue,
Runze Li
Abstract:
Personalized federated learning (PFL) offers a flexible framework for aggregating information across distributed clients with heterogeneous data. This work considers a personalized federated learning setting that simultaneously learns global and local models. While purely local training has no communication cost, collaborative learning among the clients can leverage shared knowledge to improve sta…
▽ More
Personalized federated learning (PFL) offers a flexible framework for aggregating information across distributed clients with heterogeneous data. This work considers a personalized federated learning setting that simultaneously learns global and local models. While purely local training has no communication cost, collaborative learning among the clients can leverage shared knowledge to improve statistical accuracy, presenting an accuracy-communication trade-off in personalized federated learning. However, the theoretical analysis of how personalization quantitatively influences sample and algorithmic efficiency and their inherent trade-off is largely unexplored. This paper makes a contribution towards filling this gap, by providing a quantitative characterization of the personalization degree on the tradeoff. The results further offers theoretical insights for choosing the personalization degree. As a side contribution, we establish the minimax optimality in terms of statistical accuracy for a widely studied PFL formulation. The theoretical result is validated on both synthetic and real-world datasets and its generalizability is verified in a non-convex setting.
△ Less
Submitted 1 June, 2025; v1 submitted 11 October, 2024;
originally announced October 2024.
-
Adaptive Algorithms for Robust Phase Retrieval
Authors:
Zhong Zheng,
Necdet Serhat Aybat,
Shiqian Ma,
Lingzhou Xue
Abstract:
This paper considers the robust phase retrieval, which can be cast as a nonsmooth and nonconvex composite optimization problem. We propose two first-order algorithms with adaptive step sizes: the subgradient algorithm (AdaSubGrad) and the inexact proximal linear algorithm (AdaIPL). Our contribution lies in the novel design of adaptive step sizes based on quantiles of the absolute residuals. Local…
▽ More
This paper considers the robust phase retrieval, which can be cast as a nonsmooth and nonconvex composite optimization problem. We propose two first-order algorithms with adaptive step sizes: the subgradient algorithm (AdaSubGrad) and the inexact proximal linear algorithm (AdaIPL). Our contribution lies in the novel design of adaptive step sizes based on quantiles of the absolute residuals. Local linear convergences of both algorithms are analyzed under different regimes for the hyper-parameters. Numerical experiments on synthetic datasets and image recovery also demonstrate that our methods are competitive against the existing methods in the literature utilizing predetermined (possibly impractical) step sizes, such as the subgradient methods and the inexact proximal linear method.
△ Less
Submitted 27 September, 2024;
originally announced September 2024.
-
High-order Accurate Entropy Stable Schemes for Relativistic Hydrodynamics with General Synge-type Equation of State
Authors:
Linfeng Xu,
Shengrong Ding,
Kailiang Wu
Abstract:
All the existing entropy stable (ES) schemes for relativistic hydrodynamics (RHD) in the literature were restricted to the ideal equation of state (EOS), which however is often a poor approximation for most relativistic flows due to its inconsistency with the relativistic kinetic theory. This paper develops high-order ES finite difference schemes for RHD with general Synge-type EOS, which encompas…
▽ More
All the existing entropy stable (ES) schemes for relativistic hydrodynamics (RHD) in the literature were restricted to the ideal equation of state (EOS), which however is often a poor approximation for most relativistic flows due to its inconsistency with the relativistic kinetic theory. This paper develops high-order ES finite difference schemes for RHD with general Synge-type EOS, which encompasses a range of special EOSs. We first establish an entropy pair for the RHD equations with general Synge-type EOS in any space dimensions. We rigorously prove that the found entropy function is strictly convex and derive the associated entropy variables, laying the foundation for designing entropy conservative (EC) and ES schemes. Due to relativistic effects, one cannot explicitly express primitive variables, fluxes, and entropy variables in terms of conservative variables. Consequently, this highly complicates the analysis of the entropy structure of the RHD equations, the investigation of entropy convexity, and the construction of EC numerical fluxes. By using a suitable set of parameter variables, we construct novel two-point EC fluxes in a unified form for general Synge-type EOS. We obtain high-order EC schemes through linear combinations of the two-point EC fluxes. Arbitrarily high-order accurate ES schemes are achieved by incorporating dissipation terms into the EC schemes, based on (weighted) essentially non-oscillatory reconstructions. Additionally, we derive the general dissipation matrix for general Synge-type EOS based on the scaled eigenvectors of the RHD system. We also define a suitable average of the dissipation matrix at the cell interfaces to ensure that the resulting ES schemes can resolve stationary contact discontinuities accurately. Several numerical examples are provided to validate the accuracy and effectiveness of our schemes for RHD with four special EOSs.
△ Less
Submitted 16 September, 2024;
originally announced September 2024.
-
Asymptotic stability of the composite wave of rarefaction wave and contact wave to nonlinear viscoelasticity model with non-convex flux
Authors:
Zhenhua Guo,
Meichen Hou,
Guiqin Qiu,
Lingda Xu
Abstract:
In this paper, we consider the wave propagations of viscoelastic materials, which has been derived by Taiping-Liu to approximate the viscoelastic dynamic system with fading memory (see [T.P.Liu(1988)\cite{LiuTP}]) by the Chapman-Enskog expansion. By constructing a set of linear diffusion waves coupled with the high-order diffusion waves to achieve cancellations to approximate the viscous contact w…
▽ More
In this paper, we consider the wave propagations of viscoelastic materials, which has been derived by Taiping-Liu to approximate the viscoelastic dynamic system with fading memory (see [T.P.Liu(1988)\cite{LiuTP}]) by the Chapman-Enskog expansion. By constructing a set of linear diffusion waves coupled with the high-order diffusion waves to achieve cancellations to approximate the viscous contact wave well and explicit expressions, the nonlinear stability of the composite wave is obtained by a continuum argument.
It emphasis that, the stress function in our paper is a general non-convex function, which leads to several essential differences from strictly hyperbolic systems such as the Euler system. Our method is completely new and can be applied to more general systems and a new weighted Poincaré type of inequality is established, which is more challenging compared to the convex case and this inequality plays an important role in studying systems with non-convex flux.
△ Less
Submitted 16 September, 2024;
originally announced September 2024.
-
Rate of convergence of the Kac particle system for the Boltzmann equation with hard potentials
Authors:
Chenguang Liu,
Liping Xu,
An Zhang
Abstract:
In this paper, we prove that the Kac stochastic particle system converges to the weak solution of the spatially homogeneous Boltzmann equation for hard potentials and hard spheres. We give, under the initial data with finite exponential moment assumption, an explicit rate of propagation of chaos in squared Wasserstein distance with quadratic cost by using a double coupling technique.
In this paper, we prove that the Kac stochastic particle system converges to the weak solution of the spatially homogeneous Boltzmann equation for hard potentials and hard spheres. We give, under the initial data with finite exponential moment assumption, an explicit rate of propagation of chaos in squared Wasserstein distance with quadratic cost by using a double coupling technique.
△ Less
Submitted 6 September, 2024;
originally announced September 2024.
-
Bilateral boundary finite-time stabilization of 2x2 linear first-order hyperbolic systems with spatially varying coefficients
Authors:
Wei Sun,
Jing Li,
Liangyu Xu
Abstract:
This paper presents bilateral control laws for one-dimensional(1-D) linear 2x2 hyperbolic first-order systems (with spatially varying coefficients). Bilateral control means there are two actuators at each end of the domain. This situation becomes more complex as the transport velocities are no longer constant, and this extension is nontrivial. By selecting the appropriate backstepping transformati…
▽ More
This paper presents bilateral control laws for one-dimensional(1-D) linear 2x2 hyperbolic first-order systems (with spatially varying coefficients). Bilateral control means there are two actuators at each end of the domain. This situation becomes more complex as the transport velocities are no longer constant, and this extension is nontrivial. By selecting the appropriate backstepping transformation and target system, the infinite-dimensional backstepping method is extended and a full-state feedback control law is given that ensures the closed-loop system converges to its zero equilibrium in finite time. The design of bilateral controllers enables a potential for fault-tolerant designs.
△ Less
Submitted 3 September, 2024;
originally announced September 2024.
-
Smoothed Robust Phase Retrieval
Authors:
Zhong Zheng,
Lingzhou Xue
Abstract:
The phase retrieval problem in the presence of noise aims to recover the signal vector of interest from a set of quadratic measurements with infrequent but arbitrary corruptions, and it plays an important role in many scientific applications. However, the essential geometric structure of the nonconvex robust phase retrieval based on the $\ell_1$-loss is largely unknown to study spurious local solu…
▽ More
The phase retrieval problem in the presence of noise aims to recover the signal vector of interest from a set of quadratic measurements with infrequent but arbitrary corruptions, and it plays an important role in many scientific applications. However, the essential geometric structure of the nonconvex robust phase retrieval based on the $\ell_1$-loss is largely unknown to study spurious local solutions, even under the ideal noiseless setting, and its intrinsic nonsmooth nature also impacts the efficiency of optimization algorithms. This paper introduces the smoothed robust phase retrieval (SRPR) based on a family of convolution-type smoothed loss functions. Theoretically, we prove that the SRPR enjoys a benign geometric structure with high probability: (1) under the noiseless situation, the SRPR has no spurious local solutions, and the target signals are global solutions, and (2) under the infrequent but arbitrary corruptions, we characterize the stationary points of the SRPR and prove its benign landscape, which is the first landscape analysis of phase retrieval with corruption in the literature. Moreover, we prove the local linear convergence rate of gradient descent for solving the SRPR under the noiseless situation. Experiments on both simulated datasets and image recovery are provided to demonstrate the numerical performance of the SRPR.
△ Less
Submitted 2 September, 2024;
originally announced September 2024.
-
Nonlinear stability threshold for compressible Couette flow
Authors:
Feimin Huang,
Rui Li,
Lingda Xu
Abstract:
This paper concerns the Couette flow for 2-D compressible Navier-Stokes equations (N-S) in an infinitely long flat torus $\Torus\times\R$. Compared to the incompressible flow, the compressible Couette flow has a stronger lift-up effect and weaker dissipation. To the best of our knowledge, there has been no work on the nonlinear stability in the cases of high Reynolds number until now and only line…
▽ More
This paper concerns the Couette flow for 2-D compressible Navier-Stokes equations (N-S) in an infinitely long flat torus $\Torus\times\R$. Compared to the incompressible flow, the compressible Couette flow has a stronger lift-up effect and weaker dissipation. To the best of our knowledge, there has been no work on the nonlinear stability in the cases of high Reynolds number until now and only linear stability was known in \cite{ADM2021,ZZZ2022}.In this paper, we study the nonlinear stability of 2-D compressible Couette flow in Sobolev space at high Reynolds numbers. Moreover, we also show the enhanced dissipation phenomenon and stability threshold for the compressible Couette flow.
First, We decompose the perturbation into zero and non-zero modes and obtain two systems for these components, respectively. Different from \cite{ADM2021,ZZZ2022}, we use the anti-derivative technique to study the zero-mode system. We introduce a kind of diffusion wave to remove the excessive mass of the zero-modes and construct coupled diffusion waves along characteristics to improve the resulting time decay rates of error terms and derive a new integrated system \cref{anti}. Secondly, we observe a cancellation with the new system \cref{anti} so that the lift-up effect is weakened. Thirdly, the large time behavior of the zero-modes is obtained by the weighted energy method and a weighted inequality on the heat kernel \cite{HLM2010}.In addition, with the help of the Fourier multipliers method, we can show the enhanced dissipation phenomenon for the non-zero modes by commutator estimates to avoid loss of derivatives. Finally, we complete the higher-order derivative estimates to close the a priori assumptions by the energy method and show the stability threshold.
△ Less
Submitted 10 September, 2024; v1 submitted 2 September, 2024;
originally announced September 2024.
-
When do CF-approximation spaces capture sL-domains
Authors:
Guojun Wu,
Luoshan Xu,
Wei Yao
Abstract:
In this paper, by means of upper approximation operators in rough set theory, we study representations for sL-domains and its special subclasses. We introduce the concepts of sL-approximation spaces, L-approximation spaces and bc-approximation spaces, which are special types of CF-approximation spaces. We prove that the collection of CF-closed sets in an sL-approximation space (resp., an L-approxi…
▽ More
In this paper, by means of upper approximation operators in rough set theory, we study representations for sL-domains and its special subclasses. We introduce the concepts of sL-approximation spaces, L-approximation spaces and bc-approximation spaces, which are special types of CF-approximation spaces. We prove that the collection of CF-closed sets in an sL-approximation space (resp., an L-approximation space, a bc-approximation space) ordered by set-theoretic inclusion is an sL-domain (resp., an L-domain, a bc-domain); conversely, every sL-domain (resp., L-domain, bc-domain) is order-isomorphic to the collection of CF-closed sets of an sL-approximation space (resp., an L-approximation space, a bc-approximation space). Consequently, we establish an equivalence between the category of sL-domains (resp., L-domains) with Scott continuous mappings and that of sL-approximation spaces (resp., L-approximation spaces) with CF-approximable relations.
△ Less
Submitted 6 August, 2024;
originally announced August 2024.
