New Schwarz Lemma for Bergman metrics in bounded domains.
problem Finding bounds for Bergman metrics in bounded domains.
method Using Cauchy-Schwarz inequality from probability theory.
result Established a new Schwarz Lemma for Bergman metrics.
Proofs for Moon's theorem and its generalization.
problem Proving Moon's theorem and its generalization.
method Proofs based on key lemmas.
result Generalization of the four-vertex theorem.
Survey on strong closing lemmas in Hamiltonian dynamics.
problem Understanding dynamics in Hamiltonian systems.
method Use spectral invariants in symplectic geometry.
result Proofs of strong closing lemmas in various dimensions.
Invalidation of a key lemma leaves the Powell Conjecture unresolved.
problem Invalidation of Lemma 2.5 in the Powell Conjecture proof.
method Analysis of Lemma 2.5's validity in the context of the Powell Conjecture.
result Lemma 2.5 is invalid, leaving the Powell Conjecture unresolved.
Establishes a lower bound for Kähler-Einstein distance on certain domains.
problem Finding a lower bound for Kähler-Einstein distance on specific types of domains.
method Proves an analog of the Hopf lemma for Riemannian manifolds with Ricci curvature bounded from below.
result Establishes a lower bound for the Kähler-Einstein distance on pseudoconvex domains with positive hyperconvexity index.
Improved generalization bounds for CNNs using Rademacher complexity.
problem Establishing non-vacuous generalization bounds for deep learning models.
method Rademacher complexity framework with novel contraction lemmas for high-dimensional mappings.
result Enhanced generalization bounds for a broader class of activation functions.
After shortly recalling the construction of the Khovanov-Kuperberg algebras, we give a characterisation of indecomposable web-modules. It says that a web-module is indecomposable if and only if one can deduce it directly from the Kuperberg bracket (via a Schur lemma argument). The proofs relies on the construction of i…
Paper estimates Gaussian curvature of minimal graphs in a specific manifold.
problem Estimating Gaussian curvature of minimal graphs in MimesR. method Using Weierstrass representation via ℘−harmonic mappings and Schwarz lemma type results. result Proves Schwarz lemma type and Heinz type results for harmonic mappings.
In 1982, Uhlenbeck \cite {U2} established the well-known gauge fixing theorem, which has played a fundamental role for Yang-Mills theory. In this paper, we apply the idea of Uhlenbeck to establish a parabolic type of gauge fixing theorems for the Yang-Mills flow and prove existence of a weak solution of the Yang-Mills …
Improved Bayesian regret bound for linear Thompson sampling with general distributions.
problem Proving an improved Bayesian regret bound for linear Thompson sampling with general distributions.
method Generalized elliptical potential lemma for non-Gaussian noise and prior distributions.
result Minimax optimal regret bound for changing action sets with general prior and noise distributions.
Researchers examine various causal structures for spacetimes with continuous metrics.
problem Comparing causal structures for spacetimes with continuous but not necessarily smooth metrics.
method Examined three key properties: push-up lemma, openness of chronological futures, and existence of limit causal curves.
result Spacetimes with continuous metrics do not always satisfy all three key properties.
The Gromoll-Meyer's generalized Morse lemma (so called splitting lemma) near degenerate critical points on Hilbert spaces, which is one of key results in infinite dimensional Morse theory, is usually stated for at least C2-smooth functionals. It obstructs one using Morse theory to study most of variational problems …
We describe a case of an interplay between human and computer proving which played a role in the discovery of an interesting mathematical result. The unusual feature of the use of computers here was that a computer generated but human readable proof was read, understood, generalized and abstracted by mathematicians to …
We prove a rigidity theorem that shows that, under many circumstances, quasi-isometric embeddings of equal rank, higher rank symmetric spaces are close to isometric embeddings. We also produce some surprising examples of quasi-isometric embeddings of higher rank symmetric spaces. In particular, we produce embeddings of…
Explains the Schwarz lemma in lecture notes.
problem None explicitly stated; focuses on explanation.
method Expository notes on the Schwarz lemma.
result Explains the Schwarz lemma.
New moving plane method for varifolds promotes smoothness from boundary to interior.
problem Promoting smoothness from boundary to interior for singular hypersurfaces.
method Introduced a moving plane method for varifolds, showing smoothness as a conclusion.
result Smoothness and symmetry in the interior can be promoted from smoothness and symmetry at infinity.
Author provides an alternate proof of the free ribbon lemma.
problem Proving that every free sphere-link in the 4-sphere is a ribbon sphere-link.
method An alternate proof of the free ribbon lemma.
result Provides an alternate proof of the free ribbon lemma.
In this paper, we prove (1): for any closed contact three-manifold with a C∞-generic contact form, the union of periodic Reeb orbits is dense, (2): for any closed surface with a C∞-generic Riemannian metric, the union of closed geodesics is dense. The key observation is C∞-closing lemma for 3D R…
The paper extends Schwarz's lemma to RC-positivity and complex manifolds.
problem Comparing metrics with RC-positivity in complex manifolds.
method Establishing Schwarz lemmas for RC-positivity and applying them to complex manifolds.
result New diameter and volume comparison theorems.
This appendix proves CORN's universal consistency. One of Bin's PhD thesis examiner (Special thanks to Vladimir Vovk from Royal Holloway, University of London) suggested that CORN is universal and provided sketch proof of Lemma 1.6, which is the key of this proof. Based on the proof in Gyprfi et al. [2006], we thus pro…
Unified Schwarz lemma in Kähler and Hermitian geometry.
problem Various forms of the Schwarz lemma in Kähler and Hermitian geometry.
method Introducing new curvatures to refine and elucidate the real bisectional curvature.
result Unified Chern-Lu, Aubin-Yau, and Chen-Cheng-Look Schwarz lemmas.
Paper generalizes Schwarz Lemma for VT harmonic maps with conditions.
problem Generalizing Schwarz Lemma for a specific type of harmonic maps.
method Conditions on eigenvalues and Ricci curvature are used to prove the lemma.
result Schwarz Lemma for VT harmonic maps proved with distance and volume decreasing properties.
Formulates Index III lemma and Rauch III theorem with applications.
problem Develops new mathematical theorems based on existing ones.
method Formulation of Index III lemma and Rauch III theorem based on Index I, II lemmas and Rauch I, II theorems.
result Presented Rauch's type theorem and volume comparison result as applications.
We complete the classification (started by Bray and the second author) of all closed 3-manifolds with Yamabe invariant greater than that of $\RP^3$, by showing that such manifolds are either S3 or finite connected sums $# m(S^2 \times S^1) # n(S^2 \tilde{\times} S^1)$ for m+n≥1, where $S^2 \tilde{\times} S^…
Tucker and Ky Fan's lemma are combinatorial analogs of the Borsuk-Ulam theorem (BUT). In 1996, Yu. A. Shashkin proved a version of Fan's lemma, which is a combinatorial analog of the odd mapping theorem (OMT). We consider generalizations of these lemmas for BUT-manifolds, i.e. for manifolds that satisfy BUT. Proofs rel…
Paper proves a discrete Schwarz-Pick lemma for generalized circle packings.
problem Comparing geometric quantities of circle packings with different boundary values.
method Combinatorial Calabi flows and maximum principle.
result Discrete Schwarz-Pick lemma proven for generalized circle packings.
The paper improves Zakalyukin's lemma for frontals and applies it to surface singularities.
problem Improving the conditions under which wave front germs imply map germs.
method Generalization of Zakalyukin's lemma for frontals and applications to surface singularities.
result The paper provides a more general version of Zakalyukin's lemma for map germs.
Meridian lemma extended to fully alternating links in thickened surfaces.
problem Extending Menasco's meridian lemma to fully alternating links in thickened surfaces.
method Developed a new meridian lemma for fully alternating links in thickened orientable surfaces of positive genus.
result The meridian lemma holds for fully alternating links in thickened surfaces.
Proves a quantitative closing lemma for negatively curved manifolds.
problem Closing lemma for negatively curved manifolds.
method Quantitative closing lemma proof.
result Study of partner and pseudo-partner orbits for self-crossing closed geodesics.
Gradient descent converges linearly for overparameterized linear networks.
problem Convergence of gradient descent for overparameterized neural networks.
method Local Polyak-Lojasiewicz and Descent Lemma for overparameterized linear models.
result Gradient descent achieves linear convergence for two-layer linear networks under relaxed assumptions.
Paper generalizes Schwarz lemma for harmonic maps between Riemannian manifolds.
problem Generalizing Schwarz lemma for harmonic maps.
method Using Bochner techniques and sub-Laplacian comparison theorem.
result Established a generalization of Schwarz lemma for transversally harmonic maps.
Extends Margulis Lemma to RCD(K,N) spaces.
problem Applying Margulis Lemma to new geometric structures.
method Improved Regularity Estimates for Regular Langrangian Flows.
result Margulis Lemma extended to RCD(K,N) spaces.
For a symplectic manifold (M,ω), not necessarily hard Lefschetz, we prove a version of the Merkulov dδ--lemma. We also study the dδ--lemma and related cohomologies for compact symplectic solvmanifolds.
The paper characterizes when the ∂∂-lemma holds for twistor spaces.
problem Characterizing the ∂∂-lemma for twistor spaces. method Study Bott-Chern and Aeppli cohomologies of twistor spaces.
result Explicit computation of Dolbeault cohomology for flat torus twistor space.
Positive representations on surfaces have positive cross-ratios and satisfy a collar lemma.
problem Characterizing representations of surface groups with positive properties.
method Proving a collar lemma and showing positivity of cross-ratios for Θ-positive representations. result Closed subsets of representation varieties are characterized by Θ-positive representations. New results on geometry of area-preserving diffeomorphisms using braids.
problem Large-scale geometry of area-preserving diffeomorphisms on surfaces.
method Application of Schwarz-Milnor lemma to configuration spaces.
result Quasi-isometric embeddings and Lipschitz properties of quasi-morphisms.
Proves a generalized Whitehead cut vertex lemma for tree groups.
problem Extending Whitehead's cut vertex lemma to tree group conjugacy classes.
method Proves a version of Whitehead's lemma for tree groups.
result Establishes a cut vertex in star graphs for tree group conjugacy classes.
Proves a general ∂∂̄-lemma and applies it to a Fujino conjecture.
problem Establishing a general ∂∂̄-lemma and its applications.
method Develops a general ∂∂̄-lemma and applies it to Fujino's conjecture.
result Establishes a Kähler version of Fujino's injectivity theorem.
Enhanced Schwarz lemma for Hermitian manifolds with new curvature constraints.
problem Improving Schwarz lemma for holomorphic maps between Hermitian manifolds.
method Introducing new curvature constraints on source and target manifolds, controlling by holomorphic sectional curvature.
result Significant improvements on the Wu--Yau theorem and Schwarz lemma for Gauduchon connections.
Schwarz lemma extended to equality cases and curvature on manifolds.
problem Extending Schwarz lemma to equality cases and studying curvature.
method Analyzing Schwarz lemma inequalities and equalities, studying holomorphic sectional curvature.
result Holomorphic maps are totally geodesic and have constant rank when Schwarz lemma equality holds.
Generalized Stacey-Roberts lemma for Banach manifolds.
problem Constructing Lie groupoids of smooth mappings in infinite-dimensional geometry.
method Generalization of the Stacey-Roberts lemma to Banach manifolds with smooth partitions of unity.
result Remedied an error in the original proof for finite-dimensional setting.
Thurston's jiggling lemma simplifies triangulations.
problem Simplifying triangulations into a general position.
method Alternative, conceptual proof and generalization to manifolds.
result A more straightforward proof of Thurston's jiggling lemma.
Proves estimate similar to De Lellis-Müller on Minkowski lightcone.
problem Estimating spacelike cross sections of the Minkowski lightcone.
method Geometric scaling invariant estimate, using singularity models and almost-Schur lemma.
result Spacelike cross sections are W2,2-close to a round surface. Computes derivatives of sections in vector bundles using Lie derivatives.
problem Computing time derivatives of sections in natural vector bundles.
method Extending a lemma to compute Lie derivatives of sections of natural vector bundles.
result Computed derivatives of sections in vector bundles using Lie derivatives.
We give a new Tian-Todorov lemma on deformations of CR-structures and use it to reprove the deformation unobstructedness of normal compact strongly pseudoconvex CR-manifold under the assumption of d′d′′-lemma, more faithfully following Tian-Todorov's approach.
Abstract: Generalizes Milnor-Schwarz lemma to inverse monoids.
problem Applying Milnor-Schwarz lemma to inverse monoids.
method Two proofs provided: elementary and using Vietoris-Rips complex.
result Generalization of Milnor-Schwarz lemma to inverse monoids.
For the convenience of readers of the article {\em No-arbitrage pricing under systemic risk: accounting for cross-ownership} (Fischer, 2012, arXiv:1005.0768), a full proof of Lemma A.5 and a shorter proof of Lemma A.6 of that paper are provided.
The paper extends the Discrete Schwarz-Pick Lemma to circle packings with obtuse intersections and disjoint packings.
problem Proving the Discrete Schwarz-Pick Lemma for circle packings with various inversive distances.
method Using a variational principle for circle packings with inversive distances, the paper extends the lemma to a broader range of packings.
result The Discrete Schwarz-Pick Lemma holds for circle packings with inversive distances in (−1,1], provided an additional condition on triangle weights.