Search results for "extension"
showing 10 items of 534 documents
Cluster sets and quasiconformal mappings
2010
Certain classical results on cluster sets and boundary cluster sets of analytic functions, due to Iversen, Lindelof, Noshiro, Tsuji, Ohtsuka, Pommerenke, Carmona, Cufi and others, are extended to n-dimensional quasiconformal mappings. Unlike what is usually the case in the context of analytic functions, our considerations are not restricted to mappings of a disk or ball only. It is shown, for instance, that quasiconformal cluster sets and boundary cluster sets, taken at a non-isolated boundary point of an arbitrary domain, coincide. More refined versions are established in the special case where the domain is the open unit ball. These include cluster set considerations of the induced radial…
Graph connectivity and monadic NP
2002
Ehrenfeucht games are a useful tool in proving that certain properties of finite structures are not expressible by formulas of a certain type. In this paper a new method is introduced that allows the extension of a local winning strategy for Duplicator, one of the two players in Ehrenfeucht games, to a global winning strategy. As an application it is shown that graph connectivity cannot be expressed by existential second-order formulas, where the second-order quantification is restricted to unary relations (monadic NP), even, in the presence of a built-in linear order. As a second application it is stated, that, on the other hand, the presence of a linear order increases the power of monadi…
Sobolev embeddings, extensions and measure density condition
2008
AbstractThere are two main results in the paper. In the first one, Theorem 1, we prove that if the Sobolev embedding theorem holds in Ω, in any of all the possible cases, then Ω satisfies the measure density condition. The second main result, Theorem 5, provides several characterizations of the Wm,p-extension domains for 1<p<∞. As a corollary we prove that the property of being a W1,p-extension domain, 1<p⩽∞, is invariant under bi-Lipschitz mappings, Theorem 8.
Absolutely Convergent Extensions of Nonclosable Positive Linear Functionals
2010
The existence of extensions of a positive linear functional ω defined on a dense *-subalgebra \({\mathfrak{A}_0}\) of a topological *-algebra \({\mathfrak{A}}\), satisfying certain regularity conditions, is examined. The main interest is focused on the case where ω is nonclosable and sufficient conditions for the existence of an absolutely convergent extension of ω are given.
Single-valued extension property at the points of the approximate point spectrum
2003
Abstract A localized version of the single-valued extension property is studied at the points which are not limit points of the approximate point spectrum, as well as of the surjectivity spectrum. In particular, we shall characterize the single-valued extension property at a point λ o ∈ C in the case that λoI−T is of Kato type. From this characterizations we shall deduce several results on cluster points of some distinguished parts of the spectrum.
Operators Which Do Not Have the Single Valued Extension Property
2000
Abstract In this paper we shall consider the relationships between a local version of the single valued extension property of a bounded operator T ∈ L ( X ) on a Banach space X and some quantities associated with T which play an important role in Fredholm theory. In particular, we shall consider some conditions for which T does not have the single valued extension property at a point λ o ∈ C .
Irreducible components of Hurwitz spaces parameterizing Galois coverings of curves of positive genus
2014
Let Y be a smooth, projective, irreducible complex curve. A G-covering p : C → Y is a Galois covering, where C is a smooth, projective, irreducible curve and an isomorphism G ∼ −→ Aut(C/Y ) is fixed. Two G-coverings are equivalent if there is a G-equivariant isomorphism between them. We are concerned with the Hurwitz spaces H n (Y ) and H G n (Y, y0). The first one parameterizes Gequivalence classes of G-coverings of Y branched in n points. The second one, given a point y0 ∈ Y , parameterizes G-equivalence classes of pairs [p : C → Y, z0], where p : C → Y is a G-covering unramified at y0 and z0 ∈ p (y0). When G = Sd one can equivalently consider coverings f : X → Y of degree d with full mon…
Extensions and intentions in the rough set theory
1998
Abstract The approach to rough set theory proposed in this paper is based on the mutual correspondence of the concepts of extension and intension. It is different from the well-known approaches in the literature in that the upper approximations and the lower approximations of ‘unknown’ sets are considered as certain families of ‘known’ sets. This approach makes it possible to formulate necessary and sufficient conditions for the existence of operations on rough sets, which are analogous to classical operations on sets. The basic results presented in this paper, based on certain ideas of the second author, were formulated by the first author in his doctoral dissertation prepared under the su…
A Structural Theorem for Metric Space Valued Mappings of Φ-bounded Variation
2009
In this paper we introduce the notion of $\Phi$-bounded variation for metric space valued mappings defined on a subset of the real line. Such a notion generalizes the one for real functions introduced by M. Schramm, and many previous generalized variations. We prove a structural theorem for mappings of $\Phi$-bounded variation. As an application we show that each mapping of $\Phi$-bounded variation defined on a subset of $\mathbb{R}$ possesses a $\Phi$-variation preserving extension to the whole real line.
Time-Efficient Quantum Walks for 3-Distinctness
2013
We present two quantum walk algorithms for 3-Distinctness. Both algorithms have time complexity $\tilde{O}(n^{5/7})$, improving the previous $\tilde{O}(n^{3/4})$ and matching the best known upper bound for query complexity (obtained via learning graphs) up to log factors. The first algorithm is based on a connection between quantum walks and electric networks. The second algorithm uses an extension of the quantum walk search framework that facilitates quantum walks with nested updates.