arXiv reader

Full Grid Lattice Polygons with Maximal Sum of Squares of Edge-Lengths

Oliver Mantas Ališauskas, Giedrius Alkauskas and Valdas Dičiūnas

arXiv
2311.03011v2 · PDF · 20 May 2024
Categories
math.CO
Licence
CC BY 4.0 The site shows the text.

Abstract

Consider a subset [1,2,...,n]x[1,2,...,n] of the plane integer lattice. Take any non self-intersecting n^2-gon built on it (straight angles are allowed). The square of a side length is a positive integer. It is thus natural to ask how large the sum of square lengths of such an n^2-gon can be. This maximal value is a new integer sequence, labeled by A358212 in OEIS. In this note we give the lower bound and conjecture that this in fact is the correct answer. We further investigate proper n^2-gons (straight angles are not allowed) and present analogous results. Both sequences (conjecturally) have a different growth size.

Items 5

Definition

Definition Definition (Two main sequences)

MKWE

We define a sequence a(n) by setting a(n) to be the maximal possible value among s(L) for all such L. Equally, let a_{0}(n) be the maximum value of s(L) among proper n^2-gons (straight angles are not allowed).

Theorem

Theorem Theorem

VF82

Let us define a sequence \alpha(n), n\in\mathbb{N}, by setting

\begin{aligned} \def2.0{2.0} \alpha(n)=\frac{8}{27}n^4-\frac{464}{729}n^3+\left\{\begin{array}{l@{\qquad}r} -\,\,\,\,\,\frac{4}{3}n^2+\,\,\,\,6n-\,\,\,\,\,\,2,\, n\equiv 0;\quad -\frac{292}{243}n^2+\frac{922}{243}n-\frac{1642}{729},\, n\equiv 1;\\ -\frac{308}{243}n^2+\frac{946}{243}n-\frac{1724}{729},\, n\equiv 2;\quad -\,\,\,\,\frac{4}{3}n^2+\frac{158}{27}n-\,\,\,\, \frac{64}{27},\, n\equiv 3;\\ -\frac{292}{243}n^2+\frac{886}{243}n-\frac{1804}{729},\, n\equiv 4;\quad -\frac{308}{243}n^2+\frac{874}{243}n-\frac{1400}{729},\, n\equiv 5;\\ -\,\,\,\,\frac{4}{3}n^2+\frac{158}{27}n-\,\,\,\,\frac{44}{27},\, n\equiv 6;\quad -\frac{292}{243}n^2+\frac{886}{243}n-\frac{1264}{729},\, n\equiv 7;\\ -\frac{308}{243}n^2+\frac{946}{243}n-\frac{1292}{729},\, n\equiv 8. \end{array}\right. \end{aligned}

here n\equiv i is an abbreviation of a clause “if n\equiv i\,\mathrm{ (mod}\,9)".

Then for n\geq 9, one has a bound a(n)\geq \alpha(n).

Proposition

Proposition 1

473F

Define the sequence \beta(n) by

\begin{aligned} \def2.0{2.0} \beta(n)=\frac{8}{27}\,n^4-\frac{32}{27}\,n^3+\frac{16}{3}\,n^2-18n+20+\left\{\begin{array}{r@{\qquad}r} 0,\text{ if } n\equiv 0\,\mathrm{ (mod}\,3),\\ \displaystyle{-\frac{8n+4}{27}},\text{ if } n\equiv 1\,\mathrm{ (mod}\,3),\\ \displaystyle{-\frac{16n-16}{27}},\text{ if } n\equiv 2\,\mathrm{ (mod}\,3). \end{array}\right. \end{aligned}

Then a(n)\geq \beta(n).

Proposition

Proposition 2

2LNT

Let n\geq 9, 1\leq p,q\leq n-3. The described construction with p fjords at the bottom and q fjords to the right gives the sum

\begin{aligned} s(n;p,q)&=\beta(n)-4n^2+20n-18\\ &+&p(n-p-2)^2+p(n-p-1)^2-U(p+2)-p\\ &+&q(n-q-2)^2+q(n-q-1)^2-U(q+1)-q. \end{aligned}

The maximum is achieved when p=\lfloor\frac{n-3}{3}\rfloor and, respectively, q=\lfloor\frac{n-2}{3}\rfloor.

Source and licence

The text on this page is from arXiv:2311.03011v2 by Oliver Mantas Ališauskas, Giedrius Alkauskas and Valdas Dičiūnas, under the licence CC BY 4.0. The corpus made these changes: it read the items out of the LaTeX source, it expanded the macros of the paper, it put each proof after its statement, and it converted the text to HTML. The formulas are the TeX of the paper, and KaTeX renders them. A formula or a reference can look different from the PDF. The page is published under CC BY 4.0.

The record of each item is in analysis/objects/2311/2311.03011.jsonl.