Isometric embeddings of finite metric spaces

It is proved that there exists a metric on a Cantor set such that any finite metric space whose diameter does not exceed 1 and the number of points does not exceed n can be isometrically embedded into it. It is also proved that for any m, n ∈ N there exists a Cantor set in R^m that isometrically contains all finite metric spaces which can be embedded into R^m, contain at most n points, and have the diameter at most 1. The latter result is proved for a wide class of metrics on R^m and, in particular, for the Euclidean metric.     

A combinatorial proof of Marstrand’s theorem for products of regular Cantor sets

In a paper from 1954 Marstrand proved that if K⊂R² has a Hausdorff dimension greater than 1, then its one-dimensional projection has a positive Lebesgue measure for almost all directions. In this article, we give a combinatorial proof of this theorem when K is the product of regular Cantor sets of class C^1+α, α>0, for which the sum of their Hausdorff dimension is greater than 1.     

Orbit equivalence for Cantor minimal ℤ d -systems

We show that every minimal action of any finitely generated abelian group on the Cantor set is (topologically) orbit equivalent to an AF relation. As a consequence, this extends the classification up to orbit equivalence of minimal dynamical systems on the Cantor set to include AF relations and ? ^d -actions.     

Stable intersections of affine cantor sets

We construct open sets of pairs of affine Cantor sets (K, K′) with the simplest possible combinatorics (i. e., defined by two affine increasing maps) which have stable intersection, while the product of lateral thicknesses τ_R(K) • τ_L (K′) is smaller than one. Thus, in a strong form, the converse to the following classic result due to Newhouse is not true: if the product of the thicknesses of two Cantor sets is bigger than one then there are translations of them which have stable intersection. We also describe the topological structure of K—K′ for typical pairs (K, K′) in this open set.     

The size of sums of sets,II

We prove inequalities which give lower bounds for the Lebesgue measures of setsE +K whereK is a certain kind of Cantor set. For example, ifC is the Cantor middle-thirds subset of the circle groupT, then $$m(E)^{1 - log2/log3} \leqq m(E + C)$$ for every BorelE ?T.     

About C 1-minimality of the hyperbolic Cantor sets

In this work we prove that a C ^1+α -hyperbolic Cantor set contained in S ¹ that is close to an affine Cantor set is not C ¹-minimal.     

Most homeomorphisms with a fixed point have a Cantor set of fixed points

We show that, for any n ≠ 2, most orientation preserving homeomorphisms of the sphere S ²ⁿ have a Cantor set of fixed points. In other words, the set of such homeomorphisms that do not have a Cantor set of fixed points is of the first Baire category within the set of all homeomorphisms. Similarly, most orientation reversing homeomorphisms of the sphere S ²ⁿ⁺¹ have a Cantor set of fixed points for any n ≠ 0. More generally, suppose that M is a compact manifold of dimension > 1 and ≠ 4 and ${\mathcal{H}}$ is an open set of homeomorphisms h : M → M such that all elements of ${\mathcal{H}}$ have at least one fixed point. Then we show that most elements of ${\mathcal{H}}$ have a Cantor set of fixed points.     

Chaotic behaviour of the map x ↦ ω(x, f)

Let K(2^?) be the class of compact subsets of the Cantor space 2^?, furnished with the Hausdorff metric. Let f ∈ C(2^?). We study the map ω _f : 2 ^? → K(2^?) defined as ω _f (x) = ω(x, f), the ω-limit set of x under f. Unlike the case of n-dimensional manifolds, n ≥ 1, we show that ω _f is continuous for the generic self-map f of the Cantor space, even though the set of functions for which ω _f is everywhere discontinuous on a subsystem is dense in C(2^?). The relationships between the continuity of ω _f and some forms of chaos are investigated.     

On completeness of quadratic systems

A dynamical system is called complete if every solution of it exists for all t∈R. Let K be the dimension of the vector space of quadratic systems. The set of complete quadratic systems is shown to contain a vector subspace of dimension 2K/3. We provide two proofs, one by the Gronwall lemma and the second by compactification that is capable of showing incompleteness as well. Characterization of a vector subspace of complete quadratic systems is provided. The celebrated Lorenz system for all real ranges of its parameters is shown to belong to this subspace. We also provide a sufficient condition for a system to be incomplete.     

A note on an inverse problem for lattice points

Let K⊆R² be a compact set such that K+Z²=R² and let K−K={a−b|a,b∈K}. We prove, via Algebraic Topology, that the integer points of the difference set of K, (K−K)∩Z², is not contained on the coordinate axes, Z×{0}∪{0}×Z. This result implies the negative answer to the inverse problem posed by M.B. Nathanson (2010) [5].     

Embeddings of self-similar ultrametric Cantor sets

We study self-similar ultrametric Cantor sets arising from stationary Bratteli diagrams. We prove that such a Cantor set C is bi-Lipschitz embeddable in R[Hdim(C)]+1, where [Hdim(C)] denotes the integer part of its Hausdorff dimension. We compute this Hausdorff dimension explicitly and show that it is the abscissa of convergence of a zeta-function associated with a natural sequence of refining coverings of C (given by the Bratteli diagram). As a corollary we prove that the transversal of a (primitive) substitution tiling of Rd is bi-Lipschitz embeddable in Rd+1.We also show that C is bi-Hölder embeddable in the real line. The image of C in R turns out to be the ω-spectrum (the limit points of the set of eigenvalues) of a Laplacian on C introduced by Pearson-Bellissard via noncommutative geometry.     

On Khachiyan's algorithm for the computation of minimum-volume enclosing ellipsoids

Given A?{a¹,…,a^m}⊂R^d whose affine hull is R^d, we study the problems of computing an approximate rounding of the convex hull of A and an approximation to the minimum-volume enclosing ellipsoid of A. In the case of centrally symmetric sets, we first establish that Khachiyan's barycentric coordinate descent (BCD) method is exactly the polar of the deepest cut ellipsoid method using two-sided symmetric cuts. This observation gives further insight into the efficient implementation of the BCD method. We then propose a variant algorithm which computes an approximate rounding of the convex hull of A, and which can also be used to compute an approximation to the minimum-volume enclosing ellipsoid of A. Our algorithm is a modification of the algorithm of Kumar and Y?ld?r?m, which combines Khachiyan's BCD method with a simple initialization scheme to achieve a slightly improved polynomial complexity result, and which returns a small “core set.” We establish that our algorithm computes an approximate solution to the dual optimization formulation of the minimum-volume enclosing ellipsoid problem that satisfies a more complete set of approximate optimality conditions than either of the two previous algorithms. Furthermore, this added benefit is achieved without any increase in the improved asymptotic complexity bound of the algorithm of Kumar and Y?ld?r?m or any increase in the bound on the size of the computed core set. In addition, the “dropping idea” used in our algorithm has the potential of computing smaller core sets in practice. We also discuss several possible variants of this dropping technique.     

Energy of unitary Cayley graphs and gcd-graphs

This work is based on ideas of Ili? [A. Ili?, The energy of unitary Cayley graphs, Linear Algebra Appl. 431 (2009) 1881-1889] on the energy of unitary Cayley graph. For a finite commutative ring R with unity , the unitary Cayley graph of R is the Cayley graph whose vertex set is R and the edge set is {{a,b}:a,b∈Randa-b∈R^×}, where R^× is the group of units of R. We study the eigenvalues of the unitary Cayley graph of a finite commutative ring and some gcd-graphs and compute their energy. Moreover, we obtain the energy for the complement of unitary Cayley graphs.     

Isotone functions,dual cones,and networks

If the collection of all real-valued functions defined on a finite partially ordered set S of n elements is identified in the natural way with Rⁿ, it is obvious that the subset of functions that are isotone or order preserving with respect to the given partial order constitutes a closed, convex, polyhedral cone K in Rⁿ. The dual cone K^* of K is the set of all linear functionals that are nonpositive of K. This article identifies the important geometric properties of K, and characterizes a nonredundant set of defining equations and inequalities for K^* in terms of a special class of partitions of S into upper and lower sets. These defining constraints immediately imply a set of extreme rays spanning K and K^*. One of the characterizations of K^* involves feasibility conditions on flows in a network. These conditions are also used as a tool in analysis.     

An elementary proof that rationally isometric quadratic forms are isometric

Let R be a valuation ring with fraction field K and 2 ∈ R ^×. We give an elementary proof of the following known result: two unimodular quadratic forms over R are isometric over K if and only if they are isometric over R. Our proof does not use cancelation of quadratic forms and yields an explicit algorithm to construct an isometry over R from a given isometry over K. The statement actually holds for hermitian forms over valuated involutary division rings, provided mild assumptions.     

Bases and closures under infinite sums

Motivated by work of Diestel and Kühn on the cycle spaces of infinite graphs we study the ramifications of allowing infinite sums in a module R^M. We show that every generating set in this setup contains a basis if the ground set M is countable, but not necessarily otherwise. Given a family N⊆R^M, we determine when the infinite-sum span N of N is closed under infinite sums, i.e. when N=N. We prove that this is the case if R is a field or a finite ring and each element of M lies in the support of only finitely many elements of N. This is, in a sense, best possible. We finally relate closures under infinite sums to topological closures in the product space R^M.     

On bodies with directly congruent projections and sections

Let K and L be two convex bodies in R⁴, such that their projections onto all 3-dimensional subspaces are directly congruent. We prove that if the set of diameters of the bodies satisfies an additional condition and some projections do not have certain π-symmetries, then K and L coincide up to translation and an orthogonal transformation. We also show that an analogous statement holds for sections of star bodies, and prove the n-dimensional versions of these results.     

Dirichlet forms and associated heat kernels on the Cantor set induced by random walks on trees

Transient random walk on a tree induces a Dirichlet form on its Martin boundary, which is the Cantor set. The procedure of the inducement is analogous to that of the Douglas integral on S¹ associated with the Brownian motion on the unit disk. In this paper, those Dirichlet forms on the Cantor set induced by random walks on trees are investigated. Explicit expressions of the hitting distribution (harmonic measure) ν and the induced Dirichlet form on the Cantor set are given in terms of the effective resistances. An intrinsic metric on the Cantor set associated with the random walk is constructed. Under the volume doubling property of ν with respect to the intrinsic metric, asymptotic behaviors of the heat kernel, the jump kernel and moments of displacements of the process associated with the induced Dirichlet form are obtained. Furthermore, relation to the noncommutative Riemannian geometry is discussed.     

Degenerate complementary cones induced by aK 0-matrix

In this paper we prove two results concerning the unionC of all the degenerate complementary cones associated with the linear complementarity problem (M, q) whereM is aK ₀-matrix.

1. C is the same as the set of allq ∈R ⁿ for which (M, q) has infinitely many solutions.
2. C is the same as the boundary of the set of allq ∈ R ⁿ for which (M, q) has a solution, an easily observable geometric result for a 2 × 2K ₀-matrix.