arXiv research

In this paper, we describe an integration of exact Courant algebroids to symplectic 2-groupoids, and we show that the differentiation procedure from [26] inverts our integration.

Exact discrete mechanics for nonholonomic systems defined.

We construct an infinite-dimensional symplectic 2-groupoid as the integration of an exact Courant algebroid. We show that every integrable Dirac structure integrates to a "Lagrangian" sub-2-groupoid of this symplectic 2-groupoid. As a corollary, we recover a result of Bursztyn-Crainic-Weinstein-Zhu that every integrabl…

Exact formulas for volumes of specific knot cone-manifolds.

In this paper, we will give a rigorous construction of the exact discrete Lagrangian formulation associated to a continuous Lagrangian problem. Moreover, we work in the setting of Lie groupoids and Lie algebroids which is enough general to simultaneously cover several cases of interest in discrete and continuous descri…

New tensors help solve magnetic flow integrability.

Study integrability of specific geometric structures on odd Courant algebroids.

Develops integrators for contact Hamiltonian systems preserving geometric structure.

New bounded cohomology classes found for exact forms on curved manifolds.

The paper finds non-isotopic exact Lagrangians in symplectic manifolds with $\mathbb{C}^*$-actions.

The paper studies magnetic geodesic flows on 2-surfaces with integrable structures.

Proposes exact inference for continuous-time Gaussian process dynamics.

We study the topology of exact and Stein fillings of the canonical contact structure on the unit cotangent bundle of a closed surface $Σ_g$, where $g$ is at least 2. In particular, we prove a uniqueness theorem asserting that any Stein filling must be s-cobordant rel boundary to the disk cotangent bundle of $Σ_g$. For …

Right inverse found for Cartan differential in rank-1 symmetric spaces.

Let $f,g:{\Bbb R}\to{\Bbb R}$ be integrable functions, $f$ nowhere zero, and $φ(u)=\int du/f(u)$ be invertible. An exact solution to the generalized nonhomogeneous inviscid Burgers' equation $u_t+g(u).u_x=f(u)$ is given, by quadratures.

We develop variational integrators from discrete Hamiltonian systems with external forces.

Under certain integrability and geometric conditions, we prove division theorems for the exact sequences of holomorphic vector bundles and improve the results in the case of Koszul complex. By introducing a singular Hermitian structure on the trivial bundle, our results recover Skoda's division theorem for holomorphic …

Paper constructs solutions for a class of overdetermined systems.

We study the extension of a Lie algebroid by a representation up to homotopy, including semidirect products of a Lie algebroid with such representations. The extension results in a higher Lie algebroid. We give exact Courant algebroids and string Lie 2-algebras as examples of such extensions. We then apply this to obta…

Taking advantage of the recent litterature on exact simulation algorithms (Beskos, Papaspiliopoulos and Roberts) and unbiased estimation of the expectation of certain fonctional integrals (Wagner, Beskos et al. and Fearnhead et al.), we apply an exact simulation based technique for pricing continuous arithmetic average…

A generalized geometric method is developed for constructing exact solutions of gravitational field equations in Einstein theory and generalizations. First, we apply the formalism of nonholonomic frame deformations (formally considered for nonholonomic manifolds and Finsler spaces) when the gravitational field equation…

The article concerns the problem if a~given system of differential equations is identical with the Euler--Lagrange system of an~appropriate variational integral. Elementary approach is applied. The main results involve the determination of the first--order variational integrals related to the second--order Euler--Lagra…

An anologue of the Calabi invariant for Poisson manifolds is considered. For any Poisson manifold $P$, the Poisson bracket on $C^{\infty}(P)$ extends to a Lie bracket on the space $Ω^{1}(P)$ of all differential one-forms, under which the space $Z^{1}(P)$ of closed one-forms and the space $B^{1}(P)$ of exact one-forms a…

We prove that any regular integral invariant of volume-preserving transformations is equivalent to the helicity. Specifically, given a functional $\mathcal I$ defined on exact divergence-free vector fields of class $C^1$ on a compact 3-manifold that is associated with a well-behaved integral kernel, we prove that $\mat…

The article provides obstructions for exact submanifolds in symplectic applications.

In this note, we study the integral of the 1-form $\log x\frac{dy}{y}-\log y\frac{dx}{x}$ over certain plane curves defined by A-polynomials of knots. It is quite surprising that a Chern-Simons type invariant of 3-manifolds, which can be geometrically computed, may be used to get the exact values of those integrals. Th…

In a number of physically important cases, the nonholonomically (nonintegrable) constrained Ricci flows can be modelled by exact solutions of Einstein equations with nonhomogeneous (anisotropic) cosmological constants. We develop two geometric methods for constructing such solutions: The first approach applies the form…

Hybrid model combines continuous and tractable probabilistic models.

We consider the crossed product $G_{ga}$ by $\R_+^*$ of the adiabatic groupoid associated with any Lie groupoid $G$. We construct an explicit Morita equivalence between the exact sequence of order 0 pseudodifferential operators on $G$ and (a restriction of) the natural exact sequence associated with $G_{ga}$. As an imp…

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

This paper is inspired from the nice result of Andrew Hassell on the eigenfunctions in the stadium billiard. From a classical paper of V. Arnol'd, we know that quasi-modes are not always close to exact modes. We show that, for almost all Riemannian metrics on closed surfaces with an elliptic generic closed geodesic C, …

We consider the problem of estimating the discrete clustering structures under the Sub-Gaussian Mixture Model. Our main results establish a hidden integrality property of a semidefinite programming (SDP) relaxation for this problem: while the optimal solution to the SDP is not integer-valued in general, its estimation …

First we express the holonomy along a boundary curve as the integral on the domain, of an expression which is linear in the curvature. Then we provide a rigorous justification of the definition of curvature in Regge calculus.

Algorithm samples from Bingham distribution efficiently.

It is a significant challenge to design probabilistic programming systems that can accommodate a wide variety of inference strategies within a unified framework. Noting that the versatility of modern automatic differentiation frameworks is based in large part on the unifying concept of tensors, we describe a software a…

For integrable Hamiltonian systems with two degrees of freedom whose Hamiltonian vector fields have incomplete flows, an analogue of the Liouville theorem is established. A canonical Liouville fibration is defined by means of an "exact" 2-parameter family of flat polygons equipped with certain pairing of sides. For the…

In multi-objective Bayesian optimization and surrogate-based evolutionary algorithms, Expected HyperVolume Improvement (EHVI) is widely used as the acquisition function to guide the search approaching the Pareto front. This paper focuses on the exact calculation of EHVI given a nondominated set, for which the existing …

We introduce symplectic Calabi-Yau caps to obtain new obstructions to exact fillings. In particular, it implies that any exact filling of the standard unit cotangent bundle of a hyperbolic surface has vanishing first Chern class and has the same integral homology and intersection form as its disk cotangent bundle. This…

Proves a formula for instanton Floer homology of knots.

We analyze exponential integrability properties of the Cox-Ingersoll-Ross (CIR) process and its Euler discretizations with various types of truncation and reflection at 0. These properties play a key role in establishing the finiteness of moments and the strong convergence of numerical approximations for a class of sto…

The Wodzicki residue and the cut-off integral extend to classical symbol-valued forms. We show that they obey a Stokes' type property and that the extended Wodzicki residue can be interpreted as a complex residue like the ordinary one. In the case of cut-off integrals, Stokes' property (i.e. vanishing on exact forms) o…

Starting from a so-called flat exact semisimple bihamiltonian structures of hydrodynamic type, we arrive at a Frobenius manifold structure and a tau structure for the associated principal hierarchy. We then classify the deformations of the principal hierarchy which possess tau structures.

We present a geometric construction of central S^1-extensions of the quantomorphism group of a prequantizable, compact, symplectic manifold, and explicitly describe the corresponding lattice of integrable cocycles on the Poisson Lie algebra. We use this to find nontrivial central S^1-extensions of the universal cover o…

Study shows exact forms in bounded cohomology are in radical of cup product.

Using the `Riemann Problem with zeros' method, Ward has constructed exact solutions to a (2+1)-dimensional integrable Chiral Model, which exhibit solitons with nontrivial scattering. We give a correspondence between what we conjecture to be all pure soliton solutions and certain holomorphic vector bundles on a compact …

We present the Integrated Size and Price Optimization Problem (ISPO) for a fashion discounter with many branches. Based on a two-stage stochastic programming model with recourse, we develop an exact algorithm and a production-compliant heuristic that produces small optimality gaps. In a field study we show that a distr…

Researchers prove integrability of magnetic systems on spheres up to dimension 6.

New simulation method simplifies Heston model with Poisson conditioning for better accuracy and efficiency.