Research
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.

169,341 papers · 148 categories

Trend · papers per month

8172533 · May 202619922001200920182026
48 results for recursive enumerability

This paper proves that lattice point enumeration in moduli spaces satisfies topological recursion.

problem Enumeration of lattice points in moduli spaces of curves.
method Proves topological recursion for lattice point enumeration in moduli spaces.
result The enumeration satisfies local topological recursion.

The topological recursion of Eynard and Orantin governs a variety of problems in enumerative geometry and mathematical physics. The recursion uses the data of a spectral curve to define an infinite family of multidifferentials. It has been conjectured that, under certain conditions, the spectral curve possesses a non-c…

2013-12-24abs ↗pdf ↗

We describe a method for recursively calculating Gromov-Witten invariants of all blowups of the projective plane. This recursive formula is different from the recursive formulas due to Göttsche and Pandharipande in the zero genus case, and Caporaso and Harris in the case of no blowups. We use tropical curves and a recu…

2014-11-20abs ↗pdf ↗

Directed acyclic graphs are the basic representation of the structure underlying Bayesian networks, which represent multivariate probability distributions. In many practical applications, such as the reverse engineering of gene regulatory networks, not only the estimation of model parameters but the reconstruction of t…

2012-02-29abs ↗pdf ↗

Classical Hurwitz numbers count branched covers of the Riemann sphere with prescribed ramification data, or equivalently, factorisations in the symmetric group with prescribed cycle structure data. Monotone Hurwitz numbers restrict the enumeration by imposing a further monotonicity condition on such factorisations. In …

2014-08-18abs ↗pdf ↗

A typical census of 3-manifolds contains all manifolds (under various constraints) that can be triangulated with at most n tetrahedra. Al- though censuses are useful resources for mathematicians, constructing them is difficult: the best algorithms to date have not gone beyond n = 12. The underlying algorithms essential…

2014-12-05abs ↗pdf ↗

Consider a relatively hyperbolic group G. We prove that if G is finitely presented, so are its parabolic subgroups. Moreover, a presentation of the parabolic subgroups can be found algorithmically from a presentation of G, a solution of its word problem, and generating sets of the parabolic subgroups. We also give an a…

2010-10-06abs ↗pdf ↗

We define and count lattice points in the moduli space of stable genus g curves with n labeled points. This extends a construction of the second author for the uncompactified moduli space. The enumeration produces polynomials with top degree coefficients tautological intersection numbers on the compactified moduli spac…

2010-12-29abs ↗pdf ↗

This research extends topological recursion to hyperbolic surfaces with tight boundaries and conical defects.

problem Calculating volumes of hyperbolic surfaces with special boundaries.
method Generalized topological recursion to handle tight boundaries and conical defects.
result Weil-Petersson volumes are polynomial in boundary lengths for hyperbolic surfaces with tight boundaries and conical defects.

This research connects combinatorial Teichmüller space geometry to Weil-Petersson geometry.

problem Understanding the geometry of combinatorial Teichmüller space.
method Developed a parallel between combinatorial Teichmüller space and Weil-Petersson geometry, using measured foliations and Fenchel-Nielsen coordinates.
result Established a geometric recursion and topological recursion for mapping class group invariants.

STRIDE improves explainable AI by efficiently decomposing feature interactions without subset enumeration.

problem Lack of expressive power and high computational cost in existing XAI frameworks.
method STRIDE uses a functional decomposition approach in RKHS, avoiding subset enumeration and focusing on orthogonal components.
result STRIDE achieves a 3.0 times speedup over TreeSHAP and a high R^2 of 0.93 for feature reconstruction.

Criterion for stopping conjugacy class enumeration in triangle groups.

problem Enumerating all conjugacy classes in cocompact triangle groups.
method Encoding by P. Dehornoy and T. Pinsky; stopping criterion based on geometric length.
result Stopping criterion for the generation of conjugacy classes in cocompact triangle groups.

This is the third paper in a series devoted to enumerating the prime alternating knots and links. This paper establishes a method for enumerating the prime alternating links. It is shown that one may choose any prime alternating link diagram of a given minimal crossing size and by applications of just two operators (T …

2002-11-28abs ↗pdf ↗

PAG2ADMG algorithm enumerates all causal graphs consistent with a Markov equivalence class.

problem Lack of methods to enumerate all causal graphs consistent with a Markov equivalence class.
method PAG2ADMG algorithm converts a given PAG into the complete set of ADGMs consistent with the Markov equivalence class.
result First algorithm for enumerating all causal graphs consistent with a Markov equivalence class.

This paper is a computation of the homotopy type of K, the space of long knots in R^3, the same space of knots studied by Vassiliev via singularity theory. Each component of K corresponds to an isotopy class of long knot, and we `enumerate' the components via the companionship trees associated to the knot. The knots wi…

2005-06-25abs ↗pdf ↗

Formula conjectured for rational cuspidal curves in projective plane.

problem Counting rational cuspidal curves in projective plane.
method Extending Kontsevich's recursion formula and using geometric input about tangency of curves at nodal points.
result Conjectural formula agrees with earlier computations and extends to rational quartics with E6 singularity.

New algorithm enumerates decision tree Rashomon sets for continuous features.

problem Computing Rashomon sets for decision trees with continuous features.
method Developed an algorithm that exactly enumerates decision-tree Rashomon sets while exploiting the ordered structure of continuous features. Introduced a relaxation for approximate enumeration and an anytime algorithm.
result Achieved orders-of-magnitude speedups over existing enumeration methods.

The paper proposes an algorithm to enumerate K best models with distinct support vectors for SVM.

problem Finding multiple models with distinct support vectors for non-standard machine learning applications.
method A K-best model enumeration algorithm for SVM that efficiently finds models with distinct support vectors in the dual SVM problem.
result The algorithm efficiently finds the next best model with small latency, useful for interactive examination of requirements.

Many key algorithms in 3-manifold topology involve the enumeration of normal surfaces, which is based upon the double description method for finding the vertices of a convex polytope. Typically we are only interested in a small subset of these vertices, thus opening the way for substantial optimization. Here we give an…

2008-08-29abs ↗pdf ↗

A method to give users control over automated decisions by enumerating decision subspaces.

problem Users lack control over automated decision-making processes.
method Formalizes the problem as an evasion attack and uses subspace enumeration.
result Implemented for decision forests, showing how to map the problem to kk-clique enumeration.

We describe rational knots with any of the possible combinations of the properties (a)chirality, (non-)positivity, (non-)fiberedness, and unknotting number one (or higher), and determine exactly their number for a given number of crossings in terms of their generating functions. We show in particular how Fibonacci numb…

2002-10-11abs ↗pdf ↗

Let M be a compact, hyperbolizable 3-manifold with nonempty incompressible boundary and let AH(π_1(M)) denote the space of (conjugacy classes of) discrete faithful representations of π_1(M) into PSL 2 (C). The components of the interior MP(π_1(M)) of AH(π_1(M)) (as a subset of the appropriate representation variety) ar…

1998-06-13abs ↗pdf ↗

The face pairing graph of a 3-manifold triangulation is a 4-valent graph denoting which tetrahedron faces are identified with which others. We present a series of properties that must be satisfied by the face pairing graph of a closed minimal P^2-irreducible triangulation. In addition we present constraints upon the co…

2003-07-30abs ↗pdf ↗

The paper addresses the kk-tangle enumeration problem. We introduce a notion of cascade diagram for kk-tangle projections. An effective enumeration algorithm for projections is proposed based on cascade representation. Tangles projections with up to 12 crossings are tabulated. We provide also pictures of alternating …

2007-12-22abs ↗pdf ↗

New method for counting distinct tilings with symmetrical surfaces.

problem Counting distinct tilings with symmetrical surfaces.
method Deriving representations of mapping class groups and describing tilings as decorations on orbifolds.
result Explicit enumeration of isotopically distinct tilings.

We enumerate the small-volume manifolds that can be obtained by Dehn filling on Mom-2 and Mom-3 manifolds as defined by Gabai, Meyerhoff, and the author. In so doing we complete the proof that the Weeks manifold is the minimum-volume compact hyperbolic 3-manifold, as well as enumerating the 10 smallest one-cusped hyper…

2008-09-02abs ↗pdf ↗