Showing 1–49 of 49 results for author: Swanepoel, K J

The number of small-degree vertices in matchstick graphs

Authors: Jérémy Lavollée, Konrad J. Swanepoel

Abstract: A matchstick graph is a crossing-free unit-distance graph in the plane. Harborth (1981) proposed the problem of determining whether there exists a matchstick graph in which every vertex has degree exactly $5$. In 1982, Blokhuis gave a proof of non-existence. A shorter proof was found by Kurz and Pinchasi (2011) using a charging method. We combine their method with the isoperimetric inequality to s… ▽ More A matchstick graph is a crossing-free unit-distance graph in the plane. Harborth (1981) proposed the problem of determining whether there exists a matchstick graph in which every vertex has degree exactly $5$. In 1982, Blokhuis gave a proof of non-existence. A shorter proof was found by Kurz and Pinchasi (2011) using a charging method. We combine their method with the isoperimetric inequality to show that there are $Ω(\sqrt{n})$ vertices in a matchstick graph on $n$ vertices that are of degree at most $4$, which is asymptotically tight. △ Less

Submitted 1 November, 2022; v1 submitted 8 June, 2022; originally announced June 2022.

MSC Class: 52C10 (Primary) 05C10 (Secondary)

Contacts in totally separable packings in the plane and in high dimensions

Authors: Márton Naszódi, Konrad J. Swanepoel

Abstract: We study the contact structure of totally separable} packings of translates of a convex body $K$ in $\mathbb{R}^d$, that is, packings where any two touching bodies have a separating hyperplane that does not intersect the interior of any translate in the packing. The separable Hadwiger number $H_{\text{sep}}(K)$ of $K$ is defined to be the maximum number of translates touched by a single translate,… ▽ More We study the contact structure of totally separable} packings of translates of a convex body $K$ in $\mathbb{R}^d$, that is, packings where any two touching bodies have a separating hyperplane that does not intersect the interior of any translate in the packing. The separable Hadwiger number $H_{\text{sep}}(K)$ of $K$ is defined to be the maximum number of translates touched by a single translate, with the maximum taken over all totally separable packings of translates of $K$. We show that for each $d\geq 8$, there exists a smooth and strictly convex $K$ in $\mathbb{R}^d$ with $H_{\text{sep}}(K)>2d$, and asymptotically, $H_{\text{sep}}(K)=Ω\bigl((3/\sqrt{8})^d\bigr)$. We show that Alon's packing of Euclidean unit balls such that each translate touches at least $2^{\sqrt{d}}$ others whenever $d$ is a power of $4$, can be adapted to give a totally separable packing of translates of the $\ell_1$-unit ball with the same touching property. We also consider the maximum number of touching pairs in a totally separable packing of $n$ translates of any planar convex body $K$. We prove that the maximum equals $\lfloor 2n-2\sqrt{n}\rfloor$ if and only if $K$ is a quasi hexagon, thus completing the determination of this value for all planar convex bodies. △ Less

Submitted 31 January, 2022; v1 submitted 28 January, 2022; originally announced January 2022.

Comments: 12 pages, 5 figures. Pdf generation issue fixed, no change to first version

Journal ref: Journal of Computational Geometry 13 (2022), 471--483

Bounding the number of edges of matchstick graphs

Authors: Jérémy Lavollée, Konrad J. Swanepoel

Abstract: We show that a matchstick graph with $n$ vertices has no more than $3n-c\sqrt{n-1/4}$ edges, where $c=\frac12(\sqrt{12} + \sqrt{2π\sqrt{3}})$. The main tools in the proof are the Euler formula, the isoperimetric inequality, and an upper bound for the number of edges in terms of $n$ and the number of non-triangular faces. We also find a sharp upper bound for the number of triangular faces in a matc… ▽ More We show that a matchstick graph with $n$ vertices has no more than $3n-c\sqrt{n-1/4}$ edges, where $c=\frac12(\sqrt{12} + \sqrt{2π\sqrt{3}})$. The main tools in the proof are the Euler formula, the isoperimetric inequality, and an upper bound for the number of edges in terms of $n$ and the number of non-triangular faces. We also find a sharp upper bound for the number of triangular faces in a matchstick graph. △ Less

Submitted 17 August, 2021; originally announced August 2021.

Comments: 9 pages, 3 figures

MSC Class: 52C10 (Primary); 05C10 (Secondary)

Outer linear measure of connected sets via Steiner trees

Authors: Konrad J. Swanepoel

Abstract: We resurrect an old definition of the linear measure of a metric continuum in terms of Steiner trees, independently due to Menger (1930) and Choquet (1938). We generalise it to any metric space and provide a proof of a little-known theorem of Choquet that it coincides with the outer linear measure for any connected metric space. As corollaries we obtain simple proofs of Gołąb's theorem (1928) on t… ▽ More We resurrect an old definition of the linear measure of a metric continuum in terms of Steiner trees, independently due to Menger (1930) and Choquet (1938). We generalise it to any metric space and provide a proof of a little-known theorem of Choquet that it coincides with the outer linear measure for any connected metric space. As corollaries we obtain simple proofs of Gołąb's theorem (1928) on the lower semicontinuity of linear measure of continua and a theorem of Bognár (1989) on the linear measure of the closure of a set. We do not use any measure theory apart from the definition of outer linear measure. △ Less

Submitted 6 August, 2019; originally announced August 2019.

Comments: 21 pages, 7 figures

MSC Class: 28A75

Favourite distances in 3-space

Authors: Konrad J. Swanepoel

Abstract: Let $S$ be a set of $n$ points in Euclidean $3$-space. Assign to each $x\in S$ a distance $r(x)>0$, and let $e_r(x,S)$ denote the number of points in $S$ at distance $r(x)$ from $x$. Avis, Erdős and Pach (1988) introduced the extremal quantity $f_3(n)=\max\sum_{x\in S}e_r(x,S)$, where the maximum is taken over all $n$-point subsets $S$ of 3-space and all assignments $r\colon S\to(0,\infty)$ of dis… ▽ More Let $S$ be a set of $n$ points in Euclidean $3$-space. Assign to each $x\in S$ a distance $r(x)>0$, and let $e_r(x,S)$ denote the number of points in $S$ at distance $r(x)$ from $x$. Avis, Erdős and Pach (1988) introduced the extremal quantity $f_3(n)=\max\sum_{x\in S}e_r(x,S)$, where the maximum is taken over all $n$-point subsets $S$ of 3-space and all assignments $r\colon S\to(0,\infty)$ of distances. We show that if the pair $(S,r)$ maximises $f_3(n)$ and $n$ is sufficiently large, then, except for at most $2$ points, $S$ is contained in a circle $\mathcal{C}$ and the axis of symmetry $\mathcal{L}$ of $\mathcal{C}$, and $r(x)$ equals the distance from $x$ to $C$ for each $x\in S\cap\mathcal{L}$. This, together with a new construction, implies that $f_3(n)=n^2/4 + 5n/2 + O(1)$. △ Less

Submitted 19 July, 2019; originally announced July 2019.

Comments: 10 pages, 4 figures

MSC Class: 52C10

Shortest directed networks in the plane

Authors: Alastair Maxwell, Konrad J. Swanepoel

Abstract: Given a set of sources and a set of sinks as points in the Euclidean plane, a directed network is a directed graph drawn in the plane with a directed path from each source to each sink. Such a network may contain nodes other than the given sources and sinks, called Steiner points. We characterize the local structure of the Steiner points in all shortest-length directed networks in the Euclidean pl… ▽ More Given a set of sources and a set of sinks as points in the Euclidean plane, a directed network is a directed graph drawn in the plane with a directed path from each source to each sink. Such a network may contain nodes other than the given sources and sinks, called Steiner points. We characterize the local structure of the Steiner points in all shortest-length directed networks in the Euclidean plane. This characterization implies that these networks are constructible by straightedge and compass. Our results build on unpublished work of Alfaro, Campbell, Sher, and Soto from 1989 and 1990. Part of the proof is based on a new method that uses other norms in the plane. This approach gives more conceptual proofs of some of their results, and as a consequence, we also obtain results on shortest directed networks for these norms. △ Less

Submitted 18 May, 2020; v1 submitted 17 March, 2019; originally announced March 2019.

Comments: 21 pages, 14 figures. To appear in Graphs and Combinatorics

MSC Class: 05C20; 49Q10; 52A40; 90B10

Embedding graphs in Euclidean space

Authors: Nóra Frankl, Andrey Kupavskii, Konrad J. Swanepoel

Abstract: The dimension of a graph $G$ is the smallest $d$ for which its vertices can be embedded in $d$-dimensional Euclidean space in the sense that the distances between endpoints of edges equal $1$ (but there may be other unit distances). Answering a question of Erdős and Simonovits [Ars Combin. 9 (1980) 229--246], we show that any graph with less than $\binom{d+2}{2}$ edges has dimension at most $d$. I… ▽ More The dimension of a graph $G$ is the smallest $d$ for which its vertices can be embedded in $d$-dimensional Euclidean space in the sense that the distances between endpoints of edges equal $1$ (but there may be other unit distances). Answering a question of Erdős and Simonovits [Ars Combin. 9 (1980) 229--246], we show that any graph with less than $\binom{d+2}{2}$ edges has dimension at most $d$. Improving their result, we prove that that the dimension of a graph with maximum degree $d$ is at most $d$. We show the following Ramsey result: if each edge of the complete graph on $2d$ vertices is coloured red or blue, then either the red graph or the blue graph can be embedded in Euclidean $d$-space. We also derive analogous results for embeddings of graphs into the $(d-1)$-dimensional sphere of radius $1/\sqrt{2}$. △ Less

Submitted 12 February, 2018; v1 submitted 8 February, 2018; originally announced February 2018.

Comments: 11 pages

MSC Class: 52C10

Journal ref: Journal of Combinatorial Theory, Ser. A, 171 (2020), article 105146

Bounding the size of an almost-equidistant set in Euclidean space

Authors: Andrey Kupavskii, Nabil H. Mustafa, Konrad J. Swanepoel

Abstract: A set of points in d-dimensional Euclidean space is almost equidistant if among any three points of the set, some two are at distance 1. We show that an almost-equidistant set in $\mathbb{R}^d$ has cardinality $O(d^{4/3})$. A set of points in d-dimensional Euclidean space is almost equidistant if among any three points of the set, some two are at distance 1. We show that an almost-equidistant set in $\mathbb{R}^d$ has cardinality $O(d^{4/3})$. △ Less

Submitted 4 August, 2017; originally announced August 2017.

Comments: 6 pages

MSC Class: 52C10

Journal ref: Combinator. Probab. Comp. 28 (2019) 280-286

Arrangements of homothets of a convex body II

Authors: Márton Naszódi, Konrad J. Swanepoel

Abstract: A family of homothets of an o-symmetric convex body K in d-dimensional Euclidean space is called a Minkowski arrangement if no homothet contains the center of any other homothet in its interior. We show that any pairwise intersecting Minkowski arrangement of a d-dimensional convex body has at most $2\cdot 3^d$ members. This improves a result of Polyanskii (arXiv:1610.04400). Using similar ideas, w… ▽ More A family of homothets of an o-symmetric convex body K in d-dimensional Euclidean space is called a Minkowski arrangement if no homothet contains the center of any other homothet in its interior. We show that any pairwise intersecting Minkowski arrangement of a d-dimensional convex body has at most $2\cdot 3^d$ members. This improves a result of Polyanskii (arXiv:1610.04400). Using similar ideas, we also give a proof the following result of Polyanskii: Let $K_1,\dots,K_n$ be a sequence of homothets of the o-symmetric convex body $K$, such that for any $i<j$, the center of $K_j$ lies on the boundary of $K_i$. Then $n\leq O(3^d d)$. △ Less

Submitted 25 May, 2017; originally announced May 2017.

Comments: 9 pages

MSC Class: 52A37

Journal ref: Contributions to Discrete Mathematics 13 (2018), 116--123

Combinatorial distance geometry in normed spaces

Authors: Konrad J. Swanepoel

Abstract: We survey problems and results from combinatorial geometry in normed spaces, concentrating on problems that involve distances. These include various properties of unit-distance graphs, minimum-distance graphs, diameter graphs, as well as minimum spanning trees and Steiner minimum trees. In particular, we discuss translative kissing (or Hadwiger) numbers, equilateral sets, and the Borsuk problem in… ▽ More We survey problems and results from combinatorial geometry in normed spaces, concentrating on problems that involve distances. These include various properties of unit-distance graphs, minimum-distance graphs, diameter graphs, as well as minimum spanning trees and Steiner minimum trees. In particular, we discuss translative kissing (or Hadwiger) numbers, equilateral sets, and the Borsuk problem in normed spaces. We show how to use the angular measure of Peter Brass to prove various statements about Hadwiger and blocking numbers of convex bodies in the plane, including some new results. We also include some new results on thin cones and their application to distinct distances and other combinatorial problems for normed spaces. △ Less

Submitted 3 May, 2017; v1 submitted 31 January, 2017; originally announced February 2017.

Comments: 43 pages, 4 figures, New Trends in Intuitive Geometry, Springer, to appear

MSC Class: 52C10 (primary); 46B20; 52A20; 52A21 (secondary)

Journal ref: New Trends in Intuitive Geometry, Bolyai Soc. Math. Studies 27, Springer, 2018. pp.407--458

Approximate Euclidean Steiner Trees

Authors: Charl Ras, Konrad J. Swanepoel, Doreen Thomas

Abstract: An approximate Steiner tree is a Steiner tree on a given set of terminals in Euclidean space such that the angles at the Steiner points are within a specified error e from 120 degrees.This notion arises in numerical approximations of minimum Steiner trees (W. D. Smith, Algorithmica, 7 (1992), 137--177). We investigate the worst-case relative error of the length of an approximate Steiner tree compa… ▽ More An approximate Steiner tree is a Steiner tree on a given set of terminals in Euclidean space such that the angles at the Steiner points are within a specified error e from 120 degrees.This notion arises in numerical approximations of minimum Steiner trees (W. D. Smith, Algorithmica, 7 (1992), 137--177). We investigate the worst-case relative error of the length of an approximate Steiner tree compared to the shortest tree with the same topology.Rubinstein, Weng and Wormald (J. Global Optim. 35 (2006), 573--592) conjectured that this relative error is at most linear in $e$, independent of the number of terminals. We verify their conjecture for the two-dimensional case as long as the error $e$ is sufficiently small in terms of the number of terminals. We derive a lower bound linear in $e$ for the relative error in the two-dimensional case when $e$ is sufficiently small in terms of the number of terminals. We find improved estimates of the relative error for larger values of $e$, and calculate exact values in the plane for three and four terminals. △ Less

Submitted 14 November, 2016; v1 submitted 4 May, 2016; originally announced May 2016.

Comments: 24 pages, 9 figures

MSC Class: 90C35 (Primary); 05C05; 90B10 (Secondary)

Journal ref: Journal of Optimization Theory and Applications 172 (2017), 845--873

Double-normal pairs in the plane and on the sphere

Authors: János Pach, Konrad J. Swanepoel

Abstract: A double-normal pair of a finite set $S$ of points from Euclidean space is a pair of points $\{p,q\}$ from $S$ such that $S$ lies in the closed strip bounded by the hyperplanes through $p$ and $q$ that are perpendicular to $pq$. A double-normal pair $pq$ is strict if $S\setminus\{p,q\}$ lies in the open strip. We answer a question of Martini and Soltan (2006) by showing that a set of $n\geq 3$ poi… ▽ More A double-normal pair of a finite set $S$ of points from Euclidean space is a pair of points $\{p,q\}$ from $S$ such that $S$ lies in the closed strip bounded by the hyperplanes through $p$ and $q$ that are perpendicular to $pq$. A double-normal pair $pq$ is strict if $S\setminus\{p,q\}$ lies in the open strip. We answer a question of Martini and Soltan (2006) by showing that a set of $n\geq 3$ points in the plane has at most $3\lfloor n/2\rfloor$ double-normal pairs. This bound is sharp for each $n\geq 3$. In a companion paper, we have asymptotically determined this maximum for points in $R^3$. Here we show that if the set lies on some 2-sphere, it has at most $17n/4 - 6$ double-normal pairs. This bound is attained for infinitely many values of $n$. We also establish tight bounds for the maximum number of strict double-normal pairs in a set of $n$ points in the plane and on the sphere. △ Less

Submitted 9 April, 2014; originally announced April 2014.

Comments: 19 pages, 10 figures

MSC Class: 52C10

Journal ref: Beiträge zur Algebra und Geometrie 56 (2015), 423--438

Equilateral sets and a Schütte Theorem for the 4-norm

Authors: Konrad J. Swanepoel

Abstract: A well-known theorem of Schütte (1963) gives a sharp lower bound for the ratio between the maximum distance and minimum distance between n+2 points in n-dimensional Euclidean space. In this brief note we adapt Bárány's elegant proof of this theorem to the space $\ell_4^n$. This gives a new proof that the largest cardinality of an equilateral set in $\ell_4^n$ is n+1, and gives a constructive bound… ▽ More A well-known theorem of Schütte (1963) gives a sharp lower bound for the ratio between the maximum distance and minimum distance between n+2 points in n-dimensional Euclidean space. In this brief note we adapt Bárány's elegant proof of this theorem to the space $\ell_4^n$. This gives a new proof that the largest cardinality of an equilateral set in $\ell_4^n$ is n+1, and gives a constructive bound for an interval $(4-ε_n,4+ε_n)$ of values of p close to 4 for which it is guaranteed that the largest cardinality of an equilateral set in $\ell_p^n$ is n+1. △ Less

Submitted 10 November, 2014; v1 submitted 25 April, 2013; originally announced April 2013.

Comments: 7 pages. Some technical details added

MSC Class: Primary 46B20; Secondary 52A21; 52C17

Journal ref: Can. Math. Bull. 57 (2014) 640-647

Sets of unit vectors with small subset sums

Authors: Konrad J. Swanepoel

Abstract: We say that a family ${x_i|i\in[m]}$ of vectors in a Banach space $X$ satisfies the $k$-collapsing condition if $|\sum_{i\in I}x_i|\leq 1$ for all $k$-element subsets $I\subseteq{1,2,...,m}$. Let $C(k,d)$ denote the maximum cardinality of a $k$-collapsing family of unit vectors in a $d$\dimensional Banach space, where the maximum is taken over all spaces of dimension $d$. Similarly, let $CB(k,d)$… ▽ More We say that a family ${x_i|i\in[m]}$ of vectors in a Banach space $X$ satisfies the $k$-collapsing condition if $|\sum_{i\in I}x_i|\leq 1$ for all $k$-element subsets $I\subseteq{1,2,...,m}$. Let $C(k,d)$ denote the maximum cardinality of a $k$-collapsing family of unit vectors in a $d$\dimensional Banach space, where the maximum is taken over all spaces of dimension $d$. Similarly, let $CB(k,d)$ denote the maximum cardinality if we require in addition that $\sum_{i=1}^m x_i=o$. The case $k=2$ was considered by Füredi, Lagarias and Morgan (1991). These conditions originate in a theorem of Lawlor and Morgan (1994) on geometric shortest networks in smooth finite-dimensional Banach spaces. We show that $CB(k,d)=\max{k+1,2d}$ for all $k,d\geq 2$. The behaviour of $C(k,d)$ is not as simple, and we derive various upper and lower bounds for various ranges of $k$ and $d$. These include the exact values $C(k,d)=\max{k+1,2d}$ in certain cases. We use a variety of tools from graph theory, convexity and linear algebra in the proofs: in particular the Hajnal-Szemerédi Theorem, the Brunn-Minkowski inequality, and lower bounds for the rank of a perturbation of the identity matrix. △ Less

Submitted 9 February, 2014; v1 submitted 1 October, 2012; originally announced October 2012.

Comments: 41 pages

MSC Class: 52A37 (Primary) 05C15; 15A03; 15A45; 46B20; 49Q10; 52A21; 52A40; 52A41 (Secondary)

Journal ref: Transactions of the American Mathematical Society 368 (2016), 7153--7188

Generalised k-Steiner Tree Problems in Normed Planes

Authors: Marcus N. Brazil, Charl J. Ras, Konrad J. Swanepoel, Doreen A. Thomas

Abstract: The 1-Steiner tree problem, the problem of constructing a Steiner minimum tree containing at most one Steiner point, has been solved in the Euclidean plane by Georgakopoulos and Papadimitriou using plane subdivisions called oriented Dirichlet cell partitions. Their algorithm produces an optimal solution within $O(n^2)$ time. In this paper we generalise their approach in order to solve the $k$-Stei… ▽ More The 1-Steiner tree problem, the problem of constructing a Steiner minimum tree containing at most one Steiner point, has been solved in the Euclidean plane by Georgakopoulos and Papadimitriou using plane subdivisions called oriented Dirichlet cell partitions. Their algorithm produces an optimal solution within $O(n^2)$ time. In this paper we generalise their approach in order to solve the $k$-Steiner tree problem, in which the Steiner minimum tree may contain up to $k$ Steiner points for a given constant $k$. We also extend their approach further to encompass other normed planes, and to solve a much wider class of problems, including the $k$-bottleneck Steiner tree problem and other generalised $k$-Steiner tree problems. We show that, for any fixed $k$, such problems can be solved in $O(n^{2k})$ time. △ Less

Submitted 22 June, 2013; v1 submitted 6 November, 2011; originally announced November 2011.

Journal ref: Algorithmica: Volume 71, Issue 1 (2015), Page 66-86

Maximal equilateral sets

Authors: Konrad J. Swanepoel, Rafael Villa

Abstract: A subset of a normed space $X$ is called equilateral if the distance between any two points is the same. Let $m(X)$ be the smallest possible size of an equilateral subset of $X$ maximal with respect to inclusion. We first observe that Petty's construction of a $d$-dimensional $X$ of any finite dimension $d\geq 4$ with $m(X)=4$ can be generalised to give $m(X\oplus_1\mathbb{R})=4$ for any $X$ of di… ▽ More A subset of a normed space $X$ is called equilateral if the distance between any two points is the same. Let $m(X)$ be the smallest possible size of an equilateral subset of $X$ maximal with respect to inclusion. We first observe that Petty's construction of a $d$-dimensional $X$ of any finite dimension $d\geq 4$ with $m(X)=4$ can be generalised to give $m(X\oplus_1\mathbb{R})=4$ for any $X$ of dimension at least 2 which has a smooth point on its unit sphere. By a construction involving Hadamard matrices we then show that for any set $Γ$, $m(\ell_p(Γ))$ is finite and bounded above by a function of $p$, for all $1\leq p<2$. Also, for all $p\in[1,\infty)$ and $d\in\mathbb{N}$ there exists $c=c(p,d)>1$ such that $m(X)\leq d+1$ for all $d$-dimensional $X$ with Banach-Mazur distance less than $c$ from $\ell_p^d$. Using Brouwer's fixed-point theorem we show that $m(X)\leq d+1$ for all $d$-dimensional $X$ with Banach-Mazur distance less than 3/2 from $\ell_\infty^d$. A graph-theoretical argument furthermore shows that $m(\ell_\infty^d)=d+1$. The above results lead us to conjecture that $m(X)\leq 1+\dim X$ for all finite-dimensional normed spaces $X$. △ Less

Submitted 16 September, 2013; v1 submitted 23 September, 2011; originally announced September 2011.

Comments: 15 pages. This version incorporates some suggestions from a referee obtained after galley proofs. Equations (18) and (23) are corrected

MSC Class: 46B20 (Primary) 46B85; 52A21; 52C17 (Secondary)

Journal ref: Discrete & Computational Geometry 50 (2013), 354-373

Absorbing angles, Steiner minimal trees, and antipodality

Authors: Horst Martini, Konrad J. Swanepoel, P. Oloff de Wet

Abstract: We give a new proof that a star $\{op_i:i=1,...,k\}$ in a normed plane is a Steiner minimal tree of its vertices $\{o,p_1,...,p_k\}$ if and only if all angles formed by the edges at o are absorbing [Swanepoel, Networks \textbf{36} (2000), 104--113]. The proof is more conceptual and simpler than the original one. We also find a new sufficient condition for higher-dimensional normed spaces to shar… ▽ More We give a new proof that a star $\{op_i:i=1,...,k\}$ in a normed plane is a Steiner minimal tree of its vertices $\{o,p_1,...,p_k\}$ if and only if all angles formed by the edges at o are absorbing [Swanepoel, Networks \textbf{36} (2000), 104--113]. The proof is more conceptual and simpler than the original one. We also find a new sufficient condition for higher-dimensional normed spaces to share this characterization. In particular, a star $\{op_i: i=1,...,k\}$ in any CL-space is a Steiner minimal tree of its vertices $\{o,p_1,...,p_k\}$ if and only if all angles are absorbing, which in turn holds if and only if all distances between the normalizations $\frac{1}{\|p_i\|}p_i$ equal 2. CL-spaces include the mixed $\ell_1$ and $\ell_\infty$ sum of finitely many copies of $R^1$. △ Less

Submitted 25 August, 2011; originally announced August 2011.

Comments: 7 pages, 4 figures. An old paper already published in 2009. This is a preprint version

MSC Class: 46B20 (Primary). 05C05; 49Q10; 52A21 (Secondary)

Journal ref: Journal of Optimization Theory and Applications, 143 (2009), 149--157

Favourite distances in high dimensions

Authors: Konrad J. Swanepoel

Abstract: Let $S$ be a set of $n$ points in $d$-dimensional Euclidean space. Assign to each $x\in S$ an arbitrary distance $r(x)>0$. Let $e_r(x,S)$ denote the number of points in $S$ at distance $r(x)$ from $x$. Avis, Erdös and Pach (1988) introduced the extremal quantity $f_d(n)=\max\sum_{x\in S}e_r(x,S)$, where the maximum is taken over all $n$-point sets $S$ in $d$-dimensional space and all assignments… ▽ More Let $S$ be a set of $n$ points in $d$-dimensional Euclidean space. Assign to each $x\in S$ an arbitrary distance $r(x)>0$. Let $e_r(x,S)$ denote the number of points in $S$ at distance $r(x)$ from $x$. Avis, Erdös and Pach (1988) introduced the extremal quantity $f_d(n)=\max\sum_{x\in S}e_r(x,S)$, where the maximum is taken over all $n$-point sets $S$ in $d$-dimensional space and all assignments $r\colon S\to(0,\infty)$ of distances. We give a quick derivation of the asymptotics of the error term of $f_d(n)$ using only the analogous asymptotics of the maximum number of unit distance pairs in a set of $n$ points, which improves on previous results of Avis, Erdös and Pach (1988) and Erdös and Pach (1990). Then we prove a stability result for $d\geq 4$, asserting that if $(S,r)$ with $|S|=n$ satisfies $e_r(S)=f_d(n)-o(n^2)$, then, up to $o(n)$ points, $S$ is a Lenz construction with $r$ constant. Finally we use stability to show that for $n$ sufficiently large (depending on $d$) the pairs $(S,r)$ that attain $f_d(n)$ are up to scaling exactly the Lenz constructions that maximise the number of unit distance pairs with $r\equiv 1$, with some exceptions in dimension 4. Analogous results hold for the furthest neighbour digraph, where $r$ is fixed to be $r(x)=\max_{y\in S} |xy|$ for $x\in S$. △ Less

Submitted 24 August, 2011; originally announced August 2011.

Comments: 17 pages

MSC Class: 52C10

Journal ref: In: Thirty Essays in Geometric Graph Theory, ed. J. Pach, Algorithms and Combinatorics 29, Springer 2013. pp. 499--520

Large convexly independent subsets of Minkowski sums

Authors: Konrad J. Swanepoel, Pavel Valtr

Abstract: Let $E_d(n)$ be the maximum number of pairs that can be selected from a set of $n$ points in $R^d$ such that the midpoints of these pairs are convexly independent. We show that $E_2(n)\geq Ω(n\sqrt{\log n})$, which answers a question of Eisenbrand, Pach, Rothvoß, and Sopher (2008) on large convexly independent subsets in Minkowski sums of finite planar sets, as well as a question of Halman, Onn, a… ▽ More Let $E_d(n)$ be the maximum number of pairs that can be selected from a set of $n$ points in $R^d$ such that the midpoints of these pairs are convexly independent. We show that $E_2(n)\geq Ω(n\sqrt{\log n})$, which answers a question of Eisenbrand, Pach, Rothvoß, and Sopher (2008) on large convexly independent subsets in Minkowski sums of finite planar sets, as well as a question of Halman, Onn, and Rothblum (2007). We also show that $\lfloor\frac{1}{3}n^2\rfloor\leq E_3(n)\leq \frac{3}{8}n^2+O(n^{3/2})$. Let $W_d(n)$ be the maximum number of pairwise nonparallel unit distance pairs in a set of $n$ points in some $d$-dimensional strictly convex normed space. We show that $W_2(n)=Θ(E_2(n))$ and for $d\geq 3$ that $W_d(n)\sim\frac12\left(1-\frac{1}{a(d)}\right)n^2$, where $a(d)\in N$ is related to strictly antipodal families. In fact we show that the same asymptotics hold without the requirement that the unit distance pairs form pairwise nonparallel segments, and also if diameter pairs are considered instead of unit distance pairs. △ Less

Submitted 16 July, 2010; originally announced July 2010.

Comments: 7 pages

MSC Class: Primary 52C10. Secondary 52A10

Journal ref: Electronic Journal of Combinatorics 17 (2010), #R146

Sets of unit vectors with small pairwise sums

Authors: Konrad J. Swanepoel

Abstract: We study the sizes of delta-additive sets of unit vectors in a d-dimensional normed space: the sum of any two vectors has norm at most delta. One-additive sets originate in finding upper bounds of vertex degrees of Steiner Minimum Trees in finite dimensional smooth normed spaces (Z. Füredi, J. C. Lagarias, F. Morgan, 1991). We show that the maximum size of a delta-additive set over all normed spac… ▽ More We study the sizes of delta-additive sets of unit vectors in a d-dimensional normed space: the sum of any two vectors has norm at most delta. One-additive sets originate in finding upper bounds of vertex degrees of Steiner Minimum Trees in finite dimensional smooth normed spaces (Z. Füredi, J. C. Lagarias, F. Morgan, 1991). We show that the maximum size of a delta-additive set over all normed spaces of dimension d grows exponentially in d for fixed delta>2/3, stays bounded for delta<2/3, and grows linearly at the threshold delta=2/3. Furthermore, the maximum size of a 2/3-additive set in d-dimensional normed space has the sharp upper bound of d, with the single exception of spaces isometric to three-dimensional l^1 space, where there exists a 2/3-additive set of four unit vectors. △ Less

Submitted 5 June, 2010; originally announced June 2010.

Comments: 6 pages. Old paper of 10 years ago

MSC Class: Primary 46B20. Secondary 52A21; 52B10

Journal ref: Quaestiones Mathematicae 23 (2000) 383-388

Midpoint sets contained in the unit sphere of a normed space

Authors: Konrad J. Swanepoel

Abstract: The midpoint set M(S) of a set S of points is the set of all midpoints of pairs of points in S. We study the largest cardinality of a midpoint set M(S) in a finite-dimensional normed space, such that M(S) is contained in the unit sphere, and S is outside the closed unit ball. We show in three dimensions that this maximum (if it exists) is determined by the facial structure of the unit ball. In hig… ▽ More The midpoint set M(S) of a set S of points is the set of all midpoints of pairs of points in S. We study the largest cardinality of a midpoint set M(S) in a finite-dimensional normed space, such that M(S) is contained in the unit sphere, and S is outside the closed unit ball. We show in three dimensions that this maximum (if it exists) is determined by the facial structure of the unit ball. In higher dimensions no such relationship exists. We also determine the maximum for euclidean and sup norm spaces. △ Less

Submitted 5 June, 2010; originally announced June 2010.

Comments: 11 pages, 5 figures

MSC Class: Primary 52A15; Secondary 52A20

Journal ref: Studia Scientiarum Mathematicarum Hungarica 48 (2011), 180--192

Embedding a Latin square with transversal into a projective space

Authors: Lou M. Pretorius, Konrad J. Swanepoel

Abstract: A Latin square of side n defines in a natural way a finite geometry on 3n points, with three lines of size n and n^2 lines of size 3. A Latin square of side n with a transversal similarly defines a finite geometry on 3n+1 points, with three lines of size n, n^2-n lines of size 3, and n concurrent lines of size 4. A collection of k mutually orthogonal Latin squares defines a geometry on kn points,… ▽ More A Latin square of side n defines in a natural way a finite geometry on 3n points, with three lines of size n and n^2 lines of size 3. A Latin square of side n with a transversal similarly defines a finite geometry on 3n+1 points, with three lines of size n, n^2-n lines of size 3, and n concurrent lines of size 4. A collection of k mutually orthogonal Latin squares defines a geometry on kn points, with k lines of size n and n^2 lines of size k. Extending work of Bruen and Colbourn (J. Combin. Th. Ser. A 92 (2000), 88-94), we characterise embeddings of these finite geometries into projective spaces over skew fields. △ Less

Submitted 25 August, 2011; v1 submitted 19 May, 2010; originally announced May 2010.

Comments: 11 pages. This is the revised final preprint version. Added journal reference and doi

MSC Class: 05B15 (Primary); 51A45 (Secondary)

Journal ref: Journal of Combinatorial Theory, Ser. A 118 (2011), 1674--1683

The Gilbert Arborescence Problem

Authors: M. G. Volz, M. Brazil, C. J. Ras, K. J. Swanepoel, D. A. Thomas

Abstract: We investigate the problem of designing a minimum cost flow network interconnecting n sources and a single sink, each with known locations in a normed space and with associated flow demands. The network may contain any finite number of additional unprescribed nodes from the space; these are known as the Steiner points. For concave increasing cost functions, a minimum cost network of this sort has… ▽ More We investigate the problem of designing a minimum cost flow network interconnecting n sources and a single sink, each with known locations in a normed space and with associated flow demands. The network may contain any finite number of additional unprescribed nodes from the space; these are known as the Steiner points. For concave increasing cost functions, a minimum cost network of this sort has a tree topology, and hence can be called a Minimum Gilbert Arborescence (MGA). We characterise the local topological structure of Steiner points in MGAs, showing, in particular, that for a wide range of metrics, and for some typical real-world cost-functions, the degree of each Steiner point is 3. △ Less

Submitted 4 April, 2012; v1 submitted 23 September, 2009; originally announced September 2009.

Comments: 19 pages, 7 figures. arXiv admin note: text overlap with arXiv:0903.2124

MSC Class: 90B85 (Primary) 49Q10; 52A21; 52A40 (Secondary)

Journal ref: Networks 61 (2013), 238--247

Helly-type Theorems for Hollow Axis-aligned Boxes

Authors: Konrad J. Swanepoel

Abstract: A hollow axis-aligned box is the boundary of the cartesian product of $d$ compact intervals in R^d. We show that for d\geq 3, if any 2^d of a collection of hollow axis-aligned boxes have non-empty intersection, then the whole collection has non-empty intersection; and if any 5 of a collection of hollow axis-aligned rectangles in R^2 have non-empty intersection, then the whole collection has non-… ▽ More A hollow axis-aligned box is the boundary of the cartesian product of $d$ compact intervals in R^d. We show that for d\geq 3, if any 2^d of a collection of hollow axis-aligned boxes have non-empty intersection, then the whole collection has non-empty intersection; and if any 5 of a collection of hollow axis-aligned rectangles in R^2 have non-empty intersection, then the whole collection has non-empty intersection. The values 2^d for d\geq 3 and 5 for d=2 are the best possible in general. We also characterize the collections of hollow boxes which would be counterexamples if 2^d were lowered to 2^d-1, and 5 to 4, respectively. △ Less

Submitted 23 September, 2009; originally announced September 2009.

Comments: 7 pages. Old paper from 1999

MSC Class: 52A35

Journal ref: Proceedings of the American Mathematical Society 127 (1999) 2155-2162

Designing Optimal Flow Networks

Authors: M. G. Volz, M. Brazil, K. J. Swanepoel, D. A. Thomas

Abstract: We investigate the problem of designing a minimum cost flow network interconnecting n sources and a single sink, each with known locations and flows. The network may contain other unprescribed nodes, known as Steiner points. For concave increasing cost functions, a minimum cost network of this sort has a tree topology, and hence can be called a Minimum Gilbert Arborescence (MGA). We characterise… ▽ More We investigate the problem of designing a minimum cost flow network interconnecting n sources and a single sink, each with known locations and flows. The network may contain other unprescribed nodes, known as Steiner points. For concave increasing cost functions, a minimum cost network of this sort has a tree topology, and hence can be called a Minimum Gilbert Arborescence (MGA). We characterise the local topological structure of Steiner points in MGAs for linear cost functions. This problem has applications to the design of drains, gas pipelines and underground mine access. △ Less

Submitted 12 March, 2009; originally announced March 2009.

Comments: 6 pages, 2 columns, 4 figures

MSC Class: 90B85 (Primary); 49Q10; 52A21 (Secondary)

Journal ref: Proceedings of the World Congress on Engineering 2009 Vol II, WCE 2009, 1-3 July 2009, London, U.K. pp. 1235--1240

On the existence of shortest directed networks

Authors: Konrad J Swanepoel

Abstract: A directed network connecting a set A to a set B is a digraph containing an a-b path for each a in A and b in B. Vertices in the directed network not in A or B are called Steiner points. We show that in a finitely compact metric space in which geodesics exist, any two finite sets A and B are connected by a shortest directed network. We also bound the number of Steiner points by a function of the… ▽ More A directed network connecting a set A to a set B is a digraph containing an a-b path for each a in A and b in B. Vertices in the directed network not in A or B are called Steiner points. We show that in a finitely compact metric space in which geodesics exist, any two finite sets A and B are connected by a shortest directed network. We also bound the number of Steiner points by a function of the sizes of A and B. Previously, such an existence result was known only for the Euclidean plane [M. Alfaro, Pacific J. Math. 167 (1995) 201-214]. The main difficulty is that, unlike the undirected case (Steiner minimal trees), the underlying graphs need not be acyclic. Existence in the undirected case was first shown by E. J. Cockayne [Canad. Math. Bull. 10 (1967) 431-450]. △ Less

Submitted 9 October, 2008; originally announced October 2008.

Comments: 6 pages. An old paper from 2000

MSC Class: 05C20; 49Q10

Journal ref: J. Combin. Math. Combin. Comput. 33 (2000), 97--102

Simultaneous packing and covering in sequence spaces

Authors: Konrad J. Swanepoel

Abstract: We adapt a construction of Klee (1981) to find a packing of unit balls in $\ell_p$ ($1\leq p<\infty$) which is efficient in the sense that enlarging the radius of each ball to any $R>2^{1-1/p}$ covers the whole space. We show that the value $2^{1-1/p}$ is optimal. We adapt a construction of Klee (1981) to find a packing of unit balls in $\ell_p$ ($1\leq p<\infty$) which is efficient in the sense that enlarging the radius of each ball to any $R>2^{1-1/p}$ covers the whole space. We show that the value $2^{1-1/p}$ is optimal. △ Less

Submitted 27 June, 2008; originally announced June 2008.

Comments: 5 pages

MSC Class: 46B20 (primary); 52C17 (secondary)

Journal ref: Discrete & Computational Geometry 42 (2009), 335--340

Balancing unit vectors

Authors: Konrad J. Swanepoel

Abstract: Theorem A. Let $x_1,...,x_{2k+1}$ be unit vectors in a normed plane. Then there exist signs $\epsi_1,...,\epsi_{2k+1}\in\{\pm 1\}$ such that $\norm{\sum_{i=1}^{2k+1}\epsi_i x_i}\leq 1$. We use the method of proof of the above theorem to show the following point facility location result, generalizing Proposition 6.4 of Y. S. Kupitz and H. Martini (1997). Theorem B. Let $p_0,p_1,...,p_n$ be di… ▽ More Theorem A. Let $x_1,...,x_{2k+1}$ be unit vectors in a normed plane. Then there exist signs $\epsi_1,...,\epsi_{2k+1}\in\{\pm 1\}$ such that $\norm{\sum_{i=1}^{2k+1}\epsi_i x_i}\leq 1$. We use the method of proof of the above theorem to show the following point facility location result, generalizing Proposition 6.4 of Y. S. Kupitz and H. Martini (1997). Theorem B. Let $p_0,p_1,...,p_n$ be distinct points in a normed plane such that for any $1\leq i<j\leq n$ the closed angle $\angle p_ip_0p_j$ contains a ray opposite some $\overrightarrow{p_0p_k}, 1\leq k\leq n$. Then $p_0$ is a Fermat-Toricelli point of $\{p_0,p_1,...,p_n\}$, i.e. $x=p_0$ minimizes $\sum_{i=0}^n\norm{x-p_i}$. We also prove the following dynamic version of Theorem A. Theorem C. Let $x_1,x_2,...$ be a sequence of unit vectors in a normed plane. Then there exist signs $\epsi_1,\epsi_2,...\in\{\pm 1\}$ such that $\norm{\sum_{i=1}^{2k}\epsi_i x_i}\leq 2$ for all $k\in\N$. Finally we discuss a variation of a two-player balancing game of J. Spencer (1977) related to Theorem C. △ Less

Submitted 4 March, 2008; originally announced March 2008.

Comments: 7 pages

MSC Class: 52A40

Journal ref: Journal of Combinatorial Theory, Series A 89 (2000) 105-112

Vertex degrees of Steiner Minimal Trees in $\ell_p^d$ and other smooth Minkowski spaces

Authors: K. J. Swanepoel

Abstract: We find upper bounds for the degrees of vertices and Steiner points in Steiner Minimal Trees in the d-dimensional Banach spaces \ell_p^d independent of d. This is in contrast to Minimal Spanning Trees, where the maximum degree of vertices grows exponentially in d (Robins and Salowe, 1995). Our upper bounds follow from characterizations of singularities of SMT's due to Lawlor and Morgan (1994), w… ▽ More We find upper bounds for the degrees of vertices and Steiner points in Steiner Minimal Trees in the d-dimensional Banach spaces \ell_p^d independent of d. This is in contrast to Minimal Spanning Trees, where the maximum degree of vertices grows exponentially in d (Robins and Salowe, 1995). Our upper bounds follow from characterizations of singularities of SMT's due to Lawlor and Morgan (1994), which we extend, and certain \ell_p-inequalities. We derive a general upper bound of d+1 for the degree of vertices of an SMT in an arbitrary smooth d-dimensional Banach space; the same upper bound for Steiner points having been found by Lawlor and Morgan. We obtain a second upper bound for the degrees of vertices in terms of 1-summing norms. △ Less

Submitted 4 March, 2008; originally announced March 2008.

Comments: 12 pages

MSC Class: 05C05 (Primary); 49Q10 (Secondary)

Journal ref: Discrete & Computational Geometry 21 (1999) 437-447

Cardinalities of k-distance sets in Minkowski spaces

Authors: Konrad J. Swanepoel

Abstract: A subset of a metric space is a k-distance set if there are exactly k non-zero distances occuring between points. We conjecture that a k-distance set in a d-dimensional Banach space (or Minkowski space), contains at most (k+1)^d points, with equality iff the unit ball is a parallelotope. We solve this conjecture in the affirmative for all 2-dimensional spaces and for spaces where the unit ball i… ▽ More A subset of a metric space is a k-distance set if there are exactly k non-zero distances occuring between points. We conjecture that a k-distance set in a d-dimensional Banach space (or Minkowski space), contains at most (k+1)^d points, with equality iff the unit ball is a parallelotope. We solve this conjecture in the affirmative for all 2-dimensional spaces and for spaces where the unit ball is a parallelotope. For general spaces we find various weaker upper bounds for k-distance sets. △ Less

Submitted 6 December, 2007; originally announced December 2007.

Comments: 7 pages, 2 figures

MSC Class: 52C10

Journal ref: Discrete Mathematics 197/198 (1999) 759-767

The geometry of Minkowski spaces -- a survey. Part I

Authors: Horst Martini, Konrad J Swanepoel, Gunter Weiss

Abstract: We survey elementary results in Minkowski spaces (i.e. finite dimensional Banach spaces) that deserve to be collected together, and give simple proofs for some of them. We place special emphasis on planar results. Many of these results have often been rediscovered as lemmas to other results. In Part I we cover the following topics: The triangle inequality and consequences such as the monotonicit… ▽ More We survey elementary results in Minkowski spaces (i.e. finite dimensional Banach spaces) that deserve to be collected together, and give simple proofs for some of them. We place special emphasis on planar results. Many of these results have often been rediscovered as lemmas to other results. In Part I we cover the following topics: The triangle inequality and consequences such as the monotonicity lemma, geometric characterizations of strict convexity, normality (Birkhoff orthogonality), conjugate diameters and Radon curves, equilateral triangles and the affine regular hexagon construction, equilateral sets, circles: intersection, circumscribed, characterizations, circumference and area, inscribed equilateral polygons. △ Less

Submitted 21 August, 2007; originally announced August 2007.

Comments: 56 pages, 28 figures

MSC Class: 52A21 (Primary); 46B07; 46B20 (Secondary)

Journal ref: Expositiones Mathematicae 19 (2001) 97-142

Extremal Problems in Minkowski Space related to Minimal Networks

Authors: Konrad J Swanepoel

Abstract: We solve the following problem of Z. Füredi, J. C. Lagarias and F. Morgan [FLM]: Is there an upper bound polynomial in $n$ for the largest cardinality of a set S of unit vectors in an n-dimensional Minkowski space (or Banach space) such that the sum of any subset has norm less than 1? We prove that |S|\leq 2n and that equality holds iff the space is linearly isometric to \ell^n_\infty, the space… ▽ More We solve the following problem of Z. Füredi, J. C. Lagarias and F. Morgan [FLM]: Is there an upper bound polynomial in $n$ for the largest cardinality of a set S of unit vectors in an n-dimensional Minkowski space (or Banach space) such that the sum of any subset has norm less than 1? We prove that |S|\leq 2n and that equality holds iff the space is linearly isometric to \ell^n_\infty, the space with an n-cube as unit ball. We also remark on similar questions raised in [FLM] that arose out of the study of singularities in length-minimizing networks in Minkowski spaces. △ Less

Submitted 20 July, 2007; originally announced July 2007.

Comments: 6 pages. 11-year old paper. Implicit question in the last sentence has been answered in Discrete & Computational Geometry 21 (1999) 437-447

MSC Class: 52A40 (Primary) 52A21; 49Q10 (Secondary)

Journal ref: Proceedings of the American Mathematical Society 124 (1996) 2513-2518

The Fermat-Torricelli problem in normed planes and spaces

Authors: Horst Martini, Konrad J Swanepoel, Gunter Weiss

Abstract: We investigate the Fermat-Torricelli problem in d-dimensional real normed spaces or Minkowski spaces, mainly for d=2. Our approach is to study the Fermat-Torricelli locus in a geometric way. We present many new results, as well as give an exposition of known results that are scattered in various sources, with proofs for some of them. Together, these results can be considered to be a minitheory o… ▽ More We investigate the Fermat-Torricelli problem in d-dimensional real normed spaces or Minkowski spaces, mainly for d=2. Our approach is to study the Fermat-Torricelli locus in a geometric way. We present many new results, as well as give an exposition of known results that are scattered in various sources, with proofs for some of them. Together, these results can be considered to be a minitheory of the Fermat-Torricelli problem in Minkowski spaces and especially in Minkowski planes. This demonstrates that substantial results about locational problems valid for all norms can be found using a geometric approach. △ Less

Submitted 17 July, 2007; v1 submitted 17 July, 2007; originally announced July 2007.

MSC Class: 90B85 (Primary) 46B20; 52A01; 52A21 (Secondary)

Journal ref: J. Optim. Theory Appl. 115 (2002), no. 2, 283--314

Unit distances and diameters in Euclidean spaces

Authors: Konrad J Swanepoel

Abstract: We show that the maximum number of unit distances or of diameters in a set of n points in d-dimensional Euclidean space is attained only by specific types of Lenz constructions, for all d >= 4 and n sufficiently large, depending on d. As a corollary we determine the exact maximum number of unit distances for all even d >= 6, and the exact maximum number of diameters for all d >= 4, for all $n$ s… ▽ More We show that the maximum number of unit distances or of diameters in a set of n points in d-dimensional Euclidean space is attained only by specific types of Lenz constructions, for all d >= 4 and n sufficiently large, depending on d. As a corollary we determine the exact maximum number of unit distances for all even d >= 6, and the exact maximum number of diameters for all d >= 4, for all $n$ sufficiently large, depending on d. △ Less

Submitted 2 July, 2007; originally announced July 2007.

MSC Class: 52C10

Journal ref: Discrete and Computational Geometry 49 (2009), 1--27.

A new proof of Vazsonyi's conjecture

Authors: Konrad J Swanepoel

Abstract: We present a self-contained proof that the number of diameter pairs among n points in Euclidean 3-space is at most 2n-2. The proof avoids the ball polytopes used in the original proofs by Grunbaum, Heppes and Straszewicz. As a corollary we obtain that any three-dimensional diameter graph can be embedded in the projective plane. We present a self-contained proof that the number of diameter pairs among n points in Euclidean 3-space is at most 2n-2. The proof avoids the ball polytopes used in the original proofs by Grunbaum, Heppes and Straszewicz. As a corollary we obtain that any three-dimensional diameter graph can be embedded in the projective plane. △ Less

Submitted 4 May, 2007; originally announced May 2007.

Comments: 4 pages

MSC Class: 52C10 (Primary). 05C10 (Secondary)

Journal ref: Journal of Combinatorial Theory, Ser. A 115 (2008) 888-892.

Elementary incidence theorems for complex numbers and quaternions

Authors: Jozsef Solymosi, Konrad J. Swanepoel

Abstract: We present some elementary ideas to prove the following Sylvester-Gallai type theorems involving incidences between points and lines in the planes over the complex numbers and quaternions. (1) Let A and B be finite sets of at least two complex numbers each. Then there exists a line l in the complex affine plane such that l intersects AxB in exactly two points. (2) Let S be a finite noncollin… ▽ More We present some elementary ideas to prove the following Sylvester-Gallai type theorems involving incidences between points and lines in the planes over the complex numbers and quaternions. (1) Let A and B be finite sets of at least two complex numbers each. Then there exists a line l in the complex affine plane such that l intersects AxB in exactly two points. (2) Let S be a finite noncollinear set of points in the complex affine plane. Then there exists a line l intersecting S in 2, 3, 4 or 5 points. (3) Let A and B be finite sets of at least two quaternions each. Then there exists a line l in the quaternionic affine plane such that l intersects AxB in 2, 3, 4 or 5 points. (4) Let S be a finite noncollinear set of points in the quaternionic affine plane. Then there exists a line l intersecting S in at least 2 and at most 24 points. △ Less

Submitted 13 March, 2007; originally announced March 2007.

Comments: 5 pages

MSC Class: 52C10 (Primary) 51A30 (Secondary)

Journal ref: SIAM J. Discrete Math. 22 (2008), 1145--1148.

The Sylvester-Gallai Theorem, colourings and algebra

Authors: L. M. Pretorius, K. J. Swanepoel

Abstract: Our point of departure is the following simple common generalisation of the Sylvester-Gallai theorem and the Motzkin-Rabin theorem: Let S be a finite set of points in the plane, with each point coloured red or blue or with both colours. Suppose that for any two distinct points A,B in S sharing a colour there is a third point C in S, of the other colour, collinear with A and B. Then all the poi… ▽ More Our point of departure is the following simple common generalisation of the Sylvester-Gallai theorem and the Motzkin-Rabin theorem: Let S be a finite set of points in the plane, with each point coloured red or blue or with both colours. Suppose that for any two distinct points A,B in S sharing a colour there is a third point C in S, of the other colour, collinear with A and B. Then all the points in S are collinear. We define a chromatic geometry to be a simple matroid for which each point is coloured red or blue or with both colours, such that for any two distinct points A,B in S sharing a colour there is a third point C in S, of the other colour, collinear with A and B. This is a common generalisation of proper finite linear spaces and properly two-coloured finite linear spaces, with many known properties of both generalising as well. One such property is Kelly's complex Sylvester-Gallai theorem. We also consider embeddings of chromatic geometries in Desarguesian projective spaces. We prove a lower bound of 51 for the number of points in a 3-dimensional chromatic geometry in projective space over the quaternions. Finally, we suggest an elementary approach to the corollary of an inequality of Hirzebruch used by Kelly in his proof of the complex Sylvester-Gallai theorem. △ Less

Submitted 6 June, 2006; originally announced June 2006.

Comments: 23 pages, 3 figures

MSC Class: 51A45 (Primary); 05B25; 51E21 (Secondary)

Journal ref: Discrete Mathematics 309 (2009), 385--399

The local Steiner problem in finite-dimensional normed spaces

Authors: Konrad J Swanepoel

Abstract: We develop a general method of proving that certain star configurations in finit e-dimensional normed spaces are Steiner minimal trees. This method generalizes the results of Lawlor and Morgan (1994) that could only be applied to differentiable norms. The generalization uses the subdifferential calculus from convex analysis. We apply this method to two special norms. The first norm, occurring in… ▽ More We develop a general method of proving that certain star configurations in finit e-dimensional normed spaces are Steiner minimal trees. This method generalizes the results of Lawlor and Morgan (1994) that could only be applied to differentiable norms. The generalization uses the subdifferential calculus from convex analysis. We apply this method to two special norms. The first norm, occurring in the work of Cieslik, has unit ball the polar of the difference body of the n-simplex (in dimension 3 this is the rhombic dodecahedron). We determine the maximum degree of a given point in a Steiner minimal tree in this norm. The proof makes essential use of extremal finite set theory. The second norm, occuring in the work of Mark Conger (1989), is the sum of the ell_1-norm and a small multiple of the ell_2 norm. For the second norm we determine the maximum degree of a Steiner point. △ Less

Submitted 19 July, 2006; v1 submitted 27 March, 2006; originally announced March 2006.

Comments: 22 pages, 3 figures. Corollary 8 of the previous version is the new Theorem 7

MSC Class: 49Q10 (Primary); 05C05; 05D05; 52A21; 52A41; 52B40 (Secondary)

Journal ref: Discrete Comput Geom 37:419--442 (2007)

A lower bound for the equilateral number of normed spaces

Authors: Konrad J Swanepoel, Rafael Villa

Abstract: We show that if the Banach-Mazur distance between an n-dimensional normed space X and ell infinity is at most 3/2, then there exist n+1 equidistant points in X. By a well-known result of Alon and Milman, this implies that an arbitrary n-dimensional normed space admits at least e^{c sqrt(log n)} equidistant points, where c>0 is an absolute constant. We also show that there exist n equidistant poi… ▽ More We show that if the Banach-Mazur distance between an n-dimensional normed space X and ell infinity is at most 3/2, then there exist n+1 equidistant points in X. By a well-known result of Alon and Milman, this implies that an arbitrary n-dimensional normed space admits at least e^{c sqrt(log n)} equidistant points, where c>0 is an absolute constant. We also show that there exist n equidistant points in spaces sufficiently close to n-dimensional ell p (1 < p < infinity). △ Less

Submitted 27 March, 2006; originally announced March 2006.

Comments: 5 pages

MSC Class: 46B04 (Primary); 46B20; 52A21; 52C17 (Secondary)

Journal ref: Proc. Amer. Math. Soc. 136 (2008), 127--131.

Low-degree minimal spanning trees in normed spaces

Authors: Horst Martini, Konrad J Swanepoel

Abstract: We give a complete proof that in any finite-dimensional normed linear space a finite set of points has a minimal spanning tree in which the maximum degree is bounded above by the strict Hadwiger number of the unit ball, i.e., the largest number of unit vectors such that the distance between any two is larger than 1. We give a complete proof that in any finite-dimensional normed linear space a finite set of points has a minimal spanning tree in which the maximum degree is bounded above by the strict Hadwiger number of the unit ball, i.e., the largest number of unit vectors such that the distance between any two is larger than 1. △ Less

Submitted 16 March, 2006; originally announced March 2006.

Comments: 5 pages

MSC Class: 05C05 (Primary); 52C17 (Secondary)

Journal ref: Applied Mathematics Letters 19 (2006), 122-125

Upper bounds for edge-antipodal and subequilateral polytopes

Authors: Konrad J Swanepoel

Abstract: A polytope in a finite-dimensional normed space is subequilateral if the length in the norm of each of its edges equals its diameter. Subequilateral polytopes occur in the study of two unrelated subjects: surface energy minimizing cones and edge-antipodal polytopes. We show that the number of vertices of a subequilateral polytope in any d-dimensional normed space is bounded above by (d/2+1)^d fo… ▽ More A polytope in a finite-dimensional normed space is subequilateral if the length in the norm of each of its edges equals its diameter. Subequilateral polytopes occur in the study of two unrelated subjects: surface energy minimizing cones and edge-antipodal polytopes. We show that the number of vertices of a subequilateral polytope in any d-dimensional normed space is bounded above by (d/2+1)^d for any d >= 2. The same upper bound then follows for the number of vertices of the edge-antipodal polytopes introduced by I.Talata (Period. Math. Hungar. 38 (1999), 231--246). This is a constructive improvement to the result of A.Pór (to appear) that for each dimension d there exists an upper bound f(d) for the number of vertices of an edge-antipodal d-polytopes. We also show that in d-dimensional Euclidean space the only subequilateral polytopes are equilateral simplices. △ Less

Submitted 26 January, 2006; originally announced January 2006.

Comments: 7 pages

MSC Class: 52B12; 52B05

Journal ref: Periodica Mathematica Hungarica 54 (2007), 99--106.

Quantitative illumination of convex bodies and vertex degrees of geometric Steiner minimal trees

Authors: Konrad J Swanepoel

Abstract: In this note we prove two results on the quantitative illumination parameter f(d) of the unit ball of a d-dimensional normed space introduced by K. Bezdek (1992). The first is that f(d) = O(2^d d^2 log d). The second involves Steiner minimal trees. Let v(d) be the maximum degree of a vertex, and s(d) of a Steiner point, in a Steiner minimal tree in a d-dimensional normed space, where both maxima… ▽ More In this note we prove two results on the quantitative illumination parameter f(d) of the unit ball of a d-dimensional normed space introduced by K. Bezdek (1992). The first is that f(d) = O(2^d d^2 log d). The second involves Steiner minimal trees. Let v(d) be the maximum degree of a vertex, and s(d) of a Steiner point, in a Steiner minimal tree in a d-dimensional normed space, where both maxima are over all norms. F. Morgan (1992) conjectured that s(d) <= 2^d, and D. Cieslik (1990) conjectured v(d) <= 2(2^d-1). We prove that s(d) <= v(d) <= f(d) which, combined with the above estimate of f(d), improves the previously best known upper bound v(d) < 3^d. △ Less

Submitted 6 October, 2004; originally announced October 2004.

Comments: 5 pages, 1 figure

MSC Class: 52A37 (Primary) 52A20; 52A40; 52C17 (Secondary)

Journal ref: Mathematika 52 (2005), 47--52 (2006).

Antinorms and Radon curves

Authors: Horst Martini, Konrad J. Swanepoel

Abstract: In this paper we consider two notions that have been discovered and rediscovered by geometers and analysts since 1917 up to the present day: Radon curves and antinorms. A Radon curve is a special kind of centrally symmetric closed convex curve in the plane. A Radon plane is a normed plane obtained by using a Radon curve as (the boundary of) the unit ball. Many known results in Euclidean geomet… ▽ More In this paper we consider two notions that have been discovered and rediscovered by geometers and analysts since 1917 up to the present day: Radon curves and antinorms. A Radon curve is a special kind of centrally symmetric closed convex curve in the plane. A Radon plane is a normed plane obtained by using a Radon curve as (the boundary of) the unit ball. Many known results in Euclidean geometry also hold for Radon planes, for example the triangle and parallelogram area formulas, certain theorems on angular bisectors, the area formula of a polygon circumscribed about a circle, certain isoperimetric inequalities, and the non-expansive property of certain non-linear projections. These results may be further generalized to arbitrary normed planes if we formally change the statement of the result by referring in some places to the antinorm instead of the norm. The antinorm is a norm dual to the norm of an arbitrarily given normed plane, although it lives in the same plane as the original norm. It is the purpose of this mainly expository paper to give a list of results on antinorms that generalize results true for Radon norms, and in many cases characterize Radon norms among all norms in the plane. Many of the results are old, well-known, and have often been rediscovered. However, for most of the results we give streamlined proofs. Also, some of the characterizations of Radon curves given here seem not to have appeared previously in print. △ Less

Submitted 13 September, 2004; originally announced September 2004.

Comments: 24 pages, 7 figures

MSC Class: 46B20 (Primary) 52A21 (Secondary)

Journal ref: Aequationes Mathematicae 72 (2006), 110-138

Largest family without A union B contained in C intersect D

Authors: Annalisa De Bonis, Gyula O. H. Katona, Konrad J. Swanepoel

Abstract: Let F be a family of subsets of an n-element set not containing four distinct members such that A union B is contained in C intersect D. It is proved that the maximum size of F under this condition is equal to the sum of the two largest binomial coefficients of order n. The maximum families are also characterized. A LYM-type inequality for such families is given, too. Let F be a family of subsets of an n-element set not containing four distinct members such that A union B is contained in C intersect D. It is proved that the maximum size of F under this condition is equal to the sum of the two largest binomial coefficients of order n. The maximum families are also characterized. A LYM-type inequality for such families is given, too. △ Less

Submitted 22 July, 2004; originally announced July 2004.

Comments: 6 pages

MSC Class: 05D05

Journal ref: J. Combin. Theory Ser. A 111 (2005), no. 2, 331--336

Equilateral sets in finite-dimensional normed spaces

Authors: Konrad J. Swanepoel

Abstract: This is an expository paper on the largest size of equilateral sets in finite-dimensional normed spaces. This is an expository paper on the largest size of equilateral sets in finite-dimensional normed spaces. △ Less

Submitted 14 June, 2004; originally announced June 2004.

Comments: 30 pages

MSC Class: 52A21 (Primary) 46B20; 52C17 (Secondary)

Journal ref: In: Seminar of Mathematical Analysis, eds. Daniel Girela Alvarez, Genaro Lopez Acedo, Rafael Villa Caro, Secretariado de Publicationes, Universidad de Sevilla, Seville, 2004, pp. 195-237.

Sylvester-Gallai Theorems for Complex Numbers and Quaternions

Authors: Noam Elkies, Lou M. Pretorius, Konrad J. Swanepoel

Abstract: A Sylvester-Gallai (SG) configuration is a finite set S of points such that the line through any two points in S contains a third point of S. According to the Sylvester-Gallai Theorem, an SG configuration in real projective space must be collinear. A problem of Serre (1966) asks whether an SG configuration in a complex projective space must be coplanar. This was proved by Kelly (1986) using a de… ▽ More A Sylvester-Gallai (SG) configuration is a finite set S of points such that the line through any two points in S contains a third point of S. According to the Sylvester-Gallai Theorem, an SG configuration in real projective space must be collinear. A problem of Serre (1966) asks whether an SG configuration in a complex projective space must be coplanar. This was proved by Kelly (1986) using a deep inequality of Hirzebruch. We give an elementary proof of this result, and then extend it to show that an SG configuration in projective space over the quaternions must be contained in a three-dimensional flat. △ Less

Submitted 15 February, 2006; v1 submitted 1 March, 2004; originally announced March 2004.

Comments: 13 pages, 3 figures

MSC Class: 52C35; 52C10

Journal ref: Discrete & Computational Geometry 35 (2006), no. 3, 361--373

A problem of Kusner on equilateral sets

Authors: Konrad J. Swanepoel

Abstract: R. B. Kusner [R. Guy, Amer. Math. Monthly 90 (1983), 196--199] asked whether a set of vectors in a d-dimensional real vector space such that the l-p distance between any pair is 1, has cardinality at most d+1. We show that this is true for p=4 and any d >= 1, and false for all 1<p<2 with d sufficiently large, depending on p. More generally we show that the maximum cardinality is at most… ▽ More R. B. Kusner [R. Guy, Amer. Math. Monthly 90 (1983), 196--199] asked whether a set of vectors in a d-dimensional real vector space such that the l-p distance between any pair is 1, has cardinality at most d+1. We show that this is true for p=4 and any d >= 1, and false for all 1<p<2 with d sufficiently large, depending on p. More generally we show that the maximum cardinality is at most $(2\lceil p/4\rceil-1)d+1$ if p is an even integer, and at least $(1+ε_p)d$ if 1<p<2, where $ε_p>0$ depends on p. △ Less

Submitted 7 September, 2006; v1 submitted 19 September, 2003; originally announced September 2003.

Comments: 6 pages. Small correction to Proposition 2

MSC Class: 52C10 (Primary) 52A21; 46B20 (Secondary)

Journal ref: Archiv der Mathematik (Basel) 83 (2004), no. 2, 164--170

Blocking sets in small finite linear spaces II

Authors: L. M. Pretorius, K. J. Swanepoel

Abstract: The contents of this paper has been incorporated into math.CO/0308288. The contents of this paper has been incorporated into math.CO/0308288. △ Less

Submitted 27 February, 2007; v1 submitted 10 September, 2003; originally announced September 2003.

Comments: The contents of this paper has been incorporated into math.CO/0308288

MSC Class: 51E21 (Primary) 05B25; 51A45 (Secondary)

Blocking sets in small finite linear spaces

Authors: L. M. Pretorius, K. J. Swanepoel

Abstract: We classify all finite linear spaces on at most 15 points admitting a blocking set. There are no such spaces on 11 or fewer points, one on 12 points, one on 13 points, two on 14 points, and five on 15 points. The proof makes extensive use of the notion of the weight of a point in a 2-coloured finite linear space, as well as the distinction between minimal and non-minimal 2-coloured finite linear… ▽ More We classify all finite linear spaces on at most 15 points admitting a blocking set. There are no such spaces on 11 or fewer points, one on 12 points, one on 13 points, two on 14 points, and five on 15 points. The proof makes extensive use of the notion of the weight of a point in a 2-coloured finite linear space, as well as the distinction between minimal and non-minimal 2-coloured finite linear spaces. We then use this classification to draw some conclusions on two open problems on the 2-colouring of configurations of points. △ Less

Submitted 10 February, 2004; v1 submitted 29 August, 2003; originally announced August 2003.

Comments: 38 pages. This version incorporates old math.CO/0308288 and math.CO/0309173, as well as including an appendix with more detail on the enumeration

MSC Class: 51E21 (Primary) 05B25; 51A45 (Secondary)

Journal ref: Ars Combinatoria 80 (2006), 275--315