-
3D mirror symmetry in positive characteristic
Authors:
Shaoyun Bai,
Jae Hee Lee
Abstract:
Via the formulation of (quantum) Hikita conjecture with coefficients in a characteristic $p$ field, we explain an arithmetic aspect of the theory of 3D mirror symmetry. Namely, we propose that the action of Steenrod-type operations and Frobenius-constant quantizations intertwine under the (quantum) Hikita isomorphism for 3D mirror pairs, and verify this for the Springer resolutions and hypertoric…
▽ More
Via the formulation of (quantum) Hikita conjecture with coefficients in a characteristic $p$ field, we explain an arithmetic aspect of the theory of 3D mirror symmetry. Namely, we propose that the action of Steenrod-type operations and Frobenius-constant quantizations intertwine under the (quantum) Hikita isomorphism for 3D mirror pairs, and verify this for the Springer resolutions and hypertoric varieties.
△ Less
Submitted 30 March, 2025;
originally announced March 2025.
-
Multiple Extremal Integrals
Authors:
Shuyang Bai,
Jiemiao Chen
Abstract:
We introduce the notion of multiple extremal integrals as an extension of single extremal integrals, which have played important roles in extreme value theory. The multiple extremal integrals are formulated in terms of a product-form random sup measure derived from the $α$-Fréchet random sup measure. We establish a LePage-type representation similar to that used for multiple sum-stable integrals,…
▽ More
We introduce the notion of multiple extremal integrals as an extension of single extremal integrals, which have played important roles in extreme value theory. The multiple extremal integrals are formulated in terms of a product-form random sup measure derived from the $α$-Fréchet random sup measure. We establish a LePage-type representation similar to that used for multiple sum-stable integrals, which have been extensively studied in the literature. This approach allows us to investigate the integrability, tail behavior, and independence properties of multiple extremal integrals. Additionally, we discuss an extension of a recently proposed stationary model that exhibits an unusual extremal clustering phenomenon, now constructed using multiple extremal integrals.
△ Less
Submitted 8 April, 2025; v1 submitted 29 March, 2025;
originally announced March 2025.
-
Bordism and resolution of singularities
Authors:
Mohammed Abouzaid,
Shaoyun Bai
Abstract:
We adapt algorithms for resolving the singularities of complex algebraic varieties to prove that the natural map of homology theories from complex bordism to the bordism theory of complex derived orbifolds splits. In equivariant stable homotopy theory, our techniques yield a splitting of homology theories for the map from bordism to the equivariant bordism theory of a finite group $Γ$, given by as…
▽ More
We adapt algorithms for resolving the singularities of complex algebraic varieties to prove that the natural map of homology theories from complex bordism to the bordism theory of complex derived orbifolds splits. In equivariant stable homotopy theory, our techniques yield a splitting of homology theories for the map from bordism to the equivariant bordism theory of a finite group $Γ$, given by assigning to a manifold its product with $Γ$. In symplectic topology, and using recent work of Abouzaid-McLean-Smith and Hirschi-Swaminathan, we conclude that one can define complex cobordism-valued Gromov-Witten invariant for arbitrary (closed) symplectic manifolds. We apply our results to constrain the topology of the space of Hamiltonian fibrations over $S^2$. The methods we develop apply to normally complex orbifolds, and will hence lead to applications in symplectic topology that rely on moduli spaces of holomorphic curves with Lagrangian boundary conditions.
△ Less
Submitted 23 April, 2025; v1 submitted 5 December, 2024;
originally announced December 2024.
-
Faster Acceleration for Steepest Descent
Authors:
Cedar Site Bai,
Brian Bullins
Abstract:
Recent advances (Sherman, 2017; Sidford and Tian, 2018; Cohen et al., 2021) have overcome the fundamental barrier of dimension dependence in the iteration complexity of solving $\ell_\infty$ regression with first-order methods. Yet it remains unclear to what extent such acceleration can be achieved for general $\ell_p$ smooth functions. In this paper, we propose a new accelerated first-order metho…
▽ More
Recent advances (Sherman, 2017; Sidford and Tian, 2018; Cohen et al., 2021) have overcome the fundamental barrier of dimension dependence in the iteration complexity of solving $\ell_\infty$ regression with first-order methods. Yet it remains unclear to what extent such acceleration can be achieved for general $\ell_p$ smooth functions. In this paper, we propose a new accelerated first-order method for convex optimization under non-Euclidean smoothness assumptions. In contrast to standard acceleration techniques, our approach uses primal-dual iterate sequences taken with respect to $\textit{differing}$ norms, which are then coupled using an $\textit{implicitly}$ determined interpolation parameter. For $\ell_p$ norm smooth problems in $d$ dimensions, our method provides an iteration complexity improvement of up to $O(d^{1-\frac{2}{p}})$ in terms of calls to a first-order oracle, thereby allowing us to circumvent long-standing barriers in accelerated non-Euclidean steepest descent.
△ Less
Submitted 16 June, 2025; v1 submitted 27 September, 2024;
originally announced September 2024.
-
A remarkable example on clustering of extremes for regularly-varying stochastic processes
Authors:
Shuyang Bai,
Rafał Kulik,
Yizao Wang
Abstract:
The stable-regenerative multiple-stable model has been shown recently to have distinct candidate extremal index and extremal index. To understand further this rare phenomenon, two more results are established here for the double-stable model. The first is the convergence of point processes for the clusters of extremes, enhancing the previous result on the weak convergence of random sup-measures. M…
▽ More
The stable-regenerative multiple-stable model has been shown recently to have distinct candidate extremal index and extremal index. To understand further this rare phenomenon, two more results are established here for the double-stable model. The first is the convergence of point processes for the clusters of extremes, enhancing the previous result on the weak convergence of random sup-measures. Most interestingly, the second result reveals a new phase transition at the mesoscopic level when computing the asymptotic exceedance probability over a block, $\mathbb P(\max_{k=1,\dots,d_n} X_k>b_n)$, as $n\to\infty$. Here, the mesoscopic level is referred to the fact that the block size $d_n$ is allowed to grow at the rate $n^ρ$ with $ρ\in[0,1]$, while the threshold $b_n$ is such that $\mathbb P(X_1>b_n)\sim 1/n$. The recently discovered discrepancy between the candidate extremal index and the extremal index is shown to be just a reflection of this phase transition that is prohibited by the anticlustering condition.
△ Less
Submitted 9 October, 2024; v1 submitted 26 September, 2024;
originally announced September 2024.
-
Tight Lower Bounds under Asymmetric High-Order Hölder Smoothness and Uniform Convexity
Authors:
Cedar Site Bai,
Brian Bullins
Abstract:
In this paper, we provide tight lower bounds for the oracle complexity of minimizing high-order Hölder smooth and uniformly convex functions. Specifically, for a function whose $p^{th}$-order derivatives are Hölder continuous with degree $ν$ and parameter $H$, and that is uniformly convex with degree $q$ and parameter $σ$, we focus on two asymmetric cases: (1) $q > p + ν$, and (2) $q < p+ν$. Given…
▽ More
In this paper, we provide tight lower bounds for the oracle complexity of minimizing high-order Hölder smooth and uniformly convex functions. Specifically, for a function whose $p^{th}$-order derivatives are Hölder continuous with degree $ν$ and parameter $H$, and that is uniformly convex with degree $q$ and parameter $σ$, we focus on two asymmetric cases: (1) $q > p + ν$, and (2) $q < p+ν$. Given up to $p^{th}$-order oracle access, we establish worst-case oracle complexities of $Ω\left( \left( \frac{H}σ\right)^\frac{2}{3(p+ν)-2}\left( \fracσε\right)^\frac{2(q-p-ν)}{q(3(p+ν)-2)}\right)$ in the first case with an $\ell_\infty$-ball-truncated-Gaussian smoothed hard function and $Ω\left(\left(\frac{H}σ\right)^\frac{2}{3(p+ν)-2}+ \log\log\left(\left(\frac{σ^{p+ν}}{H^q}\right)^\frac{1}{p+ν-q}\frac{1}ε\right)\right)$ in the second case, for reaching an $ε$-approximate solution in terms of the optimality gap. Our analysis generalizes previous lower bounds for functions under first- and second-order smoothness as well as those for uniformly convex functions, and furthermore our results match the corresponding upper bounds in this general setting.
△ Less
Submitted 8 June, 2025; v1 submitted 16 September, 2024;
originally announced September 2024.
-
On estimation and order selection for multivariate extremes via clustering
Authors:
Shiyuan Deng,
He Tang,
Shuyang Bai
Abstract:
We investigate the estimation of multivariate extreme models with a discrete spectral measure using spherical clustering techniques. The primary contribution involves devising a method for selecting the order, that is, the number of clusters. The method consistently identifies the true order, i.e., the number of spectral atoms, and enjoys intuitive implementation in practice. Specifically, we intr…
▽ More
We investigate the estimation of multivariate extreme models with a discrete spectral measure using spherical clustering techniques. The primary contribution involves devising a method for selecting the order, that is, the number of clusters. The method consistently identifies the true order, i.e., the number of spectral atoms, and enjoys intuitive implementation in practice. Specifically, we introduce an extra penalty term to the well-known simplified average silhouette width, which penalizes small cluster sizes and small dissimilarities between cluster centers. Consequently, we provide a consistent method for determining the order of a max-linear factor model, where a typical information-based approach is not viable. Our second contribution is a large-deviation-type analysis for estimating the discrete spectral measure through clustering methods, which serves as an assessment of the convergence quality of clustering-based estimation for multivariate extremes. Additionally, as a third contribution, we discuss how estimating the discrete measure can lead to parameter estimations of heavy-tailed factor models. We also present simulations and real-data studies that demonstrate order selection and factor model estimation.
△ Less
Submitted 19 February, 2025; v1 submitted 20 June, 2024;
originally announced June 2024.
-
Cohomological splitting over rationally connected bases
Authors:
Shaoyun Bai,
Daniel Pomerleano,
Guangbo Xu
Abstract:
We prove a cohomological splitting result for Hamiltonian fibrations over enumeratively rationally connected symplectic manifolds As a key application, we prove that the cohomology of a smooth, projective family over a smooth (stably) rational projective variety splits additively over any field. The main ingredients in our arguments include the theory of Fukaya-Ono-Parker (FOP) perturbations devel…
▽ More
We prove a cohomological splitting result for Hamiltonian fibrations over enumeratively rationally connected symplectic manifolds As a key application, we prove that the cohomology of a smooth, projective family over a smooth (stably) rational projective variety splits additively over any field. The main ingredients in our arguments include the theory of Fukaya-Ono-Parker (FOP) perturbations developed by the first and third author, which allows one to define integer-valued Gromov-Witten type invariants, and variants of Abouzaid-McLean-Smith's global Kuranishi charts tailored to concrete geometric problems.
△ Less
Submitted 3 July, 2024; v1 submitted 2 June, 2024;
originally announced June 2024.
-
Equivariant formality in complex-oriented theories
Authors:
Shaoyun Bai,
Daniel Pomerleano
Abstract:
Let $G$ be a product of unitary groups and let $(M,ω)$ be a compact symplectic manifold with Hamiltonian $G$-action. We prove an equivariant formality result for any complex-oriented cohomology theory $\mathbb{E}^*$ (in particular, integral cohomology). This generalizes the celebrated result of Atiyah-Bott-Kirwan for rational cohomology from the 1980s. The proof does not use classical ideas but in…
▽ More
Let $G$ be a product of unitary groups and let $(M,ω)$ be a compact symplectic manifold with Hamiltonian $G$-action. We prove an equivariant formality result for any complex-oriented cohomology theory $\mathbb{E}^*$ (in particular, integral cohomology). This generalizes the celebrated result of Atiyah-Bott-Kirwan for rational cohomology from the 1980s. The proof does not use classical ideas but instead relies on a recent cohomological splitting result of Abouzaid-McLean-Smith for Hamiltonian fibrations over $\mathbb{CP}^1.$ Moreover, we establish analogues of the "localization" and "injectivity to fixed points" theorems for certain cohomology theories studied by Hopkins-Kuhn-Ravenel. As an application of these results, we establish a Goresky-Kottwitz-MacPherson theorem with Morava $K$-theory coefficients for Hamiltonian $T$-manifolds.
△ Less
Submitted 22 May, 2024; v1 submitted 9 May, 2024;
originally announced May 2024.
-
Existence and multiplicity of solutions for critical Kirchhoff-Choquard equations involving the fractional $p$-Laplacian on the Heisenberg group
Authors:
S. Bai,
Y. Song,
D. D. Repovš
Abstract:
In this paper, we study existence and multiplicity of solutions for the following Kirchhoff-Choquard type equation involving the fractional $p$-Laplacian on the Heisenberg group: \begin{equation*} \begin{array}{lll} M(\|u\|_μ^{p})(μ(-Δ)^{s}_{p}u+V(ξ)|u|^{p-2}u)= f(ξ,u)+\int_{\mathbb{H}^N}\frac{|u(η)|^{Q_λ^{\ast}}}{|η^{-1}ξ|^λ}dη|u|^{Q_λ^{\ast}-2}u &\mbox{in}\ \mathbb{H}^N, \\ \end{array} \end{equa…
▽ More
In this paper, we study existence and multiplicity of solutions for the following Kirchhoff-Choquard type equation involving the fractional $p$-Laplacian on the Heisenberg group: \begin{equation*} \begin{array}{lll} M(\|u\|_μ^{p})(μ(-Δ)^{s}_{p}u+V(ξ)|u|^{p-2}u)= f(ξ,u)+\int_{\mathbb{H}^N}\frac{|u(η)|^{Q_λ^{\ast}}}{|η^{-1}ξ|^λ}dη|u|^{Q_λ^{\ast}-2}u &\mbox{in}\ \mathbb{H}^N, \\ \end{array} \end{equation*} where $(-Δ)^{s}_{p}$ is the fractional $p$-Laplacian on the Heisenberg group $\mathbb{H}^N$, $M$ is the Kirchhoff function, $V(ξ)$ is the potential function, $0<s<1$, $1<p<\frac{N}{s}$, $μ>0$, $f(ξ,u)$ is the nonlinear function, $0<λ<Q$, $Q=2N+2$, and $Q_λ^{\ast}=\frac{2Q-λ}{Q-2}$ is the Sobolev critical exponent. Using the Krasnoselskii genus theorem, the existence of infinitely many solutions is obtained if $μ$ is sufficiently large. In addition, using the fractional version of the concentrated compactness principle, we prove that problem has $m$ pairs of solutions if $μ$ is sufficiently small. As far as we know, the results of our study are new even in the Euclidean case.
△ Less
Submitted 18 January, 2024; v1 submitted 16 January, 2024;
originally announced January 2024.
-
Empirical limit theorems for Wiener chaos
Authors:
Shuyang Bai,
Jiemiao Chen
Abstract:
We consider empirical measures in a triangular array setup with underlying distributions varying as sample size grows. We study asymptotic properties of multiple integrals with respect to normalized empirical measures. Limit theorems involving series of multiple Wiener-Itô integrals are established.
We consider empirical measures in a triangular array setup with underlying distributions varying as sample size grows. We study asymptotic properties of multiple integrals with respect to normalized empirical measures. Limit theorems involving series of multiple Wiener-Itô integrals are established.
△ Less
Submitted 2 August, 2024; v1 submitted 23 October, 2023;
originally announced October 2023.
-
High and low perturbations of the critical Choquard equation on the Heisenberg group
Authors:
Shujie Bai,
Yueqiang Song,
Dušan D. Repovš
Abstract:
We study the following critical Choquard equation on the Heisenberg group: \begin{equation*}
\begin{cases}
\displaystyle {-Δ_H u }=μ |u|^{q-2}u+\int_Ω \frac{|u(η)|^{Q_λ^{\ast}}} {|η^{-1}ξ|^λ} dη|u|^{Q_λ^{\ast}-2}u &\mbox{in }\ Ω,
u=0 &\mbox{on }\ \partialΩ, \end{cases} \end{equation*} where $Ω\subset \mathbb{H}^N$ is a smooth bounded domain, $Δ_H$ is the Kohn-Laplacian on the Heisenberg grou…
▽ More
We study the following critical Choquard equation on the Heisenberg group: \begin{equation*}
\begin{cases}
\displaystyle {-Δ_H u }=μ |u|^{q-2}u+\int_Ω \frac{|u(η)|^{Q_λ^{\ast}}} {|η^{-1}ξ|^λ} dη|u|^{Q_λ^{\ast}-2}u &\mbox{in }\ Ω,
u=0 &\mbox{on }\ \partialΩ, \end{cases} \end{equation*} where $Ω\subset \mathbb{H}^N$ is a smooth bounded domain, $Δ_H$ is the Kohn-Laplacian on the Heisenberg group $\mathbb{H}^N$, $1<q<2$ or $2<q<Q_λ^\ast$, $μ>0$, $0<λ<Q=2N+2$, and $Q_λ^{\ast}=\frac{2Q-λ}{Q-2}$ is the critical exponent. Using the concentration compactness principle and the critical point theory, we prove that the above problem has the least two positive solutions for $1<q<2$ in the case of low perturbations (small values of $μ$), and has a nontrivial solution for $2<q<Q_λ^\ast$ in the case of high perturbations (large values of $μ$). Moreover, for $1<q<2$, we also show that there is a positive ground state solution, and for $2<q<Q_λ^\ast$, there are at least $n$ pairs of nontrivial weak solutions.
△ Less
Submitted 20 October, 2023;
originally announced October 2023.
-
Franks' dichotomy for toric manifolds, Hofer-Zehnder conjecture, and gauged linear sigma model
Authors:
Shaoyun Bai,
Guangbo Xu
Abstract:
We prove that for any compact toric symplectic manifold, if a Hamiltonian diffeomorphism admits more fixed points, counted homologically, than the total Betti number, then it has infinitely many simple periodic points. This provides a vast generalization of Franks' famous two or infinity dichotomy for periodic orbits of area-preserving diffeomorphisms on the two-sphere, and establishes a conjectur…
▽ More
We prove that for any compact toric symplectic manifold, if a Hamiltonian diffeomorphism admits more fixed points, counted homologically, than the total Betti number, then it has infinitely many simple periodic points. This provides a vast generalization of Franks' famous two or infinity dichotomy for periodic orbits of area-preserving diffeomorphisms on the two-sphere, and establishes a conjecture attributed to Hofer-Zehnder in the case of toric manifolds. The key novelty is the application of gauged linear sigma model and its bulk deformations to the study of Hamiltonian dynamics of symplectic quotients.
△ Less
Submitted 10 January, 2024; v1 submitted 14 September, 2023;
originally announced September 2023.
-
On $p$-Laplacian Kirchhoff-Schrödinger-Poisson type systems with critical growth on the Heisenberg group
Authors:
Shujie Bai,
Yueqiang Song,
Dušan D. Repovš
Abstract:
In this article, we investigate the Kirchhoff-Schrödinger-Poisson type systems on the Heisenberg group of the following form: \begin{equation*} \left\{ \begin{array}{lll} {-(a+b\int_Ω|\nabla_{H} u|^{p}dξ)Δ_{H,p}u-μφ|u|^{p-2}u}=λ|u|^{q-2}u+|u|^{Q^{\ast}-2}u &\mbox{in}\ Ω, \\ -Δ_{H}φ=|u|^{p} &\mbox{in}\ Ω, \\ u=φ=0 &\mbox{on}\ \partialΩ, \end{array} \right. \end{equation*} where $a,b$ are positive r…
▽ More
In this article, we investigate the Kirchhoff-Schrödinger-Poisson type systems on the Heisenberg group of the following form: \begin{equation*} \left\{ \begin{array}{lll} {-(a+b\int_Ω|\nabla_{H} u|^{p}dξ)Δ_{H,p}u-μφ|u|^{p-2}u}=λ|u|^{q-2}u+|u|^{Q^{\ast}-2}u &\mbox{in}\ Ω, \\ -Δ_{H}φ=|u|^{p} &\mbox{in}\ Ω, \\ u=φ=0 &\mbox{on}\ \partialΩ, \end{array} \right. \end{equation*} where $a,b$ are positive real numbers, $Ω\subset \mathbb{H}^N$ is a bounded region with smooth boundary, $1<p<Q$, $Q = 2N + 2$ is the homogeneous dimension of the Heisenberg group $\mathbb{H}^N$, $Q^{\ast}=\frac{pQ}{Q-p}$, $q\in(2p, Q^{\ast})$, and $Δ_{H,p}u=\mbox{div}(|\nabla_{H} u|^{p-2}\nabla_{H} u)$ is the $p$-horizontal Laplacian. Under some appropriate conditions for the parameters $μ$ and $λ$, we establish existence and multiplicity results for the system above. To some extent, we generalize the results of An and Liu (Israel J. Math., 2020) and Liu et al. (Adv. Nonlinear Anal., 2022).
△ Less
Submitted 19 August, 2023;
originally announced August 2023.
-
Federated Composite Saddle Point Optimization
Authors:
Site Bai,
Brian Bullins
Abstract:
Federated learning (FL) approaches for saddle point problems (SPP) have recently gained in popularity due to the critical role they play in machine learning (ML). Existing works mostly target smooth unconstrained objectives in Euclidean space, whereas ML problems often involve constraints or non-smooth regularization, which results in a need for composite optimization. Addressing these issues, we…
▽ More
Federated learning (FL) approaches for saddle point problems (SPP) have recently gained in popularity due to the critical role they play in machine learning (ML). Existing works mostly target smooth unconstrained objectives in Euclidean space, whereas ML problems often involve constraints or non-smooth regularization, which results in a need for composite optimization. Addressing these issues, we propose Federated Dual Extrapolation (FeDualEx), an extra-step primal-dual algorithm, which is the first of its kind that encompasses both saddle point optimization and composite objectives under the FL paradigm. Both the convergence analysis and the empirical evaluation demonstrate the effectiveness of FeDualEx in these challenging settings. In addition, even for the sequential version of FeDualEx, we provide rates for the stochastic composite saddle point setting which, to our knowledge, are not found in prior literature.
△ Less
Submitted 24 May, 2023;
originally announced May 2023.
-
Joint sum-max limit for a class of long-range dependent processes with heavy tails
Authors:
Shuyang Bai,
He Tang
Abstract:
We consider a class of stationary processes exhibiting both long-range dependence and heavy tails. Separate limit theorems for sums and for extremes have been established recently in literature with novel objects appearing in the limits. In this article, we establish the joint sum-max limit theorems for this class of processes. In the finite-variance case, the limit consists of two independent com…
▽ More
We consider a class of stationary processes exhibiting both long-range dependence and heavy tails. Separate limit theorems for sums and for extremes have been established recently in literature with novel objects appearing in the limits. In this article, we establish the joint sum-max limit theorems for this class of processes. In the finite-variance case, the limit consists of two independent components: a fractional Brownian motion arising from the sum, and a long-range dependent random sup measure arising from the maximum. In the infinite-variance case, we obtain in the limit two dependent components: a stable process and a random sup measure whose dependence structure is described through the local time and range of a stable subordinator. For establishing the limit theorem in the latter case, we also develop a joint convergence result for the local time and range of subordinators, which may be of independent interest.
△ Less
Submitted 11 September, 2023; v1 submitted 6 April, 2023;
originally announced April 2023.
-
Arnold conjecture over integers
Authors:
Shaoyun Bai,
Guangbo Xu
Abstract:
For any closed symplectic manifold, we show that the number of 1-periodic orbits of a nondegenerate Hamiltonian thereon is bounded from below by a version of total Betti number over Z of the ambient space taking account of the total Betti number over Q and torsions of all characteristic. The proof is based on constructing a Hamiltonian Floer theory over the Novikov ring with integer coefficients,…
▽ More
For any closed symplectic manifold, we show that the number of 1-periodic orbits of a nondegenerate Hamiltonian thereon is bounded from below by a version of total Betti number over Z of the ambient space taking account of the total Betti number over Q and torsions of all characteristic. The proof is based on constructing a Hamiltonian Floer theory over the Novikov ring with integer coefficients, which generalizes our earlier work for constructing integer-valued Gromov-Witten type invariants. In the course of the construction, we build a Hamiltonian Floer flow category with compatible smooth global Kuranishi charts. This generalizes a recent work of Abouzaid-McLean-Smith, which might be of independent interest.
△ Less
Submitted 18 September, 2022;
originally announced September 2022.
-
Tail Adversarial Stability for Regularly Varying Linear Processes and their Extensions
Authors:
Shuyang Bai,
Ting Zhang
Abstract:
The notion of tail adversarial stability has been proven useful in obtaining limit theorems for tail dependent time series. Its implication and advantage over the classical strong mixing framework has been examined for max-linear processes, but not yet studied for additive linear processes. In this article, we fill this gap by verifying the tail adversarial stability condition for regularly varyin…
▽ More
The notion of tail adversarial stability has been proven useful in obtaining limit theorems for tail dependent time series. Its implication and advantage over the classical strong mixing framework has been examined for max-linear processes, but not yet studied for additive linear processes. In this article, we fill this gap by verifying the tail adversarial stability condition for regularly varying additive linear processes. We in addition consider extensions of the result to a stochastic volatility generalization and to a max-linear counterpart. We also address the invariance of tail adversarial stability under monotone transforms. Some implications for limit theorems in statistical context are also discussed.
△ Less
Submitted 26 July, 2023; v1 submitted 29 April, 2022;
originally announced May 2022.
-
A new transversality condition on orbifolds and integer-valued Gromov-Witten type invariants
Authors:
Shaoyun Bai,
Guangbo Xu
Abstract:
Following a proposal of Fukaya-Ono and the exploration by B. Parker, we introduce a new transversality condition, the FOP transversality condition, for sections of orbifold vector bundles $\mathcal{E} \rightarrow \mathcal{U}$ when both $\mathcal{E}$ and $\mathcal{U}$ have "normal complex structures." This notion allows one to define various integral virtual cycles on moduli spaces of pseudoholomor…
▽ More
Following a proposal of Fukaya-Ono and the exploration by B. Parker, we introduce a new transversality condition, the FOP transversality condition, for sections of orbifold vector bundles $\mathcal{E} \rightarrow \mathcal{U}$ when both $\mathcal{E}$ and $\mathcal{U}$ have "normal complex structures." This notion allows one to define various integral virtual cycles on moduli spaces of pseudoholomorphic curves. Two immediate applications in symplectic topology are the definition of integer-valued Gromov-Witten type invariants in all genera for general compact symplectic manifolds using the global Kuranishi chart constructed by Abouzaid-McLean-Smith and Hirschi-Swaminathan, and an alternative proof of the cohomological splitting theorem for Hamiltonian fibrations over $S^2$ with integer coefficients by Abouzaid-McLean-Smith.
△ Less
Submitted 21 February, 2025; v1 submitted 7 January, 2022;
originally announced January 2022.
-
On the Rouquier dimension of wrapped Fukaya categories and a conjecture of Orlov
Authors:
Shaoyun Bai,
Laurent Côté
Abstract:
We study the Rouquier dimension of wrapped Fukaya categories of Liouville manifolds and pairs, and apply this invariant to various problems in algebraic and symplectic geometry.
On the algebro-geometric side, we introduce a new method based on symplectic flexibility and mirror symmetry to bound the Rouquier dimension of derived categories of coherent sheaves on certain complex algebraic varietie…
▽ More
We study the Rouquier dimension of wrapped Fukaya categories of Liouville manifolds and pairs, and apply this invariant to various problems in algebraic and symplectic geometry.
On the algebro-geometric side, we introduce a new method based on symplectic flexibility and mirror symmetry to bound the Rouquier dimension of derived categories of coherent sheaves on certain complex algebraic varieties and stacks. These bounds are sharp in dimension at most $3$. As a result, we resolve a well-known conjecture of Orlov for a large class of new examples, including all toric $3$-folds and certain log Calabi--Yau surfaces.
On the symplectic side, we study various quantitative questions such as: (1) given a Weinstein manifold, what is the minimal number of intersection points between the skeleton and its image under a generic compactly-supported Hamiltonian diffeomorphism? (2) what is the minimal number of critical points of a Lefschetz fibration on a Liouville manifold with Weinstein fibers? We give lower bounds for these quantities which are to our knowledge the first to go beyond the basic flexible/rigid dichotomy.
△ Less
Submitted 14 November, 2022; v1 submitted 20 October, 2021;
originally announced October 2021.
-
Tail processes for stable-regenerative multiple-stable model
Authors:
Shuyang Bai,
Yizao Wang
Abstract:
We investigate a family of discrete-time stationary processes defined by multiple stable integrals and renewal processes with infinite means. The model may exhibit behaviors of short-range or long-range dependence, respectively, depending on the parameters. The main contribution is to establish a phase transition in terms of the tail processes that characterize local clustering of extremes. Moreov…
▽ More
We investigate a family of discrete-time stationary processes defined by multiple stable integrals and renewal processes with infinite means. The model may exhibit behaviors of short-range or long-range dependence, respectively, depending on the parameters. The main contribution is to establish a phase transition in terms of the tail processes that characterize local clustering of extremes. Moreover, in the short-range dependence regime, the model provides an example where the extremal index is different from the candidate extremal index.
△ Less
Submitted 26 December, 2022; v1 submitted 14 October, 2021;
originally announced October 2021.
-
Phase transition for extremes of a family of stationary multiple-stable processes
Authors:
Shuyang Bai,
Yizao Wang
Abstract:
We investigate a family of multiple-stable processes that may exhibit either long-range or short-range dependence, depending on the parameters. There are two parameters for the processes, the memory parameter $β\in(0,1)$ and the multiplicity parameter $p\in\mathbb N$. We investigate the macroscopic limit of extremes of the process, in terms of convergence of random sup-measures, for the full range…
▽ More
We investigate a family of multiple-stable processes that may exhibit either long-range or short-range dependence, depending on the parameters. There are two parameters for the processes, the memory parameter $β\in(0,1)$ and the multiplicity parameter $p\in\mathbb N$. We investigate the macroscopic limit of extremes of the process, in terms of convergence of random sup-measures, for the full range of parameters. Our results show that (i) the extremes of the process exhibit long-range dependence when $β_p := pβ-p+1\in(0,1)$, with a new family of random sup-measures arising in the limit, (ii) the extremes are of short-range dependence when $β_p<0$, with independently scattered random sup-measures arising in the limit, and (iii) there is a delicate phase transition at the critical regime $β_p = 0$.
△ Less
Submitted 9 February, 2023; v1 submitted 14 October, 2021;
originally announced October 2021.
-
Bifurcations of embedded curves and towards an extension of Taubes' Gromov invariant to Calabi-Yau 3-folds
Authors:
Shaoyun Bai,
Mohan Swaminathan
Abstract:
We define an integer-valued virtual count of embedded pseudo-holomorphic curves of two times a primitive homology class and arbitrary genus in symplectic Calabi--Yau $3$-folds, which can be viewed as an extension of Taubes' Gromov invariant. The construction depends on a detailed study of bifurcations of moduli spaces of embedded pseudo-holomorphic curves which is partially motivated by Wendl's re…
▽ More
We define an integer-valued virtual count of embedded pseudo-holomorphic curves of two times a primitive homology class and arbitrary genus in symplectic Calabi--Yau $3$-folds, which can be viewed as an extension of Taubes' Gromov invariant. The construction depends on a detailed study of bifurcations of moduli spaces of embedded pseudo-holomorphic curves which is partially motivated by Wendl's recent solution of Bryan--Pandharipande's super-rigidity conjecture.
△ Less
Submitted 15 December, 2023; v1 submitted 2 June, 2021;
originally announced June 2021.
-
Hyperbolic Brunnian links
Authors:
Sheng Bai
Abstract:
We present practical methods to show a Brunnian link is hyperbolic. The methods, belonging to geometric topology, are based on observation, worked by hand and generally applicable. Typical examples illustrate their efficiency. We thus determine hyperbolicity for all of the known Brunnian links in literatures except two series. Especially, we discover 6 infinite series of hyperbolic Brunnian links.
We present practical methods to show a Brunnian link is hyperbolic. The methods, belonging to geometric topology, are based on observation, worked by hand and generally applicable. Typical examples illustrate their efficiency. We thus determine hyperbolicity for all of the known Brunnian links in literatures except two series. Especially, we discover 6 infinite series of hyperbolic Brunnian links.
△ Less
Submitted 26 April, 2021;
originally announced April 2021.
-
Alexander polynomials of ribbon knots and virtual knots
Authors:
Sheng Bai
Abstract:
We find that Alexander polynomial of a ribbon knot in $ \mathbb{Z}HS^3 $ is determined by the intrinsic singularity information of its ribbon, and give a formula to calculate Alexander polynomial of a ribbon knot by that. We define half Alexander polynomial $ A_R (t) $, an invariant of oriented ribbons, and in fact the Alexander polynomial of the ribbon knot is $ A_R (t) A_R (t^{-1}) $. We give tw…
▽ More
We find that Alexander polynomial of a ribbon knot in $ \mathbb{Z}HS^3 $ is determined by the intrinsic singularity information of its ribbon, and give a formula to calculate Alexander polynomial of a ribbon knot by that. We define half Alexander polynomial $ A_R (t) $, an invariant of oriented ribbons, and in fact the Alexander polynomial of the ribbon knot is $ A_R (t) A_R (t^{-1}) $. We give two useful simplified formulas for half Alexander polynomial. We characterize completely the polynomials arising as half Alexander polynomials of ribbons. The above study unexpectedly leads us to discover new formulas for Alexander polynomial of general knots and virtual knots in terms of Gauss diagrams.
△ Less
Submitted 19 February, 2025; v1 submitted 12 March, 2021;
originally announced March 2021.
-
Ricci-flat graphs with maximum degree at most 4
Authors:
Shuliang Bai,
Linyuan Lu,
Shing-Tung Yau
Abstract:
A graph is called Ricci-flat if its Ricci curvatures vanish on all edges, here the definition of Ricci curvature on graphs was given by Lin-Lu-Yau. The authors in arXiv:1301.0102 and arXiv:1802.02982 obtained a complete characterization for all Ricci-flat graphs with girth at least five. In this paper, we completely determined all Ricci-flat graphs with maximum degree at most 4.
A graph is called Ricci-flat if its Ricci curvatures vanish on all edges, here the definition of Ricci curvature on graphs was given by Lin-Lu-Yau. The authors in arXiv:1301.0102 and arXiv:1802.02982 obtained a complete characterization for all Ricci-flat graphs with girth at least five. In this paper, we completely determined all Ricci-flat graphs with maximum degree at most 4.
△ Less
Submitted 10 May, 2021; v1 submitted 1 March, 2021;
originally announced March 2021.
-
A symplectic formula of generalized Casson invariants
Authors:
Shaoyun Bai
Abstract:
Suppose Y is an integer homology 3-sphere, Taubes proved that the number of irreducible critical orbits of the perturbed Chern-Simons functional on Y, counted with signs, is equal to the algebraic intersection number of two character varieties associated with Heegaard splittings when the structure group is SU(2). Taubes' result established a relationship between gauge theory and the Casson invaria…
▽ More
Suppose Y is an integer homology 3-sphere, Taubes proved that the number of irreducible critical orbits of the perturbed Chern-Simons functional on Y, counted with signs, is equal to the algebraic intersection number of two character varieties associated with Heegaard splittings when the structure group is SU(2). Taubes' result established a relationship between gauge theory and the Casson invariant. This article proves an analogous identification result for SU(n) generalized Casson invariants. As a special case, we show that the SU(3) Casson invariant of Boden-Herald can be equivalently calculated by taking an appropriate intersection number of Lagrangian submanifolds.
△ Less
Submitted 6 February, 2021;
originally announced February 2021.
-
Turán Density of $2$-edge-colored Bipartite Graphs with Application on $\{2, 3\}$-Hypergraphs
Authors:
Shuliang Bai,
Linyuan Lu
Abstract:
We consider the Turán problems of $2$-edge-colored graphs. A $2$-edge-colored graph $H=(V, E_r, E_b)$ is a triple consisting of the vertex set $V$, the set of red edges $E_r$ and the set of blue edges $E_b$ with $E_r$ and $E_b$ do not have to be disjoint. The Turán density $π(H)$ of $H$ is defined to be $\lim_{n\to\infty} \max_{G_n}h_n(G_n)$, where $G_n$ is chosen among all possible $2$-edge-color…
▽ More
We consider the Turán problems of $2$-edge-colored graphs. A $2$-edge-colored graph $H=(V, E_r, E_b)$ is a triple consisting of the vertex set $V$, the set of red edges $E_r$ and the set of blue edges $E_b$ with $E_r$ and $E_b$ do not have to be disjoint. The Turán density $π(H)$ of $H$ is defined to be $\lim_{n\to\infty} \max_{G_n}h_n(G_n)$, where $G_n$ is chosen among all possible $2$-edge-colored graphs on $n$ vertices containing no $H$ as a sub-graph and $h_n(G_n)=(|E_r(G)|+|E_b(G)|)/{n\choose 2}$ is the formula to measure the edge density of $G_n$. We will determine the Turán densities of all $2$-edge-colored bipartite graphs. We also give an important application of our study on the Turán problems of $\{2, 3\}$-hypergraphs.
△ Less
Submitted 11 December, 2020;
originally announced December 2020.
-
Ollivier Ricci-flow on weighted graphs
Authors:
Shuliang Bai,
Yong Lin,
Linyuan Lu,
Zhiyu Wang,
Shing-Tung Yau
Abstract:
We study the existence of solutions of Ricci flow equations of Ollivier-Lin-Lu-Yau curvature defined on weighted graphs. Our work is motivated by\cite{NLLG} in which the discrete time Ricci flow algorithm has been applied successfully as a discrete geometric approach in detecting complex networks. Our main result is the existence and uniqueness theorem for solutions to a continuous time normalized…
▽ More
We study the existence of solutions of Ricci flow equations of Ollivier-Lin-Lu-Yau curvature defined on weighted graphs. Our work is motivated by\cite{NLLG} in which the discrete time Ricci flow algorithm has been applied successfully as a discrete geometric approach in detecting complex networks. Our main result is the existence and uniqueness theorem for solutions to a continuous time normalized Ricci flow. We also display possible solutions to the Ricci flow on path graph and prove the Ricci flow on finite star graph with at least three leaves converges to constant-weighted star.
△ Less
Submitted 20 June, 2025; v1 submitted 5 October, 2020;
originally announced October 2020.
-
Equivariant Cerf theory and perturbative $SU(n)$ Casson invariants
Authors:
Shaoyun Bai,
Boyu Zhang
Abstract:
We develop an equivariant Cerf theory for Morse functions on finite-dimensional manifolds with group actions, and adapt the technique to the infinite-dimensional setting to study the moduli space of perturbed flat $SU(n)$-connections. As a consequence, we prove the existence of perturbative $SU(n)$ Casson invariants on integer homology spheres for all $n\ge 3$, and write down an explicit formula w…
▽ More
We develop an equivariant Cerf theory for Morse functions on finite-dimensional manifolds with group actions, and adapt the technique to the infinite-dimensional setting to study the moduli space of perturbed flat $SU(n)$-connections. As a consequence, we prove the existence of perturbative $SU(n)$ Casson invariants on integer homology spheres for all $n\ge 3$, and write down an explicit formula when $n=4$. This generalizes the previous works of Boden and Herald.
△ Less
Submitted 5 September, 2020; v1 submitted 2 September, 2020;
originally announced September 2020.
-
New criteria and constructions of Brunnian links
Authors:
Sheng Bai,
Weibiao Wang
Abstract:
We present two practical and widely applicable methods, including some criteria and a general procedure, for detecting Brunnian property of a link, if each component is known to be unknot. The methods are based on observation and handwork. They are used successfully for all Brunnian links known so far. Typical examples and extensive experiments illustrate their efficiency. As an application, infin…
▽ More
We present two practical and widely applicable methods, including some criteria and a general procedure, for detecting Brunnian property of a link, if each component is known to be unknot. The methods are based on observation and handwork. They are used successfully for all Brunnian links known so far. Typical examples and extensive experiments illustrate their efficiency. As an application, infinite families of Brunnian links are created, and we establish a general way to construct new ones in bulk
△ Less
Submitted 18 June, 2020;
originally announced June 2020.
-
Limit Theorems for Conservative Flows on Multiple Stochastic Integrals
Authors:
Shuyang Bai
Abstract:
We consider a stationary sequence $(X_n)$ constructed by a multiple stochastic integral and an infinite-measure conservative dynamical system. The random measure defining the multiple integral is non-Gaussian, infinitely divisible and has a finite variance. Some additional assumptions on the dynamical system give rise to a parameter $β\in(0,1)$ quantifying the conservativity of the system. This pa…
▽ More
We consider a stationary sequence $(X_n)$ constructed by a multiple stochastic integral and an infinite-measure conservative dynamical system. The random measure defining the multiple integral is non-Gaussian, infinitely divisible and has a finite variance. Some additional assumptions on the dynamical system give rise to a parameter $β\in(0,1)$ quantifying the conservativity of the system. This parameter $β$ together with the order of the integral determines the decay rate of the covariance of $(X_n)$. The goal of the paper is to establish limit theorems for the partial sum process of $(X_n)$. We obtain a central limit theorem with Brownian motion as limit when the covariance decays fast enough, as well as a non-central limit theorem with fractional Brownian motion or Rosenblatt process as limit when the covariance decays slow enough.
△ Less
Submitted 11 March, 2021; v1 submitted 15 May, 2020;
originally announced May 2020.
-
On the Sum of Ricci-Curvatures for Weighted Graphs
Authors:
Shuliang Bai,
An Huang,
Linyuan Lu,
Shing-Tung Yau
Abstract:
In this paper, we generalize Lin-Lu-Yau's Ricci curvature to weighted graphs and give a simple limit-free definition. We prove two extremal results on the sum of Ricci curvatures for weighted graph.
A weighted graph $G=(V,E,d)$ is an undirected graph $G=(V,E)$ associated with a distance function $d\colon E\to [0,\infty)$. By redefining the weights if possible, without loss of generality, we assu…
▽ More
In this paper, we generalize Lin-Lu-Yau's Ricci curvature to weighted graphs and give a simple limit-free definition. We prove two extremal results on the sum of Ricci curvatures for weighted graph.
A weighted graph $G=(V,E,d)$ is an undirected graph $G=(V,E)$ associated with a distance function $d\colon E\to [0,\infty)$. By redefining the weights if possible, without loss of generality, we assume that the shortest weighted distance between $u$ and $v$ is exactly $d(u,v)$ for any edge $uv$. Now consider a random walk whose transitive probability from an vertex $u$ to its neighbor $v$ (a jump move along the edge $uv$) is proportional to $w_{uv}:=F(d(u,v))/d(u,v)$ for some given function $F(\bullet)$. We first generalize Lin-Lu-Yau's Ricci curvature definition to this weighted graph and give a simple limit-free representation of $κ(x, y)$ using a so called $\ast$-coupling functions. The total curvature $K(G)$ is defined to be the sum of Ricci curvatures over all edges of $G$. We proved the following theorems: if $F(\bullet)$ is a decreasing function, then $K(G)\geq 2|V| -2|E|$; if $F(\bullet)$ is an increasing function, then $K(G)\leq 2|V| -2|E|$. Both equalities hold if and only if $d$ is a constant function plus the girth is at least $6$.
In particular, these imply a Gauss-Bonnet theorem for (unweighted) graphs with girth at least $6$, where the graph Ricci curvature is defined geometrically in terms of optimal transport.
△ Less
Submitted 9 November, 2020; v1 submitted 6 January, 2020;
originally announced January 2020.
-
Representations of Hermite processes using local time of intersecting stationary stable regenerative sets
Authors:
Shuyang Bai
Abstract:
Hermite processes are a class of self-similar processes with stationary increments. They often arise in limit theorems under long-range dependence. We derive new representations of Hermite processes with multiple Wiener-Itô integrals, whose integrands involve the local time of intersecting stationary stable regenerative sets. The proof relies on an approximation of regenerative sets and local time…
▽ More
Hermite processes are a class of self-similar processes with stationary increments. They often arise in limit theorems under long-range dependence. We derive new representations of Hermite processes with multiple Wiener-Itô integrals, whose integrands involve the local time of intersecting stationary stable regenerative sets. The proof relies on an approximation of regenerative sets and local times based on a scheme of random interval covering.
△ Less
Submitted 8 May, 2020; v1 submitted 15 October, 2019;
originally announced October 2019.
-
Satellite constructions and geometric classification of Brunnian links
Authors:
Sheng Bai,
Jiming Ma
Abstract:
In this paper, we construct two families of satellite constructions for Brunnian links, called the satellite sum and the satellite tie. An interesting fact is that by applying the satellite sum and the satellite tie constructions, we can build infinitely many new Brunnian links from any given Brunnian links. With the helps of the satellite sum and the satellite tie, we give a new decomposition the…
▽ More
In this paper, we construct two families of satellite constructions for Brunnian links, called the satellite sum and the satellite tie. An interesting fact is that by applying the satellite sum and the satellite tie constructions, we can build infinitely many new Brunnian links from any given Brunnian links. With the helps of the satellite sum and the satellite tie, we give a new decomposition theorem for Brunnian links. We prove that every Brunnian link determines a unique labelled "tree-arrow structure" such that each vertex of the tree represents a generalized Hopf link, a hyperbolic Brunnian link, or a hyperbolic Brunnian link in an unlink-complement.
△ Less
Submitted 25 June, 2021; v1 submitted 4 June, 2019;
originally announced June 2019.
-
A functional non-central limit theorem for multiple-stable processes with long-range dependence
Authors:
Shuyang Bai,
Takashi Owada,
Yizao Wang
Abstract:
A functional limit theorem is established for the partial-sum process of a class of stationary sequences which exhibit both heavy tails and long-range dependence. The stationary sequence is constructed using multiple stochastic integrals with heavy-tailed marginal distribution. Furthermore, the multiple stochastic integrals are built upon a large family of dynamical systems that are ergodic and co…
▽ More
A functional limit theorem is established for the partial-sum process of a class of stationary sequences which exhibit both heavy tails and long-range dependence. The stationary sequence is constructed using multiple stochastic integrals with heavy-tailed marginal distribution. Furthermore, the multiple stochastic integrals are built upon a large family of dynamical systems that are ergodic and conservative, leading to the long-range dependence phenomenon of the model. The limits constitute a new class of self-similar processes with stationary increments. They are represented by multiple stable integrals, where the integrands involve the local times of intersections of independent stationary stable regenerative sets. The joint moments of the local times are computed, which play the key in the proof and are also of independent interest.
△ Less
Submitted 7 April, 2020; v1 submitted 1 February, 2019;
originally announced February 2019.
-
Systoles of hyperbolic surfaces with big cyclic symmetry
Authors:
Sheng Bai,
Yue Gao,
Shicheng Wang
Abstract:
We obtain the exact values of the systoles of these hyperbolic surfaces of genus $g$ with cyclic symmetries of the maximum order and the next maximum order. Precisely: for genus $g$ hyperbolic surface with order $4g+2$ cyclic symmetry, the systole is $2\mathrm{arccosh} (1+\cos \fracπ{2g+1}+\cos \frac{2π}{2g+1})$ when $g\ge 7$, and for genus $g$ hyperbolic surface with order $4g$ cyclic symmetry, t…
▽ More
We obtain the exact values of the systoles of these hyperbolic surfaces of genus $g$ with cyclic symmetries of the maximum order and the next maximum order. Precisely: for genus $g$ hyperbolic surface with order $4g+2$ cyclic symmetry, the systole is $2\mathrm{arccosh} (1+\cos \fracπ{2g+1}+\cos \frac{2π}{2g+1})$ when $g\ge 7$, and for genus $g$ hyperbolic surface with order $4g$ cyclic symmetry, the systole is $2\mathrm{arccosh} (1+2\cos \fracπ{2g})$ when $g\ge4$.
△ Less
Submitted 25 February, 2020; v1 submitted 13 December, 2018;
originally announced December 2018.
-
Minimal surfaces in the three dimensional sphere with high symmetry
Authors:
Sheng Bai,
Chao Wang,
Shicheng Wang
Abstract:
Using the Lawson's existence theorem of minimal surfaces and the symmetries of the Hopf fibration, we will construct symmetric embedded closed minimal surfaces in the three dimensional sphere. These surfaces contain the Clifford torus, the Lawson's minimal surfaces, and seven new minimal surfaces with genera 9, 25, 49, 121, 121, 361 and 841. We will also discuss the relation between such surfaces…
▽ More
Using the Lawson's existence theorem of minimal surfaces and the symmetries of the Hopf fibration, we will construct symmetric embedded closed minimal surfaces in the three dimensional sphere. These surfaces contain the Clifford torus, the Lawson's minimal surfaces, and seven new minimal surfaces with genera 9, 25, 49, 121, 121, 361 and 841. We will also discuss the relation between such surfaces and the maximal extendable group actions on subsurfaces of the three dimensional sphere.
△ Less
Submitted 5 July, 2018; v1 submitted 15 April, 2018;
originally announced April 2018.
-
On the Turán density of $\{1, 3\}$-Hypergraphs
Authors:
Shuliang Bai,
Linyuan Lu
Abstract:
In this paper, we consider the Turán problems on $\{1,3\}$-hypergraphs. We prove that a $\{1, 3\}$-hypergraph is degenerate if and only if it's $H^{\{1, 3\}}_5$-colorable, where $H^{\{1, 3\}}_5$ is a hypergraph with vertex set $V=[5]$ and edge set $E=\{\{2\}, \{3\}, \{1, 2, 4\}, \{1, 3, 5\}, \{1, 4, 5\}\}.$ Using this result, we further prove that for any finite set $R$ of distinct positive intege…
▽ More
In this paper, we consider the Turán problems on $\{1,3\}$-hypergraphs. We prove that a $\{1, 3\}$-hypergraph is degenerate if and only if it's $H^{\{1, 3\}}_5$-colorable, where $H^{\{1, 3\}}_5$ is a hypergraph with vertex set $V=[5]$ and edge set $E=\{\{2\}, \{3\}, \{1, 2, 4\}, \{1, 3, 5\}, \{1, 4, 5\}\}.$ Using this result, we further prove that for any finite set $R$ of distinct positive integers, except the case $R=\{1, 2\}$, there always exist non-trivial degenerate $R$-graphs. We also compute the Turán densities of some small $\{1,3\}$-hypergraphs.
△ Less
Submitted 16 February, 2018;
originally announced February 2018.
-
Spectral Radius of $\{0, 1\}$-Tensor with Prescribed Number of Ones
Authors:
Shuliang Bai,
Linyuan Lu
Abstract:
For any $r$-order $\{0, 1\}$-tensor $A$ with $e$ ones, we prove that the spectral radius of $A$ is at most $e^{\frac{r-1}{r}}$ with the equality holds if and only if $e={k^r}$ for some integer $k$ and all ones forms a principal sub-tensor ${\bf 1}_{k\times \cdots \times k}$. We also prove a stability result for general tensor $A$ with $e$ ones where $e=k^r+l$ with relatively small $l$. Using the s…
▽ More
For any $r$-order $\{0, 1\}$-tensor $A$ with $e$ ones, we prove that the spectral radius of $A$ is at most $e^{\frac{r-1}{r}}$ with the equality holds if and only if $e={k^r}$ for some integer $k$ and all ones forms a principal sub-tensor ${\bf 1}_{k\times \cdots \times k}$. We also prove a stability result for general tensor $A$ with $e$ ones where $e=k^r+l$ with relatively small $l$. Using the stability result, we completely characterized the tensors achieving the maximum spectral radius among all $r$-order $\{0, 1\}$-tensor $A$ with $k^r+l$ ones, for $-r-1\leq l \leq r$, and $k$ sufficiently large.
△ Less
Submitted 8 January, 2018;
originally announced January 2018.
-
Sensivity of the Hermite rank
Authors:
Shuyang Bai,
Murad s. Taqqu
Abstract:
The Hermite rank appears in limit theorems involving long memory. We show that an Hermite rank higher than one is unstable when the data is slightly perturbed by transformations such as shift and scaling. We carry out a "near higher order rank analysis" to illustrate how the limit theorems are affected by a shift perturbation that is decreasing in size. As a byproduct of our analysis, we also prov…
▽ More
The Hermite rank appears in limit theorems involving long memory. We show that an Hermite rank higher than one is unstable when the data is slightly perturbed by transformations such as shift and scaling. We carry out a "near higher order rank analysis" to illustrate how the limit theorems are affected by a shift perturbation that is decreasing in size. As a byproduct of our analysis, we also prove the coincidence of the Hermite rank and the power rank in the Gaussian context. The paper is a technical companion of \citet{bai:taqqu:2017:instability} which discusses the instability of the Hermite rank in the statistical context. (Older title "Some properties of the Hermite rank">)
△ Less
Submitted 6 January, 2018; v1 submitted 4 October, 2017;
originally announced October 2017.
-
Analogies between the crossing number and the tangle crossing number
Authors:
Robin Anderson,
Shuliang Bai,
Fidel Barrera-Cruz,
Éva Czabarka,
Giordano Da Lozzo,
Natalie L. F. Hobson,
Jephian C. -H. Lin,
Austin Mohr,
Heather C. Smith,
László A. Székely,
Hays Whitlatch
Abstract:
Tanglegrams are special graphs that consist of a pair of rooted binary trees with the same number of leaves, and a perfect matching between the two leaf-sets. These objects are of use in phylogenetics and are represented with straightline drawings where the leaves of the two plane binary trees are on two parallel lines and only the matching edges can cross. The tangle crossing number of a tanglegr…
▽ More
Tanglegrams are special graphs that consist of a pair of rooted binary trees with the same number of leaves, and a perfect matching between the two leaf-sets. These objects are of use in phylogenetics and are represented with straightline drawings where the leaves of the two plane binary trees are on two parallel lines and only the matching edges can cross. The tangle crossing number of a tanglegram is the minimum crossing number over all such drawings and is related to biologically relevant quantities, such as the number of times a parasite switched hosts.
Our main results for tanglegrams which parallel known theorems for crossing numbers are as follows. The removal of a single matching edge in a tanglegram with $n$ leaves decreases the tangle crossing number by at most $n-3$, and this is sharp. Additionally, if $γ(n)$ is the maximum tangle crossing number of a tanglegram with $n$ leaves, we prove $\frac{1}{2}\binom{n}{2}(1-o(1))\leγ(n)<\frac{1}{2}\binom{n}{2}$. Further, we provide an algorithm for computing non-trivial lower bounds on the tangle crossing number in $O(n^4)$ time. This lower bound may be tight, even for tanglegrams with tangle crossing number $Θ(n^2)$.
△ Less
Submitted 23 September, 2017;
originally announced September 2017.
-
A Bound on the Spectral Radius of Hypergraphs with $e$ Edges
Authors:
Shuliang Bai,
Linyuan Lu
Abstract:
For $r\geq 3$, let $f_r\colon [0,\infty)\to [1,\infty)$ be the unique analytic function such that $f_r({k\choose r})={k-1\choose r-1}$ for any $k\geq r-1$. We prove that the spectral radius of an $r$-uniform hypergraph $H$ with $e$ edges is at most $f_r(e)$. The equality holds if and only if $e={k\choose r}$ for some positive integer $k$ and $H$ is the union of a complete $r$-uniform hypergraph…
▽ More
For $r\geq 3$, let $f_r\colon [0,\infty)\to [1,\infty)$ be the unique analytic function such that $f_r({k\choose r})={k-1\choose r-1}$ for any $k\geq r-1$. We prove that the spectral radius of an $r$-uniform hypergraph $H$ with $e$ edges is at most $f_r(e)$. The equality holds if and only if $e={k\choose r}$ for some positive integer $k$ and $H$ is the union of a complete $r$-uniform hypergraph $K_k^r$ and some possible isolated vertices. This result generalizes the classical Stanley's theorem on graphs.
△ Less
Submitted 3 May, 2017;
originally announced May 2017.
-
Behavior of the generalized Rosenblatt process at extreme critical exponent values
Authors:
Shuyang Bai,
Murad S. Taqqu
Abstract:
The generalized Rosenblatt process is obtained by replacing the single critical exponent characterizing the Rosenblatt process by two different exponents living in the interior of a triangular region. What happens to that generalized Rosenblatt process as these critical exponents approach the boundaries of the triangle? We show by two different methods that on each of the two symmetric boundaries,…
▽ More
The generalized Rosenblatt process is obtained by replacing the single critical exponent characterizing the Rosenblatt process by two different exponents living in the interior of a triangular region. What happens to that generalized Rosenblatt process as these critical exponents approach the boundaries of the triangle? We show by two different methods that on each of the two symmetric boundaries, the limit is non-Gaussian. On the third boundary, the limit is Brownian motion. The rates of convergence to these boundaries are also given. The situation is particularly delicate as one approaches the corners of the triangle, because the limit process will depend on how these corners are approached. All limits are in the sense of weak convergence in $C[0,1]$. These limits cannot be strengthened to convergence in $L^2(Ω)$.
△ Less
Submitted 8 November, 2016;
originally announced November 2016.
-
How the instability of ranks under long memory affects large-sample inference
Authors:
Shuyang Bai,
Murad S. Taqqu
Abstract:
Under long memory, the limit theorems for normalized sums of random variables typically involve a positive integer called "Hermite rank". There is a different limit for each Hermite rank. From a statistical point of view, however, we argue that a rank other than one is unstable, whereas, a rank equal to one is stable. We provide empirical evidence supporting this argument. This has important conse…
▽ More
Under long memory, the limit theorems for normalized sums of random variables typically involve a positive integer called "Hermite rank". There is a different limit for each Hermite rank. From a statistical point of view, however, we argue that a rank other than one is unstable, whereas, a rank equal to one is stable. We provide empirical evidence supporting this argument. This has important consequences. Assuming a higher-order rank when it is not really there usually results in underestimating the order of the fluctuations of the statistic of interest. We illustrate this through various examples involving the sample variance, the empirical processes and the Whittle estimator.
△ Less
Submitted 1 November, 2017; v1 submitted 3 October, 2016;
originally announced October 2016.
-
Hermite rank, power rank and the generalized Weierstrass transform
Authors:
Shuyang Bai,
Murad S. Taqqu
Abstract:
Using the theory of generalized Weierstrass transform, we show that the Hermite rank is identical to the power rank in the Gaussian case, and that an Hermite rank higher than one is unstable with respect to a level shift.
Using the theory of generalized Weierstrass transform, we show that the Hermite rank is identical to the power rank in the Gaussian case, and that an Hermite rank higher than one is unstable with respect to a level shift.
△ Less
Submitted 28 May, 2017; v1 submitted 3 October, 2016;
originally announced October 2016.
-
Counterexamples to the quadrisecant approximation conjecture
Authors:
Sheng Bai,
Chao Wang,
Jiajun Wang
Abstract:
A quadrisecant of a knot is a straight line intersecting the knot at four points. If a knot has finitely many quadrisecants, one can replace each subarc between two adjacent secant points by the line segment between them to get the quadrisecant approximation of the original knot. It was conjectured that the quadrisecant approximation is always a knot with the same knot type as the original knot. W…
▽ More
A quadrisecant of a knot is a straight line intersecting the knot at four points. If a knot has finitely many quadrisecants, one can replace each subarc between two adjacent secant points by the line segment between them to get the quadrisecant approximation of the original knot. It was conjectured that the quadrisecant approximation is always a knot with the same knot type as the original knot. We show that every knot type contains two knots, the quadrisecant approximation of one knot has self intersections while the quadrisecant approximation of the other knot is a knot with different knot type.
△ Less
Submitted 2 May, 2016;
originally announced May 2016.
-
The most symmetric surfaces in the 3-torus
Authors:
Sheng Bai,
Vanessa Robins,
Chao Wang,
Shicheng Wang
Abstract:
Suppose an orientation preserving action of a finite group $G$ on the closed surface $Σ_g$ of genus $g>1$ extends over the 3-torus $T^3$ for some embedding $Σ_g\subset T^3$. Then $|G|\le 12(g-1)$, and this upper bound $12(g-1)$ can be achieved for $g=n^2+1, 3n^2+1, 2n^3+1, 4n^3+1, 8n^3+1, n\in \mathbb{Z}_+$. Those surfaces in $T^3$ realizing the maximum symmetries can be either unknotted or knotte…
▽ More
Suppose an orientation preserving action of a finite group $G$ on the closed surface $Σ_g$ of genus $g>1$ extends over the 3-torus $T^3$ for some embedding $Σ_g\subset T^3$. Then $|G|\le 12(g-1)$, and this upper bound $12(g-1)$ can be achieved for $g=n^2+1, 3n^2+1, 2n^3+1, 4n^3+1, 8n^3+1, n\in \mathbb{Z}_+$. Those surfaces in $T^3$ realizing the maximum symmetries can be either unknotted or knotted. Similar problems in non-orientable category is also discussed.
Connection with minimal surfaces in $T^3$ is addressed and when the maximum symmetric surfaces above can be realized by minimal surfaces is identified.
△ Less
Submitted 26 March, 2016;
originally announced March 2016.
-
A unified approach to self-normalized block sampling
Authors:
Shuyang Bai,
Murad S. Taqqu,
Ting Zhang
Abstract:
The inference procedure for the mean of a stationary time series is usually quite different under various model assumptions because the partial sum process behaves differently depending on whether the time series is short or long-range dependent, or whether it has a light or heavy-tailed marginal distribution. In the current paper, we develop an asymptotic theory for the self-normalized block samp…
▽ More
The inference procedure for the mean of a stationary time series is usually quite different under various model assumptions because the partial sum process behaves differently depending on whether the time series is short or long-range dependent, or whether it has a light or heavy-tailed marginal distribution. In the current paper, we develop an asymptotic theory for the self-normalized block sampling, and prove that the corresponding block sampling method can provide a unified inference approach for the aforementioned different situations in the sense that it does not require the {\em a priori} estimation of auxiliary parameters. Monte Carlo simulations are presented to illustrate its finite-sample performance. The R function implementing the method is available from the authors.
△ Less
Submitted 20 March, 2016; v1 submitted 2 December, 2015;
originally announced December 2015.
-
On the validity of resampling methods under long memory
Authors:
Shuyang Bai,
Murad S. Taqqu
Abstract:
For long-memory time series, inference based on resampling is of crucial importance, since the asymptotic distribution can often be non-Gaussian and is difficult to determine statistically. However due to the strong dependence, establishing the asymptotic validity of resampling methods is nontrivial. In this paper, we derive an efficient bound for the canonical correlation between two finite block…
▽ More
For long-memory time series, inference based on resampling is of crucial importance, since the asymptotic distribution can often be non-Gaussian and is difficult to determine statistically. However due to the strong dependence, establishing the asymptotic validity of resampling methods is nontrivial. In this paper, we derive an efficient bound for the canonical correlation between two finite blocks of a long-memory time series. We show how this bound can be applied to establish the asymptotic consistency of subsampling procedures for general statistics under long memory. It allows the subsample size $b$ to be $o(n)$, where $n$ is the sample size, irrespective of the strength of the memory. We are then able to improve many results found in the literature. We also consider applications of subsampling procedures under long memory to the sample covariance, M-estimation and empirical processes.
△ Less
Submitted 8 November, 2016; v1 submitted 2 December, 2015;
originally announced December 2015.
