Related papers: A formula for the minimal coordination number of a…

We give compact extended formulations for the packing and partitioning orbitopes (with respect to the full symmetric group) described and analyzed in (Kaibel and Pfetsch, 2008). These polytopes are the convex hulls of all 0/1-matrices with…

Consider two axis-aligned rectilinear simple polygons in the domain consisting of axis-aligned rectilinear obstacles in the plane such that the bounding boxes, one for each obstacle and one for each polygon, are disjoint. We present an…

In this paper, we characterize homogeneous arithmetically Cohen-Macaulay (ACM) bundles and Ulrich bundles on rational homogeneous spaces. %with respect to general polarizations. From this result, we see that there are only finitely many…

We present a novel class of methods to compute functions of matrices or their action on vectors that are suitable for parallel programming. Solving appropriate simple linear systems of equations in parallel (or computing the inverse of…

Higher-dimensional orthogonal packing problems have a wide range of practical applications, including packing, cutting, and scheduling. In the context of a branch-and-bound framework for solving these packing problems to optimality, it is…

Parametrized motion planning algorithms have high degree of flexibility and universality, they can work under a variety of external conditions, which are viewed as parameters and form part of the input of the algorithm. In this paper we…

Alignment algorithms usually rely on simplified models of gaps for computational efficiency. Based on an isomorphism between alignments and physical helix-coil models, we show in statistical mechanics that alignments with realistic laws for…

We propose a new bundle-based augmented Lagrangian framework for solving constrained convex problems. Unlike the classical (inexact) augmented Lagrangian method (ALM) that has a nested double-loop structure, our framework features a…

We provide analytical lower and upper bounds for entanglement of formation for bipartite systems, which give a direct relation between the bounds of entanglement of formation and concurrence, and improve the previous results. Detailed…

We classify the radially symmetric connections in vector bundles over round spheres by proving that they are all parallel.

Let M be a simply connected Riemannian symmetric space, with at most one flat direction. We show that every Riemannian (or unitary) vector bundle with parallel curvature over M is an associated vector bundle of a canonical principal bundle,…

We define a frontal bundle by imposing a compatibility condition on two types of coherent tangent bundles over a surface with boundary. Since it is known that there are two Gauss-Bonnet type formulas for coherent tangent bundles, we obtain…

A flat torus is the quotient of the Euclidean plane over a lattice generated by a basis, and an axis-aligned rectangular tiling of a flat torus is a partition into finitely many rectangles whose sides are axis-aligned. We provide the…

Structural stiffness plays an important role in engineering design. The analysis of stiffness requires precise experiments and computational models that can be difficult or time-consuming to procure. A novel relation between modal and…

We derive a set of genuine multi-mode entanglement criteria for second moments of the quadrature operators. The criteria have a common form of the uncertainty relation between sums of variances of position and momentum quadrature…

These notes survey the theory of (twisted) conformal blocks from an algebro-geometric perspective and have two main goals. The first one is to summarize the construction of conformal blocks from vertex operator algebras, and to describe…

We discuss the global regularity of 2 dimensional minimal sets that are near a union of two planes, and prove that every global minimal set in R^4 that looks like a union of two almost orthogonal planes at infinity is a cone. The main point…

The minimal model program suggests a compactification of the moduli space of hyperplane arrangements which is a moduli space of stable pairs. Here, a stable pair consists of a scheme X which is a degeneration of projective space and a…

We introduce the concept of a graded bundle which is a natural generalization of the concept of a vector bundle and whose standard examples are higher tangent bundles T^nQ playing a fundamental role in higher order Lagrangian formalisms.…

This paper discusses the problem of assembly line control and introduces an optimal control formulation that can be used to improve the performance of the assembly line, in terms of cycle time minimization, resources' utilization, etc. A…