412 results on '"Gap theorem"'
Search Results
2. Properties of triangulated and quotient categories arising from n-Calabi–Yau triples
- Author
-
Francesca Fedele
- Subjects
Derived category ,Endomorphism ,Triangulated category ,General Mathematics ,010102 general mathematics ,Field (mathematics) ,01 natural sciences ,Cluster algebra ,Combinatorics ,Mathematics::Category Theory ,0103 physical sciences ,FOS: Mathematics ,Homological algebra ,010307 mathematical physics ,Gap theorem ,Representation Theory (math.RT) ,0101 mathematics ,Mathematics - Representation Theory ,Quotient ,Mathematics - Abstract
The original definition of cluster algebras by Fomin and Zelevinsky has been categorified and generalised in several ways over the course of the past 20 years, giving rise to cluster theory. This study lead to Iyama and Yang's generalised cluster categories $\mathcal{T}/\mathcal{T}^{fd}$ coming from $n$-Calabi-Yau triples $(\mathcal{T}, \mathcal{T}^{fd}, \mathcal{M})$. In this paper, we use some classic tools of homological algebra to give a deeper understanding of such categories $\mathcal{T}/\mathcal{T}^{fd}$. Let $k$ be a field, $n\geq 3$ an integer and $\mathcal{T}$ a $k$-linear triangulated category with a triangulated subcategory $\mathcal{T}^{fd}$ and a subcategory $\mathcal{M}=\text{add}(M)$ such that $(\mathcal{T}, \mathcal{T}^{fd}, \mathcal{M})$ is an $n$-Calabi-Yau triple. In this paper, we prove some properties of the triangulated categories $\mathcal{T}$ and $\mathcal{T}/\mathcal{T}^{fd}$. Our first result gives a relation between the Hom-spaces in these categories, using limits and colimits. Our second result is a Gap Theorem in $\mathcal{T}$, showing when the truncation triangles split. Moreover, we apply our two theorems to present an alternative proof to a result by Guo, originally stated in a more specific setup of dg $k$-algebras $A$ and subcategories of the derived category of dg $A$-modules. This proves that $\mathcal{T}/\mathcal{T}^{fd}$ is Hom-finite and $(n-1)$-Calabi-Yau, its object $M$ is $(n-1)$-cluster tilting and the endomorphism algebras of $M$ over $\mathcal{T}$ and over $\mathcal{T}/\mathcal{T}^{fd}$ are isomorphic. Note that these properties make $\mathcal{T}/\mathcal{T}^{fd}$ a generalisation of the cluster category., Comment: 17 pages. Final accepted version to appear in the Pacific Journal of Mathematics
- Published
- 2021
3. A gap theorem for constant scalar curvature hypersurfaces
- Author
-
Eudes L. de Lima and Henrique F. de Lima
- Subjects
Pure mathematics ,Principal curvature ,Applied Mathematics ,General Mathematics ,Second fundamental form ,Mathematics::Differential Geometry ,Sectional curvature ,Gap theorem ,Riemannian manifold ,Constant (mathematics) ,Curvature ,Scalar curvature ,Mathematics - Abstract
We obtain a sharp estimate to the norm of the traceless second fundamental form of complete hypersurfaces with constant scalar curvature immersed into a locally symmetric Riemannian manifold obeying standard curvature constraints (which includes, in particular, the Riemannian space forms with constant sectional curvature). When the equality holds, we prove that these hypersurfaces must be isoparametric with two distinct principal curvatures. Our approach involves a suitable Okumura type inequality which was introduced by Melendez (Bull Braz Math Soc 45:385–404, 2014) , corresponding to a weaker hypothesis when compared with to the assumption that these hypersurfaces have a priori at most two distinct principal curvatures.
- Published
- 2020
4. Deduciendo el teorema de las tres brechas vía inducción Rauzy-Veech
- Author
-
Christian Weiss
- Subjects
uniform distribution ,inducción Rauzy-Veech ,Pure mathematics ,Mathematics - Number Theory ,Teorema de las tres brechas ,General Mathematics ,Rauzy-Veech induction ,Dynamical Systems (math.DS) ,Kronecker sequence ,Three Gap Theorem ,intercambio de intervalos ,sucesión de Kronecker ,FOS: Mathematics ,distribución uniforme ,Number Theory (math.NT) ,Gap theorem ,Mathematics - Dynamical Systems ,interval exchange transformation ,Mathematics - Abstract
The Three Gap Theorem states that there are at most three distinct lengths of gaps if one places $n$ points on a circle, at angles of $z, 2z, 3z, \ldots nz$ from the starting point. The theorem was first proven in 1958 by S\'os and many proofs have been found since then. In this note we show how the Three Gap Theorem can easily be deduced by using Rauzy-Veech induction., Comment: 5 pages
- Published
- 2020
5. A five distance theorem for Kronecker sequences
- Author
-
Jens Marklof and Alan Haynes
- Subjects
Conjecture ,Mathematics - Number Theory ,General Mathematics ,Diophantine equation ,three gap theorem ,Dimension (graph theory) ,Integer lattice ,Dynamical Systems (math.DS) ,Upper and lower bounds ,Combinatorics ,homogeneous dynamics ,Unimodular matrix ,Steinhaus problem ,FOS: Mathematics ,11J71, 37A44 ,Number Theory (math.NT) ,Gap theorem ,Mathematics - Dynamical Systems ,Real number ,Mathematics - Abstract
The three distance theorem (also known as the three gap theorem or Steinhaus problem) states that, for any given real number $\alpha$ and integer $N$, there are at most three values for the distances between consecutive elements of the Kronecker sequence $\alpha, 2\alpha,\ldots, N\alpha$ mod 1. In this paper we consider a natural generalisation of the three distance theorem to the higher dimensional Kronecker sequence $\vec\alpha, 2\vec\alpha,\ldots, N\vec\alpha$ modulo an integer lattice. We prove that in two dimensions there are at most five values that can arise as a distance between nearest neighbors, for all choices of $\vec\alpha$ and $N$. Furthermore, for almost every $\vec\alpha$, five distinct distances indeed appear for infinitely many $N$ and hence five is the best possible general upper bound. In higher dimensions we have similar explicit, but less precise, upper bounds. For instance in three dimensions our bound is 13, though we conjecture the truth to be 9. We furthermore study the number of possible distances from a point to its nearest neighbor in a restricted cone of directions. This may be viewed as a generalisation of the gap length in one dimension. For large cone angles we use geometric arguments to produce explicit bounds directly analogous to the three distance theorem. For small cone angles we use ergodic theory of homogeneous flows in the space of unimodular lattices to show that the number of distinct lengths is (a) unbounded for almost all $\vec\alpha$ and (b) bounded for $\vec\alpha$ that satisfy certain Diophantine conditions., Comment: 34 pages, 7 figures. New version: Improved bounds in Theorems 1 and 9, references added, added details of proofs of later propositions, updated conjecture for three dimensions
- Published
- 2021
6. Remark on a lower diameter bound for compact shrinking Ricci solitons
- Author
-
Homare Tadano
- Subjects
Pure mathematics ,Mean curvature flow ,Mean curvature ,010102 general mathematics ,01 natural sciences ,Computational Theory and Mathematics ,0103 physical sciences ,Mathematics::Differential Geometry ,010307 mathematical physics ,Geometry and Topology ,Gap theorem ,0101 mathematics ,Analysis ,Mathematics ,Scalar curvature - Abstract
In this paper, inspired by Fernandez-Lopez and Garcia-Rio [11] , we shall give a new lower diameter bound for compact non-trivial shrinking Ricci solitons depending on the range of the potential function, as well as on the range of the scalar curvature. Moreover, by using a universal lower diameter bound for compact non-trivial shrinking Ricci solitons by Chu and Hu [7] and by Futaki, Li, and Li [13] , we shall provide a new sufficient condition for four-dimensional compact non-trivial shrinking Ricci solitons to satisfy the Hitchin–Thorpe inequality. Furthermore, we shall give a new lower diameter bound for compact self–shrinkers of the mean curvature flow depending on the norm of the mean curvature. We shall also prove a new gap theorem for compact self–shrinkers by showing a necessary and sufficient condition to have constant norm of the mean curvature.
- Published
- 2019
7. On the diastatic entropy and C1-rigidity of complex hyperbolic manifolds
- Author
-
Roberto Mossa
- Subjects
Pure mathematics ,Continuous map ,010102 general mathematics ,Holomorphic function ,General Physics and Astronomy ,Mathematics::Geometric Topology ,01 natural sciences ,Volume entropy ,0103 physical sciences ,Mathematics::Differential Geometry ,010307 mathematical physics ,Geometry and Topology ,Gap theorem ,Sectional curvature ,0101 mathematics ,Mathematics::Symplectic Geometry ,Mathematical Physics ,Mathematics - Abstract
Let f : ( Y , g ) → ( X , g 0 ) be a nonzero degree continuous map between compact Kahler manifolds of dimension n ≥ 2 , where g 0 has constant negative holomorphic sectional curvature. Adapting the Besson–Courtois–Gallot barycentre map techniques to the Kahler setting, we prove a gap theorem in terms of the degree of f and the diastatic entropies of ( Y , g ) and ( X , g 0 ) which extends the rigidity result proved by the author in [13] .
- Published
- 2019
8. Gap theorem on Kähler manifolds with nonnegative orthogonal bisectional curvature
- Author
-
Yanyan Niu and Lei Ni
- Subjects
Pure mathematics ,Applied Mathematics ,General Mathematics ,010102 general mathematics ,0103 physical sciences ,Mathematics::Differential Geometry ,010307 mathematical physics ,Gap theorem ,0101 mathematics ,Curvature ,01 natural sciences ,Mathematics - Abstract
In this paper we prove a gap theorem for Kähler manifolds with nonnegative orthogonal bisectional curvature and nonnegative Ricci curvature, which generalizes an earlier result of the first author [L. Ni, An optimal gap theorem, Invent. Math. 189 2012, 3, 737–761]. We also prove a Liouville theorem for plurisubharmonic functions on such a manifold, which generalizes a previous result of L.-F. Tam and the first author [L. Ni and L.-F. Tam, Plurisubharmonic functions and the structure of complete Kähler manifolds with nonnegative curvature, J. Differential Geom. 64 2003, 3, 457–524] and complements a recent result of Liu [G. Liu, Three-circle theorem and dimension estimate for holomorphic functions on Kähler manifolds, Duke Math. J. 165 2016, 15, 2899–2919].
- Published
- 2019
9. Bernstein theorem for translating solitons of hypersurfaces
- Author
-
Vicente Miquel and Li Ma
- Subjects
Mathematics - Differential Geometry ,53Cxx, 35Jxx ,Pure mathematics ,General Mathematics ,Second fundamental form ,010102 general mathematics ,Monotonic function ,Algebraic geometry ,01 natural sciences ,Mathematics - Analysis of PDEs ,Mathematics::Algebraic Geometry ,Nonlinear Sciences::Exactly Solvable and Integrable Systems ,Number theory ,Differential Geometry (math.DG) ,Hyperplane ,Norm (mathematics) ,0103 physical sciences ,FOS: Mathematics ,010307 mathematical physics ,Soliton ,Gap theorem ,0101 mathematics ,Nonlinear Sciences::Pattern Formation and Solitons ,Analysis of PDEs (math.AP) ,Mathematics - Abstract
In this paper, we prove a monotonicity formula and some Bernstein type results for translating solitons of hypersurfaces in $\re^{n+1}$, giving some conditions under which a trantranslating soliton is a hyperplane. We also show a gap theorem for the translating soliton of hypersurfaces in $R^{n+k}$, namely, if the $L^n$ norm of the second fundamental form of the soliton is small enough, then it is a hyperplane., Comment: some results are reformulated and the monotonicity formula and volume growth are added
- Published
- 2019
10. Convexity of $��$-hypersurfaces
- Author
-
Tang-Kai Lee
- Subjects
Mathematics::Complex Variables ,Applied Mathematics ,General Mathematics ,Regular polygon ,Lambda ,Convexity ,Combinatorics ,Corollary ,Mathematics::Algebraic Geometry ,Differential Geometry (math.DG) ,FOS: Mathematics ,Gap theorem ,Mathematics::Differential Geometry ,Mathematics ,Analysis of PDEs (math.AP) - Abstract
We prove that any $n$-dimensional closed mean convex $��$-hypersurface is convex if $��\le 0.$ This generalizes Guang's work on $2$-dimensional strictly mean convex $��$-hypersurfaces. As a corollary, we obtain a gap theorem for closed $��$-hypersurfaces with $��\le 0.$, 10 pages; minor changes suggested by the referee
- Published
- 2021
- Full Text
- View/download PDF
11. Some aspects of Ricci flow on the 4-sphere
- Author
-
Sun-Yung Alice Chang and Eric Chen
- Subjects
Weyl tensor ,Mathematics - Differential Geometry ,Riemann curvature tensor ,Algebra and Number Theory ,Applied Mathematics ,Mathematical analysis ,Conformal map ,Ricci flow ,symbols.namesake ,Mathematics - Analysis of PDEs ,Differential Geometry (math.DG) ,Norm (mathematics) ,Metric (mathematics) ,symbols ,FOS: Mathematics ,Geometry and Topology ,Gap theorem ,Mathematics::Differential Geometry ,Analysis ,Mathematics ,Scalar curvature ,Analysis of PDEs (math.AP) ,53C21, 53E20 - Abstract
In this paper, on 4-spheres equipped with Riemannian metrics we study some integral conformal invariants, the sign and size of which under Ricci flow characterize the standard 4-sphere. We obtain a conformal gap theorem, and for Yamabe metrics of positive scalar curvature with $L^2$ norm of the Weyl tensor of the metric suitably small, we establish the monotonic decay of the $L^p$ norm for certain $p>2$ of the reduced curvature tensor along the normalized Ricci flow, with the metric converging exponentially to the standard 4-sphere., To appear in the Vaughan Jones Memorial Volume of the NZJM
- Published
- 2021
- Full Text
- View/download PDF
12. Poorly connected groups
- Author
-
John M. Mackay and David Hume
- Subjects
Conjecture ,Cayley graph ,20F65 (Primary), 05C40, 20E05, 20F67 (Secondary) ,Group (mathematics) ,Applied Mathematics ,General Mathematics ,Group Theory (math.GR) ,Type (model theory) ,Dehn function ,Combinatorics ,Mathematics::Group Theory ,Bounded function ,FOS: Mathematics ,Mathematics - Combinatorics ,Combinatorics (math.CO) ,Finitely generated group ,Gap theorem ,Mathematics - Group Theory ,Mathematics - Abstract
We investigate groups whose Cayley graphs have poor\-ly connected subgraphs. We prove that a finitely generated group has bounded separation in the sense of Benjamini--Schramm--Tim\'ar if and only if it is virtually free. We then prove a gap theorem for connectivity of finitely presented groups, and prove that there is no comparable theorem for all finitely generated groups. Finally, we formulate a connectivity version of the conjecture that every group of type $F$ with no Baumslag-Solitar subgroup is hyperbolic, and prove it for groups with at most quadratic Dehn function., Comment: 14 pages. Changes to v2: Proof of the Theorem 1.2 shortened, Theorem 1.4 added completing the no-gap result outlined in v1
- Published
- 2020
13. A gap theorem for positive Einstein metrics on the four-sphere
- Author
-
Hisaaki Endo, Kazuo Akutagawa, and Harish Seshadri
- Subjects
General Mathematics ,010102 general mathematics ,Conformal map ,01 natural sciences ,Combinatorics ,symbols.namesake ,0103 physical sciences ,symbols ,010307 mathematical physics ,Gap theorem ,0101 mathematics ,Einstein ,Constant (mathematics) ,Mathematics - Abstract
We show that there exists a universal positive constant $$\varepsilon _0 > 0$$ with the following property: let g be a positive Einstein metric on the four-sphere $$S^4$$ . If the Yamabe constant of the conformal class [g] satisfies $$\begin{aligned} Y(S^4, [g]) >\frac{1}{\sqrt{3}} Y(S^4, [g_{\mathbb S}]) - \varepsilon _0\,, \end{aligned}$$ where $$g_{\mathbb S}$$ denotes the standard round metric on $$S^4$$ , then, up to rescaling, g is isometric to $$g_{\mathbb S}$$ . This is an extension of Gursky’s gap theorem for positive Einstein metrics on $$S^4$$ .
- Published
- 2018
14. Rigidity of complete minimal submanifolds in a hyperbolic space
- Author
-
Changyu Xia and Hudson Pina de Oliveira
- Subjects
Geodesic ,General Mathematics ,Second fundamental form ,Hyperbolic space ,010102 general mathematics ,Codimension ,Submanifold ,01 natural sciences ,010101 applied mathematics ,Combinatorics ,Number theory ,Norm (mathematics) ,Mathematics::Differential Geometry ,Gap theorem ,0101 mathematics ,Mathematics - Abstract
In this paper we prove some gap theorem for complete immersed minimal submanifold of dimension no less than six or four, depending on the codimension, in a hyperbolic space $$\mathbb {H}^{n+m}(-1)$$ . That is, we show that a high dimensional complete immersed minimal submanifold M in $$ \mathbb {H}^{n+m}(-1)$$ , is totally geodesic if the $$L^d$$ norm of |A|, for some d, on geodesic balls centered at some point $$p \in M $$ has less than quadratic growth and if either $$\sup _{x \in M} |A|^2$$ is not too large or the $$L^n$$ norm of |A| on M is finite, were, A is the second fundamental form of M.
- Published
- 2018
15. A Conformally Invariant Gap Theorem in Yang–Mills Theory
- Author
-
Matthew J. Gursky, Casey Lynn Kelleher, and Jeffrey Streets
- Subjects
Mathematics - Differential Geometry ,010102 general mathematics ,Complex system ,Statistical and Nonlinear Physics ,Yang–Mills theory ,Invariant (physics) ,01 natural sciences ,High Energy Physics::Theory ,Mathematics - Analysis of PDEs ,Differential Geometry (math.DG) ,0103 physical sciences ,FOS: Mathematics ,Mathematics::Differential Geometry ,010307 mathematical physics ,Gap theorem ,0101 mathematics ,Mathematical Physics ,Analysis of PDEs (math.AP) ,Mathematical physics ,Mathematics - Abstract
We show a sharp conformally invariant gap theorem for Yang-Mills connections in dimension 4 by exploiting an associated Yamabe-type problem., 10 pages, grant information added, minor edits
- Published
- 2018
16. Optimal Curvature Estimates for Homogeneous Ricci Flows
- Author
-
Ramiro A. Lafuente, Miles Simon, and Christoph Böhm
- Subjects
Mathematics - Differential Geometry ,Riemann curvature tensor ,Pure mathematics ,General Mathematics ,010102 general mathematics ,53C44, 53C30 ,Type (model theory) ,Space (mathematics) ,Curvature ,01 natural sciences ,Symmetry (physics) ,symbols.namesake ,Differential Geometry (math.DG) ,Bounded function ,Homogeneous space ,FOS: Mathematics ,symbols ,Mathematics::Differential Geometry ,Gap theorem ,0101 mathematics ,Mathematics - Abstract
We prove uniform curvature estimates for homogeneous Ricci flows: For a solution defined on $[0,t]$ the norm of the curvature tensor at time $t$ is bounded by the maximum of $C(n)/t$ and $C(n) ( scal(g(t)) - scal(g(0)) )$. This is used to show that solutions with finite extinction time are Type I, immortal solutions are Type III and ancient solutions are Type I, where all the constants involved depend only on the dimension $n$. A further consequence is that a non-collapsed homogeneous ancient solution on a compact homogeneous space emerges from a unique Einstein metric on the same space. The above curvature estimates are proved using a gap theorem for Ricci-flatness on homogeneous spaces. The proof of this gap theorem is by contradiction and uses a local $W^{2,p}$ convergence result, which holds without symmetry assumptions., Fixed up the formulation of the weak convergence theorem in Section 2
- Published
- 2017
17. A note on the almost-one-half holomorphic pinching
- Author
-
Xiaodong Cao and Bo Yang
- Subjects
Pure mathematics ,One half ,010102 general mathematics ,Holomorphic function ,General Medicine ,01 natural sciences ,010101 applied mathematics ,Physics::Plasma Physics ,Mathematics::Differential Geometry ,Gap theorem ,Sectional curvature ,0101 mathematics ,Mathematics::Symplectic Geometry ,Mathematics - Abstract
Motivated by a previous work by Zheng and the second-named author, we study pinching constants of compact Kahler manifolds with positive holomorphic sectional curvature. In particular, we prove a gap theorem on Kahler manifolds with almost-one-half pinched holomophic sectional curvature. The proof is motivated by the work of Petersen and Tao on Riemannian manifolds with almost-quarter-pinched sectional curvature.
- Published
- 2017
18. Some rigidity results for noncompact gradient steady Ricci solitons and Ricci-flat manifolds
- Author
-
Fei He
- Subjects
Mathematics - Differential Geometry ,010308 nuclear & particles physics ,010102 general mathematics ,Curvature ,01 natural sciences ,Rigidity (electromagnetism) ,Differential Geometry (math.DG) ,Computational Theory and Mathematics ,Volume growth ,0103 physical sciences ,FOS: Mathematics ,Mathematics::Metric Geometry ,Mathematics::Differential Geometry ,Geometry and Topology ,Gap theorem ,0101 mathematics ,Analysis ,Mathematical physics ,Mathematics - Abstract
Gradient steady Ricci solitons are natural generalizations of Ricci-flat manifolds. In this article, we prove a curvature gap theorem for gradient steady Ricci solitons with nonconstant potential functions; and a curvature gap theorem for Ricci-flat manifolds, removing the volume growth assumptions in known results., The result concerning ACyl manifolds was removed from the previous version since it can be generalized and does not depend on either Ricci soliton or Ricci-flat condition. 18 pages
- Published
- 2017
19. From coin tossing to rock-paper-scissors and beyond: a log-exp gap theorem for selecting a leader
- Author
-
Hsien-Kuei Hwang, Yoshiaki Itoh, and Michael Fuchs
- Subjects
Statistics and Probability ,Discrete mathematics ,Class (set theory) ,Coin flipping ,Group (mathematics) ,General Mathematics ,Variance (accounting) ,01 natural sciences ,Exponential function ,010104 statistics & probability ,Logarithmic mean ,Bounded function ,0103 physical sciences ,Gap theorem ,0101 mathematics ,Statistics, Probability and Uncertainty ,010306 general physics ,Mathematics - Abstract
A class of games for finding a leader among a group of candidates is studied in detail. This class covers games based on coin tossing and rock-paper-scissors as special cases and its complexity exhibits similar stochastic behaviors: either of logarithmic mean and bounded variance or of exponential mean and exponential variance. Many applications are also discussed.
- Published
- 2017
20. Complexity for partial computable functions over computable Polish spaces
- Author
-
Oleg V. Kudinov and Margarita V. Korovina
- Subjects
Pure mathematics ,Computable number ,010102 general mathematics ,Rice's theorem ,0102 computer and information sciences ,01 natural sciences ,Computable analysis ,Computer Science Applications ,Mathematics (miscellaneous) ,Computable function ,Recursive set ,Computable model theory ,010201 computation theory & mathematics ,Gap theorem ,0101 mathematics ,Church's thesis ,Mathematics - Abstract
In the framework of effectively enumerable topological spaces, we introduce the notion of a partial computable function. We show that the class of partial computable functions is closed under composition, and the real-valued partial computable functions defined on a computable Polish space have a principal computable numbering. With respect to the principal computable numbering of the real-valued partial computable functions, we investigate complexity of important problems such as totality and root verification. It turns out that for some problems the corresponding complexity does not depend on the choice of a computable Polish space, whereas for other ones the corresponding choice plays a crucial role.
- Published
- 2016
21. A Proof of the Weierstraß Gap Theorem not Using the Riemann–Roch Formula
- Author
-
Peter Paule and Christian-Silviu Radu
- Subjects
Pure mathematics ,business.industry ,010102 general mathematics ,0102 computer and information sciences ,Modular design ,01 natural sciences ,Modular curve ,Connection (mathematics) ,Combinatorics ,Riemann hypothesis ,symbols.namesake ,Corollary ,010201 computation theory & mathematics ,symbols ,Gap theorem ,Compact Riemann surface ,0101 mathematics ,business ,Mathematics - Abstract
Usually, the Weierstras gap theorem is derived as a straightforward corollary of the Riemann–Roch theorem. Our main objective in this article is to prove the Weierstras gap theorem by following an alternative approach based on “first principles”, which does not use the Riemann– Roch formula. Having mostly applications in connection with modular functions in mind, we describe our approach for the case when the given compact Riemann surface is associated with the modular curve X0(N).
- Published
- 2019
22. A gap theorem for ancient solutions to the Ricci flow
- Author
-
Takumi Yokota
- Subjects
asymptotic volume ratio ,Euclidean space ,reduced volume ,Gaussian ,gradient Ricci soliton ,Ricci flow ,53C21 ,symbols.namesake ,symbols ,Mathematics::Metric Geometry ,Mathematics::Differential Geometry ,Limit (mathematics) ,Soliton ,Gap theorem ,Volume (compression) ,Mathematical physics ,Mathematics - Abstract
We outline the proof of the gap theorem stating that any ancient solution to the Ricci flow with Perelman's reduced volume whose asymptotic limit is sufficiently close to that of the Gaussian soliton must be isometric to the Euclidean space for all time. This is the main result of the author's paper [Yo].
- Published
- 2019
23. A Gap Theorem for Half-Conformally Flat Manifolds
- Author
-
Brian Weber and Martin Citoler-Saumell
- Subjects
Mathematics - Differential Geometry ,Flat manifold ,Pure mathematics ,Betti number ,General Mathematics ,Curvature ,Manifold ,Differential Geometry (math.DG) ,Bounded function ,FOS: Mathematics ,Gap theorem ,Mathematics::Differential Geometry ,Mathematics::Symplectic Geometry ,Orbifold ,Scalar curvature ,Mathematics - Abstract
We show that a compact half-conformally flat manifold of negative type with bounded L2 energy, sufficiently small scalar curvature, and a noncollapsing assumption has all Betti numbers bounded in terms of the L2 curvature norm. We give examples of multi-ended bubbles that disrupt attempts to improve these Betti number bounds. We show that bounded self-dual solutions of dω=0 on asymptotically locally Euclidian (ALE) manifold ends display a rate-of-decay gap: they are either asymptotically Kahler, or they have a decay rate of O(r−4) or better.
- Published
- 2019
- Full Text
- View/download PDF
24. A gap theorem for minimal log discrepancies of non-canonical singularities in dimension three
- Author
-
Chen Jiang
- Subjects
Pure mathematics ,Algebra and Number Theory ,010102 general mathematics ,MathematicsofComputing_GENERAL ,02 engineering and technology ,021001 nanoscience & nanotechnology ,01 natural sciences ,Mathematics - Algebraic Geometry ,Mathematics::Algebraic Geometry ,Dimension (vector space) ,FOS: Mathematics ,Gravitational singularity ,Geometry and Topology ,Gap theorem ,0101 mathematics ,0210 nano-technology ,Mathematics::Symplectic Geometry ,Algebraic Geometry (math.AG) ,Mathematics - Abstract
We show that there exists a positive real number $\delta>0$ such that for any normal quasi-projective $\mathbb{Q}$-Gorenstein $3$-fold $X$, if $X$ has worse than canonical singularities, that is, the minimal log discrepancy of $X$ is less than $1$, then the minimal log discrepancy of $X$ is not greater than $1-\delta$. As applications, we show that the set of all non-canonical klt Calabi-Yau $3$-folds are bounded modulo flops, and the global indices of all klt Calabi-Yau $3$-folds are bounded from above., Comment: 39 pages, comments are welcome; v2: 40 pages, slightly modified, more discussion on computation of $\delta$ added; v3: final version, to appear in J. Algebraic Geom
- Published
- 2019
- Full Text
- View/download PDF
25. A gap theorem for complete submanifolds with parallel mean curvature in the hyperbolic space
- Author
-
Hongwei Xu and Zhiyuan Xu
- Subjects
Combinatorics ,Mean curvature ,Geodesic ,Euclidean space ,Applied Mathematics ,Hyperbolic space ,Second fundamental form ,Gap theorem ,Ball (mathematics) ,Submanifold ,Analysis ,Mathematics - Abstract
Let M be an n ( ≥ 7 ) -dimensional complete submanifold with parallel mean curvature in the hyperbolic space H n + p , whose mean curvature satisfies H 2 − 1 ≤ 0 . Denote by A ˚ and B R ( q ) the trace free second fundamental form of M and the geodesic ball of radius R centered at q ∈ M , respectively. We prove that if lim sup R → ∞ ∫ B R ( q ) | A ˚ | 2 d M R 2 = 0 , and if ( ∫ M | A ˚ | n d M ) 2 / n + 2 n ( n − 2 ) 3 n ( n − 1 ) H ( ∫ M | A ˚ | n / 2 d M ) 2 / n ≤ C ( n ) , then M is congruent to an n-dimensional hyperbolic space or the Euclidean space R n . Here C ( n ) is an explicit positive constant depending only on n. We also obtain a similar gap theorem in the case where n = 5 , 6 .
- Published
- 2021
26. Continuous distributions arising from the Three Gap Theorem
- Author
-
Daniel Schultz, Geremías Polanco, and Alexandru Zaharescu
- Subjects
Sequence ,Algebra and Number Theory ,Uniform distribution (continuous) ,Distribution (mathematics) ,Continuous distributions ,010102 general mathematics ,0103 physical sciences ,Mathematical analysis ,010307 mathematical physics ,Gap theorem ,0101 mathematics ,01 natural sciences ,Mathematics - Abstract
The well-known Three Gap Theorem states that there are at most three gap sizes in the sequence of fractional parts [Formula: see text]. It is known that if one averages over [Formula: see text], the distribution becomes continuous. We present an alternative approach, which establishes this averaged result and also provides good bounds for the error terms.
- Published
- 2016
27. Gap Problem for Separated Sequences and Beurling–Malliavin Theorem
- Author
-
Yurii Belov, Anton Baranov, and Alexander Ulanovskii
- Subjects
Partial differential equation ,Applied Mathematics ,General Mathematics ,010102 general mathematics ,Mathematical analysis ,010103 numerical & computational mathematics ,Radius ,Mathematics::Spectral Theory ,01 natural sciences ,symbols.namesake ,Mathematics::Probability ,Fourier analysis ,Completeness (order theory) ,symbols ,Gap theorem ,0101 mathematics ,Computer Science::Databases ,Analysis ,Mathematics - Abstract
We show that the Gap Theorem for separated sequences by M. Mitkovski and A. Poltoratski can be deduced directly from the classical Beurling–Malliavin formula for the radius of completeness.
- Published
- 2016
28. Computable dimension for ordered fields
- Author
-
Oscar Levin
- Subjects
Discrete mathematics ,Logic ,Computable number ,010102 general mathematics ,01 natural sciences ,Computable analysis ,010305 fluids & plasmas ,Philosophy ,Computable function ,Recursive set ,utm theorem ,0103 physical sciences ,Gap theorem ,Computable isomorphism ,0101 mathematics ,Church's thesis ,Mathematics - Abstract
The computable dimension of a structure counts the number of computable copies up to computable isomorphism. In this paper, we consider the possible computable dimensions for various classes of computable ordered fields. We show that computable ordered fields with finite transcendence degree are computably stable, and thus have computable dimension 1. We then build computable ordered fields of infinite transcendence degree which have infinite computable dimension, but also such fields which are computably categorical. Finally, we show that 1 is the only possible finite computable dimension for any computable archimedean field.
- Published
- 2016
29. Rigidity theorems of $\lambda$-hypersurfaces
- Author
-
Guoxin Wei, Shiho Ogata, and Qing-Ming Cheng
- Subjects
Mathematics - Differential Geometry ,Statistics and Probability ,Mathematics::Complex Variables ,Euclidean space ,Second fundamental form ,Lambda ,Combinatorics ,Mathematics::Algebraic Geometry ,Rigidity (electromagnetism) ,Maximum principle ,Mathematics::Differential Geometry ,Geometry and Topology ,Gap theorem ,Statistics, Probability and Uncertainty ,Analysis ,Mathematics - Abstract
Since $n$-dimensional $\lambda$-hypersurfaces in the Euclidean space $\mathbb {R}^{n+1}$ are critical points of the weighted area functional for the weighted volume-preserving variations, in this paper, we study the rigidity properties of complete $\lambda$-hypersurfaces. We give a gap theorem of complete $\lambda$-hypersurfaces with polynomial area growth. By making use of the generalized maximum principle for $\mathcal L$ of $\lambda$-hypersurfaces, we prove a rigidity theorem of complete $\lambda$-hypersurfaces., Comment: Comments are welcome
- Published
- 2016
30. A descriptive Main Gap Theorem
- Author
-
Francesco Mangraviti and Luca Motto Ros
- Subjects
classification of theories ,stability theory ,complexity of isomorphism ,Generalized descriptive set theory ,Logic ,Computer Science::Information Retrieval ,Astrophysics::Instrumentation and Methods for Astrophysics ,Mathematics::General Topology ,Computer Science::Computation and Language (Computational Linguistics and Natural Language and Speech Processing) ,Mathematics - Logic ,03E15, 03C45 ,Mathematics::Logic ,Stability theory ,FOS: Mathematics ,Calculus ,Computer Science::General Literature ,Gap theorem ,Logic (math.LO) ,Mathematics ,Descriptive set theory - Abstract
Answering one of the main questions of [FHK14, Chapter 7], we show that there is a tight connection between the depth of a classifiable shallow theory $T$ and the Borel rank of the isomorphism relation $\cong^\kappa_T$ on its models of size $\kappa$, for $\kappa$ any cardinal satisfying $\kappa^{< \kappa} = \kappa > 2^{\aleph_0}$. This is achieved by establishing a link between said rank and the $\mathcal{L}_{\infty \kappa}$-Scott height of the $\kappa$-sized models of $T$, and yields to the following descriptive set-theoretical analogue of Shelah's Main Gap Theorem: Given a countable complete first-order theory $T$, either $\cong^\kappa_T$ is Borel with a countable Borel rank (i.e. very simple, given that the length of the relevant Borel hierarchy is $\kappa^+ > \aleph_1$), or it is not Borel at all. The dividing line between the two situations is the same as in Shelah's theorem, namely that of classifiable shallow theories. We also provide a Borel reducibility version of the above theorem, discuss some limitations to the possible (Borel) complexities of $\cong^\kappa_T$, and provide a characterization of categoricity of $T$ in terms of the descriptive set-theoretical complexity of $\cong^\kappa_T$., Comment: 34 pages; added comments on topological smoothness for isomorphism relations over countable models and on the classification of non-complete theories; accepted for publication on the Journal of Mathematical Logic
- Published
- 2020
31. A conformally invariant gap theorem characterizing $\mathbb{CP}^2$ via the Ricci flow
- Author
-
Matthew J. Gursky, Sun-Yung Alice Chang, and Siyi Zhang
- Subjects
Pointwise ,Mathematics - Differential Geometry ,General Mathematics ,010102 general mathematics ,Conformal map ,Ricci flow ,16. Peace & justice ,Curvature ,01 natural sciences ,Combinatorics ,Differential Geometry (math.DG) ,0103 physical sciences ,FOS: Mathematics ,010307 mathematical physics ,Gap theorem ,Diffeomorphism ,0101 mathematics ,Invariant (mathematics) ,Mathematics ,53C21, 53C44 - Abstract
We extend the sphere theorem of \cite{CGY03} to give a conformally invariant characterization of $(\mathbb{CP}^2, g_{FS})$. In particular, we introduce a conformal invariant $\beta(M^4,[g]) \geq 0$ defined on conformal four-manifolds satisfying a `positivity' condition; it follows from \cite{CGY03} that if $0 \leq \beta(M^4,[g]) < 4$, then $M^4$ is diffeomorphic to $S^4$. Our main result of this paper is a `gap' result showing that if $b_2^{+}(M^4) > 0$ and $4 \leq \beta(M^4,[g]) < 4(1 + \epsilon)$ for $\epsilon > 0$ small enough, then $M^4$ is diffeomorphic to $\mathbb{CP}^2$. The Ricci flow is used in a crucial way to pass from the bounds on $\beta$ to pointwise curvature information., Comment: 26 pages
- Published
- 2018
32. Scalar curvature of self-shrinker
- Author
-
Zhen Guo
- Subjects
010308 nuclear & particles physics ,General Mathematics ,Second fundamental form ,010102 general mathematics ,Mathematical analysis ,Mean value ,self-shrinker ,53C40 ,53C42 ,01 natural sciences ,Upper and lower bounds ,Square (algebra) ,Ricci mean value ,53C17 ,0103 physical sciences ,scalar curvature ,Gap theorem ,Mathematics::Differential Geometry ,0101 mathematics ,Mathematics ,Scalar curvature - Abstract
In this paper, we consider the scalar curvature of a self-shrinker and get the gap theorem of the scalar curvature. We get also a relationship between the upper bound of the square of the length of the second fundamental form and the Ricci mean value.
- Published
- 2018
33. Proof complexity meets algebra
- Author
-
Joanna Ochremiak, Albert Atserias, Universitat Politècnica de Catalunya. Departament de Ciències de la Computació, Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals, Universitat Politècnica de Catalunya [Barcelona] (UPC), Centre National de la Recherche Scientifique (CNRS), Laboratoire Bordelais de Recherche en Informatique (LaBRI), Université de Bordeaux (UB)-Centre National de la Recherche Scientifique (CNRS)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB), and Herbstritt, Marc
- Subjects
FOS: Computer and information sciences ,[INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC] ,Computer Science - Logic in Computer Science ,Màquines, Teoria de ,General Computer Science ,Gap theorems ,Logic ,Constraint satisfaction problem ,[INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS] ,0102 computer and information sciences ,Computational Complexity (cs.CC) ,Computer Science::Computational Complexity ,Mathematical proof ,01 natural sciences ,Polynomials ,Machine theory ,Theoretical Computer Science ,Gap theorem ,0101 mathematics ,Theorem proving ,Complexitat computacional ,ComputingMilieux_MISCELLANEOUS ,Mathematics ,Discrete mathematics ,000 Computer science, knowledge, general works ,Proof complexity ,010102 general mathematics ,[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO] ,Logic in Computer Science (cs.LO) ,Informàtica::Informàtica teòrica::Algorísmica i teoria de la complexitat [Àrees temàtiques de la UPC] ,Constraint (information theory) ,Computational complexity ,Computer Science - Computational Complexity ,Computational Mathematics ,Automated theorem proving ,TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES ,Algebra ,Informàtica::Informàtica teòrica [Àrees temàtiques de la UPC] ,010201 computation theory & mathematics ,Bounded function ,Computer Science ,Graph colouring ,Natural proof ,Àlgebra ,Reductions - Abstract
We analyze how the standard reductions between constraint satisfaction problems affect their proof complexity. We show that, for the most studied propositional, algebraic, and semialgebraic proof systems, the classical constructions of pp-interpretability, homomorphic equivalence, and addition of constants to a core preserve the proof complexity of the CSP. As a result, for those proof systems, the classes of constraint languages for which small unsatisfiability certificates exist can be characterized algebraically. We illustrate our results by a gap theorem saying that a constraint language either has resolution refutations of constant width or does not have bounded-depth Frege refutations of subexponential size. The former holds exactly for the widely studied class of constraint languages of bounded width. This class is also known to coincide with the class of languages with refutations of sublinear degree in Sums of Squares and Polynomial Calculus over the real field, for which we provide alternative proofs. We then ask for the existence of a natural proof system with good behavior with respect to reductions and simultaneously small-size refutations beyond bounded width. We give an example of such a proof system by showing that bounded-degree Lovász-Schrijver satisfies both requirements. Finally, building on the known lower bounds, we demonstrate the applicability of the method of reducibilities and construct new explicit hard instances of the graph three-coloring problem for all studied proof systems.
- Published
- 2018
- Full Text
- View/download PDF
34. Some negative results related to Poissonian pair correlation problems
- Author
-
Wolfgang Stockinger and Gerhard Larcher
- Subjects
De Bruijn sequence ,Discrete mathematics ,Sequence ,Mathematics - Number Theory ,11K06 11K16 11K31 ,Theoretical Computer Science ,Combinatorics ,Van der Corput sequence ,Integer ,FOS: Mathematics ,Discrete Mathematics and Combinatorics ,Order (group theory) ,Gap theorem ,Number Theory (math.NT) ,Word (group theory) ,Real number ,Mathematics - Abstract
We say that a sequence $(x_n)_{n \in \mathbb{N}}$ in $[0,1)$ has Poissonian pair correlations if \begin{equation*} \lim_{N \to \infty} \frac{1}{N} \# \left \lbrace 1 \leq l \neq m \leq N: \| x_l - x_m \| \leq \frac{s}{N} \right \rbrace = 2s \end{equation*} for every $s \geq 0$. The aim of this article is twofold. First, we will establish a gap theorem which allows to deduce that a sequence $(x_n)_{n \in \mathbb{N}}$ of real numbers in $[0,1)$ having a certain weak gap structure, cannot have Poissonian pair correlations. This result covers a broad class of sequences, e.g., Kronecker sequences, the van der Corput sequence and in more general $LS$-sequences of points and digital $(t,1)$-sequences. Additionally, this theorem enables us to derive negative pair correlation properties for sequences of the form $(\lbrace a_n \alpha \rbrace)_{n \in \mathbb{N}}$, where $(a_n)_{n \in \mathbb{N}}$ is a strictly increasing sequence of integers with maximal order of additive energy, a notion that plays an important role in many fields, e.g., additive combinatorics, and is strongly connected to Poissonian pair correlation problems. These statements are not only metrical results, but hold for all possible choices of $\alpha$. Second, in this note we study the pair correlation statistics for sequences of the form, $x_n = \lbrace b^n \alpha \rbrace, \ n=1, 2, 3, \ldots$, with an integer $b \geq 2$, where we choose $\alpha$ as the Stoneham number and as an infinite de Bruijn word. We will prove that both instances fail to have the Poissonian property. Throughout this article $\lbrace \cdot \rbrace$ denotes the fractional part of a real number., Comment: 18 pages, 1 figure
- Published
- 2018
- Full Text
- View/download PDF
35. Ash’s Theorem on Δ α 0 -Categorical Structures and a Condition for Infinite Δ α 0 -Dimension
- Author
-
P. E. Alaev
- Subjects
Discrete mathematics ,Pure mathematics ,Dimension (vector space) ,Logic ,utm theorem ,Computable number ,Structure (category theory) ,Gap theorem ,Categorical variable ,Analysis ,Counterexample ,Mathematics ,Zero-dimensional space - Abstract
An old classical result in computable structure theory is Ash’s theorem stating that for every computable ordinal α ≥ 2, under some additional conditions, a computable structure is Δ 0 -categorical iff it has a computable Σ α Scott family. We construct a counterexample revealing that the proof of this theorem has a serious error. Moreover, we show how the error can be corrected by revising the proof. In addition, we formulate a sufficient condition under which the Δ 0 -dimension of a computable structure is infinite.
- Published
- 2015
36. An Optimal Gap Theorem in a Complete Strictly Pseudoconvex CR $$(2n+1)$$ ( 2 n + 1 ) -Manifold
- Author
-
Shu-Cheng Chang and Yen-Wen Fan
- Subjects
010102 general mathematics ,Mathematical analysis ,Curvature ,01 natural sciences ,Differential geometry ,0103 physical sciences ,Heat equation ,CR manifold ,Mathematics::Differential Geometry ,010307 mathematical physics ,Geometry and Topology ,Ball (mathematics) ,Gap theorem ,0101 mathematics ,Heat kernel ,Mathematics ,Scalar curvature - Abstract
In this paper, by applying a linear trace Li–Yau–Hamilton inequality for a positive (1, 1)-form solution of the CR Hodge–Laplace heat equation and monotonicity of the heat equation deformation, we obtain an optimal gap theorem for a complete strictly pseudoconvex CR \((2n+1)\)-manifold with nonnegative pseudohermitian bisectional curvature and vanishing torsion. We prove that if the average of the Tanaka–Webster scalar curvature over a ball of radius r centered at some point o decays as \(o\left( r^{-2}\right) \), then the manifold is flat.
- Published
- 2015
37. A gap theorem of self-shrinkers
- Author
-
Qing-Ming Cheng and Guoxin Wei
- Subjects
Mathematics - Differential Geometry ,Euclidean space ,Applied Mathematics ,General Mathematics ,Second fundamental form ,Mathematical analysis ,Combinatorics ,Differential Geometry (math.DG) ,Volume growth ,Norm (mathematics) ,FOS: Mathematics ,Mathematics::Differential Geometry ,Gap theorem ,Mathematics - Abstract
In this paper, we study complete self-shrinkers in Euclidean space and prove that an $n$-dimensional complete self-shrinker with polynomial volume growth in Euclidean space $\mathbb{R}^{n+1}$ is isometric to either $\mathbb{R}^{n}$, $S^{n}(\sqrt{n})$, or $\mathbb{R}^{n-m}\times S^m (\sqrt{m})$, $1\leq m\leq n-1$, if the squared norm $S$ of the second fundamental form is constant and satisfies $S, Comment: All comments are welcome
- Published
- 2015
38. Stabilities of homothetically shrinking Yang-Mills solitons
- Author
-
Yongbing Zhang and Zhengxiang Chen
- Subjects
Computer Science::Machine Learning ,Applied Mathematics ,General Mathematics ,Dimension (graph theory) ,Yang–Mills existence and mass gap ,Computer Science::Digital Libraries ,Statistics::Machine Learning ,Singularity ,Flow (mathematics) ,Computer Science::Mathematical Software ,Gravitational singularity ,Gap theorem ,Soliton ,Entropy (arrow of time) ,Mathematical physics ,Mathematics - Abstract
In this paper we introduce entropy-stability and F-stability for homothetically shrinking Yang-Mills solitons, employing entropy and the second variation of the F \mathcal {F} -functional respectively. For a homothetically shrinking soliton which does not descend, we prove that entropy-stability implies F-stability. These stabilities have connections with the study of Type-I singularities of the Yang-Mills flow. Two byproducts are also included: We show that the Yang-Mills flow in dimension four cannot develop a Type-I singularity, and we obtain a gap theorem for homothetically shrinking solitons.
- Published
- 2015
39. A packed Ramsey’s theorem and computability theory
- Author
-
Stephen Flood
- Subjects
Combinatorics ,Discrete mathematics ,Fundamental theorem ,Applied Mathematics ,General Mathematics ,Compactness theorem ,Ramsey theory ,Erdős–Szekeres theorem ,Hales–Jewett theorem ,Gap theorem ,Ramsey's theorem ,Mathematics ,Carlson's theorem - Abstract
Ramsey’s theorem states that each coloring has an infinite homogeneous set, but these sets can be arbitrarily spread out. Paul Erdős and Fred Galvin proved that for each coloring f f , there is an infinite set that is “packed together” which is given “a small number” of colors by f f . We analyze the strength of this theorem from the perspective of computability theory and reverse mathematics. We show that this theorem is close in computational strength to the standard Ramsey’s theorem by giving arithmetical upper and lower bounds for solutions to computable instances. In reverse mathematics, we show that that this packed Ramsey’s theorem is equivalent to Ramsey’s theorem for exponents n ≠ 2 n\neq 2 . When n = 2 n=2 , we show that it implies Ramsey’s theorem and that it does not imply A C A 0 \mathsf {ACA}_0 .
- Published
- 2015
40. A gap theorem for minimal submanifolds in Euclidean space
- Author
-
Entao Zhao and Shunjuan Cao
- Subjects
Combinatorics ,Euclidean space ,Second fundamental form ,Mathematical analysis ,Affine space ,General Medicine ,Point pattern analysis ,Gap theorem ,Fixed point ,Submanifold ,Constant (mathematics) ,Mathematics - Abstract
We prove that for a complete minimal submanifold M n immersed in the Euclidean space R n + d , if the second fundamental form A and the intrinsic distance function r from a fixed point satisfy r ( x ) | A | ( x ) ≤ e for all x ∈ M , where e is a positive constant depending only on n, then M is an affine subspace of R n + d .
- Published
- 2015
41. Eigenvalue Gap Theorems for a Class of Nonsymmetric Elliptic Operators on Convex Domains
- Author
-
Jon Wolfson
- Subjects
Elliptic operator ,Pure mathematics ,Operator (computer programming) ,Euclidean space ,Applied Mathematics ,Bounded function ,Sturm–Liouville theory ,Gap theorem ,Mathematics::Spectral Theory ,Laplace operator ,Analysis ,Eigenvalues and eigenvectors ,Mathematics - Abstract
Adapting the method of Andrews-Clutterbuck we prove an eigenvalue gap theorem for a class of non symmetric second order linear elliptic operators on a convex domain in euclidean space. The class of operators includes the Bakry-Emery laplacian with potential and any operator with second order term the laplacian whose first order terms have coefficients with compact support in the open domain. The eigenvalue gap is bounded below by the gap of an associated Sturm-Liouville problem on a closed interval.
- Published
- 2015
42. On geometrically constrained variational problems of the Willmore functional I: The Lagrangian-Willmore problem
- Author
-
Guofang Wang and Yong Luo
- Subjects
Statistics and Probability ,Surface (mathematics) ,Well-posed problem ,Second fundamental form ,Mathematical analysis ,Mathematics::Spectral Theory ,Critical point (mathematics) ,Willmore energy ,Flow (mathematics) ,Mathematics::Differential Geometry ,Geometry and Topology ,Gap theorem ,Statistics, Probability and Uncertainty ,Analysis ,Hamiltonian (control theory) ,Mathematics - Abstract
In this paper, we study a kind of geometrically constrained variational problem of the Willmore functional. A surface l : Σ → C is called a Lagrangian–Willmore surface (in short, a LW surface) or a Hamiltonian–Willmore surface (in short, a HW surface) if it is a critical point of the Willmore functional under Lagrangian deformations or Hamiltonian deformations, respectively. We extend the L∞ estimates of the second fundamental form of Willmore surfaces to both HW and LW surfaces and thus get a gap theorem for both HW and LW surfaces. To investigate the existence of HW surfaces we introduce a sixth-order flow which is called by us the Hamiltonian–Willmore flow (in short, the HW flow) decreasing the Willmore energy and we prove that this flow is well posed.
- Published
- 2015
43. Computable structures and operations on the space of continuous functions
- Author
-
Keng Meng Ng and Alexander G. Melnikov
- Subjects
Algebra and Number Theory ,Computable number ,010102 general mathematics ,0102 computer and information sciences ,01 natural sciences ,Ackermann function ,Computable analysis ,Algebra ,Computable function ,Recursive set ,010201 computation theory & mathematics ,Diagonal lemma ,Gap theorem ,0101 mathematics ,Mathematics ,Church's thesis - Published
- 2015
44. A Theorem for Multi-Frequency DC-Feed Network Design
- Author
-
Mohammad S. Hashmi, Mohammad A. Maktoomi, Mohammadhassan Akbarpour, and Fadhel M. Ghannouchi
- Subjects
Discrete mathematics ,Mathematical optimization ,Admittance ,business.industry ,020208 electrical & electronic engineering ,020206 networking & telecommunications ,CAD ,02 engineering and technology ,Condensed Matter Physics ,Power (physics) ,Compactness theorem ,0202 electrical engineering, electronic engineering, information engineering ,Wireless ,Closed graph theorem ,Gap theorem ,Electrical and Electronic Engineering ,business ,Design methods ,Mathematics - Abstract
In this letter, a novel and rigorous analytical design approach formulated as a theorem for the exact design of arbitrary multi-frequency DC-feed network is presented. While the conventional method necessitates optimization to arrive at a near exact solution, the proposed theorem discards the need of optimization. Moreover, by blending the theorem with the power of today's RF/microwave CAD tools, a CAD assisted design methodology is proposed that is able to provide with exact design parameters very quickly. To demonstrate the effectiveness of the proposed theorem, several design cases have been worked out and compared with the existing design.
- Published
- 2016
45. Higher dimensional Steinhaus and Slater problems via homogeneous dynamics
- Author
-
Jens Marklof and Alan Haynes
- Subjects
Pure mathematics ,General Mathematics ,Diagonal ,Dynamical Systems (math.DS) ,Diophantine approximation ,01 natural sciences ,homogeneous dynamics ,Steinhaus problem ,three distance theorem ,Linear form ,0103 physical sciences ,FOS: Mathematics ,Ergodic theory ,Mathematics - Combinatorics ,Gap theorem ,Number Theory (math.NT) ,0101 mathematics ,Mathematics - Dynamical Systems ,Littlewood conjecture ,11J13, 60D05 ,Mathematics ,Conjecture ,Mathematics - Number Theory ,010308 nuclear & particles physics ,010102 general mathematics ,Multiplicative function ,Slater problem ,Combinatorics (math.CO) - Abstract
The three gap theorem, also known as the Steinhaus conjecture or three distance theorem, states that the gaps in the fractional parts of $\alpha,2\alpha,\ldots, N\alpha$ take at most three distinct values. Motivated by a question of Erd\H{o}s, Geelen and Simpson, we explore a higher-dimensional variant, which asks for the number of gaps between the fractional parts of a linear form. Using the ergodic properties of the diagonal action on the space of lattices, we prove that for almost all parameter values the number of distinct gaps in the higher dimensional problem is unbounded. Our results in particular improve earlier work by Boshernitzan, Dyson and Bleher et al. We furthermore discuss a close link with the Littlewood conjecture in multiplicative Diophantine approximation. Finally, we also demonstrate how our methods can be adapted to obtain similar results for gaps between return times of translations to shrinking regions on higher dimensional tori., Comment: 19 pages
- Published
- 2017
46. GAP PHENOMENA AND CURVATURE ESTIMATES FOR CONFORMALLY COMPACT EINSTEIN MANIFOLDS
- Author
-
Yuguang Shi, Gang Li, and Jie Qing
- Subjects
Mathematics - Differential Geometry ,gap phenomena ,Primary 53C25 ,General Mathematics ,Conformal map ,Einstein manifold ,Curvature ,01 natural sciences ,curvature estimates ,symbols.namesake ,Relative Volume ,Ricci-flat manifold ,0103 physical sciences ,FOS: Mathematics ,Gap theorem ,0101 mathematics ,Einstein ,Mathematical physics ,Mathematics ,Quantitative Biology::Biomolecules ,Applied Mathematics ,010102 general mathematics ,Mathematical analysis ,Conformally compact Einstein manifolds ,16. Peace & justice ,Pure Mathematics ,math.DG ,Differential Geometry (math.DG) ,rigidity ,Yamabe constants ,Secondary 58J05 ,symbols ,renormalized volumes ,010307 mathematical physics ,Mathematics::Differential Geometry ,Yamabe invariant ,Primary 53C25, Secondary 58J05 - Abstract
In this paper we first use the result in $[12]$ to remove the assumption of the $L^2$ boundedness of Weyl curvature in the gap theorem in $[9]$ and then obtain a gap theorem for a class of conformally compact Einstein manifolds with very large renormalized volume. We also uses the blow-up method to derive curvature estimates for conformally compact Einstein manifolds with large renormalized volume. The second part of this paper is on conformally compact Einstein manifolds with conformal infinities of large Yamabe constants. Based on the idea in $[15]$ we manage to give the complete proof of the relative volume inequality $(1.9)$ on conformally compact Einstein manifolds. Therefore we obtain the complete proof of the rigidity theorem for conformally compact Einstein manifolds in general dimensions with no spin structure assumption (cf. $[29, 15]$) as well as the new curvature pinch estimates for conformally compact Einstein manifolds with conformal infinities of very large Yamabe constant. We also derive the curvature estimates for conformally compact Einstein manifolds with conformal infinities of large Yamabe constant., Comment: 28 pages, 1 figure(with one sentence added)
- Published
- 2017
47. A sphere theorem for Bach-flat manifolds with positive constant scalar curvature
- Author
-
Yi Fang and Wei Yuan
- Subjects
Mathematics - Differential Geometry ,Riemann curvature tensor ,Geodesic ,010102 general mathematics ,Riemannian manifold ,Curvature ,01 natural sciences ,Manifold ,symbols.namesake ,Computational Theory and Mathematics ,Differential Geometry (math.DG) ,0103 physical sciences ,symbols ,FOS: Mathematics ,Sphere theorem ,010307 mathematical physics ,Geometry and Topology ,Gap theorem ,Mathematics::Differential Geometry ,0101 mathematics ,Analysis ,Mathematical physics ,Scalar curvature ,Mathematics - Abstract
We show a closed Bach-flat Riemannian manifold with a fixed positive constant scalar curvature has to be locally spherical if its Weyl and traceless Ricci tensors are small in the sense of either $L^\infty$ or $L^{\frac{n}{2}}$-norm. Compared with the complete non-compact case done by Kim, we apply a different method to achieve these results. These results generalize a rigidity theorem of positive Einstein manifolds due to M.-A.Singer. As an application, we can partially recover the well-known Chang-Gursky-Yang's $4$-dimensional conformal sphere theorem., 11 pages
- Published
- 2017
48. Computable versions of the uniform boundedness theorem
- Author
-
Vasco Brattka, Zoe Chatzidakis, Peter Koepke, and Wolfram Pohlers
- Subjects
Discrete mathematics ,Uniform boundedness principle ,Computable number ,utm theorem ,Uniform boundedness ,Gap theorem ,Equicontinuity ,Uniform limit theorem ,Mathematics - Published
- 2017
49. Computational complexity and induction for partial computable functions in type theory
- Author
-
Carolyn Talcott, Karl Crary, Richard Sommer, Robert L. Constable, and Wilfried Sieg
- Subjects
Discrete mathematics ,Structural complexity theory ,Computational topology ,Computable function ,Complete ,Fast-growing hierarchy ,Asymptotic computational complexity ,Applied mathematics ,Gap theorem ,Descriptive complexity theory ,Mathematics - Published
- 2017
50. Specker's theorem, cluster points, and computable quantum functions
- Author
-
Larry Welch, Iraj Kalantari, Ali Enayat, and Mojtaba Moniri
- Subjects
Discrete mathematics ,Computable function ,Computable number ,utm theorem ,Cluster (physics) ,Quantum no-deleting theorem ,Gap theorem ,Quantum ,Mathematics ,Kochen–Specker theorem - Published
- 2017
Catalog
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.