Search results for "rete"

Strongly invertible links and divides

2008

Abstract To a proper generic immersion of a finite number of copies of the unit interval in a 2-disc, called a divide, A’Campo associates a link in S 3 . From the more general notion of ordered Morse signed divides, one obtains a braid presentation of links of divides. In this paper, we prove that every strongly invertible link is isotopic to the link of an ordered Morse signed divide. We give fundamental moves for ordered Morse signed divides and show that strongly invertible links are equivalent if and only if we can pass from one ordered Morse signed divide to the other by a sequence of such moves. Then we associate a polynomial to an ordered Morse signed divide, invariant for these move…

Generalized Lebesgue points for Sobolev functions

2017

In this article, we show that a function $f\in M^{s,p}(X),$ $0<s\leq 1,$ $0<p<1,$ where $X$ is a doubling metric measure space, has generalized Lebesgue points outside a set of $\mathcal{H}^h$-Hausdorff measure zero for a suitable gauge function $h.$

Some old and new results on lower semicontinuity of minimal points

2000

Admissible perturbations of alpha-psi-pseudocontractive operators: convergence theorems

2016

In the last decades, the study of convergence of fixed point iterative methods has received an increasing attention, due to their performance as tools for solving numerical problems. As a consequence of this fact, one can access to a wide literature on iterative schemes involving different types of operators; see [2, 4, 5]. We point out that fixed point iterative approximation methods have been largely applied in dealing with stability and convergence problems; see [1, 6]. In particular, we refer to various control and optimization questions arising in pure and applied sciences involving dynamical systems, where the problem in study can be easily arranged as a fixed point problem. Then, we …

A Pedagogical Proof of Arrow's Impossibility Theorem

1999

In this note I consider a simple proof of Arrow's Impossibility Theorem (Arrow 1963). I start with the case of three individuals who have preferences on three alternatives. In this special case there are 133=2197 possible combinations of the three individuals' rational preferences. However, by considering the subset of linear preferences, and employing the full strength of the IIA axiom, I reduce the number of cases necessary to completely describe the SWF to a small number, allowing an elementary proof suitable for most undergraduate students. This special case conveys the nature of Arrow's result. It is well known that the restriction to three options is not really limiting (any larger se…

Logical definability of NP-optimisation problems with monadic auxiliary predicates

1993

Given a first-order formula ϕ with predicate symbols e1...el, so,...,sr, an NP-optimisation problem on -structures can be defined as follows: for every -structure G, a sequence of relations on G is a feasible solution iff satisfies ϕ, and the value of such a solution is defined to be ¦S0¦. In a strong sense, every polynomially bounded NP-optimisation problem has such a representation, however, it is shown here that this is no longer true if the predicates s1, ...,sr are restricted to be monadic. The result is proved by an Ehrenfeucht-Fraisse game and remains true in several more general situations.

On the operators which are invertible modulo an operator ideal

2001

Atkinson [3] studied the operators which are left invertible $i(X, Y) or right invertible $T{X, Y) modulo /C, with K. the compact operators. He proved that an operator T € C(X, Y) belongs to <£/ or $ r if and only if the kernel and the range of T are complemented and additionally, the kernel is finite dimensional or the range is finite codimensional, respectively. Yood [19] obtained some perturbation results for these classes and Lebow and Schechter [12] proved that the inessential operators form the perturbation class for $,(A") and $r{X). Yang [18] extended some results of ^3, 19] to operators invertible modulo W, with W the weakly compact operators. His aim was to study a generalised Fre…

On the use of relational expressions in the design of efficient algorithms

2005

Relational expressions have finite binary relations as arguments and the operations are composition (·), closure (*), inverse (−1), and union (U). The efficient computation of the relation denoted by a relational expression is considered, and a tight bound is established on the complexity of the algorithm suggested by Hunt, Szymanski and Ullman. The result implies a unified method for deriving efficient algorithms for many problems in parsing. For example, optimal algorithms are derived for strong LL(1) and strong LL(2) parser construction and an efficient polynomialtime algorithm is derived for determining the inessential error entries in an LR(1) parsing table.

Equidistribution of Equidistant Level Sets to Gibbs Measures

2019

Before stating this equidistribution result, we begin with a technical construction that will also be useful in the following chapter.

L 2-topological invariants of 3-manifolds

1995

We give results on theL2-Betti numbers and Novikov-Shubin invariants of compact manifolds, especially 3-manifolds. We first study the Betti numbers and Novikov-Shubin invariants of a chain complex of Hilbert modules over a finite von Neumann algebra. We establish inequalities among the Novikov-Shubin invariants of the terms in a short exact sequence of chain complexes. Our algebraic results, along with some analytic results on geometric 3-manifolds, are used to compute theL2-Betti numbers of compact 3-manifolds which satisfy a weak form of the geometrization conjecture, and to compute or estimate their Novikov-Shubin invariants.