Related papers: Every linear order isomorphic to its cube is isomo…
Let $M$ be a subset of $\mathbb{R}^n$. If $M$ is not porous, in particular if it has positive $n$-dimensional Lebesgue measure, we prove that the Lipschitz spaces $\mathrm{Lip}_0(M)$ and $\mathrm{Lip}_0(\mathbb{R}^n)$ are linearly…
In this article we show that the semigroup operation of a strictly linearly ordered semigroup on a real interval is automatically continuous if each element of the semigroup admits a square root. Hence, by a result of Acz\'el, such a…
We prove that every self-homeomorphism on the inverse limit space of a quadratic map is isotopic to some power of the shift map.
Let $C$ be an elliptic curve defined over $\mathbb Q$ by the equation $y^2=x^3+Ax+B$ where $A,B\in\mathbb Q$. A sequence of rational points $(x_i,y_i)\in C(\mathbb Q),\,i=1,2,\ldots,$ is said to form a sequence of consecutive squares on $C$…
Cohesive powers of computable structures can be viewed as effective ultraproducts over effectively indecomposable sets called cohesive sets. We investigate the isomorphism types of cohesive powers $\Pi _{C}% \mathcal{L}$ for familiar…
Let $G$ be a graph with chordal complement and $I(G)$ its edge ideal. From work of Herzog, Hibi, and Zheng, it is known that $I(G)$ has linear quotients and all of its powers have linear resolutions. For edge ideals $I(G)$ arising from…
We give a generalization of the well-known result of E. Cartan on isoparametric cubics by showing that a homogeneous cubic polynomial solution of the eiconal equation $|\nabla f|^2=9|x|^4$ must be rotationally equivalent to either…
To determine if two lists of numbers are the same set, we sort both lists and see if we get the same result. The sorted list is a canonical form for the equivalence relation of set equality. Other canonical forms arise in graph isomorphism…
We show that complete conformally flat manifolds of dimension n>2 with nonnegative Ricci curvature enjoy nice rigidity properties: they are either flat, or locally isometric to a product of a sphere and a line, or are globally conformally…
The dual of a matrix ordered space has a natural matrix ordering that makes the dual space matrix ordered as well. The purpose of these notes is to give a condition that describes when the linear map taking a basis of the n by n matrices to…
Let $L$ be an order-$n$ Latin square. For $X, Y, Z \subseteq \{1, ... ,n\}$, let $L(X, Y. Z)$ be the number of triples $i\in X, j\in Y, k\in Z$ such that $L(i,j) = k$. We conjecture that asymptotically almost every Latin square satisfies…
A rational perfect cuboid is a rectangular parallelepiped whose edges and face diagonals are given by rational numbers and whose space diagonal is equal to unity. Finding such a cuboid is equivalent to finding a perfect cuboid with all…
In this paper we give an effective criterion as to when a prime number p is the order of an automorphism of a smooth cubic hypersurface of P^{n+1}, for a fixed n > 1. We also provide a computational method to classify all such hypersurfaces…
Let $A$ be a finite ordered set. Define the ordered set $A^A$ as the set of all maps from $A$ to $A$, ordered pointwise. Let ${}^{A} A$ be the dual of $A^A$. We prove results in the spirit of Parts~I--III, but now using both $A^A$ and…
We characterize AE(0)-spaces that are Baire isomorphic to the powers of the real line.
A rectangular parallelepiped is called a cuboid (standing box). It is called perfect if its edges, face diagonals and body diagonal all have integer length. Euler gave an example where only the body diagonal failed to be an integer (Euler…
The first and second most symmetric nonsingular cubic surfaces are x^3+y^3+z^3+t^3=0 and x^2y+y^2z+z^2t+t^2x=0, respectively.
A cubic (resp. biquadratic) theta series is a power series whose n-th coefficient is equal to 1 if n is a perfect cube (resp. fourth power) and zero otherwise. We improve on a result of Bradshaw by showing that such series is not a cubic…
We describe in details the nxnxn Rubik's Cube, namely a Rubik's Cube with n rotating slices in each face. Then we state and prove the "first law of Cubology", i.e. the solvability criterion, for it
When is a topological branched self-cover of the sphere equivalent to a rational map on CP^1? William Thurston gave one answer in 1982, giving a negative criterion (an obstruction to a map being rational). We give a complementary, positive…