Water retention on mathematical surfaces

Water retention on mathematical surfaces is the catching of water in ponds on a surface of cells of various heights on a regular array such as a square lattice, where water is rained down on every cell in the system. The boundaries of the system are open and allow water to flow out. Water will be trapped in ponds, and eventually all ponds will fill to their maximum height, with any additional water flowing over spillways and out the boundaries of the system. The problem is to find the amount of water trapped or retained for a given surface. This has been studied extensively for two mathematical surfaces: magic squares and random surfaces. The model can also be applied to the triangular grid.[1]

Illustration of water retention on a surface.

Magic squares

A 5×5 magic square with the maximal retention.

Magic squares have been studied for over 2000 years. In 2007, the idea of studying the water retention on a magic square was proposed.[2] In 2010, a competition at Al Zimmermann's Programing Contests[3] produced the presently known maximum retention values for magic squares order 4 to 28.[4] Computing tools used to investigate and illustrate this problem are found here.[5][6][7][8]


There are 4,211,744 different retention patterns for the 7×7 square. A combination of a lake and ponds is best for attaining maximum retention. No known patterns for maximum retention have an island in a pond or lake.[2]

Maximum-retention magic squares for orders 7-9 are shown below:[4]

The figures below show the 10x10 magic square. Is it possible to look at the patterns above and predict what the pattern for maximum retention for the 10x10 square will be? No theory has been developed that can predict the correct combination of lake and ponds for all orders, however some principles do apply. The first color-coded figure shows a design principle of how the largest available numbers are placed around the lake and ponds. The second and third figures show promising patterns that were tried but did not achieve maximum retention.[2]

Several orders have more than one pattern for maximum retention. The figure below shows the two patterns for the 11x11 magic square with the apparent maximum retention of 3,492 units:[4]

The most-perfect magic squares require all (n-1)^2 or in this case all 121 2x2 planar subsets to have the same sum. ( a few examples flagged with yellow background, red font). Areas completely surrounded by larger numbers are shown with a blue background.[9]

Before 2010 if you wanted an example of a magic square larger than 5×5 you had to follow clever construction rules that provided very isolated examples. The 13x13 pandiagonal magic square below is such an example. Harry White's CompleteSquare Utility [5] allows anyone to use the magic square as a potter would use a lump of clay. The second image shows a 14x14 magic square that was molded to form ponds that write the 1514 - 2014 dates. The animation notes how the surface was sculptured to fill all ponds to capacity before the water flows off the square. This square honors the 500th anniversary of Durer's famous magic square in Melencolia I.

This figure also provides an example of a square and its complement that have the same pattern of retention. There are 137 order 4 and 3,254,798 order 5 magic squares that do not retain water.[2]

16 x 16 associative magic square retaining 17840 units. The lake in the first image looks a little uglier than common. Jarek Wroblewski notes that good patterns for maximum retention will have equal or near equal number of retaining cells on each peripheral edge ( in this case 7 cells on each edge) [3] The second image is doctored, shading in the top and bottom 37 values.

The figure below is a 17x17 Luo-Shu format magic square.[10] The Luo-Shu format construction method seems to produce a maximum number of ponds. The drainage path for the cell in green is long eventually spilling off the square at the yellow spillway cell.

The figure to the right shows what information can be derived from looking at the actual water content for each cell. Only the 144 values are highlighted to keep the square from looking too busy. Focusing on the green cell with a base value 7, the highest obstruction on the path out is its neighbor cell with the value of 151 (151-7=144 units retained). Water rained into this cell exits the square at the yellow 10 cell.


Mario Mamzeris invented his own method for constructing odd order magic squares. His Order 19 associative magic square is shown below.[11]





The computer age now allows for the exploration of the physical properties of magic squares of any order. The figure below shows the largest magic square studied in the contest. For L > 20 the number of variables/ equations increases to the point where it makes the pattern for maximum retention predictable.

L = 28: 219822 units of retention
152596592577137122822562836572556562847267252542856542532865567367447164573
96406642571726277167157142866829744303173074350681680679515267820664611
265665355722496618714849512172140077441813017629354174947910617538914823068243644
66314724356313513751891984492137758747853913932660451750461566141442638477677276
2667201645723542264911715121177762472445034358562940614463475159246212513451444672
711155651161003575791126377771084694335468055952546852622714675236855732821246671
710161531742221193536277786429745654447417847341056351533140338775340256930445670
70917703251685094457791663664018392482129338408492585529369298424754582519676275
26771915610345553178039135853776142367309522245320437632386545497224123755161675277
264718444600508781196553653524883446241042165519861637029423310141649010975647652
66218723417782310564606420483359518548246475586283855716914922333523586113733274
2636692187831274295817739913688351602538636635371220745709963354349850217348727
66119784407179184195609393495203567360576394384388137625154523229489485219314738279
26874859730750561544131558356219454244635037258831644312016289102560317110329737272
7292052117723234012841115212233424160538336141257820261973611549589587432568736278
26274668580242187558183398601594182373296460349332556205419614323547586207114735273
269745458131111783376105326126223825936555444836261382574172493466126145630734280
2617471584655982214592145241673746085334093193305953481814283054535841996176533651
6602177353656194345165204381621528447211500135452342363301396527185225764306666281
270694517772392431312240375190617151913243335202312155113475402389776341370749650
2606931054057715502953803023363116202341334271975161509060736442576248667530703271
536923001636317703761911575524144155554226265903395077918814776143030843613270254
6832239742353537976915542149432245439021751062310720059118676034134659323711524696
684232281183775753037683275344875734384724575994644391437596041381607239512432697
480691209378440504140501767812011594042104675775716975819342647093596639180701499
64825869529919220848132131876646396635068423623975734370845024317043460370662641
10649386903937689688687407323674274174073973141667357054234137046664312
266472876866852882522516582897282502492902482916552926535669869970047664284
Jarek Wroblewski March 24, 2010

This is a 32x32 panmagic square. Dwane Campbell using binary construction methods produced this interesting water retention example.[12] The GET TYPE utility applied to this square shows that it has the following properties: 1) normal magic 2) pandiagonal 3) bent diagonal two way 4) self-complement.

Random surfaces

Water retention on a random surface of 10 levels.
Water retention on five levels.

Another system in which the retention question has been studied is a surface of random heights. Here one can map the random surface to site percolation, and each cell is mapped to a site on the underlying graph or lattice that represents the system. Using percolation theory, one can explain many properties of this system. It is an example of the invasion percolation model in which fluid is introduced in the system from any random site.[13][14][15]

In hydrology, one is concerned with runoff and formation of catchments.[16] The boundary between different drainage basin (watersheds in North America) forms a drainage divide with a fractal dimension of about 1.22.[17] [18] [19]

The retention problem can be mapped to standard percolation.[20][21][22] For a system of five equally probable levels, for example, the amount of water stored R5 is just the sum of the water stored in two-level systems R2(p) with varying fractions of levels p in the lowest state:

R5 = R2(1/5) + R2(2/5) + R2(3/5) + R2(4/5)

Typical two-level systems 1,2 with p = 0.2, 0.4, 0.6, 0.8 are shown on the right (blue: wet, green: dry, yellow: spillways bordering wet sites). The net retention of a five-level system is the sum of all these. The top level traps no water because it is far above the percolation threshold for a square lattice, 0.592746.

The retention of a two-level system R2(p) is the amount of water connected to ponds that do not touch the boundary of the system. When p is above the critical percolation threshold p c, there will be a percolating cluster or pond that visits the entire system. The probability that a point belongs to the percolating or "infinite" cluster is written as P in percolation theory, and it is related to R2(p) by R2(p)/L2 = p  P where L is the size of the square. Thus, the retention of a multilevel system can be related to a well-known quantity in percolation theory.

To measure the retention, one can use a flooding algorithm in which water is introduced from the boundaries and floods through the lowest spillway as the level is raised. The retention is just the difference in the water level that a site was flooded minus the height of the terrain below it.

Besides the systems of discrete levels described above, one can make the terrain variable a continuous variable say from 0 to 1. Likewise, one can make the surface height itself be a continuous function of the spatial variables. In all cases, the basic concept of the mapping to an appropriate percolation system remains.

A curious result is that a square system of n discrete levels can retain more water than a system of n+1 levels, for sufficiently large order L > L*. This behavior can be understood through percolation theory, which can also be used to estimate L* ≈ (p - pc)−ν where ν = 4/3, p = i*/n where i* is the largest value of i such that i/n < pc, and pc = 0.592746 is the site percolation threshold for a square lattice. Numerical simulations give the following values of L*, which are extrapolated to non-integer values. For example, R2 < R3 for L ≤ 51, but R2 > R3 for L ≥ 52:[20]

n n+1 L* Retention at L*
2 3 51.12 790
4 5 198.1 26000
7 8 440.3 246300
9 10 559.1 502000
12 13 1390.6 428850
14 15 1016.3 2607000

As n gets larger, crossing become less and less frequent, and the value of L* where crossing occurs is no longer a monotonic function of n.

The retention when the surface is not entirely random but correlated with a Hurst exponent H is discussed in.[22]

Algorithms

The following time line shows the application of different algorithms that have expanded the size of the square that can be evaluated for retention

2007 Define all neighbor-avoiding walks from each interior cell to the exterior and then sort all those paths for the least obstruction or cell value. The least obstruction value minus the interior cell value provides the water retention for that interior cell (negative values are set to a retention value of 0). The number of neighbor-avoiding walks to be evaluated grows exponentially with the square size and thus limits this methodology to L < 6.[2]

2009 Flooding algorithm - water is introduced from the boundaries and floods through the lowest spillway as the level is raised. The retention is just the difference in the water level that a site was flooded minus the height of the terrain below it. The flooding algorithm allows for the evaluation of water retention up to L < 10,000.[20] This algorithm is similar to Meyer's flooding algorithm that has been used in analysis of topographical surfaces.

2011 With the realization that an n-level system can be broken down into a collection of two-level systems with varying probabilities, standard percolation algorithms can be used to find the retention as simply the total number of sites at the lower level minus the draining regions (clusters of low-level sites touching the boundary). A novel application of the Hoshen-Kopelman algorithm in which both rows and columns are added one at a time allows L to be very large (up to 109), but computing time considerations limits L to the order of 107.[23]

Paths that drain water off the square, used in the neighbor-avoiding walk algorithm

The panel below from left to right shows: 1) the three unique interior positions for the 5×5 square; 2 & 4) correct paths off the square in grey for the interior corner cell in red; 3) incorrect path in grey as the water cannot travel on the diagonals; 5) this path is correct but there is a short-circuit possible between the grey cells. Neighbor-avoiding walks define the unique or non-redundant paths that drain water off the square.

gollark: Oh, no, they said ||in <#424394851170385923> they had made a "taser" or something||.
gollark: WHY DID YOU INVOKE HIM
gollark: -70 degrees sounds like it would be fatal or at least quite bad for you for long durations.
gollark: Are you some sort of alien from Pluto?
gollark: It was reworked completely in Tinkers Construct 2 or something.

See also

References

  1. https://oeis.org/A303295 OEIS A303295
  2. Craig Knecht, http://www.knechtmagicsquare.paulscomputing.com
  3. Al Zimmermann http://www.azspcs.net/Contest/MagicWater/FinalReport
  4. Harvey Heinz, http://www.magic-squares.net/square-update-2.htm#Knecht
  5. Harry White, http://budshaw.ca/Download.html
  6. Walter Trump http://www.trump.de/magic-squares/
  7. Johan Ofverstedt,http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-176018
  8. Hasan M., Masbaul Alam Polash M. (2020) An Efficient Constraint-Based Local Search for Maximizing Water Retention on Magic Squares. In: Hitendra Sarma T., Sankar V., Shaik R. (eds) Emerging Trends in Electrical, Communications, and Information Technologies. Lecture Notes in Electrical Engineering, vol 569. Springer, Singapore
  9. Sloane, N. J. A. (ed.). "Sequence A270205 (Number of 2 X 2 planar subsets in an n X n X n cube)". The On-Line Encyclopedia of Integer Sequences. OEIS Foundation.
  10. Harvey Heinz,http://www.magic-squares.net/square-update.htm
  11. https://www.oddmagicsquares.com
  12. http://magictesseract.com
  13. Chayes, J. T.; L. Chayes; C. M. Newman (1985). "The stochastic geometry of invasion percolation". Communications in Mathematical Physics. 101 (3): 383–407. Bibcode:1985CMaPh.101..383C. doi:10.1007/BF01216096.
  14. Damron, Michael; Artëm Sapozhnikov; Bálint Vágvölgyi (2009). "Relations between invasion percolation and critical percolation in two dimensions". Annals of Probability. 37 (6): 2297–2331. arXiv:0806.2425. doi:10.1214/09-AOP462.
  15. van den Berg, Jacob; Antal Járai; Bálint Vágvölgyi (2007). "The size of a pond in 2D invasion percolation". Electronic Communications in Probability. 12: 411–420. arXiv:0708.4369. Bibcode:2007arXiv0708.4369V. doi:10.1214/ECP.v12-1327.
  16. Tetzlaff, D.; McDonnell, J. J.; Uhlenbrook, S.; McGuire, K. J.; Bogaart, P. W.; Naef, F.; Baird, A. J.; Dunn, S. M.; Soulsby, C. (2011). "Conceptualizing catchment processes: simply too complex?". Hydrological Processes. 22 (11): 1727–1730. Bibcode:2008HyPr...22.1727T. doi:10.1002/hyp.7069.
  17. Fehr, E.; D. Kadau; N. A. M. Araújo; J. S. Andrade Jr; H. J. Herrmann (2011). "Scaling Relations for Watersheds". Physical Review E. 84 (3): 036116. arXiv:1106.6200. Bibcode:2011PhRvE..84c6116F. doi:10.1103/PhysRevE.84.036116. PMID 22060465.
  18. Schrenk, K. J.; N. A. M. Araújo; J. S. Andrade Jr; H. J. Herrmann (2012). "Fracturing Ranked Surfaces". Scientific Reports. 2: 348. arXiv:1103.3256. Bibcode:2012NatSR...2E.348S. doi:10.1038/srep00348. PMC 3317236. PMID 22470841.
  19. Fehr, E.; D. Kadau; J. S. Andrade Jr; H. J. Herrmann (2011). "Impact of Perturbations on Watersheds". Physical Review Letters. 106 (4): 048501. arXiv:1101.5890. Bibcode:2011PhRvL.106d8501F. doi:10.1103/PhysRevLett.106.048501. PMID 21405368.
  20. Knecht, Craig; Walter Trump; Daniel ben-Avraham; Robert M. Ziff (2012). "Retention capacity of random surfaces". Physical Review Letters. 108 (4): 045703. arXiv:1110.6166. Bibcode:2012PhRvL.108d5703K. doi:10.1103/PhysRevLett.108.045703. PMID 22400865.
  21. Baek, Seung Ki; Beom Jun Kim (2012). "Critical Condition of the Water-Retention Model". Physical Review E. 85 (3): 032103. arXiv:1111.0425. Bibcode:2012PhRvE..85c2103B. doi:10.1103/PhysRevE.85.032103. PMID 22587136.
  22. Schrenk, K. J.; N. A. M Araújo; R. M. Ziff; H. J. Herrmann (2014). "Retention capacity of correlated surfaces". Physical Review E. 89 (6): 062141. arXiv:1403.2082. Bibcode:2014PhRvE..89f2141S. doi:10.1103/PhysRevE.89.062141. PMID 25019758.
  23. Hoshen, Joseph (1998). "On the application of the enhanced Hoshen-Kopelman algorithm for image analysis". Pattern Recognition Letters. 19 (7): 575–584. doi:10.1016/S0167-8655(98)00018-x.

Further reading

  • Pickover, Clifford (2002). The Zen of Magic Squares, Circles, and Stars: An Exhibition of Surprising Structures Across Dimensions. Princeton, NJ: Princeton University Press. ISBN 978-0-691-11597-9.
  • Stauffer, Dietrich; Aharony, A. (1994). Introduction to Percolation Theory. London Bristol, PA: Taylor & Francis. ISBN 978-0-7484-0253-3.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.