This moduli space is Mh = Γ \Dh where Dh = GR/V is a homogeneous complex manifold on which Γ acts properly discountinuously. In the classical case n = 1 (polarized abelian varieties) or n = 2, h = 1, D is a bounded symmetric domain and Γ \D is a quasi-projective variety defined over a number field. In the non-classical case the situation is quite different. Given a smooth projective family X π ...

We introduce a new hybrid iterative scheme for finding a common element of the set of common fixed points of two countable families of relatively quasi-nonexpansive mappings, the set of the variational inequality, the set of solutions of the generalizedmixed equilibrium problem, and zeros of maximal monotone operators in a Banach space. We obtain a strong convergence theorem for the sequences g...

We study functions from reals to reals which are uniformly degree-invariant from Turing-equivalence to many-one equivalence, and compare them “on a cone.” We prove that they are in one-to-one correspondence with the Wadge degrees, which can be viewed as a refinement of the uniform Martin’s conjecture for uniformly invariant functions from Turingto Turing-equivalence. Our proof works in the gene...

It is known that point searching in basic semialgebraic sets and the search for globally minimal points in polynomial optimization tasks can be carried out using (s d)O(n) arithmetic operations, where n and s are the numbers of variables and constraints and d is the maximal degree of the polynomials involved. We associate to each of these problems an intrinsic system degree which becomes in wor...

The aim of this paper is to characterize in terms of classical (quasi)convexity of extended real-valued functions the set-valued maps which are K-(quasi)convex with respect to a convex cone K. In particular, we recover some known characterizations of K-(quasi)convex vector-valued functions, given by means of the polar cone of K.

Behavioral decomposition is a classical modeling ap proach for performability analysis typically resulting in Markov reward models in which the states represent system con gurations and the rewards represent per formance given the system con guration In this report we experimentally investigate ways of obtaining rewards from a performance model We discuss four candidate metrics to determine rew...

We prove that the saddle connection graph associated to any half-translation surface is $4$–hyperbolic and uniformly quasi-isometric regular countably infinite-valent tree. Consequently, not quasi-isometrically rigid. also characterise its Gromov boundary as set of straight foliations with no connections. In our arguments, we give a generalisation unicorn paths in arc which may be independent...

It was proved by Montaner and Zelmanov that up to classical twisting Lie bialgebra structures on g[u] fall into four classes. Here g is a simple complex finite-dimensional Lie algebra. It turns out that classical twists within one of these four classes are in a one-to-one correspondence with the so-called quasi-trigonometric solutions of the classical Yang-Baxter equation. In this paper we give...

We prove the equivalence between some intuitionistic theorems and the conjunction of a continuity principle and a compactness principle over Bishop’s Constructive Mathematics within the programme of Constructive Reverse Mathematics. To clarify our line of thought, we first point out the relation between quasi-equicontinuity, quasi-uniform convergence, and the continuity principle saying that th...