-
The Logarithmic Sobolev inequality on non-compact self-shrinkers
Authors:
Guofang Wang,
Chao Xia,
Xiqiang Zhang
Abstract:
In the paper we establish an optimal logarithmic Sobolev inequality for complete, non-compact, properly embedded self-shrinkers in the Euclidean space, which generalizes a recent result of Brendle \cite{Brendle22} for closed self-shrinkers. We first provide a proof for the logarithmic Sobolev inequality in the Euclidean space by using the Alexandrov-Bakelman-Pucci (ABP) method. Then we use this ap…
▽ More
In the paper we establish an optimal logarithmic Sobolev inequality for complete, non-compact, properly embedded self-shrinkers in the Euclidean space, which generalizes a recent result of Brendle \cite{Brendle22} for closed self-shrinkers. We first provide a proof for the logarithmic Sobolev inequality in the Euclidean space by using the Alexandrov-Bakelman-Pucci (ABP) method. Then we use this approach to show an optimal logarithmic Sobolev inequality for complete, non-compact, properly embedded self-shrinkers in the Euclidean space, which is a sharp version of the result of Ecker in \cite{Ecker}. The proof is a noncompact modification of Brendle's proof for closed submanifolds and has a big potential to provide new inequalities in noncompact manifolds.
△ Less
Submitted 17 October, 2024;
originally announced October 2024.
-
Controllability of Quasi-linear Parabolic Equations by Hierarchic Controls
Authors:
Yanming Dong,
Xu Liu,
Xu Zhang
Abstract:
This paper is devoted to studying a multi-objective control problem for a class of multi-dimensional quasi-linear parabolic equations. The considered system is driven by a leader control and two follower controls. For each leader control, a pair of follower controls is searched for as a Nash quasi-equilibrium (or Nash equilibrium) of cost functionals, while the aim for a leader control is to solve…
▽ More
This paper is devoted to studying a multi-objective control problem for a class of multi-dimensional quasi-linear parabolic equations. The considered system is driven by a leader control and two follower controls. For each leader control, a pair of follower controls is searched for as a Nash quasi-equilibrium (or Nash equilibrium) of cost functionals, while the aim for a leader control is to solve a controllability problem. This hierarchic control problem may be transformed into controllability of a strongly coupled system of quasi-linear parabolic equations through one control. Regarding controllability for quasi-linear parabolic equations of second order, the existing results usually require coefficients in principal parts to be independent of gradient of solutions, or spacial dimension to be limited. In this paper, the coefficients in principal parts for the controlled quasi-linear system contain not only the state itself but also its gradient with general spacial dimension.
△ Less
Submitted 11 October, 2024;
originally announced October 2024.
-
New type of bubbling solutions to a critical fractional Schrödinger equation with double potentials
Authors:
Ting Li,
Zhongwei Tang,
Heming Wang,
Xiaojing Zhang
Abstract:
In this paper, we study the following critical fractional Schrödinger equation: \begin{equation} (-Δ)^s u+V(|y'|,y'')u=K(|y'|,y'')u^{\frac{n+2s}{n-2s}},\quad u>0,\quad y =(y',y'') \in \mathbb{R}^3\times\mathbb{R}^{n-3}, \qquad(0.1)\end{equation} where $n\geq 3$, $s\in(0,1)$, $V(|y'|,y'')$ and $K(|y'|,y'')$ are two bounded nonnegative potential functions. Under the conditions that $K(r,y'')$ has a…
▽ More
In this paper, we study the following critical fractional Schrödinger equation: \begin{equation} (-Δ)^s u+V(|y'|,y'')u=K(|y'|,y'')u^{\frac{n+2s}{n-2s}},\quad u>0,\quad y =(y',y'') \in \mathbb{R}^3\times\mathbb{R}^{n-3}, \qquad(0.1)\end{equation} where $n\geq 3$, $s\in(0,1)$, $V(|y'|,y'')$ and $K(|y'|,y'')$ are two bounded nonnegative potential functions. Under the conditions that $K(r,y'')$ has a stable critical point $(r_0,y_0'')$ with $r_0>0$, $K(r_0,y_0'')>0$ and $V(r_0,y_0'')>0$, we prove that equation (0.1) has a new type of infinitely many solutions that concentrate at points lying on the top and the bottom of a cylinder. In particular, the bubble solutions can concentrate at a pair of symmetric points with respect to the origin. Our proofs make use of a modified finite-dimensional reduction method and local Pohozaev identities.
△ Less
Submitted 14 August, 2024;
originally announced October 2024.
-
Learning to Select Cutting Planes in Mixed Integer Linear Programming Solving
Authors:
Xuefeng Zhang,
Liangyu Chen,
Zhenbing Zeng
Abstract:
Cutting planes (cuts) are crucial for solving Mixed Integer Linear Programming (MILP) problems. Advanced MILP solvers typically rely on manually designed heuristic algorithms for cut selection, which require much expert experience and cannot be generalized for different scales of MILP problems. Therefore, learning-based methods for cut selection are considered a promising direction. State-of-the-a…
▽ More
Cutting planes (cuts) are crucial for solving Mixed Integer Linear Programming (MILP) problems. Advanced MILP solvers typically rely on manually designed heuristic algorithms for cut selection, which require much expert experience and cannot be generalized for different scales of MILP problems. Therefore, learning-based methods for cut selection are considered a promising direction. State-of-the-art learning-based methods formulate cut selection as a sequence-to-sequence problem, easily handled by sequence models. However, the existing sequence models need help with the following issues: (1) the model only captures cut information while neglecting the Linear Programming (LP) relaxation; (2) the sequence model utilizes positional information of the input sequence, which may influence cut selection. To address these challenges, we design a novel learning model HGTSM for better select cuts. We encode MILP problem state as a heterogeneous tripartite graph, utilizing heterogeneous graph networks to fully capture the underlying structure of MILP problems. Simultaneously, we propose a novel sequence model whose architecture is tailored to handle inputs in different orders. Experimental results demonstrate that our model outperforms heuristic methods and learning-based baselines on multiple challenging MILP datasets. Additionally, the model exhibits stability and the ability to generalize to different types of problems.
△ Less
Submitted 3 October, 2024;
originally announced October 2024.
-
Symmetric Cayley graphs on non-abelian simple groups of valency 7
Authors:
Xing Zhang,
Yan-Quan Feng,
Fu-Gang Yin,
Hong Wang
Abstract:
Let $Γ$ be a connected $7$-valent symmetric Cayley graph on a finite non-abelian simple group $G$. If $Γ$ is not normal, Li {\em et al.} [On 7-valent symmetric Cayley graphs of finite simple groups, J. Algebraic Combin. 56 (2022) 1097-1118] characterised the group pairs $(\mathrm{soc}(\mathrm{Aut}(Γ)/K),GK/K)$, where $K$ is a maximal intransitive normal subgroup of $\mathrm{Aut}(Γ)$. In this paper…
▽ More
Let $Γ$ be a connected $7$-valent symmetric Cayley graph on a finite non-abelian simple group $G$. If $Γ$ is not normal, Li {\em et al.} [On 7-valent symmetric Cayley graphs of finite simple groups, J. Algebraic Combin. 56 (2022) 1097-1118] characterised the group pairs $(\mathrm{soc}(\mathrm{Aut}(Γ)/K),GK/K)$, where $K$ is a maximal intransitive normal subgroup of $\mathrm{Aut}(Γ)$. In this paper, we improve this result by proving that if $Γ$ is not normal, then $\mathrm{Aut}(Γ)$ contains an arc-transitive non-abelian simple normal subgroup $T$ such that $G<T$ and $(T,G)=(\mathrm{A}_{n},\mathrm{A}_{n-1})$ with $n=7$, $3\cdot 7$, $3^2\cdot 7$, $2^2\cdot 3\cdot 7$, $2^3\cdot3\cdot7$, $2^3\cdot3^2\cdot5\cdot7$, $2^4\cdot3^2\cdot5\cdot7$, $2^6\cdot3\cdot7$, $2^7\cdot3\cdot7$, $2^6\cdot3^2\cdot7$, $2^6\cdot3^4\cdot5^2\cdot7$, $2^8\cdot3^4\cdot5^2\cdot7$, $2^7\cdot3^4\cdot5^2\cdot7$, $2^{10}\cdot3^2\cdot7$, $2^{24}\cdot3^2\cdot7$. Furthermore, $\mathrm{soc}(\mathrm{Aut}(Γ)/R)=(T\times R)/R$, where $R$ is the largest solvable normal subgroup of $\mathrm{Aut}(Γ)$.
△ Less
Submitted 7 October, 2024; v1 submitted 27 September, 2024;
originally announced September 2024.
-
Sparse Signal Recovery via $L_1/L_2$ Minimization: Bound Theory and Complexity
Authors:
Min Tao,
Xiao-Ping Zhang,
Yun-Bin Zhao
Abstract:
The \(L_1/L_2\) norm ratio has gained significant attention as a measure of sparsity due to three primal advantages: sharper approximation to the \(L_0\) norm compared to the widely-used \(L_1\) norm, being parameter-free and scale-invariant, and exceptional performance with highly coherent matrices. In this note, we establish uniform upper bounds in $L_2$ norm for any local minimizer of constrain…
▽ More
The \(L_1/L_2\) norm ratio has gained significant attention as a measure of sparsity due to three primal advantages: sharper approximation to the \(L_0\) norm compared to the widely-used \(L_1\) norm, being parameter-free and scale-invariant, and exceptional performance with highly coherent matrices. In this note, we establish uniform upper bounds in $L_2$ norm for any local minimizer of constrained and unconstrained \(L_1/L_2\)-minimization models. Furthermore, we derive some upper/lower bound for the magnitudes of nonzero entries in any local minimizer of the unconstrained \(L_1/L_2\) minimization problem. Moreover, we prove that finding the global minimum of both constrained and unconstrained \(L_1/L_2\) models is strongly NP-Hard. Lastly, we point out that finding the global minimum of constrained and unconstrained \(L_p\) (\(0 < p \leq 1\)) over \(L_q\) (\(1 < q < +\infty\)) models is also strongly NP-Hard.
△ Less
Submitted 27 September, 2024;
originally announced September 2024.
-
t^{1/3} fluctuation around the shock of TASEP with random initial condition
Authors:
Xincheng Zhang
Abstract:
The totally asymmetric exclusion process (TASEP) is one of the solvable models in the KPZ universality class. When TASEP starts with the product Bernoulli measure with a smaller density on the left of the origin, it presents shocks in the evolution. For a long time, it has been known that fluctuations are the product of Gaussians on the scale t^{1/2} due to initial randomness. In this paper, we wi…
▽ More
The totally asymmetric exclusion process (TASEP) is one of the solvable models in the KPZ universality class. When TASEP starts with the product Bernoulli measure with a smaller density on the left of the origin, it presents shocks in the evolution. For a long time, it has been known that fluctuations are the product of Gaussians on the scale t^{1/2} due to initial randomness. In this paper, we will describe how to see the t^{1/3} fluctuations for these initial conditions.
△ Less
Submitted 25 September, 2024;
originally announced September 2024.
-
A high-order implicit time integration method for linear and nonlinear dynamics with efficient computation of accelerations
Authors:
Daniel O'Shea,
Xiaoran Zhang,
Shayan Mohammadian,
Chongmin Song
Abstract:
An algorithm for a family of self-starting high-order implicit time integration schemes with controllable numerical dissipation is proposed for both linear and nonlinear transient problems. This work builds on the previous works of the authors on elastodynamics by presenting a new algorithm that eliminates the need for factorization of the mass matrix providing benefit for the solution of nonlinea…
▽ More
An algorithm for a family of self-starting high-order implicit time integration schemes with controllable numerical dissipation is proposed for both linear and nonlinear transient problems. This work builds on the previous works of the authors on elastodynamics by presenting a new algorithm that eliminates the need for factorization of the mass matrix providing benefit for the solution of nonlinear problems. The improved algorithm directly obtains the acceleration at the same order of accuracy of the displacement and velocity using vector operations (without additional equation solutions). The nonlinearity is handled by numerical integration within a time step to achieve the desired order of accuracy. The new algorithm fully retains the desirable features of the previous works: 1. The order of accuracy is not affected by the presence of external forces and physical damping; 2. numerical dissipation in the algorithm is controlled by a user-specified parameter, leading to schemes ranging from perfectly nondissipative A-stable to L-stable; 3. The effective stiffness matrix is a linear combination of the mass, damping, and stiffness matrices as in the trapezoidal rule. The proposed algorithm is shown to replicate the numerical results demonstrated on linear problems in previous works. Additional numerical examples of linear and nonlinear vibration and wave propagation are presented herein. Notably, the proposed algorithms show the same convergence rates for nonlinear problems as linear problems, and very high accuracy. Second-order time integration methods commonly used in commercial software produce significantly polluted acceleration responses for a common class of wave propagation problems. The high-order time integration schemes presented here perform noticably better at suppressing spurious high-frequency oscillations and producing reliable and useable acceleration responses.
△ Less
Submitted 20 September, 2024;
originally announced September 2024.
-
Validating Convex Optimization of Reconfigurable Intelligent Surfaces via Measurements
Authors:
Hans-Dieter Lang,
Michel A. Nyffenegger,
Sven Keller,
Patrik Stöckli,
Nathan A. Hoffman,
Heinz Mathis,
Xingqi Zhang
Abstract:
Reconfigurable Intelligent Surfaces (RISs) can be designed in various ways. A previously proposed semidefinite relaxation-based optimization method for maximizing power transfer efficiency showed promise, but earlier results were only theoretical. This paper evaluates a small RIS at 3.55GHz, the center of the 5G band "n78", for practical verification of this method. The presented results not only…
▽ More
Reconfigurable Intelligent Surfaces (RISs) can be designed in various ways. A previously proposed semidefinite relaxation-based optimization method for maximizing power transfer efficiency showed promise, but earlier results were only theoretical. This paper evaluates a small RIS at 3.55GHz, the center of the 5G band "n78", for practical verification of this method. The presented results not only empirically confirm the desired performance of the optimized RIS, but also affirm the optimality of the resulting reactance values. Additionally, this paper discusses several practical aspects of RIS design and measurement, such as the operation of varactor diodes and time gating to omit the direct line-of-sight (LOS) path.
△ Less
Submitted 19 September, 2024;
originally announced September 2024.
-
Averaging principle for SDEs with singular drifts driven by $α$-stable processes
Authors:
Mengyu Cheng,
Zimo Hao,
Xicheng Zhang
Abstract:
In this paper, we investigate the convergence rate of the averaging principle for stochastic differential equations (SDEs) with $β$-Hölder drift driven by $α$-stable processes. More specifically, we first derive the Schauder estimate for nonlocal partial differential equations (PDEs) associated with the aforementioned SDEs, within the framework of Besov-Hölder spaces. Then we consider the case whe…
▽ More
In this paper, we investigate the convergence rate of the averaging principle for stochastic differential equations (SDEs) with $β$-Hölder drift driven by $α$-stable processes. More specifically, we first derive the Schauder estimate for nonlocal partial differential equations (PDEs) associated with the aforementioned SDEs, within the framework of Besov-Hölder spaces. Then we consider the case where $(α,β)\in(0,2)\times(1-\tfracα{2},1)$. Using the Schauder estimate, we establish the strong convergence rate for the averaging principle. In particular, under suitable conditions we obtain the optimal rate of strong convergence when $(α,β)\in(\tfrac{2}{3},1]\times(2-\tfrac{3α}{2},1)\cup(1,2)\times(\tfracα{2},1)$. Furthermore, when $(α,β)\in(0,1]\times(1-α,1-\tfracα{2}]\cup(1,2)\times(\tfrac{1-α}{2},1-\tfracα{2}]$, we show the convergence of the martingale solutions of original systems to that of the averaged equation. When $α\in(1,2)$, the drift can be a distribution.
△ Less
Submitted 19 September, 2024;
originally announced September 2024.
-
On the Local-Global Conjecture for Combinatorial Period Lengths of Closed Billiards on the Regular Pentagon
Authors:
Alex Kontorovich,
Xin Zhang
Abstract:
We study the set of combinatorial lengths of asymmetric periodic trajectories on the regular pentagon, proving a density-one version of a conjecture of Davis-Lelievre.
We study the set of combinatorial lengths of asymmetric periodic trajectories on the regular pentagon, proving a density-one version of a conjecture of Davis-Lelievre.
△ Less
Submitted 16 September, 2024;
originally announced September 2024.
-
TASEP in half-space
Authors:
Xincheng Zhang
Abstract:
We study the half-space TASEP with a reservoir at the origin. We solve the model for a general deterministic initial condition. Taking the 1:2:3 KPZ scaling, we derive the transition probability for the half-space KPZ fixed point.
We study the half-space TASEP with a reservoir at the origin. We solve the model for a general deterministic initial condition. Taking the 1:2:3 KPZ scaling, we derive the transition probability for the half-space KPZ fixed point.
△ Less
Submitted 16 September, 2024;
originally announced September 2024.
-
Improving the Solution of Indefinite Quadratic Programs and Linear Programs with Complementarity Constraints by a Progressive MIP Method
Authors:
Xinyao Zhang,
Shaoning Han,
Jong-Shi Pang
Abstract:
Indefinite quadratic programs (QPs) are known to be very difficult to be solved to global optimality, so are linear programs with linear complementarity constraints. Treating the former as a subclass of the latter, this paper presents a progressive mixed integer linear programming method for solving a general linear program with linear complementarity constraints (LPCC). Instead of solving the LPC…
▽ More
Indefinite quadratic programs (QPs) are known to be very difficult to be solved to global optimality, so are linear programs with linear complementarity constraints. Treating the former as a subclass of the latter, this paper presents a progressive mixed integer linear programming method for solving a general linear program with linear complementarity constraints (LPCC). Instead of solving the LPCC with a full set of integer variables expressing the complementarity conditions, the presented method solves a finite number of mixed integer subprograms by starting with a small fraction of integer variables and progressively increasing this fraction. After describing the PIP (for progressive integer programming) method and its various implementations, we demonstrate, via an extensive set of computational experiments, the superior performance of the progressive approach over the direct solution of the full-integer formulation of the LPCCs. It is also shown that the solution obtained at the termination of the PIP method is a local minimizer of the LPCC, a property that cannot be claimed by any known non-enumerative method for solving this nonconvex program. In all the experiments, the PIP method is initiated at a feasible solution of the LPCC obtained from a nonlinear programming solver, and with high likelihood, can successfully improve it. Thus, the PIP method can improve a stationary solution of an indefinite QP, something that is not likely to be achievable by a nonlinear programming method. Finally, some analysis is presented that provides a better understanding of the roles of the LPCC suboptimal solutions in the local optimality of the indefinite QP.
△ Less
Submitted 15 September, 2024;
originally announced September 2024.
-
Initial Error Affection and Error Correction in Linear Quadratic Mean Field Games under Erroneous Initial Information
Authors:
Yuxin Jin,
Lu Ren,
Wang Yao,
Xiao Zhang
Abstract:
In this paper, the initial error affection and error correction in linear quadratic mean field games (MPLQMFGs) under erroneous initial distribution information are investigated. First, a LQMFG model is developed where agents are coupled by dynamics and cost functions. Next, by studying the evolutionary of LQMFGs under erroneous initial distributions information, the affection of initial error on…
▽ More
In this paper, the initial error affection and error correction in linear quadratic mean field games (MPLQMFGs) under erroneous initial distribution information are investigated. First, a LQMFG model is developed where agents are coupled by dynamics and cost functions. Next, by studying the evolutionary of LQMFGs under erroneous initial distributions information, the affection of initial error on the game and agents' strategies are given. Furthermore, under deterministic situation, we provide a sufficient condition for agents to correct initial error and give their optimal strategies when agents are allowed to change their strategies at a intermediate time. Besides, the situation where agents are allowed to predict MF and adjust their strategies in real-time is considered. Finally, simulations are performed to verify above conclusions.
△ Less
Submitted 26 September, 2024; v1 submitted 14 September, 2024;
originally announced September 2024.
-
Distributed Binary Optimization with In-Memory Computing: An Application for the SAT Problem
Authors:
Xiangyi Zhang,
Ignacio Rozada,
Fabian Böhm,
Elisabetta Valiante,
Moslem Noori,
Thomas Van Vaerenbergh,
Chan-Woo Yang,
Giacomo Pedretti,
Masoud Mohseni,
Raymond Beausoleil
Abstract:
In-memory computing (IMC) has been shown to be a promising approach for solving binary optimization problems while significantly reducing energy and latency. Building on the advantages of parallel computation, we propose an IMC-compatible parallelism framework inspired by parallel tempering (PT), enabling cross-replica communication to improve the performance of IMC solvers. This framework enables…
▽ More
In-memory computing (IMC) has been shown to be a promising approach for solving binary optimization problems while significantly reducing energy and latency. Building on the advantages of parallel computation, we propose an IMC-compatible parallelism framework inspired by parallel tempering (PT), enabling cross-replica communication to improve the performance of IMC solvers. This framework enables an IMC solver not only to improve performance beyond what can be achieved through parallelization, but also affords greater flexibility for the search process with low hardware overhead. We justify that the framework can be applied to almost any IMC solver. We demonstrate the effectiveness of the framework for the Boolean satisfiability (SAT) problem, using the WalkSAT heuristic as a proxy for existing IMC solvers. The resulting PT-inspired cooperative WalkSAT (PTIC-WalkSAT) algorithm outperforms the traditional WalkSAT heuristic in terms of the iterations-to-solution in 76.3% of the tested problem instances and its naïve parallel variant (PA-WalkSAT) does so in 68.4% of the instances. An estimate of the energy overhead of the PTIC framework for two hardware accelerator architectures indicates that in both cases the overhead of running the PTIC framework would be less than 1% of the total energy required to run each accelerator.
△ Less
Submitted 13 September, 2024;
originally announced September 2024.
-
The Radon-Nikod$\acute{Y}$m property of $\mathbb{L}$-Banach spaces and the dual representation theorem of $\mathbb{L}$-Bochner function spaces
Authors:
Xia Zhang,
Xiangle Yan,
Ming Liu
Abstract:
In this paper, we first introduce $\mathbb{L}$-$μ$-measurable functions and $\mathbb{L}$-Bochner integrable functions on a finite measure space $(S,\mathcal{F},μ),$ and give an $\mathbb{L}$-valued analogue of the canonical $L^{p}(Ω,\mathcal{F},μ).$ Then we investigate the completeness of such an $\mathbb{L}$-valued analogue and propose the Radon-Nikod$\acute{y}$m property of $\mathbb{L}$-Banach sp…
▽ More
In this paper, we first introduce $\mathbb{L}$-$μ$-measurable functions and $\mathbb{L}$-Bochner integrable functions on a finite measure space $(S,\mathcal{F},μ),$ and give an $\mathbb{L}$-valued analogue of the canonical $L^{p}(Ω,\mathcal{F},μ).$ Then we investigate the completeness of such an $\mathbb{L}$-valued analogue and propose the Radon-Nikod$\acute{y}$m property of $\mathbb{L}$-Banach spaces. Meanwhile, an example constructed in this paper shows that there do exist an $\mathbb{L}$-Banach space which fails to possess the Radon-Nikod$\acute{y}$m property. Finally, based on above work, we establish the dual representation theorem of $\mathbb{L}$-Bochner integrable function spaces, which extends and improves the corresponding classical result.
△ Less
Submitted 10 September, 2024;
originally announced September 2024.
-
The Schröder-Bernstein problem for relative injective modules
Authors:
Xiaolei Zhang
Abstract:
Let $(K,M)$ be a pair satisfying some mild condition, where $K$ is a class of $R$-modules and $M$ is a class of $R$-homomorphisms. We show that if $f:A\rightarrow B$ and $g:B\rightarrow A$ are $M$-embeddings and $A,B$ are $K_M$-injective, then $A$ is isomorphic to $B$, positively answering an question proposed by Marcos and Jiri [6].
Let $(K,M)$ be a pair satisfying some mild condition, where $K$ is a class of $R$-modules and $M$ is a class of $R$-homomorphisms. We show that if $f:A\rightarrow B$ and $g:B\rightarrow A$ are $M$-embeddings and $A,B$ are $K_M$-injective, then $A$ is isomorphic to $B$, positively answering an question proposed by Marcos and Jiri [6].
△ Less
Submitted 11 September, 2024; v1 submitted 5 September, 2024;
originally announced September 2024.
-
Willmore-type inequality in unbounded convex sets
Authors:
Xiaohan Jia,
Guofang Wang,
Chao Xia,
Xuwen Zhang
Abstract:
In this paper we prove the following Willmore-type inequality: On an unbounded closed convex set $K\subset\mathbb{R}^{n+1}$ $(n\ge 2)$, for any embedded hypersurface $Σ\subset K$ with boundary $\partialΣ\subset \partial K$ satisfying certain contact angle condition, there holds $$\frac1{n+1}\int_Σ\vert{H}\vert^n{\rm d}A\ge{\rm AVR}(K)\vert\mathbb{B}^{n+1}\vert.$$ Moreover, equality holds if and on…
▽ More
In this paper we prove the following Willmore-type inequality: On an unbounded closed convex set $K\subset\mathbb{R}^{n+1}$ $(n\ge 2)$, for any embedded hypersurface $Σ\subset K$ with boundary $\partialΣ\subset \partial K$ satisfying certain contact angle condition, there holds $$\frac1{n+1}\int_Σ\vert{H}\vert^n{\rm d}A\ge{\rm AVR}(K)\vert\mathbb{B}^{n+1}\vert.$$ Moreover, equality holds if and only if $Σ$ is a part of a sphere and $K\setminusΩ$ is a part of the solid cone determined by $Σ$. Here $Ω$ is the bounded domain enclosed by $Σ$ and $\partial K$, $H$ is the normalized mean curvature of $Σ$, and ${\rm AVR}(K)$ is the asymptotic volume ratio of $K$. We also prove an anisotropic version of this Willmore-type inequality. As a special case, we obtain a Willmore-type inequality for anisotropic capillary hypersurfaces in a half-space.
△ Less
Submitted 5 September, 2024;
originally announced September 2024.
-
Monotonicity Formulas for Capillary Surfaces
Authors:
Guofang Wang,
Chao Xia,
Xuwen Zhang
Abstract:
In this paper, we establish monotonicity formulas for capillary surfaces in the half-space $\mathbb{R}^3_+$ and in the unit ball $\mathbb{B}^3$ and extend the result of Volkmann (Comm. Anal. Geom.24(2016), no.1, 195~221. \href{https://doi.org/10.4310/CAG.2016.v24.n1.a7}{https://doi.org/10.4310/CAG.2016.v24.n1.a7}) for surfaces with free boundary. As applications, we obtain Li-Yau-type inequalities…
▽ More
In this paper, we establish monotonicity formulas for capillary surfaces in the half-space $\mathbb{R}^3_+$ and in the unit ball $\mathbb{B}^3$ and extend the result of Volkmann (Comm. Anal. Geom.24(2016), no.1, 195~221. \href{https://doi.org/10.4310/CAG.2016.v24.n1.a7}{https://doi.org/10.4310/CAG.2016.v24.n1.a7}) for surfaces with free boundary. As applications, we obtain Li-Yau-type inequalities for the Willmore energy of capillary surfaces, and extend Fraser-Schoen's optimal area estimate for minimal free boundary surfaces in $\mathbb{B}^3$ (Adv. Math.226(2011), no.5, 4011~4030. \href{https://doi.org/10.1016/j.aim.2010.11.007}{https://doi.org/10.1016/j.aim.2010.11.007}) to the capillary setting, which is different to another optimal area estimate proved by Brendle (Ann. Fac. Sci. Toulouse Math. (6)32(2023), no.1, 179~201. \href{https://doi.org/10.5802/afst.1734}{https://doi.org/10.5802/afst.1734}).
△ Less
Submitted 5 September, 2024;
originally announced September 2024.
-
LibMOON: A Gradient-based MultiObjective OptimizatioN Library in PyTorch
Authors:
Xiaoyuan Zhang,
Liang Zhao,
Yingying Yu,
Xi Lin,
Yifan Chen,
Han Zhao,
Qingfu Zhang
Abstract:
Multiobjective optimization problems (MOPs) are prevalent in machine learning, with applications in multi-task learning, learning under fairness or robustness constraints, etc. Instead of reducing multiple objective functions into a scalar objective, MOPs aim to optimize for the so-called Pareto optimality or Pareto set learning, which involves optimizing more than one objective function simultane…
▽ More
Multiobjective optimization problems (MOPs) are prevalent in machine learning, with applications in multi-task learning, learning under fairness or robustness constraints, etc. Instead of reducing multiple objective functions into a scalar objective, MOPs aim to optimize for the so-called Pareto optimality or Pareto set learning, which involves optimizing more than one objective function simultaneously, over models with thousands / millions of parameters. Existing benchmark libraries for MOPs mainly focus on evolutionary algorithms, most of which are zeroth-order / meta-heuristic methods that do not effectively utilize higher-order information from objectives and cannot scale to large-scale models with thousands / millions of parameters. In light of the above gap, this paper introduces LibMOON, the first multiobjective optimization library that supports state-of-the-art gradient-based methods, provides a fair benchmark, and is open-sourced for the community.
△ Less
Submitted 11 October, 2024; v1 submitted 4 September, 2024;
originally announced September 2024.
-
Open-loop and closed-loop solvabilities for zero-sum stochastic linear quadratic differential games of Markovian regime switching system
Authors:
Fan Wu,
Xun Li,
Xin Zhang
Abstract:
This paper investigates a zero-sum stochastic linear quadratic (SLQ, for short) differential games with Markovian jumps. Both open-loop and closed-loop solvabilities are studied by employing a new "decomposition method", which can decompose the open-loop and closed-loop solvability problems of zero-sum SLQ differential game into two coupled SLQ control problems for solving. Moreover, we construct…
▽ More
This paper investigates a zero-sum stochastic linear quadratic (SLQ, for short) differential games with Markovian jumps. Both open-loop and closed-loop solvabilities are studied by employing a new "decomposition method", which can decompose the open-loop and closed-loop solvability problems of zero-sum SLQ differential game into two coupled SLQ control problems for solving. Moreover, we construct the open-loop saddle point and its closed-loop representation under the uniform convexity-concavity condition based on the solution of a system of constrained coupled differential Riccati equations (CDREs, for short), whose solvability is also provided by adopting the dimension extension technique and the continuation method. At the end of this paper, we provide a concrete example and give its open-loop saddle based on the obtained results.
△ Less
Submitted 3 September, 2024;
originally announced September 2024.
-
A novel and efficient parameter estimation of the Lognormal-Rician turbulence model based on k-Nearest Neighbor and data generation method
Authors:
Maoke Miao,
Xinyu Zhang,
Bo Liu,
Rui Yin,
Jiantao Yuan,
Feng Gao,
Xiao-Yu Chen
Abstract:
In this paper, we propose a novel and efficient parameter estimator based on $k$-Nearest Neighbor ($k$NN) and data generation method for the Lognormal-Rician turbulence channel. The Kolmogorov-Smirnov (KS) goodness-of-fit statistical tools are employed to investigate the validity of $k$NN approximation under different channel conditions and it is shown that the choice of $k$ plays a significant ro…
▽ More
In this paper, we propose a novel and efficient parameter estimator based on $k$-Nearest Neighbor ($k$NN) and data generation method for the Lognormal-Rician turbulence channel. The Kolmogorov-Smirnov (KS) goodness-of-fit statistical tools are employed to investigate the validity of $k$NN approximation under different channel conditions and it is shown that the choice of $k$ plays a significant role in the approximation accuracy. We present several numerical results to illustrate that solving the constructed objective function can provide a reasonable estimate for the actual values. The accuracy of the proposed estimator is investigated in terms of the mean square error. The simulation results show that increasing the number of generation samples by two orders of magnitude does not lead to a significant improvement in estimation performance when solving the optimization problem by the gradient descent algorithm. However, the estimation performance under the genetic algorithm (GA) approximates to that of the saddlepoint approximation and expectation-maximization estimators. Therefore, combined with the GA, we demonstrate that the proposed estimator achieves the best tradeoff between the computation complexity and the accuracy.
△ Less
Submitted 3 September, 2024;
originally announced September 2024.
-
On isomorphisms of $m$-Cayley digraphs
Authors:
Xing Zhang,
Yuan-Quan Feng,
Fu-Gang Yin,
Jin-Xin Zhou
Abstract:
The isomorphism problem for digraphs is a fundamental problem in graph theory. This problem for Cayley digraphs has been extensively investigated over the last half a century. In this paper, we consider this problem for $m$-Cayley digraphs which are generalization of Cayley digraphs. Let $m$ be a positive integer. A digraph admitting a group $G$ of automorphisms acting semiregularly on the vertice…
▽ More
The isomorphism problem for digraphs is a fundamental problem in graph theory. This problem for Cayley digraphs has been extensively investigated over the last half a century. In this paper, we consider this problem for $m$-Cayley digraphs which are generalization of Cayley digraphs. Let $m$ be a positive integer. A digraph admitting a group $G$ of automorphisms acting semiregularly on the vertices with exactly $m$ orbits is called an $m$-Cayley digraph of $G$. In particular, $1$-Cayley digraph is just the Cayley digraph. We first characterize the normalizer of $G$ in the full automorphism group of an $m$-Cayley digraph of a finite group $G$. This generalizes a similar result for Cayley digraph achieved by Godsil in 1981. Then we use this to study the isomorphisms of $m$-Cayley digraphs. The CI-property of a Cayley digraph (CI stands for `Cayley isomorphism') and the DCI-groups (whose Cayley digraphs are all CI-digraphs) are two key topics in the study of isomorphisms of Cayley digraphs. We generalize these concepts into $m$-Cayley digraphs by defining $m$CI- and $m$PCI-digraphs, and correspondingly, $m$DCI- and $m$PDCI-groups. Analogues to Babai's criterion for CI-digraphs are given for $m$CI- and $m$PCI-digraphs, respectively. With these we then classify finite $m$DCI-groups for each $m\geq 2$, and finite $m$PDCI-groups for each $m\geq 4$. Similar results are also obtained for $m$-Cayley graphs. Note that 1DCI-groups are just DCI-groups, and the classification of finite DCI-groups is a long-standing open problem that has been worked on a lot.
△ Less
Submitted 1 September, 2024;
originally announced September 2024.
-
Subspace Diffusion Posterior Sampling for Travel-Time Tomography
Authors:
Xiang Cao,
Xiaoqun Zhang
Abstract:
Diffusion models have been widely studied as effective generative tools for solving inverse problems. The main ideas focus on performing the reverse sampling process conditioned on noisy measurements, using well-established numerical solvers for gradient updates. Although diffusion-based sampling methods can produce high-quality reconstructions, challenges persist in nonlinear PDE-based inverse pr…
▽ More
Diffusion models have been widely studied as effective generative tools for solving inverse problems. The main ideas focus on performing the reverse sampling process conditioned on noisy measurements, using well-established numerical solvers for gradient updates. Although diffusion-based sampling methods can produce high-quality reconstructions, challenges persist in nonlinear PDE-based inverse problems and sampling speed. In this work, we explore solving PDE-based travel-time tomography based on subspace diffusion generative models. Our main contributions are twofold: First, we propose a posterior sampling process for PDE-based inverse problems by solving the associated adjoint-state equation. Second, we resorted to the subspace-based dimension reduction technique for conditional sampling acceleration, enabling solving the PDE-based inverse problems from coarse to refined grids. Our numerical experiments showed satisfactory advancements in improving the travel-time imaging quality and reducing the sampling time for reconstruction.
△ Less
Submitted 30 August, 2024;
originally announced August 2024.
-
Zero-sum stochastic linear-quadratic Stackelberg differential games of Markovian regime-switching system
Authors:
Fan Wu,
Xun Li,
Jie Xiong,
Xin Zhang
Abstract:
This paper investigates a zero-sum stochastic linear-quadratic (SLQ, for short) Stackelberg differential game problem, where the coefficients of the state equation and the weighting matrices in the performance functional are regulated by a Markov chain. By utilizing the findings in \citet{Zhang.X.2021_ILQM}, we directly present the feedback representation to the rational reaction of the follower.…
▽ More
This paper investigates a zero-sum stochastic linear-quadratic (SLQ, for short) Stackelberg differential game problem, where the coefficients of the state equation and the weighting matrices in the performance functional are regulated by a Markov chain. By utilizing the findings in \citet{Zhang.X.2021_ILQM}, we directly present the feedback representation to the rational reaction of the follower. For the leader's problem, we derive the optimality system through the variational method and study its unique solvability from the Hilbert space point of view. We construct the explicit optimal control for the leader based on the solution to coupled differential Riccati equations (CDREs, for short) and obtain the solvability of CDREs under the one-dimensional framework. Finally, we provide two concrete examples to illustrate the results developed in this paper.
△ Less
Submitted 30 August, 2024;
originally announced August 2024.
-
Nontrivial solutions for a generalized poly-Laplacian system on finite graphs
Authors:
Wanting Qi,
Xingyong Zhang
Abstract:
We investigate the existence and multiplicity of solutions for a class of generalized coupled system involving poly-Laplacian and a parameter $λ$ on finite graphs. By using mountain pass lemma together with cut-off technique, we obtain that system has at least a nontrivial weak solution $(u_λ,v_λ)$ for every large parameter $λ$ when the nonlinear term $F(x,u,v)$ satisfies superlinear growth condit…
▽ More
We investigate the existence and multiplicity of solutions for a class of generalized coupled system involving poly-Laplacian and a parameter $λ$ on finite graphs. By using mountain pass lemma together with cut-off technique, we obtain that system has at least a nontrivial weak solution $(u_λ,v_λ)$ for every large parameter $λ$ when the nonlinear term $F(x,u,v)$ satisfies superlinear growth conditions only in a neighborhood of origin point $(0,0)$. We also obtain a concrete form for the lower bound of parameter $λ$ and the trend of $(u_λ,v_λ)$ with the change of parameter $λ$. Moreover, by using a revised Clark's theorem together with cut-off technique, we obtain that system has a sequence of solutions tending to 0 for every $λ>0$ when the nonlinear term $F(x,u,v)$ satisfies sublinear growth conditions only in a neighborhood of origin point $(0,0)$.
△ Less
Submitted 29 August, 2024;
originally announced August 2024.
-
A module-theoretic characterization of $S$-($w$-)Noetherian rings
Authors:
Xiaolei Zhang
Abstract:
Let $R$ be a ring and $S$ a multiplicative subset of $R$. In this paper, we obtain the ACC characterization, Cartan-Eilenberg-Bass theorem and the absolutely pure characterization for $S$-Noetherian rings. In details, we show that a ring $R$ is an $S$-Noetherian ring if and only if any ascending chain of ideals of $R$ is $S$-stationary, if and only if any direct sum of injective modules is $S$-inj…
▽ More
Let $R$ be a ring and $S$ a multiplicative subset of $R$. In this paper, we obtain the ACC characterization, Cartan-Eilenberg-Bass theorem and the absolutely pure characterization for $S$-Noetherian rings. In details, we show that a ring $R$ is an $S$-Noetherian ring if and only if any ascending chain of ideals of $R$ is $S$-stationary, if and only if any direct sum of injective modules is $S$-injective, if and only if any direct limit of injective modules is $S$-injective, if and only if any $(S$-$)$absolutely pure module is $S$-injective. We also characterized $S$-$w$-Noetherian rings similarly.
△ Less
Submitted 3 September, 2024; v1 submitted 27 August, 2024;
originally announced August 2024.
-
Stochastic linear-quadratic differential game with Markovian jumps in an infinite horizon
Authors:
Fan Wu,
Xun Li,
Jie Xiong,
Xin Zhang
Abstract:
This paper investigates a two-person non-homogeneous linear-quadratic stochastic differential game (LQ-SDG, for short) in an infinite horizon for a system regulated by a time-invariant Markov chain. Both non-zero-sum and zero-sum LQ-SDG problems are studied. It is shown that the zero-sum LQ-SDG problem can be considered a special non-zero-sum LQ-SDG problem. The open-loop Nash equilibrium point of…
▽ More
This paper investigates a two-person non-homogeneous linear-quadratic stochastic differential game (LQ-SDG, for short) in an infinite horizon for a system regulated by a time-invariant Markov chain. Both non-zero-sum and zero-sum LQ-SDG problems are studied. It is shown that the zero-sum LQ-SDG problem can be considered a special non-zero-sum LQ-SDG problem. The open-loop Nash equilibrium point of non-zero-sum (zero-sum, respectively) LQ-SDG problem is characterized by the solvability of a system of constrained forward-backward stochastic differential equations (FBSDEs, for short) in an infinite horizon and the convexity (convexity-concavity, respectively) of the performance functional and their corresponding closed-loop Nash equilibrium strategy are characterized by the solvability of a system of constrained coupled algebra Riccati equations (CAREs, for short) with certain stabilizing conditions. In addition, the closed-loop representation of open-loop Nash equilibrium point for non-zero-sum (zero-sum, respectively) LQ-SDG is provided by the non-symmetric (symmetric, respectively) solution to a system CAREs. At the end of this paper, we provide three concrete examples and solve their open-loop/closed-loop Nash equilibrium strategy based on the obtained results.
△ Less
Submitted 22 August, 2024;
originally announced August 2024.
-
A note on $S$-flat preenvelopes
Authors:
Xiaolei Zhang
Abstract:
In this note, we investigate the notion of $S$-flat preenvelopes of modules. In particular, we give an example that a ring $R$ being coherent does not imply that every $R$-module have an $S$-flat preenvelope, giving a negative answer to the question proposed by Bennis and Bouziri \cite{BB24}. Besides, we also show that $R_S$ is a coherent ring also does not imply that $R$ is an $S$-coherent ring i…
▽ More
In this note, we investigate the notion of $S$-flat preenvelopes of modules. In particular, we give an example that a ring $R$ being coherent does not imply that every $R$-module have an $S$-flat preenvelope, giving a negative answer to the question proposed by Bennis and Bouziri \cite{BB24}. Besides, we also show that $R_S$ is a coherent ring also does not imply that $R$ is an $S$-coherent ring in general.
△ Less
Submitted 19 August, 2024;
originally announced August 2024.
-
Key motifs searching in complex dynamical systems
Authors:
Qitong Hu,
Xiao-Dong Zhang
Abstract:
Key network motifs searching in complex networks is one of the crucial aspects of network analysis. There has been a series of insightful findings and valuable applications for various scenarios through the analysis of network structures. However, in dynamic systems, slight changes in the choice of dynamic equations and parameters can alter the significance of motifs. The known methods are insuffi…
▽ More
Key network motifs searching in complex networks is one of the crucial aspects of network analysis. There has been a series of insightful findings and valuable applications for various scenarios through the analysis of network structures. However, in dynamic systems, slight changes in the choice of dynamic equations and parameters can alter the significance of motifs. The known methods are insufficient to address this issue effectively. In this paper, we introduce a concept of perturbation energy based on the system's Jacobian matrix, and define motif centrality for dynamic systems by seamlessly integrating network topology with dynamic equations. Through simulations, we observe that the key motifs obtained by the proposed energy method present better effective and accurate than them by integrating network topology methods, without significantly increasing algorithm complexity. The finding of key motifs can be used to apply for system control, such as formulating containment policies for the spread of epidemics and protecting fragile ecosystems. Additionally, it makes substantial contribution to a deeper understanding of concepts in physics, such as signal propagation and system's stability.
△ Less
Submitted 16 August, 2024;
originally announced August 2024.
-
Onsager-Machlup functional for stochastic lattice dynamical systems driven by time-varying noise
Authors:
Xinze Zhang,
Yong Li
Abstract:
This paper investigates the Onsager-Machlup functional of stochastic lattice dynamical systems (SLDSs) driven by time-varying noise. We extend the Onsager-Machlup functional from finite-dimensional to infinite-dimensional systems, and from constant to time-varying diffusion coefficients. We first verify the existence and uniqueness of general SLDS solutions in the infinite sequence weighted space…
▽ More
This paper investigates the Onsager-Machlup functional of stochastic lattice dynamical systems (SLDSs) driven by time-varying noise. We extend the Onsager-Machlup functional from finite-dimensional to infinite-dimensional systems, and from constant to time-varying diffusion coefficients. We first verify the existence and uniqueness of general SLDS solutions in the infinite sequence weighted space $l^2_ρ$. Building on this foundation, we employ techniques such as the infinite-dimensional Girsanov transform, Karhunen-Loève expansion, and probability estimation of Brownian motion balls to derive the Onsager-Machlup functionals for SLDSs in $l^2_ρ$ space. Additionally, we use a numerical example to illustrate our theoretical findings, based on the Euler Lagrange equation corresponding to the Onsage Machup functional.
△ Less
Submitted 15 August, 2024;
originally announced August 2024.
-
New refinements of Narayana polynomials and Motzkin polynomials
Authors:
Janet J. W. Dong,
Lora R. Du,
Kathy Q. Ji,
Dax T. X. Zhang
Abstract:
Chen, Deutsch and Elizalde introduced a refinement of the Narayana polynomials by distinguishing between old (leftmost child) and young leaves of plane trees. They also provided a refinement of Coker's formula by constructing a bijection. In fact, Coker's formula establishes a connection between the Narayana polynomials and the Motzkin polynomials, which implies the $γ$-positivity of the Narayana…
▽ More
Chen, Deutsch and Elizalde introduced a refinement of the Narayana polynomials by distinguishing between old (leftmost child) and young leaves of plane trees. They also provided a refinement of Coker's formula by constructing a bijection. In fact, Coker's formula establishes a connection between the Narayana polynomials and the Motzkin polynomials, which implies the $γ$-positivity of the Narayana polynomials. In this paper, we introduce the polynomial $G_{n}(x_{11},x_{12},x_2;y_{11},y_{12},y_2)$, which further refine the Narayana polynomials by considering leaves of plane trees that have no siblings. We obtain the generating function for $G_n(x_{11},x_{12},x_2;y_{11},y_{12},y_2)$. To achieve further refinement of Coker's formula based on the polynomial $G_n(x_{11},x_{12},x_2;y_{11},y_{12},y_2)$, we consider a refinement $M_n(u_1,u_2,u_3;v_1,v_2)$ of the Motzkin polynomials by classifying the old leaves of a tip-augmented plane tree into three categories and the young leaves into two categories. The generating function for $M_n(u_1,u_2,u_3;v_1,v_2)$ is also established, and the refinement of Coker's formula is immediately derived by combining the generating function for $G_n(x_{11},x_{12},x_2;y_{11},y_{12},y_2)$ and the generating function for $M_n(u_1,u_2,u_3;v_1,v_2)$. We derive several interesting consequences from this refinement of Coker's formula. The method used in this paper is the grammatical approach introduced by Chen. We develop a unified grammatical approach to exploring polynomials associated with the statistics defined on plane trees. As you will see, the derivations of the generating functions for $G_n(x_{11},x_{12},x_2;{y}_{11},{y}_{12},y_2)$ and $M_n(u_1,u_2,u_3;v_1,v_2)$ become quite simple once their grammars are established.
△ Less
Submitted 18 August, 2024; v1 submitted 13 August, 2024;
originally announced August 2024.
-
Convergence Rate of Particle System for Second-order PDEs On Wasserstein Space
Authors:
Erhan Bayraktar,
Ibrahim Ekren,
Xin Zhang
Abstract:
In this paper, we provide a convergence rate for particle approximations of a class of second-order PDEs on Wasserstein space. We show that, up to some error term, the infinite-dimensional inf(sup)-convolution of the finite-dimensional value function yields a super (sub)-viscosity solution to the PDEs on Wasserstein space. Hence, we obtain a convergence rate using a comparison principle of such PD…
▽ More
In this paper, we provide a convergence rate for particle approximations of a class of second-order PDEs on Wasserstein space. We show that, up to some error term, the infinite-dimensional inf(sup)-convolution of the finite-dimensional value function yields a super (sub)-viscosity solution to the PDEs on Wasserstein space. Hence, we obtain a convergence rate using a comparison principle of such PDEs on Wasserstein space. Our argument is purely analytic and relies on the regularity of value functions established in \cite{DaJaSe23}.
△ Less
Submitted 12 August, 2024;
originally announced August 2024.
-
Social optimum of finite mean field games: existence and uniqueness of equilibrium solutions in the finite horizon and stationary solutions in the infinite horizon
Authors:
Zijia Niu,
Sanjin Huang,
Lu Ren,
Wang Yao,
Xiao Zhang
Abstract:
In this paper, we consider the social optimal problem of discrete time finite state space mean field games (referred to as finite mean field games [1]). Unlike the individual optimization of their own cost function in competitive models, in the problem we consider, individuals aim to optimize the social cost by finding a fixed point of the state distribution to achieve equilibrium in the mean fiel…
▽ More
In this paper, we consider the social optimal problem of discrete time finite state space mean field games (referred to as finite mean field games [1]). Unlike the individual optimization of their own cost function in competitive models, in the problem we consider, individuals aim to optimize the social cost by finding a fixed point of the state distribution to achieve equilibrium in the mean field game. We provide a sufficient condition for the existence and uniqueness of the individual optimal strategies used to minimize the social cost. According to the definition of social optimum and the derived properties of social optimal cost, the existence and uniqueness conditions of equilibrium solutions under initial-terminal value constraints in the finite horizon and the existence and uniqueness conditions of stable solutions in the infinite horizon are given. Finally, two examples that satisfy the conditions for the above solutions are provided.
△ Less
Submitted 8 August, 2024;
originally announced August 2024.
-
Cooperative colorings of hypergraphs
Authors:
Xuqing Bai,
Bi Li,
Weichan Liu,
Xin Zhang
Abstract:
Given a class $\mathcal{H}$ of $m$ hypergraphs ${H}_1, {H}_2, \ldots, {H}_m$ with the same vertex set $V$, a cooperative coloring of them is a partition $\{I_1, I_2, \ldots, I_m\}$ of $V$ in such a way that each $I_i$ is an independent set in ${H}_i$ for $1\leq i\leq m$. The cooperative chromatic number of a class $\mathcal{H}$ is the smallest number of hypergraphs from $\mathcal{H}$ that always p…
▽ More
Given a class $\mathcal{H}$ of $m$ hypergraphs ${H}_1, {H}_2, \ldots, {H}_m$ with the same vertex set $V$, a cooperative coloring of them is a partition $\{I_1, I_2, \ldots, I_m\}$ of $V$ in such a way that each $I_i$ is an independent set in ${H}_i$ for $1\leq i\leq m$. The cooperative chromatic number of a class $\mathcal{H}$ is the smallest number of hypergraphs from $\mathcal{H}$ that always possess a cooperative coloring. For the classes of $k$-uniform tight cycles, $k$-uniform loose cycles, $k$-uniform tight paths, and $k$-uniform loose paths, we find that their cooperative chromatic numbers are all exactly two utilizing a new proved set system partition theorem, which also has its independent interests and offers a broader perspective. For the class of $k$-partite $k$-uniform hypergraphs with sufficient large maximum degree $d$, we prove that its cooperative chromatic number has lower bound $Ω(\log_k d)$ and upper bound $\text{O}\left(\frac{d}{\ln d}\right)^{\frac{1}{k-1}}$.
△ Less
Submitted 7 August, 2024;
originally announced August 2024.
-
Nontrivial solutions for a $(p,q)$-Kirchhoff type system with concave-convex nonlinearities on locally finite graphs
Authors:
Zhangyi Yu,
Junping Xie,
Xingyong Zhang
Abstract:
By using the well-known mountain pass theorem and Ekeland's variational principle, we prove that there exist at least two fully-non-trivial solutions for a $(p,q)$-Kirchhoff elliptic system with the Dirichlet boundary conditions and perturbation terms on a locally weighted and connected finite graph $G=(V,E)$.We also present a necessary condition of the existence of semi-trivial solutions for the…
▽ More
By using the well-known mountain pass theorem and Ekeland's variational principle, we prove that there exist at least two fully-non-trivial solutions for a $(p,q)$-Kirchhoff elliptic system with the Dirichlet boundary conditions and perturbation terms on a locally weighted and connected finite graph $G=(V,E)$.We also present a necessary condition of the existence of semi-trivial solutions for the system. Moreover, by using Ekeland's variational principle and Clark's Theorem, respectively, we prove that the system has at least one or multiple semi-trivial solutions when the perturbation terms satisfy different assumptions. Finally, we present a nonexistence result of solutions.
△ Less
Submitted 4 August, 2024;
originally announced August 2024.
-
A τ Matrix Based Approximate Inverse Preconditioning for Tempered Fractional Diffusion Equations
Authors:
Xuan Zhang,
Chaojie Wang,
Haiyu Liu
Abstract:
Tempered fractional diffusion equations are a crucial class of equations widely applied in many physical fields. In this paper, the Crank-Nicolson method and the tempered weighted and shifts Grünwald formula are firstly applied to discretize the tempered fractional diffusion equations. We then obtain that the coefficient matrix of the discretized system has the structure of the sum of the identity…
▽ More
Tempered fractional diffusion equations are a crucial class of equations widely applied in many physical fields. In this paper, the Crank-Nicolson method and the tempered weighted and shifts Grünwald formula are firstly applied to discretize the tempered fractional diffusion equations. We then obtain that the coefficient matrix of the discretized system has the structure of the sum of the identity matrix and a diagonal matrix multiplied by a symmetric positive definite(SPD) Toeplitz matrix. Based on the properties of SPD Toeplitz matrices, we use $τ$ matrix approximate it and then propose a novel approximate inverse preconditioner to approximate the coefficient matrix. The $τ$ matrix based approximate inverse preconditioner can be efficiently computed using the discrete sine transform(DST). In spectral analysis, the eigenvalues of the preconditioned coefficient matrix are clustered around 1, ensuring fast convergence of Krylov subspace methods with the new preconditioner. Finally, numerical experiments demonstrate the effectiveness of the proposed preconditioner.
△ Less
Submitted 31 July, 2024;
originally announced July 2024.
-
Permuted preconditioning for extended saddle point problem arising from Neumann boundary control
Authors:
Chaojie Wang,
Xuan Zhang,
Xingding Chen
Abstract:
In this paper, a new block preconditioner is proposed for the saddle point problem arising from the Neumann boundary control problem. In order to deal with the singularity of the stiffness matrix, the saddle point problem is first extended to a new one by a regularization of the pure Neumann problem. Then after row permutations of the extended saddle point problem, a new block triangular precondit…
▽ More
In this paper, a new block preconditioner is proposed for the saddle point problem arising from the Neumann boundary control problem. In order to deal with the singularity of the stiffness matrix, the saddle point problem is first extended to a new one by a regularization of the pure Neumann problem. Then after row permutations of the extended saddle point problem, a new block triangular preconditioner is constructed based on an approximation of the Schur complement. We analyze the eigenvalue properties of the preconditioned matrix and provide eigenvalue bounds. Numerical results illustrate the efficiency of the proposed preconditioning method.
△ Less
Submitted 29 July, 2024; v1 submitted 27 July, 2024;
originally announced July 2024.
-
A new version of P-flat modules and its applications
Authors:
Wei Qi,
Xiaolei Zhang
Abstract:
In this paper, we introduce and study the class of $φ$-$w$-P-flat modules, which can be seen as generalizations of both $φ$-P-flat modules and $w$-P-flat modules. In particular, we obtain that the class of $φ$-$w$-P-flat modules is covering. We also utilize the class of $φ$-$w$-P-flat modules to characterize $φ$-von Neumann regular rings, strong $φ$-rings and $φ$-PvMRs.
In this paper, we introduce and study the class of $φ$-$w$-P-flat modules, which can be seen as generalizations of both $φ$-P-flat modules and $w$-P-flat modules. In particular, we obtain that the class of $φ$-$w$-P-flat modules is covering. We also utilize the class of $φ$-$w$-P-flat modules to characterize $φ$-von Neumann regular rings, strong $φ$-rings and $φ$-PvMRs.
△ Less
Submitted 25 July, 2024;
originally announced July 2024.
-
Some remarks on injective envelopes on ring extensions
Authors:
Xiaolei Zhang
Abstract:
Let $f:S\rightarrow R$ be a ring extension. We introduce and study the properties of $(R, S)_\star$-injective modules and the existences of $(R, S)_\star$-injective envelopes. Besides, we show that every $R$-module has an $(R, S)$-injective envelope when $S$ is a pure-semisimple ring.
Let $f:S\rightarrow R$ be a ring extension. We introduce and study the properties of $(R, S)_\star$-injective modules and the existences of $(R, S)_\star$-injective envelopes. Besides, we show that every $R$-module has an $(R, S)$-injective envelope when $S$ is a pure-semisimple ring.
△ Less
Submitted 1 September, 2024; v1 submitted 22 July, 2024;
originally announced July 2024.
-
Trace reconstruction of matrices and hypermatrices
Authors:
Wenjie Zhong,
Xiande Zhang
Abstract:
A \emph{trace} of a sequence is generated by deleting each bit of the sequence independently with a fixed probability. The well-studied \emph{trace reconstruction} problem asks how many traces are required to reconstruct an unknown binary sequence with high probability. In this paper, we study the multivariate version of this problem for matrices and hypermatrices, where a trace is generated by de…
▽ More
A \emph{trace} of a sequence is generated by deleting each bit of the sequence independently with a fixed probability. The well-studied \emph{trace reconstruction} problem asks how many traces are required to reconstruct an unknown binary sequence with high probability. In this paper, we study the multivariate version of this problem for matrices and hypermatrices, where a trace is generated by deleting each row/column of the matrix or each slice of the hypermatrix independently with a constant probability. Previously, Krishnamurthy et al. showed that $\exp(\widetilde{O}(n^{d/(d+2)}))$ traces suffice to reconstruct any unknown $n\times n$ matrix (for $d=2$) and any unknown $n^{\times d}$ hypermatrix. By developing a dimension reduction procedure and establishing a multivariate version of the Littlewood-type result, we improve this upper bound by showing that $\exp(\widetilde{O}(n^{3/7}))$ traces suffice to reconstruct any unknown $n\times n$ matrix, and $\exp(\widetilde{O}(n^{3/5}))$ traces suffice to reconstruct any unknown $n^{\times d}$ hypermatrix. This breaks the tendency to trivial $\exp(O(n))$ as the dimension $d$ grows.
△ Less
Submitted 16 July, 2024;
originally announced July 2024.
-
Port-Hamiltonian Modeling and Control of Electric Vehicle Charging Stations
Authors:
Hannes Gernandt,
Bernardo Severino,
Xinyi Zhang,
Volker Mehrmann,
Kai Strunz
Abstract:
Electric vehicles (EV) are an important part of future sustainable transportation. The increasing integration of EV charging stations (EVCSs) in the existing power grids require new scaleable control algorithms that maintain the stability and resilience of the grid. Here, we present such a control approach using an averaged port-Hamiltonian model. In this approach, the underlying switching behavio…
▽ More
Electric vehicles (EV) are an important part of future sustainable transportation. The increasing integration of EV charging stations (EVCSs) in the existing power grids require new scaleable control algorithms that maintain the stability and resilience of the grid. Here, we present such a control approach using an averaged port-Hamiltonian model. In this approach, the underlying switching behavior of the power converters is approximated by an averaged non-linear system. The averaged models are used to derive various types of stabilizing controllers, including the typically used PI controllers. The pH modeling is showcased by means of a generic setup of an EVCS, where the battery of the vehicle is connected to an AC grid via power lines, converters, and filters. Finally, the control design methods are compared for the averaged pH system and validated using a simulation model of the switched charging station.
△ Less
Submitted 16 July, 2024; v1 submitted 15 July, 2024;
originally announced July 2024.
-
Stability of Least Square Approximation under Random Sampling
Authors:
Zhiqiang Xu,
Xinyue Zhang
Abstract:
This paper investigates the stability of the least squares approximation $P_m^n$ within the univariate polynomial space of degree $m$, denoted by ${\mathbb P}_m$. The approximation $P_m^n$ entails identifying a polynomial in ${\mathbb P}_m$ that approximates a function $f$ over a domain $X$ based on samples of $f$ taken at $n$ randomly selected points, according to a specified measure $ρ_X$. The p…
▽ More
This paper investigates the stability of the least squares approximation $P_m^n$ within the univariate polynomial space of degree $m$, denoted by ${\mathbb P}_m$. The approximation $P_m^n$ entails identifying a polynomial in ${\mathbb P}_m$ that approximates a function $f$ over a domain $X$ based on samples of $f$ taken at $n$ randomly selected points, according to a specified measure $ρ_X$. The primary goal is to determine the sampling rate necessary to ensure the stability of $P_m^n$. Assuming the sampling points are i.i.d. with respect to a Jacobi weight function, we present the sampling rates that guarantee the stability of $P_m^n$. Specifically, for uniform random sampling, we demonstrate that a sampling rate of $n \asymp m^2$ is required to maintain stability. By integrating these findings with those of Cohen-Davenport-Leviatan, we conclude that, for uniform random sampling, the optimal sampling rate for guaranteeing the stability of $P_m^n$ is $n \asymp m^2$, up to a $\log n$ factor. Motivated by this result, we extend the impossibility theorem, previously applicable to equally spaced samples, to the case of random samples, illustrating the balance between accuracy and stability in recovering analytic functions.
△ Less
Submitted 14 July, 2024;
originally announced July 2024.
-
Limiting Over-Smoothing and Over-Squashing of Graph Message Passing by Deep Scattering Transforms
Authors:
Yuanhong Jiang,
Dongmian Zou,
Xiaoqun Zhang,
Yu Guang Wang
Abstract:
Graph neural networks (GNNs) have become pivotal tools for processing graph-structured data, leveraging the message passing scheme as their core mechanism. However, traditional GNNs often grapple with issues such as instability, over-smoothing, and over-squashing, which can degrade performance and create a trade-off dilemma. In this paper, we introduce a discriminatively trained, multi-layer Deep…
▽ More
Graph neural networks (GNNs) have become pivotal tools for processing graph-structured data, leveraging the message passing scheme as their core mechanism. However, traditional GNNs often grapple with issues such as instability, over-smoothing, and over-squashing, which can degrade performance and create a trade-off dilemma. In this paper, we introduce a discriminatively trained, multi-layer Deep Scattering Message Passing (DSMP) neural network designed to overcome these challenges. By harnessing spectral transformation, the DSMP model aggregates neighboring nodes with global information, thereby enhancing the precision and accuracy of graph signal processing. We provide theoretical proofs demonstrating the DSMP's effectiveness in mitigating these issues under specific conditions. Additionally, we support our claims with empirical evidence and thorough frequency analysis, showcasing the DSMP's superior ability to address instability, over-smoothing, and over-squashing.
△ Less
Submitted 9 July, 2024;
originally announced July 2024.
-
Poisson stability of solutions for stochastic evolution equations driven by fractional Brownian motion
Authors:
Xinze Zhang,
Li Yong,
Xue Yang
Abstract:
In this paper, we study the problem of Poisson stability of solutions for stochastic semi-linear evolution equation driven by fractional Brownian motion \mathrm{d} X(t)= \left( AX(t) + f(t, X(t)) \right) \mathrm{d}t + g\left(t, X(t)\right)\mathrm{d}B^H_{Q}(t), where A is an exponentially stable linear operator acting on a separable Hilbert space \mathbb{H}, coefficients f and g are Poisson stable…
▽ More
In this paper, we study the problem of Poisson stability of solutions for stochastic semi-linear evolution equation driven by fractional Brownian motion \mathrm{d} X(t)= \left( AX(t) + f(t, X(t)) \right) \mathrm{d}t + g\left(t, X(t)\right)\mathrm{d}B^H_{Q}(t), where A is an exponentially stable linear operator acting on a separable Hilbert space \mathbb{H}, coefficients f and g are Poisson stable in time, and B^H_Q (t) is a Q-cylindrical fBm with Hurst index H. First, we establish the existence and uniqueness of the solution for this equation. Then, we prove that under the condition where the functions f and g are sufficiently "small", the equation admits a solution that exhibits the same character of recurrence as f and g. The discussion is further extended to the asymptotic stability of these Poisson stable solutions. Finally, we include an example to validate our results.
△ Less
Submitted 20 October, 2024; v1 submitted 5 July, 2024;
originally announced July 2024.
-
Onsager-Machlup functional for stochastic differential equations with time-varying noise
Authors:
Xinze Zhang,
Yong Li
Abstract:
This paper is devoted to studying the Onsager-Machlup functional for stochastic differential equations with time-varying noise of the α-Hölder, 0<α<1/4,
dXt =f(t,Xt)dt+g(t)dWt.
Our study focuses on scenarios where the diffusion coefficient g(t) exhibits temporal variability, starkly contrasting the conventional assumption of a constant diffusion coefficient in the existing literature. This var…
▽ More
This paper is devoted to studying the Onsager-Machlup functional for stochastic differential equations with time-varying noise of the α-Hölder, 0<α<1/4,
dXt =f(t,Xt)dt+g(t)dWt.
Our study focuses on scenarios where the diffusion coefficient g(t) exhibits temporal variability, starkly contrasting the conventional assumption of a constant diffusion coefficient in the existing literature. This variance brings some complexity to the analysis. Through this investigation, we derive the Onsager-Machlup functional, which acts as the Lagrangian for mapping the most probable transition path between metastable states in stochastic processes affected by time-varying noise. This is done by introducing new measurable norms and applying an appropriate version of the Girsanov transformation. To illustrate our theoretical advancements, we provide numerical simulations, including cases of a one-dimensional SDE and a fast-slow SDE system, which demonstrate the application to multiscale stochastic volatility models, thereby highlighting the significant impact of time-varying diffusion coefficients.
△ Less
Submitted 5 July, 2024;
originally announced July 2024.
-
Dual-Domain Deep D-bar Method for Solving Electrical Impedance Tomography
Authors:
Xiang Cao,
Qiaoqiao Ding,
Xiaoqun Zhang
Abstract:
The regularized D-bar method is one of the most prominent methods for solving Electrical Impedance Tomography (EIT) problems due to its efficiency and simplicity. It provides a direct approach by applying low-pass filtering to the scattering data in the non-linear Fourier domain, thereby yielding a smoothed conductivity approximation. However, D-bar images often present low contrast and low resolu…
▽ More
The regularized D-bar method is one of the most prominent methods for solving Electrical Impedance Tomography (EIT) problems due to its efficiency and simplicity. It provides a direct approach by applying low-pass filtering to the scattering data in the non-linear Fourier domain, thereby yielding a smoothed conductivity approximation. However, D-bar images often present low contrast and low resolution due to the absence of accurate high-frequency information and ill-posedness of the problem. In this paper, we proposed a dual-domain neural network architecture to retrieve high-contrast D-bar image sequences from low-contrast D-bar images. To further accentuate the spatial features of the conductivity distribution, the widely adopted U-net has been tailored for conductivity image calibration from the predicted D-bar image sequences. We call such a hybrid approach by Dual-Domain Deep D-bar method due to the consideration of both scattering data and image information. Compared to the single-scale structure, our proposed multi-scale structure exhibits superior capabilities in reducing artifacts and refining conductivity approximation. Additionally, solving discrete D-bar systems using the GMRES algorithm entails significant computational complexity, which is extremely time-consuming on CPU-based devices. To remedy this, we designed a surrogate GPU-based Richardson iterative method to accelerate the data enhancement process by D-bar. Numerical results are presented for simulated EIT data from the KIT4 and ACT4 systems to demonstrate notable improvements in absolute EIT imaging quality when compared to existing methodologies.
△ Less
Submitted 12 May, 2024;
originally announced July 2024.
-
Separable integer partition classes and partitions with congruence conditions
Authors:
Thomas Y. He,
C. S. Huang,
H. X. Li,
X. Zhang
Abstract:
In this article, we first investigate the partitions whose parts are congruent to $a$ or $b$ modulo $k$ with the aid of separable integer partition classes with modulus $k$ introduced by Andrews. Then, we introduce the $(k,r)$-overpartitions in which only parts equivalent to $r$ modulo $k$ may be overlined and we will show that the number of $(k,k)$-overpartitions of $n$ equals the number of parti…
▽ More
In this article, we first investigate the partitions whose parts are congruent to $a$ or $b$ modulo $k$ with the aid of separable integer partition classes with modulus $k$ introduced by Andrews. Then, we introduce the $(k,r)$-overpartitions in which only parts equivalent to $r$ modulo $k$ may be overlined and we will show that the number of $(k,k)$-overpartitions of $n$ equals the number of partitions of $n$ such that the $k$-th occurrence of a part may be overlined. Finally, we extend separable integer partition classes with modulus $k$ to overpartitions and then give the generating function for $(k,r)$-modulo overpartitions, which are the $(k,r)$-overpartitions satisfying certain congruence conditions.
△ Less
Submitted 28 June, 2024;
originally announced June 2024.
-
Multiple solutions for a class of nonhomogeneous elliptic systems with Dirichlet boundary or Neumann boundary
Authors:
Xiaoli Yu,
Xingyong Zhang
Abstract:
In this paper, we mainly establish the existence of at least three non-trivial solutions for a class of nonhomogeneous quasilinear elliptic systems with Dirichlet boundary value or Neumann boundary value in a bounded domain $Ω\subset\mathbb{R}^N $ and $N\geq 1$. We exploit the method which is based on [6]. This method let us obtain the concrete open interval about the parameter $λ$. Since the quas…
▽ More
In this paper, we mainly establish the existence of at least three non-trivial solutions for a class of nonhomogeneous quasilinear elliptic systems with Dirichlet boundary value or Neumann boundary value in a bounded domain $Ω\subset\mathbb{R}^N $ and $N\geq 1$. We exploit the method which is based on [6]. This method let us obtain the concrete open interval about the parameter $λ$. Since the quasilinear term depends on $u$ and $\nabla u$, it is necessary for our proofs to use the theory of monotone operators and the skill of adding one dimension to space.
△ Less
Submitted 27 June, 2024;
originally announced June 2024.
-
Dependence on parameters of solutions for a generalized poly-Laplacian system on weighted graphs
Authors:
Xiaoyu Wang,
Junping Xie,
Xingyong Zhang,
Xin Ou
Abstract:
We mainly investigate the continuous dependence on parameters of nontrivial solutions for a generalized poly-Laplacian system on the weighted finite graph $G=(V, E)$. We firstly present an existence result of mountain pass type nontrivial solutions when the nonlinear term $F$ satisfies the super-$(p, q)$ linear growth condition which is a simple generalization of those results in [28]. Then we mai…
▽ More
We mainly investigate the continuous dependence on parameters of nontrivial solutions for a generalized poly-Laplacian system on the weighted finite graph $G=(V, E)$. We firstly present an existence result of mountain pass type nontrivial solutions when the nonlinear term $F$ satisfies the super-$(p, q)$ linear growth condition which is a simple generalization of those results in [28]. Then we mainly show that the mountain pass type nontrivial solutions of the poly-Laplacian system are uniformly bounded for parameters and the concrete upper and lower bounds are given, and are continuously dependent on parameters. Similarly, we also present the existence result, the concrete upper and lower bounds, uniqueness, and dependence on parameters for the locally minimum type nontrivial solutions. Subsequently, we present an example on optimal control as an application of our results. Finally, we give a nonexistence result and some results for the corresponding scalar equation.
△ Less
Submitted 26 June, 2024;
originally announced June 2024.