Algebraicity of formal varieties and positivity of vector bundles

We propose a positivity condition for vector bundles on a projective variety and prove an algebraicity criterion for formal schemes. Then we apply the algebraicity criterion to the study of formal principle in algebraic geometry.     

Lattice triangulations of $\mathbb{E}^3 $ and of the 3-torus

This paper gives answers to a few questions concerning tilings of Euclidean spaces where the tiles are topological simplices with curvilinear edges. We investigate lattice triangulations of Euclidean 3-space in the sense that the vertices form a lattice of rank 3 and such that the triangulation is invariant under all translations of that lattice. This is the dual concept of a primitive lattice tiling where the tiles are not assumed to be Euclidean polyhedra but only topological polyhedra. In 3-space there is a unique standard lattice triangulation by Euclidean tetrahedra (and with straight edges) but there are infinitely many non-standard lattice triangulations where the tetrahedra necessarily have certain curvilinear edges. From the view-point of Discrete Differential Geometry this tells us that there are such triangulations of 3-space which do not carry any flat discrete metric which is equivariant under the lattice. Furthermore, we investigate lattice triangulations of the 3-dimensional torus as quotients by a sublattice. The standard triangulation admits such quotients with any number n ≥ 15 of vertices. The unique one with 15 vertices is neighborly, i.e., any two vertices are joined by an edge. It turns out that for any odd n ≥ 17 there is an n-vertex neighborly triangulation of the 3-torus as a quotient of a certain non-standard lattice triangulation. Combinatorially, one can obtain these neighborly 3-tori as slight modifications of the boundary complexes of the cyclic 4-polytopes. As a kind of combinatorial surgery, this is an interesting construction by itself.     

An Area Preserving Projection from the Regular Octahedron to the Sphere

In this paper, we propose an area preserving bijective map from the regular octahedron to the unit sphere ${\mathbb{S}^2}$ , both centered at the origin. The construction scheme consists of two steps. First, each face F _i of the octahedron is mapped to a curved planar triangle ${\mathcal{T}_i}$ of the same area. Afterwards, each ${\mathcal{T}_i}$ is mapped onto the sphere using the inverse Lambert azimuthal equal area projection with respect to a certain point of ${\mathbb{S}^2}$ . The proposed map is then used to construct uniform and refinable grids on a sphere, starting from any triangular uniform and refinable grid on the triangular faces of the octahedron.     

A review on probabilistic graphical models in evolutionary computation

Thanks to their inherent properties, probabilistic graphical models are one of the prime candidates for machine learning and decision making tasks especially in uncertain domains. Their capabilities, like representation, inference and learning, if used effectively, can greatly help to build intelligent systems that are able to act accordingly in different problem domains. Evolutionary algorithms is one such discipline that has employed probabilistic graphical models to improve the search for optimal solutions in complex problems. This paper shows how probabilistic graphical models have been used in evolutionary algorithms to improve their performance in solving complex problems. Specifically, we give a survey of probabilistic model building-based evolutionary algorithms, called estimation of distribution algorithms, and compare different methods for probabilistic modeling in these algorithms.     

Exponential Stability and Uniform Boundedness of Solutions for Nonautonomous Periodic Abstract Cauchy Problems. An Evolution Semigroup Approach

Let u _{μ, x, s} (., 0) be the solution of the following well-posed inhomogeneous Cauchy Problem on a complex Banach space X $$\left \{\begin{array}{ll}\dot{u}(t) = A(t)u(t) + e^{i\mu t}x, \quad t > s \\ u(s) = 0. \end{array} \right.$$ Here, x is a vector in X,?μ is a real number, q is a positive real number and A(·) is a q-periodic linear operator valued function. Under some natural assumptions on the evolution family ${\mathcal{U} = \{U(t, s): t \geq s\}}$ generated by the family {A(t)}, we prove that if for each?μ, each s?≥ 0 and every x the solution u _{μ, x, s} (·, 0) is bounded on R ₊ by a positive constant, depending only on x, then the family ${\mathcal{U}}$ is uniformly exponentially stable. The approach is based on the theory of evolution semigroups.     

Steiner tree packing revisited

The Steiner tree packing problem (STPP) in graphs is a long studied problem in combinatorial optimization. In contrast to many other problems, where there have been tremendous advances in practical problem solving, STPP remains very difficult. Most heuristics schemes are ineffective and even finding feasible solutions is already NP-hard. What makes this problem special is that in order to reach the overall optimal solution non-optimal solutions to the underlying NP-hard Steiner tree problems must be used. Any non-global approach to the STPP is likely to fail. Integer programming is currently the best approach for computing optimal solutions. In this paper we review some ??classical?? STPP instances which model the underlying real world application only in a reduced form. Through improved modelling, including some new cutting planes, and by employing recent advances in solver technology we are for the first time able to solve those instances in the original 3D grid graphs to optimimality.     

Selective and periodic inventory routing problem for waste vegetable oil collection

We consider a biodiesel production company that collects waste vegetable oil from source points that generate waste in large amounts. The company uses the collected waste as raw material for biodiesel production. The manager of this company needs to decide which of the present source points to include in the collection program, which of them to visit on each day, which periodic routing schedule to repeat over an infinite horizon and how many vehicles to operate such that the total collection, inventory and purchasing costs are minimized while the production requirements and operational constraints are met. For this selective and periodic inventory routing problem, we propose two different formulations, compare them and apply the better performing one on a real-world problem with 36 scenarios. We generate lower bounds using a partial linear relaxation model, and observe that the solutions obtained through our model are within 3.28% of optimality on the average. Several insights regarding the customer selection, routing and purchasing decisions are acquired with sensitivity analysis.     

Reduction of continuous symmetries of chaotic flows by the method of slices

We study continuous symmetry reduction of dynamical systems by the method of slices (method of moving frames) and show that a ‘slice’ defined by minimizing the distance to a single generic ‘template’ intersects the group orbit of every point in the full state space. Global symmetry reduction by a single slice is, however, not natural for a chaotic/ turbulent flow; it is better to cover the reduced state space by a set of slices, one for each dynamically prominent unstable pattern. Judiciously chosen, such tessellation eliminates the singular traversals of the inflection hyperplane that comes along with each slice, an artifact of using the templates local group linearization globally. We compute the jump in the reduced state space induced by crossing the inflection hyperplane. As an illustration of the method, we reduce the SO (2) symmetry of the complex Lorenz equations.     

The axiom of real Blackwell determinacy

The theory of infinite games with slightly imperfect information has been developed for games with finitely and countably many moves. In this paper, we shift the discussion to games with uncountably many possible moves, introducing the axiom of real Blackwell determinacy ${\mathsf{Bl-AD}_\mathbb{R}}$ (as an analogue of the axiom of real determinacy ${\mathsf{AD}_\mathbb{R}}$ ). We prove that the consistency strength of ${\mathsf{Bl-AD}_\mathbb{R}}$ is strictly greater than that of AD.     

A base-matrix lemma for sets of rationals modulo nowhere dense sets

We study some properties of the quotient forcing notions ${Q_{tr(I)} = \wp(2^{< \omega})/tr(I)}$ and P _I ?= B(2 ^ω )/I in two special cases: when I is the σ-ideal of meager sets or the σ-ideal of null sets on 2 ^ω . We show that the remainder forcing R _I =?Q _tr(I)/P _I is σ-closed in these cases. We also study the cardinal invariant of the continuum ${\mathfrak{h}_{\mathbb{Q}}}$ , the distributivity number of the quotient ${Dense(\mathbb{Q})/nwd}$ , in order to show that ${\wp(\mathbb{Q})/nwd}$ collapses ${\mathfrak{c}}$ to ${\mathfrak{h}_{\mathbb{Q}}}$ , thus answering a question addressed in Balcar et?al. (Fundamenta Mathematicae 183:59–80, 2004).