arXiv research

A geometric multisymplectic formulation of the classical BRST symmetry of constrained first-order classical field theories is described. To effect this we introduce graded analogues of the bundles and manifolds of the multisymplectic formulation of first-order field theories. The Lagrange-d'Alembert formalism is also d…

Decides undecidability of equations and first-order theory for Seifert 3-manifold groups.

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

Study non-Abelian gauge theories using Poisson bracket structures.

The properties of the Riemann extensions of nonriemannian spaces defined by the first order systems of differential equations are considered.

We analyse the structure of the first order operators in bimodules introduced by A. Connes. We apply this analysis to the theory of connections on bimodules generalizing thereby several proposals.

New sampling method guarantees approximate first-order stationary points for non-convex functions.

Study on homeomorphism groups of manifolds using set theory.

Study General Relativity using field theories and Poisson brackets.

We construct a lagrangian geometric formulation for first-order field theories using the canonical structures of first-order jet bundles, which are taken as the phase spaces of the systems in consideration. First of all, we construct all the geometric structures associated with a first-order jet bundle and, using them,…

A description of classical field theories of first order in terms of Lagrangian submanifolds of premultisymplectic manifolds is presented. For this purpose, a Tulczyjew's triple associated with a fibration is discussed. The triple is adapted to the extended Hamiltonian formalism. Using this triple, we prove that Euler-…

Analyzes Poisson structures on solution spaces of Hamiltonian field theories.

In this paper, we consider first-order convergence theory and algorithms for solving a class of non-convex non-concave min-max saddle-point problems, whose objective function is weakly convex in the variables of minimization and weakly concave in the variables of maximization. It has many important applications in mach…

Determining when two knots are equivalent (more precisely isotopic) is a fundamental problem in topology. Here we formulate this problem in terms of Predicate Calculus, using the formulation of knots in terms of braids and some basic topological results. Concretely, Knot theory is formulated in terms of a language with…

The expectation value of Wilson loop operators in three-dimensional SO(N) Chern-Simons gauge theory gives a known knot invariant: the Kauffman polynomial. Here this result is derived, at the first order, via a simple variational method. With the same procedure the skein relation for Sp(N) are also obtained. Jones polyn…

Derives a new first order differential equation for smooth surfaces.

Unified bounds for iterative algorithms with Gaussian data matrices.

Proposes a new variational principle for Einstein gravity.

In this paper we derive the symplectic framework for field theories defined by higher-order Lagrangians. The construction is based on the symplectic reduction of suitable spaces of iterated jets. The possibility of reducing a higher-order system of PDEs to a constrained first-order one, the symplectic structures natura…

New concept of attitude towards probability introduced in risk sharing problems.

Uniform interpretation of group theory in manifold homeomorphisms.

The aim of this paper is to open the problem of construction of a nonlinear connection $Γ=(M^{(i)}_{(α)β}, N^{(i)}_{(α)j})$ on the jet bundle of first order $J^1(T,M)$, which to be canonically produced by a Kronecker product vertical metrical d-tensor $G^{(α)(β)}_{(i)(j)}=h^{αβ}g_{ij}$, possibly provided by multi-time …

We consider the first order formalism in string theory, providing a new off-shell description of the nontrivial backgrounds around an "infinite metric". The OPE of the vertex operators, corresponding to the background fields in some "twistor representation", and conditions of conformal invariance results in the quadrat…

Study of elliptic boundary value problems on non-compact manifolds.

Geometrically describes Jacobi equations for field theories with dissipation.

An intrinsic description of the Hamilton-Cartan formalism for first-order Berezinian variational problems determined by a submersion of supermanifolds is given. This is achieved by studying the associated higher-order graded variational problem through the Poincaré-Cartan form. Noether theorem and examples from superfi…

Deep networks learn features suddenly, akin to a phase transition.

In this review paper we give a geometrical formulation of the field equations in the Lagrangian and Hamiltonian formalisms of classical field theories (of first order) in terms of multivector fields. This formulation enables us to discuss the existence and non-uniqueness of solutions, as well as their integrability.

New theory for nonsmooth systems helps optimize and control complex functions.

We prove that the first order theory of nonabelian free groups eliminates the "there exists infinitely many" quantifier (in eq). Equivalently, since the theory of nonabelian free groups is stable, it does not have the finite cover property. We also extend our results to torsion-free hyperbolic groups under some conditi…

The geometrical structure known as the Tulczyjew triple has proved to be very useful in describing mechanical systems, even those with singular Lagrangians or subject to constraints. Starting from basic concepts of variational calculus, we construct the Tulczyjew triple for first-order Field Theory. The important featu…

Unified analysis of first-order methods for smooth games using IQCs.

Study max- and min-stability under first-order stochastic dominance, finding new functional characterizations.

Statistical relational models provide compact encodings of probabilistic dependencies in relational domains, but result in highly intractable graphical models. The goal of lifted inference is to carry out probabilistic inference without needing to reason about each individual separately, by instead treating exchangeabl…

The paper explores how topology affects the solvability of first-order differential equations.

Theory establishes optimal rates for estimating linear functionals without structural assumptions.

We present a general definition of the Poisson bracket between differential forms on the extended multiphase space appearing in the geometric formulation of first order classical field theories and, more generally, on exact multisymplectic manifolds. It is well defined for a certain class of differential forms that we …

We analyze families of non-autonomous systems of first-order ordinary differential equations admitting a common time-dependent superposition rule, i.e., a time-dependent map expressing any solution of each of these systems in terms of a generic set of particular solutions of the system and some constants. We next study…

The geometrical structure known as Tulczyjew triple has been used with success in analytical mechanics and first order field theory to describe a wide range of physical systems including Lagrangian/Hamiltonian systems with constraints and/or sources, or with singular Lagrangian. Starting from the first principles of th…

This study defines finite-type invariants for curves on surfaces and reveals the construction of these finite-type invariants for stable homeomorphism classes of curves on compact oriented surfaces without boundaries. These invariants are a higher-order generalisation of a part of Arnold's invariants that are first-ord…

A proof of the isometric embedding of a given two-metric in E^3 of class C^1. The method uses the theory of first order partial differential equations. The curvature of the metric plays no role in the proof.

We describe a new algebraic multisymplectic formulation of the classical BRST symmetry. The analogue of Marsden-Weinstein reduction for multisymplectic manifolds is described. We then give a homological description of Multisymplectic Marsden-Weinstein reduction.

Many problems in machine learning and game theory can be formulated as saddle-point problems, for which various first-order methods have been developed and proven efficient in practice. Under the general convex-concave assumption, most first-order methods only guarantee an ergodic convergence rate, that is, the uniform…

Like all other knot polynomials, the superpolynomials should be defined in arbitrary representation R of the gauge group in (refined) Chern-Simons theory. However, not a single example is yet known of a superpolynomial beyond symmetric or antisymmetric representations. We consider the expansion of the superpolynomial a…

We discuss the coupling of the electromagnetic field with a curved and torsioned Lyra manifold using the Duffin-Kemmer-Petiau theory. We will show how to obtain the equations of motion and energy-momentum and spin density tensors by means of the Schwinger Variational Principle.

In the context of the multi-dimensional infinite horizon optimal consumption-investment problem with proportional transaction costs, we provide the first order expansion in small transact costs. Similar to the one-dimensional derivation in our accompanying paper [42], the asymptotic expansion is expressed in terms of a…

The purpose of this paper is to revisit the Bianchi identities existing for the Riemann and Weyl tensors in the combined framework of the formal theory of systems of partial differential equations (Spencer cohomology, differential systems, formal integrability) and Algebraic Analysis (homological algebra, differential …

Second-order economic theory considers new variables to improve price volatility predictions.