We find by applying MacMahons partition analysis that all magic labellings of the cube are of eight types, each generated by six basis elements. A combinatorial proof of this fact is given. The number of magic labellings of the cube is thus reobtained as a polynomial in the magic sum of degree $5$. Then we enumerate magic distinct labellings, the number of which turns out to be a quasi-polynomial of period 720720. We also find the group of symmetry can be used to significantly simplify the computation.
A magic labelling of a graph $G$ with magic sum $s$ is a labelling of the edges of $G$ by nonnegative integers such that for each vertex $vin V$, the sum of labels of all edges incident to $v$ is equal to the same number $s$. Stanley gave remarkable results on magic labellings, but the distinct labelling case is much more complicated. We consider the complete construction of all magic labellings of a given graph $G$. The idea is illustrated in detail by dealing with three regular graphs. We give combinatorial proofs. The structure result was used to enumerate the corresponding magic distinct labellings.
The author presents a computer implementation, calculating the terms of the Saneblidze-Umble diagonals on the permutahedron and the associahedron. The code is analyzed for correctness and presented in the paper, the source code of which simultaneously represents both the paper and the program.
Let $Dgeq 3$ denote an integer. For any $xin mathbb F_2^D$ let $w(x)$ denote the Hamming weight of $x$. Let $X$ denote the subspace of $mathbb F_2^D$ consisting of all $xin mathbb F_2^D$ with even $w(x)$. The $D$-dimensional halved cube $frac{1}{2}H(D,2)$ is a finite simple connected graph with vertex set $X$ and $x,yin X$ are adjacent if and only if $w(x-y)=2$. Fix a vertex $xin X$. The Terwilliger algebra $mathcal T=mathcal T(x)$ of $frac{1}{2}H(D,2)$ with respect to $x$ is the subalgebra of ${rm Mat}_X(mathbb C)$ generated by the adjacency matrix $A$ and the dual adjacency matrix $A^*=A^*(x)$ where $A^*$ is a diagonal matrix with $$ A^*_{yy}=D-2w(x-y) qquad hbox{for all $yin X$}. $$ In this paper we decompose the standard $mathcal T$-module into a direct sum of irreducible $mathcal T$-modules.
We introduce a new algorithm for enumerating chambers of hyperplane arrangements which exploits their underlying symmetry groups. Our algorithm counts the chambers of an arrangement as a byproduct of computing its characteristic polynomial. We showcase our julia implementation, based on OSCAR, on examples coming from hyperplane arrangements with applications to physics and computer science.
This paper is concerned with the extreme points of the polytopes of stochastic tensors. By a tensor we mean a multi-dimensional array over the real number field. A line-stochastic tensor is a nonnegative tensor in which the sum of all entries on each line (i.e., one free index) is equal to 1; a plane-stochastic tensor is a nonnegative tensor in which the sum of all entries on each plane (i.e., two free indices) is equal to 1. In enumerating extreme points of the polytopes of line- and plane-stochastic tensors of order 3 and dimension $n$, we consider the approach by linear optimization and present new lower and upper bounds. We also study the coefficient matrices that define the polytopes.