Geometric group theory explores groups through their geometric properties.
problem Understanding groups via geometric properties.
method Cayley and Schreier graphs, ping-pong lemma, quasi-isometries, growth of groups, hyperbolicity.
result Gromov's theorem on groups of polynomial growth and amenability.
Study ping-pong dynamics in hyperbolic-like groups with non-simple points.
problem Investigate the ping-pong dynamics of hyperbolic-like groups.
method Explicitly provide a proper ping-pong partition for any pair of non-cyclic point stabilizers.
result Existence of a proper ping-pong partition for any pair of non-cyclic point stabilizers.
The study examines subgroups of torus mapping class group generated by Dehn twists powers.
problem Characterizing subgroups generated by powers of Dehn twists.
method Using the ping pong lemma and geometric intersection numbers.
result Subgroups can be free groups, direct products, or have specific ranks.
Study estimates gaps in semigroup products, proving embedding properties.
problem Estimating singular value gaps in semigroup products.
method Lower estimates for singular value gaps of free products of semigroups in ping-pong position.
result Groups generated by semigroups in ping-pong position are quasi-isometrically embedded.
New groups discovered with unique properties in a specific space.
problem Finding new discrete subgroups with special properties in a mathematical space.
method Proved by showing groups play ping-pong on cones, related to crooked surfaces.
result Infinite family of discrete subgroups with remarkable properties in Sp4(R). We present a practical algorithm which, given a non-archimedean local field K and any two elements A,B∈SL2(K), determines after finitely many steps whether or not the subgroup ⟨A,B⟩≤SL2(K) is discrete and free of rank two. This makes use of the Ping Pong Lemma applied to the act…
We prove that all atoroidal automorphisms of Out(FN) act on the space of projectivized geodesic currents with generalized north-south dynamics. As an application, we produce new examples of non virtually cyclic, free and purely atoroidal subgroups of Out(FN) such that the corresponding free group extension is hyp…
In this paper, we prove a quantitative version of the Tits alternative for negatively pinched manifolds X. Precisely, we prove that a nonelementary discrete isometry subgroup of Isom(X) generated by two non-elliptic isometries g, f contains a free subgroup of rank 2 generated by isometries fN,h …
We prove that if φ,ψ∈Out(FN) are hyperbolic iwips (irreducible with irreducible powers) such that <φ,ψ>≤Out(FN) is not virtually cyclic then some high powers of φ and ψ generate a free subgroup of rank two, all of whose nontrivial elements are again hyperbolic iwips. Being a hyperbolic iwip element of $…
Local-to-global principle for Morse actions on symmetric spaces.
problem Recognizing Morse actions on symmetric spaces.
method Equivariant Morse quasiisometric embeddings of trees into symmetric spaces.
result Algorithmic recognizability of Morse actions and construction of Morse Schottky subgroups.
We prove that every acylindrically hyperbolic group that has no non-trivial finite normal subgroup satisfies a strong ping pong property, the Pnaive property: for any finite collection of elements h1,…,hk, there exists another element γ=1 such that for all i, $\langle h_i, γ\rangle = \langle h_i …
Researchers discover all affinely homogeneous models for surfaces in 4D space.
problem Identifying all affinely homogeneous models for surfaces in 4D space.
method Improved power series method of equivalence, capturing invariants at the origin, creating branches, and infinitesimalizing calculations.
result Find several inequivalent terminal branches yielding each to some nonempty moduli space of homogeneous models.
This note removes technical assumptions and characterizes relatively dominated representations.
problem Geometrically finiteness and Anosov conditions in higher-rank settings.
method Characterization using eigenvalue gaps and limit maps.
result Relatively dominated representations are characterized using eigenvalue gaps and limit maps.
New algebra pong algebra computed for knot Floer homology.
problem Computing A-infinity structure on knot Floer homology.
method Introduced differential graded algebra, pong algebra.
result Computed A-infinity structure on pong algebra's homology.
Study matches two noisy point clouds with geometric transformations and relabeling.
problem Matching two noisy point clouds with orthogonal transformations and relabeling.
method Information-theoretic results and Ping-Pong algorithm for computational alignment.
result The Ping-Pong algorithm retrieves the planted signal after one step.
We study the geometry and dynamics of discrete infinite covolume subgroups of higher rank semisimple Lie groups. We introduce and prove the equivalence of several conditions, capturing "rank one behavior'' of discrete subgroups of higher rank Lie groups. They are direct generalizations of rank one equivalents to convex…
Activities in reinforcement learning (RL) revolve around learning the Markov decision process (MDP) model, in particular, the following parameters: state values, V; state-action values, Q; and policy, pi. These parameters are commonly implemented as an array. Scaling up the problem means scaling up the size of the arra…
Study weightings from singular Lie filtrations.
problem Generalize constructions for singular Lie filtrations.
method Study weightings arising from singular Lie filtrations.
result Generalizes constructions for (regular) Lie filtrations.
While deep reinforcement learning has successfully solved many challenging control tasks, its real-world applicability has been limited by the inability to ensure the safety of learned policies. We propose an approach to verifiable reinforcement learning by training decision tree policies, which can represent complex p…
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.
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.
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.
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.
Study several weak forms of a lemma on compact complex manifolds.
problem Understanding weak forms of a lemma on compact complex manifolds.
method Complete unified study of weak forms of the $\ddb-$Lemma.
result Unified understanding of various weak forms of the $\ddb-$Lemma.
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.
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.
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.
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.
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.
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.
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. 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.
Extends Stein's lemma to exponential-family mixtures for gradient computation.
problem Computing gradients for complex distributions with weak assumptions.
method Generalizes Stein's lemma to exponential-family mixtures and applies it to reparameterization trick.
result Derives new gradient identities for various distributions.
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.