Improving dimension estimates for Furstenberg-type sets

In this paper we study the problem of estimating the generalized Hausdorff dimension of Furstenberg sets in the plane. For α∈(0,1], a set F in the plane is said to be an α-Furstenberg set if for each direction e there is a line segment ?e in the direction of e for which dimH(?e∩F)?α. It is well known that , and it is also known that these sets can have zero measure at their critical dimension. By looking at general Hausdorff measures Hh defined for doubling functions, that need not be power laws, we obtain finer estimates for the size of the more general h-Furstenberg sets. Further, this approach allow us to sharpen the known bounds on the dimension of classical Furstenberg sets.The main difficulty we had to overcome, was that if Hh(F)=0, there always exists g?h such that Hg(F)=0 (here ? refers to the natural ordering on general Hausdorff dimension functions). Hence, in order to estimate the measure of general Furstenberg sets, we have to consider dimension functions that are a true step down from the critical one. We provide rather precise estimates on the size of this step and by doing so, we can include a family of zero dimensional Furstenberg sets associated to dimension functions that grow faster than any power function at zero. With some additional growth conditions on these zero dimensional functions, we extend the known inequalities to include the endpoint α=0.     

Enlargements of positive sets

In this paper we introduce the notion of enlargement of a positive set in SSD spaces. To a maximally positive set A we associate a family of enlargements E(A) and characterize the smallest and biggest element in this family with respect to the inclusion relation. We also emphasize the existence of a bijection between the subfamily of closed enlargements of E(A) and the family of so-called representative functions of A. We show that the extremal elements of the latter family are two functions recently introduced and studied by Stephen Simons. In this way we extend to SSD spaces some former results given for monotone and maximally monotone sets in Banach spaces.     

An optimal locating-dominating set in the infinite triangular grid

Assume that G=(V,E) is an undirected graph, and C⊆V. For every v∈V, we denote by I(v) the set of all elements of C that are within distance one from v. If all the sets I(v) for v∈V?C are non-empty, and pairwise different, then C is called a locating-dominating set. The smallest possible density of a locating-dominating set in the infinite triangular grid is shown to be .     

FRACTAL DIMENSION ESTIMATES FOR INVARIANT SETS OF NON-INJECTIVE MAPS

For a special class of non-injective maps on Riemannian manifolds an upper bound for the fractal dimension of invariant set in terms of singular values of the tangent map and degree of non-injectivity is given     

Global properties of the triangular systems in the singular case

We introduce a new class of the triangular (multi-input and multi-output) control systems, of O.D.E., which are not feedback linearizable, and investigate its global behavior. The triangular form introduced is a generalization of the classes of triangular systems, considered before. For our class, we solve the problem of global robust controllability. Combining our main result with that of [F.H. Clarke, Yu.S. Ledyaev, E.D. Sontag, A.I. Subbotin, Asymptotic controllability implies feedback stabilization, IEEE Trans. Automat. Control 42 (1997) 1394-1407], we obtain a corollary on the global discontinuous sampled stabilization (an example showing that global smooth stabilization can be irrelevant to the singular case is considered). To prove our main result, we apply a certain “back-stepping” algorithm and combine the technique proposed in [V.I. Korobov, S.S. Pavlichkov, W.H. Schmidt, Global robust controllability of the triangular integro-differential Volterra systems, J. Math. Anal. Appl. 309 (2005) 743-760] with solving a specific problem of global “practical stabilization” by means of a discontinuous, time-varying feedback law.     

Omega-limit sets and invariant chaos in dimension one

Omega-limit sets play an important role in one-dimensional dynamics. During last fifty year at least three definitions of basic set has appeared. Authors often use results with different definition. Here we fill in the gap of missing proof of equivalency of these definitions. Using results on basic sets we generalize results in paper [P. Oprocha, Invariant scrambled sets and distributional chaos, Dyn. Syst. 24 (2009), no. 1, 31–43.] to the case continuous maps of finite graphs. The Li-Yorke chaos is weaker than positive topological entropy. The equivalency arises when we add condition of invariance to Li-Yorke scrambled set. In this note we show that for a continuous graph map properties positive topological entropy; horseshoe; invariant Li-Yorke scrambled set; uniform invariant distributional chaotic scrambled set and distributionaly chaotic pair are mutually equivalent.     

Computation of differential Chow forms for ordinary prime differential ideals

In this paper, we propose algorithms for computing differential Chow forms for ordinary prime differential ideals which are given by characteristic sets. The algorithms are based on an optimal bound for the order of a prime differential ideal in terms of a characteristic set under an arbitrary ranking, which shows the Jacobi bound conjecture holds in this case. Apart from the order bound, we also give a degree bound for the differential Chow form. In addition, for a prime differential ideal given by a characteristic set under an orderly ranking, a much simpler algorithm is given to compute its differential Chow form. The computational complexity of the algorithms is single exponential in terms of the Jacobi number, the maximal degree of the differential polynomials in a characteristic set, and the number of variables.     

Integral estimates for convergent positive series

It is shown that for every α>1, we have

     

Subgroup regular sets in Cayley graphs

Let Γ be a graph with vertex set V, and let a and b be nonnegative integers. A subset C of V is called an $(a,b)$-regular set in Γ if every vertex in C has exactly a neighbors in C and every vertex in $V?C$ has exactly b neighbors in C. In particular, $(0,1)$-regular sets and $(1,1)$-regular sets in Γ are called perfect codes and total perfect codes in Γ, respectively. A subset C of a group G is said to be an $(a,b)$-regular set of G if there exists a Cayley graph of G which admits C as an $(a,b)$-regular set. In this paper we prove that, for any generalized dihedral group G or any group G of order 4p or pq for some primes p and q, if a nontrivial subgroup H of G is a $(0,1)$-regular set of G, then it must also be an $(a,b)$-regular set of G for any $0?a?|H|?1$ and $0?b?|H|$ such that a is even when $|H|$ is odd. A similar result involving $(1,1)$-regular sets of such groups is also obtained in the paper.     

Equivalence of positive Hausdorff measure and the open set condition for self-conformal sets

A compact set is self-conformal if it is a finite union of its images by conformal contractions. It is well known that if the conformal contractions satisfy the ``open set condition' (OSC), then has positive -dimensional Hausdorff measure, where is the solution of Bowen's pressure equation. We prove that the OSC, the strong OSC, and positivity of the -dimensional Hausdorff measure are equivalent for conformal contractions; this answers a question of R. D. Mauldin. In the self-similar case, when the contractions are linear, this equivalence was proved by Schief (1994), who used a result of Bandt and Graf (1992), but the proofs in these papers do not extend to the nonlinear setting.

     

Algorithms for manipulation of level sets of nonparametric density estimates

Summary  We present algorithms for finding the level set tree of a multivariate density estimate. That is, we find the separated components of level sets of the estimate for a series of levels, gather information on the separated components, such as volume and barycenter, and present the information together with the tree structure of the separated components. The algorithm proceeds by first building a binary tree which partitions the support of the density estimate, followed by bottom-up travels of this tree during which we join those parts of the level sets which touch each other. As a byproduct we present an algorithm for evaluating a kernel estimate on a large multidimensional grid. Since we find the barycenters of the separated components of the level sets also for high levels, our method finds the locations of local extremes of the estimate. Writing of this article was financed by Deutsche Forschungsgemeinschaft under project MA1026/8-1.     

Refinement of estimates for some nonhomogeneous linear forms

In this paper, estimates for nonhomogeneous linear forms in values of hypergeometric functions with irrational parameters are refined. This refinement is carried out by means of an optimal choice of the degree of the zeroth polynomial appearing in the construction of approximate functional forms.Translated from Matematicheskie Zametki, vol. 77, no. 4, 2005, pp. 515–521.Original Russian Text Copyright © 2005 by P. L. Ivankov.This revised version was published online in April 2005 with a corrected issue number.     

THE DIMENSION FOR RANDOM SUB-SELF-SIMILAR SET

In this article,the Hausdorff dimension and exact Hausdorff measure function of any random sub-self-similar set are obtained under some reasonable conditions.Several examples are given at the end.     

On removable sets for convex functions

In the present article we provide a sufficient condition for a closed set F∈R^d$F\in {\mathbb{R}}^d$ to have the following property which we call c  -removability: Whenever a continuous function f:R^d→R$f:{\mathbb{R}}^d\to \mathbb{R}$ is locally convex on the complement of F  , it is convex on the whole R^d${\mathbb{R}}^d$. We also prove that no generalized rectangle of positive Lebesgue measure in R²${\mathbb{R}}^2$ is c-removable. Our results also answer the following question asked in an article by Jacek Tabor and Józef Tabor (2010) [5]: Assume the closed set F⊂R^d$F\subset {\mathbb{R}}^d$ is such that any locally convex function defined on R^d?F${\mathbb{R}}^d?F$ has a unique convex extension on R^d${\mathbb{R}}^d$. Is F   necessarily intervally thin (a notion of smallness of sets defined by their “essential transparency” in every direction)? We prove the answer is negative by finding a counterexample in R²${\mathbb{R}}^2$.     

Weakly prime sets for function spaces

We define and study weakly prime sets for a function space and show that it coincides with the known concept of weakly prime sets for function algebras and spaces of affine functions.     

Gauges for the cookie-cutter sets

Let E be a cookie-cutter set with dimH E =s. It is known that the Hausdorff s-measure and the packing s-measure of the set E are positive and finite. In this paper, we prove that for a gauge function g the set E has positive and finite Hausdorff g-measure if and only if 0 〈 liminft→0 g（t）/ts 〈 ∞. Also, we prove that for a doubling gauge function g the set E has positive and finite packing g-measure if and only if 0 〈 lim supt→0 g（t）/ts 〈 ∞.     

Gauges for the self‐similar sets

For a self‐similar set E with the open set condition we completely determine the class of its Hausdorff gauges and the class of its prepacking gauges. Moreover, its Hausdorff measures and its packing premeasures with respect to the corresponding gauges are estimated. Without the open set condition we prove that a doubling gauge function is a packing gauge of E if and only if it is a prepacking gauge of E. Also, we give some extensions and applications of these results. Here a gauge function is called a Hausdorff, a prepacking, and a packing gauge of a set, if with respect to the function the set has positive and finite Hausdorff measure, packing premeasure, and packing measure, respectively. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)