-
Resonant modes of two hard inclusions within a soft elastic material and their stress estimate
Authors:
Hongjie Li,
Longjuan Xu
Abstract:
In this paper, we are concerned with subwavelength resonant modes of two hard inclusions embedding in soft elastic materials to realize negative materials in elasticity. All the $12$ subwavelength resonant frequencies are derived explicitly for general convex resonators. In addition, the resonant modes are categorized into dipolar, quadrupolar, and hybrid groups, facilitating the effective realiza…
▽ More
In this paper, we are concerned with subwavelength resonant modes of two hard inclusions embedding in soft elastic materials to realize negative materials in elasticity. All the $12$ subwavelength resonant frequencies are derived explicitly for general convex resonators. In addition, the resonant modes are categorized into dipolar, quadrupolar, and hybrid groups, facilitating the effective realization of negative mass density, negative shear modulus and double-negative properties (both mass density and shear modulus) in elastic metamaterials. Moreover, we analyze the stress distribution between two hard inclusions when they are closely touching. We also precisely derive the sharp blow-up rates of the gradient estimates of the resonant modes. Our findings show that certain resonant modes have bounded stress estimates when the curvature of the hard inclusions is appropriately designed. These results provide valuable insights into the stability of the design and fabrication of elastic metamaterials. Lastly, we express the scattering wave fields explicitly in terms of resonant modes, offering a clear understanding of their impact on the overall scattering behavior.
△ Less
Submitted 29 July, 2024;
originally announced July 2024.
-
Reflected backward stochastic differential equations with rough drivers
Authors:
Hanwu Li,
Huilin Zhang,
Kuan Zhang
Abstract:
In this paper, we study reflected backward stochastic differential equations driven by rough paths (rough RBSDEs), which can be understood as a probabilistic representation of nonlinear rough partial differential equations (rough PDEs) or stochastic partial differential equations (SPDEs) with obstacles. The well-posedness in the sense of \cite{DF} is proved via a variant of Doss-Sussman transforma…
▽ More
In this paper, we study reflected backward stochastic differential equations driven by rough paths (rough RBSDEs), which can be understood as a probabilistic representation of nonlinear rough partial differential equations (rough PDEs) or stochastic partial differential equations (SPDEs) with obstacles. The well-posedness in the sense of \cite{DF} is proved via a variant of Doss-Sussman transformation. Moreover, we show that our rough RBSDEs can be approximated by a sequence of penalized BSDEs with rough drivers. As applications, firstly we provide the equivalence between rough RBSDEs and the obstacle problem of rough PDEs. Secondly, we show the solution of rough RBSDE solves the corresponding optimal stopping problem.
△ Less
Submitted 25 July, 2024;
originally announced July 2024.
-
Higher order parabolic systems with piecewise DMO and Hölder continuous coefficients
Authors:
Hongjie Dong,
Haigang Li,
Longjuan Xu
Abstract:
In this paper, we are concerned with divergence form, higher-order parabolic systems in a cylindrical domain with a finite number of subdomains. We establish $L_\infty$ and Schauder estimates of solutions when the leading coefficients and the non-homogeneous term exhibit piecewise Dini mean oscillation and piecewise Hölder continuity, respectively. To the best of our knowledge, our results are new…
▽ More
In this paper, we are concerned with divergence form, higher-order parabolic systems in a cylindrical domain with a finite number of subdomains. We establish $L_\infty$ and Schauder estimates of solutions when the leading coefficients and the non-homogeneous term exhibit piecewise Dini mean oscillation and piecewise Hölder continuity, respectively. To the best of our knowledge, our results are new for higher-order elliptic and parabolic systems.
△ Less
Submitted 24 July, 2024;
originally announced July 2024.
-
Randomized dual singular value decomposition
Authors:
Mengyu Wang,
Jingchun Zhou,
Hanyu Li
Abstract:
We first propose a concise singular value decomposition of dual matrices. Then, the randomized version of the decomposition is presented. It can significantly reduce the computational cost while maintaining the similar accuracy. We analyze the theoretical properties and illuminate the numerical performance of the randomized algorithm.
We first propose a concise singular value decomposition of dual matrices. Then, the randomized version of the decomposition is presented. It can significantly reduce the computational cost while maintaining the similar accuracy. We analyze the theoretical properties and illuminate the numerical performance of the randomized algorithm.
△ Less
Submitted 23 July, 2024;
originally announced July 2024.
-
Distributional limits of graph cuts on discretized grids
Authors:
Leo Suchan,
Housen Li,
Axel Munk
Abstract:
Graph cuts are among the most prominent tools for clustering and classification analysis. While intensively studied from geometric and algorithmic perspectives, graph cut-based statistical inference still remains elusive to a certain extent. Distributional limits are fundamental in understanding and designing such statistical procedures on randomly sampled data. We provide explicit limiting distri…
▽ More
Graph cuts are among the most prominent tools for clustering and classification analysis. While intensively studied from geometric and algorithmic perspectives, graph cut-based statistical inference still remains elusive to a certain extent. Distributional limits are fundamental in understanding and designing such statistical procedures on randomly sampled data. We provide explicit limiting distributions for balanced graph cuts in general on a fixed but arbitrary discretization. In particular, we show that Minimum Cut, Ratio Cut and Normalized Cut behave asymptotically as the minimum of Gaussians as sample size increases. Interestingly, our results reveal a dichotomy for Cheeger Cut: The limiting distribution of the optimal objective value is the minimum of Gaussians only when the optimal partition yields two sets of unequal volumes, while otherwise the limiting distribution is the minimum of a random mixture of Gaussians. Further, we show the bootstrap consistency for all types of graph cuts by utilizing the directional differentiability of cut functionals. We validate these theoretical findings by Monte Carlo experiments, and examine differences between the cuts and the dependency on the underlying distribution. Additionally, we expand our theoretical findings to the Xist algorithm, a computational surrogate of graph cuts recently proposed in Suchan, Li and Munk (arXiv, 2023), thus demonstrating the practical applicability of our findings e.g. in statistical tests.
△ Less
Submitted 21 July, 2024;
originally announced July 2024.
-
Unipotent radicals, one-dimensional transitive groups, and solvable factors of classical groups
Authors:
Tao Feng,
Cai Heng Li,
Conghui Li,
Lei Wang,
Binzhou Xia,
Hanlin Zou
Abstract:
By developing a tangible way to decompose unipotent radicals into irreducible submodules of Singer cycles, we achieve a classification of solvable factors of finite classical groups of Lie type. This completes previous work on factorizations of classical groups with a solvable factor. In particular, it resolves the final uncertain case in the long-standing problem of determining exact factorizatio…
▽ More
By developing a tangible way to decompose unipotent radicals into irreducible submodules of Singer cycles, we achieve a classification of solvable factors of finite classical groups of Lie type. This completes previous work on factorizations of classical groups with a solvable factor. In particular, it resolves the final uncertain case in the long-standing problem of determining exact factorizations of almost simple groups. As a byproduct of the classification, we also obtain a new characterization of one-dimensional transitive groups, offering further insights into their group structure.
△ Less
Submitted 17 July, 2024;
originally announced July 2024.
-
A nonabelian circle method
Authors:
Nuno Arala,
Jayce R. Getz,
Jiaqi Hou,
Chun-Hsien Hsu,
Huajie Li,
Victor Y. Wang
Abstract:
We count integral quaternion zeros of $γ_1^2 \pm \dots \pm γ_n^2$, giving an asymptotic when $n\ge 9$, and a likely near-optimal bound when $n=8$. To do so, we introduce a new, nonabelian delta symbol method, which is of independent interest. Our asymptotic at height $X$ takes the form $cX^{4n-8} + O(X^{3n+\varepsilon})$ for suitable $c \in \mathbb{C}$ and any $\varepsilon>0.$ We construct special…
▽ More
We count integral quaternion zeros of $γ_1^2 \pm \dots \pm γ_n^2$, giving an asymptotic when $n\ge 9$, and a likely near-optimal bound when $n=8$. To do so, we introduce a new, nonabelian delta symbol method, which is of independent interest. Our asymptotic at height $X$ takes the form $cX^{4n-8} + O(X^{3n+\varepsilon})$ for suitable $c \in \mathbb{C}$ and any $\varepsilon>0.$ We construct special subvarieties implying that, in general, $3n+\varepsilon$ can be at best improved to $3n-2.$
△ Less
Submitted 19 July, 2024; v1 submitted 16 July, 2024;
originally announced July 2024.
-
MgFNO: Multi-grid Architecture Fourier Neural Operator for Parametric Partial Differential Equations
Authors:
Zi-Hao Guo,
Hou-Biao Li
Abstract:
In science and engineering, there is often a need to repeatedly solve large-scale and high-resolution partial differential equations (PDEs). Neural operators are a new type of models that can map between function spaces, allowing trained models to emulate the solution operators of PDEs. This paper introduces a novel Fourier neural operator with a multigrid architecture (MgFNO). The MgFNO combines…
▽ More
In science and engineering, there is often a need to repeatedly solve large-scale and high-resolution partial differential equations (PDEs). Neural operators are a new type of models that can map between function spaces, allowing trained models to emulate the solution operators of PDEs. This paper introduces a novel Fourier neural operator with a multigrid architecture (MgFNO). The MgFNO combines the frequency principle of deep neural networks (DNNs) with the multigrid idea for solving linear systems. To speed up the training process of the FNO, a three-layer V-cycle multigrid architecture is used. This architecture involves training the model multiple times on a coarse grid and then transferring it to a fine grid to accelerate the training of the model. The DNN-based solver learns the solution from low to high frequency, while the multigrid method acquires the solution from high to low frequency. Note that the FNO is a resolution-invariant solution operator, therefore the corresponding calculations are greatly simplified. Finally, experiments are conducted on Burgers' equation, Darcy flow, and Navier-Stokes equation. The results demonstrate that the proposed MgFNO outperforms the traditional Fourier neural operator.
△ Less
Submitted 11 July, 2024;
originally announced July 2024.
-
Properties of Besov-Lorentz spaces and application to Navier-Stokes equations
Authors:
Qixiang Yang,
Hongwei Li
Abstract:
Inspired by Caffarelli-Kohn-Nirenberg, Fefferman and Lin, we try to investigate how to control the set of large value points for the strong solution of Navier-Stokes equations. Besov-Lorentz spaces have multiple indices which can reflect complex changes of the set of the large value points. Hence we consider some properties of Gauss flow, paraproduct flow and couple flow related to the Besov-Loren…
▽ More
Inspired by Caffarelli-Kohn-Nirenberg, Fefferman and Lin, we try to investigate how to control the set of large value points for the strong solution of Navier-Stokes equations. Besov-Lorentz spaces have multiple indices which can reflect complex changes of the set of the large value points. Hence we consider some properties of Gauss flow, paraproduct flow and couple flow related to the Besov-Lorentz spaces. When dealing with Lorentz index, we use wavelets and maximum norm to describe the decay situation in the binary time ring and to define time-frequency microlocal maximum norm space. We use maximum operator, $α$-triangle inequality and Hölder inequality etc to get accurate estimates. As an application, we get a global wellposedness result of the Navier-Stokes equations where the solution can reflect how the size of the set of large value points changes.
△ Less
Submitted 4 July, 2024;
originally announced July 2024.
-
On $δ$-Stable Minimal Hypersurfaces in $\mathbb{R}^{n+1}$
Authors:
Han Hong,
Haizhong Li,
Gaoming Wang
Abstract:
In this paper, we extend several results established for stable minimal hypersurfaces to $δ$-stable minimal hypersurfaces. These include the regularity and compactness theorems for immersed $δ$-stable minimal hypersurfaces in $\mathbb{R}^{n+1}$ when $n \geq 3$ and $δ> \frac{n-2}{n}$, as well as the $δ$-stable Bernstein theorem for $n=3$ and $n=4$ for properly immersion. The range of $δ$ is optimal…
▽ More
In this paper, we extend several results established for stable minimal hypersurfaces to $δ$-stable minimal hypersurfaces. These include the regularity and compactness theorems for immersed $δ$-stable minimal hypersurfaces in $\mathbb{R}^{n+1}$ when $n \geq 3$ and $δ> \frac{n-2}{n}$, as well as the $δ$-stable Bernstein theorem for $n=3$ and $n=4$ for properly immersion. The range of $δ$ is optimal, as the $n$-dimensional catenoid in $\mathbb{R}^{n+1}$ is $\frac{n-2}{n}$-stable.
△ Less
Submitted 3 July, 2024;
originally announced July 2024.
-
High-order Uncertain Differential Equation and Its Application to Nuclear Reactors
Authors:
Hao Li,
Yuqian Wang
Abstract:
High-order uncertain differential equation (HUDE) was introduced in literature. But the present method to solve a HUDE is incorrect. In this paper, we will rigorously prove some comparion theorems of high-order differential equations, and present a method to solve a family of HUDE, including parameter estimation and hypothesis test. Then an application to nuclear reactor kinetics is given to illus…
▽ More
High-order uncertain differential equation (HUDE) was introduced in literature. But the present method to solve a HUDE is incorrect. In this paper, we will rigorously prove some comparion theorems of high-order differential equations, and present a method to solve a family of HUDE, including parameter estimation and hypothesis test. Then an application to nuclear reactor kinetics is given to illustrate the method.
△ Less
Submitted 3 July, 2024;
originally announced July 2024.
-
A Note on Improved bounds for the Oriented Radius of Mixed Multigraphs
Authors:
Hengzhe Li,
Zhiwei Ding,
Jianbing Liu,
Yanhong Gao,
Shuli Zhao
Abstract:
For a positive integer $r$, let $f(r)$ denote the smallest number such that any 2-edge connected mixed graph with radius $r$ has an oriented radius of at most $f(r)$. Recently, Babu, Benson, and Rajendraprasad significantly improved the upper bound of $f(r)$ by establishing that $f(r) \leq 1.5r^2 + r + 1$, see [Improved bounds for the oriented radius of mixed multigraphs, J. Graph Theory, 103 (202…
▽ More
For a positive integer $r$, let $f(r)$ denote the smallest number such that any 2-edge connected mixed graph with radius $r$ has an oriented radius of at most $f(r)$. Recently, Babu, Benson, and Rajendraprasad significantly improved the upper bound of $f(r)$ by establishing that $f(r) \leq 1.5r^2 + r + 1$, see [Improved bounds for the oriented radius of mixed multigraphs, J. Graph Theory, 103 (2023), 674-689]. Additionally, they demonstrated that if each edge of a graph $G$ is contained within a cycle of length at most $η$, then the oriented radius of $G$ is at most $1.5rη$. The authors' results were derived through Observation 1, which served as the foundation for the development of Algorithm ORIENTOUT and Algorithm ORIENTIN. By integrating these algorithms, they obtained the improved bounds. However, an error has been identified in Observation 1, necessitating revisions to Algorithm ORIENTOUT and Algorithm ORIENTIN. In this note, we address the error and propose the necessary modifications to both algorithms, thereby ensuring the correctness of the conclusions.
△ Less
Submitted 27 June, 2024;
originally announced July 2024.
-
On the boundedness of degenerate hypergraphs
Authors:
Jianfeng Hou,
Caiyun Hu,
Heng Li,
Xizhi Liu,
Caihong Yang,
Yixiao Zhang
Abstract:
We investigate the impact of a high-degree vertex in Turán problems for degenerate hypergraphs (including graphs). We say an $r$-graph $F$ is bounded if there exist constants $α, β>0$ such that for large $n$, every $n$-vertex $F$-free $r$-graph with a vertex of degree at least $α\binom{n-1}{r-1}$ has fewer than $(1-β) \cdot \mathrm{ex}(n,F)$ edges. The boundedness property is crucial for recent wo…
▽ More
We investigate the impact of a high-degree vertex in Turán problems for degenerate hypergraphs (including graphs). We say an $r$-graph $F$ is bounded if there exist constants $α, β>0$ such that for large $n$, every $n$-vertex $F$-free $r$-graph with a vertex of degree at least $α\binom{n-1}{r-1}$ has fewer than $(1-β) \cdot \mathrm{ex}(n,F)$ edges. The boundedness property is crucial for recent works~\cite{HHLLYZ23a,DHLY24} that aim to extend the classical Hajnal--Szemerédi Theorem and the anti-Ramsey theorems of Erdős--Simonovits--Sós.
We show that many well-studied degenerate hypergraphs, such as all even cycles, most complete bipartite graphs, and the expansion of most complete bipartite graphs, are bounded. In addition, to prove the boundedness of the expansion of complete bipartite graphs, we introduce and solve a Zarankiewicz-type problem for $3$-graphs, strengthening a theorem by Kostochka--Mubayi--Verstraëte~\cite{KMV15}.
△ Less
Submitted 29 June, 2024;
originally announced July 2024.
-
Separable integer partition classes and partitions with congruence conditions
Authors:
Thomas Y. He,
C. S. Huang,
H. X. Li,
X. Zhang
Abstract:
In this article, we first investigate the partitions whose parts are congruent to $a$ or $b$ modulo $k$ with the aid of separable integer partition classes with modulus $k$ introduced by Andrews. Then, we introduce the $(k,r)$-overpartitions in which only parts equivalent to $r$ modulo $k$ may be overlined and we will show that the number of $(k,k)$-overpartitions of $n$ equals the number of parti…
▽ More
In this article, we first investigate the partitions whose parts are congruent to $a$ or $b$ modulo $k$ with the aid of separable integer partition classes with modulus $k$ introduced by Andrews. Then, we introduce the $(k,r)$-overpartitions in which only parts equivalent to $r$ modulo $k$ may be overlined and we will show that the number of $(k,k)$-overpartitions of $n$ equals the number of partitions of $n$ such that the $k$-th occurrence of a part may be overlined. Finally, we extend separable integer partition classes with modulus $k$ to overpartitions and then give the generating function for $(k,r)$-modulo overpartitions, which are the $(k,r)$-overpartitions satisfying certain congruence conditions.
△ Less
Submitted 28 June, 2024;
originally announced June 2024.
-
Examples of non-scattering inhomogeneities
Authors:
Lucas Chesnel,
Houssem Haddar,
Hongjie Li,
Jingni Xiao
Abstract:
We consider the scattering of waves by a penetrable inclusion embedded in some reference medium. We exhibit examples of materials and geometries for which non-scattering frequencies exist, i.e., for which at some frequencies there are incident fields which produce null scattered fields outside of the inhomogeneity. We show in particular that certain domains with corners or even cusps can support n…
▽ More
We consider the scattering of waves by a penetrable inclusion embedded in some reference medium. We exhibit examples of materials and geometries for which non-scattering frequencies exist, i.e., for which at some frequencies there are incident fields which produce null scattered fields outside of the inhomogeneity. We show in particular that certain domains with corners or even cusps can support non-scattering frequencies. We relate the latter, for some inclusions, to resonance frequencies for Dirichlet or Neumann cavities. We also find situations where incident non-scattering fields solve the Helmholtz equation in a neighborhood of the inhomogeneity and not in the whole space. Finally, in relation with invisibility, we give examples of inclusions of anisotropic materials which are non-scattering for all real frequencies. We prove that corresponding material indices must have a special structure on the boundary.
△ Less
Submitted 25 June, 2024;
originally announced June 2024.
-
The small boundary property in products
Authors:
David Kerr,
Hanfeng Li
Abstract:
For a continuous action $G\curvearrowright X$ of a countable group on a compact metrizable space we show that the following are equivalent: (i) the action $G\curvearrowright X$ has the small boundary property and no finite orbits, (ii) for every continuous action $H\curvearrowright Y$ of a countable group on a compact metrizable space, the product action $G\times H\curvearrowright X\times Y$ has t…
▽ More
For a continuous action $G\curvearrowright X$ of a countable group on a compact metrizable space we show that the following are equivalent: (i) the action $G\curvearrowright X$ has the small boundary property and no finite orbits, (ii) for every continuous action $H\curvearrowright Y$ of a countable group on a compact metrizable space, the product action $G\times H\curvearrowright X\times Y$ has the small boundary property. In particular, (ii) is automatic when $G$ is infinite and the action $G\curvearrowright X$ is minimal and has the small boundary property. The argument relies on a small boundary version of the Urysohn lemma.
△ Less
Submitted 18 June, 2024;
originally announced June 2024.
-
K-contact manifolds with minimal closed Reeb orbits
Authors:
Hui Li
Abstract:
We use the Boothby-Wang fibration to construct certain simply connected K-contact manifolds and we give sufficient and necessary conditions on when such K-contact manifolds are homeomorphic to the odd dimensional spheres. For the symplectic base manifold of the fibration which admits a Hamiltonian torus action, we show that the total space of the fibration admits other than the above K-contact str…
▽ More
We use the Boothby-Wang fibration to construct certain simply connected K-contact manifolds and we give sufficient and necessary conditions on when such K-contact manifolds are homeomorphic to the odd dimensional spheres. For the symplectic base manifold of the fibration which admits a Hamiltonian torus action, we show that the total space of the fibration admits other than the above K-contact structures whose closed Reeb orbits correspond exactly to the fixed points of the Hamiltonian circle action on the base manifold. Then we give a collection of examples of compact simply connected K-contact manifolds with minimal number of closed Reeb orbits which are not homeomorphic to the odd dimensional spheres, while having the real cohomology ring of the spheres. Finally, we give a family of examples of simply connected K-contact manifolds which have one more than the minimal number of closed Reeb orbits and which do not have the real cohomology ring of the spheres.
△ Less
Submitted 16 June, 2024;
originally announced June 2024.
-
Efficient combination of observational and experimental datasets under general restrictions on outcome mean functions
Authors:
Harrison H. Li
Abstract:
A researcher collecting data from a randomized controlled trial (RCT) often has access to an auxiliary observational dataset that may be confounded or otherwise biased for estimating causal effects. Common modeling assumptions impose restrictions on the outcome mean function - the conditional expectation of the outcome of interest given observed covariates - in the two datasets. Running examples f…
▽ More
A researcher collecting data from a randomized controlled trial (RCT) often has access to an auxiliary observational dataset that may be confounded or otherwise biased for estimating causal effects. Common modeling assumptions impose restrictions on the outcome mean function - the conditional expectation of the outcome of interest given observed covariates - in the two datasets. Running examples from the literature include settings where the observational dataset is subject to outcome-mediated selection bias or to confounding bias taking an assumed parametric form. We propose a succinct framework to derive the efficient influence function for any identifiable pathwise differentiable estimand under a general class of restrictions on the outcome mean function. This uncovers surprising results that with homoskedastic outcomes and a constant propensity score in the RCT, even strong parametric assumptions cannot improve the semiparametric lower bound for estimating various average treatment effects. We then leverage double machine learning to construct a one-step estimator that achieves the semiparametric efficiency bound even in cases when the outcome mean function and other nuisance parameters are estimated nonparametrically. The goal is to empower a researcher with custom, previously unstudied modeling restrictions on the outcome mean function to systematically construct causal estimators that maximially leverage their assumptions for variance reduction. We demonstrate the finite sample precision gains of our estimator over existing approaches in extensions of various numerical studies and data examples from the literature.
△ Less
Submitted 29 July, 2024; v1 submitted 11 June, 2024;
originally announced June 2024.
-
Boundedness of Multiparameter Forelli-Rudin Type Operators on Product $L^p$ Spaces over Tubular Domains
Authors:
Lvchang Li,
Yuheng Liang,
Haichou Li
Abstract:
In this paper, we introduce and study two classes of multiparameter Forelli-Rudin type operators from $L^{\vec{p}}\left(T_B\times T_B, dV_{α_1}\times dV_{α_2}\right)$ to $L^{\vec{q}}\left(T_B\times T_B, dV_{β_1}\times dV_{β_2}\right)$, especially on their boundedness, where $L^{\vec{p}}\left(T_B\times T_B, dV_{α_1}\times dV_{α_2}\right)$ and…
▽ More
In this paper, we introduce and study two classes of multiparameter Forelli-Rudin type operators from $L^{\vec{p}}\left(T_B\times T_B, dV_{α_1}\times dV_{α_2}\right)$ to $L^{\vec{q}}\left(T_B\times T_B, dV_{β_1}\times dV_{β_2}\right)$, especially on their boundedness, where $L^{\vec{p}}\left(T_B\times T_B, dV_{α_1}\times dV_{α_2}\right)$ and $L^{\vec{q}}\left(T_B\times T_B, dV_{β_1}\times dV_{β_2}\right)$ are both weighted Lebesgue spaces over the Cartesian product of two tubular domains $T_B\times T_B$, with mixed-norm and appropriate weights. We completely characterize the boundedness of these two operators when $1\le \vec{p}\le \vec{q}<\infty$. Moreover, we provide the necessary and sufficient condition of the case that $\vec{q}=(\infty,\infty)$. As an application, we obtain the boundedness of three common classes of integral operators, including the weighted multiparameter Bergman-type projection and the weighted multiparameter Berezin-type transform.
△ Less
Submitted 7 June, 2024;
originally announced June 2024.
-
Affine vertex operator superalgebra $L_{\widehat{osp(1|2)}}(\mathcal{l},0)$ at admissible level
Authors:
Huaimin Li,
Qing Wang
Abstract:
Let $L_{\widehat{osp(1|2)}}(\mathcal{l},0)$ be the simple affine vertex operator superalgebra with admissible level $\mathcal{l}$. We prove that the category of weak $L_{\widehat{osp(1|2)}}(\mathcal{l},0)$-modules on which the positive part of $\widehat{osp(1|2)}$ acts locally nilpotent is semisimple. Then we prove that $\mathbb{Q}$-graded vertex operator superalgebras…
▽ More
Let $L_{\widehat{osp(1|2)}}(\mathcal{l},0)$ be the simple affine vertex operator superalgebra with admissible level $\mathcal{l}$. We prove that the category of weak $L_{\widehat{osp(1|2)}}(\mathcal{l},0)$-modules on which the positive part of $\widehat{osp(1|2)}$ acts locally nilpotent is semisimple. Then we prove that $\mathbb{Q}$-graded vertex operator superalgebras $(L_{\widehat{osp(1|2)}}(\mathcal{l},0),ω_ξ)$ with new Virasoro elements $ω_ξ$ are rational and the irreducible modules are exactly the admissible modules for $\widehat{osp(1|2)}$, where $0<ξ<1$ is a rational number. Furthermore, we determine the Zhu's algebras $A(L_{\widehat{osp(1|2)}}(\mathcal{l},0))$ and their bimodules $A(L(\mathcal{l},\mathcal{j}))$ for $(L_{\widehat{osp(1|2)}}(\mathcal{l},0),ω_ξ)$, where $\mathcal{j}$ is the admissible weight. As an application, we calculate the fusion rules among the irreducible ordinary modules of $(L_{\widehat{osp(1|2)}}(\mathcal{l},0),ω_ξ)$.
△ Less
Submitted 3 June, 2024;
originally announced June 2024.
-
Some ergodic theorems over squarefree numbers
Authors:
Huixi Li,
Biao Wang,
Chunlin Wang,
Shaoyun Yi
Abstract:
In 2022, Bergelson and Richter gave a new dynamical generalization of the prime number theorem by establishing an ergodic theorem along the number of prime factors of integers. They also showed that this generalization holds as well if the integers are restricted to be squarefree. In this paper, we present the concept of invariant averages under multiplications for arithmetic functions. Utilizing…
▽ More
In 2022, Bergelson and Richter gave a new dynamical generalization of the prime number theorem by establishing an ergodic theorem along the number of prime factors of integers. They also showed that this generalization holds as well if the integers are restricted to be squarefree. In this paper, we present the concept of invariant averages under multiplications for arithmetic functions. Utilizing the properties of these invariant averages, we derive several ergodic theorems over squarefree numbers. These theorems have significant connections to the Erdős-Kac Theorem, the Bergelson-Richter Theorem, and the Loyd Theorem.
△ Less
Submitted 28 May, 2024;
originally announced May 2024.
-
Restarted Primal-Dual Hybrid Conjugate Gradient Method for Large-Scale Quadratic Programming
Authors:
Yicheng Huang,
Wanyu Zhang,
Hongpei Li,
Weihan Xue,
Dongdong Ge,
Huikang Liu,
Yinyu Ye
Abstract:
Convex quadratic programming (QP) is an essential class of optimization problems with broad applications across various fields. Traditional QP solvers, typically based on simplex or barrier methods, face significant scalability challenges. In response to these limitations, recent research has shifted towards matrix-free first-order methods to enhance scalability in QP. Among these, the restarted a…
▽ More
Convex quadratic programming (QP) is an essential class of optimization problems with broad applications across various fields. Traditional QP solvers, typically based on simplex or barrier methods, face significant scalability challenges. In response to these limitations, recent research has shifted towards matrix-free first-order methods to enhance scalability in QP. Among these, the restarted accelerated primal-dual hybrid gradient (rAPDHG) method, proposed by H.Lu(2023), has gained notable attention due to its linear convergence rate to an optimal solution and its straightforward implementation on Graphics Processing Units (GPUs). Building on this framework, this paper introduces a restarted primal-dual hybrid conjugate gradient (PDHCG) method, which incorporates conjugate gradient (CG) techniques to address the primal subproblems inexactly. We demonstrate that PDHCG maintains a linear convergence rate with an improved convergence constant and is also straightforward to implement on GPUs. Extensive numerical experiments affirm that, compared to rAPDHG, our method could significantly reduce the number of iterations required to achieve the desired accuracy and offer a substantial performance improvement in large-scale problems. These findings highlight the significant potential of our proposed PDHCG method to boost both the efficiency and scalability of solving complex QP challenges.
△ Less
Submitted 25 May, 2024;
originally announced May 2024.
-
The Power of Extrapolation in Federated Learning
Authors:
Hanmin Li,
Kirill Acharya,
Peter Richtárik
Abstract:
We propose and study several server-extrapolation strategies for enhancing the theoretical and empirical convergence properties of the popular federated learning optimizer FedProx [Li et al., 2020]. While it has long been known that some form of extrapolation can help in the practice of FL, only a handful of works provide any theoretical guarantees. The phenomenon seems elusive, and our current th…
▽ More
We propose and study several server-extrapolation strategies for enhancing the theoretical and empirical convergence properties of the popular federated learning optimizer FedProx [Li et al., 2020]. While it has long been known that some form of extrapolation can help in the practice of FL, only a handful of works provide any theoretical guarantees. The phenomenon seems elusive, and our current theoretical understanding remains severely incomplete. In our work, we focus on smooth convex or strongly convex problems in the interpolation regime. In particular, we propose Extrapolated FedProx (FedExProx), and study three extrapolation strategies: a constant strategy (depending on various smoothness parameters and the number of participating devices), and two smoothness-adaptive strategies; one based on the notion of gradient diversity (FedExProx-GraDS), and the other one based on the stochastic Polyak stepsize (FedExProx-StoPS). Our theory is corroborated with carefully constructed numerical experiments.
△ Less
Submitted 5 June, 2024; v1 submitted 22 May, 2024;
originally announced May 2024.
-
Multivariate strong invariance principle and uncertainty assessment for time in-homogeneous cyclic MCMC samplers
Authors:
Haoxiang Li,
Qian Qin
Abstract:
Time in-homogeneous cyclic Markov chain Monte Carlo (MCMC) samplers, including deterministic scan Gibbs samplers and Metropolis within Gibbs samplers, are extensively used for sampling from multi-dimensional distributions. We establish a multivariate strong invariance principle (SIP) for Markov chains associated with these samplers. The rate of this SIP essentially aligns with the tightest rate av…
▽ More
Time in-homogeneous cyclic Markov chain Monte Carlo (MCMC) samplers, including deterministic scan Gibbs samplers and Metropolis within Gibbs samplers, are extensively used for sampling from multi-dimensional distributions. We establish a multivariate strong invariance principle (SIP) for Markov chains associated with these samplers. The rate of this SIP essentially aligns with the tightest rate available for time homogeneous Markov chains. The SIP implies the strong law of large numbers (SLLN) and the central limit theorem (CLT), and plays an essential role in uncertainty assessments. Using the SIP, we give conditions under which the multivariate batch means estimator for estimating the covariance matrix in the multivariate CLT is strongly consistent. Additionally, we provide conditions for a multivariate fixed volume sequential termination rule, which is associated with the concept of effective sample size (ESS), to be asymptotically valid. Our uncertainty assessment tools are demonstrated through various numerical experiments.
△ Less
Submitted 16 May, 2024;
originally announced May 2024.
-
Mean Reflected Backward Stochastic Differential Equations Driven by G-Brownian Motion with Double Constraints
Authors:
Wei He,
Hanwu Li
Abstract:
In this paper, we study the backward stochastic differential equations driven by G-Brownian motion with double mean reflections, which means that the constraints are made on the law of the solution. Making full use of the backward Skorokhod problem with two nonlinear reflecting boundaries and the fixed-point theory, the existence and uniqueness of solutions are established. We also consider the ca…
▽ More
In this paper, we study the backward stochastic differential equations driven by G-Brownian motion with double mean reflections, which means that the constraints are made on the law of the solution. Making full use of the backward Skorokhod problem with two nonlinear reflecting boundaries and the fixed-point theory, the existence and uniqueness of solutions are established. We also consider the case where the coefficients satisfy a non-Lipschitz condition using the Picard iteration argument only for the Y component. Moreover, some basic properties including a new version of comparison theorem and connection with a deterministic optimization problem are also obtained.
△ Less
Submitted 15 May, 2024;
originally announced May 2024.
-
Toeplitz Operators and Berezin-type Operators on Different Bergman Spaces
Authors:
Lvchang Li,
Haichou Li
Abstract:
In the present paper, we study the boundedness and compactness of Toeplitz operators and Berezin-type operators between different weighted Bergman spaces over tubular domains in $\mathbb{C}^n$. We establish their connection with Carleson measures and provide some characterizations.
In the present paper, we study the boundedness and compactness of Toeplitz operators and Berezin-type operators between different weighted Bergman spaces over tubular domains in $\mathbb{C}^n$. We establish their connection with Carleson measures and provide some characterizations.
△ Less
Submitted 5 June, 2024; v1 submitted 13 May, 2024;
originally announced May 2024.
-
Classification of solutions to the isotropic horospherical $p$-Minkowski problem in hyperbolic plane
Authors:
Haizhong Li,
Yao Wan
Abstract:
In \cite{LX}, the first author and Xu introduced and studied the horospherical $p$-Minkowski problem in hyperbolic space $\mathbb{H}^{n+1}$. In particular, they established the uniqueness result for solutions to this problem when the prescribed function is constant and $p\ge -n$. This paper focuses on the isotropic horospherical $p$-Minkowski problem in hyperbolic plane $\mathbb{H}^{2}$, which cor…
▽ More
In \cite{LX}, the first author and Xu introduced and studied the horospherical $p$-Minkowski problem in hyperbolic space $\mathbb{H}^{n+1}$. In particular, they established the uniqueness result for solutions to this problem when the prescribed function is constant and $p\ge -n$. This paper focuses on the isotropic horospherical $p$-Minkowski problem in hyperbolic plane $\mathbb{H}^{2}$, which corresponds to the equation \begin{equation}\label{0}
\varphi^{-p}\left(\varphi_{θθ}-\frac{\varphi_θ^2}{2\varphi}+\frac{\varphi-\varphi^{-1}}{2}\right)=γ\quad\text{on}\ \mathbb{S}^1, \end{equation} where $γ$ is a positive constant. We provide a classification of solutions to the above equation for $p\ge -7$, as well as a nonuniqueness result of solutions for $p<-7$. Furthermore, we extend this problem to the isotropic horospherical $q$-weighted $p$-Minkowski problem in hyperbolic plane and derive some uniqueness and nonuniqueness results.
△ Less
Submitted 7 May, 2024;
originally announced May 2024.
-
General Procedure to Provide High-Probability Guarantees for Stochastic Saddle Point Problems
Authors:
Dongyang Li,
Haobin Li,
Junyu Zhang
Abstract:
This paper considers smooth strongly convex and strongly concave (SC-SC) stochastic saddle point (SSP) problems. Suppose there is an arbitrary oracle that in expectation returns an $ε$-solution in the sense of certain gaps, which can be the duality gap or its weaker variants. We propose a general PB-SSP framework to guarantee an $ε$ small duality gap solution with high probability via only…
▽ More
This paper considers smooth strongly convex and strongly concave (SC-SC) stochastic saddle point (SSP) problems. Suppose there is an arbitrary oracle that in expectation returns an $ε$-solution in the sense of certain gaps, which can be the duality gap or its weaker variants. We propose a general PB-SSP framework to guarantee an $ε$ small duality gap solution with high probability via only $\mathcal{O}\big(\log \frac{1}{p}\cdot\text{poly}(\log κ)\big)$ calls of this oracle, where $p\in(0,1)$ is the confidence level and $κ$ is the condition number. When applied to the sample average approximation (SAA) oracle, in addition to equipping the solution with high probability, our approach even improves the sample complexity by a factor of $\text{poly}(κ)$, since the high-probability argument enables us to circumvent some key difficulties of the uniform stability analysis of SAA.
△ Less
Submitted 28 June, 2024; v1 submitted 6 May, 2024;
originally announced May 2024.
-
Fixers and derangements of finite permutation groups
Authors:
Hong Yi Huang,
Cai Heng Li,
Yi Lin Xie
Abstract:
Let $G\leqslant\mathrm{Sym}(Ω)$ be a finite transitive permutation group with point stabiliser $H$. We say that a subgroup $K$ of $G$ is a fixer if every element of $K$ has fixed points, and we say that $K$ is large if $|K| \geqslant |H|$. There is a special interest in studying large fixers due to connections with Erdős-Ko-Rado type problems. In this paper, we classify up to conjugacy the large f…
▽ More
Let $G\leqslant\mathrm{Sym}(Ω)$ be a finite transitive permutation group with point stabiliser $H$. We say that a subgroup $K$ of $G$ is a fixer if every element of $K$ has fixed points, and we say that $K$ is large if $|K| \geqslant |H|$. There is a special interest in studying large fixers due to connections with Erdős-Ko-Rado type problems. In this paper, we classify up to conjugacy the large fixers of the almost simple primitive groups with socle $\mathrm{PSL}_2(q)$, and we use this result to verify a special case of a conjecture of Spiga on permutation characters. We also present some results on large fixers of almost simple primitive groups with socle an alternating or sporadic group.
△ Less
Submitted 29 April, 2024;
originally announced April 2024.
-
A Semilinear Elliptic Problem with Critical Exponent and Potential Terms
Authors:
Haoyu Li,
Li Ma
Abstract:
This paper addresses the following problem. \begin{equation}
\left\{
\begin{array}{lr}
-Δu=λI_α*_Ωu+|u|^{2^*-2}u\mbox{ in }Ω,\nonumber
u\in H_0^1(Ω).\nonumber
\end{array}
\right. \end{equation} Here, $Ω$ is a bounded domain in $\mathbb{R}^N$ with $N\geq3$, $2^*=\frac{2N}{N-2}$, $λ\in\mathbb{R}$, $λ\in(0,N)$, $I_α$ is the Riesz potential and \begin{align} I_α*_Ωu(x):=\int_Ω\frac{Γ(\frac{N…
▽ More
This paper addresses the following problem. \begin{equation}
\left\{
\begin{array}{lr}
-Δu=λI_α*_Ωu+|u|^{2^*-2}u\mbox{ in }Ω,\nonumber
u\in H_0^1(Ω).\nonumber
\end{array}
\right. \end{equation} Here, $Ω$ is a bounded domain in $\mathbb{R}^N$ with $N\geq3$, $2^*=\frac{2N}{N-2}$, $λ\in\mathbb{R}$, $λ\in(0,N)$, $I_α$ is the Riesz potential and \begin{align} I_α*_Ωu(x):=\int_Ω\frac{Γ(\frac{N-α}{2})}{Γ(\fracα{2})π^\frac{N}{2}2^α|x-y|^{N-α}} u(y)dy. \nonumber \end{align} We study the non-existence, existence and multiplicity results. Our argument combines Brezis-Nirenberg's method with the regularity results involving potential terms. Especially, we study the following nonlocal eigenvalue problem. \begin{equation}
\left\{
\begin{array}{lr}
-Δu=λI_α*_Ωu\mbox{ in }Ω,\nonumber
λ\in\mathbb{R},\,u\in H_0^1(Ω).\nonumber
\end{array}
\right. \end{equation}
△ Less
Submitted 29 April, 2024;
originally announced April 2024.
-
Optimal gradient estimates for the insulated conductivity problem with general convex inclusions case
Authors:
Haigang Li,
Yan Zhao
Abstract:
In this paper we study the insulated conductivity problem involving two adjacent convex insulators embedded in a bounded domain. It is known that the gradient of solutions may blow up as the distance between two inclusions tends to zero. For general convex insulators, we establish a pointwise upper bound and a lower bound of the gradient with optimal blow up rates, which are associated with the fi…
▽ More
In this paper we study the insulated conductivity problem involving two adjacent convex insulators embedded in a bounded domain. It is known that the gradient of solutions may blow up as the distance between two inclusions tends to zero. For general convex insulators, we establish a pointwise upper bound and a lower bound of the gradient with optimal blow up rates, which are associated with the first nonzero eigenvalue of an elliptic operator determined by the geometry of insulators. This extends the previous result for ball insulators in \cite{DLY}.
△ Less
Submitted 26 April, 2024;
originally announced April 2024.
-
Toeplitz Operators on Weighted Bergman Spaces over Tubular Domains
Authors:
Lvchang Li,
Jiaqing Ding,
Haichou Li
Abstract:
In this paper, we mainly study the necessary and sufficient conditions for the boundedness and compactness of Toeplitz operators on weighted Bergman spaces over a tubular domains by using the Carlson measures on tubular domains. We also give some related results about Carlson measures.
In this paper, we mainly study the necessary and sufficient conditions for the boundedness and compactness of Toeplitz operators on weighted Bergman spaces over a tubular domains by using the Carlson measures on tubular domains. We also give some related results about Carlson measures.
△ Less
Submitted 25 April, 2024;
originally announced April 2024.
-
A phase-field fracture model in thermo-poro-elastic media with micromechanical strain energy degradation
Authors:
Yuhao Liu,
Keita Yoshioka,
Tao You,
Hanzhang Li,
Fengshou Zhang
Abstract:
This work extends the hydro-mechanical phase-field fracture model to non-isothermal conditions with micromechanics based poroelasticity, which degrades Biot's coefficient not only with the phase-field variable (damage) but also with the energy decomposition scheme. Furthermore, we propose a new approach to update porosity solely determined by the strain change rather than damage evolution as in th…
▽ More
This work extends the hydro-mechanical phase-field fracture model to non-isothermal conditions with micromechanics based poroelasticity, which degrades Biot's coefficient not only with the phase-field variable (damage) but also with the energy decomposition scheme. Furthermore, we propose a new approach to update porosity solely determined by the strain change rather than damage evolution as in the existing models. As such, these poroelastic behaviors of Biot's coefficient and the porosity dictate Biot's modulus and the thermal expansion coefficient. For numerical implementation, we employ an isotropic diffusion method to stabilize the advection-dominated heat flux and adapt the fixed stress split method to account for the thermal stress. We verify our model against a series of analytical solutions such as Terzaghi's consolidation, thermal consolidation, and the plane strain hydraulic fracture propagation, known as the KGD fracture. Finally, numerical experiments demonstrate the effectiveness of the stabilization method and intricate thermo-hydro-mechanical interactions during hydraulic fracturing with and without a pre-existing weak interface.
△ Less
Submitted 5 April, 2024;
originally announced April 2024.
-
FCNCP: A Coupled Nonnegative CANDECOMP/PARAFAC Decomposition Based on Federated Learning
Authors:
Yukai Cai,
Hang Liu,
Xiulin Wang,
Hongjin Li,
Ziyi Wang,
Chuanshuai Yang,
Fengyu Cong
Abstract:
In the field of brain science, data sharing across servers is becoming increasingly challenging due to issues such as industry competition, privacy security, and administrative procedure policies and regulations. Therefore, there is an urgent need to develop new methods for data analysis and processing that enable scientific collaboration without data sharing. In view of this, this study proposes…
▽ More
In the field of brain science, data sharing across servers is becoming increasingly challenging due to issues such as industry competition, privacy security, and administrative procedure policies and regulations. Therefore, there is an urgent need to develop new methods for data analysis and processing that enable scientific collaboration without data sharing. In view of this, this study proposes to study and develop a series of efficient non-negative coupled tensor decomposition algorithm frameworks based on federated learning called FCNCP for the EEG data arranged on different servers. It combining the good discriminative performance of tensor decomposition in high-dimensional data representation and decomposition, the advantages of coupled tensor decomposition in cross-sample tensor data analysis, and the features of federated learning for joint modelling in distributed servers. The algorithm utilises federation learning to establish coupling constraints for data distributed across different servers. In the experiments, firstly, simulation experiments are carried out using simulated data, and stable and consistent decomposition results are obtained, which verify the effectiveness of the proposed algorithms in this study. Then the FCNCP algorithm was utilised to decompose the fifth-order event-related potential (ERP) tensor data collected by applying proprioceptive stimuli on the left and right hands. It was found that contralateral stimulation induced more symmetrical components in the activation areas of the left and right hemispheres. The conclusions drawn are consistent with the interpretations of related studies in cognitive neuroscience, demonstrating that the method can efficiently process higher-order EEG data and that some key hidden information can be preserved.
△ Less
Submitted 18 April, 2024;
originally announced April 2024.
-
Stabilities in Banach spaces with skew-adjoint Fredholm operators
Authors:
Hanchen Li,
Chaofeng Zhu
Abstract:
In this paper, we prove the stability theorems for the isotropic perturbations of Lagrangian subspaces and maximal isotropic subspaces in strong symplectic Banach spaces. Then we prove a stability theorem for the mod $2$ dimensions of kernel of skew-adjoint Fredholm linear relations between real Banach spaces with index $0$. Finally we gives the path components of the set of skew-adjoint Fredholm…
▽ More
In this paper, we prove the stability theorems for the isotropic perturbations of Lagrangian subspaces and maximal isotropic subspaces in strong symplectic Banach spaces. Then we prove a stability theorem for the mod $2$ dimensions of kernel of skew-adjoint Fredholm linear relations between real Banach spaces with index $0$. Finally we gives the path components of the set of skew-adjoint Fredholm linear relations between real Banach spaces with indices $0$.
△ Less
Submitted 12 April, 2024;
originally announced April 2024.
-
Global Large Solution to Navier-Stokes and SQG Equations with Time Oscillation
Authors:
Yiran Xu,
Haina Li
Abstract:
In this paper, we consider the model of 3D incompressible Navier-Stokes equations and 2D supercritical Surface Quasi-Geostrophic equations with time oscillation in the nonlinear term. We obtain that there exists global smooth solution of these two equations for any initial data $u_0\in H^2$.
In this paper, we consider the model of 3D incompressible Navier-Stokes equations and 2D supercritical Surface Quasi-Geostrophic equations with time oscillation in the nonlinear term. We obtain that there exists global smooth solution of these two equations for any initial data $u_0\in H^2$.
△ Less
Submitted 12 April, 2024;
originally announced April 2024.
-
On the asymptotic behavior of solutions to the steady Navier-Stokes system in two-dimensional channels
Authors:
Han Li,
Kaijian Sha
Abstract:
In this paper, we investigate the incompressible steady Navier-Stokes system with no-slip boundary condition in a two-dimensional channel. Given any flux, the existence of solutions is proved as long as the width of cross-section of the channel grows more slowly than the linear growth. Furthermore, if the flux is suitably small, the solution is unique even when the width of the channel is unbounde…
▽ More
In this paper, we investigate the incompressible steady Navier-Stokes system with no-slip boundary condition in a two-dimensional channel. Given any flux, the existence of solutions is proved as long as the width of cross-section of the channel grows more slowly than the linear growth. Furthermore, if the flux is suitably small, the solution is unique even when the width of the channel is unbounded. Finally, based on the estimate of Dirichlet norm on the truncated domain, one could obtain the pointwise decay rate of the solution for arbitrary flux.
△ Less
Submitted 26 March, 2024;
originally announced April 2024.
-
Mitigating Transient Bullwhip Effects Under Imperfect Demand Forecasts
Authors:
Sarah H. Q. Li,
Florian Dörfler
Abstract:
Motivated by how forecast errors exacerbate order fluctuations in supply chains, we use tools from robust control theory to characterize and compute the worst-case order fluctuation experienced by an individual supply chain vendor under bounded forecast errors and demand fluctuations. Building on existing discrete time, linear time-invariant (LTI) models of supply chains, we separately model forec…
▽ More
Motivated by how forecast errors exacerbate order fluctuations in supply chains, we use tools from robust control theory to characterize and compute the worst-case order fluctuation experienced by an individual supply chain vendor under bounded forecast errors and demand fluctuations. Building on existing discrete time, linear time-invariant (LTI) models of supply chains, we separately model forecast error and demand fluctuations as inputs to the inventory dynamics. We then define a transient Bullwhip measure to evaluate the vendor's worst-case order fluctuation and show that for bounded forecast errors and demand fluctuations, this measure is equivalent to the disturbance to control peak gain. To compute the controller that minimizes the worst-case peak gain, we formulate an optimization problem with bilinear matrix inequalities and show that solving this problem is equivalent to minimizing a quasi-convex function on a bounded domain. In contrast to the existing Bullwhip measure in literature, the transient Bullwhip measure has an explicit dependency on the forecast error and does not need the forecast to be a deterministic function of the demand history. This explicit dependency enables us to separately quantify the transient Bullwhip measure's sensitivity to forecast error and demand fluctuations. We empirically verify our model for vendors with non-zero perishable rates and order backlogging rates.
△ Less
Submitted 1 April, 2024;
originally announced April 2024.
-
A Lane Usage Strategy for General Traffic Access on Bus Lanes under Mixed Traffic Environment
Authors:
Haoran Li,
Zhenzhou Yuan,
Rui Yue,
Guangchuan Yang,
Chuang Zhu,
Siyuan Chen
Abstract:
The strategy of permitting general traffic to use the bus lane for improved utilization while ensuring bus priority has gained increasingly attention, particularly with the support of vehicle-to-everything technology. In this study, we propose a novel lane usage strategy called Dynamic Spatial-Temporal Priority (DSTP) to ensure bus priority and optimize bus lane usage in a mixed traffic environmen…
▽ More
The strategy of permitting general traffic to use the bus lane for improved utilization while ensuring bus priority has gained increasingly attention, particularly with the support of vehicle-to-everything technology. In this study, we propose a novel lane usage strategy called Dynamic Spatial-Temporal Priority (DSTP) to ensure bus priority and optimize bus lane usage in a mixed traffic environment. DSTP leverages dynamic methods to identify available spatial-temporal resources in the lane, utilizing signal timing, road information, and vehicle data. A Right-of-Way assignment optimization model is then developed based on these resources to determine which vehicles can enter the bus lane. The model is dynamically enacted using a rolling horizon scheme to accommodate time-varying traffic conditions. Numerical studies have validated the advantages of DSTP, showing maintained bus priority, improved traffic efficiency, reduced fuel consumption, and lower CO2 emissions, especially during periods of high traffic demand and concentrated bus arrivals.
△ Less
Submitted 31 March, 2024;
originally announced April 2024.
-
Characterizing GSVD by singular value expansion of linear operators and its computation
Authors:
Haibo Li
Abstract:
The generalized singular value decomposition (GSVD) of a matrix pair $\{A, L\}$ with $A\in\mathbb{R}^{m\times n}$ and $L\in\mathbb{R}^{p\times n}$ generalizes the singular value decomposition (SVD) of a single matrix. In this paper, we provide a new understanding of GSVD from the viewpoint of SVD, based on which we propose a new iterative method for computing nontrivial GSVD components of a large-…
▽ More
The generalized singular value decomposition (GSVD) of a matrix pair $\{A, L\}$ with $A\in\mathbb{R}^{m\times n}$ and $L\in\mathbb{R}^{p\times n}$ generalizes the singular value decomposition (SVD) of a single matrix. In this paper, we provide a new understanding of GSVD from the viewpoint of SVD, based on which we propose a new iterative method for computing nontrivial GSVD components of a large-scale matrix pair. By introducing two linear operators $\mathcal{A}$ and $\mathcal{L}$ induced by $\{A, L\}$ between two finite-dimensional Hilbert spaces and applying the theory of singular value expansion (SVE) for linear compact operators, we show that the GSVD of $\{A, L\}$ is nothing but the SVEs of $\mathcal{A}$ and $\mathcal{L}$. This result characterizes completely the structure of GSVD for any matrix pair with the same number of columns. As a direct application of this result, we generalize the standard Golub-Kahan bidiagonalization (GKB) that is a basic routine for large-scale SVD computation such that the resulting generalized GKB (gGKB) process can be used to approximate nontrivial extreme GSVD components of $\{A, L\}$, which is named the gGKB\_GSVD algorithm. We use the GSVD of $\{A, L\}$ to study several basic properties of gGKB and also provide preliminary results about convergence and accuracy of gGKB\_GSVD for GSVD computation. Numerical experiments are presented to demonstrate the effectiveness of this method.
△ Less
Submitted 31 March, 2024;
originally announced April 2024.
-
Least zero of a cubic form
Authors:
Yixiu Xiao,
Hongze Li
Abstract:
An explicit upper bound is established for the least non-trivial integer zero of an arbitrary cubic form $C \in \mathbb{Z}[X_1,...,X_n],$ provided that $n \geq 14.$
An explicit upper bound is established for the least non-trivial integer zero of an arbitrary cubic form $C \in \mathbb{Z}[X_1,...,X_n],$ provided that $n \geq 14.$
△ Less
Submitted 29 June, 2024; v1 submitted 30 March, 2024;
originally announced April 2024.
-
Arc-transitive maps with coprime Euler characteristic and edge number
Authors:
C. H. Li,
Lu Yi Liu
Abstract:
This is one of a series of papers which aim towards a classification of edge-transitive maps of which the Euler characteristic and the edge number are coprime. This one carries out the classification work for arc-transitive maps with nonsolvable automorphism groups, which illustrates how the edge number impacts on the Euler characteristic for maps. The classification is involved with the construct…
▽ More
This is one of a series of papers which aim towards a classification of edge-transitive maps of which the Euler characteristic and the edge number are coprime. This one carries out the classification work for arc-transitive maps with nonsolvable automorphism groups, which illustrates how the edge number impacts on the Euler characteristic for maps. The classification is involved with the construction of some new and interesting arc-regular maps.
△ Less
Submitted 27 March, 2024;
originally announced March 2024.
-
Topology Optimization for the Full-Cell Design of Porous Electrodes in Electrochemical Energy Storage Devices
Authors:
Hanyu Li,
Giovanna Bucci,
Nicholas W. Brady,
Nicholas R. Cross,
Victoria M. Ehlinger,
Tiras Y. Lin,
Miguel Salazar de Troya,
Daniel Tortorelli,
Marcus A. Worsley,
Thomas Roy
Abstract:
In this paper, we introduce a density-based topology optimization framework to design porous electrodes for maximum energy storage. We simulate the full cell with a model that incorporates electronic potential, ionic potential, and electrolyte concentration. The system consists of three materials, namely pure liquid electrolyte and the porous solids of the anode and cathode, for which we determine…
▽ More
In this paper, we introduce a density-based topology optimization framework to design porous electrodes for maximum energy storage. We simulate the full cell with a model that incorporates electronic potential, ionic potential, and electrolyte concentration. The system consists of three materials, namely pure liquid electrolyte and the porous solids of the anode and cathode, for which we determine the optimal placement. We use separate electronic potentials to model each electrode, which allow interdigitated designs. As the result, a penalization is required to ensure that the anode and cathode do not touch, i.e. causing a short circuit. We compare multiple 2D designs generated for different fixed conditions, e.g. material properties. A 3D design with complex channel and interlocking structure is also created. All optimized designs are far superior to the traditional monolithic electrode design with respect to energy storage metrics. We observe up to 750% increase in energy storage for cases with slow effective ionic diffusion within the porous electrode.
△ Less
Submitted 26 March, 2024;
originally announced March 2024.
-
A novel directly energy-preserving method for charged particle dynamics
Authors:
Yexin Li,
Ping Jiang,
Haochen Li
Abstract:
In this paper, we apply the coordinate increment discrete gradient (CIDG) method to solve the Lorentz force system which can be written as a non-canonical Hamiltonian system. Then we can obtain a new energy-preserving CIDG-I method for the system. The CIDG-I method can combine with its adjoint method CIDG-II which is also a energy-preserving method to form a new method, namely CIDG-C method. The C…
▽ More
In this paper, we apply the coordinate increment discrete gradient (CIDG) method to solve the Lorentz force system which can be written as a non-canonical Hamiltonian system. Then we can obtain a new energy-preserving CIDG-I method for the system. The CIDG-I method can combine with its adjoint method CIDG-II which is also a energy-preserving method to form a new method, namely CIDG-C method. The CIDG-C method is symmetrical and can conserve the Hamiltonian energy directly and exactly. With comparison to the well-used Boris method, numerical experiments indicate that the CIDG-C method holds advantage over the Boris method in terms of energy-conserving.
△ Less
Submitted 25 March, 2024;
originally announced March 2024.
-
Locally-primitive block designs
Authors:
Jianfu Chen,
Peice Hua,
Cai Heng Li,
Yanni Wu
Abstract:
A locally-primitive design is a block design $(\mathcal{P},\mathcal{B})$ which admits an automorphism group $G$ with primitive local actions. It is proved that $G$ is primitive on the points $\mathcal{P}$, and either $G$ is an almost simple group, or $G$ acting on $\mathcal{P}$ is an affine group.
A locally-primitive design is a block design $(\mathcal{P},\mathcal{B})$ which admits an automorphism group $G$ with primitive local actions. It is proved that $G$ is primitive on the points $\mathcal{P}$, and either $G$ is an almost simple group, or $G$ acting on $\mathcal{P}$ is an affine group.
△ Less
Submitted 25 March, 2024;
originally announced March 2024.
-
A Coupled Optimization Framework for Correlated Equilibria in Normal-Form Game
Authors:
Sarah H. Q. Li,
Yue Yu,
Florian Dörfler,
John Lygeros
Abstract:
In competitive multi-player interactions, simultaneous optimality is a key requirement for establishing strategic equilibria. This property is explicit when the game-theoretic equilibrium is the simultaneously optimal solution of coupled optimization problems. However, no such optimization problems exist for the correlated equilibrium, a strategic equilibrium where the players can correlate their…
▽ More
In competitive multi-player interactions, simultaneous optimality is a key requirement for establishing strategic equilibria. This property is explicit when the game-theoretic equilibrium is the simultaneously optimal solution of coupled optimization problems. However, no such optimization problems exist for the correlated equilibrium, a strategic equilibrium where the players can correlate their actions. We address the lack of a coupled optimization framework for the correlated equilibrium by introducing an {unnormalized game} -- an extension of normal-form games in which the player strategies are lifted to unnormalized measures over the joint actions. We show that the set of fully mixed generalized Nash equilibria of this unnormalized game is a subset of the correlated equilibrium of the normal-form game. Furthermore, we introduce an entropy regularization to the unnormalized game and prove that the entropy-regularized generalized Nash equilibrium is a sub-optimal correlated equilibrium of the normal form game where the degree of sub-optimality depends on the magnitude of regularization. We prove that the entropy-regularized unnormalized game has a closed-form solution, and empirically verify its computational efficacy at approximating the correlated equilibrium of normal-form games.
△ Less
Submitted 3 April, 2024; v1 submitted 24 March, 2024;
originally announced March 2024.
-
New Regularity Criteria for Navier-Stokes and SQG Equations in Critical Spaces
Authors:
Yiran Xu,
Ly Kim Ha,
Haina Li,
Zexi Wang
Abstract:
In this paper, we investigate some priori estimates to provide the critical regularity criteria for incompressible
Navier-Stokes equations on $\mathbb{R}^3$ and super critical surface quasi-geostrophic equations on $\mathbb{R}^2$. Concerning the Navier-Stokes equation, we demonstrate that a Leray-Hopf solution $u$ is regular if…
▽ More
In this paper, we investigate some priori estimates to provide the critical regularity criteria for incompressible
Navier-Stokes equations on $\mathbb{R}^3$ and super critical surface quasi-geostrophic equations on $\mathbb{R}^2$. Concerning the Navier-Stokes equation, we demonstrate that a Leray-Hopf solution $u$ is regular if $u\in L_T^{\frac{2}{1-α}} \dot{B}^{-α}_{\infty,\infty}(\mathbb{R}^3)$, or $u$ in Lorentz space $ L_T^{p,r} \dot{B}^{-1+\frac{2}{p}}_{\infty,\infty}(\mathbb{R}^3)$, with $4\leq p\leq r<\infty$. Additionally, an alternative regularity condition is expressed as $u\in L_{T}^{\frac{2}{1-α}}
\dot{B}^{-α}_{\infty,\infty}(\mathbb{R}^3)+{L_T^\infty\dot{B}^{-1}_{\infty,\infty}}(\mathbb{R}^3)$($α\in(0,1)$), contingent upon a smallness assumption on the norm $L_T^\infty\dot{B}^{-1}_{\infty,\infty}$. For the SQG equation, we derive that a Leray-Hopf weak solution $θ\in L_T^{\fracα{\varepsilon}} \dot{C}^{1-α+ε}(\mathbb{R}^2)$ is smooth for any $\varepsilon$ small enough. Similar to the case of Navier-Stokes equation, we derive regularity criterion in more refined spaces, i.e. Lorentz spaces $L_T^{\fracαε,r}\dot{C}^{1-α+ε}(\mathbb{R}^2)$ and addition of two critical spaces $L_{T}^{\fracαε}\dot{C}^{1-α+ε}(\mathbb{R}^2)+{L_T^\infty\dot{C}^{1-α}(\mathbb{R}^2)}$, with smallness assumption on $L_T^\infty\dot{C}^{1-α}(\mathbb{R}^2)$.
△ Less
Submitted 12 April, 2024; v1 submitted 18 March, 2024;
originally announced March 2024.
-
Multiscale Quantile Regression with Local Error Control
Authors:
Zhi Liu,
Housen Li
Abstract:
For robust and efficient detection of change points, we introduce a novel methodology MUSCLE (multiscale quantile segmentation controlling local error) that partitions serial data into multiple segments, each sharing a common quantile. It leverages multiple tests for quantile changes over different scales and locations, and variational estimation. Unlike the often adopted global error control, MUS…
▽ More
For robust and efficient detection of change points, we introduce a novel methodology MUSCLE (multiscale quantile segmentation controlling local error) that partitions serial data into multiple segments, each sharing a common quantile. It leverages multiple tests for quantile changes over different scales and locations, and variational estimation. Unlike the often adopted global error control, MUSCLE focuses on local errors defined on individual segments, significantly improving detection power in finding change points. Meanwhile, due to the built-in model complexity penalty, it enjoys the finite sample guarantee that its false discovery rate (or the expected proportion of falsely detected change points) is upper bounded by its unique tuning parameter. Further, we obtain the consistency and the localisation error rates in estimating change points, under mild signal-to-noise-ratio conditions. Both match (up to log factors) the minimax optimality results in the Gaussian setup. All theories hold under the only distributional assumption of serial independence. Incorporating the wavelet tree data structure, we develop an efficient dynamic programming algorithm for computing MUSCLE. Extensive simulations as well as real data applications in electrophysiology and geophysics demonstrate its competitiveness and effectiveness. An implementation via R package muscle is available from GitHub.
△ Less
Submitted 17 March, 2024;
originally announced March 2024.
-
On the number of prime numbers between $n^2$ and ${(n+1)}^2$
Authors:
Jimin Li,
Haonan Li
Abstract:
Let $p_{r+1}-1>n \geq p_r-1$, based on a sequence $\{1,2,3\cdots\ M_r(M_r=p_1p_2\cdots p_r)\}$, we compare the density of coprime numbers and establish a correlation between the proportions of coprime numbers in the ranges from 1 to consecutive square numbers. Then, we derive the relationship between the number of coprimes in the interval of $n^2 \sim {(n+1)}^2$ and the proportion of coprimes in t…
▽ More
Let $p_{r+1}-1>n \geq p_r-1$, based on a sequence $\{1,2,3\cdots\ M_r(M_r=p_1p_2\cdots p_r)\}$, we compare the density of coprime numbers and establish a correlation between the proportions of coprime numbers in the ranges from 1 to consecutive square numbers. Then, we derive the relationship between the number of coprimes in the interval of $n^2 \sim {(n+1)}^2$ and the proportion of coprimes in the interval of $1 \sim n^2$, proving that there is at least one prime number between any $n^2$ and ${(n+1)}^2$. By extending our research to the range of $1 \sim M_r^2$, we establish the relationship between the proportions of backwards coprime numbers in the ranges from ${M_r}^2$ to consecutive square numbers; furthermore, we establish a relationship between the proportions of coprimes in small interval and the whole interval. Then, in conclusion, the number of coprimes between $n^2$ and ${(n+1)}^2$ is greater than $n\prod_{i=1}^{r}{(1-\frac{1}{p_i}})$, thus proving that there are at least 2 prime numbers between $n^2$ and ${(n+1)}^2$.
△ Less
Submitted 20 March, 2024; v1 submitted 13 March, 2024;
originally announced March 2024.
-
The $K_{1,2}$-structure-connectivity of graphs
Authors:
Xiao Zhao,
Haojie Zheng,
Hengzhe Li
Abstract:
In this paper, we mainly investigate $K_{1,2}$-structure-connectivity for any connected graph. Let $G$ be a connected graph with $n$ vertices, we show that $κ(G; K_{1,2})$ is well-defined if $diam(G)\geq 4$, or $n\equiv 1\pmod 3$, or $G\notin \{C_{5},K_{n}\}$ when $n\equiv 2\pmod 3$, or there exist three vertices $u,v,w$ such that $N_{G}(u)\cap (N_{G}(v,w)\cup\{v,w\})=\emptyset$ when…
▽ More
In this paper, we mainly investigate $K_{1,2}$-structure-connectivity for any connected graph. Let $G$ be a connected graph with $n$ vertices, we show that $κ(G; K_{1,2})$ is well-defined if $diam(G)\geq 4$, or $n\equiv 1\pmod 3$, or $G\notin \{C_{5},K_{n}\}$ when $n\equiv 2\pmod 3$, or there exist three vertices $u,v,w$ such that $N_{G}(u)\cap (N_{G}(v,w)\cup\{v,w\})=\emptyset$ when $n\equiv 0\pmod 3$. Furthermore, if $G$ has $K_{1,2}$-structure-cut, we prove $κ(G)/3\leqκ(G; K_{1,2})\leqκ(G)$.
△ Less
Submitted 13 March, 2024; v1 submitted 11 March, 2024;
originally announced March 2024.