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.

168,695 papers · 148 categories

Trend · papers per month

79157236314 · Jun 202019922001200920172026
48 results for defining sequences

Seidel-Smith and Hendricks used equivariant Floer cohomology to define some spectral sequences from symplectic Khovanov homology and Heegaard Floer homology. These spectral sequences give rise to Smith-type inequalities. Similar-looking spectral sequences have been defined by Lee, Bar-Natan, Ozsváth-Szabó, Lipshitz-Tre…

2015-10-08abs ↗pdf ↗

New spectral sequence connects link homology to Hochschild homology.

problem Computing Hochschild homology of link invariants.
method Uses spectral sequence with E2E^2-page from Khovanov homology of links in S1imesS2S^1 imes S^2.
result Spectral sequence converges to Hochschild homology of bordered Floer invariants.

New Khovanov homology for links with multiple punctures.

problem Defining a new Khovanov homology for links with multiple punctures.
method Defined a variant of Khovanov homology for links in thickened disks with multiple punctures, related to previous work by spectral sequences.
result Spectral sequences recover annular Khovanov homology to Khovanov homology.

Video sequences contain rich dynamic patterns, such as dynamic texture patterns that exhibit stationarity in the temporal domain, and action patterns that are non-stationary in either spatial or temporal domain. We show that a spatial-temporal generative ConvNet can be used to model and synthesize dynamic patterns. The…

2016-06-03abs ↗pdf ↗

Given a fibered link, consider the characteristic polynomial of the monodromy restricted to first homology. This generalizes the notion of the Alexander polynomial of a knot. We define a construction, called iterated plumbing, to create a sequence of fibered links from a given one. The resulting sequence of characteris…

2005-06-29abs ↗pdf ↗

We give the first explicit computations of rational homotopy groups of spaces of "long knots" in Euclidean spaces. We define a spectral sequence which converges to these rational homotopy groups whose E^1 term is defined in terms of braid Lie algebras. For odd k we establish a vanishing line for this spectral sequence,…

2000-11-02abs ↗pdf ↗

In this note, given a polarized algebraic manifold (X,L)(X,L), we define the Donaldson-Futaki invariant for a sequence of test configurations for (X,L)(X,L) with exponents tending to infinity. This then allows us to define a strong version of K-stability or K-semistability for (X,L)(X,L). In particular, (X,L)(X,L) will be shown to…

2013-07-08abs ↗pdf ↗

We consider sequences of open Riemannian manifolds with boundary that have no regularity conditions on the boundary. To define a reasonable notion of a limit of such a sequence, we examine "δδ inner regions" which avoid the boundary by a distance δδ. We prove Gromov-Hausdorff compactness theorems for sequences of the…

2013-01-17abs ↗pdf ↗

Attention is an operation that selects some largest element from some set, where the notion of largest is defined elsewhere. Applying this operation to sequence to sequence mapping results in significant improvements to the task at hand. In this paper we provide the mathematical definition of attention and examine its …

2019-05-23abs ↗pdf ↗

Study connects Gaussian processes and regularization for sequence-function mappings.

problem Understanding and interpreting sequence-function maps in biology.
method Relates Gaussian process priors, regularization, and gauge fixing in overparameterized weight space.
result Established the relationship between regularized regression and Gaussian processes in function space.

Many machine learning tasks can be expressed as the transformation---or \emph{transduction}---of input sequences into output sequences: speech recognition, machine translation, protein secondary structure prediction and text-to-speech to name but a few. One of the key challenges in sequence transduction is learning to …

2012-11-14abs ↗pdf ↗

We develop a method of calculation for the symplectic Floer homology of composite knots. The symplectic Floer homology of knots defined in \cite{li} naturally admits an integer graded lifting, and it formulates a filtration and induced spectral sequence. Such a spectral sequence converges to the symplectic homology of …

1998-02-05abs ↗pdf ↗

In their recent preprint, Baldwin, Ozsváth and Szabó defined a twisted version (with coefficients in a Novikov ring) of a spectral sequence, previously defined by Ozsváth and Szabó, from Khovanov homology to Heegaard-Floer homology of the branched double cover along a link. In their preprint, they give a combinatorial …

2011-09-01abs ↗pdf ↗

Benchmark for math reasoning models from human proofs.

problem Measuring and accelerating machine learning models in high-level mathematical reasoning.
method Built a non-synthetic dataset from theorem prover proofs, defined a task for model to fill in missing propositions, used hierarchical transformer to improve performance.
result Neural models can capture non-trivial mathematical reasoning, hierarchical transformer outperforms baseline.

We define and study a family of link invariants HFKn(L)\mathit{HFK}_{n}(L). Although these homology theories are defined using holomorphic disc counts, they share many properties with slnsl_{n} homology. Using these theories, we give a framework that generalizes the conjectured spectral sequence from Khovanov homology to δδ

2018-04-09abs ↗pdf ↗

The Khovanov homology of a link in S3S^3 and the Heegaard Floer homology of its branched double cover are related through a spectral sequence constructed by Ozsváth and Szabó. This spectral sequence has topological applications but is difficult to compute. We build an isomorphic spectral sequence whose underlying filte…

2015-10-09abs ↗pdf ↗

The paper establishes conditions for optimal sampling configurations on complex manifolds.

problem Finding optimal sampling configurations on complex manifolds.
method Analyzes point configurations on compact complex manifolds using tensor powers of Hermitian ample line bundles.
result Necessary and sufficient conditions for the existence of asymptotically Fekete sequences.

We define two transforms between non-conformal harmonic maps from a surface into the 3-sphere. With these transforms one can construct, from one such harmonic map, a sequence of harmonic maps. We show that there is a correspondence between non-conformal harmonic maps into the 3-sphere, HH-surfaces in Euclidean 3-space…

2014-08-19abs ↗pdf ↗

Traditionally, the automatic recognition of human activities is performed with supervised learning algorithms on limited sets of specific activities. This work proposes to recognize recurrent activity patterns, called routines, instead of precisely defined activities. The modeling of routines is defined as a metric lea…

2019-07-08abs ↗pdf ↗

A reductive structure is associated here with Lagrangian canonically defined conserved quantities on gauge-natural bundles. Parametrized transformations defined by the gauge-natural lift of infinitesimal principal automorphisms induce a variational sequence such that the generalized Jacobi morphism is naturally self-ad…

2007-12-06abs ↗pdf ↗

In a recent paper, Darvas-Rubinstein proved a convergence result for the Kahler-Ricci iteration, which is a sequence of recursively defined complex Monge-Ampere equations. We introduce the Monge-Ampere iteration to be an analogous, but more general, sequence of recursively defined real Monge-Ampere second boundary valu…

2017-12-07abs ↗pdf ↗

The paper constructs non-convergent solutions to Vafa-Witten equations with specific harmonic 2-form limits.

problem Constructing solutions to Vafa-Witten equations with non-zero mass term.
method Constructs divergent sequences of solutions, renormalizes them, and defines harmonic 2-form data sets.
result Defines an 'interesting' harmonic 2-form data set with specific properties.

For a link in a thickened annulus A×IA \times I, we define a ZZZ\mathbb{Z} \oplus \mathbb{Z} \oplus \mathbb{Z} filtration on Sarkar-Seed-Szabó's perturbation of the geometric spectral sequence. The filtered chain homotopy type is an invariant of the isotopy class of the annular link. From this, we define a two-dimensiona…

2019-09-08abs ↗pdf ↗

Defines new versions of distributional topological complexity for spaces.

problem Generalizing topological complexity to sequences.
method Introduces a sequence of higher versions of distributional topological complexity.
result The new versions are homotopy invariants and relate to distributional LS-category.

Let (M,g)(M,g) an open and oriented riemannian manifold. The aim of this paper is to study some properties of the two following sequences of L2L^2 cohomology groups: H2,mMi(M,g)H^i_{2,m\rightarrow M}(M,g) defined as the image $\im(H^i_{2,min}(M,g)\rightarrow H^i_{2,max}(M,g))$ and Hˉ2,mMi(M,g)\bar{H}^i_{2,m\rightarrow M}(M,g) defined as $\i…

2012-09-16abs ↗pdf ↗

Partial AHS-structures extend G-structures and Cartan geometries to manifolds with involutive distributions.

problem Extending G-structures and Cartan geometries to manifolds with involutive distributions.
method Developing a canonical Cartan geometry for partial AHS-structures and constructing BGG sequences.
result Partial AHS-structures have analogs of BGG sequences, providing fine resolutions of sheaves.