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

58116174232 · May 202619922001200920172026
48 results for formal principle

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 ↗

The paper extends local h-principles to complex structures on Stein manifolds.

problem Existence of local h-principles for complex structures on Stein manifolds.
method Introducing realifications of partial holomorphic relations and proving h-principles for them.
result Local h-principles can be extended to complex structures on Stein manifolds.

Several large classes of homogeneous spaces are known to be formal---in the sense of Rational Homotopy Theory. However, it seems that far fewer examples of non-formal homogeneous spaces are known. In this article we provide several construction principles and characterisations for non-formal homogeneous spaces, which w…

2012-06-04abs ↗pdf ↗

Study h-principles for non-integrable distributions on manifolds.

problem Existence and classification of maximally non-integrable distributions of derived length one.
method Introduced formal structures and used h-principles to discuss existence and classification.
result Discussed existence and classification of maximally non-integrable distributions of derived length one.

New approach to Lagrangian systems using intrinsic geometry.

problem Developing a new framework for Lagrangian systems.
method Direct reformulation of Hamiltonian formalism, introduction of spatial equation and spatial-gauge symmetry.
result Covariant and non-covariant canonical variational principles demonstrated for Maxwell equations.

This article introduces the notion of a loose family of Engel structures and shows that two such families are Engel homotopic if and only if they are formally homotopic. This implies a complete h-principle when some auxiliary data is fixed. As a corollary, we show that Lorentz and orientable Cartan prolongations are cl…

2017-12-26abs ↗pdf ↗

This paper formalizes the h-principle and sphere eversion in differential topology.

problem Formalizing the h-principle and sphere eversion in differential topology.
method Lean formalization of the local h-principle for first-order partial differential relations, using convex integration.
result Reproves Smale's sphere eversion theorem and formalizes advanced mathematics.

Principles of financial product synthesis from a few basic financial products constitute an interesting research topic inspired by Islamic finance. We make an effort to answer general questions that should be answered before starting to investigate the main issues concerning this topic with the formalization of financi…

2010-12-20abs ↗pdf ↗

Develops neural networks for learning physics of complex systems by enforcing thermodynamics principles.

problem Learning physics of complex systems from incomplete experimental data.
method Integrates port-metriplectic formalism with neural networks to enforce thermodynamics principles.
result Neural networks can learn physics of complex systems by parts, reducing learning burden.

Develops thermodynamic formalism for quasimorphisms on negatively curved spaces.

problem Analyzing quasimorphisms on negatively curved spaces.
method Thermodynamic formalism framework, Banach isomorphism, weak Livšic cohomology.
result Establishes Central Limit Theorem and invariance principle for unbounded quasimorphisms.

A variational principle is proposed for obtaining the Jacobi equations in systems admitting a Lagrangian description. The variational principle gives simultaneously the Lagrange equations of motion and the Jacobi variational equations for the system. The approach can be of help in finding constants of motion in the Jac…

2000-05-02abs ↗pdf ↗

In [CPPP] it was shown that Engel structures satisfy an existence hh-principle, and the question of whether a full hh-principle holds was left open. In this note we address the classification problem, up to Engel deformation, of Cartan and Lorentz prolongations. We show that it reduces to their formal data as soon as…

2017-08-01abs ↗pdf ↗

For any Engel 4-fold, we show that the scanning map from the space of Engel knots to the space of formal Engel knots is a weak homotopy equivalence when restricted to the complement of the orbits of the Engel kernel. This is a relative, parametric and close h-principle.

2017-10-30abs ↗pdf ↗

We review some recent results on the theory of Lagrangian systems on Lie algebroids. In particular we consider the symplectic and variational formalism and we study reduction. Finally we also consider optimal control systems on Lie algebroids and we show how to reduce Pontryagin maximum principle.

2007-03-20abs ↗pdf ↗

This research formalizes inductive generalization and proposes a new learning paradigm called Inductive Learning.

problem Generalization from easy to hard tasks, especially out-of-domain generalization.
method Formalizes inductive generalization, introduces Inductive Learning, and outlines steps to adapt techniques for learning model successors.
result A new learning paradigm (Inductive Learning) that emphasizes induction and universal properties of learning and computation.

The workshop focuses on AI principles for structured data.

problem Using AI on structured data for decision-making.
method Addressing principles of privacy, accountability, interpretability, robustness, and reasoning.
result Designing approaches to use structured data for reliable decisions.

The fundamental theorem of the theory of optimal control, the Pontryagin maximum principle (PMP), is extended to the setting of almost Lie (AL) algebroids, geometrical objects generalizing Lie algebroids. This formulation of the PMP yields, in particular, a scheme comprising reductions of optimal control problems simil…

2009-05-17abs ↗pdf ↗

The present paper analyses the formal parallelism existing between the laws of thermodynamics and some economic principles. Based on previous works, we shall show how the existence in Economics of principles analogous to those in thermodynamics involves the occurrence of economic events that remind of well-known phenom…

2015-05-03abs ↗pdf ↗

The h-principle fails for prelegendrians in fat distributions of corank 2.

problem Investigating the h-principle for fat distributions of corank 2.
method Developed the theory of prelegendrians, including front projection and pseudoholomorphic curve invariants.
result Found an infinite family of non-prelegendrian isotopic tori in the standard fat distribution.

During the past few years Boolean matrix factorization (BMF) has become an important direction in data analysis. The minimum description length principle (MDL) was successfully adapted in BMF for the model order selection. Nevertheless, a BMF algorithm performing good results from the standpoint of standard measures in…

2019-01-28abs ↗pdf ↗

Develops Palatini formalism for pseudo-Finsler metrics, recovering classical results.

problem Developing a formalism for pseudo-Finsler metrics of any signature.
method Substituting scalar curvature with Finslerian Ricci scalar in Einstein-Hilbert-Palatini functional.
result Recovery of classical results in Lorentzian signature with vanishing mean Landsberg tensor.

How can intelligent agents solve a diverse set of tasks in a data-efficient manner? The disentangled representation learning approach posits that such an agent would benefit from separating out (disentangling) the underlying structure of the world into disjoint parts of its representation. However, there is no generall…

2018-12-05abs ↗pdf ↗

Secondary Calculus formalizes PDEs using cohomology, simplifying their study.

problem Formalizing and simplifying the study of partial differential equations (PDEs).
method Using cohomology of diffieties to formalize PDEs and their properties.
result Differential calculus on PDE solution spaces is homotopy calculus on horizontal De Rham algebras of diffieties.

Paper improves robustness and sparsity in adversarially trained DNNs.

problem Developing efficient compression algorithms for robustly trained DNNs.
method Pruning weights using relaxed augmented Lagrangian algorithms for both structured and unstructured levels, leveraging Feynman-Kac formalism.
result At least doubles channel sparsity of adversarially trained ResNet20 for CIFAR10 classification.

This paper generalizes wrinkling techniques to Haefliger structures, linking them to foliations.

problem Proving h-principles for partial differential relations with controlled singularities.
method Generalizing wrinkled embeddings to Haefliger structures and interpreting them as holonomic approximations.
result Haefliger structures provide a framework for making general wrinkling statements and imply connectivity results.

Classifies convex disks with Legendrian boundary in overtwisted contact 3-manifolds.

problem Classifying convex disks with Legendrian boundary in overtwisted contact 3-manifolds.
method Contact isotopy classification, h-principle, fundamental groups, contact mapping class group.
result Establishes an h-principle for convex disks with Legendrian boundary in overtwisted contact 3-manifolds.

Spaces over BO are equivalent to thickened manifolds.

problem Understanding embeddings of manifolds in higher dimensions.
method Formal identification of manifolds with their thickened versions, using geometric constructions.
result The infinity-category of thickened smooth manifolds is equivalent to the infinity-category of finite spaces over BO.

Machine learning (ML) methods have been developing rapidly, but configuring and selecting proper methods to achieve a desired performance is increasingly difficult and tedious. To address this challenge, automated machine learning (AutoML) has emerged, which aims to generate satisfactory ML configurations for given tas…

2018-10-31abs ↗pdf ↗

The analysis of mathematical structure of the method of operator manifold guides our discussion. The latter is a still wider generalization of the method of secondary quantization with appropriate expansion over the geometric objects. The nature of operator manifold provides its elements with both quantum field and geo…

1997-10-10abs ↗pdf ↗

Develops a framework for consistent loss functions with variable transformations.

problem Lack of theoretical understanding of variable transformations in consistent loss functions.
method Formal characterizations of consistency for transformed loss functions in two cases: realization and prediction variables.
result Establishes new identifiable and elicitable functionals for complex predictive tasks.

Unified perspective unites Bayesian optimization and active learning for efficient goal-oriented optimization.

problem Efficiently optimize expensive engineering and scientific problems with limited data.
method Unified framework linking Bayesian infill criteria and active learning criteria.
result Unified approach formalizes Bayesian infill criteria and active learning criteria.

Fidel-TS creates a new benchmark for time series forecasting models.

problem Lack of high-quality benchmarks for time series forecasting models.
method Formalized high-fidelity benchmark principles, including data sourcing integrity, leak-free design, and structural clarity. Created Fidel-TS, a new large-scale benchmark.
result Demonstrated the limitations of prior benchmarks and potential discrepancies in model evaluation.

The article consists of the Russian and English variants of Ph.D. Thesis in which the answers is given on the following questions: 1. how to construct the spinor formalism for n=6; 2. how to construct the spinor formalism for n=8; 3. how to prolong the Riemannian connection from the tangent bundle into the spinor one w…

2012-04-01abs ↗pdf ↗