首页/论文/math/0208017

arXiv math/02080172002-08-02math.COcs.ITmath.IT

Packing Planes in Four Dimensions and Other Mysteries

N. J. A. Sloane

备注：: 21 pages, 4 figures
发表信息：: In Algebraic Combinatorics and Related Topics (Yamagata 1997), ed. E. Bannai, M. Harada and M. Ozeki, Yamagata University, 1999

英文摘要：

How should you choose a good set of (say) 48 planes in four dimensions? More generally, how do you find packings in Grassmannian spaces? In this article I give a brief introduction to the work that I have been doing on this problem in collaboration with A. R. Calderbank, J. H. Conway, R. H. Hardin, E. M. Rains and P. W. Shor. We have found many nice examples of specific packings (70 4-spaces in 8-space, for instance), several general constructions, and an embedding theorem which shows that a packing in Grassmannian space G(m,n) is a subset of a sphere in R^D, where D = (m+2)(m-1)/2, and leads to a proof that many of our packings are optimal. There are a number of interesting unsolved problems.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

The optimal packing of eight points in the real projective plane

How can we arrange $n$ lines through the origin in three-dimensional Euclidean space in a way that maximizes the minimum interior angle between pairs of lines? Conway, Hardin and Sloane (1996) produced line packings for $n \leq 55$ that they conjectured to be within numerical precision of optimal in this sense, but until now only the cases $n \leq 7$ have been solved. In this paper, we resolve the case $n = 8$. Drawing inspiration from recent work on the Tammes problem, we enumerate contact graph candidates for an optimal configuration and eliminate those that violate various combinatorial and…

2019-02-26cs.ITmath.COmath.IT

Compact packings of the plane with three sizes of discs

A compact packing is a set of non-overlapping discs where all the holes between discs are curvilinear triangles. There is only one compact packing by discs of size $1$. There are exactly $9$ values of $r$ which allow a compact packing by discs of sizes $1$ and $r$. We prove here that there are exactly $164$ pairs $(r,s)$ allowing a compact packing by discs of sizes $1$, $r$ and $s$.

2020-02-08cs.DMmath.CO

Packing Lines, Planes, etc.: Packings in Grassmannian Space

This paper addresses the question: how should N n-dimensional subspaces of m-dimensional Euclidean space be arranged so that they are as far apart as possible? The results of extensive computations for modest values of N, n, m are described, as well as a reformulation of the problem that was suggested by these computations. The reformulation gives a way to describe n-dimensional subspaces of m-space as points on a sphere in dimension (m-1)(m+2)/2, which provides a (usually) lower-dimensional representation than the Pluecker embedding, and leads to a proof that many of the new packings are opti…

2002-08-01math.CO

Packing six T-joins in plane graphs

Let G be a plane graph and T an even subset of its vertices. It has been conjectured that if all T-cuts of G have the same parity and the size of every T-cut is at least k, then G contains k edge-disjoint T-joins. The case k=3 is equivalent to the Four Color Theorem, and the cases k=4, which was conjectured by Seymour, and k=5 were proved by Guenin. We settle the next open case k=6.

2014-04-24math.CO

On compact packings of the plane with circles of three radii

A compact circle-packing $P$ of the Euclidean plane is a set of circles which bound mutually disjoint open discs with the property that, for every circle $S\in P$, there exists a maximal indexed set $\{A_{0},\ldots,A_{n-1}\}\subseteq P$ so that, for every $i\in\{0,\ldots,n-1\}$, the circle $A_{i}$ is tangent to both circles $S$ and $A_{i+1\mod n}.$ We show that there exist at most $13617$ pairs $(r,s)$ with $0<s<r<1$ for which there exist a compact circle-packing of the plane consisting of circles with radii $s$, $r$ and $1$. We discuss computing the exact values of such $0<s<r<1$ as roots of …

2019-07-28math.COmath.MG

Packing 1-Plane Hamiltonian Cycles in Complete Geometric Graphs

Counting the number of Hamiltonian cycles that are contained in a geometric graph is {\bf \#P}-complete even if the graph is known to be planar \cite{lot:refer}. A relaxation for problems in plane geometric graphs is to allow the geometric graphs to be 1-plane, that is, each of its edges is crossed at most once. We consider the following question: For any set $P\/$ of $n\/$ points in the plane, how many 1-plane Hamiltonian cycles can be packed into a complete geometric graph $K_n\/$? We investigate the problem by taking two different situations of $P\/$, namely, when $P\/$ is in convex positio…

2017-07-14math.CO

更多相关论文收起更多论文

On the site percolation threshold of circle packings and planar graphs

A circle packing is a collection of disks with disjoint interiors in the plane. It naturally defines a graph by tangency. It is shown that there exists $p>0$ such that the following holds for every circle packing: If each disk is retained with probability $p$ independently, then the probability that there is a path of retained disks connecting the origin to infinity is zero. The following conclusions are derived using results on circle packings of planar graphs: (i) Site percolation with parameter $p$ has no infinite connected component on recurrent simple plane triangulations, or on Benjamini…

2020-01-29math-phmath.COmath.MP

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

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}}(…

2022-01-31math.COmath.MG

Quadratic Packing Polynomials on Sectors of $\mathbb{R}^2$

A polynomial $p(x,y)$ on a region $S$ in the plane is called a packing polynomial if the restriction of $p(x,y)$ to $S\cap \mathbb{Z}^2$ yields a bijection to $\mathbb{N}$. In this paper, we determine all quadratic packing polynomials on rational sectors of $\mathbb{R}^2$.

2014-08-29math.CO

Packing and covering odd cycles in cubic plane graphs with small faces

We show that any $3$-connected cubic plane graph on $n$ vertices, with all faces of size at most $6$, can be made bipartite by deleting no more than $\sqrt{(p+3t)n/5}$ edges, where $p$ and $t$ are the numbers of pentagonal and triangular faces, respectively. In particular, any such graph can be made bipartite by deleting at most $\sqrt{12n/5}$ edges. This bound is tight, and we characterise the extremal graphs. We deduce tight lower bounds on the size of a maximum cut and a maximum independent set for this class of graphs. This extends and sharpens the results of Faria, Klein and Stehlik [SIAM…

2017-08-21math.CO

Decomposition of multiple packings with subquadratic union complexity

Suppose $k$ is a positive integer and $\mathcal{X}$ is a $k$-fold packing of the plane by infinitely many arc-connected compact sets, which means that every point of the plane belongs to at most $k$ sets. Suppose there is a function $f(n)=o(n^2)$ with the property that any $n$ members of $\mathcal{X}$ determine at most $f(n)$ holes, which means that the complement of their union has at most $f(n)$ bounded connected components. We use tools from extremal graph theory and the topological Helly theorem to prove that $\mathcal{X}$ can be decomposed into at most $p$ ($1$-fold) packings, where $p$ i…

2016-01-05cs.CGcs.DMmath.CO

三角剖分中的3-打包：算法、界与复杂性

3-packings in Triangulations: Algorithms, bounds, and Complexity

Carleton University（卡尔顿大学）；Nagoya University（名古屋大学）

研究平面三角剖分中三种三顶点图H的H-打包问题，给出P3-打包的下界并证明渐近紧性，利用哈密顿圈刻画4-连通三角剖分中的三角形因子，并证明诱导P2∪P1-打包的多项式时间可解性。

2026-06-29cs.DMmath.CO

Extreme problems of circle packings on a sphere and irreducible contact graphs

Recently, we enumerate up to isometry, all locally rigid circle packings on the unit sphere with number of circles N<12. This problem is equivalent to the enumeration of irreducible contact graphs. In this paper we show that by using the list of irreducible graphs can solve various problems of extreme packings such as the Tammes problem for the sphere and the projective plane, the maximal contacts problem, Danzer's and other problems on irreducible contact graphs.

2014-10-03math.COmath.MG

PG(3,2) 的 240 个填装上的偏序

A partial order on the 240 packings of PG(3,2)

本文在 PG(3,2) 的 240 个填装上构造了一个可剥离的分级偏序，揭示了其与 E8 根系统及拟抛物集的深刻联系，并定义了 Lehmer 码与 Weyl 群的传递作用。

2025-11-04math.COmath.GR

On the Hausdorff dimension of pinned distance sets

We prove that if $A$ is a Borel set in the plane of equal Hausdorff and packing dimension $s>1$, then the set of pinned distances $\{ |x-y|:y\in A\}$ has full Hausdorff dimension for all $x$ outside of a set of Hausdorff dimension $1$ (in particular, for many $x\in A$). This verifies a strong variant of Falconer's distance set conjecture for sets of equal Hausdorff and packing dimension, outside the endpoint $s=1$.

2018-01-26math.CAmath.COmath.MG