Universal Lagrangian bundles

The obstruction to construct a Lagrangian bundle over a fixed integral affine manifold was constructed by Dazord and Delzant (J Differ Geom 26:223–251, 1987) and shown to be given by ‘twisted’ cup products in Sepe (Differ Geom Appl 29(6): 787–800, 2011). This paper uses the topology of universal Lagrangian bundles, which classify Lagrangian bundles topologically [cf. Sepe in J Geom Phys 60:341–351, 2010], to reinterpret this obstruction as the vanishing of a differential on the second page of a Leray-Serre spectral sequence. Using this interpretation, it is shown that the obstruction of Dazord and Delzant depends on an important cohomological invariant of the integral affine structure on the base space, called the radiance obstruction, which was introduced by Goldman and Hirsch (Trans Am Math Soc 286(2):629–649, 1984). Some examples, related to non-degenerate singularities of completely integrable Hamiltonian systems, are discussed.     

Quadratic algebras related to elliptic curves

We construct quadratic finite-dimensional Poisson algebras corresponding to a rank-N degree-one vector bundle over an elliptic curve with n marked points and also construct the quantum version of the algebras. The algebras are parameterized by the moduli of curves. For N = 2 and n = 1, they coincide with Sklyanin algebras. We prove that the Poisson structure is compatible with the Lie-Poisson structure defined on the direct sum of n copies of sl(N). The origin of the algebras is related to the Poisson reduction of canonical brackets on an affine space over the bundle cotangent to automorphism groups of vector bundles. __________ Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 156, No. 2, pp. 163–183, August, 2008.     

Lagrange optimality system for a class of nonsmooth convex optimization

In this paper, we revisit the augmented Lagrangian method for a class of nonsmooth convex optimization. We present the Lagrange optimality system of the augmented Lagrangian associated with the problems, and establish its connections with the standard optimality condition and the saddle point condition of the augmented Lagrangian, which provides a powerful tool for developing numerical algorithms: we derive a Lagrange–Newton algorithm for the nonsmooth convex optimization, and establish the nonsingularity of the Newton system and the local convergence of the algorithm.     

Complex Product Structures and Affine Foliations

A complex product structure on a manifold is an appropriate combination of a complex structure and a product structure. The existence of such a structure determines many interesting properties of the underlying manifold, notably that the manifold admits a pair of complementary foliations whose leaves carry affine structures. This is due to the existence of a unique torsion-free connection which preserves both the complex and the product structure; this connection is not necessarily flat. We study the existence of complex product structures on tangent bundles of smooth manifolds, and we investigate the structure of manifolds admitting a complex product structure and a compatible hypersymplectic metric, showing that the foliations mentioned earlier are either symplectic or Lagrangian, depending on the symplectic form under consideration.     

Refinement of Lagrangian bounds in optimization problems

Lagrangian constraint relaxation and the corresponding bounds for the optimal value of an original optimization problem are examined. Techniques for the refinement of the classical Lagrangian bounds are investigated in the case where the complementary slackness conditions are not fulfilled because either the original formulation is nonconvex or the Lagrange multipliers are nonoptimal. Examples are given of integer and convex problems for which the modified bounds improve the classical Lagrangian bounds.     

An affine model for the actions in an integrable system with monodromy

We give a standard model for the flat affine geometry defined by the local action variables of a completely integrable system. We are primarily interested in the affine structure in the neighborhood of a critical value with nontrivial monodromy.      

The Admissibility of Simple Bounded Modules for an Affine Lie Algebra

This paper studies a class of simple integrable modules for an affine Lie algebras which are closely related to the finite-dimensional modules studied by V. Chari and A. Pressley, except that the Euler element is assumed to act. They are infinite-dimensional; but are shown to have finite-dimensional weight spaces. It is conjectured that any simple integrable module with a zero weight space belongs to this class and their classification is given. The main interest in studying such modules is that they may occur in the endomorphism rings of highest weight modules whilst those of Chari and Pressley in general do not. Their character theory is also more complicated.     

Lagrangian Curves in a 4-Dimensional Affine Symplectic Space

Lagrangian curves in \(\mathbb {R}^{4}\) entertain intriguing relationships with second order deformation of plane curves under the special affine group and null curves in a 3-dimensional Lorentzian space form. We provide a natural affine symplectic frame for Lagrangian curves. It allows us to classify Lagrangian curves with constant symplectic curvatures, to construct a class of Lagrangian tori in \(\mathbb {R}^{4}\) and determine Lagrangian geodesics.     

An outer approximate subdifferential method for piecewise affine optimization

Piecewise affine functions arise from Lagrangian duals of integer programming problems, and optimizing them provides good bounds for use in a branch and bound method. Methods such as the subgradient method and bundle methods assume only one subgradient is available at each point, but in many situations there is more information available. We present a new method for optimizing such functions, which is related to steepest descent, but uses an outer approximation to the subdifferential to avoid some of the numerical problems with the steepest descent approach. We provide convergence results for a class of outer approximations, and then develop a practical algorithm using such an approximation for the compact dual to the linear programming relaxation of the uncapacitated facility location problem. We make a numerical comparison of our outer approximation method with the projection method of Conn and Cornuéjols, and the bundle method of Schramm and Zowe. Received September 10, 1998 / Revised version received August 1999?Published online December 15, 1999     

Locally symmetric minimal affine Lagrangian surfaces in C2

One of the basic facts known in the theory of minimal Lagrangian surfaces is that a minimal Lagrangian surface of constant curvature in C ² must be totally geodesic. In affine geometry the constancy of curvature corresponds to the local symmetry of a connection. In Opozda (Geom. Dedic. 121:155–166, 2006), we proposed an affine version of the theory of minimal Lagrangian submanifolds. In this paper we give a local classification of locally symmetric minimal affine Lagrangian surfaces in C ². Only very few of surfaces obtained in the classification theorems are Lagrangian in the sense of metric (pseudo-Riemannian) geometry.     

Problemi diofantei sulle trasformazioni birazionali quadratiche fra due piani

We give here a classification of quadratic birational transformations with integer coefficients between two affine planes and we determine the relative bi-integer points.     

Locally symmetric minimal affine Lagrangian surfaces in C<Superscript>2</Superscript>

One of the basic facts known in the theory of minimal Lagrangian surfaces is that a minimal Lagrangian surface of constant curvature in C ² must be totally geodesic. In affine geometry the constancy of curvature corresponds to the local symmetry of a connection. In Opozda (Geom. Dedic. 121:155–166, 2006), we proposed an affine version of the theory of minimal Lagrangian submanifolds. In this paper we give a local classification of locally symmetric minimal affine Lagrangian surfaces in C ². Only very few of surfaces obtained in the classification theorems are Lagrangian in the sense of metric (pseudo-Riemannian) geometry. The research supported by the KBN grant 1 PO3A 034 26.     

Coherent orientation of mixed moduli spaces in Morse-Floer theory

We give the coherent orientation for the spaces of intersections of gradient trajectories and holomorphic disks in cotangent bundle. This construction provides the Piunikhin-Salamon-Schwarz isomorphism between Morse homology and Floer homology for Lagrangian intersections in cotangent bundles, with integer coefficients. This work is partially supported by Ministry of Science and Environmental Protection of Republic of Serbia Project #144020.     

Multiplicative form of the Lagrangian

We obtain an alternative class of Lagrangians in the so-called the multiplicative form for a system with one degree of freedom in the nonrelativistic and the relativistic cases. This new form of the Lagrangian can be regarded as a one-parameter class with the parameter λ obtained using an extension of the standard additive form of the Lagrangian because both forms yield the same equation of motion. We note that the multiplicative form of the Lagrangian can be regarded as a generating function for obtaining an infinite hierarchy of Lagrangians that yield the same equation of motion. This nontrivial set of Lagrangians confirms that the Lagrange function is in fact nonunique.     

Lagrangian Relaxation and the Single-Source Capacitated Facility-Location Problem

Lagrangian relaxation has been widely used in solving a number of hard combinatorial optimization problems. The success of the approach depends on the structure of the problem and on the values assigned to the Lagrange multipliers. A recent paper on the single-source capacitated facility-location problem proposed the use of Lagrangian relaxation in which the capacity constraints were relaxed. In this paper, a class of such problems is defined for which the proposed relaxation is guaranteed to result in an infeasible solution, irrespective of the values assigned to the Lagrange multipliers. In these cases, the bounds on the optimal solution, obtained from the relaxation, are generally poor. It is concluded that, when using Lagrangian relaxation, it may be worthwhile carrying out a preliminary analysis to determine the potential viability of the approach before extensive development takes place.     

Quantum Field Theory on Affine Bundles

We develop a general framework for the quantization of bosonic and fermionic field theories on affine bundles over arbitrary globally hyperbolic spacetimes. All concepts and results are formulated using the language of category theory, which allows us to prove that these models satisfy the principle of general local covariance. Our analysis is a preparatory step towards a full-fledged quantization scheme for the Maxwell field, which emphasises the affine bundle structure of the bundle of principal U(1)-connections. As a by-product, our construction provides a new class of exactly tractable locally covariant quantum field theories, which are a mild generalization of the linear ones. We also show the existence of a functorial assignment of linear quantum field theories to affine ones. The identification of suitable algebra homomorphisms enables us to induce whole families of physical states (satisfying the microlocal spectrum condition) for affine quantum field theories by pulling back quasi-free Hadamard states of the underlying linear theories.     

Lagrangian Rabinowitz Floer homology and twisted cotangent bundles

We study the following rigidity problem in symplectic geometry: can one displace a Lagrangian submanifold from a hypersurface? We relate this to the Arnold Chord Conjecture, and introduce a refined question about the existence of relative leaf-wise intersection points, which are the Lagrangian-theoretic analogue of the notion of leaf-wise intersection points defined by Moser (Acta. Math. 141(1–2):17–34, 1978). Our tool is Lagrangian Rabinowitz Floer homology, which we define first for Liouville domains and exact Lagrangian submanifolds with Legendrian boundary. We then extend this to the ‘virtually contact’ setting. By means of an Abbondandolo–Schwarz short exact sequence we compute the Lagrangian Rabinowitz Floer homology of certain regular level sets of Tonelli Hamiltonians of sufficiently high energy in twisted cotangent bundles, where the Lagrangians are conormal bundles. We deduce that in this situation a generic Hamiltonian diffeomorphism has infinitely many relative leaf-wise intersection points.     

Alternating direction augmented Lagrangian methods for semidefinite programming

We present an alternating direction dual augmented Lagrangian method for solving semidefinite programming (SDP) problems in standard form. At each iteration, our basic algorithm minimizes the augmented Lagrangian function for the dual SDP problem sequentially, first with respect to the dual variables corresponding to the linear constraints, and then with respect to the dual slack variables, while in each minimization keeping the other variables fixed, and then finally it updates the Lagrange multipliers (i.e., primal variables). Convergence is proved by using a fixed-point argument. For SDPs with inequality constraints and positivity constraints, our algorithm is extended to separately minimize the dual augmented Lagrangian function over four sets of variables. Numerical results for frequency assignment, maximum stable set and binary integer quadratic programming problems demonstrate that our algorithms are robust and very efficient due to their ability or exploit special structures, such as sparsity and constraint orthogonality in these problems.     

Geometric Integrators for Higher-Order Variational Systems and Their Application to Optimal Control

Numerical methods that preserve geometric invariants of the system, such as energy, momentum or the symplectic form, are called geometric integrators. In this paper we present a method to construct symplectic-momentum integrators for higher-order Lagrangian systems. Given a regular higher-order Lagrangian \(L:T^{(k)}Q\rightarrow {\mathbb {R}}\) with \(k\ge 1\), the resulting discrete equations define a generally implicit numerical integrator algorithm on \(T^{(k-1)}Q\times T^{(k-1)}Q\) that approximates the flow of the higher-order Euler–Lagrange equations for L. The algorithm equations are called higher-order discrete Euler–Lagrange equations and constitute a variational integrator for higher-order mechanical systems. The general idea for those variational integrators is to directly discretize Hamilton’s principle rather than the equations of motion in a way that preserves the invariants of the original system, notably the symplectic form and, via a discrete version of Noether’s theorem, the momentum map. We construct an exact discrete Lagrangian \(L_d^e\) using the locally unique solution of the higher-order Euler–Lagrange equations for L with boundary conditions. By taking the discrete Lagrangian as an approximation of \(L_d^e\), we obtain variational integrators for higher-order mechanical systems. We apply our techniques to optimal control problems since, given a cost function, the optimal control problem is understood as a second-order variational problem.     

On solving the Lagrangian dual of integer programs via an incremental approach

The Lagrangian dual of an integer program can be formulated as a min-max problem where the objective function is convex, piecewise affine and, hence, nonsmooth. It is usually tackled by means of subgradient algorithms, or multiplier adjustment techniques, or even more sophisticated nonsmooth optimization methods such as bundle-type algorithms. Recently a new approach to solving unconstrained convex finite min-max problems has been proposed, which has the nice property of working almost independently of the exact evaluation of the objective function at every iterate-point.