-
On p-torsions of geometric Brauer groups
Authors:
Zhenghui Li,
Yanshuai Qin
Abstract:
Let $X$ be a smooth projective integral variety over a finitely generated field $k$ of characteristic $p>0$. We show that the finiteness of the exponent of the $p$-primary part of $\mathrm{Br}(X_{k^s})^{G_k}$ is equivalent to the Tate conjecture for divisors, generalizing D'Addezio's theorem for abelian varieties to arbitrary smooth projective varieties. As a result, we show that the cokernel of…
▽ More
Let $X$ be a smooth projective integral variety over a finitely generated field $k$ of characteristic $p>0$. We show that the finiteness of the exponent of the $p$-primary part of $\mathrm{Br}(X_{k^s})^{G_k}$ is equivalent to the Tate conjecture for divisors, generalizing D'Addezio's theorem for abelian varieties to arbitrary smooth projective varieties. As a result, we show that the cokernel of $\mathrm{Br}_{\mathrm{nr}}(K(X)) \rightarrow \mathrm{Br}(X_{k^s})^{G_k}$ is of finite exponent and complete the $p$-primary part of the generalization of Artin-Grothendieck's theorem to higher relative dimensions.
△ Less
Submitted 27 June, 2024;
originally announced June 2024.
-
Algebraic Connectivity Control and Maintenance in Multi-Agent Networks under Attack
Authors:
Wenjie Zhao,
Diego Deplano,
Zhiwu Li,
Alessandro Giua,
Mauro Franceschelli
Abstract:
This paper studies the problem of increasing the connectivity of an ad-hoc peer-to-peer network subject to cyber-attacks targeting the agents in the network. The adopted strategy involves the design of local interaction rules for the agents to locally modify the graph topology by adding and removing links with neighbors. Two distributed protocols are presented to boost the algebraic connectivity o…
▽ More
This paper studies the problem of increasing the connectivity of an ad-hoc peer-to-peer network subject to cyber-attacks targeting the agents in the network. The adopted strategy involves the design of local interaction rules for the agents to locally modify the graph topology by adding and removing links with neighbors. Two distributed protocols are presented to boost the algebraic connectivity of the network graph beyond $k-2\sqrt{k-1}$ where $k\in \mathbb{N}$ is a free design parameter; these two protocols are achieved through the distributed construction of random (approximate) regular graphs. One protocol leverages coordinated actions between pairs of neighboring agents and is mathematically proven to converge to the desired graph topology. The other protocol relies solely on the uncoordinated actions of individual agents and it is validated by a spectral analysis through Monte-Carlo simulations. Numerical simulations offer a comparative analysis with other state-of-the-art algorithms, showing the ability of both proposed protocols to maintain high levels of connectivity despite attacks carried out with full knowledge of the network structure, and highlighting their superior performance.
△ Less
Submitted 26 June, 2024;
originally announced June 2024.
-
Moment-based parameter inference with error guarantees for stochastic reaction networks
Authors:
Zekai Li,
Mauricio Barahona,
Philipp Thomas
Abstract:
Inferring parameters of models of biochemical kinetics from single-cell data remains challenging because of the uncertainty arising from the intractability of the likelihood function of stochastic reaction networks. Such uncertainty falls beyond current error quantification measures, which focus on the effects of finite sample size and identifiability but lack theoretical guarantees when likelihoo…
▽ More
Inferring parameters of models of biochemical kinetics from single-cell data remains challenging because of the uncertainty arising from the intractability of the likelihood function of stochastic reaction networks. Such uncertainty falls beyond current error quantification measures, which focus on the effects of finite sample size and identifiability but lack theoretical guarantees when likelihood approximations are needed. Here, we propose an inference method for stochastic reaction networks with nonlinear and rational propensities at steady state that provides bounds on the parameters via convex optimisation over sets constrained by moment equations and moment matrices. Our approach takes observations from the stochastic reaction network and forms moment intervals, which are then used to constrain parameters through convex sets. The bounds on the parameters contain the true parameters under the condition that the moment intervals contain the true stationary moments, thus providing uncertainty quantification and error guarantees. Our approach does not need to predict moments and distributions for given parameters (i.e., it avoids solving or simulating the forward problem), and hence circumvents intractable likelihood computations or computationally expensive simulations. We demonstrate its use for uncertainty quantification, data integration and prediction of latent species statistics through synthetic data from common nonlinear biochemical models including the Schlögl model, the toggle switch and post-transcriptional regulation.
△ Less
Submitted 25 June, 2024;
originally announced June 2024.
-
A refined uniqueness result of Leray's problem in an infinite-long pipe with the Navier-slip boundary condition
Authors:
Zi** Li,
Ning Liu,
Taoran Zhou
Abstract:
In the recent paper \cite{LPY2024SCM}, authors proved the existence, uniqueness, regularity and exponential decay property of the solution to the generalized Leray's problem in a distorted infinite-long pipe with the Navier-slip boundary condition, where the friction ratio $α>0$ and the flux $Φ$ is no bigger than a critical flux $Φ_0=\frac{Cα}{1+α}$.
In this paper, we consider the generalized Le…
▽ More
In the recent paper \cite{LPY2024SCM}, authors proved the existence, uniqueness, regularity and exponential decay property of the solution to the generalized Leray's problem in a distorted infinite-long pipe with the Navier-slip boundary condition, where the friction ratio $α>0$ and the flux $Φ$ is no bigger than a critical flux $Φ_0=\frac{Cα}{1+α}$.
In this paper, we consider the generalized Leray's problem with the Navier-slip boundary condition in a straight pipe $\mathcal{D}=Σ\times\mathbb{R}$. We show that if the flux of the solution is no larger than a critical value that is independent with $α$, the solution to the problem must be the Poiseuille flow with the given flux. This smallness condition of the flux is weaker compared with the previous result, particularly when the friction ratio is small (close to the total slip Navier boundary condition).
Our proof relies primarily on a refined gradient estimate of the Poiseuille flow with the Navier-slip boundary condition. Additionally, we provide an exact lower bound of the critical flux $Φ_0$ for flow in an infinite unit cylindrical pipe. Some discussions on the essential differences between 2D and 3D problems are also given.
△ Less
Submitted 25 June, 2024;
originally announced June 2024.
-
Towards Dynamic Resource Allocation and Client Scheduling in Hierarchical Federated Learning: A Two-Phase Deep Reinforcement Learning Approach
Authors:
Xiao**g Chen,
Zhenyuan Li,
Wei Ni,
Xin Wang,
Shunqing Zhang,
Yanzan Sun,
Shugong Xu,
Qingqi Pei
Abstract:
Federated learning (FL) is a viable technique to train a shared machine learning model without sharing data. Hierarchical FL (HFL) system has yet to be studied regrading its multiple levels of energy, computation, communication, and client scheduling, especially when it comes to clients relying on energy harvesting to power their operations. This paper presents a new two-phase deep deterministic p…
▽ More
Federated learning (FL) is a viable technique to train a shared machine learning model without sharing data. Hierarchical FL (HFL) system has yet to be studied regrading its multiple levels of energy, computation, communication, and client scheduling, especially when it comes to clients relying on energy harvesting to power their operations. This paper presents a new two-phase deep deterministic policy gradient (DDPG) framework, referred to as ``TP-DDPG'', to balance online the learning delay and model accuracy of an FL process in an energy harvesting-powered HFL system. The key idea is that we divide optimization decisions into two groups, and employ DDPG to learn one group in the first phase, while interpreting the other group as part of the environment to provide rewards for training the DDPG in the second phase. Specifically, the DDPG learns the selection of participating clients, and their CPU configurations and the transmission powers. A new straggler-aware client association and bandwidth allocation (SCABA) algorithm efficiently optimizes the other decisions and evaluates the reward for the DDPG. Experiments demonstrate that with substantially reduced number of learnable parameters, the TP-DDPG can quickly converge to effective polices that can shorten the training time of HFL by 39.4% compared to its benchmarks, when the required test accuracy of HFL is 0.9.
△ Less
Submitted 21 June, 2024;
originally announced June 2024.
-
Braid Group Action and Quantum Queer Superalgebra
Authors:
Jianmin Chen,
Zhenhua Li,
Hongying Zhu
Abstract:
In this paper, we present explicit actions of braid group on the universal envelo** superalgebra ${\boldsymbol U}(\mathfrak{q}_n)$ and the quantum queer superalgebra ${\boldsymbol U}_{\!{v}}(\mathfrak{q}_{n})$. Then we provide a new definition of root vectors and some explicit expression for them. With these procedures, we obtain the PBW-type basis containing the product of root vectors.
In this paper, we present explicit actions of braid group on the universal envelo** superalgebra ${\boldsymbol U}(\mathfrak{q}_n)$ and the quantum queer superalgebra ${\boldsymbol U}_{\!{v}}(\mathfrak{q}_{n})$. Then we provide a new definition of root vectors and some explicit expression for them. With these procedures, we obtain the PBW-type basis containing the product of root vectors.
△ Less
Submitted 17 June, 2024; v1 submitted 15 June, 2024;
originally announced June 2024.
-
Perfect Matchings and Essential Spanning Forests in Hyperbolic Double Circle Packings
Authors:
Zhongyang Li
Abstract:
We investigate perfect matchings and essential spanning forests in planar hyperbolic graphs via circle packings.
We prove the existence of nonconstant harmonic Dirichlet functions that vanish in a closed set of the boundary, generalizing a result in \cite{bsinv}. We then prove the existence of extremal infinite volume measures for uniform spanning forests with partially wired boundary conditions…
▽ More
We investigate perfect matchings and essential spanning forests in planar hyperbolic graphs via circle packings.
We prove the existence of nonconstant harmonic Dirichlet functions that vanish in a closed set of the boundary, generalizing a result in \cite{bsinv}. We then prove the existence of extremal infinite volume measures for uniform spanning forests with partially wired boundary conditions and partially free boundary conditions, generalizing a result in \cite{BLPS01}.
Using the double circle packing for a pair of dual graphs, we relate the inverse of the weighted adjacency matrix to the difference of Green's functions plus an explicit harmonic Dirichlet function. This gives explicit formulas for the probabilities of any cylindrical events.
We prove that the infinite-volume Gibbs measure obtained from approximations by finite domains with exactly two convex white corners converging to two distinct points along the boundary is extremal, yet not invariant with respect to a finite-orbit subgroup of the automorphism group. We then show that under this measure, a.s.~there are no infinite contours in the symmetric difference of two i.i.d.~random perfect matchings.
As an application, we prove that the variance of the height difference of two i.i.d.~uniformly weighted perfect matchings under the boundary condition above on a transitive nonamenable planar graph is always finite; in contrast to the 2D uniformly weighted dimer model on a transitive amenable planar graph as proved in \cite{RK01,KOS06}, where the variance of height difference grows in the order of $\log n$, with $n$ being the graph distance to the boundary. This also implies that a.s.~each point is surrounded by finitely many cycles in the symmetric difference of two i.i.d.~perfect matchings, again in contrast to the 2D Euclidean case.
△ Less
Submitted 29 June, 2024; v1 submitted 12 June, 2024;
originally announced June 2024.
-
Uplink resource allocation optimization for user-centric cell-free MIMO networks
Authors:
Zehua Li,
Raviraj Adve
Abstract:
We examine the problem of optimizing resource allocation in the uplink for a user-centric, cell-free, multi-input multi-output network. We start by modeling and develo** resource allocation algorithms for two standard network operation modes. The centralized mode provides high data rates but suffers multiple issues, including scalability. On the other hand, the distributed mode has the opposite…
▽ More
We examine the problem of optimizing resource allocation in the uplink for a user-centric, cell-free, multi-input multi-output network. We start by modeling and develo** resource allocation algorithms for two standard network operation modes. The centralized mode provides high data rates but suffers multiple issues, including scalability. On the other hand, the distributed mode has the opposite problem: relatively low rates, but is scalable. To address these challenges, we combine the strength of the two standard modes, creating a new semi-distributed operation mode. To avoid the need for information exchange between access points, we introduce a new quality of service metric to decentralize the resource allocation algorithms. Our results show that we can eliminate the need for information exchange with a relatively small penalty on data rates.
△ Less
Submitted 8 June, 2024;
originally announced June 2024.
-
Whitney Stratification of Algebraic Boundaries of Convex Semi-algebraic Sets
Authors:
Zihao Dai,
Zijia Li,
Zhi-Hong Yang,
Lihong Zhi
Abstract:
Algebraic boundaries of convex semi-algebraic sets are closely related to polynomial optimization problems. Building upon Rainer Sinn's work, we refine the stratification of iterated singular loci to a Whitney (a) stratification, which gives a list of candidates of varieties whose dual is an irreducible component of the algebraic boundary of the dual convex body. We also present an algorithm based…
▽ More
Algebraic boundaries of convex semi-algebraic sets are closely related to polynomial optimization problems. Building upon Rainer Sinn's work, we refine the stratification of iterated singular loci to a Whitney (a) stratification, which gives a list of candidates of varieties whose dual is an irreducible component of the algebraic boundary of the dual convex body. We also present an algorithm based on Teissier's criterion to compute Whitney (a) stratifications, which employs conormal spaces and prime decomposition.
△ Less
Submitted 7 June, 2024;
originally announced June 2024.
-
An iterative constraint energy minimizing generalized multiscale finite element method for contact problem
Authors:
Zishang Li,
Changqing Ye,
Eric T. Chung
Abstract:
This work presents an Iterative Constraint Energy Minimizing Generalized Multiscale Finite Element Method (ICEM-GMsFEM) for solving the contact problem with high contrast coefficients. The model problem can be characterized by a variational inequality, where we add a penalty term to convert this problem into a non-smooth and non-linear unconstrained minimizing problem. The characterization of the…
▽ More
This work presents an Iterative Constraint Energy Minimizing Generalized Multiscale Finite Element Method (ICEM-GMsFEM) for solving the contact problem with high contrast coefficients. The model problem can be characterized by a variational inequality, where we add a penalty term to convert this problem into a non-smooth and non-linear unconstrained minimizing problem. The characterization of the minimizer satisfies the variational form of a mixed Dirilect-Neumann-Robin boundary value problem. So we apply CEM-GMsFEM iteratively and introduce special boundary correctors along with multiscale spaces to achieve an optimal convergence rate. Numerical results are conducted for different highly heterogeneous permeability fields, validating the fast convergence of the CEM-GMsFEM iteration in handling the contact boundary and illustrating the stability of the proposed method with different sets of parameters. We also prove the fast convergence of the proposed iterative CEM-GMsFEM method and provide an error estimate of the multiscale solution under a mild assumption.
△ Less
Submitted 5 June, 2024;
originally announced June 2024.
-
Entropy density and large deviation principles without upper semi-continuity of entropy
Authors:
Zhiqiang Li,
Xianghui Shi
Abstract:
Expanding Thurston maps were introduced by M. Bonk and D. Meyer with motivation from complex dynamics and Cannon's conjecture from geometric group theory via Sullivan's dictionary. In this paper, we show that the entropy map of an expanding Thurston map is upper semi-continuous if and only if the map has no periodic critical points. For all expanding Thurston maps, even in the presence of periodic…
▽ More
Expanding Thurston maps were introduced by M. Bonk and D. Meyer with motivation from complex dynamics and Cannon's conjecture from geometric group theory via Sullivan's dictionary. In this paper, we show that the entropy map of an expanding Thurston map is upper semi-continuous if and only if the map has no periodic critical points. For all expanding Thurston maps, even in the presence of periodic critical points, we show that ergodic measures are entropy-dense and establish level-2 large deviation principles for the distribution of Birkhoff averages, periodic points, and iterated preimages. It follows that iterated preimages and periodic points are equidistributed with respect to the unique equilibrium state for an expanding Thurston map and a potential that is Hölder continuous with respect to a visual metric on $S^2$. In particular, our results answer two questions in [Li15].
The main technical tools in this paper are called subsystems of expanding Thurston maps, inspired by a translation of the notion of subgroups via Sullivan's dictionary.
△ Less
Submitted 3 June, 2024;
originally announced June 2024.
-
A note on the Nearly Dispersability of Odd Toroidal Grids
Authors:
Xiaoxiang Yu,
Zeling Shao,
Zhiguo Li
Abstract:
The \emph{matching book thickness} $mbt(G)$ of $G$ is the minimum integer $m$ such that an $m$-page matching book embedding exists. A graph $G$ is called \emph{dispersable} if $mbt(G)=Δ(G)$, \emph{nearly dispersable} if $mbt(G)=Δ(G)+1$. Recently, the authors determined the nearly dispersability of odd toroidal grids $T_{s,t}$. In this note, we further present a brief proof for this result.
The \emph{matching book thickness} $mbt(G)$ of $G$ is the minimum integer $m$ such that an $m$-page matching book embedding exists. A graph $G$ is called \emph{dispersable} if $mbt(G)=Δ(G)$, \emph{nearly dispersable} if $mbt(G)=Δ(G)+1$. Recently, the authors determined the nearly dispersability of odd toroidal grids $T_{s,t}$. In this note, we further present a brief proof for this result.
△ Less
Submitted 1 June, 2024;
originally announced June 2024.
-
Comparison theorems for mean-field BSDEs whose generators depend on the law of the solution $(Y,Z)$
Authors:
Juan Li,
Zhanxin Li,
Chuanzhi Xing
Abstract:
For general mean-field backward stochastic differential equations (BSDEs) it is well-known that we usually do not have the comparison theorem if the coefficients depend on the law of $Z$-component of the solution process $(Y, Z)$. A natural question is whether general mean-field BSDEs whose coefficients depend on the law of $Z$ have the comparison theorem for some cases. In this paper we establish…
▽ More
For general mean-field backward stochastic differential equations (BSDEs) it is well-known that we usually do not have the comparison theorem if the coefficients depend on the law of $Z$-component of the solution process $(Y, Z)$. A natural question is whether general mean-field BSDEs whose coefficients depend on the law of $Z$ have the comparison theorem for some cases. In this paper we establish the comparison theorems for one-dimensional mean-field BSDEs whose coefficients also depend on the joint law of the solution process $(Y,Z)$. With the help of Malliavin calculus and a BMO martingale argument, we obtain two comparison theorems for different cases and a strong comparison result. In particular, in this framework, we compare not only the first component $Y$ of the solution $(Y,Z)$ for such mean-field BSDEs, but also the second component $Z$.
△ Less
Submitted 31 May, 2024;
originally announced June 2024.
-
Improving Generalization and Convergence by Enhancing Implicit Regularization
Authors:
Mingze Wang,
Haotian He,
**bo Wang,
Zilin Wang,
Guanhua Huang,
Feiyu Xiong,
Zhiyu Li,
Weinan E,
Lei Wu
Abstract:
In this work, we propose an Implicit Regularization Enhancement (IRE) framework to accelerate the discovery of flat solutions in deep learning, thereby improving generalization and convergence. Specifically, IRE decouples the dynamics of flat and sharp directions, which boosts the sharpness reduction along flat directions while maintaining the training stability in sharp directions. We show that I…
▽ More
In this work, we propose an Implicit Regularization Enhancement (IRE) framework to accelerate the discovery of flat solutions in deep learning, thereby improving generalization and convergence. Specifically, IRE decouples the dynamics of flat and sharp directions, which boosts the sharpness reduction along flat directions while maintaining the training stability in sharp directions. We show that IRE can be practically incorporated with {\em generic base optimizers} without introducing significant computational overload. Experiments show that IRE consistently improves the generalization performance for image classification tasks across a variety of benchmark datasets (CIFAR-10/100, ImageNet) and models (ResNets and ViTs). Surprisingly, IRE also achieves a $2\times$ {\em speed-up} compared to AdamW in the pre-training of Llama models (of sizes ranging from 60M to 229M) on datasets including Wikitext-103, Minipile, and Openwebtext. Moreover, we provide theoretical guarantees, showing that IRE can substantially accelerate the convergence towards flat minima in Sharpness-aware Minimization (SAM).
△ Less
Submitted 31 May, 2024;
originally announced May 2024.
-
Statistical Properties of Robust Satisficing
Authors:
Zhiyi Li,
Yunbei Xu,
Ruohan Zhan
Abstract:
The Robust Satisficing (RS) model is an emerging approach to robust optimization, offering streamlined procedures and robust generalization across various applications. However, the statistical theory of RS remains unexplored in the literature. This paper fills in the gap by comprehensively analyzing the theoretical properties of the RS model. Notably, the RS structure offers a more straightforwar…
▽ More
The Robust Satisficing (RS) model is an emerging approach to robust optimization, offering streamlined procedures and robust generalization across various applications. However, the statistical theory of RS remains unexplored in the literature. This paper fills in the gap by comprehensively analyzing the theoretical properties of the RS model. Notably, the RS structure offers a more straightforward path to deriving statistical guarantees compared to the seminal Distributionally Robust Optimization (DRO), resulting in a richer set of results. In particular, we establish two-sided confidence intervals for the optimal loss without the need to solve a minimax optimization problem explicitly. We further provide finite-sample generalization error bounds for the RS optimizer. Importantly, our results extend to scenarios involving distribution shifts, where discrepancies exist between the sampling and target distributions. Our numerical experiments show that the RS model consistently outperforms the baseline empirical risk minimization in small-sample regimes and under distribution shifts. Furthermore, compared to the DRO model, the RS model exhibits lower sensitivity to hyperparameter tuning, highlighting its practicability for robustness considerations.
△ Less
Submitted 30 May, 2024;
originally announced May 2024.
-
Efficient Optimal Control of Open Quantum Systems
Authors:
Wenhao He,
Tongyang Li,
Xiantao Li,
Zecheng Li,
Chunhao Wang,
Ke Wang
Abstract:
The optimal control problem for open quantum systems can be formulated as a time-dependent Lindbladian that is parameterized by a number of time-dependent control variables. Given an observable and an initial state, the goal is to tune the control variables so that the expected value of some observable with respect to the final state is maximized. In this paper, we present algorithms for solving t…
▽ More
The optimal control problem for open quantum systems can be formulated as a time-dependent Lindbladian that is parameterized by a number of time-dependent control variables. Given an observable and an initial state, the goal is to tune the control variables so that the expected value of some observable with respect to the final state is maximized. In this paper, we present algorithms for solving this optimal control problem efficiently, i.e., having a poly-logarithmic dependency on the system dimension, which is exponentially faster than best-known classical algorithms. Our algorithms are hybrid, consisting of both quantum and classical components. The quantum procedure simulates time-dependent Lindblad evolution that drives the initial state to the final state, and it also provides access to the gradients of the objective function via quantum gradient estimation. The classical procedure uses the gradient information to update the control variables.
At the technical level, we provide the first (to the best of our knowledge) simulation algorithm for time-dependent Lindbladians with an $\ell_1$-norm dependence. As an alternative, we also present a simulation algorithm in the interaction picture to improve the algorithm for the cases where the time-independent component of a Lindbladian dominates the time-dependent part. On the classical side, we heavily adapt the state-of-the-art classical optimization analysis to interface with the quantum part of our algorithms. Both the quantum simulation techniques and the classical optimization analyses might be of independent interest.
△ Less
Submitted 29 May, 2024;
originally announced May 2024.
-
A Converse to the Skoda $L^2$ Division Theorem
Authors:
Zhi Li,
Xiankui Meng,
Jiafu Ning,
Xiangyu Zhou
Abstract:
In this paper, we present a converse to a version of Skoda's $L^2$ division theorem by investigating the solvability of $\bar{\partial}$ equations of a specific type.
In this paper, we present a converse to a version of Skoda's $L^2$ division theorem by investigating the solvability of $\bar{\partial}$ equations of a specific type.
△ Less
Submitted 28 May, 2024;
originally announced May 2024.
-
Delay Performance Analysis of Delay-Deterministic Wireless Networks with Infinite and Finite Blocklength Transmission
Authors:
Hanxue Ding,
Shaoyi Xu,
Ziheng Xu,
Rongtao Xu,
Zonghui Li,
Junhui Zhao
Abstract:
In order to achieve stable and reliable industrial manufacturing, wireless networks must meet the stringent communication requirements of industrial automation, particularly the need for deterministic low latency communication. The limited wireless resources and time-varying fading channel contribute to the random fluctuations of transmission delay, making it challenging to realize delay-determini…
▽ More
In order to achieve stable and reliable industrial manufacturing, wireless networks must meet the stringent communication requirements of industrial automation, particularly the need for deterministic low latency communication. The limited wireless resources and time-varying fading channel contribute to the random fluctuations of transmission delay, making it challenging to realize delay-deterministic wireless networks. An open challenge in this context is to model delay determinism, also known as jitter, and analyze delay performance. In this paper, we model jitter as the variance of delay and conduct a comprehensive analysis of delay performance. Specifically, we consider two transmission regimes: infinite blocklength (IBL) and finite blocklength (FBL). In the IBL regime, the distribution of the transmission delay is analyzed, and the closed-form expressions for the average delay, jitter, and delay violation probability are derived. In the FBL regime, an upper bound on the transmission delay is first approximated at a high signalto-noise ratio. Based on this upper bound, the delay distribution, delay violation probability, average delay, and jitter are derived. Finally, simulation results are provided to validate the accuracy of the analysis and derivations. Additionally, the impact of system parameters on jitter is analyzed to gain further insights.
△ Less
Submitted 27 May, 2024;
originally announced May 2024.
-
A characterization of contact elements
Authors:
Zhenkun Li,
Shunyu Wan
Abstract:
We show that for a non-trivial element $c$ in $\widehat{HF}(-Y)$, there exists a tight contact structure $ξ$ on $Y$ whose contact invariant realizes $c$ if and only if there exists a non-trivial fibered knot $K$ such that $-τ_c(K)=g(K)$. Moreover, when such a fibered knot $K$ does exist, $ξ$ can be chosen to satisfy the extra condition that $K$ admits a Legendrian representative with Thurston-Benn…
▽ More
We show that for a non-trivial element $c$ in $\widehat{HF}(-Y)$, there exists a tight contact structure $ξ$ on $Y$ whose contact invariant realizes $c$ if and only if there exists a non-trivial fibered knot $K$ such that $-τ_c(K)=g(K)$. Moreover, when such a fibered knot $K$ does exist, $ξ$ can be chosen to satisfy the extra condition that $K$ admits a Legendrian representative with Thurston-Bennequin number tb$(K)$ equal to $0$ in $(Y,ξ)$.
△ Less
Submitted 26 May, 2024;
originally announced May 2024.
-
On the dispersability of graph bundles over cycles
Authors:
Zeling Shao,
Xiaoxiang Yu,
Zhiguo Li
Abstract:
In this paper, the dispersability of the Cartesian graph bundle over two cycles is completely solved. We show the Cartesian graph bundle $G$ over two cycles is dispersable if $G$ is bipartite; otherwise, $G$ is nearly dispersable.
In this paper, the dispersability of the Cartesian graph bundle over two cycles is completely solved. We show the Cartesian graph bundle $G$ over two cycles is dispersable if $G$ is bipartite; otherwise, $G$ is nearly dispersable.
△ Less
Submitted 25 May, 2024;
originally announced May 2024.
-
2-torsion in instanton Floer homology
Authors:
Zhenkun Li,
Fan Ye
Abstract:
This paper studies the existence of $2$-torsion in instanton Floer homology with $\mathbb{Z}$ coefficients for closed $3$-manifolds and singular knots. First, we show that the non-existence of $2$-torsion in the framed instanton Floer homology $I^\sharp(S_n^3(K);\mathbb{Z})$ of any nonzero integral $n$-surgery along a knot $K$ in $S^3$ would imply that $K$ is fibered. Also, we show that…
▽ More
This paper studies the existence of $2$-torsion in instanton Floer homology with $\mathbb{Z}$ coefficients for closed $3$-manifolds and singular knots. First, we show that the non-existence of $2$-torsion in the framed instanton Floer homology $I^\sharp(S_n^3(K);\mathbb{Z})$ of any nonzero integral $n$-surgery along a knot $K$ in $S^3$ would imply that $K$ is fibered. Also, we show that $I^\sharp(S_{r}^3(K);\mathbb{Z})$ for any nontrivial $K$ with $r=1,1/2,1/4$ always has $2$-torsion. These two results indicate that the existence of $2$-torsion is expected to be a generic phenomenon for Dehn surgeries along knots. Second, we show that for genus-one knots with nontrivial Alexander polynomials and for unknotting-number-one knots, the unreduced singular instanton knot homology $I^\sharp(S^3,K;\mathbb{Z})$ always has $2$-torsion. Finally, some crucial lemmas that help us demonstrate the existence of $2$-torsion are motivated by analogous results in Heegaard Floer theory, which may be of independent interest. In particular, we show that, for a knot $K$ in $S^3$, if there is a nonzero rational number $r$ such that the dual knot $\widetilde{K}_r$ inside $S^3_r(K)$ is Floer simple, then $S^3_r(K)$ must be an L-space and $K$ must be an L-space knot.
△ Less
Submitted 25 May, 2024;
originally announced May 2024.
-
Classification of Lagrangian translators and Lagrangian self-expanders in $\mathbb{C}^{2}$
Authors:
Zhi Li,
Guoxin Wei
Abstract:
In this paper, we obtain several classification results of $2$-dimensional complete Lagrangian translators and lagrangian self-expanders with constant squared norm $|\vec{H}|^{2}$ of the mean curvature vector in $\mathbb{C}^{2}$ by using a new Omori-Yau type maximum principle which was proved by Chen and Qiu \cite{CQ}. The same idea is also used to give a similar result of Lagrangian $ξ$-translato…
▽ More
In this paper, we obtain several classification results of $2$-dimensional complete Lagrangian translators and lagrangian self-expanders with constant squared norm $|\vec{H}|^{2}$ of the mean curvature vector in $\mathbb{C}^{2}$ by using a new Omori-Yau type maximum principle which was proved by Chen and Qiu \cite{CQ}. The same idea is also used to give a similar result of Lagrangian $ξ$-translators in $\mathbb{C}^{2}$.
△ Less
Submitted 22 May, 2024;
originally announced May 2024.
-
Dynamical behavior and optimal control of a stochastic SAIRS epidemic model with two saturated incidences
Authors:
Xiaohui Zhang,
Zhiming Li,
Shenglong Chen,
Jikai Yang
Abstract:
Stochastic models are widely used to investigate the spread of epidemics in a complex environment. This paper extends a deterministic SAIRS epidemic model to a stochastic case with limited patient capacity and exposure. We first study the dynamical properties of the model under certain conditions, including persistence, extinction, and ergodic. Then, we introduce vaccination and isolation into the…
▽ More
Stochastic models are widely used to investigate the spread of epidemics in a complex environment. This paper extends a deterministic SAIRS epidemic model to a stochastic case with limited patient capacity and exposure. We first study the dynamical properties of the model under certain conditions, including persistence, extinction, and ergodic. Then, we introduce vaccination and isolation into the model as control variables. The optimal control strategies are obtained based on the Pontryagin minimum principle. Finally, numerical simulations are given to illustrate our theoretical results.
△ Less
Submitted 16 May, 2024; v1 submitted 16 May, 2024;
originally announced May 2024.
-
Uniqueness Problem for the Backward Differential Equation of a Continuous-State Branching Process
Authors:
Pei-Sen Li,
Zenghu Li
Abstract:
The distributional properties of a multi-dimensional continuous-state branching process are determined by its cumulant semigroup, which is defined by the backward differential equation. We provide a proof of the assertion of Rhyzhov and Skorokhod (Theory Probab. Appl., 1970) on the uniqueness of the solutions to the equation, which is based on a characterization of the process as the pathwise uniq…
▽ More
The distributional properties of a multi-dimensional continuous-state branching process are determined by its cumulant semigroup, which is defined by the backward differential equation. We provide a proof of the assertion of Rhyzhov and Skorokhod (Theory Probab. Appl., 1970) on the uniqueness of the solutions to the equation, which is based on a characterization of the process as the pathwise unique solution to a system of stochastic equations.
△ Less
Submitted 9 May, 2024;
originally announced May 2024.
-
General harmonic measures for distance-expanding dynamical systems
Authors:
Zhiqiang Li,
Ruicen Qiu
Abstract:
Partially motivated by the study of I. Binder, N. Makarov, and S. Smirnov [BMS03] on dimension spectra of polynomial Cantor sets, we initiate the investigation on some general harmonic measures, inspired by Sullivan's dictionary, for distance-expanding dynamical systems. Let $f\colon X\to X$ be an open distance-expanding map on a compact metric space $(X,ρ)$. A Gromov hyperbolic tile graph $Γ$ ass…
▽ More
Partially motivated by the study of I. Binder, N. Makarov, and S. Smirnov [BMS03] on dimension spectra of polynomial Cantor sets, we initiate the investigation on some general harmonic measures, inspired by Sullivan's dictionary, for distance-expanding dynamical systems. Let $f\colon X\to X$ be an open distance-expanding map on a compact metric space $(X,ρ)$. A Gromov hyperbolic tile graph $Γ$ associated to the dynamical system $(X,f)$ is constructed following the ideas from M. Bonk, D. Meyer [BM17] and P. Haïssinsky, K. M. Pilgrim [HP09]. We consider a class of one-sided random walks associated with $(X,f)$ on $Γ$. They induce a Martin boundary of the tile graph, which may be different from the hyperbolic boundary. We show that the Martin boundary of such a random walk admits a surjection to $X$. We provide a class of examples to show that the surjection may not be a homeomorphism. Such random walks also induce measures on $X$ called harmonic measures. When $ρ$ is a visual metric, we establish an equality between the fractal dimension of the harmonic measure and the asymptotic quantities of the random walk.
△ Less
Submitted 5 May, 2024;
originally announced May 2024.
-
Inexact Adaptive Cubic Regularization Algorithms on Riemannian Manifolds and Application
Authors:
Z. Y. Li,
X. M. Wang
Abstract:
The adaptive cubic regularization algorithm employing the inexact gradient and Hessian is proposed on general Riemannian manifolds, together with the iteration complexity to get an approximate second-order optimality under certain assumptions on accuracies about the inexact gradient and Hessian. The algorithm extends the inexact adaptive cubic regularization algorithm under true gradient in [Math.…
▽ More
The adaptive cubic regularization algorithm employing the inexact gradient and Hessian is proposed on general Riemannian manifolds, together with the iteration complexity to get an approximate second-order optimality under certain assumptions on accuracies about the inexact gradient and Hessian. The algorithm extends the inexact adaptive cubic regularization algorithm under true gradient in [Math. Program., 184(1-2): 35-70, 2020] to more general cases even in Euclidean settings. As an application, the algorithm is applied to solve the joint diagonalization problem on the Stiefel manifold. Numerical experiments illustrate that the algorithm performs better than the inexact trust-region algorithm in [Advances of the neural information processing systems, 31, 2018].
△ Less
Submitted 4 May, 2024;
originally announced May 2024.
-
Omega Theorems for Logarithmic Derivatives of Zeta and L-functions Near the 1-line
Authors:
Zhonghua Li,
Shengbo Zhao
Abstract:
We establish an omega theorem for logarithmic derivative of the Riemann zeta function near the 1-line by resonance method. We show that the inequality $\left| ζ^{\prime}\left(σ_A+it\right)/ζ\left(σ_A+it\right) \right| \geqslant \left(\left(e^A-1\right)/A\right)\log_2 T + O\left(\log_2 T / \log_3 T\right)$ has a solution $t \in [T^β, T]$ for all sufficiently large $T,$ where…
▽ More
We establish an omega theorem for logarithmic derivative of the Riemann zeta function near the 1-line by resonance method. We show that the inequality $\left| ζ^{\prime}\left(σ_A+it\right)/ζ\left(σ_A+it\right) \right| \geqslant \left(\left(e^A-1\right)/A\right)\log_2 T + O\left(\log_2 T / \log_3 T\right)$ has a solution $t \in [T^β, T]$ for all sufficiently large $T,$ where $σ_A = 1 - A / \log_2 {T}.$Furthermore, we give a conditional lower bound for the measure of the set of $t$ for which the logarithmic derivative of the Riemann zeta function is large. Moreover, similar results can be generalized to Dirichlet $L$-functions.
△ Less
Submitted 26 April, 2024;
originally announced April 2024.
-
Finite-time blowup for Keller-Segel-Navier-Stokes system in three dimensions
Authors:
Zexing Li,
Tao Zhou
Abstract:
While finite-time blowup solutions have been studied in depth for the Keller-Segel equation, a fundamental model describing chemotaxis, the existence of finite-time blowup solutions to chemotaxis-fluid models remains largely unexplored. To fill this gap in the literature, we use a quantitative method to directly construct a smooth finite-time blowup solution for the Keller-Segel-Navier-Stokes syst…
▽ More
While finite-time blowup solutions have been studied in depth for the Keller-Segel equation, a fundamental model describing chemotaxis, the existence of finite-time blowup solutions to chemotaxis-fluid models remains largely unexplored. To fill this gap in the literature, we use a quantitative method to directly construct a smooth finite-time blowup solution for the Keller-Segel-Navier-Stokes system with buoyancy in 3D. The heart of the proof is to establish the non-radial finite-codimensional stability of an explicit self-similar blowup solution to 3D Keller-Segel equation with the abstract semigroup tool from [Merle-Raphaël-Rodnianski-Szeftel, 2022], which partially generalizes the radial stability result [Glogić-Schörkhuber, 2024] to the non-radial setting. Additionally, we introduce a robust localization argument to find blowup solutions with non-negative density and finite mass.
△ Less
Submitted 26 April, 2024;
originally announced April 2024.
-
The Grothendieck group of a triangulated category
Authors:
Xiao-Wu Chen,
Zhi-Wei Li,
Xiao** Zhang,
Zhibing Zhao
Abstract:
We give a direct proof of the following known result: the Grothendieck group of a triangulated category with a silting subcategory is isomorphic to the split Grothendieck group of the silting subcategory.
We give a direct proof of the following known result: the Grothendieck group of a triangulated category with a silting subcategory is isomorphic to the split Grothendieck group of the silting subcategory.
△ Less
Submitted 25 April, 2024; v1 submitted 24 April, 2024;
originally announced April 2024.
-
Bifurcation for the Lotka-Volterra competition model
Authors:
Zaizheng Li,
Susanna Terracini
Abstract:
We analyze the bifurcation phenomenon for the following two-component competition system:
\begin{equation*}
\begin{cases}
-Δu_1=μu_1(1-u_1)-βαu_1u_2,& \text{in}\ B_1\subset \mathbb{R}^N,
-Δu_2=σu_2(1-u_2)-βγu_1u_2,& \text{in}\ B_1\subset \mathbb{R}^N,
\frac{\partial u_1}{\partial n}= \frac{\partial u_2}{\partial n} =0,&\text{on}\ \partial B_1,
\end{cases}
\end{equation*}
where…
▽ More
We analyze the bifurcation phenomenon for the following two-component competition system:
\begin{equation*}
\begin{cases}
-Δu_1=μu_1(1-u_1)-βαu_1u_2,& \text{in}\ B_1\subset \mathbb{R}^N,
-Δu_2=σu_2(1-u_2)-βγu_1u_2,& \text{in}\ B_1\subset \mathbb{R}^N,
\frac{\partial u_1}{\partial n}= \frac{\partial u_2}{\partial n} =0,&\text{on}\ \partial B_1,
\end{cases}
\end{equation*}
where $N\ge 2$, $α>γ>0$, $σ\geμ>0$ and $β>\fracσγ$. More precisely, treating $β$ as the bifurcation parameter, we initially perform a local bifurcation analysis around the positive constant solutions, obtaining precise information of where bifurcation could occur, and determine the direction of bifurcation. As a byproduct, the instability of the constant solution is provided. Furthermore, we extend our exploration to the global bifurcation analysis.
Lastly, under the condition $σ=μ$, we demonstrate the limiting configuration on each bifurcation branch as the competition rate $β\rightarrow+\infty$.
△ Less
Submitted 20 April, 2024;
originally announced April 2024.
-
Quantum Assisted Stochastic Economic Dispatch for Renewables Rich Power Systems
Authors:
Xutao Han,
Zhiyi Li,
Yue Xu
Abstract:
Considering widely dispersed uncertain renewable energy sources (RESs), scenario-based stochastic optimization is an effective method for the economic dispatch of renewables-rich power systems. However, on classic computers, to simulate RES uncertainties with high accuracy, the massive scenario generation is very time-consuming, and the pertinent optimization problem is high-dimensional NP-hard mi…
▽ More
Considering widely dispersed uncertain renewable energy sources (RESs), scenario-based stochastic optimization is an effective method for the economic dispatch of renewables-rich power systems. However, on classic computers, to simulate RES uncertainties with high accuracy, the massive scenario generation is very time-consuming, and the pertinent optimization problem is high-dimensional NP-hard mixed-integer programming. To this end, we design a quantum-assisted scheme to accelerate the stochastic optimization for power system economic dispatch without losing accuracy. We first propose the unified quantum amplitude estimation to characterize RES uncertainties, thereby generating massive scenarios by a few qubits to reduce state variables. Then, strong Benders cuts corresponding to some specific scenarios are selected to control the solution scale of Benders master problem in the iterative process, all of which are implemented by customized quantum approximation optimization algorithms. Finally, we perform numerical experiments on the modified IEEE 6-bus system to test the designed scheme.
△ Less
Submitted 15 April, 2024;
originally announced April 2024.
-
A Novel State-Centric Necessary Condition for Time-Optimal Control of Controllable Linear Systems Based on Augmented Switching Laws
Authors:
Yunan Wang,
Chuxiong Hu,
Yujie Lin,
Zeyang Li,
Shize Lin,
Suqin He
Abstract:
Most existing necessary conditions for optimal control based on adjoining methods require both state information and costate information, yet the lack of costates for a given feasible trajectory in practice impedes the determination of optimality. This paper establishes a novel theoretical framework for time-optimal control of controllable linear systems, proposing the augmented switching law that…
▽ More
Most existing necessary conditions for optimal control based on adjoining methods require both state information and costate information, yet the lack of costates for a given feasible trajectory in practice impedes the determination of optimality. This paper establishes a novel theoretical framework for time-optimal control of controllable linear systems, proposing the augmented switching law that represents the input control and the feasibility in a compact form. Given a feasible trajectory, the disturbed trajectory under the constraints of augmented switching law is guaranteed to be feasible, resulting in a novel state-centric necessary condition without dependence on costate information. A first order necessary condition is proposed that the Jacobian matrix of the augmented switching law is not full row rank, which also results in an approach to optimizing a given feasible trajectory further. The proposed necessary condition is applied to the chain-of-integrators systems with full box constraints, contributing to some conclusions challenging to reason by traditional costate-based necessary conditions.
△ Less
Submitted 13 April, 2024;
originally announced April 2024.
-
On testing mean of high dimensional compositional data
Authors:
Qianqian Jiang,
Wenbo Li,
Zeng Li
Abstract:
We investigate one/two-sample mean tests for high-dimensional compositional data when the number of variables is comparable with the sample size, as commonly encountered in microbiome research. Existing methods mainly focus on max-type test statistics which are suitable for detecting sparse signals. However, in this paper, we introduce a novel approach using sum-type test statistics which are capa…
▽ More
We investigate one/two-sample mean tests for high-dimensional compositional data when the number of variables is comparable with the sample size, as commonly encountered in microbiome research. Existing methods mainly focus on max-type test statistics which are suitable for detecting sparse signals. However, in this paper, we introduce a novel approach using sum-type test statistics which are capable of detecting weak but dense signals. By establishing the asymptotic independence between the max-type and sum-type test statistics, we further propose a combined max-sum type test to cover both cases. We derived the asymptotic null distributions and power functions for these test statistics. Simulation studies demonstrate the superiority of our max-sum type test statistics which exhibit robust performance regardless of data sparsity.
△ Less
Submitted 12 April, 2024;
originally announced April 2024.
-
Thermodynamic formalism for subsystems of expanding Thurston maps II
Authors:
Zhiqiang Li,
Xianghui Shi
Abstract:
Expanding Thurston maps were introduced by M. Bonk and D. Meyer with motivation from complex dynamics and Cannon's conjecture from geometric group theory via Sullivan's dictionary. In this paper, we study subsystems of expanding Thurston maps motivated via Sullivan's dictionary as analogs of some subgroups of Kleinian groups. We prove the uniqueness and various ergodic properties of the equilibriu…
▽ More
Expanding Thurston maps were introduced by M. Bonk and D. Meyer with motivation from complex dynamics and Cannon's conjecture from geometric group theory via Sullivan's dictionary. In this paper, we study subsystems of expanding Thurston maps motivated via Sullivan's dictionary as analogs of some subgroups of Kleinian groups. We prove the uniqueness and various ergodic properties of the equilibrium states for strongly primitive subsystems and real-valued Hölder continuous potentials, and establish the equidistribution of preimages of subsystems with respect to the equilibrium states. Here, the sphere $S^{2}$ is equipped with a natural metric, called a visual metric, introduced by M. Bonk and D. Meyer. As a result, for strongly primitive subsystems of expanding Thurston maps without periodic critical points, we obtain a level-$2$ large deviation principle for Birkhoff averages and iterated preimages.
△ Less
Submitted 10 April, 2024;
originally announced April 2024.
-
On the robustness of double-word addition algorithms
Authors:
Yuanyuan Yang,
XinYu Lyu,
Sida He,
Xiliang Lu,
Ji Qi,
Zhihao Li
Abstract:
We demonstrate that, even when there are moderate overlaps in the inputs of sloppy or accurate double-word addition algorithms in the QD library, these algorithms still guarantee error bounds of $O(u^2(|a|+|b|))$ in faithful rounding. Furthermore, the accurate algorithm can achieve a relative error bound of $O(u^2)$ in the presence of moderate overlaps in the inputs when rounding function is round…
▽ More
We demonstrate that, even when there are moderate overlaps in the inputs of sloppy or accurate double-word addition algorithms in the QD library, these algorithms still guarantee error bounds of $O(u^2(|a|+|b|))$ in faithful rounding. Furthermore, the accurate algorithm can achieve a relative error bound of $O(u^2)$ in the presence of moderate overlaps in the inputs when rounding function is round-to-nearest. The relative error bound also holds in directed rounding, but certain additional conditions are required. Consequently, in double-word multiplication and addition operations, we can safely omit the normalization step of double-word multiplication and replace the accurate addition algorithm with the sloppy one. Numerical experiments confirm that this approach nearly doubles the performance of double-word multiplication and addition operations, with negligible precision costs. Moreover, in directed rounding mode, the signs of the errors of the two algorithms are consistent with the rounding direction, even in the presence of input overlap. This allows us to avoid changing the rounding mode in interval arithmetic. We also prove that the relative error bound of the sloppy addition algorithm exceeds $3u^2$ if and only if the input meets the condition of Sterbenz's Lemma when rounding to nearest. These findings suggest that the two addition algorithms are more robust than previously believed.
△ Less
Submitted 10 April, 2024; v1 submitted 8 April, 2024;
originally announced April 2024.
-
Implicit Bias of AdamW: $\ell_\infty$ Norm Constrained Optimization
Authors:
Shuo Xie,
Zhiyuan Li
Abstract:
Adam with decoupled weight decay, also known as AdamW, is widely acclaimed for its superior performance in language modeling tasks, surpassing Adam with $\ell_2$ regularization in terms of generalization and optimization. However, this advantage is not theoretically well-understood. One challenge here is that though intuitively Adam with $\ell_2$ regularization optimizes the $\ell_2$ regularized l…
▽ More
Adam with decoupled weight decay, also known as AdamW, is widely acclaimed for its superior performance in language modeling tasks, surpassing Adam with $\ell_2$ regularization in terms of generalization and optimization. However, this advantage is not theoretically well-understood. One challenge here is that though intuitively Adam with $\ell_2$ regularization optimizes the $\ell_2$ regularized loss, it is not clear if AdamW optimizes a specific objective. In this work, we make progress toward understanding the benefit of AdamW by showing that it implicitly performs constrained optimization. More concretely, we show in the full-batch setting, if AdamW converges with any non-increasing learning rate schedule whose partial sum diverges, it must converge to a KKT point of the original loss under the constraint that the $\ell_\infty$ norm of the parameter is bounded by the inverse of the weight decay factor. This result is built on the observation that Adam can be viewed as a smoothed version of SignGD, which is the normalized steepest descent with respect to $\ell_\infty$ norm, and a surprising connection between normalized steepest descent with weight decay and Frank-Wolfe.
△ Less
Submitted 5 April, 2024;
originally announced April 2024.
-
Chattering Phenomena in Time-Optimal Control for High-Order Chain-of-Integrators Systems with Full State Constraints
Authors:
Yunan Wang,
Chuxiong Hu,
Zeyang Li,
Yujie Lin,
Shize Lin,
Suqin He
Abstract:
Time-optimal control for high-order chain-of-integrators systems with full state constraints remains an open and challenging problem in the optimal control theory domain. The behaviors of optimal control in high-order problems lack precision characterization, even where the existence of the chattering phenomenon remains unknown and overlooked. This paper establishes a theoretical framework for cha…
▽ More
Time-optimal control for high-order chain-of-integrators systems with full state constraints remains an open and challenging problem in the optimal control theory domain. The behaviors of optimal control in high-order problems lack precision characterization, even where the existence of the chattering phenomenon remains unknown and overlooked. This paper establishes a theoretical framework for chattering phenomena in the considered problem, providing novel findings on the uniqueness of state constraints inducing chattering, the upper bound on switching times in an unconstrained arc during chattering, and the convergence of states and costates to the chattering limit point. For the first time, this paper proves the existence of the chattering phenomenon in the considered problem. The chattering optimal control for 4th order problems with velocity constraints is precisely solved, providing an approach to plan strictly time-optimal snap-limited trajectories. Other cases of order $n\leq4$ are proved not to allow chattering. The conclusions correct the longstanding misconception in the industry regarding the time-optimality of S-shaped trajectories with minimal switching times.
△ Less
Submitted 29 March, 2024; v1 submitted 26 March, 2024;
originally announced March 2024.
-
A geometric realization of Koszul duality for graded gentle algebras
Authors:
Zixu Li,
Yu Qiu,
Yu Zhou
Abstract:
We show that the Koszul functor of a homologically smooth graded gentle algebra can be realized as the half rotation in a geometric model. As a byproduct, we prove an intersection-dim formula involving the Koszul functor.
We show that the Koszul functor of a homologically smooth graded gentle algebra can be realized as the half rotation in a geometric model. As a byproduct, we prove an intersection-dim formula involving the Koszul functor.
△ Less
Submitted 22 March, 2024;
originally announced March 2024.
-
Some evaluations of interpolated multiple zeta values and interpolated multiple $t$-values
Authors:
Zhonghua Li,
Zhenlu Wang
Abstract:
In this paper, we study the evaluation formulas of the interpolated multiple zeta values and the interpolated multiple $t$-values with indices involving $1,2,3$. To get these evaluations, we derive the corresponding algebraic relations in the harmonic algebra.
In this paper, we study the evaluation formulas of the interpolated multiple zeta values and the interpolated multiple $t$-values with indices involving $1,2,3$. To get these evaluations, we derive the corresponding algebraic relations in the harmonic algebra.
△ Less
Submitted 22 April, 2024; v1 submitted 21 March, 2024;
originally announced March 2024.
-
Diffusion Model for Data-Driven Black-Box Optimization
Authors:
Zihao Li,
Hui Yuan,
Kaixuan Huang,
Chengzhuo Ni,
Yinyu Ye,
Minshuo Chen,
Mengdi Wang
Abstract:
Generative AI has redefined artificial intelligence, enabling the creation of innovative content and customized solutions that drive business practices into a new era of efficiency and creativity. In this paper, we focus on diffusion models, a powerful generative AI technology, and investigate their potential for black-box optimization over complex structured variables. Consider the practical scen…
▽ More
Generative AI has redefined artificial intelligence, enabling the creation of innovative content and customized solutions that drive business practices into a new era of efficiency and creativity. In this paper, we focus on diffusion models, a powerful generative AI technology, and investigate their potential for black-box optimization over complex structured variables. Consider the practical scenario where one wants to optimize some structured design in a high-dimensional space, based on massive unlabeled data (representing design variables) and a small labeled dataset. We study two practical types of labels: 1) noisy measurements of a real-valued reward function and 2) human preference based on pairwise comparisons. The goal is to generate new designs that are near-optimal and preserve the designed latent structures. Our proposed method reformulates the design optimization problem into a conditional sampling problem, which allows us to leverage the power of diffusion models for modeling complex distributions. In particular, we propose a reward-directed conditional diffusion model, to be trained on the mixed data, for sampling a near-optimal solution conditioned on high predicted rewards. Theoretically, we establish sub-optimality error bounds for the generated designs. The sub-optimality gap nearly matches the optimal guarantee in off-policy bandits, demonstrating the efficiency of reward-directed diffusion models for black-box optimization. Moreover, when the data admits a low-dimensional latent subspace structure, our model efficiently generates high-fidelity designs that closely respect the latent structure. We provide empirical experiments validating our model in decision-making and content-creation tasks.
△ Less
Submitted 19 March, 2024;
originally announced March 2024.
-
Frequency-Reactive Power Optimization Strategy of Grid-forming Offshore Wind Farm Using DRU-HVDC Transmission
Authors:
Zhekai Li,
Kun Han,
Xu Cai,
Renxin Yang,
Haotian Yu,
Kepeng Xia,
Lulu Liu
Abstract:
The diode rectifier unit-based high voltage direct current (DRU-HVDC) transmission with grid-forming (GFM) wind turbine is becoming a promising scheme for offshore wind farm(OWF) integration due to its high reliability and low cost. In this scheme, the AC network of the OWF and the DRU has completely different synchronization mechanisms and power flow characteristics from the traditional power sys…
▽ More
The diode rectifier unit-based high voltage direct current (DRU-HVDC) transmission with grid-forming (GFM) wind turbine is becoming a promising scheme for offshore wind farm(OWF) integration due to its high reliability and low cost. In this scheme, the AC network of the OWF and the DRU has completely different synchronization mechanisms and power flow characteristics from the traditional power system. To optimize the power flow and reduce the net loss, this paper carries out the power flow modeling and optimization analysis for the DRU-HVDC transmission system with grid-forming OWFs. The influence of the DRU and the GFM wind turbines on the power flow of the system is analyzed. On this basis, improved constraint conditions are proposed and an optimal power flow (OPF) method is established. This method can minimize the power loss by adjusting the reactive power output of each wind turbine and internal network frequency. Finally, based on MATLAB, this paper uses YALMIP toolkit and CPLEX mathematical solver to realize the programming solution of the OPF model proposed in this paper. The results show that the proposed optimization strategy can effectively reduce the power loss of the entire OWF and the transmission system with an optimization ratio of network losses exceeding 25.3%.
△ Less
Submitted 16 March, 2024;
originally announced March 2024.
-
Necessary conditions for turnpike property for generalized linear-quadratic problems
Authors:
Roberto Guglielmi,
Zhuqing Li
Abstract:
In this paper, we develop several necessary conditions of turnpike property for generalizaid linear-quadratic (LQ) optimal control problem in infinite dimensional setting. The term 'generalized' here means that both quadratic and linear terms are considered in the running cost. The turnpike property reflects the fact that over a sufficiently large time horizon, the optimal trajectories and optimal…
▽ More
In this paper, we develop several necessary conditions of turnpike property for generalizaid linear-quadratic (LQ) optimal control problem in infinite dimensional setting. The term 'generalized' here means that both quadratic and linear terms are considered in the running cost. The turnpike property reflects the fact that over a sufficiently large time horizon, the optimal trajectories and optimal controls stay for most of the time close to a steady state of the system. We show that the turnpike property is strongly connected to certain system theoretical properties of the control system. We provide suitable conditions to characterize the turnpike property in terms of the detectability and stabilizability of the system. Subsequently, we show the equivalence between the exponential turnpike property for generalized LQ and LQ optimal control problems.
△ Less
Submitted 13 March, 2024;
originally announced March 2024.
-
Regularized DeepIV with Model Selection
Authors:
Zihao Li,
Hui Lan,
Vasilis Syrgkanis,
Mengdi Wang,
Masatoshi Uehara
Abstract:
In this paper, we study nonparametric estimation of instrumental variable (IV) regressions. While recent advancements in machine learning have introduced flexible methods for IV estimation, they often encounter one or more of the following limitations: (1) restricting the IV regression to be uniquely identified; (2) requiring minimax computation oracle, which is highly unstable in practice; (3) ab…
▽ More
In this paper, we study nonparametric estimation of instrumental variable (IV) regressions. While recent advancements in machine learning have introduced flexible methods for IV estimation, they often encounter one or more of the following limitations: (1) restricting the IV regression to be uniquely identified; (2) requiring minimax computation oracle, which is highly unstable in practice; (3) absence of model selection procedure. In this paper, we present the first method and analysis that can avoid all three limitations, while still enabling general function approximation. Specifically, we propose a minimax-oracle-free method called Regularized DeepIV (RDIV) regression that can converge to the least-norm IV solution. Our method consists of two stages: first, we learn the conditional distribution of covariates, and by utilizing the learned distribution, we learn the estimator by minimizing a Tikhonov-regularized loss function. We further show that our method allows model selection procedures that can achieve the oracle rates in the misspecified regime. When extended to an iterative estimator, our method matches the current state-of-the-art convergence rate. Our method is a Tikhonov regularized variant of the popular DeepIV method with a non-parametric MLE first-stage estimator, and our results provide the first rigorous guarantees for this empirically used method, showcasing the importance of regularization which was absent from the original work.
△ Less
Submitted 7 March, 2024;
originally announced March 2024.
-
Metrical theory of power-2-decaying Gauss-like expansion
Authors:
Zhihui Li,
Xin Liao,
Dingding Yu
Abstract:
Each $x\in (0,1]$ can be uniquely expanded as a power-2-decaying Gauss-like expansion, in the form of \begin{equation*} x=\sum_{i=1}^{\infty}2^{-(d_1(x)+d_2(x)+\cdots+d_i(x))},\qquad d_i(x)\in \mathbb{N}. \end{equation*} Let $φ:\mathbb{N}\to \mathbb{R}^{+}$ be an arbitrary positive function. We are interested in the size of the set…
▽ More
Each $x\in (0,1]$ can be uniquely expanded as a power-2-decaying Gauss-like expansion, in the form of \begin{equation*} x=\sum_{i=1}^{\infty}2^{-(d_1(x)+d_2(x)+\cdots+d_i(x))},\qquad d_i(x)\in \mathbb{N}. \end{equation*} Let $φ:\mathbb{N}\to \mathbb{R}^{+}$ be an arbitrary positive function. We are interested in the size of the set $$F(φ)=\{x\in (0,1]:d_n(x)\ge φ(n)~~\text{for infinity many}~n\}.$$ We prove a Borel-Bernstein theorem on the zero-one law of the Lebesgue measure of $F(φ)$. When the Lebesgue measure of $F(φ)$ is zero, we calculate its Hausdorff dimension. Furthermore, we analyse the growth rate of the maximal digit among the first $n$ digits from probability and multifractal perspectives.
△ Less
Submitted 29 May, 2024; v1 submitted 6 March, 2024;
originally announced March 2024.
-
HOSCF: Efficient decoupling algorithms for finding the best rank-one approximation of higher-order tensors
Authors:
Chuanfu Xiao,
Zeyu Li,
Chao Yang
Abstract:
Best rank-one approximation is one of the most fundamental tasks in tensor computation. In order to fully exploit modern multi-core parallel computers, it is necessary to develop decoupling algorithms for computing the best rank-one approximation of higher-order tensors at large scales. In this paper, we first build a bridge between the rank-one approximation of tensors and the eigenvector-depende…
▽ More
Best rank-one approximation is one of the most fundamental tasks in tensor computation. In order to fully exploit modern multi-core parallel computers, it is necessary to develop decoupling algorithms for computing the best rank-one approximation of higher-order tensors at large scales. In this paper, we first build a bridge between the rank-one approximation of tensors and the eigenvector-dependent nonlinear eigenvalue problem (NEPv), and then develop an efficient decoupling algorithm, namely the higher-order self-consistent field (HOSCF) algorithm, inspired by the famous self-consistent field (SCF) iteration frequently used in computational chemistry. The convergence theory of the HOSCF algorithm and an estimation of the convergence speed are further presented. In addition, we propose an improved HOSCF (iHOSCF) algorithm that incorporates the Rayleigh quotient iteration, which can significantly accelerate the convergence of HOSCF. Numerical experiments show that the proposed algorithms can efficiently converge to the best rank-one approximation of both synthetic and real-world tensors and can scale with high parallel scalability on a modern parallel computer.
△ Less
Submitted 4 March, 2024;
originally announced March 2024.
-
Rotating spirals for three-component competition systems
Authors:
Zaizheng Li,
Susanna Terracini
Abstract:
We investigate the existence of rotating spirals for three-component competition-diffusion systems in $B_1\subset \mathbb{R}^2$:
\begin{equation*}
\begin{cases}
\partial_tu_1-Δu_1=f(u_1)-βαu_1u_2-βγu_1 u_3,& \text{in}\ B_1\times \mathbb{R}^+,
\partial_tu_2-Δu_2=f(u_2)-βγu_1u_2-βαu_2 u_3,& \text{in}\ B_1\times \mathbb{R}^+,
\partial_tu_3-Δu_3=f(u_3)-βαu_1u_3-βγu_2 u_3,& \text{in}\ B_1\tim…
▽ More
We investigate the existence of rotating spirals for three-component competition-diffusion systems in $B_1\subset \mathbb{R}^2$:
\begin{equation*}
\begin{cases}
\partial_tu_1-Δu_1=f(u_1)-βαu_1u_2-βγu_1 u_3,& \text{in}\ B_1\times \mathbb{R}^+,
\partial_tu_2-Δu_2=f(u_2)-βγu_1u_2-βαu_2 u_3,& \text{in}\ B_1\times \mathbb{R}^+,
\partial_tu_3-Δu_3=f(u_3)-βαu_1u_3-βγu_2 u_3,& \text{in}\ B_1\times \mathbb{R}^+,
u_i(\textbf{x},0)=u_{i,0}(\textbf{x}), i=1,2,3, &\text{in} \ B_1,
\end{cases}
\end{equation*}
with Neumann or Dirichlet boundary conditions, where $f(s)=μs(1-s)$, $μ, β>0$, $α>γ>0$. For the Neumann problem, we establish the existence of rotating spirals by applying the multi-parameter bifurcation theorem. As a byproduct, the instability of the constant positive solution is proved. In addition, for the non-homogeneous Dirichlet problem, the Rothe fixed point theorem is employed to prove the existence of rotating spirals.
△ Less
Submitted 1 March, 2024;
originally announced March 2024.
-
Latent Neural PDE Solver: a reduced-order modelling framework for partial differential equations
Authors:
Zijie Li,
Saurabh Patil,
Francis Ogoke,
Dule Shu,
Wilson Zhen,
Michael Schneier,
John R. Buchanan, Jr.,
Amir Barati Farimani
Abstract:
Neural networks have shown promising potential in accelerating the numerical simulation of systems governed by partial differential equations (PDEs). Different from many existing neural network surrogates operating on high-dimensional discretized fields, we propose to learn the dynamics of the system in the latent space with much coarser discretizations. In our proposed framework - Latent Neural P…
▽ More
Neural networks have shown promising potential in accelerating the numerical simulation of systems governed by partial differential equations (PDEs). Different from many existing neural network surrogates operating on high-dimensional discretized fields, we propose to learn the dynamics of the system in the latent space with much coarser discretizations. In our proposed framework - Latent Neural PDE Solver (LNS), a non-linear autoencoder is first trained to project the full-order representation of the system onto the mesh-reduced space, then a temporal model is trained to predict the future state in this mesh-reduced space. This reduction process simplifies the training of the temporal model by greatly reducing the computational cost accompanying a fine discretization. We study the capability of the proposed framework and several other popular neural PDE solvers on various types of systems including single-phase and multi-phase flows along with varying system parameters. We showcase that it has competitive accuracy and efficiency compared to the neural PDE solver that operates on full-order space.
△ Less
Submitted 27 February, 2024;
originally announced February 2024.
-
Mean field analysis of interacting network model with jumps
Authors:
Zeqian Li
Abstract:
This paper considers an $n$-particle jump-diffusion system with mean filed interaction, where the coefficients are locally Lipschitz continuous. We address the convergence as $n\to\infty$ of the empirical measure of the jump-diffusions to the solution of a deterministic McKean-Vlasov equation. The strong well-posedness of the associated McKean-Vlasov equation and a corresponding propagation of cha…
▽ More
This paper considers an $n$-particle jump-diffusion system with mean filed interaction, where the coefficients are locally Lipschitz continuous. We address the convergence as $n\to\infty$ of the empirical measure of the jump-diffusions to the solution of a deterministic McKean-Vlasov equation. The strong well-posedness of the associated McKean-Vlasov equation and a corresponding propagation of chaos result are proven. In particular, we provide also precise estimates of the convergence speed with respect to a Wasserstein-like metric.
△ Less
Submitted 25 February, 2024;
originally announced February 2024.
-
The Umeyama algorithm for matching correlated Gaussian geometric models in the low-dimensional regime
Authors:
Shuyang Gong,
Zhangsong Li
Abstract:
Motivated by the problem of matching two correlated random geometric graphs, we study the problem of matching two Gaussian geometric models correlated through a latent node permutation. Specifically, given an unknown permutation $π^*$ on $\{1,\ldots,n\}$ and given $n$ i.i.d. pairs of correlated Gaussian vectors $\{X_{π^*(i)},Y_i\}$ in $\mathbb{R}^d$ with noise parameter $σ$, we consider two types…
▽ More
Motivated by the problem of matching two correlated random geometric graphs, we study the problem of matching two Gaussian geometric models correlated through a latent node permutation. Specifically, given an unknown permutation $π^*$ on $\{1,\ldots,n\}$ and given $n$ i.i.d. pairs of correlated Gaussian vectors $\{X_{π^*(i)},Y_i\}$ in $\mathbb{R}^d$ with noise parameter $σ$, we consider two types of (correlated) weighted complete graphs with edge weights given by $A_{i,j}=\langle X_i,X_j \rangle$, $B_{i,j}=\langle Y_i,Y_j \rangle$. The goal is to recover the hidden vertex correspondence $π^*$ based on the observed matrices $A$ and $B$. For the low-dimensional regime where $d=O(\log n)$, Wang, Wu, Xu, and Yolou [WWXY22+] established the information thresholds for exact and almost exact recovery in matching correlated Gaussian geometric models. They also conducted numerical experiments for the classical Umeyama algorithm. In our work, we prove that this algorithm achieves exact recovery of $π^*$ when the noise parameter $σ=o(d^{-3}n^{-2/d})$, and almost exact recovery when $σ=o(d^{-3}n^{-1/d})$. Our results approach the information thresholds up to a $\operatorname{poly}(d)$ factor in the low-dimensional regime.
△ Less
Submitted 22 February, 2024;
originally announced February 2024.
-
Quadratic Spinor Polynomials with Infinitely Many Factorizations
Authors:
Zijia Li,
Hans-Peter Schröcker,
Johannes Siegele,
Daren A. Thimm
Abstract:
Spinor polynomials are polynomials with coefficients in the even sub-algebra of conformal geometric algebra whose norm polynomial is real. They describe rational conformal motions. Factorizations of spinor polynomial corresponds to the decomposition of the rational motion into elementary motions. Generic spinor polynomials allow for a finite number of factorizations. We present two examples of qua…
▽ More
Spinor polynomials are polynomials with coefficients in the even sub-algebra of conformal geometric algebra whose norm polynomial is real. They describe rational conformal motions. Factorizations of spinor polynomial corresponds to the decomposition of the rational motion into elementary motions. Generic spinor polynomials allow for a finite number of factorizations. We present two examples of quadratic spinor polynomials that admit infinitely many factorizations. One of them, the circular translation, is well-known. The other one has only been introduced recently but in a different context. We not only compute all factorizations of these conformal motions but also interpret them geometrically.
△ Less
Submitted 22 February, 2024;
originally announced February 2024.
