Simplified proof of gluing formula for analytic torsion forms.
problem Proving the gluing formula for analytic torsion forms.
method Extending prior work to the family case, presenting a new proof.
result Simplified proof of the gluing formula.
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,657 papers · 148 categories
Trend · papers per month
48 results for “Proof of Work”
New proof for higher rank subvarieties in genus three.
problem Classifying higher rank invariant subvarieties in genus three.
method Uses recent techniques developed by Apisa and Wright.
result Short and simplified proof of classification.
Simplified proof of Honda-Huang's contact convexity result.
problem Contact convexity in high dimensions
method Simplified proof of Honda-Huang's main result
result Main result from Honda-Huang's paper simplified and presented
New proof shows spacetime energy is always positive in higher dimensions.
problem Proving spacetime positive energy in arbitrary dimensions.
method Combines Schoen-Yau, Eichmair, Jang equation, shielding principle.
result Spacetime positive energy theorem proven in arbitrary dimensions.
Quantum Proof-of-Work uses boson sampling to secure blockchain consensus.
problem Ensuring secure and efficient blockchain consensus.
method Proposes using quantum boson sampling as a Proof-of-Work scheme for blockchain.
result Demonstrates a robust and energy-efficient PoW scheme.
New proofs of Donaldson-Uhlenbeck-Yau theorem using geodesic rays.
problem Donaldson-Uhlenbeck-Yau theorem implications
method Geodesic rays of Hermitian metrics
result New proofs of the theorem
New spoofing strategies show PoL verification is more vulnerable than previously thought.
problem Vulnerability of Proof-of-Learning verification mechanisms.
method Developed new spoofing strategies that can be reproduced across different configurations and are more cost-effective.
result Current PoL verification is not robust to adversaries and requires further understanding of optimization in deep learning.
In this note we give geometric formulations and proofs of three results of S. Morita. These results relate certain two dimensional cohomology classes of various moduli spaces of curves. We also give a geometric interpretation of a fourth result of Morita. One motivation of this work is to facilitate the application of …
In this short paper, we will give a simple and transcendental proof for Mok's theorem of the generalized Frankel conjecture. This work is based on the maximum principle in \cite{BS2} proposed by Brendle and Schoen.
Paper unifies and simplifies proof of free product conditions.
problem Conditions for normal closure in free product.
method Geometric approaches to normal closure in ambient groups.
result Unified and simplified proof of Dahmani-Guirardel-Osin theorem.
This expository paper contains a detailed introduction to some important works concerning the Gauss-Bonnet-Chern theorem. The study of this theorem has a long history dating back to Gauss's Theorema Egregium (Latin: Remarkable Theorem) and culminated in Chern's groundbreaking work [14] in 1944, which is a deep and wond…
In a recent work I showed that the family of smooth steep time functions can be used to recover the order, the topology and the (Lorentz-Finsler) distance of spacetime. In this work I present the main ideas entering the proof of the (smooth) distance formula, particularly the product trick which converts metric stateme…
Generalising a proof by Bartnik in the asymptotically Euclidean case, we give an elementary proof of positivity of the hyperbolic mass near the hyperbolic space. It is a pleasure to dedicate this work to Robert Bartnik on the occasion of his 60th birthday.
New proof for curvature and diameter estimates on Fano manifolds.
problem Curvature and diameter estimates for Kähler-Ricci flow on Fano manifolds.
method New Harnack estimate for special functions in space-time.
result Established new estimates for scalar curvature and diameter.
Polynomial inequalities lie at the heart of many mathematical disciplines. In this paper, we consider the fundamental computational task of automatically searching for proofs of polynomial inequalities. We adopt the framework of semi-algebraic proof systems that manipulate polynomial inequalities via elementary inferen…
It follows implicitly from recent work in Heegaard Floer theory that lens spaces are homology cobordant exactly when they are oriented homeomorphic. We provide a new combinatorial proof using the Heegaard Floer d-invariants, which themselves may be defined combinatorially for lens spaces.
New proof classifies ancient flows in 3D space.
problem Classifying ancient noncollapsed flows in .
method Combining neck theorem and Harnack inequality rigidity.
result Directly establishes self-similarity of flows.
Proof of Gaussian ML estimator consistency in linear auto-regressive models.
problem Consistency of Gaussian maximum likelihood estimator in linear auto-regressive models.
method Information-theoretic proof without stability assumptions.
result Nearly optimal non-asymptotic rates for parameter recovery.
In this paper, we will describe a concept of a cryptocurrency issuance protocol which supports digital currencies in a Proof-of-Work (< PoW >) like manner. However, the methods assume alternative utilization of assets used for cryptocurrency creation (rather than purchasing electricity necessary for < mining >).
In this paper, we show that Gromov-Thurston's principle works for hyperbolic 3-manifolds of infinite volume and with finitely generated fundamental group. As an application, we have a new proof of Ending Lamination Theorem. Our proof essentially relays only on Maximum Volume Law for hyperbolic 3-simplices.
Game theory shows miners' hardware improvements don't centralize mining.
problem Decentralization of cryptocurrency mining.
method Game-theoretical model of mining efficiency and competition.
result Advancements in mining hardware efficiency do not lead to centralization.
Paper introduces proof-of-learning to verify ML model training.
problem No mechanism to prove ML model training parameters were obtained through optimization.
method Inspired by proof-of-work and verified computations, introduces proof-of-learning mechanism.
result Proves model training parameters were obtained through optimization with minimal adversary work.
We give a proof of the Donnelly-Fefferman growth bound of Laplace-Beltrami eigenfunctions which is probably the easiest and the most elementary one. Our proof also gives new quantitative geometric estimates in terms of curvature bounds which improve and simplify previous work by Garofalo and Lin. The proof is based on …
Why Stake When You Can Borrow?q-fin.GN
New model assesses risks of staking and borrowing in smart contracts.
problem Security and efficiency of staking in smart contract platforms.
method Combines birth-death Pólya processes and credit derivatives models.
result Derivatives can reduce wealth concentration in staking networks.
A simple proof shows standard billiard for certain convex domains.
problem Characterizing billiards in convex domains that are both projective and Minkowski.
method Direct simple proof in -smoothness, semi-local and local versions proved.
result Standard Euclidean billiard in an appropriate structure.
In a recent paper, Brendle showed the uniqueness of the Bryant soliton among 3-dimensional -solutions. In this paper, we present an alternative proof for this fact and show that compact -solutions are rotational symmetric. Our proof arose from independent work relating to our Strong Stability Theorem for singular…
We provide a proof of the controlled surgery sequence, including stability, in the special case that the local fundamental groups are trivial. Stability is a key ingredient in the construction of exotic homology manifolds by Bryant, Ferry, Mio and Weinberger, but no proof has been available. The development given here …
New proof shows knot Floer thickness limits bad domains in diagrams.
problem Understanding knot thickness and dealternating number.
method Modified Stipsicz-Szabo approach using Kauffman states.
result Knot Floer thickness is a lower bound on dealternating number.
Transformers improve logical reasoning on longer proofs but struggle with length.
problem Understanding systematic generalization in neural proof generation.
method Soft theorem-proving using Transformer models, evaluating logical consistency and inference accuracy.
result Transformers improve generalization with longer proofs but have difficulty with length.
Simplified proof of Wang's theorem on complex homogeneous manifolds.
problem Proving compact homogeneous manifolds admit invariant complex structures.
method Uses root space decomposition of compact Lie groups.
result Simplified proof of Wang's theorem.
New Lie theoretic proof for complex homogeneous manifolds.
problem Proving compact homogeneous manifolds admit invariant complex structures.
method Lie theoretic proof using root space decomposition of compact Lie groups.
result New proof of Wang's theorem without advanced Lie algebra concepts.
We give a new proof for the existence of mean curvature flow with surgery of 2-convex hypersurfaces in , as announced in arXiv:1304.0926. Our proof works for all , including mean convex surfaces in . We also derive a priori estimates for a more general class of flows in a local and flexible setting.
Uniform proof for ultradifferentiability in various classes and dimensions.
problem Generalizing ultradifferentiability conditions to multidimensional cases and infinite dimensional spaces.
method Uniform proof approach that works in all cases and dimensions, including infinite dimensional Banach spaces and convenient vector spaces.
result Characterization of ultradifferentiability for general analytic germs and functions.
The subject of these Notes is the new proof, proposed in [F. H{é}lein, In{é}galit{é} isop{é}rim{é}trique et calibrations, Annales de l'Institut Fourier 44, 4 (1994), 1211-1218] of the classical isoperimetric inequality in the plane. This proof is far from being the first one, but its interest is that it uses essentiall…
New proof shows a link problem is hard without complex links.
problem Deciding if a link contains a trivial sublink is hard.
method Reduces from Independent Set Problem, avoiding Brunnian links.
result The Trivial Sublink Problem is NP-hard due to mod 2 linking.
In this paper, we provide an essentially self-contained and detailed account of the fundamental works of Hamilton and the recent breakthrough of Perelman on the Ricci flow and their application to the geometrization of three-manifolds. In particular, we give a detailed exposition of a complete proof of the Poincaré con…
A celebrated result concerning triangulations of a given closed 3-manifold is that any two triangulations with the same number of vertices are connected by a sequence of so-called 2-3 and 3-2 moves. A similar result is known for ideal triangulations of topologically finite non-compact 3-manifolds. These results build o…
In [Topology 35 (1996) 1005--1023] J H Rubinstein and M Scharlemann, using Cerf Theory, developed tools for comparing Heegaard splittings of irreducible, non-Haken manifolds. As a corollary of their work they obtained a new proof of Waldhausen's uniqueness of Heegaard splittings of S^3. In this note we use Cerf Theory …
GPT-f uses language models to find new proofs in formal math.
problem Generating original mathematical terms for automated theorem proving.
method Transformer-based language model for automated theorem proving and proof assistant.
result GPT-f contributed new proofs to the Metamath library.
The works of William Rowan Hamilton in Geometrical Optics are presented, with emphasis on the Malus-Dupin theorem. According to that theorem, a family of light rays depending on two parameters can be focused to a single point by an optical instrument made of reflecting or refracting surfaces if and only if, before ente…
The Hilbert-Smith Conjecture states that if G is a locally compact group which acts effectively on a connected manifold as a topological transformation group, then G is a Lie group. A rather straightforward proof of this conjecture is given. The motivation is work of Cernavskii (``Finite-to-one mappings of manifolds'',…
Paper solves outlier robust mean estimation near breakdown point.
problem Estimating mean in presence of adversarial outliers.
method Sum-of-Squares approach to optimize error rate efficiently.
result Achieves optimal error rate for all ε ∈ [0, 1/2).
An elementary proof shows that quasi-isometric groups to integers are virtually integers.
problem Proving that quasi-isometric groups to integers are virtually integers.
method An elementary proof approach.
result Any finitely generated group quasi-isometric to the integers is virtually the integers.
We present a new proof of a Finslerian version of Beltrami's theorem (1865) which works also in dimension 2.
Proof shows smooth minimal hypersurfaces for perimeter-minimizing sets in low-dimensional Riemannian manifolds.
problem Finding sets of least perimeter in Riemannian manifolds.
method Short proof using de Giorgi and Miranda's tradition in flat space.
result Reduced boundary of least perimeter sets is a smooth minimal hypersurface in low dimensions.
Short proof shows how ridge regression works with random data.
problem Understanding prediction error in ridge regression with random design.
method Combination of exchangeability arguments, matrix perturbation, and operator convexity.
result Elementary proof of prediction error without complex inequalities.
A Note on the Morse Index Theorem for Geodesics between Submanifolds in semi-Riemannian Geometrymath.DG
The computation of the index of the Hessian of the action functional in semi-Riemannian geometry at geodesics with two variable endpoints is reduced to the case of a fixed final endpoint. Using this observation, we give an elementary proof of the Morse Index Theorem for Riemannian geodesics with two variable endpoints,…
Estimates for stable minimal hypersurfaces in Euclidean space.
problem Deriving estimates for stable minimal hypersurfaces.
method Derivation of estimates related to Bernstein theorems.
result Indicates limitations of existing methods for .