View source for Magic hypercube

{{Short description|Generalization of a magic square}}
{{multiple issues|
{{More citations needed|date=October 2010}}
{{Cleanup|reason=the mathematical expressions [[Help:Displaying a formula|need to be rewritten in AMS-LaTeX markup]]|date=March 2014}}
{{essay-like|date=October 2017}}
}}
In [[mathematics]], a '''magic hypercube''' is the [[dimension|''k''-dimensional]] generalization of [[magic square]]s and [[magic cube]]s, that is, an ''n'' × ''n'' × ''n'' × ... × ''n'' array of [[integers]] such that the sums of the numbers on each pillar (along any axis) as well as on the main [[space diagonal]]s are all the same.  The common sum is called the [[magic constant]] of the hypercube, and is sometimes denoted ''M''<sub>''k''</sub>(''n''). If a magic hypercube consists of the numbers 1, 2, ..., ''n''<sup>''k''</sup>, then it has magic number

:<math>M_k(n) = \frac{n(n^k+1)}{2}</math>.

For ''k'' = 4, a magic hypercube may be called a '''magic tesseract''', with sequence of magic numbers given by {{OEIS2C|id=A021003}}.

The side-length ''n'' of the magic hypercube is called its ''order''.  Four-, five-, six-, seven- and eight-dimensional magic hypercubes of order three have been constructed by [[J. R. Hendricks]].

Marian Trenkler proved the following theorem:
A ''p''-dimensional magic hypercube of order ''n'' exists if and only if
''p'' > 1  and ''n'' is different from 2  or ''p'' = 1.  A construction of a magic hypercube follows from the proof.

The [[R (programming language)|R programming language]] includes a module, <code>library(magic)</code>, that will create magic hypercubes of any dimension with ''n'' a multiple of 4.

==Perfect magic hypercubes==
{{see also|Magic Cube Classes}}
If, in addition, the numbers on every [[cross section (geometry)|cross section]] diagonal also sum up to the hypercube's magic number, the hypercube is called a '''perfect magic hypercube'''; otherwise, it is called a '''semiperfect magic hypercube'''. The number ''n'' is called the order of the magic hypercube.

This definition of "perfect" assumes that one of the older definitions for perfect magic cubes is used. The '''''Universal Classification System for Hypercubes''''' (John R. Hendricks) requires that for any dimension hypercube, ''all'' possible lines sum correctly for the hypercube to be considered ''perfect'' magic. Because of the confusion with the term ''perfect'', '''''nasik''''' is now the preferred term   for ''any'' magic hypercube where '''''all''''' possible lines sum to ''S''. Nasik was defined in this manner by C. Planck in 1905. A nasik magic hypercube has {{sfrac|2}}(3<sup>''n''</sup> &minus; 1) lines of ''m'' numbers passing through each of the ''m''<sup>''n''</sup> cells.

==Nasik magic hypercubes==
A '''''Nasik magic hypercube''''' is a magic hypercube with the added restriction that all possible lines through each cell sum correctly to ''S'' = {{sfrac|''m''(''m''<sup>''n''</sup>+1)|2}}  where ''S'' is the magic constant, ''m'' the order and ''n'' the dimension of the hypercube.

Or, to put it more concisely, all pan-''r''-agonals sum correctly for ''r'' = 1...''n''. This definition is the same as the Hendricks definition of '''''perfect''''', but different from the Boyer/Trump definition.

The term ''nasik'' would apply to all dimensions of magic hypercubes in which the number of correctly summing paths (lines) through any cell of the hypercube is ''P'' = {{sfrac|3<sup>''n''</sup> − 1|2}}.

A [[pandiagonal magic square]] then would be a ''nasik'' square because 4 magic line pass through each of the ''m''<sup>2</sup> cells. This was A.H. Frost’s original definition of nasik. A ''nasik'' magic cube would have 13 magic lines passing through each of its ''m''<sup>3</sup> cells. (This cube also contains 9''m'' pandiagonal magic squares of order ''m''.) A ''nasik'' magic tesseract would have 40 lines passing through each of its ''m''<sup>4</sup> cells, and so on.

===History===
In 1866 and 1878, Rev. A. H. Frost coined the term ''Nasik'' for the type of magic square we commonly call ''pandiagonal'' and often call ''perfect''. He then demonstrated the concept with an order-7 cube we now class as  ''pandiagonal'', and an order-8 cube we class as ''pantriagonal''.<ref>Frost, A. H., Invention of Magic Cubes, ''Quarterly Journal of Mathematics'', 7,1866, pp92-102</ref><ref>Frost, A. H., ''On the General Properties of Nasik Squares'', QJM, 15, 1878, pp 34-49</ref> In another 1878 paper he showed another ''pandiagonal'' magic cube and a cube where all 13''m'' lines sum correctly<ref>Frost, A. H. ''On the General Properties of Nasik Cubes'', QJM, 15, 1878, pp 93-123</ref> i.e. Hendricks ''perfect''.<ref>Heinz, H.D., and Hendricks, J.R., ''Magic Square Lexicon: Illustrated'', 2000, 0-9687985-0-0 pp 119-122</ref>
He referred to all of these cubes as '''''nasik''''' as a respect to the great Indian Mathematician [[D R Kaprekar]] who hails from [[Deolali]] in [[Nasik]] District in [[Maharashtra]], [[India]].
In 1905 Dr. Planck expanded on the nasik idea in his Theory of Paths Nasik. In the introductory to his paper, he wrote;
{{Blockquote|Analogy suggest that in the higher dimensions we ought to employ the term nasik as implying the existence of magic summations parallel to any diagonal, and not restrict it to diagonals in sections parallel to the plane faces. The term is used in this wider sense throughout the present paper.| C. Planck, M.A., M.R.C.S., The Theory of Paths Nasik, 1905<ref>Planck, C., M.A., M.R.C.S., ''The Theory of Paths Nasik'', 1905, printed for private circulation. Introductory letter to the paper.</ref>}}

In 1917, Dr. Planck wrote again on this subject.
{{Blockquote|It is not difficult to perceive that if we push the Nasik analogy to higher dimensions the number of magic directions through any cell of a k-fold must be ½(3<sup>k</sup>-1).| W. S. Andrews, Magic Squares and Cubes, Dover Publ., 1917, page 366<ref>Andrews, W. S., Magic Squares and Cubes, Dover Publ. 1917. Essay pages 363-375 written by C. Planck</ref>}}

In 1939, B. Rosser and R. J. Walker published a series of papers on diabolic (perfect) magic squares and cubes. They specifically mentioned that these cubes contained 13''m''<sup>2</sup> correctly summing lines. They also had 3''m'' pandiagonal magic squares parallel to the faces of the cube, and 6''m'' pandiagonal magic squares parallel to the [[space diagonal|space-diagonal]] planes.<ref>Rosser, B. and Walker, R. J., ''Magic Squares: Published papers and Supplement'', 1939. A bound volume at Cornell University, catalogued as QA 165 R82+pt.1-4</ref>

==Notations==

in order to keep things in hand a special notation was developed:
*<math>\left[ {}_{k} i;\ k\in\{0,\cdots,n-1\};\ i\in\{0,\cdots,m-1\}\right]</math>: positions within the hypercube
*<math>\left\langle {}_{k} i;\ k\in\{0,\cdots,n-1\};\ i\in\{0,\cdots,m-1\}\right\rangle</math>: vector through the hypercube

Note: The notation for position can also be used for the value on that position. Then, where it is appropriate, dimension and order can be added to it, thus forming: <sup>''n''</sup>[<sub>''k''</sub>''i'']<sub>''m''</sub>

As is indicated ''k'' runs through the dimensions, while the coordinate ''i'' runs through all possible values, when values ''i'' are outside the range it is simply moved back into the range by adding or subtracting appropriate multiples of ''m'', as the magic hypercube resides in n-dimensional modular space.

There can be multiple ''k'' between brackets, these cannot have the same value, though in undetermined order, which explains the equality of:

<math>\left[ {}_{1}i, {}_{k}j \right]=\left[ {}_{k}j, {}_{1}i \right]</math>

Of course given ''k'' also one value ''i'' is referred to.

When a specific coordinate value is mentioned the other values can be taken as 0, which is especially the case when the amount of 'k's are limited using pe. #''k'' = 1 as in:

<math>
\left[ {}_{k}1;\ \#k=1 \right] = \left[ {}_{k}1\ \ {}_{j}0\ ; \ \#k=1;\ \#j=n-1 \right] 
</math>
("axial"-neighbor of <math>\left[ {}_{k}0 \right]</math> )

(#j=n-1 can be left unspecified) j now runs through all the values in [0..k-1,k+1..n-1].

Further: without restrictions specified 'k' as well as 'i' run through all possible values, in combinations same letters assume same values. Thus makes it possible to specify a particular line within the hypercube (see r-agonal in pathfinder section)

Note: as far as I know this notation is not in general use yet(?), Hypercubes are not generally analyzed in this particular manner.

Further: "'''perm(0..n-1)'''" specifies a [[permutation]] of the n numbers 0..n-1.

==Construction==

Besides more specific constructions two more general construction method are noticeable:

===KnightJump construction===
This construction generalizes the movement of the chessboard horses (vectors <math>\langle 1,2 \rangle, \langle 1,-2 \rangle, \langle -1,2 \rangle, \langle -1,-2 \rangle </math>) to more general movements (vectors <math>\langle {}_k i \rangle</math>). The method starts at the position P<sub>0</sub> and further numbers are sequentially placed at positions <math>V_0</math> further until (after m steps) a position is reached that is already occupied, a further vector is needed to find the next free position. Thus the method is specified by the n by n+1 matrix:
:<math>[P_0, V_0 \dots V_{n-1}]</math>
This positions the number 'k' at position:
:<math>P_k = P_0 + \sum_{l=0}^{n-1}((k\backslash m^l)\ \%\ m) V_l;\quad k = 0 \dots m^n-1.</math>
'''C. Planck''' gives in his 1905 article [http://www.magichypercubes.com/Encyclopedia/k/PathNasiks.zip "'''The theory of Path Nasiks'''"] conditions to create with this method "Path Nasik" (or modern {perfect}) hypercubes.

===Latin prescription construction===
(modular equations).
This method is also specified by an n by n+1 matrix. However this time it multiplies the n+1 vector  [x<sub>0</sub>,..,x<sub>n-1</sub>,1], After this multiplication the result is taken modulus m to achieve the n (Latin) hypercubes:
 LP<sub>k</sub> = ( <sub>l=0</sub>Σ<sup>n-1</sup> LP<sub>k,l</sub> x<sub>l</sub> + LP<sub>k,n</sub> ) % m
of radix m numbers (also called "'''digits'''"). On these LP<sub>k</sub>'s "'''digit changing'''" (?i.e. Basic manipulation) are generally applied before these LP<sub>k</sub>'s are combined into the hypercube:
 <sup>n</sup>H<sub>m</sub> = <sub>k=0</sub>Σ<sup>n-1</sup> LP<sub>k</sub> m<sup>k</sup>

'''J.R.Hendricks''' often uses modular equation, conditions to make hypercubes of various quality can be found on [http://www.magichypercubes.com/Encyclopedia http://www.magichypercubes.com/Encyclopedia] at several places (especially p-section)

Both methods fill the hypercube with numbers, the knight-jump guarantees (given appropriate vectors) that every number is present. The Latin prescription only if the components are orthogonal (no two digits occupying the same position)

===Multiplication===
Amongst the various ways of compounding, the multiplication<ref>this is a n-dimensional version of (pe.): [http://mathforum.org/alejandre/magic.square/adler/product.html Alan Adler magic square multiplication]</ref> can be considered as the most basic of these methods. The '''basic multiplication''' is given by:
 <sup>n</sup>H<sub>m<sub>1</sub></sub> * <sup>n</sup>H<sub>m<sub>2</sub></sub> : <sup>n</sup>[<sub>k</sub>i]<sub>m<sub>1</sub>m<sub>2</sub></sub> = <sup>n</sup>[ [<nowiki>[</nowiki><sub>k</sub>i \ m<sub>2</sub>]<sub>m<sub>1</sub></sub>m<sub>1</sub><sup>n</sup>]<sub>m<sub>2</sub></sub> + [<sub>k</sub>i % m<sub>2</sub>]<sub>m<sub>2</sub></sub>]<sub>m<sub>1</sub>m<sub>2</sub></sub>

Most compounding methods can be viewed as variations of the above, As most qualifiers are invariant under multiplication one can for example place any aspectual variant of <sup>n</sup>H<sub>m<sub>2</sub></sub> in the above equation, besides that on the result one can apply a manipulation to improve quality. Thus one can specify pe the  J. R. Hendricks / M. Trenklar doubling. These things go beyond the scope of this article.

==Aspects==
A hypercube knows '''n! 2<sup>n</sup>''' Aspectial variants, which are obtained by coordinate reflection ([<sub>k</sub>i] --&gt; [<sub>k</sub>(-i)]) and coordinate permutations ([<sub>k</sub>i] --&gt; [<sub>perm[k]</sub>i]) effectively giving the Aspectial variant:
 <sup>n</sup>H<sub>m</sub><sup>~R perm(0..n-1)</sup>; R = <sub>k=0</sub>Σ<sup>n-1</sup> ((reflect(k)) ? 2<sup>k</sup> : 0) ; perm(0..n-1) a permutation of 0..n-1
Where reflect(k) true iff coordinate k is being reflected, only then 2<sup>k</sup> is added to R.
As is easy to see, only n coordinates can be reflected explaining 2<sup>n</sup>, the n! permutation of n coordinates explains the other factor to the total amount of "Aspectial variants"!

Aspectial variants are generally seen as being equal. Thus any hypercube can be represented shown in '''"normal position"''' by:
 [<sub>k</sub>0] = min([<sub>k</sub>θ ; θ ε {-1,0}]) (by reflection)
 [<sub>k</sub>1 ; #k=1] &lt; [<sub>k+1</sub>1 ; #k=1] ; k = 0..n-2 (by coordinate permutation)
(explicitly stated here: [<sub>k</sub>0] the minimum of all corner points. The axial neighbour sequentially based on axial number)

==Basic manipulations==

Besides more specific manipulations, the following are of more general nature

*'''#[perm(0..n-1)]''' : component permutation
*'''^[perm(0..n-1)]''' : coordinate permutation (n == 2: transpose)
*'''_2<sup>axis</sup>[perm(0..m-1)]''' : monagonal permutation (axis ε [0..n-1])
*'''=[perm(0..m-1)]''' : digit change

Note: <nowiki>'#'</nowiki>, '^', '_' and '=' are essential part of the notation and used as manipulation selectors.

===Component permutation===
Defined as the exchange of components, thus varying the factor m<sup>'''k'''</sup> in m<sup>'''perm(k)'''</sup>, because there are n component hypercubes the permutation is over these n  components

===Coordinate permutation===
The exchange of coordinate [<sub>'''k'''</sub>i] into [<sub>'''perm(k)'''</sub>i], because of n coordinates a permutation over these n directions is required. The term '''transpose''' (usually denoted by <sup>t</sup>) is used with two dimensional matrices, in general though perhaps "coordinate permutation" might be preferable.

===Monagonal permutation===
Defined as the change of [<sub>k</sub>'''i'''] into [<sub>k</sub>'''perm(i)'''] alongside the given "axial"-direction. Equal permutation along various axes can be combined by adding the factors 2<sup>axis</sup>. Thus defining all kinds of r-agonal permutations for any r. Easy to see that all possibilities are given by the corresponding permutation of m numbers.

Noted be that '''reflection''' is the special case:
 ~R = _R[n-1,..,0]
Further when all the axes undergo the same permutation (R = 2<sup>n</sup>-1) an '''n-agonal permutation''' is achieved, In this special case the 'R' is usually omitted so:
 _[perm(0..n-1)] = _(2<sup>n</sup>-1)[perm(0..n-1)]

===Digitchanging===
Usually being applied at component level and can be seen as given by '''[<sub>k</sub>i]''' in '''perm([<sub>k</sub>i]''') since a component is filled with radix m digits, a permutation over m numbers is an appropriate manner to denote these.

==Pathfinders==
J. R. Hendricks called the directions within a hypercubes "'''pathfinders'''", these directions are simplest denoted in a ternary number system as:
 Pf<sub>p</sub> where: p = <sub>k=0</sub>Σ<sup>n-1</sup> (<sub>k</sub>i + 1) 3<sup>k</sup> &lt;==&gt; &lt;<sub>k</sub>i&gt; ; i ε {-1,0,1}

This gives 3<sup>n</sup> directions. since every direction is traversed both ways one can limit to the upper half [(3<sup>n</sup>-1)/2,..,3<sup>n</sup>-1)] of the full range.

With these pathfinders any line to be summed over (or r-agonal) can be specified:
 [ <sub>j</sub>0 <sub>k</sub>p <sub>l</sub>q ; #j=1 #k=r-1 ; k > j ] &lt; <sub>j</sub>1 <sub>k</sub>θ <sub>l</sub>0 ; θ ε {-1,1} &gt;  ; p,q ε [0,..,m-1]

which specifies all (broken) r-agonals, p and q ranges could be omitted from this description. The main (unbroken) r-agonals are thus given by the slight modification of the above:
 [ <sub>j</sub>0 <sub>k</sub>0 <sub>l</sub>-1 <sub>s</sub>p ; #j=1 #k+#l=r-1 ; k,l > j ] &lt; <sub>j</sub>1 <sub>k</sub>1 <sub>l</sub>-1 <sub>s</sub>0 &gt;

==Qualifications==

A hypercube <sup>n</sup>H<sub>m</sub> with numbers in the analytical numberrange [0..m<sup>n</sup>-1] has the magic sum:
 <sup>n</sup>S<sub>m</sub> = m (m<sup>n</sup> - 1) / 2.

Besides more specific qualifications the following are the most important, "summing" of course stands for "summing correctly to the magic sum"

*{'''r-agonal'''} : all main (unbroken) r-agonals are summing.
*{'''pan r-agonal'''} : all (unbroken and broken) r-agonals are summing.
*{'''magic'''} : {1-agonal n-agonal}
*{'''perfect'''} : {pan r-agonal; r = 1..n}

Note: This series doesn't start with 0 since a nill-agonal doesn't exist, the numbers correspond with the usual name-calling: 1-agonal = monagonal, 2-agonal = diagonal, 3-agonal = triagonal etc.. Aside from this the number correspond to the amount of "-1" and "1" in the corresponding pathfinder.

In case the hypercube also sum when all the numbers are raised to the power p one gets p-multimagic hypercubes. The above qualifiers are simply prepended onto the p-multimagic qualifier. This defines qualifications as {r-agonal 2-magic}. Here also "2-" is usually replaced by "bi",  "3-" by "tri" etc. ("1-magic" would be "monomagic" but "mono" is usually omitted). The sum for p-Multimagic hypercubes can be found by using [[Faulhaber's formula]] and divide it by m<sup>n-1</sup>.

Also "magic" (i.e. {1-agonal n-agonal}) is usually assumed, the [[perfect magic cube|Trump/Boyer {diagonal} cube]] is technically seen {1-agonal 2-agonal 3-agonal}.

[[Nasik magic hypercube]] gives arguments for using {'''nasik'''} as synonymous to {'''perfect'''}. The strange generalization of square 'perfect' to using it synonymous to {diagonal} in cubes is however also resolve by putting curly brackets around qualifiers, so {'''perfect'''} means {pan r-agonal; r = 1..n} (as mentioned above).

some minor qualifications are:
*{'''<sup>n</sup>compact'''} : {all order 2 subhyper cubes sum to 2<sup>n</sup> <sup>n</sup>S<sub>m</sub> / m}
*{'''<sup>n</sup>complete'''} : {all pairs halve an n-agonal apart sum equal (to (m<sup>n</sup> - 1)}

{'''<sup>n</sup>compact'''} might be put in notation as : '''<sub>(k)</sub>Σ [<sub>j</sub>i + <sub>k</sub>1] = 2<sup>n</sup> <sup>n</sup>S<sub>m</sub> / m'''. {'''<sup>n</sup>complete'''} can simply be written as: '''[<sub>j</sub>i] + [<sub>j</sub>i + <sub>k</sub>(m/2) ; #k=n ] = m<sup>n</sup> - 1''' where:
:<sub>(k)</sub>Σ is symbolic for summing all possible k's, there are 2<sup>n</sup> possibilities for <sub>k</sub>1.
:[<sub>j</sub>i + <sub>k</sub>1] expresses [<sub>j</sub>i] and all its r-agonal neighbors.
for {complete} the complement of [<sub>j</sub>i] is at position [<sub>j</sub>i + <sub>k</sub>(m/2) ; #k=n ].

for squares: {'''<sup>2</sup>compact <sup>2</sup>complete'''} is the "modern/alternative qualification" of what Dame [[Kathleen Ollerenshaw]] called [[most-perfect magic square]], {<sup>n</sup>compact <sup>n</sup>complete} is the qualifier for the feature in more than 2 dimensions.

Caution: some people seems to equate {compact} with {<sup>2</sup>compact} instead of {<sup>n</sup>compact}. Since this introductory article is not the place to discuss these kind of issues I put in the dimensional pre-superscript <sup>n</sup> to both these qualifiers (which are defined as shown) consequences of {<sup>n</sup>compact} is that several figures also sum since they can be formed by adding/subtracting order 2 sub-hyper cubes. Issues like these go beyond this articles scope.

==Magic hyperbeam==
A '''magic hyperbeam''' ('''n-dimensional magic rectangle''') is a variation on a magic hypercube where the orders along each direction may be different. As such a '''magic hyperbeam''' generalises the two dimensional '''magic rectangle''' and the three dimensional '''magic beam''', a series that mimics the series [[magic square]], [[magic cube]] and magic hypercube. This article will mimic the [[magic hypercubes]] article in close detail, and just as that article serves merely as an introduction to the topic.

===Conventions===
It is customary to denote the [[dimension]] with the letter 'n' and the [[cardinality|orders]] of a hyperbeam with the letter 'm' (appended with the subscripted number of the direction it applies to).
* '''(''n'') Dimension''' :  the amount of directions within a hyperbeam.
* '''(''m''<sub>''k''</sub>) Order''' : the amount of numbers along ''k''th monagonal ''k'' = 0, ..., ''n''&nbsp;&minus;&nbsp;1.

Further: In this article the analytical number range [0..<sub>k=0</sub>Π<sup>n-1</sup>m<sub>k</sub>-1] is being used.

===Notations===
in order to keep things in hand a special notation was developed:
* '''[ <sub>k</sub>i; k=[0..n-1]; i=[0..m<sub>k</sub>-1] ]''': positions within the hyperbeam
* '''{{angbr| <sub>k</sub>i; k=[0..n-1]; i=[0..m<sub>k</sub>-1] }}''': vectors through the hyperbeam

Note: The notation for position can also be used for the value on that position. There where it is appropriate dimension and orders can be added to it thus forming: <sup>n</sup>[<sub>k</sub>i]<sub>m<sub>0</sub>,..,m<sub>n-1</sub></sub>

===Construction===

====Basic====
Description of more general methods might be put here, I don't often create hyperbeams, so I don't know whether Knightjump or Latin Prescription work here.
Other more adhoc methods suffice on occasion I need a hyperbeam.

====Multiplication====
Amongst the various ways of compounding, the multiplication<ref>this is a hyperbeam version of (pe.): [http://mathforum.org/alejandre/magic.square/adler/product.html Alan Adler magic square multiplication]</ref> can be considered as the most basic of these methods. The '''basic multiplication''' is given by:
:<sup>n</sup>B<sub>(m..)<sub>1</sub></sub> * <sup>n</sup>B<sub>(m..)<sub>2</sub></sub> : <sup>n</sup>[<sub>k</sub>i]<sub>(m..)<sub>1</sub>(m..)<sub>2</sub></sub> = <sup>n</sup>[ [[<sub>k</sub>i \ m<sub>k2</sub>]]<sub>(m..)<sub>1</sub>k=0</sub>Π<sup>n-1</sup>m<sub>k1</sub>]<sub>(m..)<sub>2</sub></sub> + [<sub>k</sub>i % m<sub>k2</sub>]<sub>(m..)<sub>2</sub></sub>]<sub>(m..)<sub>1</sub>(m..)<sub>2</sub></sub>

(m..) abbreviates: m<sub>0</sub>,..,m<sub>n-1</sub>. (m..)<sub>1</sub>(m..)<sub>2</sub> abbreviates: m<sub>0<sub>1</sub></sub>m<sub>0<sub>2</sub></sub>,..,m<sub>n-1<sub>1</sub></sub>m<sub>n-1<sub>2</sub></sub>.

===Curiosities===

====all orders are either even or odd====
A fact that can be easily seen since the magic sums are:
:S<sub>k</sub> = m<sub>k</sub> (<sub>j=0</sub>Π<sup>n-1</sup>m<sub>j</sub> - 1) / 2

When any of the orders m<sub>k</sub> is even, the product is even and thus the only way S<sub>k</sub> turns out integer is when all m<sub>k</sub> are even. Thus suffices: all m<sub>k</sub> are either even or odd.

This is with the exception of m<sub>k</sub>=1 of course, which allows for general identities like:
* N<sub>m</sub><sup>t</sup> = N<sub>m,1</sub> * N<sub>1,m</sub>
* N<sub>m</sub> = N<sub>1,m</sub> * N<sub>m,1</sub>
Which goes beyond the scope of this introductory article

====Only one direction with order = 2====
since any number has but one complement only one of the directions can have m<sub>k</sub> = 2.

===Aspects===
A hyperbeam knows '''2<sup>n</sup>''' Aspectial variants, which are obtained by coördinate reflection ([<sub>k</sub>i] → [<sub>k</sub>(-i)]) effectively giving the Aspectial variant:
 <sup>n</sup>B<sub>(m<sub>0</sub>..m<sub>n-1</sub>)</sub><sup>~R</sup> ; R = <sub>k=0</sub>Σ<sup>n-1</sup> ((reflect(k)) ? 2<sup>k</sup> : 0) ;
Where reflect(k) true if and only if coordinate k is being reflected, only then 2<sup>k</sup> is added to R.

In case one views different orientations of the beam as equal one could view the number of aspects '''n! 2<sup>n</sup>''' just as with the [[magic hypercubes]], directions with equal orders contribute factors depending on the hyperbeam's orders. This goes beyond the scope of this article.

===Basic manipulations===
Besides more specific manipulations, the following are of more general nature
* '''^[perm(0..n-1)]''' : coördinate permutation (n == 2: transpose)
* '''_2<sup>axis</sup>[perm(0..m-1)]''' : monagonal permutation (axis ε [0..n-1])

Note: '^' and '_' are essential part of the notation and used as manipulation selectors.

====Coördinate permutation====
The exchange of coördinaat [<sub>'''k'''</sub>i] into [<sub>'''perm(k)'''</sub>i], because of n coördinates a permutation over these n directions is required. The term '''transpose''' (usually denoted by <sup>t</sup>) is used with two dimensional matrices, in general though perhaps "coördinaatpermutation" might be preferable.

====Monagonal permutation====
Defined as the change of [<sub>k</sub>'''i'''] into [<sub>k</sub>'''perm(i)'''] alongside the given "axial"-direction. Equal permutation along various axes with equal orders can be combined by adding the factors 2<sup>axis</sup>. Thus defining all kinds of r-agonal permutations for any r. Easy to see that all possibilities are given by the corresponding permutation of m numbers.

====normal position====
In case no restrictions are considered on the n-agonals a magic hyperbeam can be represented shown in '''"normal position"''' by:
:[<sub>k</sub>i] &lt; [<sub>k</sub>(i+1)] ; i = 0..m<sub>k</sub>-2 (by monagonal permutation)

===Qualification===
Qualifying the hyperbeam is less developed then it is on the [[magic hypercubes]] in fact only the k'th monagonal direction need to sum to:
:S<sub>k</sub> = m<sub>k</sub> (<sub>j=0</sub>Π<sup>n-1</sup>m<sub>j</sub> - 1) / 2
for all k = 0..n-1 for the hyperbeam to be qualified {'''magic'''}

When the orders are not relatively prime the n-agonal sum can be restricted to:
:S = lcm(m<sub>i</sub> ; i = 0..n-1) (<sub>j=0</sub>Π<sup>n-1</sup>m<sub>j</sub> - 1) / 2
with all orders relatively prime this reaches its maximum:
:S<sub>max</sub> = <sub>j=0</sub>Π<sup>n-1</sup>m<sub>j</sub> (<sub>j=0</sub>Π<sup>n-1</sup>m<sub>j</sub> - 1) / 2

===Special hyperbeams===
The following hyperbeams serve special purposes:

====The "normal hyperbeam"====
:<sup>n</sup>N<sub>m<sub>0</sub>,..,m<sub>n-1</sub></sub> : [<sub>k</sub>i] = <sub>k=0</sub>Σ<sup>n-1</sup> <sub>k</sub>i m<sub>k</sub><sup>k</sup>

This hyperbeam can be seen as the source of all numbers. A procedure called [http://www.magichypercubes.com/Encyclopedia/d/DynamicNumbering.html "Dynamic numbering"] makes use of the  [[isomorphism]] of every hyperbeam with this normal, changing the source, changes the hyperbeam. Basic multiplications of normal hyperbeams play a special role with the [http://www.magichypercubes.com/Encyclopedia/d/DynamicNumbering.html "Dynamic numbering"] of [[magic hypercubes]] of order <sub>k=0</sub>Π<sup>n-1</sup> m<sup>k</sup>.

====The "constant 1"====
:<sup>n</sup>1<sub>m<sub>0</sub>,..,m<sub>n-1</sub></sub> : [<sub>k</sub>i] = 1
The hyperbeam that is usually added to change the here used "analytic" number range into the "regular" number range. Other constant hyperbeams are of course multiples of this one.

== See also ==
* [[John R. Hendricks]]
* [[Magic cube]]
* [[Magic cube classes]]
**[[Perfect magic cube]]

== References ==
{{reflist}}

==Further reading==
* Thomas R. Hagedorn, On the existence of magic n-dimensional rectangles, Discrete Mathematics 207 (1999), 53-63.
* Thomas R. Hagedorn, Magic rectangles revisited, ''[[Discrete Mathematics (journal)|Discrete Mathematics]]'' 207 (1999), 65-72.
* Harvey D. Heinz & John R. Hendricks, Magic Square Lexicon: Illustrated, self-published, 2000, {{ISBN|0-9687985-0-0}}.
* J.R.Hendricks: Magic Squares to Tesseract by Computer, Self-published, 1998, 0-9684700-0-9
* Planck, C., M.A., M.R.C.S., The Theory of Paths Nasik, 1905, printed for private circulation. Introductory letter to the paper
* Marián Trenkler, Magic rectangles, The Mathematical Gazette 83(1999), 102-105.

== External links ==
* [http://www.magichypercubes.com/Encyclopedia/index.html The Magic Encyclopedia] Articles by Aale de Winkel
* [http://math.ku.sk/~trenkler/Cube-Ref.html Magic Cubes and Hypercubes - References] Collected by Marian Trenkler
** [http://math.ku.sk/~trenkler/05-MagicCube.pdf An algorithm for making magic cubes] by Marian Trenkler
* [http://www.multimagie.com/ multimagie.com] Articles by Christian Boyer
* [http://www.magichypercube.com magichypercube.com] A magic cube generator
* [http://members.shaw.ca/hdhcubes/cube_perfect.htm History, definitions, and examples of perfect magic cubes and other dimensions.]
* [http://multimagie.com/indexengl.htm An alternative definition of Perfect, with history of recent discoveries]
* [http://www.trump.de/magic-squares/magic-cubes/cubes-1.html More on this alternative definition.]
* [http://www.magichypercubes.com/Encyclopedia/index.html A Magic Hypercube encyclopedia with a broad range of material]
* [http://members.shaw.ca/hdhcubes/index.htm#6%20Classes%20of%20Cubes A Unified classification system for hypercubes]
* [http://homepage2.nifty.com/googol/magcube/en/  An ambitious ongoing work on classifications of magic cubes and tesseracts]
* [http://members.shaw.ca/johnhendricksmath/  A variety of John R. Hendricks material, written under his direction]
* [http://www.magichypercubes.com/Encyclopedia http://www.magichypercubes.com/Encyclopedia]
* [http://math.ku.sk/~trenkler/Cube-Ref.html Marián Trenklar Cube-Ref.html]
* [http://homepage2.nifty.com/googol/magcube/en/rectangles.htm Mitsutoshi Nakamura: Rectangles]

{{Magic polygons}}

{{DEFAULTSORT:Magic Hypercube}}
[[Category:Magic squares]]