-
Random Distributionally Robust Optimization under Phi-divergence
Authors:
Guohui Guan,
Zongxia Liang,
Xingjian Ma
Abstract:
This paper introduces a novel framework, Random Distributionally Robust Optimization (RDRO), which extends classical Distributionally Robust Optimization (DRO) by allowing the decision variable to be a random variable. We formulate the RDRO problem using a bivariate utility function and $\varphi$-divergence ambiguity sets, enabling a more flexible and realistic treatment of uncertainty. The RDRO f…
▽ More
This paper introduces a novel framework, Random Distributionally Robust Optimization (RDRO), which extends classical Distributionally Robust Optimization (DRO) by allowing the decision variable to be a random variable. We formulate the RDRO problem using a bivariate utility function and $\varphi$-divergence ambiguity sets, enabling a more flexible and realistic treatment of uncertainty. The RDRO framework encompasses a broad range of robust decision-making applications, including portfolio optimization, healthcare resource allocation, and reliable facility location. By optimal transport theory and convex analysis, we characterize key structural properties of the RDRO problem. Our main theoretical contributions include establishing the existence and uniqueness of optimal randomized decisions and proving a duality theorem that links the constrained RDRO formulation to its penalized counterpart. We further propose an efficient numerical scheme that combines the scaling algorithm for unbalanced optimal transport with projected gradient descent, and demonstrate its effectiveness through numerical experiments.
△ Less
Submitted 30 June, 2025;
originally announced June 2025.
-
Model Reduction of Homogeneous Polynomial Dynamical Systems via Tensor Decomposition
Authors:
Xin Mao,
Can Chen
Abstract:
Model reduction plays a critical role in system control, with established methods such as balanced truncation widely used for linear systems. However, extending these methods to nonlinear settings, particularly polynomial dynamical systems that are often used to model higher-order interactions in physics, biology, and ecology, remains a significant challenge. In this article, we develop a novel mo…
▽ More
Model reduction plays a critical role in system control, with established methods such as balanced truncation widely used for linear systems. However, extending these methods to nonlinear settings, particularly polynomial dynamical systems that are often used to model higher-order interactions in physics, biology, and ecology, remains a significant challenge. In this article, we develop a novel model reduction method for homogeneous polynomial dynamical systems (HPDSs) with linear input and output grounded in tensor decomposition. Leveraging the inherent tensor structure of HPDSs, we construct reduced models by extracting dominant mode subspaces via higher-order singular value decomposition. Notably, we establish that key system-theoretic properties, including stability, controllability, and observability, are preserved in the reduced model. We demonstrate the effectiveness of our method using numerical examples.
△ Less
Submitted 23 June, 2025;
originally announced June 2025.
-
Improved Uncooperative Spacecraft Maneuver Detection with Space-based Optical Observations
Authors:
Xuejian Mao,
Pei Liu,
Pei Chen
Abstract:
Building and maintaining a space object catalog is necessary for space situational awareness. To realize this, one great challenge is uncooperative spacecraft maneuver detection because unknown maneuver events can lead to deviated orbital predictions and losses of tracking. Nowadays, more and more spacecraft equip electric propulsion and perform long-duration maneuvers to realize orbital transfer.…
▽ More
Building and maintaining a space object catalog is necessary for space situational awareness. To realize this, one great challenge is uncooperative spacecraft maneuver detection because unknown maneuver events can lead to deviated orbital predictions and losses of tracking. Nowadays, more and more spacecraft equip electric propulsion and perform long-duration maneuvers to realize orbital transfer. Previous studies have investigated impulsive maneuver detection with space surveillance data. But, the developed method does not suffice for cases where maneuver durations are long. In this study, an improved uncooperative spacecraft maneuver detection method with space-based optical observations is proposed. Instead of a sudden maneuver event, the maneuver duration is considered. The maneuver starting/ending times are estimated along with the thrust acceleration vector. The angular residuals of nonlinear least square estimates are used to judge whether a maneuver policy could be a potential solution. The global optimum maneuver policy is chosen from multiple local minima according to the minimum-fuel principle. It is demonstrated that the maneuver duration is poorly observable if the thrust is along the orbital normal direction attributed to the nature of orbital dynamics. Real maneuver data of the Senitnel-3A spacecraft and the Senitnel-6A spacecraft is used to test the capability of the developed method.
△ Less
Submitted 12 June, 2025;
originally announced June 2025.
-
New Bounds on the Anti-Ramsey Number of Independent Triangles
Authors:
Hongliang Lu,
Xinyue Luo,
Xinxin Ma
Abstract:
An edge-colored graph is called \textit{rainbow graph} if all the colors on its edges are distinct. Given a positive integer $n$ and a graph $G$, the \textit{anti-Ramsey number} $ar(n,G)$ is defined to be the minimum number of colors $r$ such that there exists a rainbow copy of $G$ in any exactly $r$-edge-coloring of $K_n$.
Wu et al. (Anti-Ramsey numbers for vertex-disjoint triangles, \emph{Disc…
▽ More
An edge-colored graph is called \textit{rainbow graph} if all the colors on its edges are distinct. Given a positive integer $n$ and a graph $G$, the \textit{anti-Ramsey number} $ar(n,G)$ is defined to be the minimum number of colors $r$ such that there exists a rainbow copy of $G$ in any exactly $r$-edge-coloring of $K_n$.
Wu et al. (Anti-Ramsey numbers for vertex-disjoint triangles, \emph{Discrete. Math.}, \textbf{346} (2022), 113123) determined the anti-Ramsey number $ar(n, kK_3)$ for $n\geq 2k^2-k+2 $. In this paper, we extend this result by improving the lower bound on $n$ to $n\geq 15k+57$.
△ Less
Submitted 8 June, 2025;
originally announced June 2025.
-
Fubini-Study forms on punctured Riemann surfaces
Authors:
Razvan Apredoaei,
Xiaonan Ma,
Lei Wang
Abstract:
In this paper we consider a punctured Riemann surface endowed with a Hermitian metric that equals the Poincaré metric near the punctures, and a holomorphic line bundle that polarizes the metric. We show that the quotient of the induced Fubini-Study forms by Kodaira maps of high tensor powers of the line bundle and the Poincaré form near the singularity grows polynomially uniformly on a neighborhoo…
▽ More
In this paper we consider a punctured Riemann surface endowed with a Hermitian metric that equals the Poincaré metric near the punctures, and a holomorphic line bundle that polarizes the metric. We show that the quotient of the induced Fubini-Study forms by Kodaira maps of high tensor powers of the line bundle and the Poincaré form near the singularity grows polynomially uniformly on a neighborhood of the singularity as the tensor power tends to infinity, as an application of the method in [5].
△ Less
Submitted 16 June, 2025; v1 submitted 6 June, 2025;
originally announced June 2025.
-
Fine-tuning for Data-enabled Predictive Control of Noisy Systems by Reinforcement Learning
Authors:
Jinbao Wang,
Shiliang Zhang,
Jun Liu,
Xuehui Ma,
Haolin Liu
Abstract:
Data-enabled predictive control (DeePC) leverages system measurements in characterizing system dynamics for optimal control. The performance of DeePC relies on optimizing its hyperparameters, especially in noisy systems where the optimal hyperparameters adapt over time. Existing hyperparameter tuning approaches for DeePC are more than often computationally inefficient or overly conservative. This…
▽ More
Data-enabled predictive control (DeePC) leverages system measurements in characterizing system dynamics for optimal control. The performance of DeePC relies on optimizing its hyperparameters, especially in noisy systems where the optimal hyperparameters adapt over time. Existing hyperparameter tuning approaches for DeePC are more than often computationally inefficient or overly conservative. This paper proposes an adaptive DeePC where we guide its hyperparameters adaption through reinforcement learning. We start with establishing the relationship between the system I/O behavior and DeePC hyperparameters. Then we formulate the hyperparameter tuning as a sequential decision-making problem, and we address the decision-making through reinforcement learning. We implement offline training to gain a reinforcement learning model, and we integrate the trained model with DeePC to adjust its hyperparameters adaptively in real time. We conduct numerical simulations with diverse noisy conditions, and the results demonstrate the identification of near-optimal hyperparameters and the robustness of the proposed approach against noises in the control.
△ Less
Submitted 30 May, 2025;
originally announced May 2025.
-
Critical mass for finite-time chemotactic collapse in the critical dimension via comparison
Authors:
Xuan Mao,
Meng Liu,
Yuxiang Li
Abstract:
We study the Neumann initial-boundary value problem for the parabolic-elliptic chemotaxis system, proposed by Jäger and Luckhaus (1992). We confirm that their comparison methods can be simplified and refined, applicable to seek the critical mass $8π$ concerning finite-time blowup in the unit disk. As an application, we deal with a parabolic-elliptic-parabolic chemotaxis model involving indirect si…
▽ More
We study the Neumann initial-boundary value problem for the parabolic-elliptic chemotaxis system, proposed by Jäger and Luckhaus (1992). We confirm that their comparison methods can be simplified and refined, applicable to seek the critical mass $8π$ concerning finite-time blowup in the unit disk. As an application, we deal with a parabolic-elliptic-parabolic chemotaxis model involving indirect signal production in the unit ball of $\mathbb R^4$, proposed by Tao and Winkler (2025). Within the framework of radially symmetric solutions, we prove that if initial mass is less than $64π^2$, then solution is globally bounded; for any $m$ exceeding $64π^2$, there exist nonnegative initial data with prescribed mass $m$ such that the corresponding classical solutions exhibit a formation of Dirac-delta type singularity in finite time, termed a chemotactic collapse.
△ Less
Submitted 20 May, 2025;
originally announced May 2025.
-
Normalized Cut with Reinforcement Learning in Constrained Action Space
Authors:
Qize Jiang,
Linsey Pang,
Alice Gatti,
Mahima Aggarwal,
Giovanna Vantini,
Xiaosong Ma,
Weiwei Sun,
Sanjay Chawla
Abstract:
Reinforcement Learning (RL) has emerged as an important paradigm to solve combinatorial optimization problems primarily due to its ability to learn heuristics that can generalize across problem instances. However, integrating external knowledge that will steer combinatorial optimization problem solutions towards domain appropriate outcomes remains an extremely challenging task. In this paper, we p…
▽ More
Reinforcement Learning (RL) has emerged as an important paradigm to solve combinatorial optimization problems primarily due to its ability to learn heuristics that can generalize across problem instances. However, integrating external knowledge that will steer combinatorial optimization problem solutions towards domain appropriate outcomes remains an extremely challenging task. In this paper, we propose the first RL solution that uses constrained action spaces to guide the normalized cut problem towards pre-defined template instances. Using transportation networks as an example domain, we create a Wedge and Ring Transformer that results in graph partitions that are shaped in form of Wedges and Rings and which are likely to be closer to natural optimal partitions. However, our approach is general as it is based on principles that can be generalized to other domains.
△ Less
Submitted 23 May, 2025; v1 submitted 20 May, 2025;
originally announced May 2025.
-
Non-inner automorphisms of order $p$ in finite $p$-groups admitting cyclic center
Authors:
Xuesong Ma,
Wei Xu
Abstract:
Let $G$ be a finite non-abelian $p$-group admitting cyclic center and $p$ be an odd prime. In this paper, we prove that if $C_{G}(Z(γ_{3}(G)G^{p}))\nleqslantγ_{3}(G)G^{p}$, then $G$ has a non-inner automorphism of order $p$.
Let $G$ be a finite non-abelian $p$-group admitting cyclic center and $p$ be an odd prime. In this paper, we prove that if $C_{G}(Z(γ_{3}(G)G^{p}))\nleqslantγ_{3}(G)G^{p}$, then $G$ has a non-inner automorphism of order $p$.
△ Less
Submitted 7 May, 2025;
originally announced May 2025.
-
Data-driven model order reduction for T-Product-Based dynamical systems
Authors:
Shenghan Mei,
Ziqin He,
Yidan Mei,
Xin Mao,
Anqi Dong,
Ren Wang,
Can Chen
Abstract:
Model order reduction plays a crucial role in simplifying complex systems while preserving their essential dynamic characteristics, making it an invaluable tool in a wide range of applications, including robotic systems, signal processing, and fluid dynamics. However, traditional model order reduction techniques like balanced truncation are not designed to handle tensor data directly and instead r…
▽ More
Model order reduction plays a crucial role in simplifying complex systems while preserving their essential dynamic characteristics, making it an invaluable tool in a wide range of applications, including robotic systems, signal processing, and fluid dynamics. However, traditional model order reduction techniques like balanced truncation are not designed to handle tensor data directly and instead require unfolding the data, which may lead to the loss of important higher-order structural information. In this article, we introduce a novel framework for data-driven model order reduction of T-product-based dynamical systems (TPDSs), which are often used to capture the evolution of third-order tensor data such as images and videos through the T-product. Specifically, we develop advanced T-product-based techniques, including T-balanced truncation, T-balanced proper orthogonal decomposition, and the T-eigensystem realization algorithm for input-output TPDSs by leveraging the unique properties of T-singular value decomposition. We demonstrate that these techniques offer significant memory and computational savings while achieving reduction errors that are comparable to those of conventional methods. The effectiveness of the proposed framework is further validated through synthetic and real-world examples.
△ Less
Submitted 20 April, 2025;
originally announced April 2025.
-
Tensor-based homogeneous polynomial dynamical system analysis from data
Authors:
Xin Mao,
Anqi Dong,
Ziqin He,
Yidan Mei,
Shenghan Mei,
Can Chen
Abstract:
Numerous complex real-world systems, such as those in biological, ecological, and social networks, exhibit higher-order interactions that are often modeled using polynomial dynamical systems or homogeneous polynomial dynamical systems (HPDSs). However, identifying system parameters and analyzing key system-theoretic properties remain challenging due to their inherent nonlinearity and complexity, p…
▽ More
Numerous complex real-world systems, such as those in biological, ecological, and social networks, exhibit higher-order interactions that are often modeled using polynomial dynamical systems or homogeneous polynomial dynamical systems (HPDSs). However, identifying system parameters and analyzing key system-theoretic properties remain challenging due to their inherent nonlinearity and complexity, particularly for large-scale systems. To address these challenges, we develop an innovative computational framework in this article that leverages advanced tensor decomposition techniques, namely tensor train and hierarchical Tucker decompositions, to facilitate efficient identification and analysis of HPDSs that can be equivalently represented by tensors. Specifically, we introduce memory-efficient system identification techniques for directly estimating system parameters represented through tensor decompositions from time-series data. Additionally, we develop necessary and sufficient conditions for determining controllability and observability using the tensor decomposition-based representations of HPDSs, accompanied by detailed complexity analyses that demonstrate significant reductions in computational demands. The effectiveness and efficiency of our framework are validated through numerical examples.
△ Less
Submitted 22 March, 2025;
originally announced March 2025.
-
Finite-time blowup in a fully parabolic chemotaxis model involving indirect signal production
Authors:
Xuan Mao,
Meng Liu,
Yuxiang Li
Abstract:
This paper is concerned with a parabolic-parabolic-parabolic chemotaxis system with indirect signal production, modelling the impact of phenotypic heterogeneity on population aggregation \begin{equation*}
\begin{cases} u_t = Δu - \nabla\cdot(u\nabla v),\\ v_t = Δv - v + w,\\ w_t = Δw - w + u,
\end{cases} \end{equation*} posed on a ball in $\mathbb R^n$ with $n\geq5$, subject to homogeneous Neu…
▽ More
This paper is concerned with a parabolic-parabolic-parabolic chemotaxis system with indirect signal production, modelling the impact of phenotypic heterogeneity on population aggregation \begin{equation*}
\begin{cases} u_t = Δu - \nabla\cdot(u\nabla v),\\ v_t = Δv - v + w,\\ w_t = Δw - w + u,
\end{cases} \end{equation*} posed on a ball in $\mathbb R^n$ with $n\geq5$, subject to homogeneous Neumann boundary conditions. The system has a four-dimensional critical mass phenomenon concerning blowup in finite or infinite time according to the seminal works of Fujie and Senba [J. Differential Equations, 263 (2017), 88--148; 266 (2019), 942--976]. We prove that for any prescribed mass $m > 0$, there exist radially symmetric and nonnegative initial data $(u_0,v_0,w_0)\in C^0(\overlineΩ)\times C^2(\overlineΩ)\times C^2(\overlineΩ)$ with $\int_Ωu_0 = m$ such that the corresponding classical solutions blow up in finite time. The key ingredient is a novel integral inequality for the cross-term integral $\int_Ωuv$ constructed via a Lyapunov functional.
△ Less
Submitted 16 March, 2025;
originally announced March 2025.
-
Hilbert's sixth problem: derivation of fluid equations via Boltzmann's kinetic theory
Authors:
Yu Deng,
Zaher Hani,
Xiao Ma
Abstract:
In this paper, we rigorously derive the fundamental PDEs of fluid mechanics, such as the compressible Euler and incompressible Navier-Stokes-Fourier equations, starting from the hard sphere particle systems undergoing elastic collisions. This resolves Hilbert's sixth problem, as it pertains to the program of deriving the fluid equations from Newton's laws by way of Boltzmann's kinetic theory. The…
▽ More
In this paper, we rigorously derive the fundamental PDEs of fluid mechanics, such as the compressible Euler and incompressible Navier-Stokes-Fourier equations, starting from the hard sphere particle systems undergoing elastic collisions. This resolves Hilbert's sixth problem, as it pertains to the program of deriving the fluid equations from Newton's laws by way of Boltzmann's kinetic theory. The proof relies on the derivation of Boltzmann's equation on 2D and 3D tori, which is an extension of our previous work (arXiv:2408.07818).
△ Less
Submitted 3 March, 2025;
originally announced March 2025.
-
A Fenchel-Young Loss Approach to Data-Driven Inverse Optimization
Authors:
Zhehao Li,
Yanchen Wu,
Xiaojie Mao
Abstract:
Data-driven inverse optimization seeks to estimate unknown parameters in an optimization model from observations of optimization solutions. Many existing methods are ineffective in handling noisy and suboptimal solution observations and also suffer from computational challenges. In this paper, we build a connection between inverse optimization and the Fenchel-Young (FY) loss originally designed fo…
▽ More
Data-driven inverse optimization seeks to estimate unknown parameters in an optimization model from observations of optimization solutions. Many existing methods are ineffective in handling noisy and suboptimal solution observations and also suffer from computational challenges. In this paper, we build a connection between inverse optimization and the Fenchel-Young (FY) loss originally designed for structured prediction, proposing a FY loss approach to data-driven inverse optimization. This new approach is amenable to efficient gradient-based optimization, hence much more efficient than existing methods. We provide theoretical guarantees for the proposed method and use extensive simulation and real-data experiments to demonstrate its significant advantage in parameter estimation accuracy, decision error and computational speed.
△ Less
Submitted 2 April, 2025; v1 submitted 22 February, 2025;
originally announced February 2025.
-
Data-Driven Distributionally Robust Mixed-Integer Control through Lifted Control Policy
Authors:
Xutao Ma,
Chao Ning,
Wenli Du,
Yang Shi
Abstract:
This paper investigates the finite-horizon distributionally robust mixed-integer control (DRMIC) of uncertain linear systems. However, deriving an optimal causal feedback control policy to this DRMIC problem is computationally formidable for most ambiguity sets. To address the computational challenge, we propose a novel distributionally robust lifted control policy (DR-LCP) method to derive a high…
▽ More
This paper investigates the finite-horizon distributionally robust mixed-integer control (DRMIC) of uncertain linear systems. However, deriving an optimal causal feedback control policy to this DRMIC problem is computationally formidable for most ambiguity sets. To address the computational challenge, we propose a novel distributionally robust lifted control policy (DR-LCP) method to derive a high-quality approximate solution to this DRMIC problem for a rich class of Wasserstein metric-based ambiguity sets, including the Wasserstein ambiguity set and its variants. In theory, we analyze the asymptotic performance and establish a tight non-asymptotic bound of the proposed method. In numerical experiments, the proposed DR-LCP method empirically demonstrates superior performance compared with existing methods in the literature.
△ Less
Submitted 8 February, 2025;
originally announced February 2025.
-
Boundary actions of Bass-Serre Trees and the applications to $C^*$-algebras
Authors:
Xin Ma,
Daxun Wang,
Wenyuan Yang
Abstract:
In this paper, we study Bass-Serre theory from the perspectives of $C^*$-algebras and topological dynamics. In particular, we investigate the actions of fundamental groups of graphs of groups on their Bass-Serre trees and the associated boundaries, through which we identify new families of $C^*$-simple groups including certain tubular groups, fundamental groups of certain graphs of groups with one…
▽ More
In this paper, we study Bass-Serre theory from the perspectives of $C^*$-algebras and topological dynamics. In particular, we investigate the actions of fundamental groups of graphs of groups on their Bass-Serre trees and the associated boundaries, through which we identify new families of $C^*$-simple groups including certain tubular groups, fundamental groups of certain graphs of groups with one vertex group acylindrically hyperbolic and outer automorphism groups $\operatorname{Out}(BS(p, q))$ of Baumslag-Solitar groups. In addition, we study $n$-dimensional Generalized Baumslag-Solitar ($\text{GBS}_n$) groups. We first recover a result by Minasyan and Valiunas on the characterization of $C^*$-simplicity for $\text{GBS}_1$ groups and identify new $C^*$-simple $\text{GBS}_n$ groups including the Leary-Minasyan group. These $C^*$-simple groups also provide new examples of highly transitive groups. Moreover, we demonstrate that natural boundary actions of these $C^*$-simple fundamental groups of graphs of groups give rise to the new purely infinite crossed product $C^*$-algebras.
△ Less
Submitted 4 March, 2025; v1 submitted 4 February, 2025;
originally announced February 2025.
-
Explicit positivity preserving numerical method for linear stochastic volatility models driven by $α$-stable process
Authors:
Xiaotong Li,
Wei Liu,
Xuerong Mao,
Hongjiong Tian,
Yue Wu
Abstract:
In this paper, we introduce a linear stochastic volatility model driven by $α$-stable processes, which admits a unique positive solution. To preserve positivity, we modify the classical forward Euler-Maruyama scheme and analyze its numerical properties. The scheme achieves a strong convergence order of $1/α$. Numerical simulations are presented at the end to verify theoretical results.
In this paper, we introduce a linear stochastic volatility model driven by $α$-stable processes, which admits a unique positive solution. To preserve positivity, we modify the classical forward Euler-Maruyama scheme and analyze its numerical properties. The scheme achieves a strong convergence order of $1/α$. Numerical simulations are presented at the end to verify theoretical results.
△ Less
Submitted 2 February, 2025;
originally announced February 2025.
-
A Bias-Correction Decentralized Stochastic Gradient Algorithm with Momentum Acceleration
Authors:
Yuchen Hu,
Xi Chen,
Weidong Liu,
Xiaojun Mao
Abstract:
Distributed stochastic optimization algorithms can simultaneously process large-scale datasets, significantly accelerating model training. However, their effectiveness is often hindered by the sparsity of distributed networks and data heterogeneity. In this paper, we propose a momentum-accelerated distributed stochastic gradient algorithm, termed Exact-Diffusion with Momentum (EDM), which mitigate…
▽ More
Distributed stochastic optimization algorithms can simultaneously process large-scale datasets, significantly accelerating model training. However, their effectiveness is often hindered by the sparsity of distributed networks and data heterogeneity. In this paper, we propose a momentum-accelerated distributed stochastic gradient algorithm, termed Exact-Diffusion with Momentum (EDM), which mitigates the bias from data heterogeneity and incorporates momentum techniques commonly used in deep learning to enhance convergence rate. Our theoretical analysis demonstrates that the EDM algorithm converges sub-linearly to the neighborhood of the optimal solution, the radius of which is irrespective of data heterogeneity, when applied to non-convex objective functions; under the Polyak-Lojasiewicz condition, which is a weaker assumption than strong convexity, it converges linearly to the target region. Our analysis techniques employed to handle momentum in complex distributed parameter update structures yield a sufficiently tight convergence upper bound, offering a new perspective for the theoretical analysis of other momentum-based distributed algorithms.
△ Less
Submitted 13 February, 2025; v1 submitted 31 January, 2025;
originally announced January 2025.
-
Which coprime graphs are divisor graphs?
Authors:
Xuanlong Ma,
Liangliang Zhai,
Nan Gao
Abstract:
For a finite group $G$, the coprime graph $Γ(G)$ of $G$ is a graph with vertex set $G$, in which two distinct vertices $a$ and $b$ are adjacent if the order of $a$ and the order of $b$ are coprime. In this paper, we first give a characterization for which generalized lexicographic products are divisor graphs. As applications, we show that every of power graph, reduced power graph and order graph i…
▽ More
For a finite group $G$, the coprime graph $Γ(G)$ of $G$ is a graph with vertex set $G$, in which two distinct vertices $a$ and $b$ are adjacent if the order of $a$ and the order of $b$ are coprime. In this paper, we first give a characterization for which generalized lexicographic products are divisor graphs. As applications, we show that every of power graph, reduced power graph and order graph is a divisor graph, which also implies the main result in [N. Takshak, A. Sehgal, A. Malik, Power graph of a finite group is always divisor graph, Asian-Eur. J. Math. 16 (2023), ID: 2250236]. Then, we prove that the coprime graph of a group is a generalized lexicographic product, and give two characterizations for which coprime graphs are divisor graphs. We also describe the groups $G$ with $|π(G)|\le 4$, whose coprime graph is a divisor graph. Finally, we classify the finite groups $G$ so that $Γ(G)$ is a divisor graph if $G$ is a nilpotent group, a dihedral group, a generalized quaternion group, a symmetric group, an alternating group, a direct product of two non-trivial groups, and a sporadic simple group.
△ Less
Submitted 24 January, 2025;
originally announced January 2025.
-
Infinite Horizon Fully Coupled Nonlinear Forward-Backward Stochastic Difference Equations and Their Application to LQ Optimal Control Problems
Authors:
Xinyu Ma,
Xun Li,
Qingxin Meng
Abstract:
This paper focuses on the study of infinite horizon fully coupled nonlinear forward-backward stochastic difference equations (FBS$\bigtriangleup$Es). Firstly, we establish a pair of priori estimates for the solutions to forward stochastic difference equations (S$\bigtriangleup$Es) and backward stochastic difference equations (BS$\bigtriangleup$Es), respectively. Then, to achieve broader applicabil…
▽ More
This paper focuses on the study of infinite horizon fully coupled nonlinear forward-backward stochastic difference equations (FBS$\bigtriangleup$Es). Firstly, we establish a pair of priori estimates for the solutions to forward stochastic difference equations (S$\bigtriangleup$Es) and backward stochastic difference equations (BS$\bigtriangleup$Es), respectively. Then, to achieve broader applicability, we utilize a set of domination-monotonicity conditions that are more lenient than standard assumptions. Using these conditions, we apply continuation methods to prove the unique solvability of infinite horizon fully coupled FBS$\bigtriangleup$Es and derive a set of solution estimates. Furthermore, our results have considerable implications for a variety of related linear quadratic (LQ) problems, especially when the stochastic Hamiltonian system is consistent with FBS$\bigtriangleup$Es satisfying the introduced domination-monotonicity conditions. Thus, by solving the associated stochastic Hamiltonian system, we explicitly characterize the unique optimal control. This is the first work establishing solvability of fully coupled nonlinear FBS$\bigtriangleup$Es under domination-monotonicity conditions in infinite horizon discrete-time setting.
△ Less
Submitted 21 June, 2025; v1 submitted 8 January, 2025;
originally announced January 2025.
-
(Total) Perfect codes in (extended) subgroup sum graphs
Authors:
Xuanlong Ma,
Yuefeng Yang,
Liangliang Zhai
Abstract:
Given a finite group $G$ with identity $e$ and a normal subgroup $H$ of $G$, the subgroup sum graph $Γ_{G,H}$ (resp. extended subgroup sum graph $Γ_{G,H}^+$) of $G$ with respect to $H$ is the graph with vertex set $G$, in which distinct vertices $x$ and $y$ are adjacent whenever $xy\in H\setminus \{e\}$ (resp. $xy\in H$). A group $G$ is said to be {\em code-perfect} if for any normal subgroup $H$…
▽ More
Given a finite group $G$ with identity $e$ and a normal subgroup $H$ of $G$, the subgroup sum graph $Γ_{G,H}$ (resp. extended subgroup sum graph $Γ_{G,H}^+$) of $G$ with respect to $H$ is the graph with vertex set $G$, in which distinct vertices $x$ and $y$ are adjacent whenever $xy\in H\setminus \{e\}$ (resp. $xy\in H$). A group $G$ is said to be {\em code-perfect} if for any normal subgroup $H$ of $G$, $Γ_{G,H}$ admits a perfect code. In this paper, we give a necessary and sufficient condition for which normal subgroups $H$ of $G$ satisfy that a (extended) subgroup sum graph of $G$ with respect to $H$ admits a (total) perfect code, and classify all code-perfect Dedekind groups. As an application, we classify all normal subgroups such that the subgroup sum graph of a cyclic group, a dihedral group or a dicyclic group with respect to such a normal subgroup admits perfect codes, respectively. We also determine all abelian groups $A$ and subgroups $H$ of $A$ such that $Γ_{A,H}$ admits a total perfect code.
△ Less
Submitted 23 December, 2024;
originally announced December 2024.
-
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.
-
Finite-time blowup in a five- and higher-dimensional chemotaxis model with indirect signal production
Authors:
Xuan Mao,
Yuxiang Li
Abstract:
This paper is concerned with a three-component chemotaxis model accounting for indirect signal production, reading as $u_t = \nabla\cdot(\nabla u - u\nabla v)$, $v_t = Δv - v + w$ and $0 = Δw - w + u$, posed on a ball in $\mathbb R^n$ with $n\geq5$, subject to homogeneous Neumann boundary conditions.
It is suggested that the system has a four-dimensional critical mass phenomenon concerning blowu…
▽ More
This paper is concerned with a three-component chemotaxis model accounting for indirect signal production, reading as $u_t = \nabla\cdot(\nabla u - u\nabla v)$, $v_t = Δv - v + w$ and $0 = Δw - w + u$, posed on a ball in $\mathbb R^n$ with $n\geq5$, subject to homogeneous Neumann boundary conditions.
It is suggested that the system has a four-dimensional critical mass phenomenon concerning blowup in finite or infinite time according to the work of Fujie and Senba [J. Differential Equations, 263 (2017), 88--148; 266 (2019), 942--976]. In this paper, we prove that for any prescribed mass $m > 0$, there exist radially symmetric and positive initial data $(u_0,v_0)\in C^0(\overlineΩ)\times C^2(\overlineΩ)$ with $\int_Ωu_0 = m$ such that the corresponding solutions blow up in finite time.
△ Less
Submitted 23 December, 2024; v1 submitted 14 December, 2024;
originally announced December 2024.
-
Best constant and extremal functions for a class Hardy-Sobolev-Maz'ya inequalities
Authors:
Daowen Lin,
Xi-Nan Ma
Abstract:
We derive an integral identity for a class $p$-Laplace equation, and then classify all positive finite energy cylindrically symmetric solutions of the equation (\ref{1.2}) for $3\leq k\leq n-1,$ with the help of some a prior estimates. Combining this with the result of Secchi-Smets-Willem{\cite{SSW03}}, as a consequence, we obtain the best constant and extremal functions for the related Hardy-Sobo…
▽ More
We derive an integral identity for a class $p$-Laplace equation, and then classify all positive finite energy cylindrically symmetric solutions of the equation (\ref{1.2}) for $3\leq k\leq n-1,$ with the help of some a prior estimates. Combining this with the result of Secchi-Smets-Willem{\cite{SSW03}}, as a consequence, we obtain the best constant and extremal functions for the related Hardy-Sobolev-Maz'ya inequalities.
△ Less
Submitted 12 December, 2024;
originally announced December 2024.
-
Invariant tori for a class of affined Anosov mappings with quasi-periodic forces
Authors:
Xinyu Bai,
Zeng Lian,
Xiao Ma,
Hang Zhao
Abstract:
In this paper, we consider a class of affined Anosov mappings with quasi-periodic forces, and show that there is a unique positive integer $m$, which only depends on the system, such that the exponential growth rate of the cardinality of invariant tori of degree $m$ is equal to the topological entropy.
In this paper, we consider a class of affined Anosov mappings with quasi-periodic forces, and show that there is a unique positive integer $m$, which only depends on the system, such that the exponential growth rate of the cardinality of invariant tori of degree $m$ is equal to the topological entropy.
△ Less
Submitted 22 November, 2024;
originally announced November 2024.
-
Coupling Methods and Applications on Path Dependent McKean-Vlasov SDEs
Authors:
Xing Huang,
Xiaochen Ma
Abstract:
By using coupling by change of conditional probability measure, the log-Harnack inequality for path dependent McKean-Vlasov SDEs with distribution dependent diffusion coefficients is established, which together with the exponential contractivity in $L^2$-Wasserstein distance yields the exponential contractivity in entropy-cost under the uniformly dissipative condition. When the coefficients are on…
▽ More
By using coupling by change of conditional probability measure, the log-Harnack inequality for path dependent McKean-Vlasov SDEs with distribution dependent diffusion coefficients is established, which together with the exponential contractivity in $L^2$-Wasserstein distance yields the exponential contractivity in entropy-cost under the uniformly dissipative condition. When the coefficients are only partially dissipative, the exponential contractivity in $L^1$-Wasserstein distance is also derived in the aid of asymptotic reflection coupling, which is new even in the distribution independent case. In addition, the uniform in time propagation of chaos in $L^1$- Wasserstein distance is also obtained for path dependent mean field interacting particle system.
△ Less
Submitted 9 December, 2024; v1 submitted 5 November, 2024;
originally announced November 2024.
-
A graph-based algorithm for the non-stationary lot-sizing problem with penalty scheme
Authors:
Xiyuan Ma,
Roberto Rossi,
Thomas Archibald
Abstract:
This paper introduces a graph-based algorithm for solving single-item, single-location inventory lot-sizing problems under non-stationary stochastic demand using the $(R_t, S_t)$ policy and a penalty cost scheme. The proposed method relaxes the original mixed-integer linear programming (MILP) model by eliminating non-negative order quantity constraints and formulating it as a shortest-path problem…
▽ More
This paper introduces a graph-based algorithm for solving single-item, single-location inventory lot-sizing problems under non-stationary stochastic demand using the $(R_t, S_t)$ policy and a penalty cost scheme. The proposed method relaxes the original mixed-integer linear programming (MILP) model by eliminating non-negative order quantity constraints and formulating it as a shortest-path problem on a weighted directed acyclic graph. A repetitive augmentation procedure is proposed to resolve any infeasibility in the solution. This procedure consists of three stages: (1) filtration, (2) repeated augmentation by redirecting, reconnecting, and duplicating between newly introduced and existing nodes to adjust the graph and eliminate negative replenishment orders, and (3) re-optimising. The effectiveness and computational efficiency of the proposed approach are assessed through extensive experiments on 1,620 test instances across various demand patterns and parameter settings. The results show that 195 instances required augmentation, mainly those with high penalty costs, low fixed ordering costs, large demand variability, and extended planning horizons. The efficiency of the algorithm for instances with extended planning horizon scenarios demonstrates its suitability for use in real-world scenarios.
△ Less
Submitted 30 October, 2024;
originally announced October 2024.
-
Data-driven Analysis of T-Product-based Dynamical Systems
Authors:
Xin Mao,
Anqi Dong,
Ziqin He,
Yidan Mei,
Can Chen
Abstract:
A wide variety of data can be represented using third-order tensors, spanning applications in chemometrics, psychometrics, and image processing. However, traditional data-driven frameworks are not naturally equipped to process tensors without first unfolding or flattening the data, which can result in a loss of crucial higher-order structural information. In this article, we introduce a novel fram…
▽ More
A wide variety of data can be represented using third-order tensors, spanning applications in chemometrics, psychometrics, and image processing. However, traditional data-driven frameworks are not naturally equipped to process tensors without first unfolding or flattening the data, which can result in a loss of crucial higher-order structural information. In this article, we introduce a novel framework for the data-driven analysis of T-product-based dynamical systems (TPDSs), where the system evolution is governed by the T-product between a third-order dynamic tensor and a third-order state tensor. In particular, we examine the data informativity of TPDSs concerning system identification, stability, controllability, and stabilizability and illustrate significant computational improvements over traditional approaches by leveraging the unique properties of the T-product. The effectiveness of our framework is demonstrated through numerical examples.
△ Less
Submitted 27 October, 2024;
originally announced October 2024.
-
Matching stability for 3-partite 3-uniform hypergraphs
Authors:
Hongliang Lu,
Xinxin Ma
Abstract:
Let $n,k,s$ be three integers such that $k\geq 2$ and $n\geq s\geq 1$. Let $H$ be a $k$-partite $k$-uniform hypergraph with $n$ vertices in each class. Aharoni (2017) showed that if $e(H)>(s-1)n^{k-1}$, then $H$ has a matching of size $s$.
In this paper, we give a stability result for 3-partite 3-uniform hypergraphs: if $G$ is a $3$-partite $3$-uniform hypergraph with $n\geq 162$ vertices in eac…
▽ More
Let $n,k,s$ be three integers such that $k\geq 2$ and $n\geq s\geq 1$. Let $H$ be a $k$-partite $k$-uniform hypergraph with $n$ vertices in each class. Aharoni (2017) showed that if $e(H)>(s-1)n^{k-1}$, then $H$ has a matching of size $s$.
In this paper, we give a stability result for 3-partite 3-uniform hypergraphs: if $G$ is a $3$-partite $3$-uniform hypergraph with $n\geq 162$ vertices in each class, $e(G)\geq (s-1)n^2+3n-s$ and $G$ contains no matching of size $s+1$, then $G$ has a vertex cover of size $s$. Our bound is also tight.
△ Less
Submitted 28 October, 2024; v1 submitted 21 October, 2024;
originally announced October 2024.
-
Global solvability and unboundedness in a fully parabolic quasilinear chemotaxis model with indirect signal production
Authors:
Xuan Mao,
Yuxiang Li
Abstract:
This paper is concerned with a quasilinear chemotaxis model with indirect signal production, $u_t = \nabla\cdot(D(u)\nabla u - S(u)\nabla v)$, $v_t = Δv - v + w$ and $w_t = Δw - w + u$, posed on a bounded smooth domain $Ω\subset\mathbb R^n$, subjected to homogenerous Neumann boundary conditions, where nonlinear diffusion $D$ and sensitivity $S$ generalize the prototype $D(s) = (s+1)^{-α}$ and…
▽ More
This paper is concerned with a quasilinear chemotaxis model with indirect signal production, $u_t = \nabla\cdot(D(u)\nabla u - S(u)\nabla v)$, $v_t = Δv - v + w$ and $w_t = Δw - w + u$, posed on a bounded smooth domain $Ω\subset\mathbb R^n$, subjected to homogenerous Neumann boundary conditions, where nonlinear diffusion $D$ and sensitivity $S$ generalize the prototype $D(s) = (s+1)^{-α}$ and $S(s) = (s+1)^{β-1}s$.
Ding and Wang [M.Ding and W.Wang, Discrete Contin. Dyn. Syst. Ser. B, 24 (2019), 4665-4684.] showed that the system possesses a globally bounded classical solution if $α+ β<\min\{1+2/n,4/n\}$. While for the Jäger-Luckhaus variant of this model, namely the second equation replaced by $0=Δv - \int_Ωw/|Ω| + w$, Tao and Winkler [2023, preprint] announced that if $α+ β> 4/n$ and $β>2/n$ for $n\geq3$, with radial assumptions, the variant admits occurrence of finite-time blowup.
We focus on the case $β<2/n$, and prove that $β< 2/n$ for $n\geq2$ is sufficient for global solvability of classical solutions; if $α+ β> 4/n$ for $n\geq4$, then radially symmetric initial data with large negative energy enforce blowup happening in finite or infinite time, both of which imply that the system allows infinite-time blowup if $α+ β> 4/n$ and $β< 2/n$ for $n\geq 4$.
△ Less
Submitted 17 October, 2024;
originally announced October 2024.
-
Positivity-preserving truncated Euler and Milstein methods for financial SDEs with super-linear coefficients
Authors:
Shounian Deng,
Chen Fei,
Weiyin Fei,
Xuerong Mao
Abstract:
In this paper, we propose two variants of the positivity-preserving schemes, namely the truncated Euler-Maruyama (EM) method and the truncated Milstein scheme, applied to stochastic differential equations (SDEs) with positive solutions and super-linear coefficients. Under some regularity and integrability assumptions we derive the optimal strong convergence rates of the two schemes. Moreover, we d…
▽ More
In this paper, we propose two variants of the positivity-preserving schemes, namely the truncated Euler-Maruyama (EM) method and the truncated Milstein scheme, applied to stochastic differential equations (SDEs) with positive solutions and super-linear coefficients. Under some regularity and integrability assumptions we derive the optimal strong convergence rates of the two schemes. Moreover, we demonstrate flexibility of our approaches by applying the truncated methods to approximate SDEs with super-linear coefficients (3/2 and Aiıt-Sahalia models) directly and also with sub-linear coefficients (CIR model) indirectly. Numerical experiments are provided to verify the effectiveness of the theoretical results.
△ Less
Submitted 7 October, 2024;
originally announced October 2024.
-
Semi-p-abelian group
Authors:
Xuesong Ma,
Wei Xu
Abstract:
The conjecture that semi-p-abelian groups is strongly semi-p-abelian is flase for p=3.And it's true for metabelian semi-p-abelian groups.
The conjecture that semi-p-abelian groups is strongly semi-p-abelian is flase for p=3.And it's true for metabelian semi-p-abelian groups.
△ Less
Submitted 25 September, 2024;
originally announced September 2024.
-
Recollements and Gorenstein projective modules for gentle algebras
Authors:
Yu-Zhe Liu,
Dajun Liu,
Xin Ma
Abstract:
Let $A={\rm \mathbb{k}}Q/\mathcal{I}$ be a gentle algebra. We provide a bijection between non-projective indecomposable Gorenstein projective modules over $A$ and special recollements induced by an arrow $a$ on any full-relational oriented cycle $\mathscr{C}$, which satisfies some interesting properties, for example, the tensor functor $-\otimes_A A/A\varepsilon A$ sends Gorenstein projective modu…
▽ More
Let $A={\rm \mathbb{k}}Q/\mathcal{I}$ be a gentle algebra. We provide a bijection between non-projective indecomposable Gorenstein projective modules over $A$ and special recollements induced by an arrow $a$ on any full-relational oriented cycle $\mathscr{C}$, which satisfies some interesting properties, for example, the tensor functor $-\otimes_A A/A\varepsilon A$ sends Gorenstein projective module $aA$ to an indecomposable projective $A/A\varepsilon A$-module; and $-\otimes_A A/A\varepsilon A$ preserves Gorenstein projective objects if any two full-relational oriented cycles do not have common vertex.
△ Less
Submitted 29 September, 2024; v1 submitted 13 September, 2024;
originally announced September 2024.
-
Two new Bailey pairs and their $q$-identities of Rogers-Ramanujan type modulo 15, 24, and 30
Authors:
Jianan Xu,
Xinrong Ma
Abstract:
In this paper, we first establish two new Bailey pairs via finding two generalizations of Euler's pentagonal number theorem. Next, we specificize the Bailey lemmas with these two Bailey pairs. As applications, we finally establish some $q$-series transformations and $q$-identities of Rogers-Ramanujan type modulo 15, 24, and 30.
In this paper, we first establish two new Bailey pairs via finding two generalizations of Euler's pentagonal number theorem. Next, we specificize the Bailey lemmas with these two Bailey pairs. As applications, we finally establish some $q$-series transformations and $q$-identities of Rogers-Ramanujan type modulo 15, 24, and 30.
△ Less
Submitted 28 October, 2024; v1 submitted 1 September, 2024;
originally announced September 2024.
-
Turán-Type Inequalities for Gaussian Hypergeometric Functions, and Baricz's Conjecture
Authors:
Song-Liang Qiu,
Xiao-Yan Ma,
Xue-Yan Xiang
Abstract:
In 2007, Á. Baricz put forward a conjecture concerning Turán-type inequalities for Gaussian hypergeometric functions (see Conjecture \ref{ConjA} in Section \ref{Sec1}). In this paper, the authors disprove this conjecture with several methods, and present Turán-type double inequalities for Gaussian hypergeometric functions, and sharp bounds for complete and generalized elliptic integrals of the fir…
▽ More
In 2007, Á. Baricz put forward a conjecture concerning Turán-type inequalities for Gaussian hypergeometric functions (see Conjecture \ref{ConjA} in Section \ref{Sec1}). In this paper, the authors disprove this conjecture with several methods, and present Turán-type double inequalities for Gaussian hypergeometric functions, and sharp bounds for complete and generalized elliptic integrals of the first kind.
△ Less
Submitted 28 August, 2024;
originally announced August 2024.
-
Controllability and Observability of Temporal Hypergraphs
Authors:
Anqi Dong,
Xin Mao,
Can Chen
Abstract:
Numerous complex systems, such as those arisen in ecological networks, genomic contact networks, and social networks, exhibit higher-order and time-varying characteristics, which can be effectively modeled using temporal hypergraphs. However, analyzing and controlling temporal hypergraphs poses significant challenges due to their inherent time-varying and nonlinear nature, while most existing meth…
▽ More
Numerous complex systems, such as those arisen in ecological networks, genomic contact networks, and social networks, exhibit higher-order and time-varying characteristics, which can be effectively modeled using temporal hypergraphs. However, analyzing and controlling temporal hypergraphs poses significant challenges due to their inherent time-varying and nonlinear nature, while most existing methods predominantly target static hypergraphs. In this article, we generalize the notions of controllability and observability to temporal hypergraphs by leveraging tensor and nonlinear systems theory. Specifically, we establish tensor-based rank conditions to determine the weak controllability and observability of temporal hypergraphs. The proposed framework is further demonstrated with synthetic and real-world examples.
△ Less
Submitted 21 August, 2024;
originally announced August 2024.
-
Long time derivation of the Boltzmann equation from hard sphere dynamics
Authors:
Yu Deng,
Zaher Hani,
Xiao Ma
Abstract:
We provide a rigorous derivation of Boltzmann's kinetic equation from the hard-sphere system for rarefied gas, which is valid for arbitrarily long time as long as the solution to the Boltzmann equation exists. This extends Lanford's landmark theorem (1975) which justifies such derivation for sufficiently short time, and is a crucial step towards resolving Hilbert's sixth problem.
The general str…
▽ More
We provide a rigorous derivation of Boltzmann's kinetic equation from the hard-sphere system for rarefied gas, which is valid for arbitrarily long time as long as the solution to the Boltzmann equation exists. This extends Lanford's landmark theorem (1975) which justifies such derivation for sufficiently short time, and is a crucial step towards resolving Hilbert's sixth problem.
The general strategy follows the paradigm introduced by the first two authors for the long-time derivation of the wave kinetic equation in wave turbulence theory. This is based on propagating a long-time cumulant ansatz, which keeps memory of the full collision history of the relevant particles. The heart of the matter is proving the smallness of these cumulants in L1, which can be reduced to combinatorial properties for the associated Feynman diagrams, called collision history (CH) molecules. The latter is then proved by devising an elaborate cutting algorithm, which is a major novelty of this work.
△ Less
Submitted 14 November, 2024; v1 submitted 14 August, 2024;
originally announced August 2024.
-
$σ_k$-Yamabe measure
Authors:
Xi-Nan Ma,
Wangzhe Wu
Abstract:
We found a special divergence structure for the $σ_k$-Yamabe operator and use it to get a monotonicity formula. We also get an interior $L^{\infty}$ estimate via its $L^1$ norm for the $σ_k$-Yamabe operator when $1\le k \le \frac{n}{2}$. Combining these two tools, we prove the weak continuity of the $σ_k$-Yamabe measure with respect to convergence in measure.
We found a special divergence structure for the $σ_k$-Yamabe operator and use it to get a monotonicity formula. We also get an interior $L^{\infty}$ estimate via its $L^1$ norm for the $σ_k$-Yamabe operator when $1\le k \le \frac{n}{2}$. Combining these two tools, we prove the weak continuity of the $σ_k$-Yamabe measure with respect to convergence in measure.
△ Less
Submitted 24 July, 2024;
originally announced July 2024.
-
Homological properties of homologically smooth connected cochain DGAs
Authors:
X. -F. Mao
Abstract:
Assume that $\mathscr{A}$ is a connected cochain DG algebra. We show that $\mathscr{A}$ is homologically smooth and Gorenstein if and only if its $\mathrm{Ext}$-algebra $H(R\Hom_{\mathscr{A}}(\mathbbm{k},\mathbbm{k}))$ is a Frobenius graded algebra. Moreover, $\mathscr{A}$ is Calabi-Yau if and only if the $\mathrm{Ext}$-algebra $H(R\Hom_{\mathscr{A}}(\mathbbm{k},\mathbbm{k}))$ is a symmetric Frobe…
▽ More
Assume that $\mathscr{A}$ is a connected cochain DG algebra. We show that $\mathscr{A}$ is homologically smooth and Gorenstein if and only if its $\mathrm{Ext}$-algebra $H(R\Hom_{\mathscr{A}}(\mathbbm{k},\mathbbm{k}))$ is a Frobenius graded algebra. Moreover, $\mathscr{A}$ is Calabi-Yau if and only if the $\mathrm{Ext}$-algebra $H(R\Hom_{\mathscr{A}}(\mathbbm{k},\mathbbm{k}))$ is a symmetric Frobenius graded algebra. These generalize the corresponding results in \cite{HW1} and \cite{HM}, where the additional Koszul hypothesis is needed.
△ Less
Submitted 7 August, 2024; v1 submitted 20 July, 2024;
originally announced July 2024.
-
Homologically smooth connected cochain DGAs
Authors:
X. -F. Mao
Abstract:
Let $\mathscr{A}$ be a connected cochain DG algebra such that $H(\mathscr{A})$ is a Noetherian graded algebra. We give some criteria for $\mathscr{A}$ to be homologically smooth in terms of the singularity category, the cone length of the canonical module $k$ and the global dimension of $\mathscr{A}$. For any cohomologically finite DG $\mathscr{A}$-module $M$, we show that it is compact when…
▽ More
Let $\mathscr{A}$ be a connected cochain DG algebra such that $H(\mathscr{A})$ is a Noetherian graded algebra. We give some criteria for $\mathscr{A}$ to be homologically smooth in terms of the singularity category, the cone length of the canonical module $k$ and the global dimension of $\mathscr{A}$. For any cohomologically finite DG $\mathscr{A}$-module $M$, we show that it is compact when $\mathscr{A}$ is homologically smooth. If $\mathscr{A}$ is in addition Gorenstein, we get $$\mathrm{CMreg}M = \mathrm{depth}_{\mathscr{A}}\mathscr{A} + \mathrm{Ext.reg}\, M<\infty,$$ where $\mathrm{CMreg}M$ is the Castelnuovo-Mumford regularity of $M$, $\mathrm{depth}_{\mathscr{A}}\mathscr{A}$ is the depth of $\mathscr{A}$ and $ \mathrm{Ext.reg}\, M$ is the Ext-regularity of $M$.
△ Less
Submitted 20 July, 2024;
originally announced July 2024.
-
Almost elementary groupoid models for $C^*$-algebras
Authors:
Xin Ma,
Jianchao Wu
Abstract:
The notion of almost elementariness for a locally compact Hausdorff étale groupoid $\mathcal{G}$ with a compact unit space was introduced by the authors as a sufficient condition ensuring the reduced groupoid $C^*$-algebra $C^*_r(\mathcal{G})$ is (tracially) $\mathcal{Z}$-stable and thus classifiable under additional natural assumption. In this paper, we explore the converse direction and show tha…
▽ More
The notion of almost elementariness for a locally compact Hausdorff étale groupoid $\mathcal{G}$ with a compact unit space was introduced by the authors as a sufficient condition ensuring the reduced groupoid $C^*$-algebra $C^*_r(\mathcal{G})$ is (tracially) $\mathcal{Z}$-stable and thus classifiable under additional natural assumption. In this paper, we explore the converse direction and show that many groupoids in the literature serving as models for classifiable $C^*$-algebras are almost elementary. In particular, for a large class $\mathcal{C}$ of Elliott invariants and a $C^*$-algebra $A$ with $\operatorname{Ell}(A)\in \mathcal{C}$, we show that $A$ is classifiable if and only if $A$ possesses a minimal, effective, amenable, second countable, almost elementary groupoid model, which leads to a groupoid-theoretic characterization of classifiability of $C^*$-algebras with certain Elliott invariants. Moreover, we build a connection between almost elementariness and pure infiniteness for groupoids and study obstructions to obtaining a transformation groupoid model for the Jiang-Su algebra $\mathcal{Z}$.
△ Less
Submitted 6 July, 2024;
originally announced July 2024.
-
Tian's theorem for Moishezon spaces
Authors:
Dan Coman,
Xiaonan Ma,
George Marinescu
Abstract:
We prove that the Fubini-Study currents associated to a sequence of singular Hermitian holomorphic line bundles on a compact normal Moishezon space distribute asymptotically as the curvature currents of their metrics.
We prove that the Fubini-Study currents associated to a sequence of singular Hermitian holomorphic line bundles on a compact normal Moishezon space distribute asymptotically as the curvature currents of their metrics.
△ Less
Submitted 17 December, 2024; v1 submitted 3 July, 2024;
originally announced July 2024.
-
From Cherednik algebras to knot homology via cuspidal D-modules
Authors:
Xinchun Ma
Abstract:
We show that the triply-graded Khovanov-Rozansky homology of the $(m,n)$ torus knot can be recovered from the finite-dimensional representation $\mathrm{L}_{m/n}$ of the rational Cherednik algebra at slope $m/n$, endowed with the Hodge filtration coming from the cuspidal character D-module. Our approach involves expressing the associated graded of the cuspidal character D-module in terms of a dg m…
▽ More
We show that the triply-graded Khovanov-Rozansky homology of the $(m,n)$ torus knot can be recovered from the finite-dimensional representation $\mathrm{L}_{m/n}$ of the rational Cherednik algebra at slope $m/n$, endowed with the Hodge filtration coming from the cuspidal character D-module. Our approach involves expressing the associated graded of the cuspidal character D-module in terms of a dg module closely related to the action of the shuffle algebra on the equivariant K-theory of the Hilbert scheme of points on the plane, thereby proving the rational master conjecture. As a corollary, we identify the Hodge filtration with the inductive and algebraic filtrations on $\mathrm{L}_{m/n}$.
△ Less
Submitted 1 July, 2024;
originally announced July 2024.
-
Supercloseness of the HDG method on Shishkin mesh for a singularly perturbed convection diffusion problem in 2D
Authors:
Xiaoqi Ma,
Jin Zhang
Abstract:
This paper presents the first analysis of parameter-uniform convergence for a hybridizable discontinuous Galerkin (HDG) method applied to a singularly perturbed convection-diffusion problem in 2D using a Shishkin mesh. The primary difficulty lies in accurately estimating the convection term in the layer, where existing methods often fall short. To address this, a novel error control technique is e…
▽ More
This paper presents the first analysis of parameter-uniform convergence for a hybridizable discontinuous Galerkin (HDG) method applied to a singularly perturbed convection-diffusion problem in 2D using a Shishkin mesh. The primary difficulty lies in accurately estimating the convection term in the layer, where existing methods often fall short. To address this, a novel error control technique is employed, along with reasonable assumptions regarding the stabilization function. The results show that, with polynomial degrees not exceeding $k$, the method achieves supercloseness of almost $k+\frac{1}{2}$ order in an energy norm. Numerical experiments confirm the theoretical accuracy and efficiency of the proposed method.
△ Less
Submitted 27 June, 2024;
originally announced June 2024.
-
Differentiable Distributionally Robust Optimization Layers
Authors:
Xutao Ma,
Chao Ning,
Wenli Du
Abstract:
In recent years, there has been a growing research interest in decision-focused learning, which embeds optimization problems as a layer in learning pipelines and demonstrates a superior performance than the prediction-focused approach. However, for distributionally robust optimization (DRO), a popular paradigm for decision-making under uncertainty, it is still unknown how to embed it as a layer, i…
▽ More
In recent years, there has been a growing research interest in decision-focused learning, which embeds optimization problems as a layer in learning pipelines and demonstrates a superior performance than the prediction-focused approach. However, for distributionally robust optimization (DRO), a popular paradigm for decision-making under uncertainty, it is still unknown how to embed it as a layer, i.e., how to differentiate decisions with respect to an ambiguity set. In this paper, we develop such differentiable DRO layers for generic mixed-integer DRO problems with parameterized second-order conic ambiguity sets and discuss its extension to Wasserstein ambiguity sets. To differentiate the mixed-integer decisions, we propose a novel dual-view methodology by handling continuous and discrete parts of decisions via different principles. Specifically, we construct a differentiable energy-based surrogate to implement the dual-view methodology and use importance sampling to estimate its gradient. We further prove that such a surrogate enjoys the asymptotic convergency under regularization. As an application of the proposed differentiable DRO layers, we develop a novel decision-focused learning pipeline for contextual distributionally robust decision-making tasks and compare it with the prediction-focused approach in experiments.
△ Less
Submitted 24 June, 2024;
originally announced June 2024.
-
Ensemble Control for Stochastic Systems with Asymmetric Laplace Noises
Authors:
Yajie Yu,
Xuehui Ma,
Shiliang Zhang,
Zhuzhu Wang,
Xubing Shi,
Yushuai Li,
Tingwen Huang
Abstract:
This paper presents an adaptive ensemble control for stochastic systems subject to asymmetric noises and outliers. Asymmetric noises skew system observations, and outliers with large amplitude deteriorate the observations even further. Such disturbances induce poor system estimation and degraded stochastic system control. In this work, we model the asymmetric noises and outliers by mixed asymmetri…
▽ More
This paper presents an adaptive ensemble control for stochastic systems subject to asymmetric noises and outliers. Asymmetric noises skew system observations, and outliers with large amplitude deteriorate the observations even further. Such disturbances induce poor system estimation and degraded stochastic system control. In this work, we model the asymmetric noises and outliers by mixed asymmetric Laplace distributions (ALDs), and propose an optimal control for stochastic systems with mixed ALD noises. Particularly, we segregate the system disturbed by mixed ALD noises into subsystems, each of which is subject to a specific ALD noise. For each subsystem, we design an iterative quantile filter (IQF) to estimate the system parameters using system observations. With the estimated parameters by IQF, we derive the certainty equivalence (CE) control law for each subsystem. Then we use the Bayesian approach to ensemble the subsystem CE controllers, with each of the controllers weighted by their posterior probability. We finalize our control law as the weighted sum of the control signals by the sub-system CE controllers. To demonstrate our approach, we conduct numerical simulations and Monte Carlo analyses. The results show improved tracking performance by our approach for skew noises and its robustness to outliers, compared with single ALD based and RLS-based control policy.
△ Less
Submitted 8 January, 2025; v1 submitted 16 May, 2024;
originally announced May 2024.
-
A note on the $8π$ problem of Jäger-Luckhaus system
Authors:
Xuan Mao,
Yuxiang Li
Abstract:
It is proven that for any radially symmetric, nonnegative and continuous initial data with critical mass $8π$, Jäger-Luckhuas system, posed on the unit disk, admits a global classical solution, which is uniform-in-time bounded.
It is proven that for any radially symmetric, nonnegative and continuous initial data with critical mass $8π$, Jäger-Luckhuas system, posed on the unit disk, admits a global classical solution, which is uniform-in-time bounded.
△ Less
Submitted 10 May, 2024;
originally announced May 2024.
-
A characterization on $(g,f)$-parity orientations
Authors:
Hongliang Lu,
Xinxin Ma
Abstract:
Let $G$ be a graph and $g,f:V(G)\to2^N$ be two set functions such that $g(v)\le f(v)$ and $g(v)\equiv f(v)\pmod 2$ for every $v\in V(G)$. An orientation $O$ of $G$ is called a $(g,f)$-parity orientation if $g(v)\le d^+_O(v)\le f(v)$ and $g(v)\equiv d^+_O(v)\pmod 2$ for every $v\in V(G)$. In this paper, we give a Tutte-type characterization for a graph to have a $(g,f)$-parity orientation.
Let $G$ be a graph and $g,f:V(G)\to2^N$ be two set functions such that $g(v)\le f(v)$ and $g(v)\equiv f(v)\pmod 2$ for every $v\in V(G)$. An orientation $O$ of $G$ is called a $(g,f)$-parity orientation if $g(v)\le d^+_O(v)\le f(v)$ and $g(v)\equiv d^+_O(v)\pmod 2$ for every $v\in V(G)$. In this paper, we give a Tutte-type characterization for a graph to have a $(g,f)$-parity orientation.
△ Less
Submitted 6 April, 2024;
originally announced April 2024.
-
A general $q$-series transformation and its applications to multi-sum Rogers-Ramanujan-Slater identities
Authors:
Jianan Xu,
Xinrong Ma
Abstract:
In the present paper, we establish a general transformation for $q$-series which contains L. Wang et al's transformation involved in Nahm series. As direct applications, some concrete new transformation formulas for the ${}_{r+1}φ_r$ series as well as $q$-identities of multi-sum Rogers-Ramanujan-Slater type are presented.
In the present paper, we establish a general transformation for $q$-series which contains L. Wang et al's transformation involved in Nahm series. As direct applications, some concrete new transformation formulas for the ${}_{r+1}φ_r$ series as well as $q$-identities of multi-sum Rogers-Ramanujan-Slater type are presented.
△ Less
Submitted 27 May, 2024; v1 submitted 1 March, 2024;
originally announced March 2024.
-
Rational Cherednik Algebras and Torus Knot Invariants
Authors:
Xinchun Ma
Abstract:
The HOMFLY polynomial of the $(m,n)$ torus knot $T_{m,n}$ can be extracted from the doubly graded character of the finite-dimensional representation $\mathrm{L}_{\frac{m}{n}}$ of the type $A_{n-1}$ rational Cherednik algebra as observed by Gorsky, Oblomkov, Rasmussen and Shende. It is furthermore conjectured that one can obtain the triply-graded Khovanov-Rozansky homology of $T_{m,n}$ by consideri…
▽ More
The HOMFLY polynomial of the $(m,n)$ torus knot $T_{m,n}$ can be extracted from the doubly graded character of the finite-dimensional representation $\mathrm{L}_{\frac{m}{n}}$ of the type $A_{n-1}$ rational Cherednik algebra as observed by Gorsky, Oblomkov, Rasmussen and Shende. It is furthermore conjectured that one can obtain the triply-graded Khovanov-Rozansky homology of $T_{m,n}$ by considering a certain filtration on $\mathrm{L}_{\frac{m}{n}}$. In this paper, we show that two of the proposed candidates, the algebraic filtration and the inductive filtration, are equal.
△ Less
Submitted 28 February, 2024;
originally announced February 2024.
