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,657 papers · 148 categories

Trend · papers per month

235470705940 · Jun 202019922001200920172026
48 results for formality problem

We generalize the Lagrangian-Hamiltonian formalism of Skinner and Rusk to higher order field theories on fiber bundles. As a byproduct we solve the long standing problem of defining, in a coordinate free manner, a Hamiltonian formalism for higher order Lagrangian field theories. Namely, our formalism does only depend o…

2009-05-28abs ↗pdf ↗

An optimal control problem associated with the dynamics of the orientation of a bipolar molecule in the plane can be understood by means of tools in differential geometry. For first time in the literature kk-symplectic formalism is used to provide the optimal control problems associated to some families of partial dif…

2012-10-25abs ↗pdf ↗

We adapt continuous time random walk (CTRW) formalism to describe asset price evolution and discuss some of the problems that can be treated using this approach. We basically focus on two aspects: (i) the derivation of the price distribution from high-frequency data, and (ii) the inverse problem, obtaining information …

2006-11-14abs ↗pdf ↗

Many objects in the real world are difficult to describe by a single numerical vector of a fixed length, whereas describing them by a set of vectors is more natural. Therefore, Multiple instance learning (MIL) techniques have been constantly gaining on importance throughout last years. MIL formalism represents each obj…

2016-09-23abs ↗pdf ↗

Holomorphic bundles on complex manifolds with boundary are studied, extending results from Donaldson's work.

problem Extending holomorphic structures to complex manifolds with boundary.
method Analyzing formally integrable almost complex structures and their extensions to holomorphic structures.
result Holomorphic structures can be extended to a neighborhood of a strictly pseudoconvex boundary.

Generalizes Hamiltonian theory for variational problems, applied to first order gravity.

problem Formulating Hamiltonian field theory for variational problems of general nature.
method Introduces a generalized Hamiltonian formalism without requiring a Hamiltonian section.
result Develops a novel multisymplectic Hamiltonian field theory for first order gravity.

Paper formalizes multi-dimensional FSD using geometric methods.

problem Complex measure theory and calculus barriers to formalization in proof assistants.
method Geometric framework for first-order stochastic dominance in N dimensions.
result Geometric approach bypasses complex integration theory for direct comparison of survival probabilities.

This paper explores how local behavior of meromorphic connections on the projective line determines the global connection.

problem Determining the global meromorphic connection based on specified local behavior at singular points.
method Expository discussion of various problems related to meromorphic connections with specified local behavior, including Deligne-Simpson and rigidity problems.
result The existence and nonemptiness of moduli spaces of meromorphic connections with specified local behavior.

Researchers solve a formally determined inverse problem in Lorentzian geometry.

problem Determining a Lorentzian metric from boundary measurements of the Dirichlet-to-Neumann map.
method New method using distorted plane wave solutions and geometric, topological, and unique continuation arguments.
result A globally hyperbolic metric agreeing with the Minkowski metric outside a compact set and having the same Dirichlet-to-Neumann map must be the Minkowski metric up to diffeomorphism.

Paper classifies solutions to oriented associativity equations on flat F-manifolds.

problem Classifying quasi-homogeneous formal power series solutions.
method Introducing monodromy local moduli and solving Riemann-Hilbert-Birkhoff problem.
result Formal germs of flat F-manifolds are convergent if not strictly doubly resonant.

Develops formal moduli theory for splitting complex supermanifolds.

problem Tackles the splitting problem of complex supermanifolds.
method Constructs a filtered dg Lie algebra to control splittings and transfers the theory to a minimal filtered LL_\infty-model.
result Recover classical obstruction classes as leading terms of Maurer-Cartan representatives and proves the existence of higher obstructions.

We give a proof of Kontsevich's formality theorem for a general manifold using Fedosov resolutions of algebras of polydifferential operators and polyvector fields. The main advantage of our construction of the formality quasi-isomorphism is that it is based on the use of covariant tensors unlike Kontsevich's original p…

2003-07-16abs ↗pdf ↗

Researchers solve Yamabe problems for specific operators, finding both uniqueness and nonuniqueness.

problem Prescribing scalar, Q-, or σ₂-curvatures in conformal classes.
method Formally self-adjoint, conformally covariant, polydifferential operators.
result Uniqueness results on the sphere, nonuniqueness in general.

New IRL algorithm for continuous state spaces with formal guarantees.

problem Finding a reward function for expert behavior in continuous state spaces.
method Modeling the system using orthonormal functions and providing correctness proofs.
result Proof of correctness and formal guarantees on sample and time complexity.

The present article is devoted to the construction of a unified formalism for Palatini and unimodular gravity. The basic idea is to employ a relationship between unified formalism for a Griffiths variational problem and its classical Lepage-equivalent variational problem. As a way to understand from an intuitive viewpo…

2017-07-19abs ↗pdf ↗

The static of smooth maps from the two-dimensional disc to a smooth manifold can be regarded as a simplified version of the Classical Field Theory. In this paper we construct the Tulczyjew triple for the problem and describe the Lagrangian and Hamiltonian formalism. We outline also natural generalizations of this appro…

2010-05-16abs ↗pdf ↗

In this work we analyze the behavior of Massey products of closed manifolds under the blow-up construction. The results obtained in the article are applied to the problem of constructing closed symplectic non-formal manifolds. The proofs use Thom spaces as an important technical tool. This application of Thom spaces is…

1999-07-06abs ↗pdf ↗

The jet formalism for Classical Field theories is extended to the setting of Lie algebroids. We define the analog of the concept of jet of a section of a bundle and we study some of the geometric structures of the jet manifold. When a Lagrangian function is given, we find the equations of motion in terms of a Cartan fo…

2004-11-16abs ↗pdf ↗

We review the basic elements of the geometrical formalism for description of gauge fields and the theory of invariant connections, and their applications to the coset space dimensional reduction of Yang-Mills theories. We also discuss the problem of classification of principal fibre bundles, which is important for the …

2003-09-29abs ↗pdf ↗

This paper makes a formal study of asymptotically hyperbolic Einstein metrics given, as conformal infinity, a conformal manifold with boundary. The space on which such an Einstein metric exists thus has a finite boundary in addition to the usual infinite boundary and a corner where the two meet. On the finite boundary …

2017-08-08abs ↗pdf ↗

Paper constructs solutions for a class of overdetermined systems.

problem Constructing solutions for a class of overdetermined systems.
method Resolution of the solution sheaf, sufficient condition for global exactness, gluing techniques, local solvability of the Treves complex.
result Obtained a sufficient condition for global exactness, leading to gluing techniques for local solutions.

We describe some recent development on the theory of formal Frobenius manifolds via a construction from differential Gerstenhaber-Batalin-Vilkovisk (DGBV) algebras and formulate a version of mirror symmetry conjecture: the extended deformation problems of the complex structure and the Poisson structure are described by…

2000-06-17abs ↗pdf ↗

Explores local structure of morphisms and formal submanifolds in formal manifolds theory.

problem Understanding the local structure of morphisms and formal submanifolds in formal manifolds.
method Study of formal manifolds, including local structure of constant rank morphisms and formal submanifolds.
result Developed the local structure of constant rank morphisms and formal submanifolds.

Study non-formal pseudo-differential operators over formal ones.

problem Understanding structure of non-formal pseudo-differential operators.
method Diffeological principal bundles, smoothing connections.
result Structure of diffeological bundle of non-formal pseudo-differential operators over formal ones.

Strong formal properties for toric and homogeneous Kähler manifolds.

problem Understanding formal properties of Kähler manifolds.
method Analyzing rationally and strongly formal properties of toric and homogeneous Kähler manifolds.
result Toric and homogeneous Kähler manifolds are both rationally and strongly formal.

We develop a new method to price SOFR futures contracts considering convexity, skew, and smile.

problem Analyzing and pricing SOFR futures contracts with convexity, skew, and smile adjustments.
method A perturbative formalism based on a time-ordered exponential series to solve the backward-Kolmogorov diffusion PDE.
result An analytic pricing formula for SOFR futures contracts that incorporates convexity, skew, and smile adjustments.

The variational formalism for classical field theories is extended to the setting of Lie algebroids. Given a Lagrangian function we study the problem of finding critical points of the action functional when we restrict the fields to be morphisms of Lie algebroids. In addition to the standard case, our formalism include…

2004-10-26abs ↗pdf ↗

A metric is formal if all products of harmonic forms are again harmonic. The existence of a formal metric implies Sullivan formality of the manifold, and hence formal metrics can exist only in presence of a very restricted topology. We show that a warped product metric is formal if and only if the warping function is c…

2010-01-13abs ↗pdf ↗

The study shows strong formality in certain complex manifolds.

problem Investigating strong formality in complex manifolds.
method Adapting ss-strong formality from Fernandez and Muñoz to the pluripotential setting.
result Compact Kähler manifolds and generalized complete intersections are strongly formal.