Related papers: On the nxnxn Rubik's Cube
After attaching explicitly to the M\"obius strip an invertible module over the ring of real polynomial functions on the real circle, we expound as directly as possible the many faces and the main algebraic properties of invertible modules.…
The Fibonacci sequence $\mathbb{F}$ is the fixed point beginning with $a$ of morphism $\sigma(a,b)=(ab,a)$. In this paper, we get the explicit expressions of all squares and cubes, then we determine the number of distinct squares and cubes…
We study orbit-finite systems of linear equations, in the setting of sets with atoms. Our principal contribution is a decision procedure for solvability of such systems. The procedure works for every field (and even commutative ring) under…
A polynomial f(x) has emergent reducibility at depth n if f^{\circ k}(x) is irreducible for 0\leq k\leq n-1 but f^{\circ n}(x) is reducible. In this paper we prove that there are infinitely many irreducible cubics f \in \mathbb{Z}[x] with…
We prove the following rigidity theorem: For an n-dimensional compact Riemannian manifold with boundary whose Ricci curvature is bounded by n-1 from below, if its boundary is isometric to the standard sphere of dimension n-1 and totally…
In this paper, we show the fundamental theorems for rotationally symmetric hypersurfaces, and thus, together with the earlier results in [3] and [4], provide a complete classification of umbilic hypersurfaces in the Heisenberg groups…
We prove that at least $\Omega(n^{0.51})$ hyperplanes are needed to slice all edges of the $n$-dimensional hypercube. We provide a couple of applications: lower bounds on the computational complexity of parity, and a lower bound on the…
This work arose from efforts to generalise the usual cubical boundary by using different 'weights' for opposite faces, but still to obtain a chain complex, and this method was found to generalise. We describe a variant of the classical…
A classical theorem by Jacobson says that a ring in which every element $x$ satisfies the equation $x^n=x$ for some $n>1$ is commutative. According to Birkhoff's Completeness Theorem, if $n$ is fixed, there must be an equational proof of…
It is a $300$ year old counterintuitive observation of Prince Rupert of Rhine that in cube a straight tunnel can be cut, through which a second congruent cube can be passed. Hundred years later P. Nieuwland generalized Rupert's problem and…
We prove that for any sequence of binary alphabets $\mathcal{A}_1,\mathcal{A}_2,\dots$, there exists a cube-free word $c_1c_2\dots$ so that $c_1\in\mathcal{A}_1,c_2\in\mathcal{A}_2,\dots$. In particular, for every $n$, there are at least…
A $\lambda$-quiddity of size $n$ is an $n$-tuple of elements from a fixed set, which is a solution to a matrix equation that arises in the study of Coxeter's friezes. The study of these solutions involves in particular the use of a notion…
We present a sequent calculus for first-order logic with lambda terms and definite descriptions. The theory formalised by this calculus is essentially Russellian, but avoids some of its well known drawbacks and treats definite description…
Given a palette of six colors, a colored cube is a cube where each face is colored with exactly one color and each color appears on some face. Starting with an arbitrary collection of unit length colored cubes, one can try to arrange a…
Properties of several sorts of lattices of convex subsets of R^n are examined. The lattice of convex sets containing the origin turns out, for n>1, to satisfy a set of identities strictly between those of the lattice of all convex subsets…
We consider the billiard map in the hypercube of $\mathbb{R}^d$. We obtain a language by coding the billiard map by the faces of the hypercube. We investigate the complexity function of this language. We prove that $n^{3d-3}$ is the order…
A physical system is determined by a finite set of initial conditions and "laws" represented by equations. The system is computable if we can solve the equations in all instances using a "finite body of mathematical knowledge". In this…
Cubic forms in three variables are parametrised by points of $\P^9$. We study the subvarieties in this space defined by decomposable forms. Specifically, we calculate the equivariant minimal resolutions of these varieties and describe their…
Newton's theorem of revolving orbits states that one can multiply the angular speed of a Keplerian orbit by a factor $k$ by applying a radial inverse cubed force proportional to $(1-k^2)$. In this paper we derive an extension of this…
We show that if $X\subseteq \mathbb{P}^{n-1}$, defined over $\mathbb{Q}$ by a cubic form that splits off two forms, with $n\geq 11$, then $X(\mathbb{Q})$ is non-empty. The same holds for an $(m_1,m_2)$-form with $m_1\geq 4$ and $m_2\geq 5$.