Covering a square by congruent squares
Pith reviewed 2026-05-16 12:16 UTC · model grok-4.3
The pith
The largest square coverable by n unit squares has the same size for full covering and boundary covering when n is at most 4, but the sizes differ when n equals 5.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The problems of covering a square and covering its boundary by n unit squares are equivalent for n ≤ 4 but inequivalent for n = 5. Explicit optimal coverings are constructed for both problems when n = 5.
What carries the argument
The side-length function S(n) for the largest square coverable by n congruent unit squares, together with its boundary-covering counterpart.
If this is right
- For n ≤ 4 any optimal full covering can be replaced by a boundary-only covering of the same size.
- At n=5 the full-covering optimum exceeds the boundary-covering optimum.
- The explicit constructions for n=5 give the exact numerical values of both S(5) and its boundary analogue.
Where Pith is reading between the lines
- The separation at n=5 suggests that interior points begin to constrain the arrangement more tightly than boundary points alone.
- Similar divergence may appear at larger n, making boundary covering a useful but incomplete proxy for full covering.
- The exact constructions for n=5 can serve as base cases for recursive or computational searches at higher n.
Load-bearing premise
The optimal coverings for n=5 are attained by finite, explicitly describable arrangements of the five unit squares whose side lengths can be computed exactly from the geometry.
What would settle it
Discovery of a square larger than the reported S(5) that can still be covered by five unit squares, or a mathematical proof that the given arrangement is maximal.
Figures
read the original abstract
The main goal of this paper is to address the following problem: given a positive integer $n$, find the largest value $S(n)$ such that a square of edge length $S(n)$ in the Euclidean plane can be covered by $n$ unit squares. We investigate also the variant in which the goal is to cover only the boundary of a square. We show that these two problems are equivalent for $n \leq 4$, but not for $n=5$. For both problems, we also present the solutions for $n=5$.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the largest side length S(n) such that a square of side S(n) can be covered by n unit squares, together with the variant problem of covering only the boundary of the target square. It proves equivalence of the two problems for n ≤ 4, shows they diverge at n = 5, and supplies explicit geometric constructions together with the resulting algebraic values of S(5) for both variants.
Significance. If the optimality of the n = 5 constructions is established, the work supplies the first exact values beyond the trivial cases n ≤ 4 and clarifies the relationship between full-covering and boundary-covering problems. The explicit algebraic solutions obtained from the contact graphs are a concrete contribution to the literature on square coverings.
major comments (2)
- [Section presenting solutions for n=5] The central claim that the exhibited five-square arrangements attain the optimal S(5) for both the full-covering and boundary-covering problems is not supported by a proof of maximality. The manuscript solves the algebraic system arising from a specific contact graph but contains no case analysis of alternative topologies, rotation angles, or overlap patterns that would rule out a strictly larger covering. This gap is load-bearing for the n = 5 results.
- [Section on non-equivalence at n=5] The non-equivalence statement for n = 5 requires an explicit boundary covering whose side length exceeds every possible full-square covering. While one boundary configuration is displayed, the argument that no full-square covering can match or exceed it again rests on the unproven assumption that the enumerated full coverings are globally maximal.
minor comments (2)
- [Figures illustrating n=5 coverings] Figure captions should explicitly state the computed numerical value of S(5) for each configuration so that the algebraic solution can be checked against the drawing without consulting the text.
- [Introduction and n=5 sections] Notation for the side length of the target square is introduced as S(n) in the abstract but occasionally appears as s(n) in the body; a single consistent symbol should be used throughout.
Simulated Author's Rebuttal
We thank the referee for the detailed and constructive report. The comments correctly identify that the n=5 optimality claims require explicit justification beyond solving the algebraic systems for the chosen contact graphs. We address each major comment below and will revise the manuscript to supply the missing case analysis.
read point-by-point responses
-
Referee: [Section presenting solutions for n=5] The central claim that the exhibited five-square arrangements attain the optimal S(5) for both the full-covering and boundary-covering problems is not supported by a proof of maximality. The manuscript solves the algebraic system arising from a specific contact graph but contains no case analysis of alternative topologies, rotation angles, or overlap patterns that would rule out a strictly larger covering. This gap is load-bearing for the n = 5 results.
Authors: We agree that the current text derives the algebraic values from the displayed contact graphs without a systematic enumeration of all feasible topologies, angles, and overlap patterns. In the revision we will add a dedicated subsection that classifies possible contact graphs for five unit squares, bounds the admissible rotation angles, and shows by exhaustive case analysis that no configuration yields a strictly larger covering square. This will establish maximality for both the full-covering and boundary-covering variants. revision: yes
-
Referee: [Section on non-equivalence at n=5] The non-equivalence statement for n = 5 requires an explicit boundary covering whose side length exceeds every possible full-square covering. While one boundary configuration is displayed, the argument that no full-square covering can match or exceed it again rests on the unproven assumption that the enumerated full coverings are globally maximal.
Authors: The non-equivalence claim will be made rigorous once the maximality proof for the full-covering problem is supplied. In the revised manuscript we will first prove that the full-covering construction is optimal, then directly compare its algebraic value with the larger value obtained from the boundary-covering construction, thereby confirming that the two problems diverge at n=5. revision: yes
Circularity Check
No circularity detected in derivation
full rationale
The paper derives its results for S(n) by exhibiting explicit geometric arrangements of n unit squares, solving the resulting finite algebraic systems for the maximal coverable side length, and directly comparing the full-cover and boundary-cover problems for small n. No equations or definitions reduce a claimed prediction to a fitted input by construction, no self-citations serve as load-bearing uniqueness theorems, and no ansatz is smuggled in. The central claims rest on verifiable constructions and case-by-case geometric arguments that are independent of the final numerical values.
Axiom & Free-Parameter Ledger
axioms (1)
- standard math The ambient space is the Euclidean plane with the standard metric.
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
S(3) = √φ where φ is the golden ratio; explicit configurations for n=5 using L-shapes and homotheties
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
-
[1]
Published electronically at http://oeis.org, accessed: 26 March 2021
The on-line encyclopedia of integer sequences, sequence a005842. Published electronically at http://oeis.org, accessed: 26 March 2021
work page 2021
-
[2]
Optimization Letters 16, 2775–2785 (2022)
Balogh, J., Dosa, G., Hvattum, L.M., Olaj, T.A., Tuza, Zs.: Guillotine cutting is asymptoti- cally optimal for packing consecutive squares. Optimization Letters 16, 2775–2785 (2022)
work page 2022
-
[3]
Annals of Operations Research 350, 911–926 (2025)
Balogh, J., Dosa, G., Hvattum, L.M., Olaj, T.A., Szalkai, I., Tuza, Zs.: Covering a square with consecutive squares. Annals of Operations Research 350, 911–926 (2025). https://doi.org/10.1007/s10479-025-06633-5
-
[4]
Preprint MATH-NM-04-2016, TU Dresden (2016)
Buchwald, T., Scheithauer, G.: A 5/9 theorem on packing squares into a square. Preprint MATH-NM-04-2016, TU Dresden (2016). http://www.math.tu-dresden.de/∼scheith/ ABSTRACTS/PREPRINTS/16-5-9-Theorem.pdf
work page 2016
-
[5]
Thomas Nelson and Sons Ltd., London 1931, Problem 219
Dudeney, H.E.: Puzzles and Curious Problems. Thomas Nelson and Sons Ltd., London 1931, Problem 219
work page 1931
-
[6]
Journal of Combinatorial Theory Ser
Erd˝ os, P., Graham, R.L.: On packing squares with equal squares. Journal of Combinatorial Theory Ser. A 19, 119–123 (1975)
work page 1975
-
[7]
Electronic Journal of Combinatorics, ds7v1-1998
Friedman, E.: Packing unit squares in squares: A survey and new results. Electronic Journal of Combinatorics, ds7v1-1998
work page 1998
-
[8]
Friedman, E., Paterson, D.: Covering squares with unit squares. Geombinatorics 15(3) (2006). https://erich-friedman.github.io/papers/squares/squares.html?utm source=chatgpt.com
work page 2006
-
[9]
Perkins’ quilt, and answers to last month’s puzzles
Gardner, M.: Mathematical games: The problem of Mrs. Perkins’ quilt, and answers to last month’s puzzles. Scientific American 215(3), 264–272 (1966)
work page 1966
-
[10]
Perkins’ quilt and other square-packing problems
Gardner, M.: Mrs. Perkins’ quilt and other square-packing problems. In: Mathematical Carnival. New York: Alfred A. Knopf. 139–149, 1975
work page 1975
-
[11]
Computational Geometry 44(8), 456–463 (2011)
Hougardy, S.: On packing squares into a rectangle. Computational Geometry 44(8), 456–463 (2011)
work page 2011
-
[12]
Hougardy, S.: A scale invariant algorithm for packing rectangles perfectly. In: Proceedings of the Fourth International Workshop on Bin Packing and Placement Constraints (BPPC’12) (2012). http://www.or.uni-bonn.de/hougardy/paper/PerfectPacking.pdf
work page 2012
-
[13]
American Mathematical Monthly 116(2), 174-178 (2009)
Januszewski, J.: A note on covering a square of side length 2+εwith unit squares. American Mathematical Monthly 116(2), 174-178 (2009)
work page 2009
-
[14]
Kleitman, D.J., Krieger, M.M.: An optimal bound for two dimensional bin packing. In: Proceedings of the 16th Annual Symposium on Foundations of Computer Science, IEEE, Long Beach, pp. 163–168 (1975)
work page 1975
-
[15]
Korf, R.E.: Optimal rectangle packing: Initial results. In: Proceedings of the 13th Inter- national Conference on Automated Planning and Scheduling (ICAPS 2003), pp. 287–295 (2003)
work page 2003
-
[16]
Korf, R.E.: Optimal rectangle packing: New results. In: Proceedings of the 14th International Conference on Automated Planning and Scheduling (ICAPS 2004), pp. 142–149 (2004)
work page 2004
-
[17]
https://webhome.auburn.edu/˜kuperwl/, the homepage of Wlodzimierz (Wlodek) Kuper- berg, download at 23.09.2025
work page 2025
-
[18]
Colloquium Mathematicae 17(1), 103–110 (1967)
Moon, J.W., Moser, L.: Some packing and covering theorems. Colloquium Mathematicae 17(1), 103–110 (1967)
work page 1967
-
[19]
Mathematics Magazine 81, 358–361 (2008)
Praton, I.: Packing squares in a square. Mathematics Magazine 81, 358–361 (2008). https://api.semanticscholar.org/CorpusID:125890967
work page 2008
-
[20]
Theoretical Computer Science 1060 (2026)
Sgall, J., Balogh, J., B´ ek´ esi, J., D´ osa, G., Hvattum, L.M., Tuza, Zs.: No tiling of the 70*70 square with consecutive squares. Theoretical Computer Science 1060 (2026)
work page 2026
-
[21]
Soifer, A.: Cover-up squared. Geombinatorics XIV(4) (2005)
work page 2005
-
[22]
Soifer, A.: Cover-up squared II. Geombinatorics XV(1) (2005)
work page 2005
-
[23]
Journal of Combinatorial Theory Ser
Soifer, A.: Covering a square of siden+εwith unit squares. Journal of Combinatorial Theory Ser. A 113, 380–383 (2006)
work page 2006
-
[24]
Watson, G., Messenger of Mathematics, New Series 48, 1–22 (1918). Gy¨orgy D´osa, Department of Mathematics, University of Pannonia, Veszpr´em, Hun- gary Email address:dosa.gyorgy@mik.uni-pannon.hu COVERING A SQUARE 13 Zsolt L´angi, Bolyai Institute, University of Szeged, Szeged, Hungary, and, Alfr ´ed R´enyi Institute of Mathematics, Budapest, Hungary Ema...
work page 1918
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.