scholarly journals Induced Ramsey-Type Results and Binary Predicates for Point Sets

10.37236/7039 ◽  
2017 ◽  
Vol 24 (4) ◽  
Author(s):  
Martin Balko ◽  
Jan Kynčl ◽  
Stefan Langerman ◽  
Alexander Pilz

Let $k$ and $p$ be positive integers and let $Q$ be a finite point set in general position in the plane. We say that $Q$ is $(k,p)$-Ramsey if there is a finite point set $P$ such that for every $k$-coloring $c$ of $\binom{P}{p}$ there is a subset $Q'$ of $P$ such that $Q'$ and $Q$ have the same order type and $\binom{Q'}{p}$ is monochromatic in $c$. Nešetřil and Valtr proved that for every $k \in \mathbb{N}$, all point sets are $(k,1)$-Ramsey. They also proved that for every $k \ge 2$ and $p \ge 2$, there are point sets that are not $(k,p)$-Ramsey.As our main result, we introduce a new family of $(k,2)$-Ramsey point sets, extending a result of Nešetřil and Valtr. We then use this new result to show that for every $k$ there is a point set $P$ such that no function $\Gamma$ that maps ordered pairs of distinct points from $P$ to a set of size $k$ can satisfy the following "local consistency" property: if $\Gamma$ attains the same values on two ordered triples of points from $P$, then these triples have the same orientation. Intuitively, this implies that there cannot be such a function that is defined locally and determines the orientation of point triples.

1979 ◽  
Vol 101 (1) ◽  
pp. 32-40 ◽  
Author(s):  
Y. L. Sarkisyan ◽  
K. C. Gupta ◽  
B. Roth

In the first part of this paper we consider the problem of determining circles which best approximate a given set of points. The approximation is one which minimizes the maximum radial deviation of the points from the approximating circle. Then a similar procedure is developed for determining straight lines which best approximate a given point set. The final parts of the paper illustrate the application of these results to synthesizing planar linkages.


2018 ◽  
Vol 13 (1) ◽  
pp. 65-86 ◽  
Author(s):  
Mario Neumüller ◽  
Friedrich Pillichshammer

Abstract The star discrepancy $D_N^* \left( {\cal P} \right)$ is a quantitative measure for the irregularity of distribution of a finite point set 𝒫 in the multi-dimensional unit cube which is intimately related to the integration error of quasi-Monte Carlo algorithms. It is known that for every integer N ≥ 2 there are point sets 𝒫 in [0, 1)d with |𝒫| = N and $D_N^* \left( {\cal P} \right) = O\left( {\left( {\log \,N} \right)^{d - 1} /N} \right)$ . However, for small N compared to the dimension d this asymptotically excellent bound is useless (e.g., for N ≤ ed−1). In 2001 it has been shown by Heinrich, Novak, Wasilkowski and Woźniakowski that for every integer N ≥ 2there exist point sets 𝒫 in [0, 1)d with |𝒫| = N and $D_N^* \left( {\cal P} \right) \le C\sqrt {d/N}$ . Although not optimal in an asymptotic sense in N, this upper bound has a much better (and even optimal) dependence on the dimension d. Unfortunately the result by Heinrich et al. and also later variants thereof by other authors are pure existence results and until now no explicit construction of point sets with the above properties is known. Quite recently Löbbe studied lacunary subsequences of Kronecker’s (nα)-sequence and showed a metrical discrepancy bound of the form $C\sqrt {d\left({\log \,d} \right)/N}$ with implied absolute constant C> 0 independent of N and d. In this paper we show a corresponding result for digital Kronecker sequences, which are a non-archimedean analog of classical Kronecker sequences.


2003 ◽  
Vol 40 (3) ◽  
pp. 269-286 ◽  
Author(s):  
H. Nyklová

In this paper we study a problem related to the classical Erdos--Szekeres Theorem on finding points in convex position in planar point sets. We study for which n and k there exists a number h(n,k) such that in every planar point set X of size h(n,k) or larger, no three points on a line, we can find n points forming a vertex set of a convex n-gon with at most k points of X in its interior. Recall that h(n,0) does not exist for n = 7 by a result of Horton. In this paper we prove the following results. First, using Horton's construction with no empty 7-gon we obtain that h(n,k) does not exist for k = 2(n+6)/4-n-3. Then we give some exact results for convex hexagons: every point set containing a convex hexagon contains a convex hexagon with at most seven points inside it, and any such set of at least 19 points contains a convex hexagon with at most five points inside it.


2020 ◽  
Vol 21 (1) ◽  
pp. 87 ◽  
Author(s):  
Laurence Boxer ◽  
P. Christopher Staecker

<p>In this paper, we examine some properties of the fixed point set of a digitally continuous function. The digital setting requires new methods that are not analogous to those of classical topological fixed point theory, and we obtain results that often differ greatly from standard results in classical topology.</p><p>We introduce several measures related to fixed points for continuous self-maps on digital images, and study their properties. Perhaps the most important of these is the fixed point spectrum F(X) of a digital image: that is, the set of all numbers that can appear as the number of fixed points for some continuous self-map. We give a complete computation of F(C<sub>n</sub>) where C<sub>n</sub> is the digital cycle of n points. For other digital images, we show that, if X has at least 4 points, then F(X) always contains the numbers 0, 1, 2, 3, and the cardinality of X. We give several examples, including C<sub>n</sub>, in which F(X) does not equal {0, 1, . . . , #X}.</p><p>We examine how fixed point sets are affected by rigidity, retraction, deformation retraction, and the formation of wedges and Cartesian products. We also study how fixed point sets in digital images can be arranged; e.g., for some digital images the fixed point set is always connected.</p>


1985 ◽  
Vol 27 ◽  
pp. 5-10
Author(s):  
S. A. Burr ◽  
P. Erdös

Let A be a sequence of positive integers. Define P(A) to be the set of all integers representable as a sum of distinct terms of A. Note that if A contains a repeated value, we are free to use it as many times as it occurs in A. We call A complete if every sufficiently large positive integer is in P(A), and entirely complete if every positive integer is in P(A). Completeness properties have received considerable, if somewhat sporadic, attention over the years. See Chapter 6 of [3] for a survey.


Sign in / Sign up

Export Citation Format

Share Document