arXiv research

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

New curvature-dimension condition for Lagrangians on manifolds.

We make a conjecture about mean curvature flow of Lagrangian submanifolds of Calabi-Yau manifolds, expanding on \cite{Th}. We give new results about the stability condition, and propose a Jordan-Hölder-type decomposition of (special) Lagrangians. The main results are the uniqueness of special Lagrangians in hamiltonian…

Deforms orbits in Lie algebras to Lagrangian submanifolds.

We show that Lagrangian submanifolds in six-dimensional nearly Kähler (non Kähler) manifolds and in twistor spaces $Z\sp{4n+2}$ over quaternionic Kähler manifolds $Q\sp{4n}$ are minimal. Moreover, we will prove that any Lagrangian submanifold $L$ in a nearly Kähler manifold $M$ splits into a product of two Lagrangian s…

Improves neural network verification by merging abstract domains and Lagrangian methods.

Study exact Lagrangian cobordisms in cotangent bundles, proving bounds on sheaf interleaving distance and shadow distance.

Improved neural network verification using Lagrangian decomposition and parallel algorithms.

We study the decomposability of a Lagrangian homology class on a K3 surface into a sum of classes represented by special Lagrangian submanifolds, and develop criteria for it in terms of lattice theory. As a result, we prove the decomposability on an arbitrary K3 surface with respect to the Kähler classes in dense subse…

In this paper we study decomposition methods based on separable approximations for minimizing the augmented Lagrangian. In particular, we study and compare the Diagonal Quadratic Approximation Method (DQAM) of Mulvey and Ruszczyński and the Parallel Coordinate Descent Method (PCDM) of Richtárik and Takáč. We show that …

In a recent paper we defined a new filtration of the mapping class group--the "Lagrangian" filtration. We here determine the successive quotients of this filtration, up to finite index. As an application we show that, for any additive invariant of finite-type (e.g. the Casson invariant), and any level of the Lagrangian…

In this paper we show that the convergence of complete Kahler-Einstein hypersurfaces in complex torus in the sense of Cheeger-Gromov will canonically degenerate the underlying manifolds into "pair of pants" decomposition. We also construct minimal Lagrangian tori that represent the vanishing cycles of the degeneration.

A fundamental component of neural network verification is the computation of bounds on the values their outputs can take. Previous methods have either used off-the-shelf solvers, discarding the problem structure, or relaxed the problem even further, making the bounds unnecessarily loose. We propose a novel approach bas…

We describe an iterative construction of Lagrangian tori in the complex Grassmannian $\operatorname{Gr}(k,n)$, based on the cluster algebra structure of the coordinate ring of a mirror Landau-Ginzburg model proposed by Marsh-Rietsch. Each torus comes with a Laurent polynomial, and local systems controlled by the $k$-va…

We define an elementary relatively $\mathbb Z/4$ graded Lagrangian-Floer chain complex for restricted immersions of compact 1-manifolds into the pillowcase, and apply it to the intersection diagram obtained by taking traceless $SU(2)$ character varieties of 2-tangle decompositions of knots. Calculations for torus knots…

As a generalization of anti-invariant Riemannian submersions and Lagrangian Riemannian submersions, we introduce the notions of h-anti-invariant submersions and h-Lagrangian submersions from almost quaternionic Hermitian manifolds onto Riemannian manifolds. We obtain characterizations and investigate some properties: t…

In this paper, we study the nonnegative tensor data and propose an orthogonal nonnegative Tucker decomposition (ONTD). We discuss some properties of ONTD and develop a convex relaxation algorithm of the augmented Lagrangian function to solve the optimization problem. The convergence of the algorithm is given. We employ…

In this work we show that the systems of balance equations (balance systems) of continuum thermodynamics occupy a natural place in the variational bicomplex formalism. We apply the vertical homotopy decomposition to get a local splitting (in a convenient domain) of a general balance system as the sum of a Lagrangian pa…

We consider a multi-objective risk-averse two-stage stochastic programming problem with a multivariate convex risk measure. We suggest a convex vector optimization formulation with set-valued constraints and propose an extended version of Benson's algorithm to solve this problem. Using Lagrangian duality, we develop sc…

This paper combines several new constructions in mathematics and physics. Mathematically, we study framed flat PGL(K,C)-connections on a large class of 3-manifolds M with boundary. We define a space L_K(M) of framed flat connections on the boundary of M that extend to M. Our goal is to understand an open part of L_K(M)…

This article is a standalone introduction to sutured Floer homology for graduate students in geometry and topology. It is divided into three parts. The first part is an introductory level exposition of Lagrangian Floer homology. The second part is a construction of Heegaard Floer homology as a special, and slightly mod…

We introduce new finite-dimensional cohomologies on symplectic manifolds. Each exhibits Lefschetz decomposition and contains a unique harmonic representative within each class. Associated with each cohomology is a primitive cohomology defined purely on the space of primitive forms. We identify the dual currents of lagr…

B. Sahin [9] introduced the notion of anti-invariant Riemannian submersions from almost Hermitian manifolds onto Riemannian manifolds. In the present paper we extend the notion of anti-invariant and Lagrangian Riemannian submersions (a special anti-invariant Riemannian submersion) to the case of locally conformal Kaehl…

Let $M$ be a Calabi-Yau $m$-fold, and consider compact, graded Lagrangians $L$ in $M$. Thomas and Yau math.DG/0104196, math.DG/0104197 conjectured that there should be a notion of "stability" for such $L$, and that if $L$ is stable then Lagrangian mean curvature flow $\{L^t:t\in[0,\infty)\}$ with $L^0=L$ should exist f…

In this paper we address the problem of finding the most probable state of a discrete Markov random field (MRF), also known as the MRF energy minimization problem. The task is known to be NP-hard in general and its practical importance motivates numerous approximate algorithms. We propose a submodular relaxation approa…

We derive both {\em local} and {\em global} generalized {\em Bianchi identities} for classical Lagrangian field theories on gauge-natural bundles. We show that globally defined generalized Bianchi identities can be found without the {\em a priori} introduction of a connection. The proof is based on a {\em global} decom…

Differential conservation laws in Lagrangian field theory are usually related to symmetries of a Lagrangian density and are obtained if the Lie derivative of a Lagrangian density by a certain class of vector fields on a fiber bundle vanishes. However, only two field models meet this property in fact. In gauge theory of…

We obtain a reduction of the vectorial Ribaucour transformation that preserves the class of submanifolds of constant sectional curvature of space forms, which we call the $L$-transformation. It allows to construct a family of such submanifolds starting with a given one and a vector-valued solution of a system of linear…

Starting from a Heegaard splitting of a three-manifold, we use Lagrangian Floer homology to construct a three-manifold invariant, in the form of a relatively Z/8-graded abelian group. Our motivation is to have a well-defined symplectic side of the Atiyah-Floer Conjecture, for arbitrary three-manifolds. The symplectic m…

Robust tensor recovery plays an instrumental role in robustifying tensor decompositions for multilinear data analysis against outliers, gross corruptions and missing values and has a diverse array of applications. In this paper, we study the problem of robust low-rank tensor recovery in a convex optimization framework,…

This paper studies the construction of geometric integrators for nonholonomic systems. We derive the nonholonomic discrete Euler-Lagrange equations in a setting which permits to deduce geometric integrators for continuous nonholonomic systems (reduced or not). The formalism is given in terms of Lie groupoids, specifyin…

New method for MAP inference using Benders' decomposition.

On compact manifolds which are not simply connected, we prove the existence of "fake" solutions to the optimal transportion problem. These maps preserve volume and arise as the exponential of a closed 1 form, hence appear geometrically like optimal transport maps. The set of such solutions forms a manifold with dimensi…

Random matrix ensembles yield uniform distributions on manifolds.

As a generalization of anti-invariant Riemannian submersions, we introduce anti-invariant Riemannian maps from almost Hermitian manifolds to Riemannian manifolds. We give examples and investigate the geometry of foliations which are arisen from the definition of an anti-Riemannian map. Then we give a decomposition theo…

This paper begins with a study on the dual representations of risk and regret measures and their impact on modeling multistage decision making under uncertainty. A relationship between risk envelopes and regret envelopes is established by using the Lagrangian duality theory. Such a relationship opens a door to a decomp…

Constructing translating solitons from Lagrangian Grim Reapers.

In this paper, we study the Lagrangian F-stability of closed Lagrangian self-shrinkers immersed in complex Euclidean space. We show that any closed Lagrangian self-shrinker with first Betti number greater than one is Lagrangian F-unstable. In particular, any two-dimensional embedded closed Lagrangian self-shrinker is L…

We introduce explicit holonomy perturbations of the Chern-Simons functional on a 3-ball containing a pair of unknotted arcs. These perturbations give us a concrete local method for making the moduli spaces of flat singular SO(3) connections relevant to Kronheimer and Mrowka's singular instanton knot homology non-degene…

We present a primal-dual algorithmic framework to obtain approximate solutions to a prototypical constrained convex optimization problem, and rigorously characterize how common structural assumptions affect the numerical efficiency. Our main analysis technique provides a fresh perspective on Nesterov's excessive gap te…

Joyce's criterion for sLag smoothings extended to non-compact, non-transverse intersections.

We exhibit infinitely many, explicit special Lagrangian isolated singularities that admit no asymptotically conical special Lagrangian smoothings. The existence/ nonexistence of such smoothings is an important component of the current efforts to understand which singular special Lagrangians arise as limits of smooth sp…

We introduce a notion of vanishing Maslov index for lagrangian varifolds and lagrangian integral cycles in a Calabi-Yau manifold. We construct mass-decreasing flows of lagrangian varifolds and lagrangian cycles which satisfy this condition. The flow of cycles converges, at infinite time, to a sum of special lagrangian …

Study on singularities of Lagrangian immersions with applications in Floer theory.

Internal Lagrangians derived from variational principles.

New method fills cluster seeds with exact Lagrangian structures.

Quantifies closeness of special Lagrangians under Floer conditions.

In this paper, we prove that any Lagrangian translating soliton is Lagrangian $L$-stable.