New applications of trace embedding lemma show exotic 4-manifolds properties.
problem Detecting exotic phenomena in 4-dimensional smooth structures.
method New applications of trace embedding lemma to study piecewise-linear surfaces.
result Found infinitely many pairs of homeomorphic 4-manifolds with distinct properties.
The paper proves new curvature estimates in quaternionic contact geometry.
problem Estimating the curvature of compact qc manifolds.
method Establishing quaternionic contact versions of the Almost Schur Lemma.
result Curvature is a constant in terms of specific norms and components.
We derive a detailed asymptotic expansion of the heat trace for the Laplace-Beltrami operator on functions on manifolds with conic singularities, using the Singular Asymptotics Lemma of Jochen Bruening and Robert T. Seeley [BS]. In the subsequent paper we investigate how the terms in the expansion reflect the geometry …
New proof shows maximal arithmetic groups are finite.
problem Finiteness of maximal arithmetic reflection groups.
method Arithmetic Margulis lemma without automorphic forms.
result Finiteness of maximal arithmetic reflection groups proven.
New proof shows no flat embedding for Petersen family graphs.
problem Proving Petersen family graphs have no flat embeddings.
method Applying Böhme's Lemma and the Jordan-Brouwer Separation Theorem.
result Every Petersen family graph has no flat embedding.
This note corrects an erroneous statement in Lemma 3.8 of the author's paper Embedded Contact Homology and Seiberg-Witten Floer Homology IV which was published in Volume 14 of Geometry and Topology in 2009.
Arithmetic spaces simplified to simplicial complexes.
problem Understanding the complexity of arithmetic locally symmetric spaces.
method Homotopy equivalence to a simplicial complex with linearly bounded simplices, using a strengthened Margulis collar lemma.
result Arithmetic locally symmetric spaces are homotopy equivalent to simplicial complexes with linearly bounded simplices.
The author connects Poincaré embeddings to Reidemeister traces and diagonal maps.
problem Existence of Poincaré embeddings for specific spaces.
method Relates total obstruction to Reidemeister trace and uses Poincaré duality.
result Diagonal maps admit Poincaré embeddings under certain conditions.
Researchers found all embeddings of Kuratowski graphs on a double torus.
problem Characterizing embeddings of Kuratowski graphs K3,3 and K5 on the double torus. method Constructive approach using Burnside's Lemma and automorphism groups.
result 14 orientable and 17 non-orientable 2-cell embeddings of K5 on the double torus. Normal forms and isotropic embeddings via Euler-like vector fields.
problem Proving normal forms results for geometric structures.
method Construction of Euler-like vector fields compatible with geometric structures.
result Illustrated in various examples, including Morse-Bott, Weinstein, and Zung's theorems.
New model shows hierarchical proof structure helps theorem provers.
problem How to efficiently learn proofs from teacher traces.
method Model proof search as MDP, analyze imitation learning from traces.
result Hierarchical proof structure leads to more efficient learning.
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…
Quantum traces embed into quantum tori for surface skein algebras.
problem Embedding stated skein algebras into quantum tori.
method Two different embeddings using quantum trace maps and lambda length coordinates.
result Quantum cluster algebra of Muller equals reduced stated skein algebra.
In this paper we deduce a local deformation lemma for uniform embeddings in a metric covering space over a compact manifold from the deformation lemma for embeddings of a compact subspace in a manifold. This implies the local contractibility of the group of uniform homeomorphisms of such a metric covering space under t…
The abstract theorem is extended to higher genus surfaces.
problem Generalizing the web trace theorem to higher genus surfaces.
method Geometric derivation and spin geometry of embedded loops.
result Expansion of twisted Kasteleyn matrices for higher genus surfaces.
Study of torus surgeries on knot traces, finding exotic surfaces and traces.
problem Understanding exotic surfaces and traces through torus surgeries.
method Realizing annulus twisting as torus surgery, using key technical insight.
result Exotic elliptic surfaces and traces discovered, improving known geography.
The paper characterizes when a 2-sphere can be embedded in a knot trace.
problem Characterizing when a 2-sphere can be embedded in a knot trace.
method Using classical and computable knot invariants, the paper provides conditions for embedding a 2-sphere in a knot trace.
result Conditions for a knot to be topologically n-shake slice. Develops a new framework for temporal anchoring in deep embedding spaces.
problem Temporal anchoring in deep embedding spaces, especially drift and convergence issues.
method Operator-theoretic framework with drift maps and event-indexed blocks, proving convergence theorems and equivalence theorems.
result Proves convergence theorems and equivalence theorems for the proposed framework.
The paper examines how well node similarities are preserved by random projections in graph embeddings.
problem The preservation of node similarities under random projections in graph embeddings.
method Investigation of dot product and cosine similarity preservation by random projections over graph matrix rows.
result Random projections produce unreliable embeddings for dot product, especially for high-degree nodes.
The disk embedding lemma is a technique underlying the topological classification results in 4-manifold topology for good fundamental groups. The purpose of this paper is to develop new tools for disk embedding that work up to s-cobordism, without restrictions on the fundamental group. As an application we show that a …
We investigate certain 4-dimensional analogues of the classical 3-dimensional Dehn's lemma, giving examples where such analogues do or do not hold, in the smooth and topological categories. In particular, we show that an essential 2-sphere S in the boundary of a simply connected 4-manifold W such that S i…
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. Sharp estimate on harmonic maps at conformal points in balls.
problem Estimating harmonic maps at conformal points in balls.
method Sharp estimate on differential norm using Schwarz-Pick lemma.
result Generalizes classical Schwarz-Pick lemma and gives optimal for n≥3. New GCNs solve graph embedding problems efficiently and interpretably.
problem Graph embedding for scalable and interpretable machine learning.
method Proposed two GCNs: CAFE-GCN and sphere-GCN, based on constrained optimization.
result Both GCNs yield good approximations of dominant eigenvectors and perform dimensionality reduction.
Through the Schwarz lemma, we provide a new point of view on three well-known results of the geometry of hyperbolic surfaces. The first result deal with the length of closed geodesics on hyperbolic surfaces with boundary (Thurston, Parlier, Papadopoulos-Théret). The two others give sharp lower bounds on two metric inva…
Study shows convergence of Lagrangian submanifolds under certain metrics.
problem Understanding convergence of Lagrangian submanifolds under specific metrics.
method Proves convergence to an embedded Lagrangian submanifold using a monotonicity lemma applied on a carefully-chosen metric ball.
result Convergence to an embedded Lagrangian submanifold implies convergence in the Hausdorff metric for a class of metrics.
We propose and evaluate new techniques for compressing and speeding up dense matrix multiplications as found in the fully connected and recurrent layers of neural networks for embedded large vocabulary continuous speech recognition (LVCSR). For compression, we introduce and study a trace norm regularization technique f…
Financial institutions use LSTM models to predict customer goals.
problem Predicting customer goals and actions in financial services.
method Used LSTM models with state-space graph embeddings on historical customer traces.
result Demonstrated the effectiveness of LSTM models in predicting customer goals and actions.
New geometric invariant limits the number of semi-arithmetic groups.
problem Understanding the structure of semi-arithmetic Fuchsian groups.
method Introducing a new geometric invariant called stretch and using the arithmetic Margulis lemma.
result There exist only finitely many conjugacy classes of semi-arithmetic groups with bounded arithmetic dimension, stretch, and coarea.
A classical result of A.D. Alexandrov states that a connected compact smooth n−dimensional manifold without boundary, embedded in Rn+1, and such that its mean curvature is constant, is a sphere. Here we study the problem of symmetry of M in a hyperplane Xn+1=constant in case M satisfies: for any tw…
In this paper we prove a stability theorem for block diffeomorphisms of 2d-dimensional manifolds that are connected sums of S^d x S^d. Combining this with a recent theorem of S. Galatius and O. Randal-Williams and Morlet's lemma of disjunction, we determine the homology of the classifying space of their diffeomorphism …
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.
In this paper we study absence of embedded eigenvalues for Schrödinger operators on non-compact connected Riemannian manifolds. A principal example is given by a manifold with an end (possibly more than one) in which geodesic coordinates are naturally defined. In this case one of our geometric conditions is a positive …
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.
New algorithms for private GLM estimation with minimax lower bounds.
problem Privacy in generalized linear models.
method Differentially private algorithms using projected gradient descent.
result Nearly rate-optimal performance with privacy-constrained minimax lower bounds.
A map f:K→Rd of a simplicial complex is an almost embedding if f(σ)∩f(τ)=∅ whenever σ,τ are disjoint simplices of K. Theorem. Fix integers d,k≥2 such that d=23k+1. (a) Assume that P=NP. Then there exists a finite k-dimensional complex K that does not admit an …
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.
We prove optimal subspace embedding conjecture up to sub-polylogarithmic factors.
problem Optimal dimension and sparsity of subspace embeddings.
method Iterative decoupling technique to analyze higher-order trace moment bounds.
result Sub-polylogarithmic factors in dimension and sparsity of subspace embeddings.
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.
Unique simple spines of homotopy 2-spheres are shown to be ambiently isotopic.
problem Characterizing and comparing simple spines of homotopy 2-spheres.
method Proving ambient isotopy of simple spines representing the same homology class.
result Simple spines of homotopy 2-spheres are unique.
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…
The study finds infinitely many semi-arithmetic Riemann surfaces with dense systoles and distinct invariant trace fields.
problem Existence and properties of semi-arithmetic Riemann surfaces.
method Combining number theory and hyperbolic geometry to prove existence and properties of semi-arithmetic Riemann surfaces.
result Existence of infinitely many semi-arithmetic Riemann surfaces with dense systoles and distinct invariant trace fields.
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…