-
The structure of deformed double complexes on the Iwasawa manifold
Authors:
Yan Hu,
Wei Xia
Abstract:
The Kuranishi family of the Iwasawa manifold give rise naturally to a family of (deformed) double complexes. By using the structure theorem of double complexes due to Stelzig and Qi-Khovanov, we show there are exactly $3$ isomorphism types in this family and determine explicitly structures of these $3$ types. As an application, we computed the Frölicher spectral sequence for each fiber in the Kura…
▽ More
The Kuranishi family of the Iwasawa manifold give rise naturally to a family of (deformed) double complexes. By using the structure theorem of double complexes due to Stelzig and Qi-Khovanov, we show there are exactly $3$ isomorphism types in this family and determine explicitly structures of these $3$ types. As an application, we computed the Frölicher spectral sequence for each fiber in the Kuranishi family of the Iwasawa manifold.
△ Less
Submitted 3 July, 2024;
originally announced July 2024.
-
On moduli spaces of canonical threefolds with small genera and minimal volumes
Authors:
Meng Chen,
Yong Hu,
Chen Jiang
Abstract:
We prove that the canonical model of a $3$-fold of general type with geometric genus $2$ and with minimal canonical volume $\frac{1}{3}$ must be a hypersurface of degree $16$ in $\mathbb{P}(1,1,2,3,8)$, which gives an explicit description of its canonical ring. This implies that the coarse moduli space $\mathcal{M}_{\frac{1}{3}, 2}$, parametrizing all canonical $3$-folds with canonical volume…
▽ More
We prove that the canonical model of a $3$-fold of general type with geometric genus $2$ and with minimal canonical volume $\frac{1}{3}$ must be a hypersurface of degree $16$ in $\mathbb{P}(1,1,2,3,8)$, which gives an explicit description of its canonical ring. This implies that the coarse moduli space $\mathcal{M}_{\frac{1}{3}, 2}$, parametrizing all canonical $3$-folds with canonical volume $\frac{1}{3}$ and geometric genus $2$, is an irreducible variety of dimension $189$. Parallel studies show that $\mathcal{M}_{1, 3}$ is irreducible as well and is of dimension $236$, and that $\mathcal{M}_{2, 4}$ is irreducible and is of dimension $270$. As being conceived, every member in these 3 families is simply connected. Additionally, our method yields the expected Noether inequality $\textrm{Vol}>\frac{4}{3}p_g-\frac{10}{3}$ for $3$-folds of general type with $p_g=5$.
△ Less
Submitted 1 July, 2024;
originally announced July 2024.
-
Global solutions and uniform convergence stability for compressible Navier-Stokes equations with Oldroyd-type constitutive law
Authors:
Sébastien Boyaval,
Yuxi Hu,
Na Wang
Abstract:
We consider one dimensional isentropic compressible Navier-Stokes equations with Oldroyd-type constitutive law. By establishing uniform a priori estimates (with respect to re-laxation time), we show global existence of smooth solutions with small initial data. Moreover,we get global-in-time convergence of the system towards the classical isentropic compressible Navier-Stokes equations.
We consider one dimensional isentropic compressible Navier-Stokes equations with Oldroyd-type constitutive law. By establishing uniform a priori estimates (with respect to re-laxation time), we show global existence of smooth solutions with small initial data. Moreover,we get global-in-time convergence of the system towards the classical isentropic compressible Navier-Stokes equations.
△ Less
Submitted 21 June, 2024;
originally announced June 2024.
-
Non-central limit of densities of some functionals of Gaussian processes
Authors:
Solesne Bourguin,
Thanh Dang,
Yaozhong Hu
Abstract:
We establish the convergence of the densities of a sequence of nonlinear functionals of an underlying Gaussian process to the density of a Gamma distribution. We provide precise estimates on the distance between densities while develo** the techniques of Malliavin calculus and Stein's method suitable to Gamma approximation. We first focus our study on the case of random variables living in a fix…
▽ More
We establish the convergence of the densities of a sequence of nonlinear functionals of an underlying Gaussian process to the density of a Gamma distribution. We provide precise estimates on the distance between densities while develo** the techniques of Malliavin calculus and Stein's method suitable to Gamma approximation. We first focus our study on the case of random variables living in a fixed Wiener chaos of an even order for which the bound for the difference of the densities can be dominated by a linear combination of moments up to order four. We then study the case of general Gaussian functionals with possibly infinite chaos expansion. Finally, we provide two applications of our results, namely the limit of random variables living in the second Wiener chaos, and the limit of sums of independent Pareto distributed random variables.
△ Less
Submitted 18 June, 2024;
originally announced June 2024.
-
CLT for Generalized Linear Spectral Statistics of High-dimensional Sample Covariance Matrices and Applications
Authors:
Yanlin Hu,
Qing Yang,
Xiao Han
Abstract:
In this paper, we introduce the $\mathbf{G}$eneralized $\mathbf{L}$inear $\mathbf{S}$pectral $\mathbf{S}$tatistics (GLSS) of a high-dimensional sample covariance matrix $\mathbf{S}_n$, denoted as $\operatorname{tr}f(\mathbf{S}_n)\mathbf{B}_n$, which effectively captures distinct spectral properties of $\mathbf{S}_n$ by involving an ancillary matrix $\mathbf{B}_n$ and a test function $f$. The joint…
▽ More
In this paper, we introduce the $\mathbf{G}$eneralized $\mathbf{L}$inear $\mathbf{S}$pectral $\mathbf{S}$tatistics (GLSS) of a high-dimensional sample covariance matrix $\mathbf{S}_n$, denoted as $\operatorname{tr}f(\mathbf{S}_n)\mathbf{B}_n$, which effectively captures distinct spectral properties of $\mathbf{S}_n$ by involving an ancillary matrix $\mathbf{B}_n$ and a test function $f$. The joint asymptotic normality of GLSS associated with different test functions is established under weak assumptions on $\mathbf{B}_n$ and the underlying distribution, when the dimension $n$ and sample size $N$ are comparable. Specifically, we allow the rank of $\mathbf{B}_n$ to diverge with $n$. The convergence rate of GLSS is determined by $\sqrt{{N}/{\operatorname{rank}(\mathbf{B}_n)}}$. As a natural application, we propose a novel approach based on GLSS for hypothesis testing on eigenspaces of spiked covariance matrices. The theoretical accuracy of the results established for GLSS and the advantages of the newly suggested testing procedure are demonstrated through various numerical studies.
△ Less
Submitted 9 June, 2024;
originally announced June 2024.
-
Stochastic Bilevel Optimization with Lower-Level Contextual Markov Decision Processes
Authors:
Vinzenz Thoma,
Barna Pasztor,
Andreas Krause,
Giorgia Ramponi,
Yifan Hu
Abstract:
In various applications, the optimal policy in a strategic decision-making problem depends both on the environmental configuration and exogenous events. For these settings, we introduce Bilevel Optimization with Contextual Markov Decision Processes (BO-CMDP), a stochastic bilevel decision-making model, where the lower level consists of solving a contextual Markov Decision Process (CMDP). BO-CMDP c…
▽ More
In various applications, the optimal policy in a strategic decision-making problem depends both on the environmental configuration and exogenous events. For these settings, we introduce Bilevel Optimization with Contextual Markov Decision Processes (BO-CMDP), a stochastic bilevel decision-making model, where the lower level consists of solving a contextual Markov Decision Process (CMDP). BO-CMDP can be viewed as a Stackelberg Game where the leader and a random context beyond the leader's control together decide the setup of (many) MDPs that (potentially multiple) followers best respond to. This framework extends beyond traditional bilevel optimization and finds relevance in diverse fields such as model design for MDPs, tax design, reward sha** and dynamic mechanism design. We propose a stochastic Hyper Policy Gradient Descent (HPGD) algorithm to solve BO-CMDP, and demonstrate its convergence. Notably, HPGD only utilizes observations of the followers' trajectories. Therefore, it allows followers to use any training procedure and the leader to be agnostic of the specific algorithm used, which aligns with various real-world scenarios. We further consider the setting when the leader can influence the training of followers and propose an accelerated algorithm. We empirically demonstrate the performance of our algorithm.
△ Less
Submitted 3 June, 2024;
originally announced June 2024.
-
Stochastic Optimization Algorithms for Instrumental Variable Regression with Streaming Data
Authors:
Xuxing Chen,
Abhishek Roy,
Yifan Hu,
Krishnakumar Balasubramanian
Abstract:
We develop and analyze algorithms for instrumental variable regression by viewing the problem as a conditional stochastic optimization problem. In the context of least-squares instrumental variable regression, our algorithms neither require matrix inversions nor mini-batches and provides a fully online approach for performing instrumental variable regression with streaming data. When the true mode…
▽ More
We develop and analyze algorithms for instrumental variable regression by viewing the problem as a conditional stochastic optimization problem. In the context of least-squares instrumental variable regression, our algorithms neither require matrix inversions nor mini-batches and provides a fully online approach for performing instrumental variable regression with streaming data. When the true model is linear, we derive rates of convergence in expectation, that are of order $\mathcal{O}(\log T/T)$ and $\mathcal{O}(1/T^{1-ι})$ for any $ι>0$, respectively under the availability of two-sample and one-sample oracles, respectively, where $T$ is the number of iterations. Importantly, under the availability of the two-sample oracle, our procedure avoids explicitly modeling and estimating the relationship between confounder and the instrumental variables, demonstrating the benefit of the proposed approach over recent works based on reformulating the problem as minimax optimization problems. Numerical experiments are provided to corroborate the theoretical results.
△ Less
Submitted 29 May, 2024;
originally announced May 2024.
-
Life span of solutions to a semilinear parabolic equation on locally finite graphs
Authors:
Yuanyang Hu,
Mingxin Wang
Abstract:
Let $G=(V,E)$ be a locally finite connected graph. We develop the first eigenvalue method on $G$ introduced in 1963 by Kaplan \cite{Kaplan} on Euclidean space, the discrete Phragmén-Lindelöf principle of parabolic equations and upper and lower solutions method on $G$. Using these methods, we establish the estimates and asymptotic behaviour of the life span of solutions to a semilinear heat equatio…
▽ More
Let $G=(V,E)$ be a locally finite connected graph. We develop the first eigenvalue method on $G$ introduced in 1963 by Kaplan \cite{Kaplan} on Euclidean space, the discrete Phragmén-Lindelöf principle of parabolic equations and upper and lower solutions method on $G$. Using these methods, we establish the estimates and asymptotic behaviour of the life span of solutions to a semilinear heat equation with initial data $λψ(x)$ for different scales of $λ$ on $G$ under some different conditions. Our results are different from the continuous case, which is related to the structure of the graph $G$.
△ Less
Submitted 28 May, 2024;
originally announced May 2024.
-
Projected gradient descent algorithm for $\textit{ab initio}$ crystal structure relaxation under a fixed unit cell volume
Authors:
Yukuan Hu,
Junlei Yin,
Xingyu Gao,
Xin Liu,
Haifeng Song
Abstract:
This paper is concerned with $\textit{ab initio}$ crystal structure relaxation under a fixed unit cell volume, which is a step in calculating the static equations of state and forms the basis of thermodynamic property calculations for materials. The task can be formulated as an energy minimization with a determinant constraint. Widely used line minimization-based methods (e.g., conjugate gradient…
▽ More
This paper is concerned with $\textit{ab initio}$ crystal structure relaxation under a fixed unit cell volume, which is a step in calculating the static equations of state and forms the basis of thermodynamic property calculations for materials. The task can be formulated as an energy minimization with a determinant constraint. Widely used line minimization-based methods (e.g., conjugate gradient method) lack both efficiency and convergence guarantees due to the nonconvex nature of the feasible region as well as the significant differences in the curvatures of the potential energy surface with respect to atomic and lattice components. To this end, we propose a projected gradient descent algorithm named PANBB. It is equipped with (i) search direction projections onto the tangent spaces of the nonconvex feasible region for lattice vectors, (ii) distinct curvature-aware initial trial step sizes for atomic and lattice updates, and (iii) a nonrestrictive line minimization criterion as the stop** rule for the inner loop. It can be proved that PANBB favors theoretical convergence to equilibrium states. Across a benchmark set containing 223 structures from various categories, PANBB achieves average speedup factors of approximately 1.41 and 1.45 over the conjugate gradient method and direct inversion in the iterative subspace implemented in off-the-shelf simulation software, respectively. Moreover, it normally converges on all the systems, manifesting its unparalleled robustness. As an application, we calculate the static equations of state for the high-entropy alloy AlCoCrFeNi, which remains elusive owing to 160 atoms representing both chemical and magnetic disorder and the strong local lattice distortion. The results are consistent with the previous calculations and are further validated by experimental thermodynamic data.
△ Less
Submitted 5 May, 2024;
originally announced May 2024.
-
Branching capacity of a random walk in $\mathbb Z^5$
Authors:
Tianyi Bai,
Jean-François Delmas,
Yueyun Hu
Abstract:
We are interested in the branching capacity of the range of a random walk in $\mathbb Z^d$.Schapira [28] has recently obtained precise asymptotics in the case $d\ge 6$ and has demonstrated a transition at dimension $d=6$. We study the case $d=5$ and prove that the renormalized branching capacity converges in law to the Brownian snake capacity of the range of a Brownian motion. The main step in the…
▽ More
We are interested in the branching capacity of the range of a random walk in $\mathbb Z^d$.Schapira [28] has recently obtained precise asymptotics in the case $d\ge 6$ and has demonstrated a transition at dimension $d=6$. We study the case $d=5$ and prove that the renormalized branching capacity converges in law to the Brownian snake capacity of the range of a Brownian motion. The main step in the proof relies on studying the intersection probability between the range of a critical Branching random walk and that of a random walk, which is of independent interest.
△ Less
Submitted 30 April, 2024;
originally announced April 2024.
-
Asymptotic stability of composite waves of viscous shock and rarefaction for relaxed compressible Navier-Stokes equations
Authors:
Renyong guan,
Yuxi Hu
Abstract:
The time asymptotic stability for one-dimensional relaxed compressible Navier-Stokes equations is studied. We show that the composite waves of viscous shock and rarefaction are asymptotically nonlinear stable with both small wave strength and small initial perturbations. Moreover, as the relaxation parameter goes to zero, the solutions of relaxed system are shown to converge globally in time to th…
▽ More
The time asymptotic stability for one-dimensional relaxed compressible Navier-Stokes equations is studied. We show that the composite waves of viscous shock and rarefaction are asymptotically nonlinear stable with both small wave strength and small initial perturbations. Moreover, as the relaxation parameter goes to zero, the solutions of relaxed system are shown to converge globally in time to that of classical system. The methods are based on relative entropy, the a-contraction with shifts theory and basic energy estimates.
△ Less
Submitted 29 April, 2024;
originally announced April 2024.
-
Dual Representation of Unbounded Dynamic Concave Utilities
Authors:
Shengjun Fan,
Ying Hu,
Shanjian Tang
Abstract:
In several linear spaces of possibly unbounded endowments, we represent the dynamic concave utilities (hence the dynamic convex risk measures) as the solutions of backward stochastic differential equations (BSDEs) with unbounded terminal values, with the help of our recent existence and uniqueness results on unbounded solutions of scalar BSDEs whose generators have a linear, super-linear, sub-quad…
▽ More
In several linear spaces of possibly unbounded endowments, we represent the dynamic concave utilities (hence the dynamic convex risk measures) as the solutions of backward stochastic differential equations (BSDEs) with unbounded terminal values, with the help of our recent existence and uniqueness results on unbounded solutions of scalar BSDEs whose generators have a linear, super-linear, sub-quadratic or quadratic growth. The Legendre-Fenchel transform (dual representation) of convex functions, the de la vallée-Poussin theorem, and Young's and Gronwall's inequalities constitute the main ingredients of these representation results.
△ Less
Submitted 22 April, 2024;
originally announced April 2024.
-
An improved upper bound for planar Turán number of double star $S_{2,5}$
Authors:
Xin Xu,
Yue Hu,
Xu Zhang
Abstract:
The planar Turán number of a graph $H$, denoted by $ex_{\mathcal{P}}(n,H)$, is the maximum number of edges in an $n$-vertex $H$-free planar graph. Recently, D. Ghosh, et al. initiated the topic of double stars and prove that $ex_{\mathcal{P}}(n,S_{2,5})\leq \frac{20}{7}n$. In this paper, we continue to study this and give a sharp upper bound…
▽ More
The planar Turán number of a graph $H$, denoted by $ex_{\mathcal{P}}(n,H)$, is the maximum number of edges in an $n$-vertex $H$-free planar graph. Recently, D. Ghosh, et al. initiated the topic of double stars and prove that $ex_{\mathcal{P}}(n,S_{2,5})\leq \frac{20}{7}n$. In this paper, we continue to study this and give a sharp upper bound $ex_{\mathcal{P}}(n,S_{2,5})\leq \frac{19}{7}n-\frac{18}{7}$ for all $n\geq 1$, with equality when $n=12$. This improves Ghosh's result.
△ Less
Submitted 17 April, 2024;
originally announced April 2024.
-
Optimizing Traffic Signal Control for Continuous-Flow Intersections: Benchmarking against a State-of-Practice Model
Authors:
Yining Hu,
David Rey,
Reza Mohajerpoor,
Meead Saberi
Abstract:
Continuous-Flow Intersections (CFI), also known as Displaced Left-Turn (DLT) intersections, aim to improve the efficiency and safety of traffic junctions. A CFI introduces additional sub-intersections upstream of the main intersection to split the left-turn flow from the through movement before it arrives at the main intersection, decreasing the number of conflict points between left-turn and thro…
▽ More
Continuous-Flow Intersections (CFI), also known as Displaced Left-Turn (DLT) intersections, aim to improve the efficiency and safety of traffic junctions. A CFI introduces additional sub-intersections upstream of the main intersection to split the left-turn flow from the through movement before it arrives at the main intersection, decreasing the number of conflict points between left-turn and through movements. This study develops and examines a two-step optimization model for CFI traffic signal control design and demonstrates its performance across more than 300 different travel demand scenarios. The proposed model is compared against a benchmark state-of-practice CFI signal control model. Microsimulation results suggest that the proposed model reduces average delay by 17% and average queue length by 32% for a full CFI compared with the benchmark signal control model.
△ Less
Submitted 15 April, 2024;
originally announced April 2024.
-
Efficient Duple Perturbation Robustness in Low-rank MDPs
Authors:
Yang Hu,
Haitong Ma,
Bo Dai,
Na Li
Abstract:
The pursuit of robustness has recently been a popular topic in reinforcement learning (RL) research, yet the existing methods generally suffer from efficiency issues that obstruct their real-world implementation. In this paper, we introduce duple perturbation robustness, i.e. perturbation on both the feature and factor vectors for low-rank Markov decision processes (MDPs), via a novel characteriza…
▽ More
The pursuit of robustness has recently been a popular topic in reinforcement learning (RL) research, yet the existing methods generally suffer from efficiency issues that obstruct their real-world implementation. In this paper, we introduce duple perturbation robustness, i.e. perturbation on both the feature and factor vectors for low-rank Markov decision processes (MDPs), via a novel characterization of $(ξ,η)$-ambiguity sets. The novel robust MDP formulation is compatible with the function representation view, and therefore, is naturally applicable to practical RL problems with large or even continuous state-action spaces. Meanwhile, it also gives rise to a provably efficient and practical algorithm with theoretical convergence rate guarantee. Examples are designed to justify the new robustness concept, and algorithmic efficiency is supported by both theoretical bounds and numerical simulations.
△ Less
Submitted 11 April, 2024;
originally announced April 2024.
-
Global solution and singularity formation for the supersonic expanding wave of compressible Euler equations with radial symmetry
Authors:
Geng Chen,
Faris A. El-Katri,
Yanbo Hu,
Yannan Shen
Abstract:
In this paper, we define the rarefaction and compression characters for the supersonic expanding wave of the compressible Euler equations with radial symmetry. Under this new definition, we show that solutions with rarefaction initial data will not form shock in finite time, i.e. exist global-in-time as classical solutions. On the other hand, singularity forms in finite time when the initial data…
▽ More
In this paper, we define the rarefaction and compression characters for the supersonic expanding wave of the compressible Euler equations with radial symmetry. Under this new definition, we show that solutions with rarefaction initial data will not form shock in finite time, i.e. exist global-in-time as classical solutions. On the other hand, singularity forms in finite time when the initial data include strong compression somewhere. Several useful invariant domains will be also given.
△ Less
Submitted 26 April, 2024; v1 submitted 11 April, 2024;
originally announced April 2024.
-
Large parameter asymptotic analysis for homogeneous normalized random measures with independent increments
Authors:
Junxi Zhang,
Shui Feng,
Yaozhong Hu
Abstract:
Homogeneous normalized random measures with independent increments (hNRMIs) represent a broad class of Bayesian nonparametric priors and thus are widely used. In this paper, we obtain the strong law of large numbers, the central limit theorem and the functional central limit theorem of hNRMIs when the concentration parameter $a$ approaches infinity. To quantify the convergence rate of the obtained…
▽ More
Homogeneous normalized random measures with independent increments (hNRMIs) represent a broad class of Bayesian nonparametric priors and thus are widely used. In this paper, we obtain the strong law of large numbers, the central limit theorem and the functional central limit theorem of hNRMIs when the concentration parameter $a$ approaches infinity. To quantify the convergence rate of the obtained central limit theorem, we further study the Berry-Esseen bound, which turns out to be of the form $O \left( \frac{1}{\sqrt{a}}\right)$. As an application of the central limit theorem, we present the functional delta method, which can be employed to obtain the limit of the quantile process of hNRMIs. As an illustration of the central limit theorems, we demonstrate the convergence numerically for the Dirichlet processes and the normalized inverse Gaussian processes with various choices of the concentration parameters.
△ Less
Submitted 20 March, 2024;
originally announced March 2024.
-
Some study of the approximate orthogonality connected with integral orthogonalities
Authors:
Ranran Wang,
Qi Liu,
**yu Xia,
Yongmo Hu
Abstract:
In this paper, we investigate a novel form of approximate orthogonality that is based on integral orthogonality. Additionally, we establish the fundamental properties of this new approximate orthogonality and examine its capability to preserve map**s of orthogonality. Moreover, we explore the relationship between this new approximate orthogonality and other forms of approximate orthogonality.
In this paper, we investigate a novel form of approximate orthogonality that is based on integral orthogonality. Additionally, we establish the fundamental properties of this new approximate orthogonality and examine its capability to preserve map**s of orthogonality. Moreover, we explore the relationship between this new approximate orthogonality and other forms of approximate orthogonality.
△ Less
Submitted 16 March, 2024;
originally announced March 2024.
-
Hyperbolic Anderson equations with general time-independent Gaussian noise: Stratonovich regime
Authors:
Xia Chen,
Yaozhong Hu
Abstract:
In this paper, we investigate the
hyperbolic Anderson equation
generated by a time-independent Gaussian noise
with two objectives: The solvability and intermittency.
First, we prove that Dalang's condition is necessary and sufficient
for existence of the solution. Second, we establish the
precise long time and high moment asymptotics for the solution under
the usual homogeneity assum…
▽ More
In this paper, we investigate the
hyperbolic Anderson equation
generated by a time-independent Gaussian noise
with two objectives: The solvability and intermittency.
First, we prove that Dalang's condition is necessary and sufficient
for existence of the solution. Second, we establish the
precise long time and high moment asymptotics for the solution under
the usual homogeneity assumption of the covariance of the Gaussian noise.
Our approach is fundamentally different from the ones existing in
literature.
The main contributions in our approach include the representation of Stratonovich
moment under Laplace transform via the moments of the Brownian motions in
Gaussian potentials
and some large deviation skills developed
in dealing effectively with the Stratonovich chaos expansion.
△ Less
Submitted 13 March, 2024;
originally announced March 2024.
-
Decomposition of Persistent Homology and Spectral Sequences
Authors:
Peiqi Yang,
Yingfeng Hu,
Hao Wu
Abstract:
We study the relation between the persistent homology and the spectral sequence of a filtered chain complex over a field. Our method is based on a decomposition of the persistent homology. We demonstrate that, under fairly general assumptions, these two algebraic structures capture the same information from the filtered chain complex.
We study the relation between the persistent homology and the spectral sequence of a filtered chain complex over a field. Our method is based on a decomposition of the persistent homology. We demonstrate that, under fairly general assumptions, these two algebraic structures capture the same information from the filtered chain complex.
△ Less
Submitted 21 March, 2024; v1 submitted 9 March, 2024;
originally announced March 2024.
-
Ellipsephic harmonic series revisited
Authors:
Jean-Paul Allouche,
Yining Hu,
Claude Morin
Abstract:
Ellipsephic or Kempner-like harmonic series are series of inverses of integers whose expansion in base $B$, for some $B \geq 2$, contains no occurrence of some fixed digit or some fixed block of digits. A prototypical example was proposed by Kempner in 1914, namely the sum inverses of integers whose expansion in base $10$ contains no occurrence of a nonzero given digit. Results about such series a…
▽ More
Ellipsephic or Kempner-like harmonic series are series of inverses of integers whose expansion in base $B$, for some $B \geq 2$, contains no occurrence of some fixed digit or some fixed block of digits. A prototypical example was proposed by Kempner in 1914, namely the sum inverses of integers whose expansion in base $10$ contains no occurrence of a nonzero given digit. Results about such series address their convergence as well as closed expressions for their sums (or approximations thereof). Another direction of research is the study of sums of inverses of integers that contain only a given finite number, say $k$, of some digit or some block of digits, and the limits of such sums when $k$ goes to infinity. Generalizing partial results in the literature, we give a complete result for any digit or block of digits in any base.
△ Less
Submitted 8 March, 2024;
originally announced March 2024.
-
Large deviations for slow-fast processes on connected complete Riemannian manifolds
Authors:
Yanyan Hu,
Richard C. Kraaij,
Fubao Xi
Abstract:
We consider a class of slow-fast processes on a connected complete Riemannian manifold $M$.The limiting dynamics as the scale separation goes to $\infty$ is governed by the averaging principle. Around this limit, we prove large deviation principles with an action-integral rate function for the slow process by nonlinear semigroup methods together with the Hamilton-Jacobi-Bellman equation techniques…
▽ More
We consider a class of slow-fast processes on a connected complete Riemannian manifold $M$.The limiting dynamics as the scale separation goes to $\infty$ is governed by the averaging principle. Around this limit, we prove large deviation principles with an action-integral rate function for the slow process by nonlinear semigroup methods together with the Hamilton-Jacobi-Bellman equation techniques. The innovation is solving a comparison principle for viscosity solutions on $M$ and the existence of a viscosity solution via a control problem for a non-smooth Hamiltonian.
△ Less
Submitted 8 March, 2024;
originally announced March 2024.
-
Enumerating stably trivial vector bundles with higher real $K$-theory
Authors:
Hood Chatham,
Yang Hu,
Morgan Opie
Abstract:
Given positive integers $r$ and $c$, let $φ(r,c)$ denote the number of isomorphism classes of complex rank $r$ topological vector bundles on $\mathbb{CP}^{r+c}$ that are stably trivial. We compute the $p$-adic valuation of the number $φ(r,c)$ for all pairs $r$ and $c$ such that $c \leq \operatorname{min}\{r,2p-3\}$. We also give some systematic lower bounds for $p$-divisibility of $φ(r,c)$ when…
▽ More
Given positive integers $r$ and $c$, let $φ(r,c)$ denote the number of isomorphism classes of complex rank $r$ topological vector bundles on $\mathbb{CP}^{r+c}$ that are stably trivial. We compute the $p$-adic valuation of the number $φ(r,c)$ for all pairs $r$ and $c$ such that $c \leq \operatorname{min}\{r,2p-3\}$. We also give some systematic lower bounds for $p$-divisibility of $φ(r,c)$ when $c<2p^2-p-2$, and detect some nontrivial $p$-divisibility for larger $c$. As an additional application of our methods, we find new $p$-torsion in unstable homotopy groups of unitary groups.
△ Less
Submitted 7 March, 2024;
originally announced March 2024.
-
Noether inequality for irregular threefolds of general type
Authors:
Yong Hu,
Tong Zhang
Abstract:
Let $X$ be a smooth irregular $3$-fold of general type over $\mathbb{C}$. We prove that the optimal Noether inequality $$ \mathrm{vol}(X) \ge \frac{4}{3}p_g(X) $$ holds if $p_g(X) \ge 16$ or if $X$ has a Gorenstein minimal model. Moreover, when $X$ attains the equality and $p_g(X) \ge 16$, its canonical model can be explicitly described.
Let $X$ be a smooth irregular $3$-fold of general type over $\mathbb{C}$. We prove that the optimal Noether inequality $$ \mathrm{vol}(X) \ge \frac{4}{3}p_g(X) $$ holds if $p_g(X) \ge 16$ or if $X$ has a Gorenstein minimal model. Moreover, when $X$ attains the equality and $p_g(X) \ge 16$, its canonical model can be explicitly described.
△ Less
Submitted 27 February, 2024;
originally announced February 2024.
-
Cyclic branched covers of Seifert links and properties related to the $ADE$ link conjecture
Authors:
Steven Boyer,
Cameron McA. Gordon,
Ying Hu
Abstract:
In this article we show that all cyclic branched covers of a Seifert link have left-orderable fundamental groups, and therefore admit co-oriented taut foliations and are not $L$-spaces, if and only if it is not an $ADE$ link up to orientation. This leads to a proof of the $ADE$ link conjecture for Seifert links. When $L$ is an $ADE$ link up to orientation, we determine which of its canonical $n$-f…
▽ More
In this article we show that all cyclic branched covers of a Seifert link have left-orderable fundamental groups, and therefore admit co-oriented taut foliations and are not $L$-spaces, if and only if it is not an $ADE$ link up to orientation. This leads to a proof of the $ADE$ link conjecture for Seifert links. When $L$ is an $ADE$ link up to orientation, we determine which of its canonical $n$-fold cyclic branched covers $Σ_n(L)$ have non-left-orderable fundamental groups. In addition, we give a topological proof of Ishikawa's classification of strongly quasipositive Seifert links and we determine the Seifert links that are definite, resp. have genus zero, resp. have genus equal to its smooth $4$-ball genus, among others. In the last section, we provide a comprehensive survey of the current knowledge and results concerning the $ADE$ link conjecture.
△ Less
Submitted 24 February, 2024;
originally announced February 2024.
-
Branching capacity and Brownian snake capacity
Authors:
Tianyi Bai,
Jean-François Delmas,
Yueyun Hu
Abstract:
The branching capacity has been introduced by [Zhu 2016] as the limit of the hitting probability of a symmetric branching random walk in $\mathbb Z^d$, $d\ge 5$. Similarly, we define the Brownian snake capacity in $\mathbb R^d$, as the scaling limit of the hitting probability by the Brownian snake starting from afar. Then, we prove our main result on the vague convergence of the rescaled branching…
▽ More
The branching capacity has been introduced by [Zhu 2016] as the limit of the hitting probability of a symmetric branching random walk in $\mathbb Z^d$, $d\ge 5$. Similarly, we define the Brownian snake capacity in $\mathbb R^d$, as the scaling limit of the hitting probability by the Brownian snake starting from afar. Then, we prove our main result on the vague convergence of the rescaled branching capacity towards this Brownian snake capacity. Our proof relies on a precise convergence rate for the approximation of the branching capacity by hitting probabilities.
△ Less
Submitted 21 February, 2024; v1 submitted 21 February, 2024;
originally announced February 2024.
-
Long time numerical stability of implicit schemes for stochastic heat equations
Authors:
Xiaochen Yang,
Yaozhong Hu
Abstract:
This paper studies the long time stability of both stochastic heat equations on a bounded domain driven by a correlated noise and their approximations. It is popular for researchers to prove the intermittency of the solution which means that the moments of solution to stochastic heat equation usually grow exponentially to infinite and this hints that the solution to stochastic heat equation is gen…
▽ More
This paper studies the long time stability of both stochastic heat equations on a bounded domain driven by a correlated noise and their approximations. It is popular for researchers to prove the intermittency of the solution which means that the moments of solution to stochastic heat equation usually grow exponentially to infinite and this hints that the solution to stochastic heat equation is generally not stable in long time. However, quite surprisingly in this paper we show that when the domain is bounded and when the noise is not singular in spatial variables, the system can be long time stable and we also prove that we can approximate the solution by its finite dimensional spectral approximation which is also long time stable. The idea is to use eigenfunction expansion of the Laplacian on bounded domain. We also present numerical experiments which are consistent with our theoretical results.
△ Less
Submitted 7 February, 2024;
originally announced February 2024.
-
A new perspective from hypertournaments to tournaments
Authors:
Jiangdong Ai,
Qiming Dai,
Qiwen Guo,
Yingqi Hu,
Changxin Wang
Abstract:
A $k$-tournament $H$ on $n$ vertices is a pair $(V, A)$ for $2\leq k\leq n$, where $V(H)$ is a set of vertices, and $A(H)$ is a set of all possible $k$-tuples of vertices, such that for any $k$-subset $S$ of $V$, $A(H)$ contains exactly one of the $k!$ possible permutations of $S$. In this paper, we investigate the relationship between a hyperdigraph and its corresponding normal digraph. Particula…
▽ More
A $k$-tournament $H$ on $n$ vertices is a pair $(V, A)$ for $2\leq k\leq n$, where $V(H)$ is a set of vertices, and $A(H)$ is a set of all possible $k$-tuples of vertices, such that for any $k$-subset $S$ of $V$, $A(H)$ contains exactly one of the $k!$ possible permutations of $S$. In this paper, we investigate the relationship between a hyperdigraph and its corresponding normal digraph. Particularly, drawing on a result from Gutin and Yeo, we establish an intrinsic relationship between a strong $k$-tournament and a strong tournament, which enables us to provide an alternative (more straightforward and concise) proof for some previously known results and get some new results.
△ Less
Submitted 24 January, 2024;
originally announced January 2024.
-
The augmented weak sharpness of solution sets in equilibrium problems
Authors:
Ruyu Wang,
Wenling Zhao,
Dao** Song,
Yaozhong Hu
Abstract:
This study delves into equilibrium problems, focusing on the identification of finite solutions for feasible solution sequences. We introduce an innovative extension of the weak sharp minimum concept from convex programming to equilibrium problems, coining this as weak sharpness for solution sets. Recognizing situations where the solution set may not exhibit weak sharpness, we propose an augmented…
▽ More
This study delves into equilibrium problems, focusing on the identification of finite solutions for feasible solution sequences. We introduce an innovative extension of the weak sharp minimum concept from convex programming to equilibrium problems, coining this as weak sharpness for solution sets. Recognizing situations where the solution set may not exhibit weak sharpness, we propose an augmented map** approach to mitigate this limitation. The core of our research is the formulation of augmented weak sharpness for the solution set, a comprehensive concept that encapsulates both weak sharpness and strong non-degeneracy within feasible solution sequences. Crucially, we identify a necessary and sufficient condition for the finite termination of these sequences under the premise of augmented weak sharpness for the solution set in equilibrium problems. This condition significantly broadens the scope of existing literature, which often assumes the solution set to be weakly sharp or strongly non-degenerate, especially in the context of mathematical programming and variational inequality problems. Our findings not only shed light on the termination conditions in equilibrium problems but also introduce a less stringent sufficient condition for the finite termination of various optimization algorithms. This research, therefore, makes a substantial contribution to the field by enhancing our understanding of termination conditions in equilibrium problems and expanding the applicability of established theories to a wider range of optimization scenarios.
△ Less
Submitted 11 January, 2024;
originally announced January 2024.
-
Trivialité des groupes de Whitehead réduits avec applications à l'approximation faible et l'approximation forte
Authors:
Yong Hu,
Yisheng Tian
Abstract:
We prove some triviality results for reduced Whitehead groups and reduced unitary Whitehead groups for division algebras over a henselian discrete valuation field whose residue field has virtual cohomological dimension or separable dimension $\le 2$. These results are applied to show strong approximation for isotropic absolutely almost simple simply connected groups of type A. In particular, such…
▽ More
We prove some triviality results for reduced Whitehead groups and reduced unitary Whitehead groups for division algebras over a henselian discrete valuation field whose residue field has virtual cohomological dimension or separable dimension $\le 2$. These results are applied to show strong approximation for isotropic absolutely almost simple simply connected groups of type A. In particular, such a group defined over the function field of a nonreal curve $C/k$ satisfies strong approximation if the base field $k$ is a number field, a $p$-adic field, $\mathbb{C}(\!(t)\!)$ or a two-variable function field over $\mathbb{R}$.
△ Less
Submitted 10 January, 2024;
originally announced January 2024.
-
The random field Ising chain domain-wall structure in the large interaction limit
Authors:
Orphée Collin,
Giambattista Giacomin,
Yueyun Hu
Abstract:
We study the configurations of the nearest neighbor Ising ferromagnetic chain with IID centered and square integrable external random field in the limit in which the pairwise interaction tends to infinity. The available free energy estimates for this model show a strong form of disorder relevance, i.e., a strong effect of disorder on the free energy behavior, and our aim is to make explicit how th…
▽ More
We study the configurations of the nearest neighbor Ising ferromagnetic chain with IID centered and square integrable external random field in the limit in which the pairwise interaction tends to infinity. The available free energy estimates for this model show a strong form of disorder relevance, i.e., a strong effect of disorder on the free energy behavior, and our aim is to make explicit how the disorder affects the spin configurations. We give a quantitative estimate that shows that the infinite volume spin configurations are close to one explicit disorder dependent configuration when the interaction is large. Our results confirm predictions on this model obtained in D. S. Fisher, P. Le Doussal and C. Monthus (Phys. Rev. E 2001) by applying the renormalization group method introduced by D. S. Fisher (Phys. Rev. B 1995).
△ Less
Submitted 31 March, 2024; v1 submitted 8 January, 2024;
originally announced January 2024.
-
Stochastic Optimization under Hidden Convexity
Authors:
Ilyas Fatkhullin,
Niao He,
Yifan Hu
Abstract:
In this work, we consider constrained stochastic optimization problems under hidden convexity, i.e., those that admit a convex reformulation via non-linear (but invertible) map $c(\cdot)$. A number of non-convex problems ranging from optimal control, revenue and inventory management, to convex reinforcement learning all admit such a hidden convex structure. Unfortunately, in the majority of applic…
▽ More
In this work, we consider constrained stochastic optimization problems under hidden convexity, i.e., those that admit a convex reformulation via non-linear (but invertible) map $c(\cdot)$. A number of non-convex problems ranging from optimal control, revenue and inventory management, to convex reinforcement learning all admit such a hidden convex structure. Unfortunately, in the majority of applications considered, the map $c(\cdot)$ is unavailable or implicit; therefore, directly solving the convex reformulation is not possible. On the other hand, the stochastic gradients with respect to the original variable are often easy to obtain. Motivated by these observations, we examine the basic projected stochastic (sub-) gradient methods for solving such problems under hidden convexity. We provide the first sample complexity guarantees for global convergence in smooth and non-smooth settings. Additionally, in the smooth setting, we improve our results to the last iterate convergence in terms of function value gap using the momentum variant of projected stochastic gradient descent.
△ Less
Submitted 29 December, 2023;
originally announced January 2024.
-
Two sample test for covariance matrices in ultra-high dimension
Authors:
Xiucai Ding,
Yichen Hu,
Zhenggang Wang
Abstract:
In this paper, we propose a new test for testing the equality of two population covariance matrices in the ultra-high dimensional setting that the dimension is much larger than the sizes of both of the two samples. Our proposed methodology relies on a data splitting procedure and a comparison of a set of well selected eigenvalues of the sample covariance matrices on the split data sets. Compared t…
▽ More
In this paper, we propose a new test for testing the equality of two population covariance matrices in the ultra-high dimensional setting that the dimension is much larger than the sizes of both of the two samples. Our proposed methodology relies on a data splitting procedure and a comparison of a set of well selected eigenvalues of the sample covariance matrices on the split data sets. Compared to the existing methods, our methodology is adaptive in the sense that (i). it does not require specific assumption (e.g., comparable or balancing, etc.) on the sizes of two samples; (ii). it does not need quantitative or structural assumptions of the population covariance matrices; (iii). it does not need the parametric distributions or the detailed knowledge of the moments of the two populations. Theoretically, we establish the asymptotic distributions of the statistics used in our method and conduct the power analysis. We justify that our method is powerful under very weak alternatives. We conduct extensive numerical simulations and show that our method significantly outperforms the existing ones both in terms of size and power. Analysis of two real data sets is also carried out to demonstrate the usefulness and superior performance of our proposed methodology. An $\texttt{R}$ package $\texttt{UHDtst}$ is developed for easy implementation of our proposed methodology.
△ Less
Submitted 17 December, 2023;
originally announced December 2023.
-
Strong Approximation and Hasse Principle for Integral Quadratic Forms over Affine Curves
Authors:
Yong Hu,
**g Liu,
Yisheng Tian
Abstract:
We extend some parts of the representation theory for integral quadratic forms over the ring of integers of a number field to the case over the coordinate ring $k[C]$ of an affine curve $C$ over a general base field $k$. By using the genus theory, we link the strong approximation property of certain spin groups to the Hasse principle for representations of integral quadratic forms over $k[C]$ and…
▽ More
We extend some parts of the representation theory for integral quadratic forms over the ring of integers of a number field to the case over the coordinate ring $k[C]$ of an affine curve $C$ over a general base field $k$. By using the genus theory, we link the strong approximation property of certain spin groups to the Hasse principle for representations of integral quadratic forms over $k[C]$ and derive several applications. In particular, we give an example where a spin group does not satisfy strong approximation.
△ Less
Submitted 14 December, 2023;
originally announced December 2023.
-
Prescribed $L_p$ curvature problem
Authors:
Yingxiang Hu,
Mohammad N. Ivaki
Abstract:
In this paper, we establish the existence of smooth, origin-symmetric, strictly convex solutions to the prescribed even $L_p$ curvature problem.
In this paper, we establish the existence of smooth, origin-symmetric, strictly convex solutions to the prescribed even $L_p$ curvature problem.
△ Less
Submitted 16 February, 2024; v1 submitted 4 December, 2023;
originally announced December 2023.
-
Comparison theorems for multi-dimensional BSDEs with jumps and applications to constrained stochastic linear-quadratic control
Authors:
Ying Hu,
Xiaomin Shi,
Zuo Quan Xu
Abstract:
In this paper, we, for the first time, establish two comparison theorems for multi-dimensional backward stochastic differential equations with jumps. Our approach is novel and completely different from the existing results for one-dimensional case. Using these and other delicate tools, we then construct solutions to coupled two-dimensional stochastic Riccati equation with jumps in both standard an…
▽ More
In this paper, we, for the first time, establish two comparison theorems for multi-dimensional backward stochastic differential equations with jumps. Our approach is novel and completely different from the existing results for one-dimensional case. Using these and other delicate tools, we then construct solutions to coupled two-dimensional stochastic Riccati equation with jumps in both standard and singular cases. In the end, these results are applied to solve a cone-constrained stochastic linear-quadratic and a mean-variance portfolio selection problem with jumps. Different from no jump problems, the optimal (relative) state processes may change their signs, which is of course due to the presence of jumps.
△ Less
Submitted 11 November, 2023;
originally announced November 2023.
-
Reversed Hardy-Littlewood-Sobolev inequalities with vertical weights on the upper half space
Authors:
**gbo Dou,
Yunyun Hu,
**g**g Ma
Abstract:
In this paper, we obtain the reversed Hardy-Littlewood-Sobolev inequality with vertical weights on the upper half space and discuss the extremal functions. We show that the sharp constants in this inequality are attained by introducing a renormalization method. The classification of corresponding extremal functions is discussed via the method of moving spheres. Moreover, we prove the sufficient an…
▽ More
In this paper, we obtain the reversed Hardy-Littlewood-Sobolev inequality with vertical weights on the upper half space and discuss the extremal functions. We show that the sharp constants in this inequality are attained by introducing a renormalization method. The classification of corresponding extremal functions is discussed via the method of moving spheres. Moreover, we prove the sufficient and necessary conditions of existence for positive solutions to the Euler-Lagrange equations by using Pohozaev identities in weak sense. This renormalization method is rearrangement free, which can be also applied to prove the existence of extremal functions for sharp (reversed) Hardy-Littlewood-Sobolev inequality with extended kernels and other similar inequalities.
△ Less
Submitted 7 November, 2023;
originally announced November 2023.
-
Contextual Stochastic Bilevel Optimization
Authors:
Yifan Hu,
Jie Wang,
Yao Xie,
Andreas Krause,
Daniel Kuhn
Abstract:
We introduce contextual stochastic bilevel optimization (CSBO) -- a stochastic bilevel optimization framework with the lower-level problem minimizing an expectation conditioned on some contextual information and the upper-level decision variable. This framework extends classical stochastic bilevel optimization when the lower-level decision maker responds optimally not only to the decision of the u…
▽ More
We introduce contextual stochastic bilevel optimization (CSBO) -- a stochastic bilevel optimization framework with the lower-level problem minimizing an expectation conditioned on some contextual information and the upper-level decision variable. This framework extends classical stochastic bilevel optimization when the lower-level decision maker responds optimally not only to the decision of the upper-level decision maker but also to some side information and when there are multiple or even infinite many followers. It captures important applications such as meta-learning, personalized federated learning, end-to-end learning, and Wasserstein distributionally robust optimization with side information (WDRO-SI). Due to the presence of contextual information, existing single-loop methods for classical stochastic bilevel optimization are unable to converge. To overcome this challenge, we introduce an efficient double-loop gradient method based on the Multilevel Monte-Carlo (MLMC) technique and establish its sample and computational complexities. When specialized to stochastic nonconvex optimization, our method matches existing lower bounds. For meta-learning, the complexity of our method does not depend on the number of tasks. Numerical experiments further validate our theoretical results.
△ Less
Submitted 27 October, 2023;
originally announced October 2023.
-
On the uniqueness of solutions to the isotropic $L_{p}$ dual Minkowski problem
Authors:
Yingxiang Hu,
Mohammad N. Ivaki
Abstract:
We prove that the unit sphere is the only smooth, strictly convex solution to the isotropic $L_p$ dual Minkowski problem
\begin{align*}
h^{p-1} |D h|^{n+1-q}\mathcal{K}=1,
\end{align*} provided $(p,q)\in (-n-1,-1]\times [n,n+1)$.
We prove that the unit sphere is the only smooth, strictly convex solution to the isotropic $L_p$ dual Minkowski problem
\begin{align*}
h^{p-1} |D h|^{n+1-q}\mathcal{K}=1,
\end{align*} provided $(p,q)\in (-n-1,-1]\times [n,n+1)$.
△ Less
Submitted 27 September, 2023;
originally announced September 2023.
-
Subconvex bounds for $U_{n+1}\times U_n$ in horizontal aspects
Authors:
Yueke Hu,
Paul D. Nelson
Abstract:
For $L$-functions attached to automorphic representations of unitary groups $U_{n+1}\times U_n$, we establish a subconvex bound valid in certain horizontal aspects, where the set of ramified places is allowed to vary.
For $L$-functions attached to automorphic representations of unitary groups $U_{n+1}\times U_n$, we establish a subconvex bound valid in certain horizontal aspects, where the set of ramified places is allowed to vary.
△ Less
Submitted 15 December, 2023; v1 submitted 12 September, 2023;
originally announced September 2023.
-
A user's guide to 1D nonlinear backward stochastic differential equations with applications and open problems
Authors:
Shengjun Fan,
Ying Hu,
Shanjian Tang
Abstract:
We present a comprehensive theory on the well-posedness of a one-dimensional nonlinear backward stochastic differential equation (1D BSDE for short), where the generator $g$ has a one-sided linear/super-linear growth in the first unknown variable $y$ and an at most quadratic growth in the second unknown variable $z$. We first establish several existence theorems and comparison theorems with the te…
▽ More
We present a comprehensive theory on the well-posedness of a one-dimensional nonlinear backward stochastic differential equation (1D BSDE for short), where the generator $g$ has a one-sided linear/super-linear growth in the first unknown variable $y$ and an at most quadratic growth in the second unknown variable $z$. We first establish several existence theorems and comparison theorems with the test function method and the a priori estimate technique, and then immediately give several existence and uniqueness results. We also overview relevant known results and introduce some practical applications of our theoretical results. Finally, we list some open problems on the well-posedness of 1D BSDEs.
△ Less
Submitted 12 September, 2023;
originally announced September 2023.
-
A distributionally robust index tracking model with the CVaR penalty: tractable reformulation
Authors:
Ruyu Wang,
Yaozhong Hu,
Chao Zhang
Abstract:
We propose a distributionally robust index tracking model with the conditional value-at-risk (CVaR) penalty. The model combines the idea of distributionally robust optimization for data uncertainty and the CVaR penalty to avoid large tracking errors. The probability ambiguity is described through a confidence region based on the first-order and second-order moments of the random vector involved. W…
▽ More
We propose a distributionally robust index tracking model with the conditional value-at-risk (CVaR) penalty. The model combines the idea of distributionally robust optimization for data uncertainty and the CVaR penalty to avoid large tracking errors. The probability ambiguity is described through a confidence region based on the first-order and second-order moments of the random vector involved. We reformulate the model in the form of a min-max-min optimization into an equivalent nonsmooth minimization problem. We further give an approximate discretization scheme of the possible continuous random vector of the nonsmooth minimization problem, whose objective function involves the maximum of numerous but finite nonsmooth functions. The convergence of the discretization scheme to the equivalent nonsmooth reformulation is shown under mild conditions. A smoothing projected gradient (SPG) method is employed to solve the discretization scheme. Any accumulation point is shown to be a global minimizer of the discretization scheme. Numerical results on the NASDAQ index dataset from January 2008 to July 2023 demonstrate the effectiveness of our proposed model and the efficiency of the SPG method, compared with several state-of-the-art models and corresponding methods for solving them.
△ Less
Submitted 11 September, 2023;
originally announced September 2023.
-
An SPH formulation for general plate and shell structures with finite deformation and large rotation
Authors:
Dong Wu,
Chi Zhang,
Xiangyu Hu
Abstract:
In this paper, we propose a reduced-dimensional smoothed particle hydrodynamics (SPH) formulation for quasi-static and dynamic analyses of plate and shell structures undergoing finite deformation and large rotation. By exploiting Uflyand-Mindlin plate theory, the present surface-particle formulation is able to resolve the thin structures by using only one layer of particles at the mid-surface. To…
▽ More
In this paper, we propose a reduced-dimensional smoothed particle hydrodynamics (SPH) formulation for quasi-static and dynamic analyses of plate and shell structures undergoing finite deformation and large rotation. By exploiting Uflyand-Mindlin plate theory, the present surface-particle formulation is able to resolve the thin structures by using only one layer of particles at the mid-surface. To resolve the geometric non-linearity and capture finite deformation and large rotation, two reduced-dimensional linear-reproducing correction matrices are introduced, and weighted non-singularity conversions between the rotation angle and pseudo normal are formulated. A new non-isotropic Kelvin-Voigt dam** is proposed especially for the both thin and moderately thick plate and shell structures to increase the numerical stability. In addition, a shear-scaled momentum-conserving hourglass control algorithm with an adaptive limiter is introduced to suppress the mismatches between the particle position and pseudo normal and those estimated with the deformation gradient. A comprehensive set of test problems, for which the analytical or numerical results from literature or those of the volume-particle SPH model are available for quantitative and qualitative comparison, are examined to demonstrate the accuracy and stability of the present method.
△ Less
Submitted 6 September, 2023;
originally announced September 2023.
-
The Behavior of Error Bounds via Moreau Envelopes
Authors:
Yu Wang,
Shengjie Li,
Yaohua Hu,
Minghua Li,
Xiaobing Li
Abstract:
In this paper, we first establish the equivalence of three types of error bounds: uniformized Kurdyka-Łojasiewicz (u-KL) property, uniformized level-set subdifferential error bound (u-LSEB) and uniformized Hölder error bound (u-HEB) for prox-regular functions. Then we study the behavior of the level-set subdifferential error bound (LSEB) and the local Hölder error bound (LHEB) which is expressed r…
▽ More
In this paper, we first establish the equivalence of three types of error bounds: uniformized Kurdyka-Łojasiewicz (u-KL) property, uniformized level-set subdifferential error bound (u-LSEB) and uniformized Hölder error bound (u-HEB) for prox-regular functions. Then we study the behavior of the level-set subdifferential error bound (LSEB) and the local Hölder error bound (LHEB) which is expressed respectively by Moreau envelopes, under suitable assumptions. Finally, in order to illustrate our main results and to compare them with those of recent references, some examples are also given.
△ Less
Submitted 16 August, 2023;
originally announced August 2023.
-
Double-tower Solutions for Higher Order Prescribed Curvature Problem
Authors:
Yuan Gao,
Yuxia Guo,
Yichen Hu
Abstract:
We consider the following higher order prescribed curvature problem on $ {\mathbb{S}}^N : $ \begin{equation*} D^m \tilde u=\widetilde{K}(y) \tilde u^{m^{*}-1} \quad \mbox{on} \ {\mathbb {S}}^N, \qquad \tilde u >0 \quad \mbox{in} \ {\mathbb {S}}^N. \end{equation*} where $\widetilde{K}(y)>0$ is a radial function, $m^{*}=\frac{2N}{N-2m}$ and $D^m$ is $2m$ order differential operator given by \begin{e…
▽ More
We consider the following higher order prescribed curvature problem on $ {\mathbb{S}}^N : $ \begin{equation*} D^m \tilde u=\widetilde{K}(y) \tilde u^{m^{*}-1} \quad \mbox{on} \ {\mathbb {S}}^N, \qquad \tilde u >0 \quad \mbox{in} \ {\mathbb {S}}^N. \end{equation*} where $\widetilde{K}(y)>0$ is a radial function, $m^{*}=\frac{2N}{N-2m}$ and $D^m$ is $2m$ order differential operator given by \begin{equation*} D^m=\prod_{i=1}^m\left(-Δ_g+\frac{1}{4}(N-2i)(N+2i-2)\right), \end{equation*} where $g=g_{\mathbb{S}^N}$is the Riemannian metric. We prove the existence of infinitely many double-tower type solutions, which are invariant under some non-trivial sub-groups of $O(3),$ and their energy can be made arbitrarily large.
△ Less
Submitted 12 August, 2023;
originally announced August 2023.
-
Disproof of a conjecture on the minimum spectral radius and the domination number
Authors:
Yarong Hu,
Zhenzhen Lou,
Qiongxiang Huang
Abstract:
Let $G_{n,γ}$ be the set of all connected graphs on $n$ vertices with domination number $γ$. A graph is called a minimizer graph if it attains the minimum spectral radius among $G_{n,γ}$. Very recently, Liu, Li and Xie [Linear Algebra and its Applications 673 (2023) 233--258] proved that the minimizer graph over all graphs in $\mathbb{G}_{n,γ}$ must be a tree. Moreover, they determined the minimiz…
▽ More
Let $G_{n,γ}$ be the set of all connected graphs on $n$ vertices with domination number $γ$. A graph is called a minimizer graph if it attains the minimum spectral radius among $G_{n,γ}$. Very recently, Liu, Li and Xie [Linear Algebra and its Applications 673 (2023) 233--258] proved that the minimizer graph over all graphs in $\mathbb{G}_{n,γ}$ must be a tree. Moreover, they determined the minimizer graph among $G_{n,\lfloor\frac{n}{2}\rfloor}$ for even $n$, and posed the conjecture on the minimizer graph among $G_{n,\lfloor\frac{n}{2}\rfloor}$ for odd $n$. In this paper, we disprove the conjecture and completely determine the unique minimizer graph among $G_{n,\lfloor\frac{n}{2}\rfloor}$ for odd $n$.
△ Less
Submitted 28 July, 2023;
originally announced July 2023.
-
Large deviations for Cox-Ingersoll-Ross processes with state-dependent fast switching
Authors:
Yanyan Hu,
Richard C. Kraaij,
Fubao Xi
Abstract:
We study the large deviations for Cox-Ingersoll-Ross (CIR) processes with small noise and state-dependent fast switching via associated Hamilton-Jacobi equations. As the separation of time scales, when the noise goes to $0$ and the rate of switching goes to $\infty$, we get a limit equation characterized by the averaging principle. Moreover, we prove the large deviation principle (LDP) with an act…
▽ More
We study the large deviations for Cox-Ingersoll-Ross (CIR) processes with small noise and state-dependent fast switching via associated Hamilton-Jacobi equations. As the separation of time scales, when the noise goes to $0$ and the rate of switching goes to $\infty$, we get a limit equation characterized by the averaging principle. Moreover, we prove the large deviation principle (LDP) with an action-integral form rate function to describe the asymptotic behavior of such systems. The new ingredient is establishing the comparison principle in the singular context. The proof is carried out using the nonlinear semigroup method coming from Feng and Kurtz's book.
△ Less
Submitted 21 July, 2023;
originally announced July 2023.
-
Scalar BSDEs of iterated-logarithmically sublinear generators with integrable terminal values
Authors:
Shengjun Fan,
Ying Hu,
Shanjian Tang
Abstract:
We establish a general existence and uniqueness of integrable adapted solutions to scalar backward stochastic differential equations with integrable parameters, where the generator $g$ has an iterated-logarithmic uniform continuity in the second unknown variable $z$. The result improves our previous one in \cite{FanHuTang2023SCL}.
We establish a general existence and uniqueness of integrable adapted solutions to scalar backward stochastic differential equations with integrable parameters, where the generator $g$ has an iterated-logarithmic uniform continuity in the second unknown variable $z$. The result improves our previous one in \cite{FanHuTang2023SCL}.
△ Less
Submitted 20 July, 2023;
originally announced July 2023.
-
JSJ decompositions of knot exteriors, Dehn surgery and the $L$-space conjecture
Authors:
Steven Boyer,
Cameron McA. Gordon,
Ying Hu
Abstract:
In this article, we apply slope detection techniques to study properties of toroidal $3$-manifolds obtained by performing Dehn surgeries on satellite knots in the context of the $L$-space conjecture. We show that if $K$ is an $L$-space knot or admits an irreducible rational surgery with non-left-orderable fundamental group, then the JSJ graph of its exterior is a rooted interval. Consequently, any…
▽ More
In this article, we apply slope detection techniques to study properties of toroidal $3$-manifolds obtained by performing Dehn surgeries on satellite knots in the context of the $L$-space conjecture. We show that if $K$ is an $L$-space knot or admits an irreducible rational surgery with non-left-orderable fundamental group, then the JSJ graph of its exterior is a rooted interval. Consequently, any rational surgery on a composite knot has a left-orderable fundamental group. This is the left-orderable counterpart of Krcatovich's result on the primeness of $L$-space knots, which we reprove using our methods. Analogous results on the existence of co-orientable taut foliations are proved when the knot has a fibred companion. Our results suggest a new approach to establishing the counterpart of Krcatovich's result for surgeries with co-orientable taut foliations, on which partial results have been achieved by Delman and Roberts. Finally, we prove results on left-orderable $p/q$-surgeries on knots with $p$ small.
△ Less
Submitted 24 February, 2024; v1 submitted 13 July, 2023;
originally announced July 2023.
-
Blow-up of solutions for relaxed compressible Navier-Stokes equations
Authors:
Yuxi Hu,
Reinhard Racke
Abstract:
We present a blow-up result for large data for relaxed compressible Navier-Stokes models avoiding the possibility of reaching the boundary of hyperbolicity. Thus a previous result is improved and further examples are given illustrating possible effects of a relaxation and contrasting the classical compressible Navier-Stokes equations without relaxation where solutions for large data exist globally…
▽ More
We present a blow-up result for large data for relaxed compressible Navier-Stokes models avoiding the possibility of reaching the boundary of hyperbolicity. Thus a previous result is improved and further examples are given illustrating possible effects of a relaxation and contrasting the classical compressible Navier-Stokes equations without relaxation where solutions for large data exist globally.
△ Less
Submitted 3 July, 2023;
originally announced July 2023.