Connectivity preserving transformations for higher dimensional binary images

An N-dimensional digital binary image (I) is a function I:Z^N→{0,1}. I is connected if and only if its black pixels and white pixels are each (3^N−1)-connected. I is only connected if and only if its black pixels are (3^N−1)-connected. For a 3-D binary image, the respective connectivity models are and . A pair of (3^N−1)-neighboring opposite-valued pixels is called interchangeable in a N-D binary image I, if reversing their values preserves the original connectedness. We call such an interchange to be a (3^N−1)-local interchange. Under the above connectivity models, we show that given two binary images of n pixels/voxels each, we can transform one to the other using a sequence of (3^N−1)-local interchanges. The specific results are as follows. Any two -connected 3-dimensional images I and J each having n black voxels are transformable using a sequence of O((c₁+c₂)n²) 26-local interchanges. Here, c₁ and c₂ are the total number of 8-connected components in all 2-dimensional layers of I and J respectively. We also show bounds on connectivity under a different interchange model as proposed in [A. Dumitrescu, J. Pach, Pushing squares around, Graphs and Combinatorics 22 (1) (2006) 37-50]. Next, we show that any two simply connected images under the , connectivity model and each having n black voxels are transformable using a sequence of O(n²) 26-local interchanges. We generalize this result to show that any two , -connected N-dimensional simply connected images each having n black pixels are transformable using a sequence of O(Nn²)(3^N−1)-local interchanges, where N>1.     

Approximation by smooth functions with no critical points on separable Banach spaces

We characterize the class of separable Banach spaces X such that for every continuous function and for every continuous function there exists a C¹ smooth function for which |f(x)−g(x)|?ε(x) and g^′(x)≠0 for all x∈X (that is, g has no critical points), as those infinite-dimensional Banach spaces X with separable dual X^∗. We also state sufficient conditions on a separable Banach space so that the function g can be taken to be of class Cp, for p=1,2,…,+∞. In particular, we obtain the optimal order of smoothness of the approximating functions with no critical points on the classical spaces ?p(N) and Lp(Rn). Some important consequences of the above results are (1) the existence of a non-linear Hahn-Banach theorem and the smooth approximation of closed sets, on the classes of spaces considered above; and (2) versions of all these results for a wide class of infinite-dimensional Banach manifolds.     

Trace representation of weights on partial O-algebras

The purpose of this paper is to investigate when a weight ? on a partial O^∗-algebra is a trace weighted by a positive self-adjoint operator Ω, that is, whenever s.t. X†∈L(X) and ?(X†□X)<∞. It is shown that if contains the inverse N of a positive compact operator such that the weak multiplication N□N is defined, then every weight ? on satisfying ?(N□N)<∞ is a trace weighted by some positive trace operator.     

Solutions for quasilinear elliptic problems with critical Sobolev-Hardy exponents

Let N?3, 2<p<N, 0?s<p and . Via the variational methods and analytic technique, we prove the existence of nontrivial solution to the singular quasilinear problem , for N?p² and suitable functions f(u).     

Super-stationary set, subword problem and the complexity

Let Ω⊂{0,1}^N be a nonempty closed set with N={0,1,2,…}. For N={N₀<N₁<N₂<?}⊂N and ω∈{0,1}^N, define ω[N]∈{0,1}^N by and

     

Ideals of smooth functions and residue currents

Let be a holomorphic mapping in a neighborhood of the origin in . We find sufficient condition, in terms of residue currents, for a smooth function to belong to the ideal in C^∞ (or C^k) generated by f. If f is a complete intersection the condition is necessary. More generally we give a sufficient condition for an element of class C^∞ (or C^k) in the Koszul complex induced by f to be exact. For the proofs we introduce explicit homotopy formulas for the Koszul complex induced by f.     

Removable singularities for a Sobolev space

Let Ω⊂RN be an open set and F a relatively closed subset of Ω. We show that if the (N−1)-dimensional Hausdorff measure of F is finite, then the spaces and coincide, that is, F is a removable singularity for . Here is the closure of in H¹(Ω) and H¹(Ω) denotes the first order Sobolev space. We also give a relative capacity criterium for this removability. The space is important for defining realizations of the Laplacian with Neumann and with Robin boundary conditions. For example, if the boundary of Ω has finite (N−1)-dimensional Hausdorff measure, then our results show that we may replace Ω by the better set (which is regular in topology), i.e., Neumann boundary conditions (respectively Robin boundary conditions) on Ω and on coincide.     

On the degree of homogeneous bent functions

In this paper, the degree of homogeneous bent functions is discussed. We prove that for any nonnegative integer k, there exists a positive integer N such that for n?N there exist no 2n- variable homogeneous bent functions having degree n-k or more, where N is the least integer satisfying .