11453

Possible Counterexamples to the Minimal Squaring Conjecture

The Demonstration Minimally Squared Rectangles divides a rectangle into a minimal number of integer-sided squares. For example, a rectangle can be divided into no fewer than 12 squares, so let . The minimal squaring conjecture implies that for any integer multiple , the same number of squares will be needed, or .
This Demonstration shows examples where in the best-known dissections.
Some of the smaller rectangles presented here are likely not minimal (see Details), and those would not be actual counterexamples, perhaps 30% by the oblong conjecture [1]. It is also very likely that at least one of the examples presented here is a true counterexample. The number of squares and the rectangle dimensions are shown above each figure.

SNAPSHOTS

  • [Snapshot]
  • [Snapshot]
  • [Snapshot]

DETAILS

The conjecture has been verified for all rectangles with as shown at [2]. The method there uses Young tableaux theory, which gets very slow above size 380.
At [3], many squared rectangles are available that were built with the method of electrical resistance on a graph. Kirchhoff's first law is that except at a pole, the sum of the currents for any node is zero. A given graph leads to a squared rectangle, where the horizontal edges correspond to nodes and squares correspond to edges. For each horizontal edge, the sum of the squares directly over an edge squares the sum of squares directly under the edge. Perusing the squared rectangles available yielded many possible counterexamples to the minimal squaring conjecture.
The rectangles at [4] are based on planar 3-connected graphs. For 6 to 13 edges, there are 1, 0, 1, 2, 2, 4, 12, 22 such graphs ([5, A002840]). But it is possible to build rectangles from planar 2-connected graphs that have a count of 3, 7, 15, 39, 106, 316, 1026, 1643 ([5, A289471]) for 6 to 13 edges. The rectangles based on 2-connected graphs always feature two neighboring squares of the same size.
References
[1] E. Pegg Jr. "Oblongs into Minimal Squares." Mathematics Stack Exchange. (Jul 11, 2017) math.stackexchange.com/questions/2057290/oblongs-into-minimal-squares.
[2] B. Felgenhauer. "Filling Rectangles with Integer-Sided Squares." (Jul 11, 2017) int-e.eu/~bf3/squares.
[3] S. Anderson. "Squaring.Net 2016." (Jul 11, 2017) www.squaring.net.
[4] Wolfgang. "Tiling a Rectangle with the Smallest Number of Squares." MathOverflow. (Jul 11, 2017) mathoverflow.net/questions/116382/tiling-a-rectangle-with-the-smallest-number-of-squares.
[5] The OEIS Foundation. The Online Encyclopedia of Integer Sequences. A002840, A289471. oeis.org.
    • Share:

Embed Interactive Demonstration New!

Just copy and paste this snippet of JavaScript code into your website or blog to put the live Demonstration on your site. More details »

Files require Wolfram CDF Player or Mathematica.









 
RELATED RESOURCES
Mathematica »
The #1 tool for creating Demonstrations
and anything technical.
Wolfram|Alpha »
Explore anything with the first
computational knowledge engine.
MathWorld »
The web's most extensive
mathematics resource.
Course Assistant Apps »
An app for every course—
right in the palm of your hand.
Wolfram Blog »
Read our views on math,
science, and technology.
Computable Document Format »
The format that makes Demonstrations
(and any information) easy to share and
interact with.
STEM Initiative »
Programs & resources for
educators, schools & students.
Computerbasedmath.org »
Join the initiative for modernizing
math education.
Step-by-Step Solutions »
Walk through homework problems one step at a time, with hints to help along the way.
Wolfram Problem Generator »
Unlimited random practice problems and answers with built-in step-by-step solutions. Practice online or make a printable study sheet.
Wolfram Language »
Knowledge-based programming for everyone.
Powered by Wolfram Mathematica © 2017 Wolfram Demonstrations Project & Contributors  |  Terms of Use  |  Privacy Policy  |  RSS Give us your feedback
Note: To run this Demonstration you need Mathematica 7+ or the free Mathematica Player 7EX
Download or upgrade to Mathematica Player 7EX
I already have Mathematica Player or Mathematica 7+