We study a simple reconfigurable robot model which has not been previously examined: cubic robots comprised of three-dimensional cubic modules which can slide across each other and rotate about each others edges. We demonstrate that the cubic robot m
odel is universal, i.e., that an n-module cubic robot can reconfigure itself into any specified n-module configuration. Additionally, we provide an algorithm that efficiently plans and executes cubic robot motion. Our results directly extend to a d-dimensional model.
In this note, we give simple examples of sets S of quadratic forms that have minimal S-universality criteria of multiple cardinalities. This answers a question of Kim, Kim, and Oh in the negative.
For relatively prime positive integers $u_0$ and $r$, we consider the least common multiple $L_n:=mathrm{lcm}(u_0,u_1,ldots, u_n)$ of the finite arithmetic progression ${u_k:=u_0+kr}_{k=0}^n$. We derive new lower bounds on $L_n$ which improve upon th
ose obtained previously when either $u_0$ or $n$ is large. When $r$ is prime, our best bound is sharp up to a factor of $n+1$ for $u_0$ properly chosen, and is also nearly sharp as $ntoinfty$.
For relatively prime positive integers u_0 and r, we consider the arithmetic progression {u_k := u_0+k*r} (0 <= k <= n). Define L_n := lcm{u_0,u_1,...,u_n} and let a >= 2 be any integer. In this paper, we show that, for integers alpha,r >= a and n >=
2*alpha*r, we have L_n >= u_0*r^{alpha+a-2}*(r+1)^n. In particular, letting a = 2 yields an improvement to the best previous lower bound on L_n (obtained by Hong and Yang) for all but three choices of alpha,r >= 2.
We show that, if L is an extremal Type II lattice of rank 40 or 80, then L is generated by its vectors of norm min(L)+2. This sharpens earlier results of Ozeki, and the second author and Abel, which showed that such lattices L are generated by their vectors of norms min(L) and min(L)+2.
Ultrafilters are useful mathematical objects having applications in nonstandard analysis, Ramsey theory, Boolean algebra, topology, and other areas of mathematics. In this note, we provide a categorical construction of ultrafilters in terms of the in
verse limit of an inverse family of finite partitions; this is an elementary and intuitive presentation of a consequence of the profiniteness of Stone spaces. We then apply this construction to answer a question of Rosinger posed in arXiv:0709.0084v2 in the negative.
We give a new, purely coding-theoretic proof of Kochs criterion on the tetrad systems of Type II codes of length 24 using the theory of harmonic weight enumerators. This approach is inspired by Venkovs approach to the classification of the root syste
ms of Type II lattices in R^{24}, and gives a new instance of the analogy between lattices and codes.
A number which is S.P in base r is a positive integer which is equal to the sum of its base-r digits multiplied by the product of its base-r digits. These numbers have been studied extensively in The Mathematical Gazette. Recently, Shah Ali obtained
the first effective bound on the sizes of S.P numbers. Modifying Shah Alis method, we obtain an improved bound on the number of digits in a base-r S.P number. Our bound is the first sharp bound found for the case r=2.
We give a new proof that any candy-passing game on a graph G with at least 4|E(G)|-|V(G)| candies stabilizes. (This result was first proven in arXiv:0807.4450.) Unlike the prior literature on candy-passing games, we use methods from the general theor
y of chip-firing games which allow us to obtain a polynomial bound on the number of rounds before stabilization.
Using the methods developed for the proof that the 2-universality criterion is unique, we partially characterize criteria for the n-universality of positive-definite integer-matrix quadratic forms. We then obtain the uniqueness of Ohs 8-universality
criterion as an application of our characterization results.
