Max/Min Puzzles in Geometry

James M Parks

2024-08-18

Abstract:The objective here is to find the maximum polygon, in area, which can be enclosed in a given triangle, for the polygons: parallelograms, rectangles and squares. It will initially be assumed that the choices are inscribed polygons, that is all vertices of the polygon are on the sides of the triangle. This concept will be generalized later to include wedged polygons.

History and Overview

What problem does this paper attempt to address?

Max/Min Puzzles in Geometry II

James M Parks

2024-09-01

Abstract:In this paper we continue the investigation of finding the max/min polygons which can be inscribed in a given triangle. Here we are concerned with equilateral triangles. This may seem uninteresting or benign at first, but there are some surprises later.

History and Overview
Max/Min Puzzles in Geometry III

James M Parks

2024-09-10

Abstract:The first two installments of this series of papers dealt with the maximum area polygons: Parallelogram, Rectangle, Square or Equilateral Triangle, in given triangles. Minimum area polygons were also considered in the second paper on Equilateral Triangles. In this paper the puzzle will be turned the other way around. Given the regular unit polygons, a Square, Pentagon, or Hexagon, we searched for the smallest area triangle(s) which contains it. The Dynamic Software Sketchpad v5.10 BETA was used for all examples and figures throughout the work.

History and Overview
Maximizing the Number of Packed Rectangles

Klaus Jansen,Guochuan Zhang

DOI: https://doi.org/10.1007/978-3-540-27810-8_31

2004-01-01

Abstract:Given a set of rectangles we are asked to pack as many of them as possible into a bigger rectangle. The rectangles packed may not overlap and may not be rotated. This problem is NP-hard in the strong sense even for packing squares into a square. We establish the relationship between the asymptotic worst-case ratio and the (absolute) worst-case ratio for the problem. It is proved that there exists an asymptotic FPTAS, and thus a PTAS, for packing squares into a rectangle. We give an approximation algorithm with asymptotic ratio of at most two for packing rectangles, and further show a simple (2 + epsilon)-approximation algorithm.
Maximal Sets of Equiangular Lines

Blake C. Stacey

DOI: https://doi.org/10.48550/arXiv.2008.13288

2020-08-31

Abstract:I introduce the problem of finding maximal sets of equiangular lines, in both its real and complex versions, attempting to write the treatment that I would have wanted when I first encountered the subject. Equiangular lines intersect in the overlap region of quantum information theory, the octonions and Hilbert's twelfth problem. The question of how many equiangular lines can fit into a space of a given dimension is easy to pose -- a high-school student can grasp it -- yet it is hard to answer, being as yet unresolved. This contrast of ease and difficulty gives the problem a classic charm.

Quantum Physics
Commutative Properties of Schubert Puzzles with Convex Polygonal Boundary Shapes

Portia Anderson

2024-06-12

Abstract:We generalize classical triangular Schubert puzzles to puzzles with convex polygonal boundary. We give these puzzles a geometric Schubert calculus interpretation and derive novel combinatorial commutativity statements, using purely geometric arguments, for puzzles with four, five, and six sides, having various types of symmetry in their boundary conditions. We also present formulas for the associated structure constants in terms of Littlewood-Richardson numbers, and we prove an analogue of commutativity for parallelogram-shaped equivariant puzzles.

Combinatorics,Algebraic Geometry
Maximum tilings with the minimal tile property

Iwan Praton

DOI: https://doi.org/10.48550/arXiv.2005.00893

2020-05-03

Abstract:A tiling of the unit square is an MTP tiling if the smallest tile can tile all the other tiles. We look at the function $f(n)=\max \sum s_i$, where $s_i$ is the side length of the $i$th tile and the sum is taken over all MTP tilings with $n$ tiles. If $n=k^2+3$, it was conjectured that $f(k^2+3)=k+1/k$. We show that any tiling that violates the conjecture must consist of at least three tile sizes and has exactly one minimal tile.

Metric Geometry
Minimum Star Partitions of Simple Polygons in Polynomial Time

Mikkel Abrahamsen,Joakim Blikstad,André Nusser,Hanwen Zhang

2024-04-09

Abstract:We devise a polynomial-time algorithm for partitioning a simple polygon $P$ into a minimum number of star-shaped polygons. The question of whether such an algorithm exists has been open for more than four decades [Avis and Toussaint, Pattern Recognit., 1981] and it has been repeated frequently, for example in O'Rourke's famous book [Art Gallery Theorems and Algorithms, 1987]. In addition to its strong theoretical motivation, the problem is also motivated by practical domains such as CNC pocket milling, motion planning, and shape parameterization. The only previously known algorithm for a non-trivial special case is for $P$ being both monotone and rectilinear [Liu and Ntafos, Algorithmica, 1991]. For general polygons, an algorithm was only known for the restricted version in which Steiner points are disallowed [Keil, SIAM J. Comput., 1985], meaning that each corner of a piece in the partition must also be a corner of $P$. Interestingly, the solution size for the restricted version may be linear for instances where the unrestricted solution has constant size. The covering variant in which the pieces are star-shaped but allowed to overlap--known as the Art Gallery Problem--was recently shown to be $\exists\mathbb R$-complete and is thus likely not in NP [Abrahamsen, Adamaszek and Miltzow, STOC 2018 & J. ACM 2022]; this is in stark contrast to our result. Arguably the most related work to ours is the polynomial-time algorithm to partition a simple polygon into a minimum number of convex pieces by Chazelle and Dobkin~[STOC, 1979 & Comp. Geom., 1985].

Computational Geometry
Maximal operators on hyperbolic triangles

Anthony Gauvan,Samuel Bronstein,Romain Branchereau

2023-05-09

Abstract:We characterize the boundedness properties on the spaces $L^p(\mathbb{H}^2)$ of the maximal operator $M_\mathcal{B}$ where $\mathcal{B}$ is an arbitrary family of hyperbolic triangles stable by isometries.

Classical Analysis and ODEs
Lower Bound for Sculpture Garden Problem

Marzieh Eskandari,Bahram Sadeghi Bigham

DOI: https://doi.org/10.48550/arXiv.2107.08175

2021-07-17

Abstract:The purpose of the current study is to investigate a special case of art gallery problem, namely Sculpture Garden Problem. In the said problem, for a given polygon $P$, the ultimate goal is to place the minimum number of guards to define the interior polygon $P$ by applying a monotone Boolean formula composed of the guards. As the findings indicate, the conjecture about the issue that in the worst case, $n-2$ guards are required to describe any $n$-gon (Eppstein et al. 2007) can be conclusively proved.

Computational Geometry
Maximal Distortion of Geodesic Diameters in Polygonal Domains

Adrian Dumitrescu,Csaba D. Tóth

2023-05-19

Abstract:For a polygon $P$ with holes in the plane, we denote by $\varrho(P)$ the ratio between the geodesic and the Euclidean diameters of $P$. It is shown that over all convex polygons with $h$~convex holes, the supremum of $\varrho(P)$ is between $\Omega(h^{1/3})$ and $O(h^{1/2})$. The upper bound improves to $O(1+\min\{h^{3/4}\Delta,h^{1/2}\Delta^{1/2}\})$ if every hole has diameter at most $\Delta\cdot {\rm diam}_2(P)$; and to $O(1)$ if every hole is a \emph{fat} convex polygon. Furthermore, we show that the function $g(h)=\sup_P \varrho(P)$ over convex polygons with $h$ convex holes has the same growth rate as an analogous quantity over geometric triangulations with $h$ vertices when $h\rightarrow \infty$.

Computational Geometry,Geometric Topology
On Maximizing the Distance to a Given Point over an Intersection of Balls II

Marius Costandin

DOI: https://doi.org/10.48550/arXiv.2307.13015

2023-07-25

Abstract:In this paper the problem of maximizing the distance to a given fixed point over an intersection of balls is considered. It is known that this problem is NP complete in the general case, since any subset sum problem can be solved upon solving a maximization of the distance over an intersection of balls to a point inside the convex hull. The general context is: in [1] it is shown that exists a polynomial algorithm which always solves the maximization problem if the given point is outside the convex hull of the centers of the balls. Naturally one asks if there is a polynomial algorithm which solves the problem for a point inside the convex hull. A conjecture stated in a previous paper, [1] is proved, under slightly stronger conditions. The proven conjecture allows a polynomial algorithm for points on the facets of the convex hull and shows that such points share the maximizer with all the points in a small enough ball centered at it, thus including points in the interior of the convex hull of the ball centers.

Optimization and Control,Computational Geometry
A zonogon approach for computing small polygons of maximum perimeter

Bernd Mulansky,Andreas Potschka

2024-04-02

Abstract:We derive a mixed integer nonlinear programming formulation for the problem of finding a convex polygon with a given number of vertices that is small (diameter at most one) and has maximum perimeter. The formulation is based on a geometric construction using zonogons. The resulting zonogons can be characterized by an integer code and we study the number of codes that are distinct under the symmetries of the problem. We propose a two-phase computational approach. Phase I comprises the solution of a purely combinatorial problem. Under assumption of Mossinghoff's conjecture, the Phase I problem can be reduced to a Subset-Sum Problem. Without Mossinghoff's conjecture, a generalized Subset-Sum Problem needs to be solved, which consists of picking $n$ non-opposing $2n$-th roots of unity such that their sum is as small as possible. Phase II consists of a non-combinatorial Nonlinear Programming Problem, which can be solved to high accuracy with arbitrary precision Newton-type methods. We provide extensive numerical results including highly accurate solutions for polygons with 64 and 128 vertices.

Optimization and Control
Maximizing the Area of Polygons via Quasicyclic Polygons

Giuseppina Anatriello,Giovanni Vincenzi

DOI: https://doi.org/10.1556/012.2023.04304

2024-03-27

Studia Scientiarum Mathematicarum Hungarica

Abstract:Based on Peter’s work from 2003, quadrilaterals can be characterized in the following way: “among all quadrilaterals with given side lengths a, b, c and d, those of the largest possible area are exactly the cyclic ones”. In this paper, we will give the corresponding characterization for every polygon, by means of quasicyclic polygons properties.

mathematics
Periodical plane puzzles with numbers

Jorge Rezende

DOI: https://doi.org/10.48550/arXiv.1106.0953

2011-06-06

Abstract:Consider a periodical (in two independent directions) tiling of the plane with polygons (faces). In this article we shall only give examples using squares, regular hexagons, equilateral triangles and parallelograms ("unions" of two equilateral triangles). We shall call some "multiple" of the fundamental region "the board". We naturally identify pairs of corresponding edges of the the board. Figures 9 and 19-29, in this article, show different boards. The "border" of the board is represented by a yellow thick line, unless part of it or all of it is the edge of a face. The board is tiled by a finite number of polygons. Construct polygonal plates in the same number, shape and size as the polygons of the board. Adjacent to each side of each plate draw a number, or two numbers, like it is shown in Figures 1 and 18-29. Figure 1 shows the obvious possibility of having plates with simple drawings, coloured drawings, etc. Now the game is to put the plates over the board polygons in such a way that the numbers near each board edge are equal. If there is at least one solution of this puzzle one says that we have a periodical plane puzzle with numbers. These puzzles are a tool in teaching and learning mathematics. For those that already have some mathematical knowledge, they are a source for many examples and exercises, that go from the elementary to complex ones, in combinatorics, group theory (including symmetry and permutation groups), programming, and so on. The object of this work is to point out some possibilities by giving simple examples. The computer is the only practical way of "materializing" infinite periodical plane puzzles. Hence, these puzzles can be very well put into practice as computer games. This article follows some others on puzzles with numbers.

History and Overview,Group Theory
Maximal planar graphs that embed as centers

Brandon Du Preez

2024-01-30

Abstract:A maximal planar graph is a graph which can be embedded in the plane such that every face of the graph is a triangle. The center of a graph is the subgraph induced by the vertices of minimum eccentricity. We introduce the notion of quasi-eccentric vertices, and use this to characterize maximal planar graphs that are the center of some planar graph. We also present some easier to check only necessary / only sufficient conditions for planar and maximal planar graphs to be the center of a planar graph. Finally, we use the aforementioned characterization to prove that all maximal planar graphs of order at most 8 are the center of some planar graph -- and this bound is sharp.

Combinatorics,Discrete Mathematics
Automated Mathematical Discovery and Verification: Minimizing Pentagons in the Plane

Bernardo Subercaseaux,John Mackey,Marijn J. H. Heule,Ruben Martins

2024-06-17

Abstract:We present a comprehensive demonstration of how automated reasoning can assist mathematical research, both in the discovery of conjectures and in their verification. Our focus is a discrete geometry problem: What is $\mu_{5}(n)$, the minimum number of convex pentagons induced by $n$ points in the plane? In the first stage toward tackling this problem, automated reasoning tools guide discovery and conjectures: we use SAT-based tools to find abstract configurations of points that would induce few pentagons. Afterward, we use Operations Research tools to find and visualize realizations of these configurations in the plane, if they exist. Mathematical thought and intuition are still vital parts of the process for turning the obtained visualizations into general constructions. A surprisingly simple upper bound follows from our constructions: $\mu_{5}(n) \leq \binom{\lfloor n/2 \rfloor}{5} + \binom{\lceil n/2 \rceil}{5}$, and we conjecture it is optimal. In the second stage, we turn our focus to verifying this conjecture. Using MaxSAT, we confirm that $\mu_5(n)$ matches the conjectured values for $n \leq 16$, thereby improving both the existing lower and upper bounds for $n \in [12, 16]$. Our MaxSAT results rely on two mathematical theorems with pen-and-paper proofs, highlighting once again the rich interplay between automated and traditional mathematics.

Computational Geometry,Discrete Mathematics
On the Performance of Maximal Intersection of Spherical Polygons by Arcs

Yong-Jin Liu,Wen-Qi Zhang,Kai Tang

DOI: https://doi.org/10.1109/cadcg.2009.5246868

2009-01-01

Abstract:An important real-world optimization problem in manufacturing industry is to determine optimal workpiece setups for 4-axis NC machining. In this paper we reveal some interesting relations between this optimal workpiece setup problem and the two classic NP-hard problems in complexity theory (i.e, the vertex cover problem and the set cover problem). These relations immediately show the following results. First the optimal workpiece setup problem is NP-hard. Secondly, the greedy algorithm proposed in [Comput. Aided Des. 35 (2003) pp. 1269-1285] for the optimal workpiece setup problem has the performance ratio bounded by O(ln n-ln ln n+0.78), where n is the number of spherical polygons in the ground set.
Tight Bounds for the Maximum Distance Over a Polytope to a Given Point

Marius Costandin,Beniamin Costandin

2024-03-04

Abstract:In this paper we study the problem of maximizing the distance to a given point $C_0$ over a polytope $\mathcal{P}$. Assuming that the polytope is circumscribed by a known ball we construct an intersection of balls which preserves the vertices of the polytope on the boundary of this ball, and show that the intersection of balls approximates the polytope arbitrarily well. Then, we use some known results regarding the maximization of distances to a given point over an intersection of balls to create a new polytope which preserves the maximizers to the original problem. Next, a new intersection of balls is obtained in a similar fashion, and as such, after a finite number of iterations, we conjecture, we end up with an intersection of balls over which we can maximize the distance to the given point. The obtained distance is shown to be a non trivial upper bound to the original distance. Tests are made with maximizing the distance to a random point over the unit hypercube up to dimension $n = 100$. Several detailed 2-d examples are also shown.

Optimization and Control,Discrete Mathematics
A Geometric proof for the Polygonal Isoperimetric Inequality

Beniamin Bogosel

2023-09-12

Abstract:Gradients of the perimeter and area of a polygon have straightforward geometric interpretations. The use of optimality conditions for constrained problems and basic ideas in triangle geometry show that polygons with prescribed area minimizing the perimeter must be regular.

Metric Geometry
Happy Ending: An Empty Hexagon in Every Set of 30 Points

Marijn J.H. Heule,Manfred Scheucher

2024-03-02

Abstract:Satisfiability solving has been used to tackle a range of long-standing open math problems in recent years. We add another success by solving a geometry problem that originated a century ago. In the 1930s, Esther Klein's exploration of unavoidable shapes in planar point sets in general position showed that every set of five points includes four points in convex position. For a long time, it was open if an empty hexagon, i.e., six points in convex position without a point inside, can be avoided. In 2006, Gerken and Nicolás independently proved that the answer is no. We establish the exact bound: Every 30-point set in the plane in general position contains an empty hexagon. Our key contributions include an effective, compact encoding and a search-space partitioning strategy enabling linear-time speedups even when using thousands of cores.

Computational Geometry,Logic in Computer Science,Combinatorics

Max/Min Puzzles in Geometry

Max/Min Puzzles in Geometry II

Max/Min Puzzles in Geometry III

Maximizing the Number of Packed Rectangles

Maximal Sets of Equiangular Lines

Commutative Properties of Schubert Puzzles with Convex Polygonal Boundary Shapes

Maximum tilings with the minimal tile property

Minimum Star Partitions of Simple Polygons in Polynomial Time

Maximal operators on hyperbolic triangles

Lower Bound for Sculpture Garden Problem

Maximal Distortion of Geodesic Diameters in Polygonal Domains

On Maximizing the Distance to a Given Point over an Intersection of Balls II

A zonogon approach for computing small polygons of maximum perimeter

Maximizing the Area of Polygons via Quasicyclic Polygons

Periodical plane puzzles with numbers

Maximal planar graphs that embed as centers

Automated Mathematical Discovery and Verification: Minimizing Pentagons in the Plane

On the Performance of Maximal Intersection of Spherical Polygons by Arcs

Tight Bounds for the Maximum Distance Over a Polytope to a Given Point

A Geometric proof for the Polygonal Isoperimetric Inequality

Happy Ending: An Empty Hexagon in Every Set of 30 Points