cp's OEIS Frontend

A270205 Number of 2 X 2 planar subsets in an n X n X n cube.

%I A270205 #103 Feb 19 2024 01:35:56
%S A270205 0,0,6,36,108,240,450,756,1176,1728,2430,3300,4356,5616,7098,8820,
%T A270205 10800,13056,15606,18468,21660,25200,29106,33396,38088,43200,48750,
%U A270205 54756,61236,68208,75690,83700,92256
%N A270205 Number of 2 X 2 planar subsets in an n X n X n cube.
%C A270205 William H. Press looked at the hybrid structure of a most-perfect magic square and the Hilbert space filling curve and thought it might be the "most uniform" way of putting the consecutive integers in a 2-d square. He thought a definition of "most uniform" would be useful.
%C A270205 Al Zimmermann suggested this: Start by defining the "non-uniformity of a distribution of integers among the cells of a square [or cube or hypercube]" to be the standard deviation of the sums of the 2 X 2 planar subsets. Then define a "most uniform distribution of integers" to be a distribution with the smallest non-uniformity. For both the most-perfect square and most-perfect cube the non-uniformity is 0 and so each is a most uniform distribution. (Of course, you'd want a better word for "non-uniformity". Skewness?) Perhaps use "2 X 2 planar subset" instead of "2 X 2 partition"?
%C A270205 Comment from Dwane Campbell: For cubes, the definition of compact is that all 2 X 2 X 2 subcubes add to the same sum. That definition also includes wrap around. Your most perfect space cube is compact. It has the additional constraint that each orthogonal plane is also compact. There are 64 2 X 2 X 2 subcubes that add to 260 and 192 2 X 2 subsquares that add to 130 in your cube. I did not think either result was possible. Congratulations!
%C A270205 The most-perfect order 4 cube and the reversible order 4 cube are the new findings to look at in the link section.
%C A270205 Most-perfect magic squares require every 2 X 2 cell block to have the same sum. This sequence looks at that same subset in the cube.
%C A270205 Most-perfect space is defined as a structure where all these 2 X 2 subsets have the same sum.
%C A270205 What structure provides the most uniform distribution of integers in a cube?
%C A270205 a(n+1) is the number of unit faces required to make an n X n X n cubic lattice. Number of unit edges required for the same is A059986(n). - _Mohammed Yaseen_, Aug 22 2021
%C A270205 a(n-3) is the maximum sigma irregularity over all maximal 3-degenerate graphs with n vertices.  The extremal graphs are 3-stars (K_3 joined to n-3 independent vertices).  (The sigma irregularity of a graph is the sum of the squares of the differences between the degrees over all edges of the graph.) - _Allan Bickle_, Jun 14 2023
%H A270205 G. C. Greubel, <a href="/A270205/b270205.txt">Table of n, a(n) for n = 0..1000</a>
%H A270205 Allan Bickle and Zhongyuan Che, <a href="https://doi.org/10.1016/j.dam.2023.01.020">Irregularities of Maximal k-degenerate Graphs</a>, Discrete Applied Math. 331 (2023) 70-87.
%H A270205 Allan Bickle, <a href="https://doi.org/10.20429/tag.2024.000105">A Survey of Maximal k-degenerate Graphs and k-Trees</a>, Theory and Applications of Graphs 0 1 (2024) Article 5.
%H A270205 Craig Knecht, <a href="/A270205/a270205.pdf">Cube assembly from different 2x2 planar criteria</a>.
%H A270205 Craig Knecht, <a href="/A270205/a270205_4.txt">F1 code most-perfect magic cube 960 examples</a>.
%H A270205 Craig Knecht, <a href="/A270205/a270205_5.txt">F1 code reversible cube 960 examples</a>.
%H A270205 Craig Knecht, <a href="/A270205/a270205.jpg">magic space</a>.
%H A270205 Craig Knecht, <a href="/A270205/a270205.png">Most-perfect space</a>.
%H A270205 Walter Trump, <a href="/A270205/a270205_1.pdf">Most-Perfect magic cube</a>.
%H A270205 Walter Trump, <a href="/A270205/a270205_2.pdf">6 unique neighbors for the most-perfect magic cube</a>.
%H A270205 Wikipedia, <a href="https://en.wikipedia.org/wiki/Most-perfect_magic_square">Most-perfect magic square translated to a cube via the Hilbert space filling curve</a>.
%H A270205 <a href="/index/Rec#order_04">Index entries for linear recurrences with constant coefficients</a>, signature (4,-6,4,-1).
%F A270205 a(n) = 3*n^3 - 6*n^2 + 3*n.
%F A270205 From _Wesley Ivan Hurt_, Mar 13 2016: (Start)
%F A270205 G.f.: 6*x^2*(1+2*x)/(x-1)^4.
%F A270205 a(n) = 4*a(n-1) - 6*a(n-2) + 4*a(n-3) - a(n-4) for n>3. (End)
%F A270205 E.g.f.: 3*x^2*(1+x)*exp(x). - _G. C. Greubel_, May 10 2016
%F A270205 a(n) = 6 * A002411(n-1) for n>=1. - _Joerg Arndt_, May 11 2016
%F A270205 a(n) = A118659((n-1)^3), n>1. - _Mohammed Yaseen_, Aug 22 2021
%F A270205 From _Amiram Eldar_, Jul 02 2023: (Start)
%F A270205 Sum_{n>=2} 1/a(n) = Pi^2/18 - 1/3.
%F A270205 Sum_{n>=2} (-1)^n/a(n) = Pi^2/36 - 2*log(2)/3 + 1/3. (End)
%e A270205 The 2 X 2 X 2 cube labeled with the integers 1 to 8 has the following six 2 X 2 planar subsets each containing 4 cells: 1,2,3,4; 5,6,7,8; 1,2,5,6; 3,4,7,8; 1,4,5,8; 2,3,6,7.
%p A270205 A270205:=n->3*n^3-6*n^2+3*n: seq(A270205(n), n=0..50); # _Wesley Ivan Hurt_, Mar 13 2016
%t A270205 Table[3*n^3 - 6*n^2 + 3*n, {n, 0, 50}] (* _Wesley Ivan Hurt_, Mar 13 2016 *)
%t A270205 CoefficientList[Series[(6 (x^2 + 2 x^3))/(-1 + x)^4, {x, 0, 32}], x] (* _Michael De Vlieger_, Mar 15 2016 *)
%o A270205 (Magma) [3*n^3 - 6*n^2 + 3*n: n in [0..50]]; // _Wesley Ivan Hurt_, Mar 13 2016
%o A270205 (PARI) concat([0, 0], Vec(6*x^2*(1+2*x)/(x-1)^4 + O(x^100))) \\ _Altug Alkan_, Mar 14 2016
%o A270205 (PARI) a(n) = 3*n^3 - 6*n^2 + 3*n \\ _Charles R Greathouse IV_, Mar 15 2016
%Y A270205 Cf. A002411, A059986, A118659.
%Y A270205 Cf. A011379, A181617, A270205 (sigma irregularities of maximal k-degenerate graphs).
%K A270205 nonn,easy
%O A270205 0,3
%A A270205 _Craig Knecht_, Mar 13 2016