arXiv research

Math and dance blend in choreographer's research.

MathChat uses LLM agents to solve challenging math problems through conversational problem-solving.

Graph-to-Tree Neural Networks improve structured input-output translation in tasks like semantic parsing and math word problems.

Improved math problem solvers using Transformer networks and diverse notations.

Enhances math problem-solving models with multi-turn preference learning.

This is no longer available.

Estimates model performance based on compute budget and evaluates stability over time.

The papers math.QA/0403527 and math.QA/0409414 v.1 are now merged together. The final version is available at math.QA/0409414 v.2. To avoid duplication of papers, math.QA/0403527 is now removed.

Adaptive compute allocation improves model performance by prioritizing harder queries.

We survey what is known about singularities of special Lagrangian submanifolds (SL m-folds) in (almost) Calabi-Yau manifolds. The bulk of the paper summarizes the author's five papers math.DG/0211294, math.DG/0211295, math.DG/0302355, math.DG/0302356, math.DG/0303272 on SL m-folds X with isolated conical singularities.…

Deep neural network translates math formula images to LaTeX sequences.

We give a topological interpretation of the core group invariant of a surface embedded in S^4. We show that the group is isomorphic to the free product of the fundamental group of the double branch cover of S^4 with the surface as a branched set, and the infinite cyclic group. We present a generalization for unoriented…

This is the second in a series of five papers math.DG/0211294, math.DG/0302355, math.DG/0302356, math.DG/0303272 studying special Lagrangian submanifolds (SL m-folds) X in (almost) Calabi-Yau m-folds M with singularities x_1,...,x_n locally modelled on special Lagrangian cones C_1,...,C_n in C^m with isolated singulari…

This is the first in a series of five papers math.DG/0211295, math.DG/0302355, math.DG/0302356, math.DG/0303272 studying special Lagrangian submanifolds (SL m-folds) X in (almost) Calabi-Yau m-folds M with singularities x_1,...,x_n locally modelled on special Lagrangian cones C_1,...,C_n in C^m with isolated singularit…

In this survey paper, we outline the proofs of the rigidity results for simple, thick, hyperbolic P-manifolds found in our three earlier papers math.GR/0506518, math.GT/0410476, and math.GR/0409586. We discuss how the arguments change in the two, three, and higher dimensional settings. This paper was written for the 22…

This is the fourth in a series of five papers math.DG/0211294, math.DG/0211295, math.DG/0302355, math.DG/0303272 studying compact special Lagrangian submanifolds (SL m-folds) X in (almost) Calabi-Yau m-folds M with singularities x_1,...,x_n locally modelled on special Lagrangian cones C_1,...,C_n in C^m with isolated s…

This is the third in a series of five papers math.DG/0211294, math.DG/0211295, math.DG/0302356, math.DG/0303272 studying compact special Lagrangian submanifolds (SL m-folds) X in (almost) Calabi-Yau m-folds M with singularities x_1,...,x_n locally modelled on special Lagrangian cones C_1,...,C_n in C^m with isolated si…

In Theorem 1.2 of the paper math.GT/0002110 the author claimed to have proved that all transversal knots whose topological knot type is that of an iterated torus knot (we call them cable knots) are transversally simple. That theorem is false, and the Erratum math.GT/0610565 identifies the gap. The purpose of this paper…

This is the last in a series of five papers math.DG/0211294, math.DG/0211295, math.DG/0302355, math.DG/0302356 studying compact special Lagrangian submanifolds (SL m-folds) X in (almost) Calabi-Yau m-folds M with singularities x_1,...,x_n locally modelled on special Lagrangian cones C_1,...,C_n in C^m with isolated sin…

Given a family of Dirac operators with vanishing spectral flow we construct a thin-invariant rank-one field theory in the sense of Turner and Willerton arXiv:math.AT/0201116. Our construction of the field theory generalizes the one of the index gerbe by Lott, arXiv:math.DG/0106177, and it also complements the relation …

We prove that the leaves of the rescaled curvature flow considered in arXiv:math/0403485 [math.DG] converge to the graph of a constant function.

Enhanced Transformer solves math problems better with explicit relation encoding.

This article is the third part of the series of articles where the theory of valuations on manifolds is constructed. In math.MG/0503399 the notion of a smooth valuation on a manifold was introduced. The goal of this article is to put a canonical multiplicative structure on the space of smooth valuations on general mani…

This is the author's PhD thesis, as submitted to the Princeton University. The results of this paper have already appeared in arXiv:math/0607777v4, arXiv:math/0607691 and arXiv:0901.2156.

We use Klyachko's methods [A funny property of sphere and equations over groups, Comm. in Alg. 21 (1993) 2555--2575] (see also Fenn-Rourke, L'Enseignment Math. 42 (1996) 49--74 and math.GR/9810184 and Cohen-Rourke, math.GR/0009101) to prove that, if a 1-cell and a 2-cell are added to a complex with torsion-free fundame…

Optimal algorithm selects biological models without prior info.

In view of A. Andreotti and H. Grauert's vanishing theorem for q-complete domains in C^n, (Théorème de finitude pour la cohomologie des espaces complexes, Bull. Soc. Math. France 90 (1962), 193--259,) we re-prove a vanishing result by J.-P. Sha, (p-convex Riemannian manifolds, Invent. Math. 83 (1986), no. 3, 437--447,)…

We derive a cut-and-paste surgery formula of Seiberg--Witten invariants for negative definite plumbed rational homology 3-spheres. It is similar to (and motivated by) Okuma's recursion formula [arXiv:math.AG/0610464, 4.5] targeting analytic invariants of splice quotient singularities. The two formulas combined provide …

In math.GT/0002110 the author's Theorems 1.1 and 1.2, combined, implied that iterated torus knots are transversally simple. This result is in error and this erratum pin points the error. In "An addendum on iterated torus knots" a more subtle result is proven resulting in giving a geometric realization of the Honda-Etny…

In an earlier paper (math.SG/0110169), we introduced absolute gradings on the three-manifold invariants developed in math.SG/0101206 and math.SG/0105202. Coupled with the surgery long exact sequences, we obtain a number of three- and four-dimensional applications of this absolute grading including strengthenings of the…

An emended and improved version of the present paper has been archived in math-ph/0505057, and a preliminary account of its content has been published in Phys.Rev.Lett. 92, 60601, (2004). Moreover, in order to prove the relevance of topology for phase transition phenomena in a broad domain of physically interesting cas…

We disprove the conjecture of M. Khovanov (math.QA/9908171) on the functoriality of his link homology with polynomial coefficients. This is in contrast to the case of integer coefficients, where functoriality was proved in math.GT/0206303 .

The results in the recently posted manuscript arXiv:math/0405153v3 are incorrect. The correct version of the aimed results is not original. The preprint contains material from references that are not properly quoted.

Riemannian and pseudo-Riemannian symmetric spaces with semisimple transvection group are known and classified for a long time. Contrary to that the description of pseudo-Riemannian symmetric spaces with non-semisimple transvection group is an open problem. In the last years some progress on this problem was achieved. I…

LEWIS merges LLMs without training, improving performance on specific tasks.

This paper presents a number of problems about mapping class groups and moduli space. The paper will appear in the book "Problems on Mapping Class Groups and Related Topics", ed. by B. Farb, Proc. Symp. Pure Math. series, Amer. Math. Soc.

This talk is a report on joint work with A. Vaintrob [arXiv:math.CO/0109104 and math.GT/0111102]. It is organised as follows. We begin by recalling how the classical Matrix-Tree Theorem relates two different expressions for the lowest degree coefficient of the Alexander-Conway polynomial of a link. We then state our fo…

This note elaborates on Th. Voronov's construction [math/0304038,math/0412202] of $L_\infty$-structures via higher derived brackets with a Maurer-Cartan element. It is shown that gauge equivalent Maurer-Cartan elements induce $L_\infty$-isomorphic structures. Applications in symplectic, Poisson and Dirac geometry are d…

Paper withdrawn because of a gap in the proof of Proposition 3 of Thomas Schick: "Integrality of L2-Betti numbers", Math. Ann. 317, 727-750 (arXiv.org/abs/math.gt/0001101). Most results of the withdrawn paper were based on this proposition.

Corrects errors in previous studies on metric measure spaces.

This work decouples language from math problems to enable cross-language learning.

This paper is a study of the relationship between two constructions associated with Cartan geometries, both of which involve Lie algebroids: the Cartan algebroid, due to [Blaom A.D., Trans. Amer. Math. Soc. 358 (2006), 3651-3671], and tractor calculus [Cap A., Gover A.R., Trans. Amer. Math. Soc. 354 (2001), 1511-1548].

We give topological lower bounds on the number of periodic and closed trajectories in strictly convex smooth billiards. We use variational reduction admitting a finite group of symmetries and apply topological approach based on equivariant Morse and Lusternik - Schnirelman theories. The paper continues results publishe…

We study how well one can recover sparse principal components of a data matrix using a sketch formed from a few of its elements. We show that for a wide class of optimization problems, if the sketch is close (in the spectral norm) to the original data matrix, then one can recover a near optimal solution to the optimiza…

For a smooth projective toric surface we determine the Donaldson invariants and their wallcrossing in terms of the Nekrasov partition function. Using the solution of the Nekrasov conjecture math.AG/0306198, hep-th/0306238, math.AG/0409441 and its refinement math.AG/0311058, we apply this result to give a generating fun…

We show that there exist knots K in S^3 with g(E(K))=2 and g(E(K#K#K))=6. Together with Theorem~1.5 of [1], this proves existence of counterexamples to Morimoto's Conjecture (Conjecture 1.5 of [2]). This is a special case of arxiv.org/abs/math.GT/0701765 [1] Tsuyoshi Kobayashi and Yo'av Rieck. On the growth rate of the…

The purpose of this short note is to relate a representation formula due to the Author and P. Romon for Lagrangian surfaces (see math.DG/0009202) to a more general Weierstrass representation type formula found by Konopelchenko for surfaces in 4-dimensional space (see math.DG/9807129). Simplifications are pointed out.

This paper presents fifteen problems about mapping class groups. It is an expanded and updated version of the author's preprint "Ten problems on the mapping class groups". The paper will appear in the book "Problems on Mapping Class Groups and Related Topics", ed. by B. Farb, Proc. Symp. Pure Math. series, Amer. Math. …