A note on Erdős's mysterious remark

Zoltán Kovács

2024-12-07

Abstract:We prove, by using elimination from algebraic geometry, that the only set $S\subset\mathbb{R}^2$, $\left|S\right|=6$ such that all subsets that build a triangle are isosceles triangles, is the regular pentagon with its center.

Computational Geometry,Metric Geometry

What problem does this paper attempt to address?

A Structural Theorem for Sets With Few Triangles

Sam Mansfield,Jonathan Passant

DOI: https://doi.org/10.1007/s00493-023-00066-z

2023-10-25

Abstract:We show that if a finite point set $P\subseteq \mathbb{R}^2$ has the fewest congruence classes of triangles possible, up to a constant $M$, then at least one of the following holds. (1) There is a $\sigma>0$ and a line $l$ which contains $\Omega(|P|^\sigma)$ points of $P$. Further, a positive proportion of $P$ is covered by lines parallel to $l$ each containing $\Omega(|P|^\sigma)$ points of $P$. (2) There is a circle $\gamma$ which contains a positive proportion of $P$. This provides evidence for two conjectures of Erdős. We use the result of Petridis-Roche-Newton-Rudnev-Warren on the structure of the affine group combined with classical results from additive combinatorics.

Combinatorics
A remark on a theorem of Narasimhan and Ramanan

Jagadish Pine

2024-11-24

Abstract:In this short note, we provide an alternative proof of a notable theorem by Narasimhan and Ramanan. The theorem states that the moduli space of $S$-equivalence classes of semistable rank $2$ vector bundles over a curve $X$ of genus $2$ with trivial determinant is isomorphic to $\mathbb{P}^3$. Our proof relies on a criterion by Bauer and Szemberg, which characterizes projective spaces among smooth Fano varieties using Seshadri constants.

Algebraic Geometry
A note on regular polyhedra over finite fields

Caleb Ji

2023-04-07

Abstract:Grothendieck proposed a theory of regular polyhedra over finite fields in Section 4 of \textit{Esquisse d'un Programme}. He isolates certain key parameters from the automorphism groups of regular polyhedra, which can be extended to any genus and specialized to various rings. In this note we give an interpretation of his sketched theory which explains some of his observations. We are able to compute some explicit examples and address a question Grothendieck raised about them in connection to dessins d'enfants. Finally, we highlight some of Grothendieck's observations which remain unexplained by our current approach.

Group Theory,Algebraic Geometry,Combinatorics
An analog of the Furstenberg-Katznelson-Weiss theorem on triangles in sets of positive density in finite field geometries

David Covert,Derrick Hart,Alex Iosevich,Ignacio Uriarte-Tuero

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

2008-05-01

Abstract:We prove that if the cardinality of a subset of the 2-dimensional vector space over a finite field with $q$ elements is $\ge \rho q^2$, with $\frac{1}{\sqrt{q}}<<\rho \leq 1$, then it contains an isometric copy of $\ge c\rho q^3$ triangles.

Combinatorics,Classical Analysis and ODEs
A note on the Erdős conjecture about square packing

Junnosuke Koizumi,Takahiro Ueoro

2024-11-11

Abstract:Let $f(n)$ denote the maximum total length of the sides of $n$ squares packed inside a unit square. Erdős conjectured that $f(k^2+1)=k$. We show that the conjecture is true if we assume that the sides of the squares are parallel to the sides of the unit square.

Combinatorics,Metric Geometry
Variations on Pascal's Theorem

Ciro Ciliberto,Rick Miranda

2024-11-12

Abstract:In this paper we present a variety of statements that are in the spirit of the famous theorem of Pascal, often referred to as the Mystic Hexagon. We give explicit equations describing the conditions for $d+4$ points to lie on rational normal curves. A collection of problems of Pascal type are considered for quadric surfaces in $\bbP^3$. Finally we reprove, using computer algebra methods, a remarkable theorem of Richmond, Segre, and Brown, for quadrics in $\bbP^4$ containing five general lines.

Algebraic Geometry
Pentagram Rigidity for Centrally Symmetric Octagons

Richard Evan Schwartz

2024-01-16

Abstract:In this paper I will establish a special case of a conjecture that intertwines the deep diagonal pentagram maps and Poncelet polygons. The special case is that of the 3-diagonal map acting on affine equivalence classes of centrally symmetric octagons. This is the simplest case that goes beyond an analysis of elliptic curves. The proof involves establishing that the map is Arnold-Liouville integrable in this case, and then exploring the Lagrangian surface foliation in detail.

Symplectic Geometry
On Optimal Point Sets Determining Distinct Triangles

Eyvindur A. Palsson,Edward Yu

DOI: https://doi.org/10.37236/12360

2024-05-12

Abstract:Erdős and Fishburn studied the maximum number of points in the plane that span $k$ distances and classified these configurations, as an inverse problem of the Erdős distinct distances problem. We consider the analogous problem for triangles. Past work has obtained the optimal sets for one and two distinct triangles in the plane. In this paper, we resolve a conjecture that at most six points in the plane can span three distinct triangles, and obtain the hexagon as the unique configuration that achieves this. We also provide evidence that optimal sets cannot be on the square lattice in the general case.

Combinatorics
A note on extremal constructions for the Erdős--Rademacher problem

Xizhi Liu,Oleg Pikhurko

2024-10-07

Abstract:For given positive integers $r\ge 3$, $n$ and $e\le \binom{n}{2}$, the famous Erd\H os--Rademacher problem asks for the minimum number of $r$-cliques in a graph with $n$ vertices and $e$ edges. A conjecture of Lovász and Simonovits from the 1970s states that, for every $r\ge 3$, if $n$ is sufficiently large then, for every $e\le \binom{n}{2}$, at least one extremal graph can be obtained from a complete partite graph by adding a triangle-free graph into one part. In this note, we explicitly write the minimum number of $r$-cliques predicted by the above conjecture. Also, we describe what we believe to be the set of extremal graphs for any $r\ge 4$ and all large~$n$, amending the previous conjecture of Pikhurko and Razborov.

Combinatorics
A conjecture of Erdős on $p+2^k$

Yong-Gao Chen

2024-02-18

Abstract:Let $\mathcal{U}$ be the set of positive odd integers that cannot be represented as the sum of a prime and a power of two. In this paper, we prove that $\mathcal{U}$ is not a union of finitely many infinite arithmetic progressions and a set of asymptotic density zero. This gives a negative answer to a conjecture of P. Erd\H os. We pose several problems and a conjecture for further research.

Number Theory,Combinatorics
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
An algebraic approach to Erdős-Ko-Rado sets of flags in spherical buildings II

Jan De Beule,Sam Mattheus,Klaus Metsch

2024-08-09

Abstract:We continue our investigation of Erdős-Ko-Rado (EKR) sets of flags in spherical buildings. In previous work, we used the theory of buildings and Iwahori-Hecke algebras to obtain upper bounds on their size. As the next step towards the classification of the maximal EKR-sets, we describe the eigenspaces for the smallest eigenvalue of the opposition graphs. We determine their multiplicity and provide a combinatorial description of spanning sets of these subspaces, from which a complete description of the maximal Erdős-Ko-Rado sets of flags may potentially be found. This was recently shown to be possible for type $A_n$, $n$ odd, by Heering, Lansdown, and the last author by making use of the current work.

Combinatorics
Some observations on Erdős matrices

Raghavendra Tripathi

2024-10-09

Abstract:In a seminal paper in 1959, Marcus and Ree proved that every $n\times n$ bistochastic matrix $A$ satisfies $\|A\|_{F}^2\leq \max_{\sigma\in S_n}A_{i,\sigma(i)}$ where $S_n$ is the symmetric group on $\{1, \ldots, n\}$. Erdős asked to characterize the bistochastic matrices for which the equality holds in the Marcus-Ree inequality. We refer to such matrices as Erdős matrices. While this problem is trivial in dimension $n=2$, the case of dimension $n=3$ was resolved in~\cite{bouthat2024question} in 2023. We prove that for every $n$, there are only finitely many $n\times n$ Erdős matrices. We also give a characterization of Erdős matrices that yields an algorithm to generate all Erdős matrices in any given dimension. We also prove that Erdős matrices can have only rational entries. This answers a question of~\cite{bouthat2024question}.

Metric Geometry,Probability
Restricted sums of sets of cardinality $2p + 1$ in $\mathbb{Z}_p^2$

Jacob Terkel

2024-10-23

Abstract:Let $A\subseteq \mathbb{Z}_p^2$ be a set of size $2p+1$ for prime $p\geq 5$. In this paper, we prove that $A\hat{+}A=\{a_1+a_2\mid a_1,a_2\in A, a_1\neq a_2\}$ has cardinality at least $4p$. This result is the first advancement in over two decades on a variant of the Erdős-Heilbronn problem studied by Eliahou and Kervaire.

Combinatorics,Number Theory
On a Conjecture of Erdős on Locally Sparse Steiner Triple Systems

Stefan Glock,Daniela Kühn,Allan Lo,Deryk Osthus

DOI: https://doi.org/10.1007/s00493-019-4084-2

2020-04-28

COMBINATORICA

Abstract:A famous theorem of Kirkman says that there exists a Steiner triple system of order n if and only if n ≡ 1,3 mod 6. In 1973, Erdős conjectured that one can find so-called 'sparse' Steiner triple systems. Roughly speaking, the aim is to have at most j−3 triples on every set of j points, which would be best possible. (Triple systems with this sparseness property are also referred to as having high girth.) We prove this conjecture asymptotically by analysing a natural generalization of the triangle removal process. Our result also solves a problem posed by Lefmann, Phelps and Rödl as well as Ellis and Linial in a strong form, and answers a question of Krivelevich, Kwan, Loh and Sudakov. Moreover, we pose a conjecture which would generalize the Erdős conjecture to Steiner systems with arbitrary parameters and provide some evidence for this.

mathematics
The Simplicity Degree of Tarski's Euclidean Geometry of Ruler and Dividers is 5

Victor Pambuccian

DOI: https://doi.org/10.1007/s00025-024-02186-4

2024-05-23

Results in Mathematics

Abstract:We present an axiom system for the plane Euclidean geometry of ruler and dividers constructions, expressed in Tarski's language, with points as the only variables and with the predicates of betweenness and equidistance as the only primitive notions. All axioms are statements about at most 5 points, and it is known that no axiom system with all axioms statements about at most 4 points exists in that language, so the axiom system presented here can be called the simplest possible one. This corrects an error in Pambuccian (Math Chronicle 18:63–74, 1989) and shows that the Pasch axiom can be replaced by three statements, a 3-variable one, a 4-variable one, and a 5-variable one in the context of plane Euclidean geometry over Pythagorean ordered fields. Viewed from the vantage point of the weak elementary Euclidean Pasch-free geometry, the Pasch axiom turns out to be equivalent to both a universal 5-variable sentence and to a positive 5-variable sentence.

mathematics, applied
A solution to the Erdős–Sárközy–Sós problem on asymptotic Sidon bases of order 3

Pilatte,Cédric

DOI: https://doi.org/10.1112/s0010437x24007140

2024-05-10

Compositio Mathematica

Abstract:A set is a Sidon set if all pairwise sums (for , ) are distinct. A set is an asymptotic basis of order 3 if every sufficiently large integer can be written as the sum of three elements of . In 1993, Erdős, Sárközy and Sós asked whether there exists a set with both properties. We answer this question in the affirmative. Our proof relies on a deep result of Sawin on the -analogue of Montgomery's conjecture for convolutions of the von Mangoldt function.

mathematics
Non-Euclidean Erdős-Anning Theorems

David Eppstein

2024-01-22

Abstract:The Erdős-Anning theorem states that every point set in the Euclidean plane with integer distances must be either collinear or finite. More strongly, for any (non-degenerate) triangle of diameter $\delta$, at most $O(\delta^2)$ points can have integer distances from all three triangle vertices. We prove the same results for any strictly convex distance function on the plane, and analogous results for every two-dimensional complete Riemannian manifold of bounded genus and for geodesic distance on the boundary of every three-dimensional Euclidean convex set. As a consequence, we resolve a 1983 question of Richard Guy on the equilateral dimension of Riemannian manifolds. Our proofs are based on the properties of additively weighted Voronoi diagrams of these distances.

Metric Geometry,Computational Geometry
A note on "The Cartan-Hadamard conjecture and the Little Prince"

Spyridon Michalakis

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

2017-02-01

Abstract:We provide elementary proofs of Lemmas 7.1 and 7.4 appearing in "The Cartan-Hadamard conjecture and the Little Prince", by B. Kloeckner and G. Kuperberg. The Lemmas play an important role in the derivation of novel isoperimetric inequalities. The original proofs relied on Sage, a symbolic algebra package, to factor certain algebraic varieties into irreducible components.

Differential Geometry
A Textbook Case of Pentagram Rigidity

Richard Evan Schwartz

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

2021-08-17

Dynamical Systems

Abstract:In this paper I will explain a rigidity conjecture that intertwines the deep diagonal pentagram maps and Poncelet polygons. I will also establish a simple case of the conjecture, the one involving the $3$-diagonal map on a convex $8$-gon with $4$-fold rotational symmetry. This case involves a textbook analysis of a pencil of elliptic curves.

A note on Erdős's mysterious remark

A Structural Theorem for Sets With Few Triangles

A remark on a theorem of Narasimhan and Ramanan

A note on regular polyhedra over finite fields

An analog of the Furstenberg-Katznelson-Weiss theorem on triangles in sets of positive density in finite field geometries

A note on the Erdős conjecture about square packing

Variations on Pascal's Theorem

Pentagram Rigidity for Centrally Symmetric Octagons

On Optimal Point Sets Determining Distinct Triangles

A note on extremal constructions for the Erdős--Rademacher problem

A conjecture of Erdős on $p+2^k$

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

An algebraic approach to Erdős-Ko-Rado sets of flags in spherical buildings II

Some observations on Erdős matrices

Restricted sums of sets of cardinality $2p + 1$ in $\mathbb{Z}_p^2$

On a Conjecture of Erdős on Locally Sparse Steiner Triple Systems

The Simplicity Degree of Tarski's Euclidean Geometry of Ruler and Dividers is 5

A solution to the Erdős–Sárközy–Sós problem on asymptotic Sidon bases of order 3

Non-Euclidean Erdős-Anning Theorems

A note on "The Cartan-Hadamard conjecture and the Little Prince"

A Textbook Case of Pentagram Rigidity