Verify spiral minimal product structure using Takahashi Theorem.
problem Verify spiral minimal product structure.
method Using Takahashi Theorem with full computational details.
result Verify spiral minimal product structure.
On-device research index
arXiv research
A locally-built, LLM-digested index of recent arXiv papers in quant finance, geometry/topology, and statistical ML — keyword search served straight from SQLite on this machine.
168,695 papers · 148 categories
Trend · papers per month
48 results for “Takahashi Theorem”
A Markov theorem for plat closure of surface braids in Dunwoody and periodic Takahashi manifoldsmath.GT
The article finds equivalence moves for links in specific manifolds using plat closure of braids.
problem Finding equivalence moves for links in Dunwoody and periodic Takahashi manifolds.
method Representing manifolds with Heegaard splitting and braids, determining equivalence moves algorithmically and computing them explicitly.
result Explicit computation of equivalence moves for some cases.
Study of spacelike submanifolds in spherical RW spacetime, proving a Lorentzian Takahashi theorem.
problem Characterizing stationary spacelike submanifolds in spherical RW spacetime.
method Embedding spherical RW spacetime in Lorentz-Minkowski spacetime, studying Lorentzian hypersurfaces, and applying results to submanifolds.
result Wide extension of Lorentzian Takahashi theorem for stationary spacelike submanifolds.
The study characterizes hypersurfaces in spheres with constant scalar curvature.
problem Characterizing hypersurfaces in spheres with constant scalar curvature.
method Combining intrinsic and extrinsic geometry, establishing Takahashi-type theorems, and deriving integral inequalities.
result Characterizes hypersurfaces with specific curvature properties and provides spherical Bernstein theorems.
Proves isometric embeddings in Euclidean spaces for RCD spaces.
problem Isometric immersions of RCD spaces in Euclidean spaces.
method Analyzes regular isometric immersions and eigenmaps of compact non-collapsed RCD spaces.
result Eigenmaps of compact non-collapsed RCD spaces are locally bi-Lipschitz embeddings to spheres.
We introduce a family of closed 3-dimensional manifolds, which are a generalization of certain manifolds studied by M. Takahashi. The manifolds are represented by Dehn surgery with rational coefficients on the 3-sphere, along an n-periodic 2n-component link. A presentation of their fundamental group is obtained, and co…
In this paper we show that periodic Takahashi 3-manifolds are cyclic coverings of the connected sum of two lens spaces (possibly cyclic coverings of the 3-sphere), branched over knots. When the base space is a 3-sphere, we prove that the associated branching set is a two-bridge knot of genus one, and we determine its t…
The Ricci Calabi functional is a functional on the space of Kähler metrics of Fano manifolds. Its critical points are called generalized Kähler Einstein metrics. In this article, we show that the Hessian of the Ricci Calabi functional is non-negative at generalized Kähler Einstein metrics. As its application, we give a…
A harmonic map from a Riemannian manifold into a Grassmannian manifold is characterized by a vector bundle, a space of sections of this bundle and a Laplace operator. We apply our main theorem, itself a generalization of a Theorem of Takahashi, to generalize the theory of do Carmo and Wallach and to describe the moduli…
Using Takahashi theorem we propose an approach to extend known families of minimal tori in spheres. As an example, the well-known two-parametric family of Lawson tau-surfaces including tori and Klein bottles is extended to a three-parametric family of tori and Klein bottles minimally immersed in spheres. Extremal spect…
In this note, we give natural extensions to cylinders and tori of a classical result due to T. Takahashi about minimal immersions into spheres. More precisely, we deal with Euclidean isometric immersions whose projections in R^N satisfy a spectral condition of their Laplacian.
Study on Lawson surfaces' first Laplace eigenvalue using symmetry and algebraic methods.
problem Yau's conjecture on first eigenvalue of minimal hypersurfaces in the sphere.
method Symmetry-based approach exploiting discrete reflection symmetries and algebraic structure of reflection groups.
result Equality λ1(ξ_{m,k})=2 for Lawson surfaces with m and k even.
New stability criterion for Fano manifolds using anticanonically balanced metrics.
problem Stability conditions for Fano manifolds and their invariant .
method Proof of equivalence between stability condition and anticanonically balanced metrics.
result Established a Hilbert-Mumford type criterion for .
This paper explores parallels between minimal surfaces and Einstein manifolds.
problem Understanding Einstein manifolds, which are less studied.
method Synthesizes parallels between minimal surfaces and Einstein four-manifolds.
result Certain Einstein four-manifolds admit a minimal immersion into a higher-dimensional sphere.
This paper derives a new semi closed-form approximation formula for pricing an up-and-out barrier option under a certain type of stochastic volatility model including SABR model by applying a rigorous asymptotic expansion method developed by Kato, Takahashi and Yamada (2012). We also demonstrate the validity of our app…
Study the metric geometry of Cauchy hypersurfaces in spacetimes.
problem Properties of the space of Cauchy hypersurfaces.
method Equipped with a Hausdorff-type metric, studied completeness and local compactness.
result Generalized completeness results for spacetimes.
The study classifies biharmonic submanifolds in a sphere using specific eigenmaps.
problem Characterizing biharmonic submanifolds in a sphere.
method Classification based on bi-eigenmaps and buckling eigenmaps.
result Generalizations of Takahashi's characterization of minimal submanifolds in a sphere.
Generalizing the notion of local -symmetry of Takahashi, in the present paper, we introduce the notion of local -semisymmetry of a Sasakian manifold along with its proper existence and characterization. We also study the notion of local Ricci (resp., projective, conformal) -semisymmetry of a Sasakian manifold …
Motivated by weak convergence results in the paper of Takahashi and Yoshida (2005), we show strong convergence for an accelerated Euler-Maruyama scheme applied to perturbed stochastic differential equations. The Milstein scheme with the same acceleration is also discussed as an extended result. The theoretical results …
Dual Invertible Polynomials with Permutation Symmetries and the Orbifold Euler Characteristicmath.AG
P. Berglund, T. Hübsch, and M. Henningson proposed a method to construct mirror symmetric Calabi-Yau manifolds. They considered a pair consisting of an invertible polynomial and of a finite (abelian) group of its diagonal symmetries together with a dual pair. A. Takahashi suggested a method to generalize this construct…
In the paper, we propose a new calculation scheme for American options in the framework of a forward backward stochastic differential equation (FBSDE). The well-known decomposition of an American option price with that of a European option of the same maturity and the remaining early exercise premium can be cast into t…
Handlebody groups reduced to 3 or 4 generators for g ≥ 5 and 3 or 4 for g ≥ 3.
problem Finding minimal generating sets for handlebody groups.
method Using relations in Wajnryb's presentation to reduce the number of generators.
result Handlebody groups are generated by 3 or 4 elements for and 3 or 4 for .
The financial crisis of 2007/08 caused catastrophic consequences and brought a bunch of changes around the world. Interest rates that were known to follow or behave similarly of each other diverged. Furthermore, the regulation and in particular the counterparty credit risk began to to be considered and quantified. Cons…
The research presented in this work is motivated by recent papers by Brigo et al. (2011), Burgard and Kjaer (2009), Crépey (2012), Fujii and Takahashi (2010), Piterbarg (2010) and Pallavicini et al. (2012). Our goal is to provide a sound theoretical underpinning for some results presented in these papers by developing …
Legendre curves are smooth plane curves which may have singular points, but still have a well defined smooth normal (and corresponding tangent) vector field. Because of the existence of singular points, the usual curvature concept for regular curves cannot be straightforwardly extended to these curves. However, Fukunag…
We continue our exploration of the extent to which the spectrum encodes the local geometry of a locally homogeneous three-manifold and find that if and are a pair of locally homogeneous, locally non-isometric isospectral three-manifolds, where is an elliptic three-manifold, then is also an…
AI generates theorems and proofs for training theorem provers.
problem Limited human-written theorems and proofs for supervised learning.
method Proposes a neural generator to automatically synthesize theorems and proofs.
result Synthetic data improves automated theorem proving in Metamath.
Global inverse function theorem proved easily using Riemannian geometry.
problem Global inverse function theorem in Riemannian geometry.
method Hopf--Rinow theorem in Riemannian geometry.
result Hadamard's global inverse function theorem is proven easily.
A new comparison theorem for geometric spaces.
problem Geometric space comparison theorems.
method Relative form of Toponogov comparison theorem.
result New geometric space comparison theorem established.
Paper develops formulas and theorems in Hermitian geometry.
problem None explicitly stated in the abstract.
method Develops second variational formulas and index forms in Hermitian geometry.
result Establishes results analogous to classical theorems in Riemannian geometry.
The paper proves three circles theorems and Liouville type theorems for subharmonic and holomorphic functions.
problem Establishing theorems for subharmonic and holomorphic functions on specific geometric structures.
method Using subharmonic and holomorphic functions on Riemannian manifolds and gradient shrinking Ricci solitons.
result Proves Liouville type theorems as applications of the established theorems.
Revises a theorem by Thurston, finding a counter-example and a weaker version.
problem The bounded image theorem in Haken manifolds.
method Providing a counter-example and a weaker version of the second statement of Thurston's theorem.
result A counter-example and a weaker version of the second statement of Thurston's theorem are presented.
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.
Analyzes Saito vanishing theorem using methods.
problem Proving the Saito vanishing theorem.
method Uses -methods to prove the theorem.
result Analytic proof of the Saito vanishing theorem.
Investigates proving geometric theorems over complex and real numbers using tilings.
problem Proving incidence theorems over C and R using the master theorem.
method Formalizes tiling proofs and introduces a hierarchy of theorems based on topological spaces.
result Identifies which theorems can or cannot be proved over C and R.
Extends symplectic reduction and theorem to Lie algebroids.
problem Symplectic reduction and theorem for Lie algebroids.
method Extends Marsden-Weinstein reduction and Darboux-Moser-Weinstein theorems.
result Obtained coisotropic embedding theorem for symplectic Lie algebroids.
Paper generalizes complex Brunn-Minkowski theory and proves new extension theorems.
problem Complex Brunn-Minkowski theory and extension theorems.
method Hilbert bundle approach to complex Brunn-Minkowski theory.
result Generalizes Guan's sharp strong openness theorem and sharp Ohsawa-Takegoshi extension theorem.
Proves Thurston's bounded image theorem for Haken manifolds.
problem Proving Thurston's bounded image theorem for Haken manifolds.
method Using recent developments in Kleinian group theory.
result A proof of Thurston's original bounded image theorem.
Method upgrades limit theorems to mixing limit theorems for dynamical systems.
problem Improving limit theorems for dynamical systems.
method General method for upgrading limit theorems to mixing limit theorems.
result Mixing limit theorems for specific subbundles of the Kontsevich-Zorich cocycle.
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.
In LM, we proved a family version of the famous Witten rigidity theorems and several family vanishing theorems for elliptic genera. In this paper, we gerenalize our theorems LM in two directions. First we establish a family rigidity theorem for the Dirac operator on loop space twisted by general positive energy loop gr…
The paper explains the topological origin of the distinction between incidence theorems over division rings and fields.
problem Understanding the distinction between incidence theorems over division rings and fields.
method Extending the surface-graph approach to noncommutative settings, the paper analyzes the topological properties of graphs embedded on surfaces of different genera.
result Theorems associated with graphs on the sphere hold over any division ring, while those on surfaces of positive genus typically hold only if the ground ring is a field.
Proves two theorems on odd-dimensional manifolds with boundary.
problem Proving theorems on manifolds with boundaries.
method Proof of theorems using mathematical techniques.
result Proved the general Kastler-Kalau-Walze and Dabrowski-Sitarz-Zalecki type theorems.
Sharp convergence theorem for sphere submanifolds proved.
problem Sphere submanifolds in spheres.
method Proved a sharp convergence theorem.
result New differentiable sphere theorem for submanifolds in spheres.
INT benchmark tests theorem proving agents' ability to generalize to unseen theorems.
problem Evaluating theorem proving agents' ability to generalize to unseen theorems.
method INT benchmark based on a theorem generation and proof procedure with adjustable knobs for measuring 6 types of generalization.
result MCTS can help agents prove new theorems.
A homological selection theorem for C-spaces, as well as, a finite-dimensional homological selection theorem is established. We apply the finite-dimensional homological selection theorem to obtain fixed-point theorems for usco homologically UV^n set-valued maps.
Abstracts a theorem for non-smooth maps in infinite dimensions.
problem Generalizing inverse mapping theorem for non-smooth maps.
method Introduces property A and applies it to non-smooth maps.
result Generalized inverse mapping theorems for non-smooth maps.
Atiyah-Singer theorem links math fields, predicts topological insights.
problem Understanding the interplay between analysis, geometry, and topology.
method Analyzes and generalizes topological invariants in differential geometry.
result Predicts the index of elliptic operators based on topology.