The study finds the best elliptical trajectory for planets using a variation of the hodograph theorem.
problem Finding the best elliptical trajectory for planets.
method Using a variation of the circular hodograph theorem, the study finds the best fitting ellipse for planetary trajectories by minimizing the sum of square distances from the points to the plane.
result The study finds that the best fitting ellipse for planetary trajectories minimizes the sum of square distances from the points to the plane.
Characterizes mappings preserving Pythagorean-hodograph curves.
problem Preserving Pythagorean-hodograph curves in various dimensions.
method Proves conformal functions with square rational dilation are PH-preserving.
result Conformal functions with square rational dilation are the only PH-preserving mappings.
Extends method for solving certain hydrodynamic systems.
problem Solving non-diagonalisable integrable systems of hydrodynamic type.
method Generalised hodograph method applied to F-manifolds with compatible connections.
result Provides general solution under certain assumptions.
In this paper we obtain the general solution to the minimal surface equation, namely its local Weierstrass-Enneper representation, by using a system of hodographic coordinates. This is done by using the method of solving the Born-Infeld equations by Whitham. We directly compute conformal coordinates on the minimal surf…
Study integrable geodesic flows on 2-surfaces with high-degree polynomial first integrals.
problem Integrable geodesic flows on 2-surfaces with high-degree polynomial first integrals.
method Semi-Hamiltonian systems of PDEs and generalized hodograph method.
result Construction of many local explicit and implicit integrable examples with polynomial first integrals of degrees 3, 4, 5.
We prove that a surface carries a hexagonal 3-web of geodesics if and only if the geodesic flow on the surface admits a cubic first integral and show that the system of partial differential equations, governing metrics on such surfaces, is integrable by generalized hodograph transform method. We present some new local …
We obtain the Weierstrass-Enneper representation for maximal graphs(whose Gauss map is one-one) in Lorentz-Minkowski space. For this we use the method of Barbishov and Chernikov, which they have used to find the solutions of Born-Infeld equation in hodographic coordinates. We could use their method in our case, because…
The paper classifies affine minimal translation surfaces and finds their properties.
problem Classifying and understanding affine minimal translation surfaces.
method Using Weierstrass-Enneper formula and hodographic coordinate system.
result Classification and properties of affine minimal translation surfaces.
Paper develops a framework for hyperbolic Monge-Ampère equation on strips, proving well-posedness and stability.
problem Addressing the rigidity-flexibility dichotomy for wrinkled patterns in thin elastic sheets.
method Develops hodograph transformation and parametrix-corrector decomposition to handle corner singularities and prove well-posedness.
result Proves existence and uniqueness of hodograph weak solutions and derives energy estimates for stability.
This paper constructs PH spline curves with prescribed arc lengths.
problem Interpolating points, tangent directions, and curvatures with prescribed arc-length.
method Local construction of G2 planar PH biarc curves of degree 7. result Prescribed arc-length can be satisfied for any data and any chosen ratio between boundary tangents.
In this paper we construct multiparametric families of two dimensional metrics with polynomial first integral. Such integrable geodesic flows are described by solutions of some semi-Hamiltonian hydrodynamic type system. We find infinitely many conservation laws and commuting flows for this system. This procedure allows…
Starting from a homogeneous polynomial in momenta of arbitrary order we extract multi-component hydrodynamic-type systems which describe 2-dimensional geodesic flows admitting the initial polynomial as integral. All these hydrodynamic-type systems are semi-Hamiltonian, thus implying that they are integrable according t…
We present two constructions of new solutions to the dispersionless KP (dKP) equation arising from the first two Painlevé transcendents. The first construction is a hodograph transformation based on Einstein--Weyl geometry, the generalised Nahm's equation and the isomonodromy problem. The second construction, motivated…
The present paper attempts to show an alternative approach with regards to rational Pythagorean-hodograph (PH) curves and especially more natural approach for rational PH helices (i.e. rational helices). It exploits geometric features of rational helices to obtain a simpler construction of these curves and apply this t…
Given a compact manifold with boundary with unknown Riemannian metric. The problem is to reconstruct the metric in a class of conformal metrics from knowledge of lengths of all closed geodesics (kinematic data). An integral inequality is stated which implies uniqueness and stability for this problem. If the conformal c…
The paper studies magnetic geodesic flows on 2-surfaces with integrable structures.
problem Analyzing magnetic geodesic flows on 2-surfaces with additional integrals.
method Constructing exact solutions to semi-Hamiltonian systems of PDEs using generalized hodograph method and Legendre transformation.
result Exact solutions constructed for semi-Hamiltonian systems of PDEs.
This paper is focused on geometric aspects of two particular types of finite-variable reductions in the dispersionless Toda hierarchy. The reductions are formulated in terms of "Landau-Ginzburg potentials" that play the role of reduced Lax functions. One of them is a generalization of Dubrovin and Zhang's trigonometric…
This work has its origins in an attempt to describe systematically the integrable geometries and gauge theories in dimensions one to four related to twistor theory. In each such dimension, there is a nondegenerate integrable geometric structure, governed by a nonlinear integrable differential equation, and each solutio…
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 L2 methods.
problem Proving the Saito vanishing theorem.
method Uses L2-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.
Paper generalizes a theorem for real analytic singularities.
problem No specific problem stated; focuses on generalization.
method Generalization of a theorem for complex singularities.
result Generalized Join theorem for real analytic singularities.
The paper proves injectivity and vanishing theorems on compact Kahler manifolds.
problem Injectivity and vanishing theorems on compact Kahler manifolds.
method Hodge theory, Bochner-Kodaira-Nakano identity, analytic method, transcendental method, Demailly-Peternell-Schneider equisingular approximation theorem, Hormander L2 estimates.
result The main injectivity theorem implies several Nadel type vanishing theorems.
Several proofs of Fáry--Milnor theorem are presented.
problem Fáry--Milnor theorem
method Sketches several proofs
result Proofs of Fáry--Milnor theorem
Reidemeister's theorem proved using smooth functions and transversality.
problem Proving Reidemeister's theorem
method Using smooth functions and transversality
result Reidemeister's theorem proved
Proves an analytic Bertini theorem, generalizing previous work.
problem Generalizing previous results in algebraic geometry.
method Analytic Bertini theorem proof.
result Generalizes previous results in algebraic geometry.
This note explores comparison geometry concepts and theorems.
problem Exploring various comparison theorems in geometry.
method Analyzes Rauch and Toponogov theorems and their applications.
result Introduction of Gromov-Hausdorff convergence and Alexandrov Spaces.
Proof of Tait-Kneser theorem and related variations using Lorentzian geometry.
problem Proving variations of the Tait-Kneser theorem for different conics.
method Using Lorentzian geometry to prove the theorem and its variations.
result Proof of the theorem and its variations concerning different conics.
Proves Skoda's Division Theorem using degeneration and positivity of direct image bundles.
problem Division Theorem in Skoda's context
method Degeneration approach inspired by B. Berndtsson and L. Lempert's L2 extension theorem result Simplified and extended proof of L2 extension theorem