Sets characterized by missing sums and differences

A more sums than differences (MSTD) set is a finite subset S of the integers such that |S+S|>|S−S|. We show that the probability that a uniform random subset of {0,1,…,n} is an MSTD set approaches some limit ρ>4.28×¹⁰−4. This improves the previous result of Martin and O?Bryant that there is a lower limit of at least 2×¹⁰−7. Monte Carlo experiments suggest that ρ≈4.5×¹⁰−4. We present a deterministic algorithm that can compute ρ up to arbitrary precision. We also describe the structure of a random MSTD set S⊆{0,1,…,n}. We formalize the intuition that fringe elements are most significant, while middle elements are nearly unrestricted. For instance, the probability that any “middle” element is in S approaches 1/2 as n→∞, confirming a conjecture of Miller, Orosz, and Scheinerman. In general, our results work for any specification on the number of missing sums and the number of missing differences of S, with MSTD sets being a special case.     

On ω-limit sets of ordinary differential equations in Banach spaces

Let X be an infinite-dimensional real Banach space. We classify ω-limit sets of autonomous ordinary differential equations x^′=f(x), x(0)=x₀, where f:X→X is Lipschitz, as being of three types I-III. We denote by SX the class of all sets in X which are ω-limit sets of a solution to (1), for some Lipschitz vector field f and some initial condition x₀∈X. We say that S∈SX is of type I if there exists a Lipschitz function f and a solution x such that S=Ω(x) and . We say that S∈SX is of type II if it has non-empty interior. We say that S∈SX is of type III if it has empty interior and for every solution x (of Eq. (1) where f is Lipschitz) such that S=Ω(x) it holds . Our main results are the following: S is a type I set in SX if and only if S is a closed and separable subset of the topological boundary of an open and connected set U⊂X. Suppose that there exists an open separable and connected set U⊂X such that , then S is a type II set in SX. Every separable Banach space with a Schauder basis contains a type III set. Moreover, in all these results we show that in addition f may be chosen Ck-smooth whenever the underlying Banach space is Ck-smooth.     

On a class of J-self-adjoint operators with empty resolvent set

In the present paper we investigate the set ΣJ of all J-self-adjoint extensions of an operator S which is symmetric in a Hilbert space H with deficiency indices 〈2,2〉 and which commutes with a non-trivial fundamental symmetry J of a Krein space (H,[⋅,⋅]),

SJ=JS.     

Spherical two-distance sets

A set S of unit vectors in n-dimensional Euclidean space is called spherical two-distance set, if there are two numbers a and b so that the inner products of distinct vectors of S are either a or b. It is known that the largest cardinality g(n) of spherical two-distance sets does not exceed n(n+3)/2. This upper bound is known to be tight for n=2,6,22. The set of mid-points of the edges of a regular simplex gives the lower bound L(n)=n(n+1)/2 for g(n).In this paper using the so-called polynomial method it is proved that for nonnegative a+b the largest cardinality of S is not greater than L(n). For the case a+b<0 we propose upper bounds on |S| which are based on Delsarte's method. Using this we show that g(n)=L(n) for 6<n<22, 23<n<40, and g(23)=276 or 277.     

On some properties of Lipschitz mappings of the real line into a normed space

We prove that for each normed space Y of infinite dimension and each porous set E ? ? there exists a Lipschitz mapping f: ? → Y such that the graph of f has a tangent at each of its points and f is not differentiable at any point of E. In this article we continue our research in [1] on contingents.     

Antiproximinal convex bounded sets in the space c0(Γ) equipped with the day norm

We construct a convex smooth antiproximinal set in any infinite-dimensional space c ₀(Γ) equipped with the Day norm; moreover, the distance function to the set is Gâteaux differentiable at each point of the complement.     

Bi-cycle extendable through a given set in balanced bipartite graphs

Let G=(X,Y;E) be a balanced bipartite graph of order 2n. The path-cover numberpc(H) of a graph H is the minimum number of vertex-disjoint paths that use up all the vertices of H. S⊆V(G) is called a balanced set of G if |S∩X|=|S∩Y|. In this paper, we will give some sufficient conditions for a balanced bipartite graph G satisfying that for every balanced set S, there is a bi-cycle of every length from |S|+2pc(〈S〉) up to 2n through S.     

Divisibility properties of power LCM matrices by power GCD matrices on gcd-closed sets

Let e and n be positive integers and S={x₁,…,x_n} a set of n distinct positive integers. For x∈S, define . The n×n matrix whose (i,j)-entry is the eth power (x_i,x_j)^e of the greatest common divisor of x_i and x_j is called the eth power GCD matrix on S, denoted by (S^e). Similarly we can define the eth power LCM matrix [S^e]. Bourque and Ligh showed that (S)∣[S] holds in the ring of n×n matrices over the integers if S is factor closed. Hong showed that for any gcd-closed set S with |S|≤3, (S)∣[S]. Meanwhile Hong proved that there is a gcd-closed set S with max_x∈S{|G_S(x)|}=2 such that (S)?[S]. In this paper, we introduce a new method to study systematically the divisibility for the case max_x∈S{|G_S(x)|}≤2. We give a new proof of Hong’s conjecture and obtain necessary and sufficient conditions on the gcd-closed set S with max_x∈S{|G_S(x)|}=2 such that (S^e)|[S^e]. This partially solves an open question raised by Hong. Furthermore, we show that such factorization holds if S is a gcd-closed set such that each element is a prime power or the product of two distinct primes, and in particular if S is a gcd-closed set with every element less than 12.     

On the geodetic number and related metric sets in Cartesian product graphs

A set S of vertices of a graph G is a geodetic set if every vertex of G lies in at least one interval between the vertices of S. The size of a minimum geodetic set in G is the geodetic number of G. Upper bounds for the geodetic number of Cartesian product graphs are proved and for several classes exact values are obtained. It is proved that many metrically defined sets in Cartesian products have product structure and that the contour set of a Cartesian product is geodetic if and only if their projections are geodetic sets in factors.     

Another universality property for crumpled cubes

Let C denote a crumpled n-cube in the n-sphere Sⁿ such that every Cantor set in its boundary is tamely embedded in Sⁿ. The main theorem shows C to be universal in the sense that however it is sewn to a crumpled n-cube D of type 2A, a large class containing most of the explicitly described examples, the resultant space is homeomorphic to Sⁿ.     

Orthonormal bases and quasi-splitting subspaces in pre-Hilbert spaces

Let S be a pre-Hilbert space. We study quasi-splitting subspaces of S and compare the class of such subspaces, denoted by Eq(S), with that of splitting subspaces E(S). In [D. Buhagiar, E. Chetcuti, Quasi splitting subspaces in a pre-Hilbert space, Math. Nachr. 280 (5-6) (2007) 479-484] it is proved that if S has a non-zero finite codimension in its completion, then Eq(S)≠E(S). In the present paper it is shown that if S has a total orthonormal system, then Eq(S)=E(S) implies completeness of S. In view of this result, it is natural to study the problem of the existence of a total orthonormal system in a pre-Hilbert space. In particular, it is proved that if every algebraic complement of S in its completion is separable, then S has a total orthonormal system.     

Sequences of integers with missing quotients

Let S be any set of natural numbers, and A be a given set of rational numbers. We say that S is an A-quotient-free set if x,y∈S implies y/x∉A. Let and , where the supremum is taken over all A-quotient-free sets S, and are the upper and lower asymptotic densities of S respectively. Let ρ(A)=sup_Sδ(S), where the supremum is taken over all A-quotient-free sets S such that δ(S) exists. In this paper we study the properties of , and ρ(A).     

Holomorphic extensions of Laplacians and their determinants

The Teichmüller space Teich(S) of a surface S in genus g>1 is a totally real submanifold of the quasifuchsian space QF(S). We show that the determinant of the Laplacian det^′(Δ) on Teich(S) has a unique holomorphic extension to QF(S). To realize this holomorphic extension as the determinant of differential operators on S, we introduce a holomorphic family {Δμ,ν} of elliptic second order differential operators on S whose parameter space is the space of pairs of Beltrami differentials on S and which naturally extends the Laplace operators of hyperbolic metrics on S. We study the determinant of this family {Δμ,ν} and show how this family realizes the holomorphic extension of det^′(Δ) as its determinant.     

Homeomorphic measures on stationary Bratteli diagrams

We study the set S of ergodic probability Borel measures on stationary non-simple Bratteli diagrams which are invariant with respect to the tail equivalence relation R. Equivalently, the set S is formed by ergodic probability measures invariant with respect to aperiodic substitution dynamical systems. The paper is devoted to the classification of measures μ from S with respect to a homeomorphism. The properties of the clopen values set S(μ) are studied. It is shown that for every measure μ∈S there exists a subgroup G⊂R such that S(μ)=G∩[0,1]. A criterion of goodness is proved for such measures. Based on this result, the measures from S are classified up to a homeomorphism. We prove that for every good measure μ∈S there exist countably many measures {μi}_i∈N⊂S such that the measures μ and μi are homeomorphic but the tail equivalence relations on the corresponding Bratteli diagrams are not orbit equivalent.     

Independent domination in chordal graphs

A graph chordal if it does not contain any cycle of length greater than three as an induced subgraph. A set of S of vertices of a graph G = (V,E) is independent if not two vertices in S are adjacent, and is dominating if every vertex in V?S is adjacent to some vertex in S. We present a linear algorithm to locate a minimum weight independent dominating set in a chordal graph with 0–1 vertex weights.     

The S-curvature of homogeneous Randers spaces

In this paper, we give an explicit formula of the S-curvature of homogeneous Randers spaces and prove that a homogeneous Randers space with almost isotropic S-curvature must have vanishing S-curvature. As an application, we obtain a classification of homogeneous Randers space with almost isotropic S-curvature in some special cases. Some examples are also given.     

Closure in a Hilbert space of a prehilbert space Chebyshev set

Let E denote the real inner product space that is the union of all finite dimensional Euclidean spaces. There is a bounded nonconvex set S, that is a subset of E, such that each point of E has a unique nearest point in S. Let H denote the separable Hilbert space that is the completion of space E. A condition is given in order that a point in H have a unique nearest point in the closure of S. We shall also provide an example where the condition fails.     

Graph operations that are good for greedoids

S is a local maximum stable set of a graph G, and we write S∈Ψ(G), if the set S is a maximum stable set of the subgraph induced by S∪N(S), where N(S) is the neighborhood of S. In Levit and Mandrescu (2002) [5] we have proved that Ψ(G) is a greedoid for every forest G. The cases of bipartite graphs and triangle-free graphs were analyzed in Levit and Mandrescu (2003) [6] and Levit and Mandrescu (2007) [7] respectively.In this paper we give necessary and sufficient conditions for Ψ(G) to form a greedoid, where G is:

(a)

the disjoint union of a family of graphs;

(b)

the Zykov sum of a family of graphs;

(c)

the corona X°{H₁,H₂,…,H_n} obtained by joining each vertex x of a graph X to all the vertices of a graph H_x.

     

Normality of products of monotonically normal spaces with compact spaces

Let S be the class of all spaces, each of which is homeomorphic to a stationary subset of a regular uncountable cardinal (depending on the space). In this paper, we prove the following result: The product X×C of a monotonically normal space X and a compact space C is normal if and only if S×C is normal for each closed subspace S in X belonging to S. As a corollary, we obtain the following result: If the product of a monotonically normal space and a compact space is orthocompact, then it is normal.     

Global secure sets of grid-like graphs

Let G=(V,E) be a graph and S⊆V. The set S is a secure set if ∀X⊆S,|N[X]∩S|≥|N[X]−S|, and S is a global secure set if S is a secure set and a dominating set. The cardinality of a minimum global secure set of G is the global security number of G, denoted γ_s(G). The sets studied in this paper are different from secure dominating sets studied in Cockayne et al. (2003) [3], Grobler and Mynhardt (2009) [8], or Klostermeyer and Mynhardt (2008) [13], which are also denoted by γ_s.In this paper, we provide results on the global security numbers of paths, cycles and their Cartesian products.